const TEST_DATA: &[u64] = &[
    0x0000000000000000, 0x0000000000000001, 0x0000000000000002, 0x0000000000000001, 0x0000000000000002, 0x0000000000000003, 0x0000000000000003, 0x0000000000000004,
    0x0000000000000005, 0x0000000000000007, 0x0000000000000008, 0x0000000000000009, 0x000000000000000f, 0x0000000000000010, 0x0000000000000011, 0x000000000000001f,
    0x0000000000000020, 0x0000000000000021, 0x000000000000003f, 0x0000000000000040, 0x0000000000000041, 0x000000000000007f, 0x0000000000000080, 0x0000000000000081,
    0x00000000000000ff, 0x0000000000000100, 0x0000000000000101, 0x00000000000001ff, 0x0000000000000200, 0x0000000000000201, 0x00000000000003ff, 0x0000000000000400,
    0x0000000000000401, 0x00000000000007ff, 0x0000000000000800, 0x0000000000000801, 0x0000000000000fff, 0x0000000000001000, 0x0000000000001001, 0x0000000000001fff,
    0x0000000000002000, 0x0000000000002001, 0x0000000000003fff, 0x0000000000004000, 0x0000000000004001, 0x0000000000007fff, 0x0000000000008000, 0x0000000000008001,
    0x000000000000ffff, 0x0000000000010000, 0x0000000000010001, 0x000000000001ffff, 0x0000000000020000, 0x0000000000020001, 0x000000000003ffff, 0x0000000000040000,
    0x0000000000040001, 0x000000000007ffff, 0x0000000000080000, 0x0000000000080001, 0x00000000000fffff, 0x0000000000100000, 0x0000000000100001, 0x00000000001fffff,
    0x0000000000200000, 0x0000000000200001, 0x00000000003fffff, 0x0000000000400000, 0x0000000000400001, 0x00000000007fffff, 0x0000000000800000, 0x0000000000800001,
    0x0000000000ffffff, 0x0000000001000000, 0x0000000001000001, 0x0000000001ffffff, 0x0000000002000000, 0x0000000002000001, 0x0000000003ffffff, 0x0000000004000000,
    0x0000000004000001, 0x0000000007ffffff, 0x0000000008000000, 0x0000000008000001, 0x000000000fffffff, 0x0000000010000000, 0x0000000010000001, 0x000000001fffffff,
    0x0000000020000000, 0x0000000020000001, 0x000000003fffffff, 0x0000000040000000, 0x0000000040000001, 0x000000007fffffff, 0x0000000080000000, 0x0000000080000001,
    0x00000000ffffffff, 0x0000000100000000, 0x0000000100000001, 0x00000001ffffffff, 0x0000000200000000, 0x0000000200000001, 0x00000003ffffffff, 0x0000000400000000,
    0x0000000400000001, 0x00000007ffffffff, 0x0000000800000000, 0x0000000800000001, 0x0000000fffffffff, 0x0000001000000000, 0x0000001000000001, 0x0000001fffffffff,
    0x0000002000000000, 0x0000002000000001, 0x0000003fffffffff, 0x0000004000000000, 0x0000004000000001, 0x0000007fffffffff, 0x0000008000000000, 0x0000008000000001,
    0x000000ffffffffff, 0x0000010000000000, 0x0000010000000001, 0x000001ffffffffff, 0x0000020000000000, 0x0000020000000001, 0x000003ffffffffff, 0x0000040000000000,
    0x0000040000000001, 0x000007ffffffffff, 0x0000080000000000, 0x0000080000000001, 0x00000fffffffffff, 0x0000100000000000, 0x0000100000000001, 0x00001fffffffffff,
    0x0000200000000000, 0x0000200000000001, 0x00003fffffffffff, 0x0000400000000000, 0x0000400000000001, 0x00007fffffffffff, 0x0000800000000000, 0x0000800000000001,
    0x0000ffffffffffff, 0x0001000000000000, 0x0001000000000001, 0x0001ffffffffffff, 0x0002000000000000, 0x0002000000000001, 0x0003ffffffffffff, 0x0004000000000000,
    0x0004000000000001, 0x0007ffffffffffff, 0x0008000000000000, 0x0008000000000001, 0x000fffffffffffff, 0x0010000000000000, 0x0010000000000001, 0x001fffffffffffff,
    0x0020000000000000, 0x0020000000000001, 0x002fffffffffffff, 0x0030000000000000, 0x0030000000000001, 0x003fffffffffffff, 0x0040000000000000, 0x0040000000000001,
    0x004fffffffffffff, 0x0050000000000000, 0x0050000000000001, 0x005fffffffffffff, 0x0060000000000000, 0x0060000000000001, 0x006fffffffffffff, 0x0070000000000000,
    0x0070000000000001, 0x007fffffffffffff, 0x0080000000000000, 0x0080000000000001, 0x008fffffffffffff, 0x0090000000000000, 0x0090000000000001, 0x009fffffffffffff,
    0x00a0000000000000, 0x00a0000000000001, 0x00afffffffffffff, 0x00b0000000000000, 0x00b0000000000001, 0x00bfffffffffffff, 0x00c0000000000000, 0x00c0000000000001,
    0x00cfffffffffffff, 0x00d0000000000000, 0x00d0000000000001, 0x00dfffffffffffff, 0x00e0000000000000, 0x00e0000000000001, 0x00efffffffffffff, 0x00f0000000000000,
    0x00f0000000000001, 0x00ffffffffffffff, 0x0100000000000000, 0x0100000000000001, 0x010fffffffffffff, 0x0110000000000000, 0x0110000000000001, 0x011fffffffffffff,
    0x0120000000000000, 0x0120000000000001, 0x012fffffffffffff, 0x0130000000000000, 0x0130000000000001, 0x013fffffffffffff, 0x0140000000000000, 0x0140000000000001,
    0x014fffffffffffff, 0x0150000000000000, 0x0150000000000001, 0x015fffffffffffff, 0x0160000000000000, 0x0160000000000001, 0x016fffffffffffff, 0x0170000000000000,
    0x0170000000000001, 0x017fffffffffffff, 0x0180000000000000, 0x0180000000000001, 0x018fffffffffffff, 0x0190000000000000, 0x0190000000000001, 0x019fffffffffffff,
    0x01a0000000000000, 0x01a0000000000001, 0x01afffffffffffff, 0x01b0000000000000, 0x01b0000000000001, 0x01bfffffffffffff, 0x01c0000000000000, 0x01c0000000000001,
    0x01cfffffffffffff, 0x01d0000000000000, 0x01d0000000000001, 0x01dfffffffffffff, 0x01e0000000000000, 0x01e0000000000001, 0x01efffffffffffff, 0x01f0000000000000,
    0x01f0000000000001, 0x01ffffffffffffff, 0x0200000000000000, 0x0200000000000001, 0x020fffffffffffff, 0x0210000000000000, 0x0210000000000001, 0x021fffffffffffff,
    0x0220000000000000, 0x0220000000000001, 0x022fffffffffffff, 0x0230000000000000, 0x0230000000000001, 0x023fffffffffffff, 0x0240000000000000, 0x0240000000000001,
    0x024fffffffffffff, 0x0250000000000000, 0x0250000000000001, 0x025fffffffffffff, 0x0260000000000000, 0x0260000000000001, 0x026fffffffffffff, 0x0270000000000000,
    0x0270000000000001, 0x027fffffffffffff, 0x0280000000000000, 0x0280000000000001, 0x028fffffffffffff, 0x0290000000000000, 0x0290000000000001, 0x029fffffffffffff,
    0x02a0000000000000, 0x02a0000000000001, 0x02afffffffffffff, 0x02b0000000000000, 0x02b0000000000001, 0x02bfffffffffffff, 0x02c0000000000000, 0x02c0000000000001,
    0x02cfffffffffffff, 0x02d0000000000000, 0x02d0000000000001, 0x02dfffffffffffff, 0x02e0000000000000, 0x02e0000000000001, 0x02efffffffffffff, 0x02f0000000000000,
    0x02f0000000000001, 0x02ffffffffffffff, 0x0300000000000000, 0x0300000000000001, 0x030fffffffffffff, 0x0310000000000000, 0x0310000000000001, 0x031fffffffffffff,
    0x0320000000000000, 0x0320000000000001, 0x032fffffffffffff, 0x0330000000000000, 0x0330000000000001, 0x033fffffffffffff, 0x0340000000000000, 0x0340000000000001,
    0x034fffffffffffff, 0x0350000000000000, 0x0350000000000001, 0x035fffffffffffff, 0x0360000000000000, 0x0360000000000001, 0x036fffffffffffff, 0x0370000000000000,
    0x0370000000000001, 0x037fffffffffffff, 0x0380000000000000, 0x0380000000000001, 0x038fffffffffffff, 0x0390000000000000, 0x0390000000000001, 0x039fffffffffffff,
    0x03a0000000000000, 0x03a0000000000001, 0x03afffffffffffff, 0x03b0000000000000, 0x03b0000000000001, 0x03bfffffffffffff, 0x03c0000000000000, 0x03c0000000000001,
    0x03cfffffffffffff, 0x03d0000000000000, 0x03d0000000000001, 0x03dfffffffffffff, 0x03e0000000000000, 0x03e0000000000001, 0x03efffffffffffff, 0x03f0000000000000,
    0x03f0000000000001, 0x03ffffffffffffff, 0x0400000000000000, 0x0400000000000001, 0x040fffffffffffff, 0x0410000000000000, 0x0410000000000001, 0x041fffffffffffff,
    0x0420000000000000, 0x0420000000000001, 0x042fffffffffffff, 0x0430000000000000, 0x0430000000000001, 0x043fffffffffffff, 0x0440000000000000, 0x0440000000000001,
    0x044fffffffffffff, 0x0450000000000000, 0x0450000000000001, 0x045fffffffffffff, 0x0460000000000000, 0x0460000000000001, 0x046fffffffffffff, 0x0470000000000000,
    0x0470000000000001, 0x047fffffffffffff, 0x0480000000000000, 0x0480000000000001, 0x048fffffffffffff, 0x0490000000000000, 0x0490000000000001, 0x049fffffffffffff,
    0x04a0000000000000, 0x04a0000000000001, 0x04afffffffffffff, 0x04b0000000000000, 0x04b0000000000001, 0x04bfffffffffffff, 0x04c0000000000000, 0x04c0000000000001,
    0x04cfffffffffffff, 0x04d0000000000000, 0x04d0000000000001, 0x04dfffffffffffff, 0x04e0000000000000, 0x04e0000000000001, 0x04efffffffffffff, 0x04f0000000000000,
    0x04f0000000000001, 0x04ffffffffffffff, 0x0500000000000000, 0x0500000000000001, 0x050fffffffffffff, 0x0510000000000000, 0x0510000000000001, 0x051fffffffffffff,
    0x0520000000000000, 0x0520000000000001, 0x052fffffffffffff, 0x0530000000000000, 0x0530000000000001, 0x053fffffffffffff, 0x0540000000000000, 0x0540000000000001,
    0x054fffffffffffff, 0x0550000000000000, 0x0550000000000001, 0x055fffffffffffff, 0x0560000000000000, 0x0560000000000001, 0x056fffffffffffff, 0x0570000000000000,
    0x0570000000000001, 0x057fffffffffffff, 0x0580000000000000, 0x0580000000000001, 0x058fffffffffffff, 0x0590000000000000, 0x0590000000000001, 0x059fffffffffffff,
    0x05a0000000000000, 0x05a0000000000001, 0x05afffffffffffff, 0x05b0000000000000, 0x05b0000000000001, 0x05bfffffffffffff, 0x05c0000000000000, 0x05c0000000000001,
    0x05cfffffffffffff, 0x05d0000000000000, 0x05d0000000000001, 0x05dfffffffffffff, 0x05e0000000000000, 0x05e0000000000001, 0x05efffffffffffff, 0x05f0000000000000,
    0x05f0000000000001, 0x05ffffffffffffff, 0x0600000000000000, 0x0600000000000001, 0x060fffffffffffff, 0x0610000000000000, 0x0610000000000001, 0x061fffffffffffff,
    0x0620000000000000, 0x0620000000000001, 0x062fffffffffffff, 0x0630000000000000, 0x0630000000000001, 0x063fffffffffffff, 0x0640000000000000, 0x0640000000000001,
    0x064fffffffffffff, 0x0650000000000000, 0x0650000000000001, 0x065fffffffffffff, 0x0660000000000000, 0x0660000000000001, 0x066fffffffffffff, 0x0670000000000000,
    0x0670000000000001, 0x067fffffffffffff, 0x0680000000000000, 0x0680000000000001, 0x068fffffffffffff, 0x0690000000000000, 0x0690000000000001, 0x069fffffffffffff,
    0x06a0000000000000, 0x06a0000000000001, 0x06afffffffffffff, 0x06b0000000000000, 0x06b0000000000001, 0x06bfffffffffffff, 0x06c0000000000000, 0x06c0000000000001,
    0x06cfffffffffffff, 0x06d0000000000000, 0x06d0000000000001, 0x06dfffffffffffff, 0x06e0000000000000, 0x06e0000000000001, 0x06efffffffffffff, 0x06f0000000000000,
    0x06f0000000000001, 0x06ffffffffffffff, 0x0700000000000000, 0x0700000000000001, 0x070fffffffffffff, 0x0710000000000000, 0x0710000000000001, 0x071fffffffffffff,
    0x0720000000000000, 0x0720000000000001, 0x072fffffffffffff, 0x0730000000000000, 0x0730000000000001, 0x073fffffffffffff, 0x0740000000000000, 0x0740000000000001,
    0x074fffffffffffff, 0x0750000000000000, 0x0750000000000001, 0x075fffffffffffff, 0x0760000000000000, 0x0760000000000001, 0x076fffffffffffff, 0x0770000000000000,
    0x0770000000000001, 0x077fffffffffffff, 0x0780000000000000, 0x0780000000000001, 0x078fffffffffffff, 0x0790000000000000, 0x0790000000000001, 0x079fffffffffffff,
    0x07a0000000000000, 0x07a0000000000001, 0x07afffffffffffff, 0x07b0000000000000, 0x07b0000000000001, 0x07bfffffffffffff, 0x07c0000000000000, 0x07c0000000000001,
    0x07cfffffffffffff, 0x07d0000000000000, 0x07d0000000000001, 0x07dfffffffffffff, 0x07e0000000000000, 0x07e0000000000001, 0x07efffffffffffff, 0x07f0000000000000,
    0x07f0000000000001, 0x07ffffffffffffff, 0x0800000000000000, 0x0800000000000001, 0x080fffffffffffff, 0x0810000000000000, 0x0810000000000001, 0x081fffffffffffff,
    0x0820000000000000, 0x0820000000000001, 0x082fffffffffffff, 0x0830000000000000, 0x0830000000000001, 0x083fffffffffffff, 0x0840000000000000, 0x0840000000000001,
    0x084fffffffffffff, 0x0850000000000000, 0x0850000000000001, 0x085fffffffffffff, 0x0860000000000000, 0x0860000000000001, 0x086fffffffffffff, 0x0870000000000000,
    0x0870000000000001, 0x087fffffffffffff, 0x0880000000000000, 0x0880000000000001, 0x088fffffffffffff, 0x0890000000000000, 0x0890000000000001, 0x089fffffffffffff,
    0x08a0000000000000, 0x08a0000000000001, 0x08afffffffffffff, 0x08b0000000000000, 0x08b0000000000001, 0x08bfffffffffffff, 0x08c0000000000000, 0x08c0000000000001,
    0x08cfffffffffffff, 0x08d0000000000000, 0x08d0000000000001, 0x08dfffffffffffff, 0x08e0000000000000, 0x08e0000000000001, 0x08efffffffffffff, 0x08f0000000000000,
    0x08f0000000000001, 0x08ffffffffffffff, 0x0900000000000000, 0x0900000000000001, 0x090fffffffffffff, 0x0910000000000000, 0x0910000000000001, 0x091fffffffffffff,
    0x0920000000000000, 0x0920000000000001, 0x092fffffffffffff, 0x0930000000000000, 0x0930000000000001, 0x093fffffffffffff, 0x0940000000000000, 0x0940000000000001,
    0x094fffffffffffff, 0x0950000000000000, 0x0950000000000001, 0x095fffffffffffff, 0x0960000000000000, 0x0960000000000001, 0x096fffffffffffff, 0x0970000000000000,
    0x0970000000000001, 0x097fffffffffffff, 0x0980000000000000, 0x0980000000000001, 0x098fffffffffffff, 0x0990000000000000, 0x0990000000000001, 0x099fffffffffffff,
    0x09a0000000000000, 0x09a0000000000001, 0x09afffffffffffff, 0x09b0000000000000, 0x09b0000000000001, 0x09bfffffffffffff, 0x09c0000000000000, 0x09c0000000000001,
    0x09cfffffffffffff, 0x09d0000000000000, 0x09d0000000000001, 0x09dfffffffffffff, 0x09e0000000000000, 0x09e0000000000001, 0x09efffffffffffff, 0x09f0000000000000,
    0x09f0000000000001, 0x09ffffffffffffff, 0x0a00000000000000, 0x0a00000000000001, 0x0a0fffffffffffff, 0x0a10000000000000, 0x0a10000000000001, 0x0a1fffffffffffff,
    0x0a20000000000000, 0x0a20000000000001, 0x0a2fffffffffffff, 0x0a30000000000000, 0x0a30000000000001, 0x0a3fffffffffffff, 0x0a40000000000000, 0x0a40000000000001,
    0x0a4fffffffffffff, 0x0a50000000000000, 0x0a50000000000001, 0x0a5fffffffffffff, 0x0a60000000000000, 0x0a60000000000001, 0x0a6fffffffffffff, 0x0a70000000000000,
    0x0a70000000000001, 0x0a7fffffffffffff, 0x0a80000000000000, 0x0a80000000000001, 0x0a8fffffffffffff, 0x0a90000000000000, 0x0a90000000000001, 0x0a9fffffffffffff,
    0x0aa0000000000000, 0x0aa0000000000001, 0x0aafffffffffffff, 0x0ab0000000000000, 0x0ab0000000000001, 0x0abfffffffffffff, 0x0ac0000000000000, 0x0ac0000000000001,
    0x0acfffffffffffff, 0x0ad0000000000000, 0x0ad0000000000001, 0x0adfffffffffffff, 0x0ae0000000000000, 0x0ae0000000000001, 0x0aefffffffffffff, 0x0af0000000000000,
    0x0af0000000000001, 0x0affffffffffffff, 0x0b00000000000000, 0x0b00000000000001, 0x0b0fffffffffffff, 0x0b10000000000000, 0x0b10000000000001, 0x0b1fffffffffffff,
    0x0b20000000000000, 0x0b20000000000001, 0x0b2fffffffffffff, 0x0b30000000000000, 0x0b30000000000001, 0x0b3fffffffffffff, 0x0b40000000000000, 0x0b40000000000001,
    0x0b4fffffffffffff, 0x0b50000000000000, 0x0b50000000000001, 0x0b5fffffffffffff, 0x0b60000000000000, 0x0b60000000000001, 0x0b6fffffffffffff, 0x0b70000000000000,
    0x0b70000000000001, 0x0b7fffffffffffff, 0x0b80000000000000, 0x0b80000000000001, 0x0b8fffffffffffff, 0x0b90000000000000, 0x0b90000000000001, 0x0b9fffffffffffff,
    0x0ba0000000000000, 0x0ba0000000000001, 0x0bafffffffffffff, 0x0bb0000000000000, 0x0bb0000000000001, 0x0bbfffffffffffff, 0x0bc0000000000000, 0x0bc0000000000001,
    0x0bcfffffffffffff, 0x0bd0000000000000, 0x0bd0000000000001, 0x0bdfffffffffffff, 0x0be0000000000000, 0x0be0000000000001, 0x0befffffffffffff, 0x0bf0000000000000,
    0x0bf0000000000001, 0x0bffffffffffffff, 0x0c00000000000000, 0x0c00000000000001, 0x0c0fffffffffffff, 0x0c10000000000000, 0x0c10000000000001, 0x0c1fffffffffffff,
    0x0c20000000000000, 0x0c20000000000001, 0x0c2fffffffffffff, 0x0c30000000000000, 0x0c30000000000001, 0x0c3fffffffffffff, 0x0c40000000000000, 0x0c40000000000001,
    0x0c4fffffffffffff, 0x0c50000000000000, 0x0c50000000000001, 0x0c5fffffffffffff, 0x0c60000000000000, 0x0c60000000000001, 0x0c6fffffffffffff, 0x0c70000000000000,
    0x0c70000000000001, 0x0c7fffffffffffff, 0x0c80000000000000, 0x0c80000000000001, 0x0c8fffffffffffff, 0x0c90000000000000, 0x0c90000000000001, 0x0c9fffffffffffff,
    0x0ca0000000000000, 0x0ca0000000000001, 0x0cafffffffffffff, 0x0cb0000000000000, 0x0cb0000000000001, 0x0cbfffffffffffff, 0x0cc0000000000000, 0x0cc0000000000001,
    0x0ccfffffffffffff, 0x0cd0000000000000, 0x0cd0000000000001, 0x0cdfffffffffffff, 0x0ce0000000000000, 0x0ce0000000000001, 0x0cefffffffffffff, 0x0cf0000000000000,
    0x0cf0000000000001, 0x0cffffffffffffff, 0x0d00000000000000, 0x0d00000000000001, 0x0d0fffffffffffff, 0x0d10000000000000, 0x0d10000000000001, 0x0d1fffffffffffff,
    0x0d20000000000000, 0x0d20000000000001, 0x0d2fffffffffffff, 0x0d30000000000000, 0x0d30000000000001, 0x0d3fffffffffffff, 0x0d40000000000000, 0x0d40000000000001,
    0x0d4fffffffffffff, 0x0d50000000000000, 0x0d50000000000001, 0x0d5fffffffffffff, 0x0d60000000000000, 0x0d60000000000001, 0x0d6fffffffffffff, 0x0d70000000000000,
    0x0d70000000000001, 0x0d7fffffffffffff, 0x0d80000000000000, 0x0d80000000000001, 0x0d8fffffffffffff, 0x0d90000000000000, 0x0d90000000000001, 0x0d9fffffffffffff,
    0x0da0000000000000, 0x0da0000000000001, 0x0dafffffffffffff, 0x0db0000000000000, 0x0db0000000000001, 0x0dbfffffffffffff, 0x0dc0000000000000, 0x0dc0000000000001,
    0x0dcfffffffffffff, 0x0dd0000000000000, 0x0dd0000000000001, 0x0ddfffffffffffff, 0x0de0000000000000, 0x0de0000000000001, 0x0defffffffffffff, 0x0df0000000000000,
    0x0df0000000000001, 0x0dffffffffffffff, 0x0e00000000000000, 0x0e00000000000001, 0x0e0fffffffffffff, 0x0e10000000000000, 0x0e10000000000001, 0x0e1fffffffffffff,
    0x0e20000000000000, 0x0e20000000000001, 0x0e2fffffffffffff, 0x0e30000000000000, 0x0e30000000000001, 0x0e3fffffffffffff, 0x0e40000000000000, 0x0e40000000000001,
    0x0e4fffffffffffff, 0x0e50000000000000, 0x0e50000000000001, 0x0e5fffffffffffff, 0x0e60000000000000, 0x0e60000000000001, 0x0e6fffffffffffff, 0x0e70000000000000,
    0x0e70000000000001, 0x0e7fffffffffffff, 0x0e80000000000000, 0x0e80000000000001, 0x0e8fffffffffffff, 0x0e90000000000000, 0x0e90000000000001, 0x0e9fffffffffffff,
    0x0ea0000000000000, 0x0ea0000000000001, 0x0eafffffffffffff, 0x0eb0000000000000, 0x0eb0000000000001, 0x0ebfffffffffffff, 0x0ec0000000000000, 0x0ec0000000000001,
    0x0ecfffffffffffff, 0x0ed0000000000000, 0x0ed0000000000001, 0x0edfffffffffffff, 0x0ee0000000000000, 0x0ee0000000000001, 0x0eefffffffffffff, 0x0ef0000000000000,
    0x0ef0000000000001, 0x0effffffffffffff, 0x0f00000000000000, 0x0f00000000000001, 0x0f0fffffffffffff, 0x0f10000000000000, 0x0f10000000000001, 0x0f1fffffffffffff,
    0x0f20000000000000, 0x0f20000000000001, 0x0f2fffffffffffff, 0x0f30000000000000, 0x0f30000000000001, 0x0f3fffffffffffff, 0x0f40000000000000, 0x0f40000000000001,
    0x0f4fffffffffffff, 0x0f50000000000000, 0x0f50000000000001, 0x0f5fffffffffffff, 0x0f60000000000000, 0x0f60000000000001, 0x0f6fffffffffffff, 0x0f70000000000000,
    0x0f70000000000001, 0x0f7fffffffffffff, 0x0f80000000000000, 0x0f80000000000001, 0x0f8fffffffffffff, 0x0f90000000000000, 0x0f90000000000001, 0x0f9fffffffffffff,
    0x0fa0000000000000, 0x0fa0000000000001, 0x0fafffffffffffff, 0x0fb0000000000000, 0x0fb0000000000001, 0x0fbfffffffffffff, 0x0fc0000000000000, 0x0fc0000000000001,
    0x0fcfffffffffffff, 0x0fd0000000000000, 0x0fd0000000000001, 0x0fdfffffffffffff, 0x0fe0000000000000, 0x0fe0000000000001, 0x0fefffffffffffff, 0x0ff0000000000000,
    0x0ff0000000000001, 0x0fffffffffffffff, 0x1000000000000000, 0x1000000000000001, 0x100fffffffffffff, 0x1010000000000000, 0x1010000000000001, 0x101fffffffffffff,
    0x1020000000000000, 0x1020000000000001, 0x102fffffffffffff, 0x1030000000000000, 0x1030000000000001, 0x103fffffffffffff, 0x1040000000000000, 0x1040000000000001,
    0x104fffffffffffff, 0x1050000000000000, 0x1050000000000001, 0x105fffffffffffff, 0x1060000000000000, 0x1060000000000001, 0x106fffffffffffff, 0x1070000000000000,
    0x1070000000000001, 0x107fffffffffffff, 0x1080000000000000, 0x1080000000000001, 0x108fffffffffffff, 0x1090000000000000, 0x1090000000000001, 0x109fffffffffffff,
    0x10a0000000000000, 0x10a0000000000001, 0x10afffffffffffff, 0x10b0000000000000, 0x10b0000000000001, 0x10bfffffffffffff, 0x10c0000000000000, 0x10c0000000000001,
    0x10cfffffffffffff, 0x10d0000000000000, 0x10d0000000000001, 0x10dfffffffffffff, 0x10e0000000000000, 0x10e0000000000001, 0x10efffffffffffff, 0x10f0000000000000,
    0x10f0000000000001, 0x10ffffffffffffff, 0x1100000000000000, 0x1100000000000001, 0x110fffffffffffff, 0x1110000000000000, 0x1110000000000001, 0x111fffffffffffff,
    0x1120000000000000, 0x1120000000000001, 0x112fffffffffffff, 0x1130000000000000, 0x1130000000000001, 0x113fffffffffffff, 0x1140000000000000, 0x1140000000000001,
    0x114fffffffffffff, 0x1150000000000000, 0x1150000000000001, 0x115fffffffffffff, 0x1160000000000000, 0x1160000000000001, 0x116fffffffffffff, 0x1170000000000000,
    0x1170000000000001, 0x117fffffffffffff, 0x1180000000000000, 0x1180000000000001, 0x118fffffffffffff, 0x1190000000000000, 0x1190000000000001, 0x119fffffffffffff,
    0x11a0000000000000, 0x11a0000000000001, 0x11afffffffffffff, 0x11b0000000000000, 0x11b0000000000001, 0x11bfffffffffffff, 0x11c0000000000000, 0x11c0000000000001,
    0x11cfffffffffffff, 0x11d0000000000000, 0x11d0000000000001, 0x11dfffffffffffff, 0x11e0000000000000, 0x11e0000000000001, 0x11efffffffffffff, 0x11f0000000000000,
    0x11f0000000000001, 0x11ffffffffffffff, 0x1200000000000000, 0x1200000000000001, 0x120fffffffffffff, 0x1210000000000000, 0x1210000000000001, 0x121fffffffffffff,
    0x1220000000000000, 0x1220000000000001, 0x122fffffffffffff, 0x1230000000000000, 0x1230000000000001, 0x123fffffffffffff, 0x1240000000000000, 0x1240000000000001,
    0x124fffffffffffff, 0x1250000000000000, 0x1250000000000001, 0x125fffffffffffff, 0x1260000000000000, 0x1260000000000001, 0x126fffffffffffff, 0x1270000000000000,
    0x1270000000000001, 0x127fffffffffffff, 0x1280000000000000, 0x1280000000000001, 0x128fffffffffffff, 0x1290000000000000, 0x1290000000000001, 0x129fffffffffffff,
    0x12a0000000000000, 0x12a0000000000001, 0x12afffffffffffff, 0x12b0000000000000, 0x12b0000000000001, 0x12bfffffffffffff, 0x12c0000000000000, 0x12c0000000000001,
    0x12cfffffffffffff, 0x12d0000000000000, 0x12d0000000000001, 0x12dfffffffffffff, 0x12e0000000000000, 0x12e0000000000001, 0x12efffffffffffff, 0x12f0000000000000,
    0x12f0000000000001, 0x12ffffffffffffff, 0x1300000000000000, 0x1300000000000001, 0x130fffffffffffff, 0x1310000000000000, 0x1310000000000001, 0x131fffffffffffff,
    0x1320000000000000, 0x1320000000000001, 0x132fffffffffffff, 0x1330000000000000, 0x1330000000000001, 0x133fffffffffffff, 0x1340000000000000, 0x1340000000000001,
    0x134fffffffffffff, 0x1350000000000000, 0x1350000000000001, 0x135fffffffffffff, 0x1360000000000000, 0x1360000000000001, 0x136fffffffffffff, 0x1370000000000000,
    0x1370000000000001, 0x137fffffffffffff, 0x1380000000000000, 0x1380000000000001, 0x138fffffffffffff, 0x1390000000000000, 0x1390000000000001, 0x139fffffffffffff,
    0x13a0000000000000, 0x13a0000000000001, 0x13afffffffffffff, 0x13b0000000000000, 0x13b0000000000001, 0x13bfffffffffffff, 0x13c0000000000000, 0x13c0000000000001,
    0x13cfffffffffffff, 0x13d0000000000000, 0x13d0000000000001, 0x13dfffffffffffff, 0x13e0000000000000, 0x13e0000000000001, 0x13efffffffffffff, 0x13f0000000000000,
    0x13f0000000000001, 0x13ffffffffffffff, 0x1400000000000000, 0x1400000000000001, 0x140fffffffffffff, 0x1410000000000000, 0x1410000000000001, 0x141fffffffffffff,
    0x1420000000000000, 0x1420000000000001, 0x142fffffffffffff, 0x1430000000000000, 0x1430000000000001, 0x143fffffffffffff, 0x1440000000000000, 0x1440000000000001,
    0x144fffffffffffff, 0x1450000000000000, 0x1450000000000001, 0x145fffffffffffff, 0x1460000000000000, 0x1460000000000001, 0x146fffffffffffff, 0x1470000000000000,
    0x1470000000000001, 0x147fffffffffffff, 0x1480000000000000, 0x1480000000000001, 0x148fffffffffffff, 0x1490000000000000, 0x1490000000000001, 0x149fffffffffffff,
    0x14a0000000000000, 0x14a0000000000001, 0x14afffffffffffff, 0x14b0000000000000, 0x14b0000000000001, 0x14bfffffffffffff, 0x14c0000000000000, 0x14c0000000000001,
    0x14cfffffffffffff, 0x14d0000000000000, 0x14d0000000000001, 0x14dfffffffffffff, 0x14e0000000000000, 0x14e0000000000001, 0x14efffffffffffff, 0x14f0000000000000,
    0x14f0000000000001, 0x14ffffffffffffff, 0x1500000000000000, 0x1500000000000001, 0x150fffffffffffff, 0x1510000000000000, 0x1510000000000001, 0x151fffffffffffff,
    0x1520000000000000, 0x1520000000000001, 0x152fffffffffffff, 0x1530000000000000, 0x1530000000000001, 0x153fffffffffffff, 0x1540000000000000, 0x1540000000000001,
    0x154fffffffffffff, 0x1550000000000000, 0x1550000000000001, 0x155fffffffffffff, 0x1560000000000000, 0x1560000000000001, 0x156fffffffffffff, 0x1570000000000000,
    0x1570000000000001, 0x157fffffffffffff, 0x1580000000000000, 0x1580000000000001, 0x158fffffffffffff, 0x1590000000000000, 0x1590000000000001, 0x159fffffffffffff,
    0x15a0000000000000, 0x15a0000000000001, 0x15afffffffffffff, 0x15b0000000000000, 0x15b0000000000001, 0x15bfffffffffffff, 0x15c0000000000000, 0x15c0000000000001,
    0x15cfffffffffffff, 0x15d0000000000000, 0x15d0000000000001, 0x15dfffffffffffff, 0x15e0000000000000, 0x15e0000000000001, 0x15efffffffffffff, 0x15f0000000000000,
    0x15f0000000000001, 0x15ffffffffffffff, 0x1600000000000000, 0x1600000000000001, 0x160fffffffffffff, 0x1610000000000000, 0x1610000000000001, 0x161fffffffffffff,
    0x1620000000000000, 0x1620000000000001, 0x162fffffffffffff, 0x1630000000000000, 0x1630000000000001, 0x163fffffffffffff, 0x1640000000000000, 0x1640000000000001,
    0x164fffffffffffff, 0x1650000000000000, 0x1650000000000001, 0x165fffffffffffff, 0x1660000000000000, 0x1660000000000001, 0x166fffffffffffff, 0x1670000000000000,
    0x1670000000000001, 0x167fffffffffffff, 0x1680000000000000, 0x1680000000000001, 0x168fffffffffffff, 0x1690000000000000, 0x1690000000000001, 0x169fffffffffffff,
    0x16a0000000000000, 0x16a0000000000001, 0x16afffffffffffff, 0x16b0000000000000, 0x16b0000000000001, 0x16bfffffffffffff, 0x16c0000000000000, 0x16c0000000000001,
    0x16cfffffffffffff, 0x16d0000000000000, 0x16d0000000000001, 0x16dfffffffffffff, 0x16e0000000000000, 0x16e0000000000001, 0x16efffffffffffff, 0x16f0000000000000,
    0x16f0000000000001, 0x16ffffffffffffff, 0x1700000000000000, 0x1700000000000001, 0x170fffffffffffff, 0x1710000000000000, 0x1710000000000001, 0x171fffffffffffff,
    0x1720000000000000, 0x1720000000000001, 0x172fffffffffffff, 0x1730000000000000, 0x1730000000000001, 0x173fffffffffffff, 0x1740000000000000, 0x1740000000000001,
    0x174fffffffffffff, 0x1750000000000000, 0x1750000000000001, 0x175fffffffffffff, 0x1760000000000000, 0x1760000000000001, 0x176fffffffffffff, 0x1770000000000000,
    0x1770000000000001, 0x177fffffffffffff, 0x1780000000000000, 0x1780000000000001, 0x178fffffffffffff, 0x1790000000000000, 0x1790000000000001, 0x179fffffffffffff,
    0x17a0000000000000, 0x17a0000000000001, 0x17afffffffffffff, 0x17b0000000000000, 0x17b0000000000001, 0x17bfffffffffffff, 0x17c0000000000000, 0x17c0000000000001,
    0x17cfffffffffffff, 0x17d0000000000000, 0x17d0000000000001, 0x17dfffffffffffff, 0x17e0000000000000, 0x17e0000000000001, 0x17efffffffffffff, 0x17f0000000000000,
    0x17f0000000000001, 0x17ffffffffffffff, 0x1800000000000000, 0x1800000000000001, 0x180fffffffffffff, 0x1810000000000000, 0x1810000000000001, 0x181fffffffffffff,
    0x1820000000000000, 0x1820000000000001, 0x182fffffffffffff, 0x1830000000000000, 0x1830000000000001, 0x183fffffffffffff, 0x1840000000000000, 0x1840000000000001,
    0x184fffffffffffff, 0x1850000000000000, 0x1850000000000001, 0x185fffffffffffff, 0x1860000000000000, 0x1860000000000001, 0x186fffffffffffff, 0x1870000000000000,
    0x1870000000000001, 0x187fffffffffffff, 0x1880000000000000, 0x1880000000000001, 0x188fffffffffffff, 0x1890000000000000, 0x1890000000000001, 0x189fffffffffffff,
    0x18a0000000000000, 0x18a0000000000001, 0x18afffffffffffff, 0x18b0000000000000, 0x18b0000000000001, 0x18bfffffffffffff, 0x18c0000000000000, 0x18c0000000000001,
    0x18cfffffffffffff, 0x18d0000000000000, 0x18d0000000000001, 0x18dfffffffffffff, 0x18e0000000000000, 0x18e0000000000001, 0x18efffffffffffff, 0x18f0000000000000,
    0x18f0000000000001, 0x18ffffffffffffff, 0x1900000000000000, 0x1900000000000001, 0x190fffffffffffff, 0x1910000000000000, 0x1910000000000001, 0x191fffffffffffff,
    0x1920000000000000, 0x1920000000000001, 0x192fffffffffffff, 0x1930000000000000, 0x1930000000000001, 0x193fffffffffffff, 0x1940000000000000, 0x1940000000000001,
    0x194fffffffffffff, 0x1950000000000000, 0x1950000000000001, 0x195fffffffffffff, 0x1960000000000000, 0x1960000000000001, 0x196fffffffffffff, 0x1970000000000000,
    0x1970000000000001, 0x197fffffffffffff, 0x1980000000000000, 0x1980000000000001, 0x198fffffffffffff, 0x1990000000000000, 0x1990000000000001, 0x199fffffffffffff,
    0x19a0000000000000, 0x19a0000000000001, 0x19afffffffffffff, 0x19b0000000000000, 0x19b0000000000001, 0x19bfffffffffffff, 0x19c0000000000000, 0x19c0000000000001,
    0x19cfffffffffffff, 0x19d0000000000000, 0x19d0000000000001, 0x19dfffffffffffff, 0x19e0000000000000, 0x19e0000000000001, 0x19efffffffffffff, 0x19f0000000000000,
    0x19f0000000000001, 0x19ffffffffffffff, 0x1a00000000000000, 0x1a00000000000001, 0x1a0fffffffffffff, 0x1a10000000000000, 0x1a10000000000001, 0x1a1fffffffffffff,
    0x1a20000000000000, 0x1a20000000000001, 0x1a2fffffffffffff, 0x1a30000000000000, 0x1a30000000000001, 0x1a3fffffffffffff, 0x1a40000000000000, 0x1a40000000000001,
    0x1a4fffffffffffff, 0x1a50000000000000, 0x1a50000000000001, 0x1a5fffffffffffff, 0x1a60000000000000, 0x1a60000000000001, 0x1a6fffffffffffff, 0x1a70000000000000,
    0x1a70000000000001, 0x1a7fffffffffffff, 0x1a80000000000000, 0x1a80000000000001, 0x1a8fffffffffffff, 0x1a90000000000000, 0x1a90000000000001, 0x1a9fffffffffffff,
    0x1aa0000000000000, 0x1aa0000000000001, 0x1aafffffffffffff, 0x1ab0000000000000, 0x1ab0000000000001, 0x1abfffffffffffff, 0x1ac0000000000000, 0x1ac0000000000001,
    0x1acfffffffffffff, 0x1ad0000000000000, 0x1ad0000000000001, 0x1adfffffffffffff, 0x1ae0000000000000, 0x1ae0000000000001, 0x1aefffffffffffff, 0x1af0000000000000,
    0x1af0000000000001, 0x1affffffffffffff, 0x1b00000000000000, 0x1b00000000000001, 0x1b0fffffffffffff, 0x1b10000000000000, 0x1b10000000000001, 0x1b1fffffffffffff,
    0x1b20000000000000, 0x1b20000000000001, 0x1b2fffffffffffff, 0x1b30000000000000, 0x1b30000000000001, 0x1b3fffffffffffff, 0x1b40000000000000, 0x1b40000000000001,
    0x1b4fffffffffffff, 0x1b50000000000000, 0x1b50000000000001, 0x1b5fffffffffffff, 0x1b60000000000000, 0x1b60000000000001, 0x1b6fffffffffffff, 0x1b70000000000000,
    0x1b70000000000001, 0x1b7fffffffffffff, 0x1b80000000000000, 0x1b80000000000001, 0x1b8fffffffffffff, 0x1b90000000000000, 0x1b90000000000001, 0x1b9fffffffffffff,
    0x1ba0000000000000, 0x1ba0000000000001, 0x1bafffffffffffff, 0x1bb0000000000000, 0x1bb0000000000001, 0x1bbfffffffffffff, 0x1bc0000000000000, 0x1bc0000000000001,
    0x1bcfffffffffffff, 0x1bd0000000000000, 0x1bd0000000000001, 0x1bdfffffffffffff, 0x1be0000000000000, 0x1be0000000000001, 0x1befffffffffffff, 0x1bf0000000000000,
    0x1bf0000000000001, 0x1bffffffffffffff, 0x1c00000000000000, 0x1c00000000000001, 0x1c0fffffffffffff, 0x1c10000000000000, 0x1c10000000000001, 0x1c1fffffffffffff,
    0x1c20000000000000, 0x1c20000000000001, 0x1c2fffffffffffff, 0x1c30000000000000, 0x1c30000000000001, 0x1c3fffffffffffff, 0x1c40000000000000, 0x1c40000000000001,
    0x1c4fffffffffffff, 0x1c50000000000000, 0x1c50000000000001, 0x1c5fffffffffffff, 0x1c60000000000000, 0x1c60000000000001, 0x1c6fffffffffffff, 0x1c70000000000000,
    0x1c70000000000001, 0x1c7fffffffffffff, 0x1c80000000000000, 0x1c80000000000001, 0x1c8fffffffffffff, 0x1c90000000000000, 0x1c90000000000001, 0x1c9fffffffffffff,
    0x1ca0000000000000, 0x1ca0000000000001, 0x1cafffffffffffff, 0x1cb0000000000000, 0x1cb0000000000001, 0x1cbfffffffffffff, 0x1cc0000000000000, 0x1cc0000000000001,
    0x1ccfffffffffffff, 0x1cd0000000000000, 0x1cd0000000000001, 0x1cdfffffffffffff, 0x1ce0000000000000, 0x1ce0000000000001, 0x1cefffffffffffff, 0x1cf0000000000000,
    0x1cf0000000000001, 0x1cffffffffffffff, 0x1d00000000000000, 0x1d00000000000001, 0x1d0fffffffffffff, 0x1d10000000000000, 0x1d10000000000001, 0x1d1fffffffffffff,
    0x1d20000000000000, 0x1d20000000000001, 0x1d2fffffffffffff, 0x1d30000000000000, 0x1d30000000000001, 0x1d3fffffffffffff, 0x1d40000000000000, 0x1d40000000000001,
    0x1d4fffffffffffff, 0x1d50000000000000, 0x1d50000000000001, 0x1d5fffffffffffff, 0x1d60000000000000, 0x1d60000000000001, 0x1d6fffffffffffff, 0x1d70000000000000,
    0x1d70000000000001, 0x1d7fffffffffffff, 0x1d80000000000000, 0x1d80000000000001, 0x1d8fffffffffffff, 0x1d90000000000000, 0x1d90000000000001, 0x1d9fffffffffffff,
    0x1da0000000000000, 0x1da0000000000001, 0x1dafffffffffffff, 0x1db0000000000000, 0x1db0000000000001, 0x1dbfffffffffffff, 0x1dc0000000000000, 0x1dc0000000000001,
    0x1dcfffffffffffff, 0x1dd0000000000000, 0x1dd0000000000001, 0x1ddfffffffffffff, 0x1de0000000000000, 0x1de0000000000001, 0x1defffffffffffff, 0x1df0000000000000,
    0x1df0000000000001, 0x1dffffffffffffff, 0x1e00000000000000, 0x1e00000000000001, 0x1e0fffffffffffff, 0x1e10000000000000, 0x1e10000000000001, 0x1e1fffffffffffff,
    0x1e20000000000000, 0x1e20000000000001, 0x1e2fffffffffffff, 0x1e30000000000000, 0x1e30000000000001, 0x1e3fffffffffffff, 0x1e40000000000000, 0x1e40000000000001,
    0x1e4fffffffffffff, 0x1e50000000000000, 0x1e50000000000001, 0x1e5fffffffffffff, 0x1e60000000000000, 0x1e60000000000001, 0x1e6fffffffffffff, 0x1e70000000000000,
    0x1e70000000000001, 0x1e7fffffffffffff, 0x1e80000000000000, 0x1e80000000000001, 0x1e8fffffffffffff, 0x1e90000000000000, 0x1e90000000000001, 0x1e9fffffffffffff,
    0x1ea0000000000000, 0x1ea0000000000001, 0x1eafffffffffffff, 0x1eb0000000000000, 0x1eb0000000000001, 0x1ebfffffffffffff, 0x1ec0000000000000, 0x1ec0000000000001,
    0x1ecfffffffffffff, 0x1ed0000000000000, 0x1ed0000000000001, 0x1edfffffffffffff, 0x1ee0000000000000, 0x1ee0000000000001, 0x1eefffffffffffff, 0x1ef0000000000000,
    0x1ef0000000000001, 0x1effffffffffffff, 0x1f00000000000000, 0x1f00000000000001, 0x1f0fffffffffffff, 0x1f10000000000000, 0x1f10000000000001, 0x1f1fffffffffffff,
    0x1f20000000000000, 0x1f20000000000001, 0x1f2fffffffffffff, 0x1f30000000000000, 0x1f30000000000001, 0x1f3fffffffffffff, 0x1f40000000000000, 0x1f40000000000001,
    0x1f4fffffffffffff, 0x1f50000000000000, 0x1f50000000000001, 0x1f5fffffffffffff, 0x1f60000000000000, 0x1f60000000000001, 0x1f6fffffffffffff, 0x1f70000000000000,
    0x1f70000000000001, 0x1f7fffffffffffff, 0x1f80000000000000, 0x1f80000000000001, 0x1f8fffffffffffff, 0x1f90000000000000, 0x1f90000000000001, 0x1f9fffffffffffff,
    0x1fa0000000000000, 0x1fa0000000000001, 0x1fafffffffffffff, 0x1fb0000000000000, 0x1fb0000000000001, 0x1fbfffffffffffff, 0x1fc0000000000000, 0x1fc0000000000001,
    0x1fcfffffffffffff, 0x1fd0000000000000, 0x1fd0000000000001, 0x1fdfffffffffffff, 0x1fe0000000000000, 0x1fe0000000000001, 0x1fefffffffffffff, 0x1ff0000000000000,
    0x1ff0000000000001, 0x1fffffffffffffff, 0x2000000000000000, 0x2000000000000001, 0x200fffffffffffff, 0x2010000000000000, 0x2010000000000001, 0x201fffffffffffff,
    0x2020000000000000, 0x2020000000000001, 0x202fffffffffffff, 0x2030000000000000, 0x2030000000000001, 0x203fffffffffffff, 0x2040000000000000, 0x2040000000000001,
    0x204fffffffffffff, 0x2050000000000000, 0x2050000000000001, 0x205fffffffffffff, 0x2060000000000000, 0x2060000000000001, 0x206fffffffffffff, 0x2070000000000000,
    0x2070000000000001, 0x207fffffffffffff, 0x2080000000000000, 0x2080000000000001, 0x208fffffffffffff, 0x2090000000000000, 0x2090000000000001, 0x209fffffffffffff,
    0x20a0000000000000, 0x20a0000000000001, 0x20afffffffffffff, 0x20b0000000000000, 0x20b0000000000001, 0x20bfffffffffffff, 0x20c0000000000000, 0x20c0000000000001,
    0x20cfffffffffffff, 0x20d0000000000000, 0x20d0000000000001, 0x20dfffffffffffff, 0x20e0000000000000, 0x20e0000000000001, 0x20efffffffffffff, 0x20f0000000000000,
    0x20f0000000000001, 0x20ffffffffffffff, 0x2100000000000000, 0x2100000000000001, 0x210fffffffffffff, 0x2110000000000000, 0x2110000000000001, 0x211fffffffffffff,
    0x2120000000000000, 0x2120000000000001, 0x212fffffffffffff, 0x2130000000000000, 0x2130000000000001, 0x213fffffffffffff, 0x2140000000000000, 0x2140000000000001,
    0x214fffffffffffff, 0x2150000000000000, 0x2150000000000001, 0x215fffffffffffff, 0x2160000000000000, 0x2160000000000001, 0x216fffffffffffff, 0x2170000000000000,
    0x2170000000000001, 0x217fffffffffffff, 0x2180000000000000, 0x2180000000000001, 0x218fffffffffffff, 0x2190000000000000, 0x2190000000000001, 0x219fffffffffffff,
    0x21a0000000000000, 0x21a0000000000001, 0x21afffffffffffff, 0x21b0000000000000, 0x21b0000000000001, 0x21bfffffffffffff, 0x21c0000000000000, 0x21c0000000000001,
    0x21cfffffffffffff, 0x21d0000000000000, 0x21d0000000000001, 0x21dfffffffffffff, 0x21e0000000000000, 0x21e0000000000001, 0x21efffffffffffff, 0x21f0000000000000,
    0x21f0000000000001, 0x21ffffffffffffff, 0x2200000000000000, 0x2200000000000001, 0x220fffffffffffff, 0x2210000000000000, 0x2210000000000001, 0x221fffffffffffff,
    0x2220000000000000, 0x2220000000000001, 0x222fffffffffffff, 0x2230000000000000, 0x2230000000000001, 0x223fffffffffffff, 0x2240000000000000, 0x2240000000000001,
    0x224fffffffffffff, 0x2250000000000000, 0x2250000000000001, 0x225fffffffffffff, 0x2260000000000000, 0x2260000000000001, 0x226fffffffffffff, 0x2270000000000000,
    0x2270000000000001, 0x227fffffffffffff, 0x2280000000000000, 0x2280000000000001, 0x228fffffffffffff, 0x2290000000000000, 0x2290000000000001, 0x229fffffffffffff,
    0x22a0000000000000, 0x22a0000000000001, 0x22afffffffffffff, 0x22b0000000000000, 0x22b0000000000001, 0x22bfffffffffffff, 0x22c0000000000000, 0x22c0000000000001,
    0x22cfffffffffffff, 0x22d0000000000000, 0x22d0000000000001, 0x22dfffffffffffff, 0x22e0000000000000, 0x22e0000000000001, 0x22efffffffffffff, 0x22f0000000000000,
    0x22f0000000000001, 0x22ffffffffffffff, 0x2300000000000000, 0x2300000000000001, 0x230fffffffffffff, 0x2310000000000000, 0x2310000000000001, 0x231fffffffffffff,
    0x2320000000000000, 0x2320000000000001, 0x232fffffffffffff, 0x2330000000000000, 0x2330000000000001, 0x233fffffffffffff, 0x2340000000000000, 0x2340000000000001,
    0x234fffffffffffff, 0x2350000000000000, 0x2350000000000001, 0x235fffffffffffff, 0x2360000000000000, 0x2360000000000001, 0x236fffffffffffff, 0x2370000000000000,
    0x2370000000000001, 0x237fffffffffffff, 0x2380000000000000, 0x2380000000000001, 0x238fffffffffffff, 0x2390000000000000, 0x2390000000000001, 0x239fffffffffffff,
    0x23a0000000000000, 0x23a0000000000001, 0x23afffffffffffff, 0x23b0000000000000, 0x23b0000000000001, 0x23bfffffffffffff, 0x23c0000000000000, 0x23c0000000000001,
    0x23cfffffffffffff, 0x23d0000000000000, 0x23d0000000000001, 0x23dfffffffffffff, 0x23e0000000000000, 0x23e0000000000001, 0x23efffffffffffff, 0x23f0000000000000,
    0x23f0000000000001, 0x23ffffffffffffff, 0x2400000000000000, 0x2400000000000001, 0x240fffffffffffff, 0x2410000000000000, 0x2410000000000001, 0x241fffffffffffff,
    0x2420000000000000, 0x2420000000000001, 0x242fffffffffffff, 0x2430000000000000, 0x2430000000000001, 0x243fffffffffffff, 0x2440000000000000, 0x2440000000000001,
    0x244fffffffffffff, 0x2450000000000000, 0x2450000000000001, 0x245fffffffffffff, 0x2460000000000000, 0x2460000000000001, 0x246fffffffffffff, 0x2470000000000000,
    0x2470000000000001, 0x247fffffffffffff, 0x2480000000000000, 0x2480000000000001, 0x248fffffffffffff, 0x2490000000000000, 0x2490000000000001, 0x249fffffffffffff,
    0x24a0000000000000, 0x24a0000000000001, 0x24afffffffffffff, 0x24b0000000000000, 0x24b0000000000001, 0x24bfffffffffffff, 0x24c0000000000000, 0x24c0000000000001,
    0x24cfffffffffffff, 0x24d0000000000000, 0x24d0000000000001, 0x24dfffffffffffff, 0x24e0000000000000, 0x24e0000000000001, 0x24efffffffffffff, 0x24f0000000000000,
    0x24f0000000000001, 0x24ffffffffffffff, 0x2500000000000000, 0x2500000000000001, 0x250fffffffffffff, 0x2510000000000000, 0x2510000000000001, 0x251fffffffffffff,
    0x2520000000000000, 0x2520000000000001, 0x252fffffffffffff, 0x2530000000000000, 0x2530000000000001, 0x253fffffffffffff, 0x2540000000000000, 0x2540000000000001,
    0x254fffffffffffff, 0x2550000000000000, 0x2550000000000001, 0x255fffffffffffff, 0x2560000000000000, 0x2560000000000001, 0x256fffffffffffff, 0x2570000000000000,
    0x2570000000000001, 0x257fffffffffffff, 0x2580000000000000, 0x2580000000000001, 0x258fffffffffffff, 0x2590000000000000, 0x2590000000000001, 0x259fffffffffffff,
    0x25a0000000000000, 0x25a0000000000001, 0x25afffffffffffff, 0x25b0000000000000, 0x25b0000000000001, 0x25bfffffffffffff, 0x25c0000000000000, 0x25c0000000000001,
    0x25cfffffffffffff, 0x25d0000000000000, 0x25d0000000000001, 0x25dfffffffffffff, 0x25e0000000000000, 0x25e0000000000001, 0x25efffffffffffff, 0x25f0000000000000,
    0x25f0000000000001, 0x25ffffffffffffff, 0x2600000000000000, 0x2600000000000001, 0x260fffffffffffff, 0x2610000000000000, 0x2610000000000001, 0x261fffffffffffff,
    0x2620000000000000, 0x2620000000000001, 0x262fffffffffffff, 0x2630000000000000, 0x2630000000000001, 0x263fffffffffffff, 0x2640000000000000, 0x2640000000000001,
    0x264fffffffffffff, 0x2650000000000000, 0x2650000000000001, 0x265fffffffffffff, 0x2660000000000000, 0x2660000000000001, 0x266fffffffffffff, 0x2670000000000000,
    0x2670000000000001, 0x267fffffffffffff, 0x2680000000000000, 0x2680000000000001, 0x268fffffffffffff, 0x2690000000000000, 0x2690000000000001, 0x269fffffffffffff,
    0x26a0000000000000, 0x26a0000000000001, 0x26afffffffffffff, 0x26b0000000000000, 0x26b0000000000001, 0x26bfffffffffffff, 0x26c0000000000000, 0x26c0000000000001,
    0x26cfffffffffffff, 0x26d0000000000000, 0x26d0000000000001, 0x26dfffffffffffff, 0x26e0000000000000, 0x26e0000000000001, 0x26efffffffffffff, 0x26f0000000000000,
    0x26f0000000000001, 0x26ffffffffffffff, 0x2700000000000000, 0x2700000000000001, 0x270fffffffffffff, 0x2710000000000000, 0x2710000000000001, 0x271fffffffffffff,
    0x2720000000000000, 0x2720000000000001, 0x272fffffffffffff, 0x2730000000000000, 0x2730000000000001, 0x273fffffffffffff, 0x2740000000000000, 0x2740000000000001,
    0x274fffffffffffff, 0x2750000000000000, 0x2750000000000001, 0x275fffffffffffff, 0x2760000000000000, 0x2760000000000001, 0x276fffffffffffff, 0x2770000000000000,
    0x2770000000000001, 0x277fffffffffffff, 0x2780000000000000, 0x2780000000000001, 0x278fffffffffffff, 0x2790000000000000, 0x2790000000000001, 0x279fffffffffffff,
    0x27a0000000000000, 0x27a0000000000001, 0x27afffffffffffff, 0x27b0000000000000, 0x27b0000000000001, 0x27bfffffffffffff, 0x27c0000000000000, 0x27c0000000000001,
    0x27cfffffffffffff, 0x27d0000000000000, 0x27d0000000000001, 0x27dfffffffffffff, 0x27e0000000000000, 0x27e0000000000001, 0x27efffffffffffff, 0x27f0000000000000,
    0x27f0000000000001, 0x27ffffffffffffff, 0x2800000000000000, 0x2800000000000001, 0x280fffffffffffff, 0x2810000000000000, 0x2810000000000001, 0x281fffffffffffff,
    0x2820000000000000, 0x2820000000000001, 0x282fffffffffffff, 0x2830000000000000, 0x2830000000000001, 0x283fffffffffffff, 0x2840000000000000, 0x2840000000000001,
    0x284fffffffffffff, 0x2850000000000000, 0x2850000000000001, 0x285fffffffffffff, 0x2860000000000000, 0x2860000000000001, 0x286fffffffffffff, 0x2870000000000000,
    0x2870000000000001, 0x287fffffffffffff, 0x2880000000000000, 0x2880000000000001, 0x288fffffffffffff, 0x2890000000000000, 0x2890000000000001, 0x289fffffffffffff,
    0x28a0000000000000, 0x28a0000000000001, 0x28afffffffffffff, 0x28b0000000000000, 0x28b0000000000001, 0x28bfffffffffffff, 0x28c0000000000000, 0x28c0000000000001,
    0x28cfffffffffffff, 0x28d0000000000000, 0x28d0000000000001, 0x28dfffffffffffff, 0x28e0000000000000, 0x28e0000000000001, 0x28efffffffffffff, 0x28f0000000000000,
    0x28f0000000000001, 0x28ffffffffffffff, 0x2900000000000000, 0x2900000000000001, 0x290fffffffffffff, 0x2910000000000000, 0x2910000000000001, 0x291fffffffffffff,
    0x2920000000000000, 0x2920000000000001, 0x292fffffffffffff, 0x2930000000000000, 0x2930000000000001, 0x293fffffffffffff, 0x2940000000000000, 0x2940000000000001,
    0x294fffffffffffff, 0x2950000000000000, 0x2950000000000001, 0x295fffffffffffff, 0x2960000000000000, 0x2960000000000001, 0x296fffffffffffff, 0x2970000000000000,
    0x2970000000000001, 0x297fffffffffffff, 0x2980000000000000, 0x2980000000000001, 0x298fffffffffffff, 0x2990000000000000, 0x2990000000000001, 0x299fffffffffffff,
    0x29a0000000000000, 0x29a0000000000001, 0x29afffffffffffff, 0x29b0000000000000, 0x29b0000000000001, 0x29bfffffffffffff, 0x29c0000000000000, 0x29c0000000000001,
    0x29cfffffffffffff, 0x29d0000000000000, 0x29d0000000000001, 0x29dfffffffffffff, 0x29e0000000000000, 0x29e0000000000001, 0x29efffffffffffff, 0x29f0000000000000,
    0x29f0000000000001, 0x29ffffffffffffff, 0x2a00000000000000, 0x2a00000000000001, 0x2a0fffffffffffff, 0x2a10000000000000, 0x2a10000000000001, 0x2a1fffffffffffff,
    0x2a20000000000000, 0x2a20000000000001, 0x2a2fffffffffffff, 0x2a30000000000000, 0x2a30000000000001, 0x2a3fffffffffffff, 0x2a40000000000000, 0x2a40000000000001,
    0x2a4fffffffffffff, 0x2a50000000000000, 0x2a50000000000001, 0x2a5fffffffffffff, 0x2a60000000000000, 0x2a60000000000001, 0x2a6fffffffffffff, 0x2a70000000000000,
    0x2a70000000000001, 0x2a7fffffffffffff, 0x2a80000000000000, 0x2a80000000000001, 0x2a8fffffffffffff, 0x2a90000000000000, 0x2a90000000000001, 0x2a9fffffffffffff,
    0x2aa0000000000000, 0x2aa0000000000001, 0x2aafffffffffffff, 0x2ab0000000000000, 0x2ab0000000000001, 0x2abfffffffffffff, 0x2ac0000000000000, 0x2ac0000000000001,
    0x2acfffffffffffff, 0x2ad0000000000000, 0x2ad0000000000001, 0x2adfffffffffffff, 0x2ae0000000000000, 0x2ae0000000000001, 0x2aefffffffffffff, 0x2af0000000000000,
    0x2af0000000000001, 0x2affffffffffffff, 0x2b00000000000000, 0x2b00000000000001, 0x2b0fffffffffffff, 0x2b10000000000000, 0x2b10000000000001, 0x2b1fffffffffffff,
    0x2b20000000000000, 0x2b20000000000001, 0x2b2fffffffffffff, 0x2b30000000000000, 0x2b30000000000001, 0x2b3fffffffffffff, 0x2b40000000000000, 0x2b40000000000001,
    0x2b4fffffffffffff, 0x2b50000000000000, 0x2b50000000000001, 0x2b5fffffffffffff, 0x2b60000000000000, 0x2b60000000000001, 0x2b6fffffffffffff, 0x2b70000000000000,
    0x2b70000000000001, 0x2b7fffffffffffff, 0x2b80000000000000, 0x2b80000000000001, 0x2b8fffffffffffff, 0x2b90000000000000, 0x2b90000000000001, 0x2b9fffffffffffff,
    0x2ba0000000000000, 0x2ba0000000000001, 0x2bafffffffffffff, 0x2bb0000000000000, 0x2bb0000000000001, 0x2bbfffffffffffff, 0x2bc0000000000000, 0x2bc0000000000001,
    0x2bcfffffffffffff, 0x2bd0000000000000, 0x2bd0000000000001, 0x2bdfffffffffffff, 0x2be0000000000000, 0x2be0000000000001, 0x2befffffffffffff, 0x2bf0000000000000,
    0x2bf0000000000001, 0x2bffffffffffffff, 0x2c00000000000000, 0x2c00000000000001, 0x2c0fffffffffffff, 0x2c10000000000000, 0x2c10000000000001, 0x2c1fffffffffffff,
    0x2c20000000000000, 0x2c20000000000001, 0x2c2fffffffffffff, 0x2c30000000000000, 0x2c30000000000001, 0x2c3fffffffffffff, 0x2c40000000000000, 0x2c40000000000001,
    0x2c4fffffffffffff, 0x2c50000000000000, 0x2c50000000000001, 0x2c5fffffffffffff, 0x2c60000000000000, 0x2c60000000000001, 0x2c6fffffffffffff, 0x2c70000000000000,
    0x2c70000000000001, 0x2c7fffffffffffff, 0x2c80000000000000, 0x2c80000000000001, 0x2c8fffffffffffff, 0x2c90000000000000, 0x2c90000000000001, 0x2c9fffffffffffff,
    0x2ca0000000000000, 0x2ca0000000000001, 0x2cafffffffffffff, 0x2cb0000000000000, 0x2cb0000000000001, 0x2cbfffffffffffff, 0x2cc0000000000000, 0x2cc0000000000001,
    0x2ccfffffffffffff, 0x2cd0000000000000, 0x2cd0000000000001, 0x2cdfffffffffffff, 0x2ce0000000000000, 0x2ce0000000000001, 0x2cefffffffffffff, 0x2cf0000000000000,
    0x2cf0000000000001, 0x2cffffffffffffff, 0x2d00000000000000, 0x2d00000000000001, 0x2d0fffffffffffff, 0x2d10000000000000, 0x2d10000000000001, 0x2d1fffffffffffff,
    0x2d20000000000000, 0x2d20000000000001, 0x2d2fffffffffffff, 0x2d30000000000000, 0x2d30000000000001, 0x2d3fffffffffffff, 0x2d40000000000000, 0x2d40000000000001,
    0x2d4fffffffffffff, 0x2d50000000000000, 0x2d50000000000001, 0x2d5fffffffffffff, 0x2d60000000000000, 0x2d60000000000001, 0x2d6fffffffffffff, 0x2d70000000000000,
    0x2d70000000000001, 0x2d7fffffffffffff, 0x2d80000000000000, 0x2d80000000000001, 0x2d8fffffffffffff, 0x2d90000000000000, 0x2d90000000000001, 0x2d9fffffffffffff,
    0x2da0000000000000, 0x2da0000000000001, 0x2dafffffffffffff, 0x2db0000000000000, 0x2db0000000000001, 0x2dbfffffffffffff, 0x2dc0000000000000, 0x2dc0000000000001,
    0x2dcfffffffffffff, 0x2dd0000000000000, 0x2dd0000000000001, 0x2ddfffffffffffff, 0x2de0000000000000, 0x2de0000000000001, 0x2defffffffffffff, 0x2df0000000000000,
    0x2df0000000000001, 0x2dffffffffffffff, 0x2e00000000000000, 0x2e00000000000001, 0x2e0fffffffffffff, 0x2e10000000000000, 0x2e10000000000001, 0x2e1fffffffffffff,
    0x2e20000000000000, 0x2e20000000000001, 0x2e2fffffffffffff, 0x2e30000000000000, 0x2e30000000000001, 0x2e3fffffffffffff, 0x2e40000000000000, 0x2e40000000000001,
    0x2e4fffffffffffff, 0x2e50000000000000, 0x2e50000000000001, 0x2e5fffffffffffff, 0x2e60000000000000, 0x2e60000000000001, 0x2e6fffffffffffff, 0x2e70000000000000,
    0x2e70000000000001, 0x2e7fffffffffffff, 0x2e80000000000000, 0x2e80000000000001, 0x2e8fffffffffffff, 0x2e90000000000000, 0x2e90000000000001, 0x2e9fffffffffffff,
    0x2ea0000000000000, 0x2ea0000000000001, 0x2eafffffffffffff, 0x2eb0000000000000, 0x2eb0000000000001, 0x2ebfffffffffffff, 0x2ec0000000000000, 0x2ec0000000000001,
    0x2ecfffffffffffff, 0x2ed0000000000000, 0x2ed0000000000001, 0x2edfffffffffffff, 0x2ee0000000000000, 0x2ee0000000000001, 0x2eefffffffffffff, 0x2ef0000000000000,
    0x2ef0000000000001, 0x2effffffffffffff, 0x2f00000000000000, 0x2f00000000000001, 0x2f0fffffffffffff, 0x2f10000000000000, 0x2f10000000000001, 0x2f1fffffffffffff,
    0x2f20000000000000, 0x2f20000000000001, 0x2f2fffffffffffff, 0x2f30000000000000, 0x2f30000000000001, 0x2f3fffffffffffff, 0x2f40000000000000, 0x2f40000000000001,
    0x2f4fffffffffffff, 0x2f50000000000000, 0x2f50000000000001, 0x2f5fffffffffffff, 0x2f60000000000000, 0x2f60000000000001, 0x2f6fffffffffffff, 0x2f70000000000000,
    0x2f70000000000001, 0x2f7fffffffffffff, 0x2f80000000000000, 0x2f80000000000001, 0x2f8fffffffffffff, 0x2f90000000000000, 0x2f90000000000001, 0x2f9fffffffffffff,
    0x2fa0000000000000, 0x2fa0000000000001, 0x2fafffffffffffff, 0x2fb0000000000000, 0x2fb0000000000001, 0x2fbfffffffffffff, 0x2fc0000000000000, 0x2fc0000000000001,
    0x2fcfffffffffffff, 0x2fd0000000000000, 0x2fd0000000000001, 0x2fdfffffffffffff, 0x2fe0000000000000, 0x2fe0000000000001, 0x2fefffffffffffff, 0x2ff0000000000000,
    0x2ff0000000000001, 0x2fffffffffffffff, 0x3000000000000000, 0x3000000000000001, 0x300fffffffffffff, 0x3010000000000000, 0x3010000000000001, 0x301fffffffffffff,
    0x3020000000000000, 0x3020000000000001, 0x302fffffffffffff, 0x3030000000000000, 0x3030000000000001, 0x303fffffffffffff, 0x3040000000000000, 0x3040000000000001,
    0x304fffffffffffff, 0x3050000000000000, 0x3050000000000001, 0x305fffffffffffff, 0x3060000000000000, 0x3060000000000001, 0x306fffffffffffff, 0x3070000000000000,
    0x3070000000000001, 0x307fffffffffffff, 0x3080000000000000, 0x3080000000000001, 0x308fffffffffffff, 0x3090000000000000, 0x3090000000000001, 0x309fffffffffffff,
    0x30a0000000000000, 0x30a0000000000001, 0x30afffffffffffff, 0x30b0000000000000, 0x30b0000000000001, 0x30bfffffffffffff, 0x30c0000000000000, 0x30c0000000000001,
    0x30cfffffffffffff, 0x30d0000000000000, 0x30d0000000000001, 0x30dfffffffffffff, 0x30e0000000000000, 0x30e0000000000001, 0x30efffffffffffff, 0x30f0000000000000,
    0x30f0000000000001, 0x30ffffffffffffff, 0x3100000000000000, 0x3100000000000001, 0x310fffffffffffff, 0x3110000000000000, 0x3110000000000001, 0x311fffffffffffff,
    0x3120000000000000, 0x3120000000000001, 0x312fffffffffffff, 0x3130000000000000, 0x3130000000000001, 0x313fffffffffffff, 0x3140000000000000, 0x3140000000000001,
    0x314fffffffffffff, 0x3150000000000000, 0x3150000000000001, 0x315fffffffffffff, 0x3160000000000000, 0x3160000000000001, 0x316fffffffffffff, 0x3170000000000000,
    0x3170000000000001, 0x317fffffffffffff, 0x3180000000000000, 0x3180000000000001, 0x318fffffffffffff, 0x3190000000000000, 0x3190000000000001, 0x319fffffffffffff,
    0x31a0000000000000, 0x31a0000000000001, 0x31afffffffffffff, 0x31b0000000000000, 0x31b0000000000001, 0x31bfffffffffffff, 0x31c0000000000000, 0x31c0000000000001,
    0x31cfffffffffffff, 0x31d0000000000000, 0x31d0000000000001, 0x31dfffffffffffff, 0x31e0000000000000, 0x31e0000000000001, 0x31efffffffffffff, 0x31f0000000000000,
    0x31f0000000000001, 0x31ffffffffffffff, 0x3200000000000000, 0x3200000000000001, 0x320fffffffffffff, 0x3210000000000000, 0x3210000000000001, 0x321fffffffffffff,
    0x3220000000000000, 0x3220000000000001, 0x322fffffffffffff, 0x3230000000000000, 0x3230000000000001, 0x323fffffffffffff, 0x3240000000000000, 0x3240000000000001,
    0x324fffffffffffff, 0x3250000000000000, 0x3250000000000001, 0x325fffffffffffff, 0x3260000000000000, 0x3260000000000001, 0x326fffffffffffff, 0x3270000000000000,
    0x3270000000000001, 0x327fffffffffffff, 0x3280000000000000, 0x3280000000000001, 0x328fffffffffffff, 0x3290000000000000, 0x3290000000000001, 0x329fffffffffffff,
    0x32a0000000000000, 0x32a0000000000001, 0x32afffffffffffff, 0x32b0000000000000, 0x32b0000000000001, 0x32bfffffffffffff, 0x32c0000000000000, 0x32c0000000000001,
    0x32cfffffffffffff, 0x32d0000000000000, 0x32d0000000000001, 0x32dfffffffffffff, 0x32e0000000000000, 0x32e0000000000001, 0x32efffffffffffff, 0x32f0000000000000,
    0x32f0000000000001, 0x32ffffffffffffff, 0x3300000000000000, 0x3300000000000001, 0x330fffffffffffff, 0x3310000000000000, 0x3310000000000001, 0x331fffffffffffff,
    0x3320000000000000, 0x3320000000000001, 0x332fffffffffffff, 0x3330000000000000, 0x3330000000000001, 0x333fffffffffffff, 0x3340000000000000, 0x3340000000000001,
    0x334fffffffffffff, 0x3350000000000000, 0x3350000000000001, 0x335fffffffffffff, 0x3360000000000000, 0x3360000000000001, 0x336fffffffffffff, 0x3370000000000000,
    0x3370000000000001, 0x337fffffffffffff, 0x3380000000000000, 0x3380000000000001, 0x338fffffffffffff, 0x3390000000000000, 0x3390000000000001, 0x339fffffffffffff,
    0x33a0000000000000, 0x33a0000000000001, 0x33afffffffffffff, 0x33b0000000000000, 0x33b0000000000001, 0x33bfffffffffffff, 0x33c0000000000000, 0x33c0000000000001,
    0x33cfffffffffffff, 0x33d0000000000000, 0x33d0000000000001, 0x33dfffffffffffff, 0x33e0000000000000, 0x33e0000000000001, 0x33efffffffffffff, 0x33f0000000000000,
    0x33f0000000000001, 0x33ffffffffffffff, 0x3400000000000000, 0x3400000000000001, 0x340fffffffffffff, 0x3410000000000000, 0x3410000000000001, 0x341fffffffffffff,
    0x3420000000000000, 0x3420000000000001, 0x342fffffffffffff, 0x3430000000000000, 0x3430000000000001, 0x343fffffffffffff, 0x3440000000000000, 0x3440000000000001,
    0x344fffffffffffff, 0x3450000000000000, 0x3450000000000001, 0x345fffffffffffff, 0x3460000000000000, 0x3460000000000001, 0x346fffffffffffff, 0x3470000000000000,
    0x3470000000000001, 0x347fffffffffffff, 0x3480000000000000, 0x3480000000000001, 0x348fffffffffffff, 0x3490000000000000, 0x3490000000000001, 0x349fffffffffffff,
    0x34a0000000000000, 0x34a0000000000001, 0x34afffffffffffff, 0x34b0000000000000, 0x34b0000000000001, 0x34bfffffffffffff, 0x34c0000000000000, 0x34c0000000000001,
    0x34cfffffffffffff, 0x34d0000000000000, 0x34d0000000000001, 0x34dfffffffffffff, 0x34e0000000000000, 0x34e0000000000001, 0x34efffffffffffff, 0x34f0000000000000,
    0x34f0000000000001, 0x34ffffffffffffff, 0x3500000000000000, 0x3500000000000001, 0x350fffffffffffff, 0x3510000000000000, 0x3510000000000001, 0x351fffffffffffff,
    0x3520000000000000, 0x3520000000000001, 0x352fffffffffffff, 0x3530000000000000, 0x3530000000000001, 0x353fffffffffffff, 0x3540000000000000, 0x3540000000000001,
    0x354fffffffffffff, 0x3550000000000000, 0x3550000000000001, 0x355fffffffffffff, 0x3560000000000000, 0x3560000000000001, 0x356fffffffffffff, 0x3570000000000000,
    0x3570000000000001, 0x357fffffffffffff, 0x3580000000000000, 0x3580000000000001, 0x358fffffffffffff, 0x3590000000000000, 0x3590000000000001, 0x359fffffffffffff,
    0x35a0000000000000, 0x35a0000000000001, 0x35afffffffffffff, 0x35b0000000000000, 0x35b0000000000001, 0x35bfffffffffffff, 0x35c0000000000000, 0x35c0000000000001,
    0x35cfffffffffffff, 0x35d0000000000000, 0x35d0000000000001, 0x35dfffffffffffff, 0x35e0000000000000, 0x35e0000000000001, 0x35efffffffffffff, 0x35f0000000000000,
    0x35f0000000000001, 0x35ffffffffffffff, 0x3600000000000000, 0x3600000000000001, 0x360fffffffffffff, 0x3610000000000000, 0x3610000000000001, 0x361fffffffffffff,
    0x3620000000000000, 0x3620000000000001, 0x362fffffffffffff, 0x3630000000000000, 0x3630000000000001, 0x363fffffffffffff, 0x3640000000000000, 0x3640000000000001,
    0x364fffffffffffff, 0x3650000000000000, 0x3650000000000001, 0x365fffffffffffff, 0x3660000000000000, 0x3660000000000001, 0x366fffffffffffff, 0x3670000000000000,
    0x3670000000000001, 0x367fffffffffffff, 0x3680000000000000, 0x3680000000000001, 0x368fffffffffffff, 0x3690000000000000, 0x3690000000000001, 0x369fffffffffffff,
    0x36a0000000000000, 0x36a0000000000001, 0x36afffffffffffff, 0x36b0000000000000, 0x36b0000000000001, 0x36bfffffffffffff, 0x36c0000000000000, 0x36c0000000000001,
    0x36cfffffffffffff, 0x36d0000000000000, 0x36d0000000000001, 0x36dfffffffffffff, 0x36e0000000000000, 0x36e0000000000001, 0x36efffffffffffff, 0x36f0000000000000,
    0x36f0000000000001, 0x36ffffffffffffff, 0x3700000000000000, 0x3700000000000001, 0x370fffffffffffff, 0x3710000000000000, 0x3710000000000001, 0x371fffffffffffff,
    0x3720000000000000, 0x3720000000000001, 0x372fffffffffffff, 0x3730000000000000, 0x3730000000000001, 0x373fffffffffffff, 0x3740000000000000, 0x3740000000000001,
    0x374fffffffffffff, 0x3750000000000000, 0x3750000000000001, 0x375fffffffffffff, 0x3760000000000000, 0x3760000000000001, 0x376fffffffffffff, 0x3770000000000000,
    0x3770000000000001, 0x377fffffffffffff, 0x3780000000000000, 0x3780000000000001, 0x378fffffffffffff, 0x3790000000000000, 0x3790000000000001, 0x379fffffffffffff,
    0x37a0000000000000, 0x37a0000000000001, 0x37afffffffffffff, 0x37b0000000000000, 0x37b0000000000001, 0x37bfffffffffffff, 0x37c0000000000000, 0x37c0000000000001,
    0x37cfffffffffffff, 0x37d0000000000000, 0x37d0000000000001, 0x37dfffffffffffff, 0x37e0000000000000, 0x37e0000000000001, 0x37efffffffffffff, 0x37f0000000000000,
    0x37f0000000000001, 0x37ffffffffffffff, 0x3800000000000000, 0x3800000000000001, 0x380fffffffffffff, 0x3810000000000000, 0x3810000000000001, 0x381fffffffffffff,
    0x3820000000000000, 0x3820000000000001, 0x382fffffffffffff, 0x3830000000000000, 0x3830000000000001, 0x383fffffffffffff, 0x3840000000000000, 0x3840000000000001,
    0x384fffffffffffff, 0x3850000000000000, 0x3850000000000001, 0x385fffffffffffff, 0x3860000000000000, 0x3860000000000001, 0x386fffffffffffff, 0x3870000000000000,
    0x3870000000000001, 0x387fffffffffffff, 0x3880000000000000, 0x3880000000000001, 0x388fffffffffffff, 0x3890000000000000, 0x3890000000000001, 0x389fffffffffffff,
    0x38a0000000000000, 0x38a0000000000001, 0x38afffffffffffff, 0x38b0000000000000, 0x38b0000000000001, 0x38bfffffffffffff, 0x38c0000000000000, 0x38c0000000000001,
    0x38cfffffffffffff, 0x38d0000000000000, 0x38d0000000000001, 0x38dfffffffffffff, 0x38e0000000000000, 0x38e0000000000001, 0x38efffffffffffff, 0x38f0000000000000,
    0x38f0000000000001, 0x38ffffffffffffff, 0x3900000000000000, 0x3900000000000001, 0x390fffffffffffff, 0x3910000000000000, 0x3910000000000001, 0x391fffffffffffff,
    0x3920000000000000, 0x3920000000000001, 0x392fffffffffffff, 0x3930000000000000, 0x3930000000000001, 0x393fffffffffffff, 0x3940000000000000, 0x3940000000000001,
    0x394fffffffffffff, 0x3950000000000000, 0x3950000000000001, 0x395fffffffffffff, 0x3960000000000000, 0x3960000000000001, 0x396fffffffffffff, 0x3970000000000000,
    0x3970000000000001, 0x397fffffffffffff, 0x3980000000000000, 0x3980000000000001, 0x398fffffffffffff, 0x3990000000000000, 0x3990000000000001, 0x399fffffffffffff,
    0x39a0000000000000, 0x39a0000000000001, 0x39afffffffffffff, 0x39b0000000000000, 0x39b0000000000001, 0x39bfffffffffffff, 0x39c0000000000000, 0x39c0000000000001,
    0x39cfffffffffffff, 0x39d0000000000000, 0x39d0000000000001, 0x39dfffffffffffff, 0x39e0000000000000, 0x39e0000000000001, 0x39efffffffffffff, 0x39f0000000000000,
    0x39f0000000000001, 0x39ffffffffffffff, 0x3a00000000000000, 0x3a00000000000001, 0x3a0fffffffffffff, 0x3a10000000000000, 0x3a10000000000001, 0x3a1fffffffffffff,
    0x3a20000000000000, 0x3a20000000000001, 0x3a2fffffffffffff, 0x3a30000000000000, 0x3a30000000000001, 0x3a3fffffffffffff, 0x3a40000000000000, 0x3a40000000000001,
    0x3a4fffffffffffff, 0x3a50000000000000, 0x3a50000000000001, 0x3a5fffffffffffff, 0x3a60000000000000, 0x3a60000000000001, 0x3a6fffffffffffff, 0x3a70000000000000,
    0x3a70000000000001, 0x3a7fffffffffffff, 0x3a80000000000000, 0x3a80000000000001, 0x3a8fffffffffffff, 0x3a90000000000000, 0x3a90000000000001, 0x3a9fffffffffffff,
    0x3aa0000000000000, 0x3aa0000000000001, 0x3aafffffffffffff, 0x3ab0000000000000, 0x3ab0000000000001, 0x3abfffffffffffff, 0x3ac0000000000000, 0x3ac0000000000001,
    0x3acfffffffffffff, 0x3ad0000000000000, 0x3ad0000000000001, 0x3adfffffffffffff, 0x3ae0000000000000, 0x3ae0000000000001, 0x3aefffffffffffff, 0x3af0000000000000,
    0x3af0000000000001, 0x3affffffffffffff, 0x3b00000000000000, 0x3b00000000000001, 0x3b0fffffffffffff, 0x3b10000000000000, 0x3b10000000000001, 0x3b1fffffffffffff,
    0x3b20000000000000, 0x3b20000000000001, 0x3b2fffffffffffff, 0x3b30000000000000, 0x3b30000000000001, 0x3b3fffffffffffff, 0x3b40000000000000, 0x3b40000000000001,
    0x3b4fffffffffffff, 0x3b50000000000000, 0x3b50000000000001, 0x3b5fffffffffffff, 0x3b60000000000000, 0x3b60000000000001, 0x3b6fffffffffffff, 0x3b70000000000000,
    0x3b70000000000001, 0x3b7fffffffffffff, 0x3b80000000000000, 0x3b80000000000001, 0x3b8fffffffffffff, 0x3b90000000000000, 0x3b90000000000001, 0x3b9fffffffffffff,
    0x3ba0000000000000, 0x3ba0000000000001, 0x3bafffffffffffff, 0x3bb0000000000000, 0x3bb0000000000001, 0x3bbfffffffffffff, 0x3bc0000000000000, 0x3bc0000000000001,
    0x3bcfffffffffffff, 0x3bd0000000000000, 0x3bd0000000000001, 0x3bdfffffffffffff, 0x3be0000000000000, 0x3be0000000000001, 0x3befffffffffffff, 0x3bf0000000000000,
    0x3bf0000000000001, 0x3bffffffffffffff, 0x3c00000000000000, 0x3c00000000000001, 0x3c0fffffffffffff, 0x3c10000000000000, 0x3c10000000000001, 0x3c1fffffffffffff,
    0x3c20000000000000, 0x3c20000000000001, 0x3c2fffffffffffff, 0x3c30000000000000, 0x3c30000000000001, 0x3c3fffffffffffff, 0x3c40000000000000, 0x3c40000000000001,
    0x3c4fffffffffffff, 0x3c50000000000000, 0x3c50000000000001, 0x3c5fffffffffffff, 0x3c60000000000000, 0x3c60000000000001, 0x3c6fffffffffffff, 0x3c70000000000000,
    0x3c70000000000001, 0x3c7fffffffffffff, 0x3c80000000000000, 0x3c80000000000001, 0x3c8fffffffffffff, 0x3c90000000000000, 0x3c90000000000001, 0x3c9fffffffffffff,
    0x3ca0000000000000, 0x3ca0000000000001, 0x3cafffffffffffff, 0x3cb0000000000000, 0x3cb0000000000001, 0x3cbfffffffffffff, 0x3cc0000000000000, 0x3cc0000000000001,
    0x3ccfffffffffffff, 0x3cd0000000000000, 0x3cd0000000000001, 0x3cdfffffffffffff, 0x3ce0000000000000, 0x3ce0000000000001, 0x3cefffffffffffff, 0x3cf0000000000000,
    0x3cf0000000000001, 0x3cffffffffffffff, 0x3d00000000000000, 0x3d00000000000001, 0x3d0fffffffffffff, 0x3d10000000000000, 0x3d10000000000001, 0x3d1fffffffffffff,
    0x3d20000000000000, 0x3d20000000000001, 0x3d2fffffffffffff, 0x3d30000000000000, 0x3d30000000000001, 0x3d3fffffffffffff, 0x3d40000000000000, 0x3d40000000000001,
    0x3d4fffffffffffff, 0x3d50000000000000, 0x3d50000000000001, 0x3d5fffffffffffff, 0x3d60000000000000, 0x3d60000000000001, 0x3d6fffffffffffff, 0x3d70000000000000,
    0x3d70000000000001, 0x3d7fffffffffffff, 0x3d80000000000000, 0x3d80000000000001, 0x3d8fffffffffffff, 0x3d90000000000000, 0x3d90000000000001, 0x3d9fffffffffffff,
    0x3da0000000000000, 0x3da0000000000001, 0x3dafffffffffffff, 0x3db0000000000000, 0x3db0000000000001, 0x3dbfffffffffffff, 0x3dc0000000000000, 0x3dc0000000000001,
    0x3dcfffffffffffff, 0x3dd0000000000000, 0x3dd0000000000001, 0x3ddfffffffffffff, 0x3de0000000000000, 0x3de0000000000001, 0x3defffffffffffff, 0x3df0000000000000,
    0x3df0000000000001, 0x3dffffffffffffff, 0x3e00000000000000, 0x3e00000000000001, 0x3e0fffffffffffff, 0x3e10000000000000, 0x3e10000000000001, 0x3e1fffffffffffff,
    0x3e20000000000000, 0x3e20000000000001, 0x3e2fffffffffffff, 0x3e30000000000000, 0x3e30000000000001, 0x3e3fffffffffffff, 0x3e40000000000000, 0x3e40000000000001,
    0x3e4fffffffffffff, 0x3e50000000000000, 0x3e50000000000001, 0x3e5fffffffffffff, 0x3e60000000000000, 0x3e60000000000001, 0x3e6fffffffffffff, 0x3e70000000000000,
    0x3e70000000000001, 0x3e7fffffffffffff, 0x3e80000000000000, 0x3e80000000000001, 0x3e8fffffffffffff, 0x3e90000000000000, 0x3e90000000000001, 0x3e9fffffffffffff,
    0x3ea0000000000000, 0x3ea0000000000001, 0x3eafffffffffffff, 0x3eb0000000000000, 0x3eb0000000000001, 0x3ebfffffffffffff, 0x3ec0000000000000, 0x3ec0000000000001,
    0x3ecfffffffffffff, 0x3ed0000000000000, 0x3ed0000000000001, 0x3edfffffffffffff, 0x3ee0000000000000, 0x3ee0000000000001, 0x3eefffffffffffff, 0x3ef0000000000000,
    0x3ef0000000000001, 0x3effffffffffffff, 0x3f00000000000000, 0x3f00000000000001, 0x3f0fffffffffffff, 0x3f10000000000000, 0x3f10000000000001, 0x3f1fffffffffffff,
    0x3f20000000000000, 0x3f20000000000001, 0x3f2fffffffffffff, 0x3f30000000000000, 0x3f30000000000001, 0x3f3fffffffffffff, 0x3f40000000000000, 0x3f40000000000001,
    0x3f4fffffffffffff, 0x3f50000000000000, 0x3f50000000000001, 0x3f5fffffffffffff, 0x3f60000000000000, 0x3f60000000000001, 0x3f6fffffffffffff, 0x3f70000000000000,
    0x3f70000000000001, 0x3f7fffffffffffff, 0x3f80000000000000, 0x3f80000000000001, 0x3f8fffffffffffff, 0x3f90000000000000, 0x3f90000000000001, 0x3f9fffffffffffff,
    0x3fa0000000000000, 0x3fa0000000000001, 0x3fafffffffffffff, 0x3fb0000000000000, 0x3fb0000000000001, 0x3fbfffffffffffff, 0x3fc0000000000000, 0x3fc0000000000001,
    0x3fcfffffffffffff, 0x3fd0000000000000, 0x3fd0000000000001, 0x3fdfffffffffffff, 0x3fe0000000000000, 0x3fe0000000000001, 0x3fefffffffffffff, 0x3ff0000000000000,
    0x3ff0000000000001, 0x3fffffffffffffff, 0x4000000000000000, 0x4000000000000001, 0x400fffffffffffff, 0x4010000000000000, 0x4010000000000001, 0x401fffffffffffff,
    0x4020000000000000, 0x4020000000000001, 0x402fffffffffffff, 0x4030000000000000, 0x4030000000000001, 0x403fffffffffffff, 0x4040000000000000, 0x4040000000000001,
    0x404fffffffffffff, 0x4050000000000000, 0x4050000000000001, 0x405fffffffffffff, 0x4060000000000000, 0x4060000000000001, 0x406fffffffffffff, 0x4070000000000000,
    0x4070000000000001, 0x407fffffffffffff, 0x4080000000000000, 0x4080000000000001, 0x408fffffffffffff, 0x4090000000000000, 0x4090000000000001, 0x409fffffffffffff,
    0x40a0000000000000, 0x40a0000000000001, 0x40afffffffffffff, 0x40b0000000000000, 0x40b0000000000001, 0x40bfffffffffffff, 0x40c0000000000000, 0x40c0000000000001,
    0x40cfffffffffffff, 0x40d0000000000000, 0x40d0000000000001, 0x40dfffffffffffff, 0x40e0000000000000, 0x40e0000000000001, 0x40efffffffffffff, 0x40f0000000000000,
    0x40f0000000000001, 0x40ffffffffffffff, 0x4100000000000000, 0x4100000000000001, 0x410fffffffffffff, 0x4110000000000000, 0x4110000000000001, 0x411fffffffffffff,
    0x4120000000000000, 0x4120000000000001, 0x412fffffffffffff, 0x4130000000000000, 0x4130000000000001, 0x413fffffffffffff, 0x4140000000000000, 0x4140000000000001,
    0x414fffffffffffff, 0x4150000000000000, 0x4150000000000001, 0x415fffffffffffff, 0x4160000000000000, 0x4160000000000001, 0x416fffffffffffff, 0x4170000000000000,
    0x4170000000000001, 0x417fffffffffffff, 0x4180000000000000, 0x4180000000000001, 0x418fffffffffffff, 0x4190000000000000, 0x4190000000000001, 0x419fffffffffffff,
    0x41a0000000000000, 0x41a0000000000001, 0x41afffffffffffff, 0x41b0000000000000, 0x41b0000000000001, 0x41bfffffffffffff, 0x41c0000000000000, 0x41c0000000000001,
    0x41cfffffffffffff, 0x41d0000000000000, 0x41d0000000000001, 0x41dfffffffffffff, 0x41e0000000000000, 0x41e0000000000001, 0x41efffffffffffff, 0x41f0000000000000,
    0x41f0000000000001, 0x41ffffffffffffff, 0x4200000000000000, 0x4200000000000001, 0x420fffffffffffff, 0x4210000000000000, 0x4210000000000001, 0x421fffffffffffff,
    0x4220000000000000, 0x4220000000000001, 0x422fffffffffffff, 0x4230000000000000, 0x4230000000000001, 0x423fffffffffffff, 0x4240000000000000, 0x4240000000000001,
    0x424fffffffffffff, 0x4250000000000000, 0x4250000000000001, 0x425fffffffffffff, 0x4260000000000000, 0x4260000000000001, 0x426fffffffffffff, 0x4270000000000000,
    0x4270000000000001, 0x427fffffffffffff, 0x4280000000000000, 0x4280000000000001, 0x428fffffffffffff, 0x4290000000000000, 0x4290000000000001, 0x429fffffffffffff,
    0x42a0000000000000, 0x42a0000000000001, 0x42afffffffffffff, 0x42b0000000000000, 0x42b0000000000001, 0x42bfffffffffffff, 0x42c0000000000000, 0x42c0000000000001,
    0x42cfffffffffffff, 0x42d0000000000000, 0x42d0000000000001, 0x42dfffffffffffff, 0x42e0000000000000, 0x42e0000000000001, 0x42efffffffffffff, 0x42f0000000000000,
    0x42f0000000000001, 0x42ffffffffffffff, 0x4300000000000000, 0x4300000000000001, 0x430fffffffffffff, 0x4310000000000000, 0x4310000000000001, 0x431fffffffffffff,
    0x4320000000000000, 0x4320000000000001, 0x432fffffffffffff, 0x4330000000000000, 0x4330000000000001, 0x433fffffffffffff, 0x4340000000000000, 0x4340000000000001,
    0x434fffffffffffff, 0x4350000000000000, 0x4350000000000001, 0x435fffffffffffff, 0x4360000000000000, 0x4360000000000001, 0x436fffffffffffff, 0x4370000000000000,
    0x4370000000000001, 0x437fffffffffffff, 0x4380000000000000, 0x4380000000000001, 0x438fffffffffffff, 0x4390000000000000, 0x4390000000000001, 0x439fffffffffffff,
    0x43a0000000000000, 0x43a0000000000001, 0x43afffffffffffff, 0x43b0000000000000, 0x43b0000000000001, 0x43bfffffffffffff, 0x43c0000000000000, 0x43c0000000000001,
    0x43cfffffffffffff, 0x43d0000000000000, 0x43d0000000000001, 0x43dfffffffffffff, 0x43e0000000000000, 0x43e0000000000001, 0x43efffffffffffff, 0x43f0000000000000,
    0x43f0000000000001, 0x43ffffffffffffff, 0x4400000000000000, 0x4400000000000001, 0x440fffffffffffff, 0x4410000000000000, 0x4410000000000001, 0x441fffffffffffff,
    0x4420000000000000, 0x4420000000000001, 0x442fffffffffffff, 0x4430000000000000, 0x4430000000000001, 0x443fffffffffffff, 0x4440000000000000, 0x4440000000000001,
    0x444fffffffffffff, 0x4450000000000000, 0x4450000000000001, 0x445fffffffffffff, 0x4460000000000000, 0x4460000000000001, 0x446fffffffffffff, 0x4470000000000000,
    0x4470000000000001, 0x447fffffffffffff, 0x4480000000000000, 0x4480000000000001, 0x448fffffffffffff, 0x4490000000000000, 0x4490000000000001, 0x449fffffffffffff,
    0x44a0000000000000, 0x44a0000000000001, 0x44afffffffffffff, 0x44b0000000000000, 0x44b0000000000001, 0x44bfffffffffffff, 0x44c0000000000000, 0x44c0000000000001,
    0x44cfffffffffffff, 0x44d0000000000000, 0x44d0000000000001, 0x44dfffffffffffff, 0x44e0000000000000, 0x44e0000000000001, 0x44efffffffffffff, 0x44f0000000000000,
    0x44f0000000000001, 0x44ffffffffffffff, 0x4500000000000000, 0x4500000000000001, 0x450fffffffffffff, 0x4510000000000000, 0x4510000000000001, 0x451fffffffffffff,
    0x4520000000000000, 0x4520000000000001, 0x452fffffffffffff, 0x4530000000000000, 0x4530000000000001, 0x453fffffffffffff, 0x4540000000000000, 0x4540000000000001,
    0x454fffffffffffff, 0x4550000000000000, 0x4550000000000001, 0x455fffffffffffff, 0x4560000000000000, 0x4560000000000001, 0x456fffffffffffff, 0x4570000000000000,
    0x4570000000000001, 0x457fffffffffffff, 0x4580000000000000, 0x4580000000000001, 0x458fffffffffffff, 0x4590000000000000, 0x4590000000000001, 0x459fffffffffffff,
    0x45a0000000000000, 0x45a0000000000001, 0x45afffffffffffff, 0x45b0000000000000, 0x45b0000000000001, 0x45bfffffffffffff, 0x45c0000000000000, 0x45c0000000000001,
    0x45cfffffffffffff, 0x45d0000000000000, 0x45d0000000000001, 0x45dfffffffffffff, 0x45e0000000000000, 0x45e0000000000001, 0x45efffffffffffff, 0x45f0000000000000,
    0x45f0000000000001, 0x45ffffffffffffff, 0x4600000000000000, 0x4600000000000001, 0x460fffffffffffff, 0x4610000000000000, 0x4610000000000001, 0x461fffffffffffff,
    0x4620000000000000, 0x4620000000000001, 0x462fffffffffffff, 0x4630000000000000, 0x4630000000000001, 0x463fffffffffffff, 0x4640000000000000, 0x4640000000000001,
    0x464fffffffffffff, 0x4650000000000000, 0x4650000000000001, 0x465fffffffffffff, 0x4660000000000000, 0x4660000000000001, 0x466fffffffffffff, 0x4670000000000000,
    0x4670000000000001, 0x467fffffffffffff, 0x4680000000000000, 0x4680000000000001, 0x468fffffffffffff, 0x4690000000000000, 0x4690000000000001, 0x469fffffffffffff,
    0x46a0000000000000, 0x46a0000000000001, 0x46afffffffffffff, 0x46b0000000000000, 0x46b0000000000001, 0x46bfffffffffffff, 0x46c0000000000000, 0x46c0000000000001,
    0x46cfffffffffffff, 0x46d0000000000000, 0x46d0000000000001, 0x46dfffffffffffff, 0x46e0000000000000, 0x46e0000000000001, 0x46efffffffffffff, 0x46f0000000000000,
    0x46f0000000000001, 0x46ffffffffffffff, 0x4700000000000000, 0x4700000000000001, 0x470fffffffffffff, 0x4710000000000000, 0x4710000000000001, 0x471fffffffffffff,
    0x4720000000000000, 0x4720000000000001, 0x472fffffffffffff, 0x4730000000000000, 0x4730000000000001, 0x473fffffffffffff, 0x4740000000000000, 0x4740000000000001,
    0x474fffffffffffff, 0x4750000000000000, 0x4750000000000001, 0x475fffffffffffff, 0x4760000000000000, 0x4760000000000001, 0x476fffffffffffff, 0x4770000000000000,
    0x4770000000000001, 0x477fffffffffffff, 0x4780000000000000, 0x4780000000000001, 0x478fffffffffffff, 0x4790000000000000, 0x4790000000000001, 0x479fffffffffffff,
    0x47a0000000000000, 0x47a0000000000001, 0x47afffffffffffff, 0x47b0000000000000, 0x47b0000000000001, 0x47bfffffffffffff, 0x47c0000000000000, 0x47c0000000000001,
    0x47cfffffffffffff, 0x47d0000000000000, 0x47d0000000000001, 0x47dfffffffffffff, 0x47e0000000000000, 0x47e0000000000001, 0x47efffffffffffff, 0x47f0000000000000,
    0x47f0000000000001, 0x47ffffffffffffff, 0x4800000000000000, 0x4800000000000001, 0x480fffffffffffff, 0x4810000000000000, 0x4810000000000001, 0x481fffffffffffff,
    0x4820000000000000, 0x4820000000000001, 0x482fffffffffffff, 0x4830000000000000, 0x4830000000000001, 0x483fffffffffffff, 0x4840000000000000, 0x4840000000000001,
    0x484fffffffffffff, 0x4850000000000000, 0x4850000000000001, 0x485fffffffffffff, 0x4860000000000000, 0x4860000000000001, 0x486fffffffffffff, 0x4870000000000000,
    0x4870000000000001, 0x487fffffffffffff, 0x4880000000000000, 0x4880000000000001, 0x488fffffffffffff, 0x4890000000000000, 0x4890000000000001, 0x489fffffffffffff,
    0x48a0000000000000, 0x48a0000000000001, 0x48afffffffffffff, 0x48b0000000000000, 0x48b0000000000001, 0x48bfffffffffffff, 0x48c0000000000000, 0x48c0000000000001,
    0x48cfffffffffffff, 0x48d0000000000000, 0x48d0000000000001, 0x48dfffffffffffff, 0x48e0000000000000, 0x48e0000000000001, 0x48efffffffffffff, 0x48f0000000000000,
    0x48f0000000000001, 0x48ffffffffffffff, 0x4900000000000000, 0x4900000000000001, 0x490fffffffffffff, 0x4910000000000000, 0x4910000000000001, 0x491fffffffffffff,
    0x4920000000000000, 0x4920000000000001, 0x492fffffffffffff, 0x4930000000000000, 0x4930000000000001, 0x493fffffffffffff, 0x4940000000000000, 0x4940000000000001,
    0x494fffffffffffff, 0x4950000000000000, 0x4950000000000001, 0x495fffffffffffff, 0x4960000000000000, 0x4960000000000001, 0x496fffffffffffff, 0x4970000000000000,
    0x4970000000000001, 0x497fffffffffffff, 0x4980000000000000, 0x4980000000000001, 0x498fffffffffffff, 0x4990000000000000, 0x4990000000000001, 0x499fffffffffffff,
    0x49a0000000000000, 0x49a0000000000001, 0x49afffffffffffff, 0x49b0000000000000, 0x49b0000000000001, 0x49bfffffffffffff, 0x49c0000000000000, 0x49c0000000000001,
    0x49cfffffffffffff, 0x49d0000000000000, 0x49d0000000000001, 0x49dfffffffffffff, 0x49e0000000000000, 0x49e0000000000001, 0x49efffffffffffff, 0x49f0000000000000,
    0x49f0000000000001, 0x49ffffffffffffff, 0x4a00000000000000, 0x4a00000000000001, 0x4a0fffffffffffff, 0x4a10000000000000, 0x4a10000000000001, 0x4a1fffffffffffff,
    0x4a20000000000000, 0x4a20000000000001, 0x4a2fffffffffffff, 0x4a30000000000000, 0x4a30000000000001, 0x4a3fffffffffffff, 0x4a40000000000000, 0x4a40000000000001,
    0x4a4fffffffffffff, 0x4a50000000000000, 0x4a50000000000001, 0x4a5fffffffffffff, 0x4a60000000000000, 0x4a60000000000001, 0x4a6fffffffffffff, 0x4a70000000000000,
    0x4a70000000000001, 0x4a7fffffffffffff, 0x4a80000000000000, 0x4a80000000000001, 0x4a8fffffffffffff, 0x4a90000000000000, 0x4a90000000000001, 0x4a9fffffffffffff,
    0x4aa0000000000000, 0x4aa0000000000001, 0x4aafffffffffffff, 0x4ab0000000000000, 0x4ab0000000000001, 0x4abfffffffffffff, 0x4ac0000000000000, 0x4ac0000000000001,
    0x4acfffffffffffff, 0x4ad0000000000000, 0x4ad0000000000001, 0x4adfffffffffffff, 0x4ae0000000000000, 0x4ae0000000000001, 0x4aefffffffffffff, 0x4af0000000000000,
    0x4af0000000000001, 0x4affffffffffffff, 0x4b00000000000000, 0x4b00000000000001, 0x4b0fffffffffffff, 0x4b10000000000000, 0x4b10000000000001, 0x4b1fffffffffffff,
    0x4b20000000000000, 0x4b20000000000001, 0x4b2fffffffffffff, 0x4b30000000000000, 0x4b30000000000001, 0x4b3fffffffffffff, 0x4b40000000000000, 0x4b40000000000001,
    0x4b4fffffffffffff, 0x4b50000000000000, 0x4b50000000000001, 0x4b5fffffffffffff, 0x4b60000000000000, 0x4b60000000000001, 0x4b6fffffffffffff, 0x4b70000000000000,
    0x4b70000000000001, 0x4b7fffffffffffff, 0x4b80000000000000, 0x4b80000000000001, 0x4b8fffffffffffff, 0x4b90000000000000, 0x4b90000000000001, 0x4b9fffffffffffff,
    0x4ba0000000000000, 0x4ba0000000000001, 0x4bafffffffffffff, 0x4bb0000000000000, 0x4bb0000000000001, 0x4bbfffffffffffff, 0x4bc0000000000000, 0x4bc0000000000001,
    0x4bcfffffffffffff, 0x4bd0000000000000, 0x4bd0000000000001, 0x4bdfffffffffffff, 0x4be0000000000000, 0x4be0000000000001, 0x4befffffffffffff, 0x4bf0000000000000,
    0x4bf0000000000001, 0x4bffffffffffffff, 0x4c00000000000000, 0x4c00000000000001, 0x4c0fffffffffffff, 0x4c10000000000000, 0x4c10000000000001, 0x4c1fffffffffffff,
    0x4c20000000000000, 0x4c20000000000001, 0x4c2fffffffffffff, 0x4c30000000000000, 0x4c30000000000001, 0x4c3fffffffffffff, 0x4c40000000000000, 0x4c40000000000001,
    0x4c4fffffffffffff, 0x4c50000000000000, 0x4c50000000000001, 0x4c5fffffffffffff, 0x4c60000000000000, 0x4c60000000000001, 0x4c6fffffffffffff, 0x4c70000000000000,
    0x4c70000000000001, 0x4c7fffffffffffff, 0x4c80000000000000, 0x4c80000000000001, 0x4c8fffffffffffff, 0x4c90000000000000, 0x4c90000000000001, 0x4c9fffffffffffff,
    0x4ca0000000000000, 0x4ca0000000000001, 0x4cafffffffffffff, 0x4cb0000000000000, 0x4cb0000000000001, 0x4cbfffffffffffff, 0x4cc0000000000000, 0x4cc0000000000001,
    0x4ccfffffffffffff, 0x4cd0000000000000, 0x4cd0000000000001, 0x4cdfffffffffffff, 0x4ce0000000000000, 0x4ce0000000000001, 0x4cefffffffffffff, 0x4cf0000000000000,
    0x4cf0000000000001, 0x4cffffffffffffff, 0x4d00000000000000, 0x4d00000000000001, 0x4d0fffffffffffff, 0x4d10000000000000, 0x4d10000000000001, 0x4d1fffffffffffff,
    0x4d20000000000000, 0x4d20000000000001, 0x4d2fffffffffffff, 0x4d30000000000000, 0x4d30000000000001, 0x4d3fffffffffffff, 0x4d40000000000000, 0x4d40000000000001,
    0x4d4fffffffffffff, 0x4d50000000000000, 0x4d50000000000001, 0x4d5fffffffffffff, 0x4d60000000000000, 0x4d60000000000001, 0x4d6fffffffffffff, 0x4d70000000000000,
    0x4d70000000000001, 0x4d7fffffffffffff, 0x4d80000000000000, 0x4d80000000000001, 0x4d8fffffffffffff, 0x4d90000000000000, 0x4d90000000000001, 0x4d9fffffffffffff,
    0x4da0000000000000, 0x4da0000000000001, 0x4dafffffffffffff, 0x4db0000000000000, 0x4db0000000000001, 0x4dbfffffffffffff, 0x4dc0000000000000, 0x4dc0000000000001,
    0x4dcfffffffffffff, 0x4dd0000000000000, 0x4dd0000000000001, 0x4ddfffffffffffff, 0x4de0000000000000, 0x4de0000000000001, 0x4defffffffffffff, 0x4df0000000000000,
    0x4df0000000000001, 0x4dffffffffffffff, 0x4e00000000000000, 0x4e00000000000001, 0x4e0fffffffffffff, 0x4e10000000000000, 0x4e10000000000001, 0x4e1fffffffffffff,
    0x4e20000000000000, 0x4e20000000000001, 0x4e2fffffffffffff, 0x4e30000000000000, 0x4e30000000000001, 0x4e3fffffffffffff, 0x4e40000000000000, 0x4e40000000000001,
    0x4e4fffffffffffff, 0x4e50000000000000, 0x4e50000000000001, 0x4e5fffffffffffff, 0x4e60000000000000, 0x4e60000000000001, 0x4e6fffffffffffff, 0x4e70000000000000,
    0x4e70000000000001, 0x4e7fffffffffffff, 0x4e80000000000000, 0x4e80000000000001, 0x4e8fffffffffffff, 0x4e90000000000000, 0x4e90000000000001, 0x4e9fffffffffffff,
    0x4ea0000000000000, 0x4ea0000000000001, 0x4eafffffffffffff, 0x4eb0000000000000, 0x4eb0000000000001, 0x4ebfffffffffffff, 0x4ec0000000000000, 0x4ec0000000000001,
    0x4ecfffffffffffff, 0x4ed0000000000000, 0x4ed0000000000001, 0x4edfffffffffffff, 0x4ee0000000000000, 0x4ee0000000000001, 0x4eefffffffffffff, 0x4ef0000000000000,
    0x4ef0000000000001, 0x4effffffffffffff, 0x4f00000000000000, 0x4f00000000000001, 0x4f0fffffffffffff, 0x4f10000000000000, 0x4f10000000000001, 0x4f1fffffffffffff,
    0x4f20000000000000, 0x4f20000000000001, 0x4f2fffffffffffff, 0x4f30000000000000, 0x4f30000000000001, 0x4f3fffffffffffff, 0x4f40000000000000, 0x4f40000000000001,
    0x4f4fffffffffffff, 0x4f50000000000000, 0x4f50000000000001, 0x4f5fffffffffffff, 0x4f60000000000000, 0x4f60000000000001, 0x4f6fffffffffffff, 0x4f70000000000000,
    0x4f70000000000001, 0x4f7fffffffffffff, 0x4f80000000000000, 0x4f80000000000001, 0x4f8fffffffffffff, 0x4f90000000000000, 0x4f90000000000001, 0x4f9fffffffffffff,
    0x4fa0000000000000, 0x4fa0000000000001, 0x4fafffffffffffff, 0x4fb0000000000000, 0x4fb0000000000001, 0x4fbfffffffffffff, 0x4fc0000000000000, 0x4fc0000000000001,
    0x4fcfffffffffffff, 0x4fd0000000000000, 0x4fd0000000000001, 0x4fdfffffffffffff, 0x4fe0000000000000, 0x4fe0000000000001, 0x4fefffffffffffff, 0x4ff0000000000000,
    0x4ff0000000000001, 0x4fffffffffffffff, 0x5000000000000000, 0x5000000000000001, 0x500fffffffffffff, 0x5010000000000000, 0x5010000000000001, 0x501fffffffffffff,
    0x5020000000000000, 0x5020000000000001, 0x502fffffffffffff, 0x5030000000000000, 0x5030000000000001, 0x503fffffffffffff, 0x5040000000000000, 0x5040000000000001,
    0x504fffffffffffff, 0x5050000000000000, 0x5050000000000001, 0x505fffffffffffff, 0x5060000000000000, 0x5060000000000001, 0x506fffffffffffff, 0x5070000000000000,
    0x5070000000000001, 0x507fffffffffffff, 0x5080000000000000, 0x5080000000000001, 0x508fffffffffffff, 0x5090000000000000, 0x5090000000000001, 0x509fffffffffffff,
    0x50a0000000000000, 0x50a0000000000001, 0x50afffffffffffff, 0x50b0000000000000, 0x50b0000000000001, 0x50bfffffffffffff, 0x50c0000000000000, 0x50c0000000000001,
    0x50cfffffffffffff, 0x50d0000000000000, 0x50d0000000000001, 0x50dfffffffffffff, 0x50e0000000000000, 0x50e0000000000001, 0x50efffffffffffff, 0x50f0000000000000,
    0x50f0000000000001, 0x50ffffffffffffff, 0x5100000000000000, 0x5100000000000001, 0x510fffffffffffff, 0x5110000000000000, 0x5110000000000001, 0x511fffffffffffff,
    0x5120000000000000, 0x5120000000000001, 0x512fffffffffffff, 0x5130000000000000, 0x5130000000000001, 0x513fffffffffffff, 0x5140000000000000, 0x5140000000000001,
    0x514fffffffffffff, 0x5150000000000000, 0x5150000000000001, 0x515fffffffffffff, 0x5160000000000000, 0x5160000000000001, 0x516fffffffffffff, 0x5170000000000000,
    0x5170000000000001, 0x517fffffffffffff, 0x5180000000000000, 0x5180000000000001, 0x518fffffffffffff, 0x5190000000000000, 0x5190000000000001, 0x519fffffffffffff,
    0x51a0000000000000, 0x51a0000000000001, 0x51afffffffffffff, 0x51b0000000000000, 0x51b0000000000001, 0x51bfffffffffffff, 0x51c0000000000000, 0x51c0000000000001,
    0x51cfffffffffffff, 0x51d0000000000000, 0x51d0000000000001, 0x51dfffffffffffff, 0x51e0000000000000, 0x51e0000000000001, 0x51efffffffffffff, 0x51f0000000000000,
    0x51f0000000000001, 0x51ffffffffffffff, 0x5200000000000000, 0x5200000000000001, 0x520fffffffffffff, 0x5210000000000000, 0x5210000000000001, 0x521fffffffffffff,
    0x5220000000000000, 0x5220000000000001, 0x522fffffffffffff, 0x5230000000000000, 0x5230000000000001, 0x523fffffffffffff, 0x5240000000000000, 0x5240000000000001,
    0x524fffffffffffff, 0x5250000000000000, 0x5250000000000001, 0x525fffffffffffff, 0x5260000000000000, 0x5260000000000001, 0x526fffffffffffff, 0x5270000000000000,
    0x5270000000000001, 0x527fffffffffffff, 0x5280000000000000, 0x5280000000000001, 0x528fffffffffffff, 0x5290000000000000, 0x5290000000000001, 0x529fffffffffffff,
    0x52a0000000000000, 0x52a0000000000001, 0x52afffffffffffff, 0x52b0000000000000, 0x52b0000000000001, 0x52bfffffffffffff, 0x52c0000000000000, 0x52c0000000000001,
    0x52cfffffffffffff, 0x52d0000000000000, 0x52d0000000000001, 0x52dfffffffffffff, 0x52e0000000000000, 0x52e0000000000001, 0x52efffffffffffff, 0x52f0000000000000,
    0x52f0000000000001, 0x52ffffffffffffff, 0x5300000000000000, 0x5300000000000001, 0x530fffffffffffff, 0x5310000000000000, 0x5310000000000001, 0x531fffffffffffff,
    0x5320000000000000, 0x5320000000000001, 0x532fffffffffffff, 0x5330000000000000, 0x5330000000000001, 0x533fffffffffffff, 0x5340000000000000, 0x5340000000000001,
    0x534fffffffffffff, 0x5350000000000000, 0x5350000000000001, 0x535fffffffffffff, 0x5360000000000000, 0x5360000000000001, 0x536fffffffffffff, 0x5370000000000000,
    0x5370000000000001, 0x537fffffffffffff, 0x5380000000000000, 0x5380000000000001, 0x538fffffffffffff, 0x5390000000000000, 0x5390000000000001, 0x539fffffffffffff,
    0x53a0000000000000, 0x53a0000000000001, 0x53afffffffffffff, 0x53b0000000000000, 0x53b0000000000001, 0x53bfffffffffffff, 0x53c0000000000000, 0x53c0000000000001,
    0x53cfffffffffffff, 0x53d0000000000000, 0x53d0000000000001, 0x53dfffffffffffff, 0x53e0000000000000, 0x53e0000000000001, 0x53efffffffffffff, 0x53f0000000000000,
    0x53f0000000000001, 0x53ffffffffffffff, 0x5400000000000000, 0x5400000000000001, 0x540fffffffffffff, 0x5410000000000000, 0x5410000000000001, 0x541fffffffffffff,
    0x5420000000000000, 0x5420000000000001, 0x542fffffffffffff, 0x5430000000000000, 0x5430000000000001, 0x543fffffffffffff, 0x5440000000000000, 0x5440000000000001,
    0x544fffffffffffff, 0x5450000000000000, 0x5450000000000001, 0x545fffffffffffff, 0x5460000000000000, 0x5460000000000001, 0x546fffffffffffff, 0x5470000000000000,
    0x5470000000000001, 0x547fffffffffffff, 0x5480000000000000, 0x5480000000000001, 0x548fffffffffffff, 0x5490000000000000, 0x5490000000000001, 0x549fffffffffffff,
    0x54a0000000000000, 0x54a0000000000001, 0x54afffffffffffff, 0x54b0000000000000, 0x54b0000000000001, 0x54bfffffffffffff, 0x54c0000000000000, 0x54c0000000000001,
    0x54cfffffffffffff, 0x54d0000000000000, 0x54d0000000000001, 0x54dfffffffffffff, 0x54e0000000000000, 0x54e0000000000001, 0x54efffffffffffff, 0x54f0000000000000,
    0x54f0000000000001, 0x54ffffffffffffff, 0x5500000000000000, 0x5500000000000001, 0x550fffffffffffff, 0x5510000000000000, 0x5510000000000001, 0x551fffffffffffff,
    0x5520000000000000, 0x5520000000000001, 0x552fffffffffffff, 0x5530000000000000, 0x5530000000000001, 0x553fffffffffffff, 0x5540000000000000, 0x5540000000000001,
    0x554fffffffffffff, 0x5550000000000000, 0x5550000000000001, 0x555fffffffffffff, 0x5560000000000000, 0x5560000000000001, 0x556fffffffffffff, 0x5570000000000000,
    0x5570000000000001, 0x557fffffffffffff, 0x5580000000000000, 0x5580000000000001, 0x558fffffffffffff, 0x5590000000000000, 0x5590000000000001, 0x559fffffffffffff,
    0x55a0000000000000, 0x55a0000000000001, 0x55afffffffffffff, 0x55b0000000000000, 0x55b0000000000001, 0x55bfffffffffffff, 0x55c0000000000000, 0x55c0000000000001,
    0x55cfffffffffffff, 0x55d0000000000000, 0x55d0000000000001, 0x55dfffffffffffff, 0x55e0000000000000, 0x55e0000000000001, 0x55efffffffffffff, 0x55f0000000000000,
    0x55f0000000000001, 0x55ffffffffffffff, 0x5600000000000000, 0x5600000000000001, 0x560fffffffffffff, 0x5610000000000000, 0x5610000000000001, 0x561fffffffffffff,
    0x5620000000000000, 0x5620000000000001, 0x562fffffffffffff, 0x5630000000000000, 0x5630000000000001, 0x563fffffffffffff, 0x5640000000000000, 0x5640000000000001,
    0x564fffffffffffff, 0x5650000000000000, 0x5650000000000001, 0x565fffffffffffff, 0x5660000000000000, 0x5660000000000001, 0x566fffffffffffff, 0x5670000000000000,
    0x5670000000000001, 0x567fffffffffffff, 0x5680000000000000, 0x5680000000000001, 0x568fffffffffffff, 0x5690000000000000, 0x5690000000000001, 0x569fffffffffffff,
    0x56a0000000000000, 0x56a0000000000001, 0x56afffffffffffff, 0x56b0000000000000, 0x56b0000000000001, 0x56bfffffffffffff, 0x56c0000000000000, 0x56c0000000000001,
    0x56cfffffffffffff, 0x56d0000000000000, 0x56d0000000000001, 0x56dfffffffffffff, 0x56e0000000000000, 0x56e0000000000001, 0x56efffffffffffff, 0x56f0000000000000,
    0x56f0000000000001, 0x56ffffffffffffff, 0x5700000000000000, 0x5700000000000001, 0x570fffffffffffff, 0x5710000000000000, 0x5710000000000001, 0x571fffffffffffff,
    0x5720000000000000, 0x5720000000000001, 0x572fffffffffffff, 0x5730000000000000, 0x5730000000000001, 0x573fffffffffffff, 0x5740000000000000, 0x5740000000000001,
    0x574fffffffffffff, 0x5750000000000000, 0x5750000000000001, 0x575fffffffffffff, 0x5760000000000000, 0x5760000000000001, 0x576fffffffffffff, 0x5770000000000000,
    0x5770000000000001, 0x577fffffffffffff, 0x5780000000000000, 0x5780000000000001, 0x578fffffffffffff, 0x5790000000000000, 0x5790000000000001, 0x579fffffffffffff,
    0x57a0000000000000, 0x57a0000000000001, 0x57afffffffffffff, 0x57b0000000000000, 0x57b0000000000001, 0x57bfffffffffffff, 0x57c0000000000000, 0x57c0000000000001,
    0x57cfffffffffffff, 0x57d0000000000000, 0x57d0000000000001, 0x57dfffffffffffff, 0x57e0000000000000, 0x57e0000000000001, 0x57efffffffffffff, 0x57f0000000000000,
    0x57f0000000000001, 0x57ffffffffffffff, 0x5800000000000000, 0x5800000000000001, 0x580fffffffffffff, 0x5810000000000000, 0x5810000000000001, 0x581fffffffffffff,
    0x5820000000000000, 0x5820000000000001, 0x582fffffffffffff, 0x5830000000000000, 0x5830000000000001, 0x583fffffffffffff, 0x5840000000000000, 0x5840000000000001,
    0x584fffffffffffff, 0x5850000000000000, 0x5850000000000001, 0x585fffffffffffff, 0x5860000000000000, 0x5860000000000001, 0x586fffffffffffff, 0x5870000000000000,
    0x5870000000000001, 0x587fffffffffffff, 0x5880000000000000, 0x5880000000000001, 0x588fffffffffffff, 0x5890000000000000, 0x5890000000000001, 0x589fffffffffffff,
    0x58a0000000000000, 0x58a0000000000001, 0x58afffffffffffff, 0x58b0000000000000, 0x58b0000000000001, 0x58bfffffffffffff, 0x58c0000000000000, 0x58c0000000000001,
    0x58cfffffffffffff, 0x58d0000000000000, 0x58d0000000000001, 0x58dfffffffffffff, 0x58e0000000000000, 0x58e0000000000001, 0x58efffffffffffff, 0x58f0000000000000,
    0x58f0000000000001, 0x58ffffffffffffff, 0x5900000000000000, 0x5900000000000001, 0x590fffffffffffff, 0x5910000000000000, 0x5910000000000001, 0x591fffffffffffff,
    0x5920000000000000, 0x5920000000000001, 0x592fffffffffffff, 0x5930000000000000, 0x5930000000000001, 0x593fffffffffffff, 0x5940000000000000, 0x5940000000000001,
    0x594fffffffffffff, 0x5950000000000000, 0x5950000000000001, 0x595fffffffffffff, 0x5960000000000000, 0x5960000000000001, 0x596fffffffffffff, 0x5970000000000000,
    0x5970000000000001, 0x597fffffffffffff, 0x5980000000000000, 0x5980000000000001, 0x598fffffffffffff, 0x5990000000000000, 0x5990000000000001, 0x599fffffffffffff,
    0x59a0000000000000, 0x59a0000000000001, 0x59afffffffffffff, 0x59b0000000000000, 0x59b0000000000001, 0x59bfffffffffffff, 0x59c0000000000000, 0x59c0000000000001,
    0x59cfffffffffffff, 0x59d0000000000000, 0x59d0000000000001, 0x59dfffffffffffff, 0x59e0000000000000, 0x59e0000000000001, 0x59efffffffffffff, 0x59f0000000000000,
    0x59f0000000000001, 0x59ffffffffffffff, 0x5a00000000000000, 0x5a00000000000001, 0x5a0fffffffffffff, 0x5a10000000000000, 0x5a10000000000001, 0x5a1fffffffffffff,
    0x5a20000000000000, 0x5a20000000000001, 0x5a2fffffffffffff, 0x5a30000000000000, 0x5a30000000000001, 0x5a3fffffffffffff, 0x5a40000000000000, 0x5a40000000000001,
    0x5a4fffffffffffff, 0x5a50000000000000, 0x5a50000000000001, 0x5a5fffffffffffff, 0x5a60000000000000, 0x5a60000000000001, 0x5a6fffffffffffff, 0x5a70000000000000,
    0x5a70000000000001, 0x5a7fffffffffffff, 0x5a80000000000000, 0x5a80000000000001, 0x5a8fffffffffffff, 0x5a90000000000000, 0x5a90000000000001, 0x5a9fffffffffffff,
    0x5aa0000000000000, 0x5aa0000000000001, 0x5aafffffffffffff, 0x5ab0000000000000, 0x5ab0000000000001, 0x5abfffffffffffff, 0x5ac0000000000000, 0x5ac0000000000001,
    0x5acfffffffffffff, 0x5ad0000000000000, 0x5ad0000000000001, 0x5adfffffffffffff, 0x5ae0000000000000, 0x5ae0000000000001, 0x5aefffffffffffff, 0x5af0000000000000,
    0x5af0000000000001, 0x5affffffffffffff, 0x5b00000000000000, 0x5b00000000000001, 0x5b0fffffffffffff, 0x5b10000000000000, 0x5b10000000000001, 0x5b1fffffffffffff,
    0x5b20000000000000, 0x5b20000000000001, 0x5b2fffffffffffff, 0x5b30000000000000, 0x5b30000000000001, 0x5b3fffffffffffff, 0x5b40000000000000, 0x5b40000000000001,
    0x5b4fffffffffffff, 0x5b50000000000000, 0x5b50000000000001, 0x5b5fffffffffffff, 0x5b60000000000000, 0x5b60000000000001, 0x5b6fffffffffffff, 0x5b70000000000000,
    0x5b70000000000001, 0x5b7fffffffffffff, 0x5b80000000000000, 0x5b80000000000001, 0x5b8fffffffffffff, 0x5b90000000000000, 0x5b90000000000001, 0x5b9fffffffffffff,
    0x5ba0000000000000, 0x5ba0000000000001, 0x5bafffffffffffff, 0x5bb0000000000000, 0x5bb0000000000001, 0x5bbfffffffffffff, 0x5bc0000000000000, 0x5bc0000000000001,
    0x5bcfffffffffffff, 0x5bd0000000000000, 0x5bd0000000000001, 0x5bdfffffffffffff, 0x5be0000000000000, 0x5be0000000000001, 0x5befffffffffffff, 0x5bf0000000000000,
    0x5bf0000000000001, 0x5bffffffffffffff, 0x5c00000000000000, 0x5c00000000000001, 0x5c0fffffffffffff, 0x5c10000000000000, 0x5c10000000000001, 0x5c1fffffffffffff,
    0x5c20000000000000, 0x5c20000000000001, 0x5c2fffffffffffff, 0x5c30000000000000, 0x5c30000000000001, 0x5c3fffffffffffff, 0x5c40000000000000, 0x5c40000000000001,
    0x5c4fffffffffffff, 0x5c50000000000000, 0x5c50000000000001, 0x5c5fffffffffffff, 0x5c60000000000000, 0x5c60000000000001, 0x5c6fffffffffffff, 0x5c70000000000000,
    0x5c70000000000001, 0x5c7fffffffffffff, 0x5c80000000000000, 0x5c80000000000001, 0x5c8fffffffffffff, 0x5c90000000000000, 0x5c90000000000001, 0x5c9fffffffffffff,
    0x5ca0000000000000, 0x5ca0000000000001, 0x5cafffffffffffff, 0x5cb0000000000000, 0x5cb0000000000001, 0x5cbfffffffffffff, 0x5cc0000000000000, 0x5cc0000000000001,
    0x5ccfffffffffffff, 0x5cd0000000000000, 0x5cd0000000000001, 0x5cdfffffffffffff, 0x5ce0000000000000, 0x5ce0000000000001, 0x5cefffffffffffff, 0x5cf0000000000000,
    0x5cf0000000000001, 0x5cffffffffffffff, 0x5d00000000000000, 0x5d00000000000001, 0x5d0fffffffffffff, 0x5d10000000000000, 0x5d10000000000001, 0x5d1fffffffffffff,
    0x5d20000000000000, 0x5d20000000000001, 0x5d2fffffffffffff, 0x5d30000000000000, 0x5d30000000000001, 0x5d3fffffffffffff, 0x5d40000000000000, 0x5d40000000000001,
    0x5d4fffffffffffff, 0x5d50000000000000, 0x5d50000000000001, 0x5d5fffffffffffff, 0x5d60000000000000, 0x5d60000000000001, 0x5d6fffffffffffff, 0x5d70000000000000,
    0x5d70000000000001, 0x5d7fffffffffffff, 0x5d80000000000000, 0x5d80000000000001, 0x5d8fffffffffffff, 0x5d90000000000000, 0x5d90000000000001, 0x5d9fffffffffffff,
    0x5da0000000000000, 0x5da0000000000001, 0x5dafffffffffffff, 0x5db0000000000000, 0x5db0000000000001, 0x5dbfffffffffffff, 0x5dc0000000000000, 0x5dc0000000000001,
    0x5dcfffffffffffff, 0x5dd0000000000000, 0x5dd0000000000001, 0x5ddfffffffffffff, 0x5de0000000000000, 0x5de0000000000001, 0x5defffffffffffff, 0x5df0000000000000,
    0x5df0000000000001, 0x5dffffffffffffff, 0x5e00000000000000, 0x5e00000000000001, 0x5e0fffffffffffff, 0x5e10000000000000, 0x5e10000000000001, 0x5e1fffffffffffff,
    0x5e20000000000000, 0x5e20000000000001, 0x5e2fffffffffffff, 0x5e30000000000000, 0x5e30000000000001, 0x5e3fffffffffffff, 0x5e40000000000000, 0x5e40000000000001,
    0x5e4fffffffffffff, 0x5e50000000000000, 0x5e50000000000001, 0x5e5fffffffffffff, 0x5e60000000000000, 0x5e60000000000001, 0x5e6fffffffffffff, 0x5e70000000000000,
    0x5e70000000000001, 0x5e7fffffffffffff, 0x5e80000000000000, 0x5e80000000000001, 0x5e8fffffffffffff, 0x5e90000000000000, 0x5e90000000000001, 0x5e9fffffffffffff,
    0x5ea0000000000000, 0x5ea0000000000001, 0x5eafffffffffffff, 0x5eb0000000000000, 0x5eb0000000000001, 0x5ebfffffffffffff, 0x5ec0000000000000, 0x5ec0000000000001,
    0x5ecfffffffffffff, 0x5ed0000000000000, 0x5ed0000000000001, 0x5edfffffffffffff, 0x5ee0000000000000, 0x5ee0000000000001, 0x5eefffffffffffff, 0x5ef0000000000000,
    0x5ef0000000000001, 0x5effffffffffffff, 0x5f00000000000000, 0x5f00000000000001, 0x5f0fffffffffffff, 0x5f10000000000000, 0x5f10000000000001, 0x5f1fffffffffffff,
    0x5f20000000000000, 0x5f20000000000001, 0x5f2fffffffffffff, 0x5f30000000000000, 0x5f30000000000001, 0x5f3fffffffffffff, 0x5f40000000000000, 0x5f40000000000001,
    0x5f4fffffffffffff, 0x5f50000000000000, 0x5f50000000000001, 0x5f5fffffffffffff, 0x5f60000000000000, 0x5f60000000000001, 0x5f6fffffffffffff, 0x5f70000000000000,
    0x5f70000000000001, 0x5f7fffffffffffff, 0x5f80000000000000, 0x5f80000000000001, 0x5f8fffffffffffff, 0x5f90000000000000, 0x5f90000000000001, 0x5f9fffffffffffff,
    0x5fa0000000000000, 0x5fa0000000000001, 0x5fafffffffffffff, 0x5fb0000000000000, 0x5fb0000000000001, 0x5fbfffffffffffff, 0x5fc0000000000000, 0x5fc0000000000001,
    0x5fcfffffffffffff, 0x5fd0000000000000, 0x5fd0000000000001, 0x5fdfffffffffffff, 0x5fe0000000000000, 0x5fe0000000000001, 0x5fefffffffffffff, 0x5ff0000000000000,
    0x5ff0000000000001, 0x5fffffffffffffff, 0x6000000000000000, 0x6000000000000001, 0x600fffffffffffff, 0x6010000000000000, 0x6010000000000001, 0x601fffffffffffff,
    0x6020000000000000, 0x6020000000000001, 0x602fffffffffffff, 0x6030000000000000, 0x6030000000000001, 0x603fffffffffffff, 0x6040000000000000, 0x6040000000000001,
    0x604fffffffffffff, 0x6050000000000000, 0x6050000000000001, 0x605fffffffffffff, 0x6060000000000000, 0x6060000000000001, 0x606fffffffffffff, 0x6070000000000000,
    0x6070000000000001, 0x607fffffffffffff, 0x6080000000000000, 0x6080000000000001, 0x608fffffffffffff, 0x6090000000000000, 0x6090000000000001, 0x609fffffffffffff,
    0x60a0000000000000, 0x60a0000000000001, 0x60afffffffffffff, 0x60b0000000000000, 0x60b0000000000001, 0x60bfffffffffffff, 0x60c0000000000000, 0x60c0000000000001,
    0x60cfffffffffffff, 0x60d0000000000000, 0x60d0000000000001, 0x60dfffffffffffff, 0x60e0000000000000, 0x60e0000000000001, 0x60efffffffffffff, 0x60f0000000000000,
    0x60f0000000000001, 0x60ffffffffffffff, 0x6100000000000000, 0x6100000000000001, 0x610fffffffffffff, 0x6110000000000000, 0x6110000000000001, 0x611fffffffffffff,
    0x6120000000000000, 0x6120000000000001, 0x612fffffffffffff, 0x6130000000000000, 0x6130000000000001, 0x613fffffffffffff, 0x6140000000000000, 0x6140000000000001,
    0x614fffffffffffff, 0x6150000000000000, 0x6150000000000001, 0x615fffffffffffff, 0x6160000000000000, 0x6160000000000001, 0x616fffffffffffff, 0x6170000000000000,
    0x6170000000000001, 0x617fffffffffffff, 0x6180000000000000, 0x6180000000000001, 0x618fffffffffffff, 0x6190000000000000, 0x6190000000000001, 0x619fffffffffffff,
    0x61a0000000000000, 0x61a0000000000001, 0x61afffffffffffff, 0x61b0000000000000, 0x61b0000000000001, 0x61bfffffffffffff, 0x61c0000000000000, 0x61c0000000000001,
    0x61cfffffffffffff, 0x61d0000000000000, 0x61d0000000000001, 0x61dfffffffffffff, 0x61e0000000000000, 0x61e0000000000001, 0x61efffffffffffff, 0x61f0000000000000,
    0x61f0000000000001, 0x61ffffffffffffff, 0x6200000000000000, 0x6200000000000001, 0x620fffffffffffff, 0x6210000000000000, 0x6210000000000001, 0x621fffffffffffff,
    0x6220000000000000, 0x6220000000000001, 0x622fffffffffffff, 0x6230000000000000, 0x6230000000000001, 0x623fffffffffffff, 0x6240000000000000, 0x6240000000000001,
    0x624fffffffffffff, 0x6250000000000000, 0x6250000000000001, 0x625fffffffffffff, 0x6260000000000000, 0x6260000000000001, 0x626fffffffffffff, 0x6270000000000000,
    0x6270000000000001, 0x627fffffffffffff, 0x6280000000000000, 0x6280000000000001, 0x628fffffffffffff, 0x6290000000000000, 0x6290000000000001, 0x629fffffffffffff,
    0x62a0000000000000, 0x62a0000000000001, 0x62afffffffffffff, 0x62b0000000000000, 0x62b0000000000001, 0x62bfffffffffffff, 0x62c0000000000000, 0x62c0000000000001,
    0x62cfffffffffffff, 0x62d0000000000000, 0x62d0000000000001, 0x62dfffffffffffff, 0x62e0000000000000, 0x62e0000000000001, 0x62efffffffffffff, 0x62f0000000000000,
    0x62f0000000000001, 0x62ffffffffffffff, 0x6300000000000000, 0x6300000000000001, 0x630fffffffffffff, 0x6310000000000000, 0x6310000000000001, 0x631fffffffffffff,
    0x6320000000000000, 0x6320000000000001, 0x632fffffffffffff, 0x6330000000000000, 0x6330000000000001, 0x633fffffffffffff, 0x6340000000000000, 0x6340000000000001,
    0x634fffffffffffff, 0x6350000000000000, 0x6350000000000001, 0x635fffffffffffff, 0x6360000000000000, 0x6360000000000001, 0x636fffffffffffff, 0x6370000000000000,
    0x6370000000000001, 0x637fffffffffffff, 0x6380000000000000, 0x6380000000000001, 0x638fffffffffffff, 0x6390000000000000, 0x6390000000000001, 0x639fffffffffffff,
    0x63a0000000000000, 0x63a0000000000001, 0x63afffffffffffff, 0x63b0000000000000, 0x63b0000000000001, 0x63bfffffffffffff, 0x63c0000000000000, 0x63c0000000000001,
    0x63cfffffffffffff, 0x63d0000000000000, 0x63d0000000000001, 0x63dfffffffffffff, 0x63e0000000000000, 0x63e0000000000001, 0x63efffffffffffff, 0x63f0000000000000,
    0x63f0000000000001, 0x63ffffffffffffff, 0x6400000000000000, 0x6400000000000001, 0x640fffffffffffff, 0x6410000000000000, 0x6410000000000001, 0x641fffffffffffff,
    0x6420000000000000, 0x6420000000000001, 0x642fffffffffffff, 0x6430000000000000, 0x6430000000000001, 0x643fffffffffffff, 0x6440000000000000, 0x6440000000000001,
    0x644fffffffffffff, 0x6450000000000000, 0x6450000000000001, 0x645fffffffffffff, 0x6460000000000000, 0x6460000000000001, 0x646fffffffffffff, 0x6470000000000000,
    0x6470000000000001, 0x647fffffffffffff, 0x6480000000000000, 0x6480000000000001, 0x648fffffffffffff, 0x6490000000000000, 0x6490000000000001, 0x649fffffffffffff,
    0x64a0000000000000, 0x64a0000000000001, 0x64afffffffffffff, 0x64b0000000000000, 0x64b0000000000001, 0x64bfffffffffffff, 0x64c0000000000000, 0x64c0000000000001,
    0x64cfffffffffffff, 0x64d0000000000000, 0x64d0000000000001, 0x64dfffffffffffff, 0x64e0000000000000, 0x64e0000000000001, 0x64efffffffffffff, 0x64f0000000000000,
    0x64f0000000000001, 0x64ffffffffffffff, 0x6500000000000000, 0x6500000000000001, 0x650fffffffffffff, 0x6510000000000000, 0x6510000000000001, 0x651fffffffffffff,
    0x6520000000000000, 0x6520000000000001, 0x652fffffffffffff, 0x6530000000000000, 0x6530000000000001, 0x653fffffffffffff, 0x6540000000000000, 0x6540000000000001,
    0x654fffffffffffff, 0x6550000000000000, 0x6550000000000001, 0x655fffffffffffff, 0x6560000000000000, 0x6560000000000001, 0x656fffffffffffff, 0x6570000000000000,
    0x6570000000000001, 0x657fffffffffffff, 0x6580000000000000, 0x6580000000000001, 0x658fffffffffffff, 0x6590000000000000, 0x6590000000000001, 0x659fffffffffffff,
    0x65a0000000000000, 0x65a0000000000001, 0x65afffffffffffff, 0x65b0000000000000, 0x65b0000000000001, 0x65bfffffffffffff, 0x65c0000000000000, 0x65c0000000000001,
    0x65cfffffffffffff, 0x65d0000000000000, 0x65d0000000000001, 0x65dfffffffffffff, 0x65e0000000000000, 0x65e0000000000001, 0x65efffffffffffff, 0x65f0000000000000,
    0x65f0000000000001, 0x65ffffffffffffff, 0x6600000000000000, 0x6600000000000001, 0x660fffffffffffff, 0x6610000000000000, 0x6610000000000001, 0x661fffffffffffff,
    0x6620000000000000, 0x6620000000000001, 0x662fffffffffffff, 0x6630000000000000, 0x6630000000000001, 0x663fffffffffffff, 0x6640000000000000, 0x6640000000000001,
    0x664fffffffffffff, 0x6650000000000000, 0x6650000000000001, 0x665fffffffffffff, 0x6660000000000000, 0x6660000000000001, 0x666fffffffffffff, 0x6670000000000000,
    0x6670000000000001, 0x667fffffffffffff, 0x6680000000000000, 0x6680000000000001, 0x668fffffffffffff, 0x6690000000000000, 0x6690000000000001, 0x669fffffffffffff,
    0x66a0000000000000, 0x66a0000000000001, 0x66afffffffffffff, 0x66b0000000000000, 0x66b0000000000001, 0x66bfffffffffffff, 0x66c0000000000000, 0x66c0000000000001,
    0x66cfffffffffffff, 0x66d0000000000000, 0x66d0000000000001, 0x66dfffffffffffff, 0x66e0000000000000, 0x66e0000000000001, 0x66efffffffffffff, 0x66f0000000000000,
    0x66f0000000000001, 0x66ffffffffffffff, 0x6700000000000000, 0x6700000000000001, 0x670fffffffffffff, 0x6710000000000000, 0x6710000000000001, 0x671fffffffffffff,
    0x6720000000000000, 0x6720000000000001, 0x672fffffffffffff, 0x6730000000000000, 0x6730000000000001, 0x673fffffffffffff, 0x6740000000000000, 0x6740000000000001,
    0x674fffffffffffff, 0x6750000000000000, 0x6750000000000001, 0x675fffffffffffff, 0x6760000000000000, 0x6760000000000001, 0x676fffffffffffff, 0x6770000000000000,
    0x6770000000000001, 0x677fffffffffffff, 0x6780000000000000, 0x6780000000000001, 0x678fffffffffffff, 0x6790000000000000, 0x6790000000000001, 0x679fffffffffffff,
    0x67a0000000000000, 0x67a0000000000001, 0x67afffffffffffff, 0x67b0000000000000, 0x67b0000000000001, 0x67bfffffffffffff, 0x67c0000000000000, 0x67c0000000000001,
    0x67cfffffffffffff, 0x67d0000000000000, 0x67d0000000000001, 0x67dfffffffffffff, 0x67e0000000000000, 0x67e0000000000001, 0x67efffffffffffff, 0x67f0000000000000,
    0x67f0000000000001, 0x67ffffffffffffff, 0x6800000000000000, 0x6800000000000001, 0x680fffffffffffff, 0x6810000000000000, 0x6810000000000001, 0x681fffffffffffff,
    0x6820000000000000, 0x6820000000000001, 0x682fffffffffffff, 0x6830000000000000, 0x6830000000000001, 0x683fffffffffffff, 0x6840000000000000, 0x6840000000000001,
    0x684fffffffffffff, 0x6850000000000000, 0x6850000000000001, 0x685fffffffffffff, 0x6860000000000000, 0x6860000000000001, 0x686fffffffffffff, 0x6870000000000000,
    0x6870000000000001, 0x687fffffffffffff, 0x6880000000000000, 0x6880000000000001, 0x688fffffffffffff, 0x6890000000000000, 0x6890000000000001, 0x689fffffffffffff,
    0x68a0000000000000, 0x68a0000000000001, 0x68afffffffffffff, 0x68b0000000000000, 0x68b0000000000001, 0x68bfffffffffffff, 0x68c0000000000000, 0x68c0000000000001,
    0x68cfffffffffffff, 0x68d0000000000000, 0x68d0000000000001, 0x68dfffffffffffff, 0x68e0000000000000, 0x68e0000000000001, 0x68efffffffffffff, 0x68f0000000000000,
    0x68f0000000000001, 0x68ffffffffffffff, 0x6900000000000000, 0x6900000000000001, 0x690fffffffffffff, 0x6910000000000000, 0x6910000000000001, 0x691fffffffffffff,
    0x6920000000000000, 0x6920000000000001, 0x692fffffffffffff, 0x6930000000000000, 0x6930000000000001, 0x693fffffffffffff, 0x6940000000000000, 0x6940000000000001,
    0x694fffffffffffff, 0x6950000000000000, 0x6950000000000001, 0x695fffffffffffff, 0x6960000000000000, 0x6960000000000001, 0x696fffffffffffff, 0x6970000000000000,
    0x6970000000000001, 0x697fffffffffffff, 0x6980000000000000, 0x6980000000000001, 0x698fffffffffffff, 0x6990000000000000, 0x6990000000000001, 0x699fffffffffffff,
    0x69a0000000000000, 0x69a0000000000001, 0x69afffffffffffff, 0x69b0000000000000, 0x69b0000000000001, 0x69bfffffffffffff, 0x69c0000000000000, 0x69c0000000000001,
    0x69cfffffffffffff, 0x69d0000000000000, 0x69d0000000000001, 0x69dfffffffffffff, 0x69e0000000000000, 0x69e0000000000001, 0x69efffffffffffff, 0x69f0000000000000,
    0x69f0000000000001, 0x69ffffffffffffff, 0x6a00000000000000, 0x6a00000000000001, 0x6a0fffffffffffff, 0x6a10000000000000, 0x6a10000000000001, 0x6a1fffffffffffff,
    0x6a20000000000000, 0x6a20000000000001, 0x6a2fffffffffffff, 0x6a30000000000000, 0x6a30000000000001, 0x6a3fffffffffffff, 0x6a40000000000000, 0x6a40000000000001,
    0x6a4fffffffffffff, 0x6a50000000000000, 0x6a50000000000001, 0x6a5fffffffffffff, 0x6a60000000000000, 0x6a60000000000001, 0x6a6fffffffffffff, 0x6a70000000000000,
    0x6a70000000000001, 0x6a7fffffffffffff, 0x6a80000000000000, 0x6a80000000000001, 0x6a8fffffffffffff, 0x6a90000000000000, 0x6a90000000000001, 0x6a9fffffffffffff,
    0x6aa0000000000000, 0x6aa0000000000001, 0x6aafffffffffffff, 0x6ab0000000000000, 0x6ab0000000000001, 0x6abfffffffffffff, 0x6ac0000000000000, 0x6ac0000000000001,
    0x6acfffffffffffff, 0x6ad0000000000000, 0x6ad0000000000001, 0x6adfffffffffffff, 0x6ae0000000000000, 0x6ae0000000000001, 0x6aefffffffffffff, 0x6af0000000000000,
    0x6af0000000000001, 0x6affffffffffffff, 0x6b00000000000000, 0x6b00000000000001, 0x6b0fffffffffffff, 0x6b10000000000000, 0x6b10000000000001, 0x6b1fffffffffffff,
    0x6b20000000000000, 0x6b20000000000001, 0x6b2fffffffffffff, 0x6b30000000000000, 0x6b30000000000001, 0x6b3fffffffffffff, 0x6b40000000000000, 0x6b40000000000001,
    0x6b4fffffffffffff, 0x6b50000000000000, 0x6b50000000000001, 0x6b5fffffffffffff, 0x6b60000000000000, 0x6b60000000000001, 0x6b6fffffffffffff, 0x6b70000000000000,
    0x6b70000000000001, 0x6b7fffffffffffff, 0x6b80000000000000, 0x6b80000000000001, 0x6b8fffffffffffff, 0x6b90000000000000, 0x6b90000000000001, 0x6b9fffffffffffff,
    0x6ba0000000000000, 0x6ba0000000000001, 0x6bafffffffffffff, 0x6bb0000000000000, 0x6bb0000000000001, 0x6bbfffffffffffff, 0x6bc0000000000000, 0x6bc0000000000001,
    0x6bcfffffffffffff, 0x6bd0000000000000, 0x6bd0000000000001, 0x6bdfffffffffffff, 0x6be0000000000000, 0x6be0000000000001, 0x6befffffffffffff, 0x6bf0000000000000,
    0x6bf0000000000001, 0x6bffffffffffffff, 0x6c00000000000000, 0x6c00000000000001, 0x6c0fffffffffffff, 0x6c10000000000000, 0x6c10000000000001, 0x6c1fffffffffffff,
    0x6c20000000000000, 0x6c20000000000001, 0x6c2fffffffffffff, 0x6c30000000000000, 0x6c30000000000001, 0x6c3fffffffffffff, 0x6c40000000000000, 0x6c40000000000001,
    0x6c4fffffffffffff, 0x6c50000000000000, 0x6c50000000000001, 0x6c5fffffffffffff, 0x6c60000000000000, 0x6c60000000000001, 0x6c6fffffffffffff, 0x6c70000000000000,
    0x6c70000000000001, 0x6c7fffffffffffff, 0x6c80000000000000, 0x6c80000000000001, 0x6c8fffffffffffff, 0x6c90000000000000, 0x6c90000000000001, 0x6c9fffffffffffff,
    0x6ca0000000000000, 0x6ca0000000000001, 0x6cafffffffffffff, 0x6cb0000000000000, 0x6cb0000000000001, 0x6cbfffffffffffff, 0x6cc0000000000000, 0x6cc0000000000001,
    0x6ccfffffffffffff, 0x6cd0000000000000, 0x6cd0000000000001, 0x6cdfffffffffffff, 0x6ce0000000000000, 0x6ce0000000000001, 0x6cefffffffffffff, 0x6cf0000000000000,
    0x6cf0000000000001, 0x6cffffffffffffff, 0x6d00000000000000, 0x6d00000000000001, 0x6d0fffffffffffff, 0x6d10000000000000, 0x6d10000000000001, 0x6d1fffffffffffff,
    0x6d20000000000000, 0x6d20000000000001, 0x6d2fffffffffffff, 0x6d30000000000000, 0x6d30000000000001, 0x6d3fffffffffffff, 0x6d40000000000000, 0x6d40000000000001,
    0x6d4fffffffffffff, 0x6d50000000000000, 0x6d50000000000001, 0x6d5fffffffffffff, 0x6d60000000000000, 0x6d60000000000001, 0x6d6fffffffffffff, 0x6d70000000000000,
    0x6d70000000000001, 0x6d7fffffffffffff, 0x6d80000000000000, 0x6d80000000000001, 0x6d8fffffffffffff, 0x6d90000000000000, 0x6d90000000000001, 0x6d9fffffffffffff,
    0x6da0000000000000, 0x6da0000000000001, 0x6dafffffffffffff, 0x6db0000000000000, 0x6db0000000000001, 0x6dbfffffffffffff, 0x6dc0000000000000, 0x6dc0000000000001,
    0x6dcfffffffffffff, 0x6dd0000000000000, 0x6dd0000000000001, 0x6ddfffffffffffff, 0x6de0000000000000, 0x6de0000000000001, 0x6defffffffffffff, 0x6df0000000000000,
    0x6df0000000000001, 0x6dffffffffffffff, 0x6e00000000000000, 0x6e00000000000001, 0x6e0fffffffffffff, 0x6e10000000000000, 0x6e10000000000001, 0x6e1fffffffffffff,
    0x6e20000000000000, 0x6e20000000000001, 0x6e2fffffffffffff, 0x6e30000000000000, 0x6e30000000000001, 0x6e3fffffffffffff, 0x6e40000000000000, 0x6e40000000000001,
    0x6e4fffffffffffff, 0x6e50000000000000, 0x6e50000000000001, 0x6e5fffffffffffff, 0x6e60000000000000, 0x6e60000000000001, 0x6e6fffffffffffff, 0x6e70000000000000,
    0x6e70000000000001, 0x6e7fffffffffffff, 0x6e80000000000000, 0x6e80000000000001, 0x6e8fffffffffffff, 0x6e90000000000000, 0x6e90000000000001, 0x6e9fffffffffffff,
    0x6ea0000000000000, 0x6ea0000000000001, 0x6eafffffffffffff, 0x6eb0000000000000, 0x6eb0000000000001, 0x6ebfffffffffffff, 0x6ec0000000000000, 0x6ec0000000000001,
    0x6ecfffffffffffff, 0x6ed0000000000000, 0x6ed0000000000001, 0x6edfffffffffffff, 0x6ee0000000000000, 0x6ee0000000000001, 0x6eefffffffffffff, 0x6ef0000000000000,
    0x6ef0000000000001, 0x6effffffffffffff, 0x6f00000000000000, 0x6f00000000000001, 0x6f0fffffffffffff, 0x6f10000000000000, 0x6f10000000000001, 0x6f1fffffffffffff,
    0x6f20000000000000, 0x6f20000000000001, 0x6f2fffffffffffff, 0x6f30000000000000, 0x6f30000000000001, 0x6f3fffffffffffff, 0x6f40000000000000, 0x6f40000000000001,
    0x6f4fffffffffffff, 0x6f50000000000000, 0x6f50000000000001, 0x6f5fffffffffffff, 0x6f60000000000000, 0x6f60000000000001, 0x6f6fffffffffffff, 0x6f70000000000000,
    0x6f70000000000001, 0x6f7fffffffffffff, 0x6f80000000000000, 0x6f80000000000001, 0x6f8fffffffffffff, 0x6f90000000000000, 0x6f90000000000001, 0x6f9fffffffffffff,
    0x6fa0000000000000, 0x6fa0000000000001, 0x6fafffffffffffff, 0x6fb0000000000000, 0x6fb0000000000001, 0x6fbfffffffffffff, 0x6fc0000000000000, 0x6fc0000000000001,
    0x6fcfffffffffffff, 0x6fd0000000000000, 0x6fd0000000000001, 0x6fdfffffffffffff, 0x6fe0000000000000, 0x6fe0000000000001, 0x6fefffffffffffff, 0x6ff0000000000000,
    0x6ff0000000000001, 0x6fffffffffffffff, 0x7000000000000000, 0x7000000000000001, 0x700fffffffffffff, 0x7010000000000000, 0x7010000000000001, 0x701fffffffffffff,
    0x7020000000000000, 0x7020000000000001, 0x702fffffffffffff, 0x7030000000000000, 0x7030000000000001, 0x703fffffffffffff, 0x7040000000000000, 0x7040000000000001,
    0x704fffffffffffff, 0x7050000000000000, 0x7050000000000001, 0x705fffffffffffff, 0x7060000000000000, 0x7060000000000001, 0x706fffffffffffff, 0x7070000000000000,
    0x7070000000000001, 0x707fffffffffffff, 0x7080000000000000, 0x7080000000000001, 0x708fffffffffffff, 0x7090000000000000, 0x7090000000000001, 0x709fffffffffffff,
    0x70a0000000000000, 0x70a0000000000001, 0x70afffffffffffff, 0x70b0000000000000, 0x70b0000000000001, 0x70bfffffffffffff, 0x70c0000000000000, 0x70c0000000000001,
    0x70cfffffffffffff, 0x70d0000000000000, 0x70d0000000000001, 0x70dfffffffffffff, 0x70e0000000000000, 0x70e0000000000001, 0x70efffffffffffff, 0x70f0000000000000,
    0x70f0000000000001, 0x70ffffffffffffff, 0x7100000000000000, 0x7100000000000001, 0x710fffffffffffff, 0x7110000000000000, 0x7110000000000001, 0x711fffffffffffff,
    0x7120000000000000, 0x7120000000000001, 0x712fffffffffffff, 0x7130000000000000, 0x7130000000000001, 0x713fffffffffffff, 0x7140000000000000, 0x7140000000000001,
    0x714fffffffffffff, 0x7150000000000000, 0x7150000000000001, 0x715fffffffffffff, 0x7160000000000000, 0x7160000000000001, 0x716fffffffffffff, 0x7170000000000000,
    0x7170000000000001, 0x717fffffffffffff, 0x7180000000000000, 0x7180000000000001, 0x718fffffffffffff, 0x7190000000000000, 0x7190000000000001, 0x719fffffffffffff,
    0x71a0000000000000, 0x71a0000000000001, 0x71afffffffffffff, 0x71b0000000000000, 0x71b0000000000001, 0x71bfffffffffffff, 0x71c0000000000000, 0x71c0000000000001,
    0x71cfffffffffffff, 0x71d0000000000000, 0x71d0000000000001, 0x71dfffffffffffff, 0x71e0000000000000, 0x71e0000000000001, 0x71efffffffffffff, 0x71f0000000000000,
    0x71f0000000000001, 0x71ffffffffffffff, 0x7200000000000000, 0x7200000000000001, 0x720fffffffffffff, 0x7210000000000000, 0x7210000000000001, 0x721fffffffffffff,
    0x7220000000000000, 0x7220000000000001, 0x722fffffffffffff, 0x7230000000000000, 0x7230000000000001, 0x723fffffffffffff, 0x7240000000000000, 0x7240000000000001,
    0x724fffffffffffff, 0x7250000000000000, 0x7250000000000001, 0x725fffffffffffff, 0x7260000000000000, 0x7260000000000001, 0x726fffffffffffff, 0x7270000000000000,
    0x7270000000000001, 0x727fffffffffffff, 0x7280000000000000, 0x7280000000000001, 0x728fffffffffffff, 0x7290000000000000, 0x7290000000000001, 0x729fffffffffffff,
    0x72a0000000000000, 0x72a0000000000001, 0x72afffffffffffff, 0x72b0000000000000, 0x72b0000000000001, 0x72bfffffffffffff, 0x72c0000000000000, 0x72c0000000000001,
    0x72cfffffffffffff, 0x72d0000000000000, 0x72d0000000000001, 0x72dfffffffffffff, 0x72e0000000000000, 0x72e0000000000001, 0x72efffffffffffff, 0x72f0000000000000,
    0x72f0000000000001, 0x72ffffffffffffff, 0x7300000000000000, 0x7300000000000001, 0x730fffffffffffff, 0x7310000000000000, 0x7310000000000001, 0x731fffffffffffff,
    0x7320000000000000, 0x7320000000000001, 0x732fffffffffffff, 0x7330000000000000, 0x7330000000000001, 0x733fffffffffffff, 0x7340000000000000, 0x7340000000000001,
    0x734fffffffffffff, 0x7350000000000000, 0x7350000000000001, 0x735fffffffffffff, 0x7360000000000000, 0x7360000000000001, 0x736fffffffffffff, 0x7370000000000000,
    0x7370000000000001, 0x737fffffffffffff, 0x7380000000000000, 0x7380000000000001, 0x738fffffffffffff, 0x7390000000000000, 0x7390000000000001, 0x739fffffffffffff,
    0x73a0000000000000, 0x73a0000000000001, 0x73afffffffffffff, 0x73b0000000000000, 0x73b0000000000001, 0x73bfffffffffffff, 0x73c0000000000000, 0x73c0000000000001,
    0x73cfffffffffffff, 0x73d0000000000000, 0x73d0000000000001, 0x73dfffffffffffff, 0x73e0000000000000, 0x73e0000000000001, 0x73efffffffffffff, 0x73f0000000000000,
    0x73f0000000000001, 0x73ffffffffffffff, 0x7400000000000000, 0x7400000000000001, 0x740fffffffffffff, 0x7410000000000000, 0x7410000000000001, 0x741fffffffffffff,
    0x7420000000000000, 0x7420000000000001, 0x742fffffffffffff, 0x7430000000000000, 0x7430000000000001, 0x743fffffffffffff, 0x7440000000000000, 0x7440000000000001,
    0x744fffffffffffff, 0x7450000000000000, 0x7450000000000001, 0x745fffffffffffff, 0x7460000000000000, 0x7460000000000001, 0x746fffffffffffff, 0x7470000000000000,
    0x7470000000000001, 0x747fffffffffffff, 0x7480000000000000, 0x7480000000000001, 0x748fffffffffffff, 0x7490000000000000, 0x7490000000000001, 0x749fffffffffffff,
    0x74a0000000000000, 0x74a0000000000001, 0x74afffffffffffff, 0x74b0000000000000, 0x74b0000000000001, 0x74bfffffffffffff, 0x74c0000000000000, 0x74c0000000000001,
    0x74cfffffffffffff, 0x74d0000000000000, 0x74d0000000000001, 0x74dfffffffffffff, 0x74e0000000000000, 0x74e0000000000001, 0x74efffffffffffff, 0x74f0000000000000,
    0x74f0000000000001, 0x74ffffffffffffff, 0x7500000000000000, 0x7500000000000001, 0x750fffffffffffff, 0x7510000000000000, 0x7510000000000001, 0x751fffffffffffff,
    0x7520000000000000, 0x7520000000000001, 0x752fffffffffffff, 0x7530000000000000, 0x7530000000000001, 0x753fffffffffffff, 0x7540000000000000, 0x7540000000000001,
    0x754fffffffffffff, 0x7550000000000000, 0x7550000000000001, 0x755fffffffffffff, 0x7560000000000000, 0x7560000000000001, 0x756fffffffffffff, 0x7570000000000000,
    0x7570000000000001, 0x757fffffffffffff, 0x7580000000000000, 0x7580000000000001, 0x758fffffffffffff, 0x7590000000000000, 0x7590000000000001, 0x759fffffffffffff,
    0x75a0000000000000, 0x75a0000000000001, 0x75afffffffffffff, 0x75b0000000000000, 0x75b0000000000001, 0x75bfffffffffffff, 0x75c0000000000000, 0x75c0000000000001,
    0x75cfffffffffffff, 0x75d0000000000000, 0x75d0000000000001, 0x75dfffffffffffff, 0x75e0000000000000, 0x75e0000000000001, 0x75efffffffffffff, 0x75f0000000000000,
    0x75f0000000000001, 0x75ffffffffffffff, 0x7600000000000000, 0x7600000000000001, 0x760fffffffffffff, 0x7610000000000000, 0x7610000000000001, 0x761fffffffffffff,
    0x7620000000000000, 0x7620000000000001, 0x762fffffffffffff, 0x7630000000000000, 0x7630000000000001, 0x763fffffffffffff, 0x7640000000000000, 0x7640000000000001,
    0x764fffffffffffff, 0x7650000000000000, 0x7650000000000001, 0x765fffffffffffff, 0x7660000000000000, 0x7660000000000001, 0x766fffffffffffff, 0x7670000000000000,
    0x7670000000000001, 0x767fffffffffffff, 0x7680000000000000, 0x7680000000000001, 0x768fffffffffffff, 0x7690000000000000, 0x7690000000000001, 0x769fffffffffffff,
    0x76a0000000000000, 0x76a0000000000001, 0x76afffffffffffff, 0x76b0000000000000, 0x76b0000000000001, 0x76bfffffffffffff, 0x76c0000000000000, 0x76c0000000000001,
    0x76cfffffffffffff, 0x76d0000000000000, 0x76d0000000000001, 0x76dfffffffffffff, 0x76e0000000000000, 0x76e0000000000001, 0x76efffffffffffff, 0x76f0000000000000,
    0x76f0000000000001, 0x76ffffffffffffff, 0x7700000000000000, 0x7700000000000001, 0x770fffffffffffff, 0x7710000000000000, 0x7710000000000001, 0x771fffffffffffff,
    0x7720000000000000, 0x7720000000000001, 0x772fffffffffffff, 0x7730000000000000, 0x7730000000000001, 0x773fffffffffffff, 0x7740000000000000, 0x7740000000000001,
    0x774fffffffffffff, 0x7750000000000000, 0x7750000000000001, 0x775fffffffffffff, 0x7760000000000000, 0x7760000000000001, 0x776fffffffffffff, 0x7770000000000000,
    0x7770000000000001, 0x777fffffffffffff, 0x7780000000000000, 0x7780000000000001, 0x778fffffffffffff, 0x7790000000000000, 0x7790000000000001, 0x779fffffffffffff,
    0x77a0000000000000, 0x77a0000000000001, 0x77afffffffffffff, 0x77b0000000000000, 0x77b0000000000001, 0x77bfffffffffffff, 0x77c0000000000000, 0x77c0000000000001,
    0x77cfffffffffffff, 0x77d0000000000000, 0x77d0000000000001, 0x77dfffffffffffff, 0x77e0000000000000, 0x77e0000000000001, 0x77efffffffffffff, 0x77f0000000000000,
    0x77f0000000000001, 0x77ffffffffffffff, 0x7800000000000000, 0x7800000000000001, 0x780fffffffffffff, 0x7810000000000000, 0x7810000000000001, 0x781fffffffffffff,
    0x7820000000000000, 0x7820000000000001, 0x782fffffffffffff, 0x7830000000000000, 0x7830000000000001, 0x783fffffffffffff, 0x7840000000000000, 0x7840000000000001,
    0x784fffffffffffff, 0x7850000000000000, 0x7850000000000001, 0x785fffffffffffff, 0x7860000000000000, 0x7860000000000001, 0x786fffffffffffff, 0x7870000000000000,
    0x7870000000000001, 0x787fffffffffffff, 0x7880000000000000, 0x7880000000000001, 0x788fffffffffffff, 0x7890000000000000, 0x7890000000000001, 0x789fffffffffffff,
    0x78a0000000000000, 0x78a0000000000001, 0x78afffffffffffff, 0x78b0000000000000, 0x78b0000000000001, 0x78bfffffffffffff, 0x78c0000000000000, 0x78c0000000000001,
    0x78cfffffffffffff, 0x78d0000000000000, 0x78d0000000000001, 0x78dfffffffffffff, 0x78e0000000000000, 0x78e0000000000001, 0x78efffffffffffff, 0x78f0000000000000,
    0x78f0000000000001, 0x78ffffffffffffff, 0x7900000000000000, 0x7900000000000001, 0x790fffffffffffff, 0x7910000000000000, 0x7910000000000001, 0x791fffffffffffff,
    0x7920000000000000, 0x7920000000000001, 0x792fffffffffffff, 0x7930000000000000, 0x7930000000000001, 0x793fffffffffffff, 0x7940000000000000, 0x7940000000000001,
    0x794fffffffffffff, 0x7950000000000000, 0x7950000000000001, 0x795fffffffffffff, 0x7960000000000000, 0x7960000000000001, 0x796fffffffffffff, 0x7970000000000000,
    0x7970000000000001, 0x797fffffffffffff, 0x7980000000000000, 0x7980000000000001, 0x798fffffffffffff, 0x7990000000000000, 0x7990000000000001, 0x799fffffffffffff,
    0x79a0000000000000, 0x79a0000000000001, 0x79afffffffffffff, 0x79b0000000000000, 0x79b0000000000001, 0x79bfffffffffffff, 0x79c0000000000000, 0x79c0000000000001,
    0x79cfffffffffffff, 0x79d0000000000000, 0x79d0000000000001, 0x79dfffffffffffff, 0x79e0000000000000, 0x79e0000000000001, 0x79efffffffffffff, 0x79f0000000000000,
    0x79f0000000000001, 0x79ffffffffffffff, 0x7a00000000000000, 0x7a00000000000001, 0x7a0fffffffffffff, 0x7a10000000000000, 0x7a10000000000001, 0x7a1fffffffffffff,
    0x7a20000000000000, 0x7a20000000000001, 0x7a2fffffffffffff, 0x7a30000000000000, 0x7a30000000000001, 0x7a3fffffffffffff, 0x7a40000000000000, 0x7a40000000000001,
    0x7a4fffffffffffff, 0x7a50000000000000, 0x7a50000000000001, 0x7a5fffffffffffff, 0x7a60000000000000, 0x7a60000000000001, 0x7a6fffffffffffff, 0x7a70000000000000,
    0x7a70000000000001, 0x7a7fffffffffffff, 0x7a80000000000000, 0x7a80000000000001, 0x7a8fffffffffffff, 0x7a90000000000000, 0x7a90000000000001, 0x7a9fffffffffffff,
    0x7aa0000000000000, 0x7aa0000000000001, 0x7aafffffffffffff, 0x7ab0000000000000, 0x7ab0000000000001, 0x7abfffffffffffff, 0x7ac0000000000000, 0x7ac0000000000001,
    0x7acfffffffffffff, 0x7ad0000000000000, 0x7ad0000000000001, 0x7adfffffffffffff, 0x7ae0000000000000, 0x7ae0000000000001, 0x7aefffffffffffff, 0x7af0000000000000,
    0x7af0000000000001, 0x7affffffffffffff, 0x7b00000000000000, 0x7b00000000000001, 0x7b0fffffffffffff, 0x7b10000000000000, 0x7b10000000000001, 0x7b1fffffffffffff,
    0x7b20000000000000, 0x7b20000000000001, 0x7b2fffffffffffff, 0x7b30000000000000, 0x7b30000000000001, 0x7b3fffffffffffff, 0x7b40000000000000, 0x7b40000000000001,
    0x7b4fffffffffffff, 0x7b50000000000000, 0x7b50000000000001, 0x7b5fffffffffffff, 0x7b60000000000000, 0x7b60000000000001, 0x7b6fffffffffffff, 0x7b70000000000000,
    0x7b70000000000001, 0x7b7fffffffffffff, 0x7b80000000000000, 0x7b80000000000001, 0x7b8fffffffffffff, 0x7b90000000000000, 0x7b90000000000001, 0x7b9fffffffffffff,
    0x7ba0000000000000, 0x7ba0000000000001, 0x7bafffffffffffff, 0x7bb0000000000000, 0x7bb0000000000001, 0x7bbfffffffffffff, 0x7bc0000000000000, 0x7bc0000000000001,
    0x7bcfffffffffffff, 0x7bd0000000000000, 0x7bd0000000000001, 0x7bdfffffffffffff, 0x7be0000000000000, 0x7be0000000000001, 0x7befffffffffffff, 0x7bf0000000000000,
    0x7bf0000000000001, 0x7bffffffffffffff, 0x7c00000000000000, 0x7c00000000000001, 0x7c0fffffffffffff, 0x7c10000000000000, 0x7c10000000000001, 0x7c1fffffffffffff,
    0x7c20000000000000, 0x7c20000000000001, 0x7c2fffffffffffff, 0x7c30000000000000, 0x7c30000000000001, 0x7c3fffffffffffff, 0x7c40000000000000, 0x7c40000000000001,
    0x7c4fffffffffffff, 0x7c50000000000000, 0x7c50000000000001, 0x7c5fffffffffffff, 0x7c60000000000000, 0x7c60000000000001, 0x7c6fffffffffffff, 0x7c70000000000000,
    0x7c70000000000001, 0x7c7fffffffffffff, 0x7c80000000000000, 0x7c80000000000001, 0x7c8fffffffffffff, 0x7c90000000000000, 0x7c90000000000001, 0x7c9fffffffffffff,
    0x7ca0000000000000, 0x7ca0000000000001, 0x7cafffffffffffff, 0x7cb0000000000000, 0x7cb0000000000001, 0x7cbfffffffffffff, 0x7cc0000000000000, 0x7cc0000000000001,
    0x7ccfffffffffffff, 0x7cd0000000000000, 0x7cd0000000000001, 0x7cdfffffffffffff, 0x7ce0000000000000, 0x7ce0000000000001, 0x7cefffffffffffff, 0x7cf0000000000000,
    0x7cf0000000000001, 0x7cffffffffffffff, 0x7d00000000000000, 0x7d00000000000001, 0x7d0fffffffffffff, 0x7d10000000000000, 0x7d10000000000001, 0x7d1fffffffffffff,
    0x7d20000000000000, 0x7d20000000000001, 0x7d2fffffffffffff, 0x7d30000000000000, 0x7d30000000000001, 0x7d3fffffffffffff, 0x7d40000000000000, 0x7d40000000000001,
    0x7d4fffffffffffff, 0x7d50000000000000, 0x7d50000000000001, 0x7d5fffffffffffff, 0x7d60000000000000, 0x7d60000000000001, 0x7d6fffffffffffff, 0x7d70000000000000,
    0x7d70000000000001, 0x7d7fffffffffffff, 0x7d80000000000000, 0x7d80000000000001, 0x7d8fffffffffffff, 0x7d90000000000000, 0x7d90000000000001, 0x7d9fffffffffffff,
    0x7da0000000000000, 0x7da0000000000001, 0x7dafffffffffffff, 0x7db0000000000000, 0x7db0000000000001, 0x7dbfffffffffffff, 0x7dc0000000000000, 0x7dc0000000000001,
    0x7dcfffffffffffff, 0x7dd0000000000000, 0x7dd0000000000001, 0x7ddfffffffffffff, 0x7de0000000000000, 0x7de0000000000001, 0x7defffffffffffff, 0x7df0000000000000,
    0x7df0000000000001, 0x7dffffffffffffff, 0x7e00000000000000, 0x7e00000000000001, 0x7e0fffffffffffff, 0x7e10000000000000, 0x7e10000000000001, 0x7e1fffffffffffff,
    0x7e20000000000000, 0x7e20000000000001, 0x7e2fffffffffffff, 0x7e30000000000000, 0x7e30000000000001, 0x7e3fffffffffffff, 0x7e40000000000000, 0x7e40000000000001,
    0x7e4fffffffffffff, 0x7e50000000000000, 0x7e50000000000001, 0x7e5fffffffffffff, 0x7e60000000000000, 0x7e60000000000001, 0x7e6fffffffffffff, 0x7e70000000000000,
    0x7e70000000000001, 0x7e7fffffffffffff, 0x7e80000000000000, 0x7e80000000000001, 0x7e8fffffffffffff, 0x7e90000000000000, 0x7e90000000000001, 0x7e9fffffffffffff,
    0x7ea0000000000000, 0x7ea0000000000001, 0x7eafffffffffffff, 0x7eb0000000000000, 0x7eb0000000000001, 0x7ebfffffffffffff, 0x7ec0000000000000, 0x7ec0000000000001,
    0x7ecfffffffffffff, 0x7ed0000000000000, 0x7ed0000000000001, 0x7edfffffffffffff, 0x7ee0000000000000, 0x7ee0000000000001, 0x7eefffffffffffff, 0x7ef0000000000000,
    0x7ef0000000000001, 0x7effffffffffffff, 0x7f00000000000000, 0x7f00000000000001, 0x7f0fffffffffffff, 0x7f10000000000000, 0x7f10000000000001, 0x7f1fffffffffffff,
    0x7f20000000000000, 0x7f20000000000001, 0x7f2fffffffffffff, 0x7f30000000000000, 0x7f30000000000001, 0x7f3fffffffffffff, 0x7f40000000000000, 0x7f40000000000001,
    0x7f4fffffffffffff, 0x7f50000000000000, 0x7f50000000000001, 0x7f5fffffffffffff, 0x7f60000000000000, 0x7f60000000000001, 0x7f6fffffffffffff, 0x7f70000000000000,
    0x7f70000000000001, 0x7f7fffffffffffff, 0x7f80000000000000, 0x7f80000000000001, 0x7f8fffffffffffff, 0x7f90000000000000, 0x7f90000000000001, 0x7f9fffffffffffff,
    0x7fa0000000000000, 0x7fa0000000000001, 0x7fafffffffffffff, 0x7fb0000000000000, 0x7fb0000000000001, 0x7fbfffffffffffff, 0x7fc0000000000000, 0x7fc0000000000001,
    0x7fcfffffffffffff, 0x7fd0000000000000, 0x7fd0000000000001, 0x7fdfffffffffffff, 0x7fe0000000000000, 0x7fe0000000000001, 0x7ff0000000000000,
];


