SELECT h3IsValid(581276613233082367);
SELECT h3IsValid(621807531097128959);
SELECT h3IsValid(Cast(0, 'UInt64'));
SELECT h3IsValid(100000000000000000);