macro_rules! assert_almost_equal {
    ($a:expr, $b:expr) => {
        assert!(
            almost::equal($a, $b),
            "should be almost equal: {} ({:x}) and {} ({:x})",
            $a, $a.to_bits(), $b, $b.to_bits());
    };
    ($a:expr, $b:expr, $tol:expr) => {
        assert!(
            almost::equal_with($a, $b, $tol),
            "should be almost equal: {} ({:x}) and {} ({:x}) using tol {} ({:x})",
            $a, $a.to_bits(), $b, $b.to_bits(), $tol, $tol.to_bits());
    };
}
macro_rules! assert_not_almost_equal {
    ($a:expr, $b:expr) => {
        assert!(
            !almost::equal($a, $b),
            "should not be almost equal: {} ({:x}) and {} ({:x})",
            $a, $a.to_bits(), $b, $b.to_bits());
    };
    ($a:expr, $b:expr, $tol:expr) => {
        assert!(
            !almost::equal_with($a, $b, $tol),
            "should not be almost equal: {} ({:x}) and {} ({:x}) using tol {} ({:x})",
            $a, $a.to_bits(), $b, $b.to_bits(), $tol, $tol.to_bits());
    };
}

#[test]
fn test_f64() {
    use ieee754::Ieee754;
    use rand::{prelude::*, distributions::Uniform, rngs::SmallRng};

    let mut rng = SmallRng::seed_from_u64(TEST_DATA.as_ptr() as usize as u64);
    let tolerance_dist = Uniform::new_inclusive(std::f64::EPSILON, 1.0.prev());

    let mut tolerances = [
        std::f64::EPSILON * 2.0,
        almost::F64_TOLERANCE,
        1.0f64.prev(),
        0.0, 0.0, 0.0, 0.0, 0.0
    ];

    for i in 3..tolerances.len() {
        tolerances[i] = tolerance_dist.sample(&mut rng);
    }

    assert_not_almost_equal!(std::f64::NAN, std::f64::NAN);
    for &tol in &tolerances {
        assert_not_almost_equal!(std::f64::NAN, std::f64::NAN, tol);
    }

    for &u in TEST_DATA {
        let f = f64::from_bits(u);
        assert_not_almost_equal!(f, std::f64::NAN);
        assert_not_almost_equal!(std::f64::NAN, f);
        for &tol in &tolerances {
            assert_not_almost_equal!(f, std::f64::NAN, tol);
            assert_not_almost_equal!(std::f64::NAN, f, tol);
        }
    }

    for &u in TEST_DATA {
        let f = f64::from_bits(u);
        assert_almost_equal!(f, f);
        assert_almost_equal!(f, f.prev());
        assert_almost_equal!(f.prev(), f);
        assert_almost_equal!(-f, -f);
        assert_almost_equal!(-f, (-f).next());
        assert_almost_equal!((-f).next(), -f);
        if f != std::f64::INFINITY {
            assert_almost_equal!(f, f.next());
            assert_almost_equal!(f.next(), f);
            assert_almost_equal!(-f, (-f).prev());
            assert_almost_equal!((-f).prev(), -f);
        }
        for &tol in &tolerances {
            assert_almost_equal!(f, f, tol);
            assert_almost_equal!(f, f.prev(), tol);
            assert_almost_equal!(f.prev(), f, tol);
            assert_almost_equal!(-f, -f, tol);
            assert_almost_equal!(-f, (-f).next(), tol);
            assert_almost_equal!((-f).next(), -f, tol);
            if f != std::f64::INFINITY {
                assert_almost_equal!(f, f.next(), tol);
                assert_almost_equal!(f.next(), f, tol);
                assert_almost_equal!(-f, (-f).prev(), tol);
                assert_almost_equal!((-f).prev(), -f, tol);
            }
        }
    }

    for &v in &[almost::F64_TOLERANCE, 1.0, std::f64::NAN, std::f64::INFINITY] {
        assert!(!almost::zero(v), "{} {:x}", v, v.to_bits());
        assert!(!almost::zero(-v), "{} {:x}", v, v.to_bits());
    }

    for &v in &[almost::F64_TOLERANCE.prev(), 0.0, std::f64::EPSILON, 0.0.next()] {
        assert!(almost::zero(v), "{} {:x}", v, v.to_bits());
        assert!(almost::zero(-v), "{} {:x}", v, v.to_bits());
    }
}