test.py

#!/usr/bin/env python

# Copyright (c) 2015 Bo Zhu https://about.bozhu.me
# MIT License


# These test vectors are from the Project NESSIE http://goo.gl/xSpWfg

TEST_VECTORS = (
    (
        0x80000000000000000000000000000000,  # key
        0x0000000000000000,  # plain
        0xb1f5f7f87901370f,  # cipher
    ), (
        0x40000000000000000000000000000000,
        0x0000000000000000,
        0xb3927dffb6358626,
    ), (
        0x20000000000000000000000000000000,
        0x0000000000000000,
        0xe987e0029fb99785,
    ), (
        0x10000000000000000000000000000000,
        0x0000000000000000,
        0x754a03ce08db7daa,
    ), (
        0x08000000000000000000000000000000,
        0x0000000000000000,
        0xf015f9fb0cfc7e1c,
    ), (
        0x04000000000000000000000000000000,
        0x0000000000000000,
        0x69c9fe6007b8fcdf,
    ), (
        0x02000000000000000000000000000000,
        0x0000000000000000,
        0x8da7bc0e63b40dd0,
    ), (
        0x01000000000000000000000000000000,
        0x0000000000000000,
        0x2c49bf7de28c666b,
    ), (
        0x00800000000000000000000000000000,
        0x0000000000000000,
        0x9a4717e8f935712b,
    ), (
        0x00400000000000000000000000000000,
        0x0000000000000000,
        0x90c77c47804bedcc,
    ), (
        0x00200000000000000000000000000000,
        0x0000000000000000,
        0x156e976ee8194241,
    ), (
        0x00100000000000000000000000000000,
        0x0000000000000000,
        0x168a0ad30485fc27,
    ), (
        0x00080000000000000000000000000000,
        0x0000000000000000,
        0x3f3b32602c5b4fed,
    ), (
        0x00040000000000000000000000000000,
        0x0000000000000000,
        0x7c282ea23ca3b968,
    ), (
        0x00020000000000000000000000000000,
        0x0000000000000000,
        0x13ea33701f98cce5,
    ), (
        0x00010000000000000000000000000000,
        0x0000000000000000,
        0x7c92bc91c48f0084,
    ), (
        0x00008000000000000000000000000000,
        0x0000000000000000,
        0x95a96731978c1b9a,
    ), (
        0x00004000000000000000000000000000,
        0x0000000000000000,
        0x125d24c4e9aba0eb,
    ), (
        0x00002000000000000000000000000000,
        0x0000000000000000,
        0x61aca85576c2f0cb,
    ), (
        0x00001000000000000000000000000000,
        0x0000000000000000,
        0x1885d2a027fccdc3,
    ), (
        0x00000800000000000000000000000000,
        0x0000000000000000,
        0x3e95a27d17961b91,
    ), (
        0x00000400000000000000000000000000,
        0x0000000000000000,
        0x1baae3afe3dc73b9,
    ), (
        0x00000200000000000000000000000000,
        0x0000000000000000,
        0xce48f58b50e125e9,
    ), (
        0x00000100000000000000000000000000,
        0x0000000000000000,
        0xce359bdcf1af56c0,
    ), (
        0x00000080000000000000000000000000,
        0x0000000000000000,
        0x80960b2aafaba050,
    ), (
        0x00000040000000000000000000000000,
        0x0000000000000000,
        0x6a475eb5dee65e05,
    ), (
        0x00000020000000000000000000000000,
        0x0000000000000000,
        0x09b03752ca2e76a3,
    ), (
        0x00000010000000000000000000000000,
        0x0000000000000000,
        0x8df2ad1153945df8,
    ), (
        0x00000008000000000000000000000000,
        0x0000000000000000,
        0x38731680d5611515,
    ), (
        0x00000004000000000000000000000000,
        0x0000000000000000,
        0x1b96d7962eee006e,
    ), (
        0x00000002000000000000000000000000,
        0x0000000000000000,
        0xb2cf3be70e2ce320,
    ), (
        0x00000001000000000000000000000000,
        0x0000000000000000,
        0x4b9f147724732802,
    ), (
        0x00000000800000000000000000000000,
        0x0000000000000000,
        0x398bd9a59e9f5ddb,
    ), (
        0x00000000400000000000000000000000,
        0x0000000000000000,
        0xbf70e86b86d9e071,
    ), (
        0x00000000200000000000000000000000,
        0x0000000000000000,
        0xe8f3d34c32561b8d,
    ), (
        0x00000000100000000000000000000000,
        0x0000000000000000,
        0x564d4c9f9f99ef58,
    ), (
        0x00000000080000000000000000000000,
        0x0000000000000000,
        0x3fa5dcb6d71577c9,
    ), (
        0x00000000040000000000000000000000,
        0x0000000000000000,
        0xf2470b4c18d8206f,
    ), (
        0x00000000020000000000000000000000,
        0x0000000000000000,
        0xc838b0b08145e33d,
    ), (
        0x00000000010000000000000000000000,
        0x0000000000000000,
        0xe66b4b804d49ffd4,
    ), (
        0x00000000008000000000000000000000,
        0x0000000000000000,
        0x849232d009776e88,
    ), (
        0x00000000004000000000000000000000,
        0x0000000000000000,
        0x06114f7642747bf2,
    ), (
        0x00000000002000000000000000000000,
        0x0000000000000000,
        0x55e436bf83fcc61f,
    ), (
        0x00000000001000000000000000000000,
        0x0000000000000000,
        0xafc56e209ffe8e5e,
    ), (
        0x00000000000800000000000000000000,
        0x0000000000000000,
        0x1fcd5543ed20219f,
    ), (
        0x00000000000400000000000000000000,
        0x0000000000000000,
        0xafd481eeb1dc9798,
    ), (
        0x00000000000200000000000000000000,
        0x0000000000000000,
        0xc747245f7c40505e,
    ), (
        0x00000000000100000000000000000000,
        0x0000000000000000,
        0x6533869714e1d576,
    ), (
        0x00000000000080000000000000000000,
        0x0000000000000000,
        0xac1d8708af0a37ee,
    ), (
        0x00000000000040000000000000000000,
        0x0000000000000000,
        0x6ae43f39abec1634,
    ), (
        0x00000000000020000000000000000000,
        0x0000000000000000,
        0x3ca0b0184ce033b0,
    ), (
        0x00000000000010000000000000000000,
        0x0000000000000000,
        0xa1fae8b9764179c9,
    ), (
        0x00000000000008000000000000000000,
        0x0000000000000000,
        0x34e7fe59d0adceaa,
    ), (
        0x00000000000004000000000000000000,
        0x0000000000000000,
        0x3cfb4e3a73cbdfc8,
    ), (
        0x00000000000002000000000000000000,
        0x0000000000000000,
        0xe7c34815e4af6944,
    ), (
        0x00000000000001000000000000000000,
        0x0000000000000000,
        0xfd4b9074b638862d,
    ), (
        0x00000000000000800000000000000000,
        0x0000000000000000,
        0xc1b9f1684fc2ef4b,
    ), (
        0x00000000000000400000000000000000,
        0x0000000000000000,
        0x3c90fa06cef23d8e,
    ), (
        0x00000000000000200000000000000000,
        0x0000000000000000,
        0xe304438d5c8ff203,
    ), (
        0x00000000000000100000000000000000,
        0x0000000000000000,
        0x8002eb809ec28f8a,
    ), (
        0x00000000000000080000000000000000,
        0x0000000000000000,
        0x4255f0c54f48c1a9,
    ), (
        0x00000000000000040000000000000000,
        0x0000000000000000,
        0xaa553a5dec50e4a4,
    ), (
        0x00000000000000020000000000000000,
        0x0000000000000000,
        0x30f1ec7563c810f2,
    ), (
        0x00000000000000010000000000000000,
        0x0000000000000000,
        0xb3cdc5ebda6a4fe9,
    ), (
        0x00000000000000008000000000000000,
        0x0000000000000000,
        0xfae3fa7b8db08800,
    ), (
        0x00000000000000004000000000000000,
        0x0000000000000000,
        0x05207cf4396cc5f4,
    ), (
        0x00000000000000002000000000000000,
        0x0000000000000000,
        0x3c6180d320d620b2,
    ), (
        0x00000000000000001000000000000000,
        0x0000000000000000,
        0xeee00f6d006ce0a2,
    ), (
        0x00000000000000000800000000000000,
        0x0000000000000000,
        0xb040f041c7831740,
    ), (
        0x00000000000000000400000000000000,
        0x0000000000000000,
        0x74203c21efc23fa0,
    ), (
        0x00000000000000000200000000000000,
        0x0000000000000000,
        0x7f901491cc611ba8,
    ), (
        0x00000000000000000100000000000000,
        0x0000000000000000,
        0xedd8c619488123ce,
    ), (
        0x00000000000000000080000000000000,
        0x0000000000000000,
        0xfa6603f705135f50,
    ), (
        0x00000000000000000040000000000000,
        0x0000000000000000,
        0x64837b43683c68d0,
    ), (
        0x00000000000000000020000000000000,
        0x0000000000000000,
        0xdd0a23281e105910,
    ), (
        0x00000000000000000010000000000000,
        0x0000000000000000,
        0xfae505f70760e814,
    ), (
        0x00000000000000000008000000000000,
        0x0000000000000000,
        0x2f72c7fb1e856d92,
    ), (
        0x00000000000000000004000000000000,
        0x0000000000000000,
        0x40463c6c86d5177a,
    ), (
        0x00000000000000000002000000000000,
        0x0000000000000000,
        0x9ad2ab3c260084e7,
    ), (
        0x00000000000000000001000000000000,
        0x0000000000000000,
        0xcf960fa9248bc228,
    ), (
        0x00000000000000000000800000000000,
        0x0000000000000000,
        0xb5803f82c0633f01,
    ), (
        0x00000000000000000000400000000000,
        0x0000000000000000,
        0x62da6bb42bc888d0,
    ), (
        0x00000000000000000000200000000000,
        0x0000000000000000,
        0xb625f883693ff90b,
    ), (
        0x00000000000000000000100000000000,
        0x0000000000000000,
        0x5f385ce04727618f,
    ), (
        0x00000000000000000000080000000000,
        0x0000000000000000,
        0x6b391eb5c3cf660c,
    ), (
        0x00000000000000000000040000000000,
        0x0000000000000000,
        0x2e5b3366eae2192a,
    ), (
        0x00000000000000000000020000000000,
        0x0000000000000000,
        0x587687b9ea5738b9,
    ), (
        0x00000000000000000000010000000000,
        0x0000000000000000,
        0xe83c1e95f50b1c45,
    ), (
        0x00000000000000000000008000000000,
        0x0000000000000000,
        0xa67559f516391f04,
    ), (
        0x00000000000000000000004000000000,
        0x0000000000000000,
        0x2b7012f6afacc4e7,
    ), (
        0x00000000000000000000002000000000,
        0x0000000000000000,
        0x90e9c0b1b067bf0c,
    ), (
        0x00000000000000000000001000000000,
        0x0000000000000000,
        0x9e25090b7d4ef24e,
    ), (
        0x00000000000000000000000800000000,
        0x0000000000000000,
        0xef62c1109f374aa8,
    ), (
        0x00000000000000000000000400000000,
        0x0000000000000000,
        0x1321dfb1caf0175a,
    ), (
        0x00000000000000000000000200000000,
        0x0000000000000000,
        0x5f0ccfe5eb0f19a8,
    ), (
        0x00000000000000000000000100000000,
        0x0000000000000000,
        0xfcc40014010d617c,
    ), (
        0x00000000000000000000000080000000,
        0x0000000000000000,
        0x705d780834a498da,
    ), (
        0x00000000000000000000000040000000,
        0x0000000000000000,
        0x9bca7bf025b38a68,
    ), (
        0x00000000000000000000000020000000,
        0x0000000000000000,
        0x5cf67d0181cb01c1,
    ), (
        0x00000000000000000000000010000000,
        0x0000000000000000,
        0xecde3d81820381c1,
    ), (
        0x00000000000000000000000008000000,
        0x0000000000000000,
        0x44071d0142aa8d00,
    ), (
        0x00000000000000000000000004000000,
        0x0000000000000000,
        0x76028e8175574680,
    ), (
        0x00000000000000000000000002000000,
        0x0000000000000000,
        0x4e21c741cfb4a340,
    ), (
        0x00000000000000000000000001000000,
        0x0000000000000000,
        0x8dd9e3a14d02d1a0,
    ), (
        0x00000000000000000000000000800000,
        0x0000000000000000,
        0xc781050dc4110220,
    ), (
        0x00000000000000000000000000400000,
        0x0000000000000000,
        0x6dfd0287ec4c0110,
    ), (
        0x00000000000000000000000000200000,
        0x0000000000000000,
        0x3b8a017efb61800e,
    ), (
        0x00000000000000000000000000100000,
        0x0000000000000000,
        0xa08f7f81ff627fc0,
    ), (
        0x00000000000000000000000000080000,
        0x0000000000000000,
        0x00503fc1afb93fe0,
    ), (
        0x00000000000000000000000000040000,
        0x0000000000000000,
        0x4c23f3f71bda73fa,
    ), (
        0x00000000000000000000000000020000,
        0x0000000000000000,
        0x89181efaa2ebdeff,
    ), (
        0x00000000000000000000000000010000,
        0x0000000000000000,
        0x46d371477f33b152,
    ), (
        0x00000000000000000000000000008000,
        0x0000000000000000,
        0xbe67ac7da294ca7c,
    ), (
        0x00000000000000000000000000004000,
        0x0000000000000000,
        0xa02d82caaa53b63b,
    ), (
        0x00000000000000000000000000002000,
        0x0000000000000000,
        0x7b3b1bb98486baba,
    ), (
        0x00000000000000000000000000001000,
        0x0000000000000000,
        0xfb7a48bb85a599fd,
    ), (
        0x00000000000000000000000000000800,
        0x0000000000000000,
        0xc7311f4168c070a8,
    ), (
        0x00000000000000000000000000000400,
        0x0000000000000000,
        0x96a6baa8315bf757,
    ), (
        0x00000000000000000000000000000200,
        0x0000000000000000,
        0x8c48be46c7bd823d,
    ), (
        0x00000000000000000000000000000100,
        0x0000000000000000,
        0xb409c9f9d1b8f72d,
    ), (
        0x00000000000000000000000000000080,
        0x0000000000000000,
        0x3cbb5809405ff067,
    ), (
        0x00000000000000000000000000000040,
        0x0000000000000000,
        0x7adbfa95852405d8,
    ), (
        0x00000000000000000000000000000020,
        0x0000000000000000,
        0xb9e879c7461a07e6,
    ), (
        0x00000000000000000000000000000010,
        0x0000000000000000,
        0x5e98be9aa16fd1a8,
    ), (
        0x00000000000000000000000000000008,
        0x0000000000000000,
        0xf59d85f90a42b871,
    ), (
        0x00000000000000000000000000000004,
        0x0000000000000000,
        0x24853f38c6c7bc3f,
    ), (
        0x00000000000000000000000000000002,
        0x0000000000000000,
        0x41518093035e12e9,
    ), (
        0x00000000000000000000000000000001,
        0x0000000000000000,
        0xc57adbde27bc26cf,
    ), (
        0x00000000000000000000000000000000,
        0x8000000000000000,
        0x8001000180008000,
    ), (
        0x00000000000000000000000000000000,
        0x4000000000000000,
        0xc00180014000c000,
    ), (
        0x00000000000000000000000000000000,
        0x2000000000000000,
        0x6001c00120006000,
    ), (
        0x00000000000000000000000000000000,
        0x1000000000000000,
        0x3001600190003000,
    ), (
        0x00000000000000000000000000000000,
        0x0800000000000000,
        0x18013001c8009800,
    ), (
        0x00000000000000000000000000000000,
        0x0400000000000000,
        0x8c01180164004c00,
    ), (
        0x00000000000000000000000000000000,
        0x0200000000000000,
        0x46018c0132002600,
    ), (
        0x00000000000000000000000000000000,
        0x0100000000000000,
        0x2301c60199009300,
    ), (
        0x00000000000000000000000000000000,
        0x0080000000000000,
        0x9181e3014c80c980,
    ), (
        0x00000000000000000000000000000000,
        0x0040000000000000,
        0xc8c1f1812640e4c0,
    ), (
        0x00000000000000000000000000000000,
        0x0020000000000000,
        0xe461f8c11320f260,
    ), (
        0x00000000000000000000000000000000,
        0x0010000000000000,
        0xf231fc610990f930,
    ), (
        0x00000000000000000000000000000000,
        0x0008000000000000,
        0xf919fe3104c8fc98,
    ), (
        0x00000000000000000000000000000000,
        0x0004000000000000,
        0xfc8dff190264fe4c,
    ), (
        0x00000000000000000000000000000000,
        0x0002000000000000,
        0xfe47ff8d0132ff26,
    ), (
        0x00000000000000000000000000000000,
        0x0001000000000000,
        0x0028fff5003f0013,
    ), (
        0x00000000000000000000000000000000,
        0x0000800000000000,
        0x0001800180008000,
    ), (
        0x00000000000000000000000000000000,
        0x0000400000000000,
        0x00014001c0004000,
    ), (
        0x00000000000000000000000000000000,
        0x0000200000000000,
        0x8001a0016000a000,
    ), (
        0x00000000000000000000000000000000,
        0x0000100000000000,
        0x4001d00130005000,
    ), (
        0x00000000000000000000000000000000,
        0x0000080000000000,
        0x2001e8019800a800,
    ), (
        0x00000000000000000000000000000000,
        0x0000040000000000,
        0x900174014c005400,
    ), (
        0x00000000000000000000000000000000,
        0x0000020000000000,
        0x48013a012600aa00,
    ), (
        0x00000000000000000000000000000000,
        0x0000010000000000,
        0xa4011d019300d500,
    ), (
        0x00000000000000000000000000000000,
        0x0000008000000000,
        0xd2010e81c980ea80,
    ), (
        0x00000000000000000000000000000000,
        0x0000004000000000,
        0xe9010741e4c0f540,
    ), (
        0x00000000000000000000000000000000,
        0x0000002000000000,
        0xf48103a1f260faa0,
    ), (
        0x00000000000000000000000000000000,
        0x0000001000000000,
        0xfa4101d1f930fd50,
    ), (
        0x00000000000000000000000000000000,
        0x0000000800000000,
        0xfd2100e9fc98fea8,
    ), (
        0x00000000000000000000000000000000,
        0x0000000400000000,
        0xfe910075fe4cff54,
    ), (
        0x00000000000000000000000000000000,
        0x0000000200000000,
        0xff49003bff26ffaa,
    ), (
        0x00000000000000000000000000000000,
        0x0000000100000000,
        0x0001000000010001,
    ), (
        0x00000000000000000000000000000000,
        0x0000000080000000,
        0x0001000180000000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000040000000,
        0x00010001c0000000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000020000000,
        0x8001000160000000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000010000000,
        0x4001000130008000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000008000000,
        0x200100019800c000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000004000000,
        0x100100014c00e000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000002000000,
        0x8801000126007000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000001000000,
        0x4401000193003800,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000800000,
        0x22010001c9801c00,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000400000,
        0x11010001e4c00e00,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000200000,
        0x08810001f2600700,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000100000,
        0x04410001f9300380,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000080000,
        0x02210001fc9801c0,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000040000,
        0x01110001fe4c00e0,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000020000,
        0x00890001ff260070,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000010000,
        0xffc3ff910055ff9a,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000008000,
        0x0001000100008000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000004000,
        0x0001000180004000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000002000,
        0x00018001c0002000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000001000,
        0x8001c001e0009000,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000800,
        0x400160017000c800,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000400,
        0x2001b00138006400,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000200,
        0x900158011c003200,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000100,
        0xc8012c018e009900,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000080,
        0x640116014700cc80,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000040,
        0x32010b012380e640,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000020,
        0x1901058111c0f320,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000010,
        0x0c8102c108e0f990,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000008,
        0x064101610470fcc8,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000004,
        0x032100b10238fe64,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000002,
        0x01910059011cff32,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000001,
        0x0013fff500120009,
    ), (
        0x00000000000000000000000000000000,
        0x0000000000000000,
        0x0001000100000000,
    ), (
        0x01010101010101010101010101010101,
        0x0101010101010101,
        0xe3f8aff7a3795615,
    ), (
        0x02020202020202020202020202020202,
        0x0202020202020202,
        0x93d8c66f869189b9,
    ), (
        0x03030303030303030303030303030303,
        0x0303030303030303,
        0x4fdd60e349a14800,
    ), (
        0x04040404040404040404040404040404,
        0x0404040404040404,
        0x3d6f7a5ea045e71d,
    ), (
        0x05050505050505050505050505050505,
        0x0505050505050505,
        0x13e677db2aa285d9,
    ), (
        0x06060606060606060606060606060606,
        0x0606060606060606,
        0xffd372957fd5c0d9,
    ), (
        0x07070707070707070707070707070707,
        0x0707070707070707,
        0xb970bcab7dfe96a7,
    ), (
        0x08080808080808080808080808080808,
        0x0808080808080808,
        0x283d4e47a1205bd5,
    ), (
        0x09090909090909090909090909090909,
        0x0909090909090909,
        0xc060df27cf6e0a0b,
    ), (
        0x0a0a0a0a0a0a0a0a0a0a0a0a0a0a0a0a,
        0x0a0a0a0a0a0a0a0a,
        0x7d0ff198726e70f1,
    ), (
        0x0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b,
        0x0b0b0b0b0b0b0b0b,
        0xa419a578f1d35f3e,
    ), (
        0x0c0c0c0c0c0c0c0c0c0c0c0c0c0c0c0c,
        0x0c0c0c0c0c0c0c0c,
        0xaad7e526e2580a70,
    ), (
        0x0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d,
        0x0d0d0d0d0d0d0d0d,
        0xb2fd0fd4be361d56,
    ), (
        0x0e0e0e0e0e0e0e0e0e0e0e0e0e0e0e0e,
        0x0e0e0e0e0e0e0e0e,
        0x40271eadea9f08e1,
    ), (
        0x0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f,
        0x0f0f0f0f0f0f0f0f,
        0xc0b13df73b24f9b3,
    ), (
        0x10101010101010101010101010101010,
        0x1010101010101010,
        0xedc563fc23412235,
    ), (
        0x11111111111111111111111111111111,
        0x1111111111111111,
        0xf8194b3c1d1a3f25,
    ), (
        0x12121212121212121212121212121212,
        0x1212121212121212,
        0xdcca55e8cf03811b,
    ), (
        0x13131313131313131313131313131313,
        0x1313131313131313,
        0x1b06557f2ed07402,
    ), (
        0x14141414141414141414141414141414,
        0x1414141414141414,
        0x632c42e8c0165b09,
    ), (
        0x15151515151515151515151515151515,
        0x1515151515151515,
        0x323dd1a1c7777f34,
    ), (
        0x16161616161616161616161616161616,
        0x1616161616161616,
        0xc8c6a8db3980216c,
    ), (
        0x17171717171717171717171717171717,
        0x1717171717171717,
        0x495d68c77df651b6,
    ), (
        0x18181818181818181818181818181818,
        0x1818181818181818,
        0x6c636e9f4c2d021c,
    ), (
        0x19191919191919191919191919191919,
        0x1919191919191919,
        0xf063dd2d7b2da27d,
    ), (
        0x1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a,
        0x1a1a1a1a1a1a1a1a,
        0x14a167f2db0ccb84,
    ), (
        0x1b1b1b1b1b1b1b1b1b1b1b1b1b1b1b1b,
        0x1b1b1b1b1b1b1b1b,
        0xb83ed64a8e54e188,
    ), (
        0x1c1c1c1c1c1c1c1c1c1c1c1c1c1c1c1c,
        0x1c1c1c1c1c1c1c1c,
        0xb4f70a34ed98d459,
    ), (
        0x1d1d1d1d1d1d1d1d1d1d1d1d1d1d1d1d,
        0x1d1d1d1d1d1d1d1d,
        0xb75c1d5bd1385c23,
    ), (
        0x1e1e1e1e1e1e1e1e1e1e1e1e1e1e1e1e,
        0x1e1e1e1e1e1e1e1e,
        0xb6566547359f7494,
    ), (
        0x1f1f1f1f1f1f1f1f1f1f1f1f1f1f1f1f,
        0x1f1f1f1f1f1f1f1f,
        0x36075b79ebbd781f,
    ), (
        0x20202020202020202020202020202020,
        0x2020202020202020,
        0xf61ba4a92716c708,
    ), (
        0x21212121212121212121212121212121,
        0x2121212121212121,
        0xb38ceb921e3823b3,
    ), (
        0x22222222222222222222222222222222,
        0x2222222222222222,
        0x3882c5e7d5f7e497,
    ), (
        0x23232323232323232323232323232323,
        0x2323232323232323,
        0x4503e89e7699a2d2,
    ), (
        0x24242424242424242424242424242424,
        0x2424242424242424,
        0xc67c5b150e05c359,
    ), (
        0x25252525252525252525252525252525,
        0x2525252525252525,
        0xc778ebf6c5bcf1e4,
    ), (
        0x26262626262626262626262626262626,
        0x2626262626262626,
        0xd19271386e913f79,
    ), (
        0x27272727272727272727272727272727,
        0x2727272727272727,
        0x702fc41edd909983,
    ), (
        0x28282828282828282828282828282828,
        0x2828282828282828,
        0x04c48c7c5e666014,
    ), (
        0x29292929292929292929292929292929,
        0x2929292929292929,
        0x0b4a1ed365ccc041,
    ), (
        0x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a,
        0x2a2a2a2a2a2a2a2a,
        0x2913c1a15a723869,
    ), (
        0x2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b,
        0x2b2b2b2b2b2b2b2b,
        0x19358420e3154505,
    ), (
        0x2c2c2c2c2c2c2c2c2c2c2c2c2c2c2c2c,
        0x2c2c2c2c2c2c2c2c,
        0x9e50d09ae5654a29,
    ), (
        0x2d2d2d2d2d2d2d2d2d2d2d2d2d2d2d2d,
        0x2d2d2d2d2d2d2d2d,
        0x0dd76c4e7b8d0767,
    ), (
        0x2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e,
        0x2e2e2e2e2e2e2e2e,
        0x43a609f25b31aa36,
    ), (
        0x2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f,
        0x2f2f2f2f2f2f2f2f,
        0xd2b772f1b1d8f60e,
    ), (
        0x30303030303030303030303030303030,
        0x3030303030303030,
        0x4ee30e9a0df346b7,
    ), (
        0x31313131313131313131313131313131,
        0x3131313131313131,
        0x9d452826980eeab8,
    ), (
        0x32323232323232323232323232323232,
        0x3232323232323232,
        0x8c3ecb2c44c73693,
    ), (
        0x33333333333333333333333333333333,
        0x3333333333333333,
        0x6577873efe130f55,
    ), (
        0x34343434343434343434343434343434,
        0x3434343434343434,
        0x1a21753282234fc9,
    ), (
        0x35353535353535353535353535353535,
        0x3535353535353535,
        0x56ad2ffa40d78e0a,
    ), (
        0x36363636363636363636363636363636,
        0x3636363636363636,
        0x217b6acaa3719ac7,
    ), (
        0x37373737373737373737373737373737,
        0x3737373737373737,
        0x54cf21e389d873ec,
    ), (
        0x38383838383838383838383838383838,
        0x3838383838383838,
        0xa8cde7bc4367512a,
    ), (
        0x39393939393939393939393939393939,
        0x3939393939393939,
        0x49f75c2b44652962,
    ), (
        0x3a3a3a3a3a3a3a3a3a3a3a3a3a3a3a3a,
        0x3a3a3a3a3a3a3a3a,
        0x4e779e4691b33241,
    ), (
        0x3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b,
        0x3b3b3b3b3b3b3b3b,
        0x96cd991a6034fe54,
    ), (
        0x3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c,
        0x3c3c3c3c3c3c3c3c,
        0x1b325a905570b714,
    ), (
        0x3d3d3d3d3d3d3d3d3d3d3d3d3d3d3d3d,
        0x3d3d3d3d3d3d3d3d,
        0x675be60635825668,
    ), (
        0x3e3e3e3e3e3e3e3e3e3e3e3e3e3e3e3e,
        0x3e3e3e3e3e3e3e3e,
        0xf1f2d1c907270f5b,
    ), (
        0x3f3f3f3f3f3f3f3f3f3f3f3f3f3f3f3f,
        0x3f3f3f3f3f3f3f3f,
        0xd1c024254e589bce,
    ), (
        0x40404040404040404040404040404040,
        0x4040404040404040,
        0x91f5be3409eaa3d8,
    ), (
        0x41414141414141414141414141414141,
        0x4141414141414141,
        0xb3ba47c38151c18b,
    ), (
        0x42424242424242424242424242424242,
        0x4242424242424242,
        0xaa9fa0785c870c00,
    ), (
        0x43434343434343434343434343434343,
        0x4343434343434343,
        0x331766e3a7605621,
    ), (
        0x44444444444444444444444444444444,
        0x4444444444444444,
        0xd6b31f8692eff6ad,
    ), (
        0x45454545454545454545454545454545,
        0x4545454545454545,
        0x4a7744539850da23,
    ), (
        0x46464646464646464646464646464646,
        0x4646464646464646,
        0x76f230afbd9fb3a1,
    ), (
        0x47474747474747474747474747474747,
        0x4747474747474747,
        0xcf335c8f413f87c9,
    ), (
        0x48484848484848484848484848484848,
        0x4848484848484848,
        0xbc588b35169d9581,
    ), (
        0x49494949494949494949494949494949,
        0x4949494949494949,
        0x21c5ad9b26ca5e87,
    ), (
        0x4a4a4a4a4a4a4a4a4a4a4a4a4a4a4a4a,
        0x4a4a4a4a4a4a4a4a,
        0x759a3cb94586706d,
    ), (
        0x4b4b4b4b4b4b4b4b4b4b4b4b4b4b4b4b,
        0x4b4b4b4b4b4b4b4b,
        0xea0cf5f73bdc42c7,
    ), (
        0x4c4c4c4c4c4c4c4c4c4c4c4c4c4c4c4c,
        0x4c4c4c4c4c4c4c4c,
        0xa66ec4b0fa5714ce,
    ), (
        0x4d4d4d4d4d4d4d4d4d4d4d4d4d4d4d4d,
        0x4d4d4d4d4d4d4d4d,
        0x4ea3936fc4c7433a,
    ), (
        0x4e4e4e4e4e4e4e4e4e4e4e4e4e4e4e4e,
        0x4e4e4e4e4e4e4e4e,
        0x9d3ccf22e3d48b51,
    ), (
        0x4f4f4f4f4f4f4f4f4f4f4f4f4f4f4f4f,
        0x4f4f4f4f4f4f4f4f,
        0x02208851eb243d8f,
    ), (
        0x50505050505050505050505050505050,
        0x5050505050505050,
        0x40907fa634d3c33b,
    ), (
        0x51515151515151515151515151515151,
        0x5151515151515151,
        0x90d3c0f4764a6686,
    ), (
        0x52525252525252525252525252525252,
        0x5252525252525252,
        0xcc9f85ad1d6df10d,
    ), (
        0x53535353535353535353535353535353,
        0x5353535353535353,
        0xe9a8befedd40e726,
    ), (
        0x54545454545454545454545454545454,
        0x5454545454545454,
        0x22b467da086bf29e,
    ), (
        0x55555555555555555555555555555555,
        0x5555555555555555,
        0x2f5d2595487a3b81,
    ), (
        0x56565656565656565656565656565656,
        0x5656565656565656,
        0xadb111a4096683d2,
    ), (
        0x57575757575757575757575757575757,
        0x5757575757575757,
        0x85524d410eb428ae,
    ), (
        0x58585858585858585858585858585858,
        0x5858585858585858,
        0xe289dc71f9a118c8,
    ), (
        0x59595959595959595959595959595959,
        0x5959595959595959,
        0xe97ff43a99d9f716,
    ), (
        0x5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a,
        0x5a5a5a5a5a5a5a5a,
        0xbc20b7e259f2f3aa,
    ), (
        0x5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b,
        0x5b5b5b5b5b5b5b5b,
        0xae2806a285e2586c,
    ), (
        0x5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c,
        0x5c5c5c5c5c5c5c5c,
        0x779a2ae1ace570af,
    ), (
        0x5d5d5d5d5d5d5d5d5d5d5d5d5d5d5d5d,
        0x5d5d5d5d5d5d5d5d,
        0xb4a3c6bfdcfa70f7,
    ), (
        0x5e5e5e5e5e5e5e5e5e5e5e5e5e5e5e5e,
        0x5e5e5e5e5e5e5e5e,
        0x08cd767cc9c0fb8b,
    ), (
        0x5f5f5f5f5f5f5f5f5f5f5f5f5f5f5f5f,
        0x5f5f5f5f5f5f5f5f,
        0x913bb1b547d3b685,
    ), (
        0x60606060606060606060606060606060,
        0x6060606060606060,
        0x591609401e61498d,
    ), (
        0x61616161616161616161616161616161,
        0x6161616161616161,
        0xf3a9c717a71866e0,
    ), (
        0x62626262626262626262626262626262,
        0x6262626262626262,
        0x334d792f2030928c,
    ), (
        0x63636363636363636363636363636363,
        0x6363636363636363,
        0x361a22b36a9fc1f4,
    ), (
        0x64646464646464646464646464646464,
        0x6464646464646464,
        0xacf3c17c427a15e3,
    ), (
        0x65656565656565656565656565656565,
        0x6565656565656565,
        0xfbafef7504a4dddd,
    ), (
        0x66666666666666666666666666666666,
        0x6666666666666666,
        0xc85d4510f4eb4595,
    ), (
        0x67676767676767676767676767676767,
        0x6767676767676767,
        0xb9d48c0fad2b9ba6,
    ), (
        0x68686868686868686868686868686868,
        0x6868686868686868,
        0x55d9cf94054de513,
    ), (
        0x69696969696969696969696969696969,
        0x6969696969696969,
        0x786ffd4d4b2ca270,
    ), (
        0x6a6a6a6a6a6a6a6a6a6a6a6a6a6a6a6a,
        0x6a6a6a6a6a6a6a6a,
        0x1d20c40c017b4904,
    ), (
        0x6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b,
        0x6b6b6b6b6b6b6b6b,
        0x32acf7b6774abcda,
    ), (
        0x6c6c6c6c6c6c6c6c6c6c6c6c6c6c6c6c,
        0x6c6c6c6c6c6c6c6c,
        0x3181d1aad37fa973,
    ), (
        0x6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d,
        0x6d6d6d6d6d6d6d6d,
        0xc9f9908d5ca14756,
    ), (
        0x6e6e6e6e6e6e6e6e6e6e6e6e6e6e6e6e,
        0x6e6e6e6e6e6e6e6e,
        0x160a9167191c456d,
    ), (
        0x6f6f6f6f6f6f6f6f6f6f6f6f6f6f6f6f,
        0x6f6f6f6f6f6f6f6f,
        0xc78d5e55eb420025,
    ), (
        0x70707070707070707070707070707070,
        0x7070707070707070,
        0x4c9b181d763ba5ca,
    ), (
        0x71717171717171717171717171717171,
        0x7171717171717171,
        0x4d770f1fafbf0019,
    ), (
        0x72727272727272727272727272727272,
        0x7272727272727272,
        0x06d8db7ea4005740,
    ), (
        0x73737373737373737373737373737373,
        0x7373737373737373,
        0xc2d860a18d35f087,
    ), (
        0x74747474747474747474747474747474,
        0x7474747474747474,
        0x8eaa96dea6c96e48,
    ), (
        0x75757575757575757575757575757575,
        0x7575757575757575,
        0xc8c4a259c23b150a,
    ), (
        0x76767676767676767676767676767676,
        0x7676767676767676,
        0xa173911b63612faa,
    ), (
        0x77777777777777777777777777777777,
        0x7777777777777777,
        0xd2e486d93304b9b6,
    ), (
        0x78787878787878787878787878787878,
        0x7878787878787878,
        0x2a09b1a6aac15f8b,
    ), (
        0x79797979797979797979797979797979,
        0x7979797979797979,
        0xf100c0b06d024164,
    ), (
        0x7a7a7a7a7a7a7a7a7a7a7a7a7a7a7a7a,
        0x7a7a7a7a7a7a7a7a,
        0xd0fdd5472d17df6b,
    ), (
        0x7b7b7b7b7b7b7b7b7b7b7b7b7b7b7b7b,
        0x7b7b7b7b7b7b7b7b,
        0x8fa5b5bf9189d86b,
    ), (
        0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c,
        0x7c7c7c7c7c7c7c7c,
        0xedf27a5306ae1fd0,
    ), (
        0x7d7d7d7d7d7d7d7d7d7d7d7d7d7d7d7d,
        0x7d7d7d7d7d7d7d7d,
        0xcff5571d3dbb2269,
    ), (
        0x7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e,
        0x7e7e7e7e7e7e7e7e,
        0xc75ebef66f852b22,
    ), (
        0x7f7f7f7f7f7f7f7f7f7f7f7f7f7f7f7f,
        0x7f7f7f7f7f7f7f7f,
        0xf19ac2dfa999a3dd,
    ), (
        0x80808080808080808080808080808080,
        0x8080808080808080,
        0x526b1919a9f5085a,
    ), (
        0x81818181818181818181818181818181,
        0x8181818181818181,
        0x4c700a84066f8552,
    ), (
        0x82828282828282828282828282828282,
        0x8282828282828282,
        0xc80d35576d9ef4b2,
    ), (
        0x83838383838383838383838383838383,
        0x8383838383838383,
        0x1e70d258be1b9335,
    ), (
        0x84848484848484848484848484848484,
        0x8484848484848484,
        0x48b6c4698abf63d4,
    ), (
        0x85858585858585858585858585858585,
        0x8585858585858585,
        0x2b2a0cf7447398dd,
    ), (
        0x86868686868686868686868686868686,
        0x8686868686868686,
        0x1497261b49a00d15,
    ), (
        0x87878787878787878787878787878787,
        0x8787878787878787,
        0x34293936608264f0,
    ), (
        0x88888888888888888888888888888888,
        0x8888888888888888,
        0xde0fb2981307603c,
    ), (
        0x89898989898989898989898989898989,
        0x8989898989898989,
        0x53e12a0e076e4e7b,
    ), (
        0x8a8a8a8a8a8a8a8a8a8a8a8a8a8a8a8a,
        0x8a8a8a8a8a8a8a8a,
        0xfa1524cbfda6b5cd,
    ), (
        0x8b8b8b8b8b8b8b8b8b8b8b8b8b8b8b8b,
        0x8b8b8b8b8b8b8b8b,
        0xb3b5daea96acf66f,
    ), (
        0x8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c,
        0x8c8c8c8c8c8c8c8c,
        0x87be37baba89a892,
    ), (
        0x8d8d8d8d8d8d8d8d8d8d8d8d8d8d8d8d,
        0x8d8d8d8d8d8d8d8d,
        0xb68394fe788167c5,
    ), (
        0x8e8e8e8e8e8e8e8e8e8e8e8e8e8e8e8e,
        0x8e8e8e8e8e8e8e8e,
        0x99d305c9934f4cdc,
    ), (
        0x8f8f8f8f8f8f8f8f8f8f8f8f8f8f8f8f,
        0x8f8f8f8f8f8f8f8f,
        0x9149b572b9491ff7,
    ), (
        0x90909090909090909090909090909090,
        0x9090909090909090,
        0x753b35b791741626,
    ), (
        0x91919191919191919191919191919191,
        0x9191919191919191,
        0x4dd72550f1c5454a,
    ), (
        0x92929292929292929292929292929292,
        0x9292929292929292,
        0xd753560558ac0aa7,
    ), (
        0x93939393939393939393939393939393,
        0x9393939393939393,
        0x606ff1d92f089562,
    ), (
        0x94949494949494949494949494949494,
        0x9494949494949494,
        0x92459bd1a161d30d,
    ), (
        0x95959595959595959595959595959595,
        0x9595959595959595,
        0x6351c0143049beff,
    ), (
        0x96969696969696969696969696969696,
        0x9696969696969696,
        0xfe161083da8da3b4,
    ), (
        0x97979797979797979797979797979797,
        0x9797979797979797,
        0x09e78eefe5663072,
    ), (
        0x98989898989898989898989898989898,
        0x9898989898989898,
        0xfe7edef1c82f47ae,
    ), (
        0x99999999999999999999999999999999,
        0x9999999999999999,
        0xe0defdea63ede361,
    ), (
        0x9a9a9a9a9a9a9a9a9a9a9a9a9a9a9a9a,
        0x9a9a9a9a9a9a9a9a,
        0xd9dca3371d6bc5f9,
    ), (
        0x9b9b9b9b9b9b9b9b9b9b9b9b9b9b9b9b,
        0x9b9b9b9b9b9b9b9b,
        0x60888b004ad881fb,
    ), (
        0x9c9c9c9c9c9c9c9c9c9c9c9c9c9c9c9c,
        0x9c9c9c9c9c9c9c9c,
        0xa38d5ed8aa81ae55,
    ), (
        0x9d9d9d9d9d9d9d9d9d9d9d9d9d9d9d9d,
        0x9d9d9d9d9d9d9d9d,
        0x339d10588a064416,
    ), (
        0x9e9e9e9e9e9e9e9e9e9e9e9e9e9e9e9e,
        0x9e9e9e9e9e9e9e9e,
        0x899224ddcfd99a36,
    ), (
        0x9f9f9f9f9f9f9f9f9f9f9f9f9f9f9f9f,
        0x9f9f9f9f9f9f9f9f,
        0x590377175a85af06,
    ), (
        0xa0a0a0a0a0a0a0a0a0a0a0a0a0a0a0a0,
        0xa0a0a0a0a0a0a0a0,
        0xd2cfeb2c8e3ffa42,
    ), (
        0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1,
        0xa1a1a1a1a1a1a1a1,
        0xb9ac86c539b64764,
    ), (
        0xa2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2,
        0xa2a2a2a2a2a2a2a2,
        0x5671f045487cf2ca,
    ), (
        0xa3a3a3a3a3a3a3a3a3a3a3a3a3a3a3a3,
        0xa3a3a3a3a3a3a3a3,
        0xe1f4e8f6b5c9e251,
    ), (
        0xa4a4a4a4a4a4a4a4a4a4a4a4a4a4a4a4,
        0xa4a4a4a4a4a4a4a4,
        0xacfc1f6e15c26417,
    ), (
        0xa5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5,
        0xa5a5a5a5a5a5a5a5,
        0xcf3cfd0fcc41060f,
    ), (
        0xa6a6a6a6a6a6a6a6a6a6a6a6a6a6a6a6,
        0xa6a6a6a6a6a6a6a6,
        0x77cd999cdaa028c8,
    ), (
        0xa7a7a7a7a7a7a7a7a7a7a7a7a7a7a7a7,
        0xa7a7a7a7a7a7a7a7,
        0xc87793ac3eb54812,
    ), (
        0xa8a8a8a8a8a8a8a8a8a8a8a8a8a8a8a8,
        0xa8a8a8a8a8a8a8a8,
        0x4b64309f64a4c30e,
    ), (
        0xa9a9a9a9a9a9a9a9a9a9a9a9a9a9a9a9,
        0xa9a9a9a9a9a9a9a9,
        0x69ef3527c32de353,
    ), (
        0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
        0xaaaaaaaaaaaaaaaa,
        0x0b3c3aa30e09b216,
    ), (
        0xabababababababababababababababab,
        0xabababababababab,
        0x2747ce4ae850b89e,
    ), (
        0xacacacacacacacacacacacacacacacac,
        0xacacacacacacacac,
        0x2bf63dcd10ea41a2,
    ), (
        0xadadadadadadadadadadadadadadadad,
        0xadadadadadadadad,
        0xd11eae8bdd2a31df,
    ), (
        0xaeaeaeaeaeaeaeaeaeaeaeaeaeaeaeae,
        0xaeaeaeaeaeaeaeae,
        0xdb8341fde6963165,
    ), (
        0xafafafafafafafafafafafafafafafaf,
        0xafafafafafafafaf,
        0x42e985fbba5e26f0,
    ), (
        0xb0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0,
        0xb0b0b0b0b0b0b0b0,
        0xc1fa020940df634b,
    ), (
        0xb1b1b1b1b1b1b1b1b1b1b1b1b1b1b1b1,
        0xb1b1b1b1b1b1b1b1,
        0xda7cfbc1cb8d45f7,
    ), (
        0xb2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2,
        0xb2b2b2b2b2b2b2b2,
        0x83b3cd2cb214516c,
    ), (
        0xb3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3,
        0xb3b3b3b3b3b3b3b3,
        0x26d5100cb4ebb6a0,
    ), (
        0xb4b4b4b4b4b4b4b4b4b4b4b4b4b4b4b4,
        0xb4b4b4b4b4b4b4b4,
        0x047ae61c30fa9a5c,
    ), (
        0xb5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5,
        0xb5b5b5b5b5b5b5b5,
        0x066fc02236598051,
    ), (
        0xb6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6,
        0xb6b6b6b6b6b6b6b6,
        0x440ccb69e640302b,
    ), (
        0xb7b7b7b7b7b7b7b7b7b7b7b7b7b7b7b7,
        0xb7b7b7b7b7b7b7b7,
        0x56a57125b8516a75,
    ), (
        0xb8b8b8b8b8b8b8b8b8b8b8b8b8b8b8b8,
        0xb8b8b8b8b8b8b8b8,
        0xa653f6a73b3e6b5e,
    ), (
        0xb9b9b9b9b9b9b9b9b9b9b9b9b9b9b9b9,
        0xb9b9b9b9b9b9b9b9,
        0x4b5384f3ada500f1,
    ), (
        0xbabababababababababababababababa,
        0xbabababababababa,
        0x54e7a8feda7c0df0,
    ), (
        0xbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
        0xbbbbbbbbbbbbbbbb,
        0x29d79357b5726efc,
    ), (
        0xbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbc,
        0xbcbcbcbcbcbcbcbc,
        0x93057429d244c88b,
    ), (
        0xbdbdbdbdbdbdbdbdbdbdbdbdbdbdbdbd,
        0xbdbdbdbdbdbdbdbd,
        0xb36f0e7b57a5574b,
    ), (
        0xbebebebebebebebebebebebebebebebe,
        0xbebebebebebebebe,
        0x18430fd744ebe618,
    ), (
        0xbfbfbfbfbfbfbfbfbfbfbfbfbfbfbfbf,
        0xbfbfbfbfbfbfbfbf,
        0x3736f16946f6dfd2,
    ), (
        0xc0c0c0c0c0c0c0c0c0c0c0c0c0c0c0c0,
        0xc0c0c0c0c0c0c0c0,
        0x272aaa5c14bc3aa6,
    ), (
        0xc1c1c1c1c1c1c1c1c1c1c1c1c1c1c1c1,
        0xc1c1c1c1c1c1c1c1,
        0xba96dad61640feb6,
    ), (
        0xc2c2c2c2c2c2c2c2c2c2c2c2c2c2c2c2,
        0xc2c2c2c2c2c2c2c2,
        0x274d4acbe4ed5e65,
    ), (
        0xc3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3,
        0xc3c3c3c3c3c3c3c3,
        0x8028a6c19bfb4585,
    ), (
        0xc4c4c4c4c4c4c4c4c4c4c4c4c4c4c4c4,
        0xc4c4c4c4c4c4c4c4,
        0x392123db00472530,
    ), (
        0xc5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5,
        0xc5c5c5c5c5c5c5c5,
        0xe2cb0f8c53085e40,
    ), (
        0xc6c6c6c6c6c6c6c6c6c6c6c6c6c6c6c6,
        0xc6c6c6c6c6c6c6c6,
        0x1043137a9370cc3e,
    ), (
        0xc7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7,
        0xc7c7c7c7c7c7c7c7,
        0x36ef8af8599f9304,
    ), (
        0xc8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8,
        0xc8c8c8c8c8c8c8c8,
        0xec8549dff44c09c1,
    ), (
        0xc9c9c9c9c9c9c9c9c9c9c9c9c9c9c9c9,
        0xc9c9c9c9c9c9c9c9,
        0x78a1d8e55d8990df,
    ), (
        0xcacacacacacacacacacacacacacacaca,
        0xcacacacacacacaca,
        0x2e0f4a961fb95229,
    ), (
        0xcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcb,
        0xcbcbcbcbcbcbcbcb,
        0x2ea46d330ea675d4,
    ), (
        0xcccccccccccccccccccccccccccccccc,
        0xcccccccccccccccc,
        0xab6e3b2c903b0719,
    ), (
        0xcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcd,
        0xcdcdcdcdcdcdcdcd,
        0x4627becc1050e51c,
    ), (
        0xcececececececececececececececece,
        0xcececececececece,
        0xa1cde06d6def1598,
    ), (
        0xcfcfcfcfcfcfcfcfcfcfcfcfcfcfcfcf,
        0xcfcfcfcfcfcfcfcf,
        0xedc2e88f4abf46f5,
    ), (
        0xd0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0,
        0xd0d0d0d0d0d0d0d0,
        0xab0921f002272d9a,
    ), (
        0xd1d1d1d1d1d1d1d1d1d1d1d1d1d1d1d1,
        0xd1d1d1d1d1d1d1d1,
        0xee89abba0f5fc976,
    ), (
        0xd2d2d2d2d2d2d2d2d2d2d2d2d2d2d2d2,
        0xd2d2d2d2d2d2d2d2,
        0x1ddc4fd0c5f087be,
    ), (
        0xd3d3d3d3d3d3d3d3d3d3d3d3d3d3d3d3,
        0xd3d3d3d3d3d3d3d3,
        0x721db8ca349fe6b8,
    ), (
        0xd4d4d4d4d4d4d4d4d4d4d4d4d4d4d4d4,
        0xd4d4d4d4d4d4d4d4,
        0xc7a120cb6da70346,
    ), (
        0xd5d5d5d5d5d5d5d5d5d5d5d5d5d5d5d5,
        0xd5d5d5d5d5d5d5d5,
        0x75f7c7005ea47839,
    ), (
        0xd6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6,
        0xd6d6d6d6d6d6d6d6,
        0x933bf0248f4b22e3,
    ), (
        0xd7d7d7d7d7d7d7d7d7d7d7d7d7d7d7d7,
        0xd7d7d7d7d7d7d7d7,
        0xf07105d5eeffd3ec,
    ), (
        0xd8d8d8d8d8d8d8d8d8d8d8d8d8d8d8d8,
        0xd8d8d8d8d8d8d8d8,
        0x77c484a7f07af3bb,
    ), (
        0xd9d9d9d9d9d9d9d9d9d9d9d9d9d9d9d9,
        0xd9d9d9d9d9d9d9d9,
        0xbe63cebe5679a85c,
    ), (
        0xdadadadadadadadadadadadadadadada,
        0xdadadadadadadada,
        0xe65d8b23e23c4e6d,
    ), (
        0xdbdbdbdbdbdbdbdbdbdbdbdbdbdbdbdb,
        0xdbdbdbdbdbdbdbdb,
        0x4b0d4ad2ebc84eff,
    ), (
        0xdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdc,
        0xdcdcdcdcdcdcdcdc,
        0xebd6a238089d647a,
    ), (
        0xdddddddddddddddddddddddddddddddd,
        0xdddddddddddddddd,
        0xea689855abc54be9,
    ), (
        0xdededededededededededededededede,
        0xdededededededede,
        0x238296946aae639c,
    ), (
        0xdfdfdfdfdfdfdfdfdfdfdfdfdfdfdfdf,
        0xdfdfdfdfdfdfdfdf,
        0x085514ded80d6d11,
    ), (
        0xe0e0e0e0e0e0e0e0e0e0e0e0e0e0e0e0,
        0xe0e0e0e0e0e0e0e0,
        0x4c9faf546bb09f7d,
    ), (
        0xe1e1e1e1e1e1e1e1e1e1e1e1e1e1e1e1,
        0xe1e1e1e1e1e1e1e1,
        0xc28e6ee5bf3fa2e1,
    ), (
        0xe2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2,
        0xe2e2e2e2e2e2e2e2,
        0xfbb2548bc3dcfb4c,
    ), (
        0xe3e3e3e3e3e3e3e3e3e3e3e3e3e3e3e3,
        0xe3e3e3e3e3e3e3e3,
        0x56b7aa03853e734f,
    ), (
        0xe4e4e4e4e4e4e4e4e4e4e4e4e4e4e4e4,
        0xe4e4e4e4e4e4e4e4,
        0x70b0f380adea55a3,
    ), (
        0xe5e5e5e5e5e5e5e5e5e5e5e5e5e5e5e5,
        0xe5e5e5e5e5e5e5e5,
        0x15e7182235a91be9,
    ), (
        0xe6e6e6e6e6e6e6e6e6e6e6e6e6e6e6e6,
        0xe6e6e6e6e6e6e6e6,
        0x642960cd5a9c0326,
    ), (
        0xe7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7,
        0xe7e7e7e7e7e7e7e7,
        0x0ef506ab845d4183,
    ), (
        0xe8e8e8e8e8e8e8e8e8e8e8e8e8e8e8e8,
        0xe8e8e8e8e8e8e8e8,
        0xcf1e13f825c72d69,
    ), (
        0xe9e9e9e9e9e9e9e9e9e9e9e9e9e9e9e9,
        0xe9e9e9e9e9e9e9e9,
        0x95c30ef3c983ee5a,
    ), (
        0xeaeaeaeaeaeaeaeaeaeaeaeaeaeaeaea,
        0xeaeaeaeaeaeaeaea,
        0x450da77d932ea463,
    ), (
        0xebebebebebebebebebebebebebebebeb,
        0xebebebebebebebeb,
        0x541f51337c3c01c6,
    ), (
        0xecececececececececececececececec,
        0xecececececececec,
        0x0a22773b4a2e642f,
    ), (
        0xedededededededededededededededed,
        0xedededededededed,
        0x8e693227b920cdf5,
    ), (
        0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee,
        0xeeeeeeeeeeeeeeee,
        0x3fe734b14d289987,
    ), (
        0xefefefefefefefefefefefefefefefef,
        0xefefefefefefefef,
        0x189508cefb37c933,
    ), (
        0xf0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0,
        0xf0f0f0f0f0f0f0f0,
        0x1aaff239fefa4f4f,
    ), (
        0xf1f1f1f1f1f1f1f1f1f1f1f1f1f1f1f1,
        0xf1f1f1f1f1f1f1f1,
        0x5475cb058eec4990,
    ), (
        0xf2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f2,
        0xf2f2f2f2f2f2f2f2,
        0xe9e66f99002b96c7,
    ), (
        0xf3f3f3f3f3f3f3f3f3f3f3f3f3f3f3f3,
        0xf3f3f3f3f3f3f3f3,
        0xc67076d06a3c184c,
    ), (
        0xf4f4f4f4f4f4f4f4f4f4f4f4f4f4f4f4,
        0xf4f4f4f4f4f4f4f4,
        0x3705aee3d95ef7d6,
    ), (
        0xf5f5f5f5f5f5f5f5f5f5f5f5f5f5f5f5,
        0xf5f5f5f5f5f5f5f5,
        0x9e8b984dd82c4061,
    ), (
        0xf6f6f6f6f6f6f6f6f6f6f6f6f6f6f6f6,
        0xf6f6f6f6f6f6f6f6,
        0x4738c2be9cdd7a95,
    ), (
        0xf7f7f7f7f7f7f7f7f7f7f7f7f7f7f7f7,
        0xf7f7f7f7f7f7f7f7,
        0x8e13c368f53e55af,
    ), (
        0xf8f8f8f8f8f8f8f8f8f8f8f8f8f8f8f8,
        0xf8f8f8f8f8f8f8f8,
        0x69269091d1f6d10f,
    ), (
        0xf9f9f9f9f9f9f9f9f9f9f9f9f9f9f9f9,
        0xf9f9f9f9f9f9f9f9,
        0xd039cdc8f806d0db,
    ), (
        0xfafafafafafafafafafafafafafafafa,
        0xfafafafafafafafa,
        0x52009461e4f37f47,
    ), (
        0xfbfbfbfbfbfbfbfbfbfbfbfbfbfbfbfb,
        0xfbfbfbfbfbfbfbfb,
        0x08b02b3f76889032,
    ), (
        0xfcfcfcfcfcfcfcfcfcfcfcfcfcfcfcfc,
        0xfcfcfcfcfcfcfcfc,
        0x77e9d9405d35f1cc,
    ), (
        0xfdfdfdfdfdfdfdfdfdfdfdfdfdfdfdfd,
        0xfdfdfdfdfdfdfdfd,
        0x1a10e3f318aeda9a,
    ), (
        0xfefefefefefefefefefefefefefefefe,
        0xfefefefefefefefe,
        0xdc6d99012dc01e0b,
    ), (
        0xffffffffffffffffffffffffffffffff,
        0xffffffffffffffff,
        0xcd1ab2c1211041fb,
    ), (
        0x000102030405060708090a0b0c0d0e0f,
        0x0011223344556677,
        0xf526ab9a62c0d258,
    ), (
        0x2bd6459f82c5b300952c49104881ff48,
        0xea024714ad5c4d84,
        0xc8fb51d3516627a8,
    ), (
        0x80000000000000000000000000000000,
        0x78071ee87f0130e8,
        0x0000000000000000,
    ), (
        0x40000000000000000000000000000000,
        0x98aa167965b52792,
        0x0000000000000000,
    ), (
        0x20000000000000000000000000000000,
        0x20bc104058293c2d,
        0x0000000000000000,
    ), (
        0x10000000000000000000000000000000,
        0x6050001ffa1a0219,
        0x0000000000000000,
    ), (
        0x08000000000000000000000000000000,
        0x51d07eab030c7ba3,
        0x0000000000000000,
    ), (
        0x04000000000000000000000000000000,
        0x5c2db4e17368c7b4,
        0x0000000000000000,
    ), (
        0x02000000000000000000000000000000,
        0x702ad34db37c6e58,
        0x0000000000000000,
    ), (
        0x01000000000000000000000000000000,
        0x82997fedeb622dac,
        0x0000000000000000,
    ), (
        0x00800000000000000000000000000000,
        0x00f29b90ef196f2e,
        0x0000000000000000,
    ), (
        0x00400000000000000000000000000000,
        0x50156b3387228984,
        0x0000000000000000,
    ), (
        0x00200000000000000000000000000000,
        0x0f41e41cf1e31023,
        0x0000000000000000,
    ), (
        0x00100000000000000000000000000000,
        0x424f1393c36c787d,
        0x0000000000000000,
    ), (
        0x00080000000000000000000000000000,
        0xaec2f7df4625d267,
        0x0000000000000000,
    ), (
        0x00040000000000000000000000000000,
        0x1dcf880d88a40cc0,
        0x0000000000000000,
    ), (
        0x00020000000000000000000000000000,
        0x7b4711086141dddf,
        0x0000000000000000,
    ), (
        0x00010000000000000000000000000000,
        0xb505d373fbf27c39,
        0x0000000000000000,
    ), (
        0x00008000000000000000000000000000,
        0x14d47c44835eeb99,
        0x0000000000000000,
    ), (
        0x00004000000000000000000000000000,
        0xe5a7e81cecc9b474,
        0x0000000000000000,
    ), (
        0x00002000000000000000000000000000,
        0x3a11c283da6f60c9,
        0x0000000000000000,
    ), (
        0x00001000000000000000000000000000,
        0x71eae2049e1887ee,
        0x0000000000000000,
    ), (
        0x00000800000000000000000000000000,
        0x9b437a81e33694d5,
        0x0000000000000000,
    ), (
        0x00000400000000000000000000000000,
        0x27a1ba81e070a4eb,
        0x0000000000000000,
    ), (
        0x00000200000000000000000000000000,
        0xe9173ef408c4ddb7,
        0x0000000000000000,
    ), (
        0x00000100000000000000000000000000,
        0x01834e54ce64f9ce,
        0x0000000000000000,
    ), (
        0x00000080000000000000000000000000,
        0x7bb7655098fa86ad,
        0x0000000000000000,
    ), (
        0x00000040000000000000000000000000,
        0xbc42a5f19507f0d9,
        0x0000000000000000,
    ), (
        0x00000020000000000000000000000000,
        0x72473c47fe650f94,
        0x0000000000000000,
    ), (
        0x00000010000000000000000000000000,
        0x415d572e8b0c411a,
        0x0000000000000000,
    ), (
        0x00000008000000000000000000000000,
        0x937fc76683ba171a,
        0x0000000000000000,
    ), (
        0x00000004000000000000000000000000,
        0x412689c8c42ce82a,
        0x0000000000000000,
    ), (
        0x00000002000000000000000000000000,
        0x668590908bc18834,
        0x0000000000000000,
    ), (
        0x00000001000000000000000000000000,
        0xacdfb787978b4dc2,
        0x0000000000000000,
    ), (
        0x00000000800000000000000000000000,
        0xcea444c8ce44c2c2,
        0x0000000000000000,
    ), (
        0x00000000400000000000000000000000,
        0xf8f9a74f773af827,
        0x0000000000000000,
    ), (
        0x00000000200000000000000000000000,
        0xff3000af4087bf1f,
        0x0000000000000000,
    ), (
        0x00000000100000000000000000000000,
        0x4f1d2f78e00ed078,
        0x0000000000000000,
    ), (
        0x00000000080000000000000000000000,
        0x020c060173f57df3,
        0x0000000000000000,
    ), (
        0x00000000040000000000000000000000,
        0xc11da87bd6174883,
        0x0000000000000000,
    ), (
        0x00000000020000000000000000000000,
        0xd73ccb416ec3923a,
        0x0000000000000000,
    ), (
        0x00000000010000000000000000000000,
        0x1d8a3c51e599bdc0,
        0x0000000000000000,
    ), (
        0x00000000008000000000000000000000,
        0x4f78a0b0420f1f5e,
        0x0000000000000000,
    ), (
        0x00000000004000000000000000000000,
        0x9f0f377c3ebc7823,
        0x0000000000000000,
    ), (
        0x00000000002000000000000000000000,
        0xcfd6afab61ed7408,
        0x0000000000000000,
    ), (
        0x00000000001000000000000000000000,
        0xf764e0629c53720d,
        0x0000000000000000,
    ), (
        0x00000000000800000000000000000000,
        0xf596df8b7e63100c,
        0x0000000000000000,
    ), (
        0x00000000000400000000000000000000,
        0xcea11289498d2f95,
        0x0000000000000000,
    ), (
        0x00000000000200000000000000000000,
        0x8569b4195f87b731,
        0x0000000000000000,
    ), (
        0x00000000000100000000000000000000,
        0x2f39c8595258c9a1,
        0x0000000000000000,
    ), (
        0x00000000000080000000000000000000,
        0xb0bb70b7e277e269,
        0x0000000000000000,
    ), (
        0x00000000000040000000000000000000,
        0x9fc141f1a64190c1,
        0x0000000000000000,
    ), (
        0x00000000000020000000000000000000,
        0xc8d5bf3d72650600,
        0x0000000000000000,
    ), (
        0x00000000000010000000000000000000,
        0x30fae75f0cce0174,
        0x0000000000000000,
    ), (
        0x00000000000008000000000000000000,
        0x102260b390107e64,
        0x0000000000000000,
    ), (
        0x00000000000004000000000000000000,
        0x90d3477061f8fb40,
        0x0000000000000000,
    ), (
        0x00000000000002000000000000000000,
        0xfd4fbb0ad84300a0,
        0x0000000000000000,
    ), (
        0x00000000000001000000000000000000,
        0xb07ffd863edc3b04,
        0x0000000000000000,
    ), (
        0x00000000000000800000000000000000,
        0x9429e1c4642f1250,
        0x0000000000000000,
    ), (
        0x00000000000000400000000000000000,
        0x9da0130beff2ee23,
        0x0000000000000000,
    ), (
        0x00000000000000200000000000000000,
        0x3cfc0000f7fe3198,
        0x0000000000000000,
    ), (
        0x00000000000000100000000000000000,
        0xdc2bbbbb956c9720,
        0x0000000000000000,
    ), (
        0x00000000000000080000000000000000,
        0x5cf6cdb2e90cc73a,
        0x0000000000000000,
    ), (
        0x00000000000000040000000000000000,
        0x460640f5067ca894,
        0x0000000000000000,
    ), (
        0x00000000000000020000000000000000,
        0x9ac3397bb3c0e08d,
        0x0000000000000000,
    ), (
        0x00000000000000010000000000000000,
        0x5dff62ff39e86e59,
        0x0000000000000000,
    ), (
        0x00000000000000008000000000000000,
        0xd03652efaebde7c4,
        0x0000000000000000,
    ), (
        0x00000000000000004000000000000000,
        0xc975419434dc59e9,
        0x0000000000000000,
    ), (
        0x00000000000000002000000000000000,
        0x08c2f2a853e65b62,
        0x0000000000000000,
    ), (
        0x00000000000000001000000000000000,
        0xd06933570adf1770,
        0x0000000000000000,
    ), (
        0x00000000000000000800000000000000,
        0x982dae603bd972b6,
        0x0000000000000000,
    ), (
        0x00000000000000000400000000000000,
        0x82d1c2079912e6ab,
        0x0000000000000000,
    ), (
        0x00000000000000000200000000000000,
        0x5bd0a6c11a41c763,
        0x0000000000000000,
    ), (
        0x00000000000000000100000000000000,
        0x6cd4381a523716f0,
        0x0000000000000000,
    ), (
        0x00000000000000000080000000000000,
        0x6a9ef2f77de21d8e,
        0x0000000000000000,
    ), (
        0x00000000000000000040000000000000,
        0x0553f2da029cf102,
        0x0000000000000000,
    ), (
        0x00000000000000000020000000000000,
        0x2ce768e22ed768b8,
        0x0000000000000000,
    ), (
        0x00000000000000000010000000000000,
        0xf085e604e26c0ab4,
        0x0000000000000000,
    ), (
        0x00000000000000000008000000000000,
        0x966b11ef02176a6e,
        0x0000000000000000,
    ), (
        0x00000000000000000004000000000000,
        0xe1bd49b0c0534cee,
        0x0000000000000000,
    ), (
        0x00000000000000000002000000000000,
        0xeb208ccac317a132,
        0x0000000000000000,
    ), (
        0x00000000000000000001000000000000,
        0x03797c90bf07c736,
        0x0000000000000000,
    ), (
        0x00000000000000000000800000000000,
        0x9640966a738a706c,
        0x0000000000000000,
    ), (
        0x00000000000000000000400000000000,
        0xce989dd00307ad8b,
        0x0000000000000000,
    ), (
        0x00000000000000000000200000000000,
        0xdaa2c4be43d75bb7,
        0x0000000000000000,
    ), (
        0x00000000000000000000100000000000,
        0x91b53f1bdf3afbd6,
        0x0000000000000000,
    ), (
        0x00000000000000000000080000000000,
        0x90740a948e9e3b93,
        0x0000000000000000,
    ), (
        0x00000000000000000000040000000000,
        0x67169672c0caf670,
        0x0000000000000000,
    ), (
        0x00000000000000000000020000000000,
        0x2f123f48482c5f12,
        0x0000000000000000,
    ), (
        0x00000000000000000000010000000000,
        0x0adad627f50721fb,
        0x0000000000000000,
    ), (
        0x00000000000000000000008000000000,
        0xdb6e9e3b7612560a,
        0x0000000000000000,
    ), (
        0x00000000000000000000004000000000,
        0xd721d05aefcaa18e,
        0x0000000000000000,
    ), (
        0x00000000000000000000002000000000,
        0xb4a5e438241d67a6,
        0x0000000000000000,
    ), (
        0x00000000000000000000001000000000,
        0x7b44667d1e796531,
        0x0000000000000000,
    ), (
        0x00000000000000000000000800000000,
        0xe698be39aea13c79,
        0x0000000000000000,
    ), (
        0x00000000000000000000000400000000,
        0xfaa7517dbf38ab35,
        0x0000000000000000,
    ), (
        0x00000000000000000000000200000000,
        0x106eec176ece4259,
        0x0000000000000000,
    ), (
        0x00000000000000000000000100000000,
        0x8fa2d68b88d85e2b,
        0x0000000000000000,
    ), (
        0x00000000000000000000000080000000,
        0xe3c1ed0efc4f6f38,
        0x0000000000000000,
    ), (
        0x00000000000000000000000040000000,
        0x7c4d85f6b673184c,
        0x0000000000000000,
    ), (
        0x00000000000000000000000020000000,
        0x75ad06e940cb6ecb,
        0x0000000000000000,
    ), (
        0x00000000000000000000000010000000,
        0xf6d58769dc0f7d8b,
        0x0000000000000000,
    ), (
        0x00000000000000000000000008000000,
        0x36b001bdd4918eef,
        0x0000000000000000,
    ), (
        0x00000000000000000000000004000000,
        0x89f000ddda93b90f,
        0x0000000000000000,
    ), (
        0x00000000000000000000000002000000,
        0x6af0006dc391471f,
        0x0000000000000000,
    ), (
        0x00000000000000000000000001000000,
        0x6ee08035b72bf227,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000800000,
        0xde18c019ddb10dcb,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000400000,
        0x0579e00b945ed0b2,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000200000,
        0xe2d5f6e83fbbe35d,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000100000,
        0xcbe37b75a281f1ae,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000080000,
        0xf0903db58beff8cf,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000040000,
        0x71519ce10ab17a10,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000020000,
        0x5c694e7137f93d08,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000010000,
        0xadb5a739ee1d1e84,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000008000,
        0x6cdbd39d32ce0f42,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000004000,
        0x364ae9d1995d07c1,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000002000,
        0x9b3774e9ccb083e0,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000001000,
        0xcc004681fe204800,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000800,
        0x25012041f810e200,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000400,
        0xcf81092125081100,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000200,
        0xe4c1019111840880,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000100,
        0xe76105c915c20c40,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000080,
        0xf4bb07e11a0b0e1a,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000040,
        0xf75986f389f08110,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000020,
        0xf9a7466c4600406a,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000010,
        0xf9ef2643265c205b,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000008,
        0xc1df2ddb127cdfe1,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000004,
        0x8a1495e062113be9,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000002,
        0x8a2ad21859d1e3e1,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000001,
        0xf61d37ec1c099de5,
        0x0000000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x8001000180008000,
        0x8000000000000000,
    ), (
        0x00000000000000000000000000000000,
        0xc00180014000c000,
        0x4000000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x6001c00120006000,
        0x2000000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x3001600190003000,
        0x1000000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x18013001c8009800,
        0x0800000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x8c01180164004c00,
        0x0400000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x46018c0132002600,
        0x0200000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x2301c60199009300,
        0x0100000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x9181e3014c80c980,
        0x0080000000000000,
    ), (
        0x00000000000000000000000000000000,
        0xc8c1f1812640e4c0,
        0x0040000000000000,
    ), (
        0x00000000000000000000000000000000,
        0xe461f8c11320f260,
        0x0020000000000000,
    ), (
        0x00000000000000000000000000000000,
        0xf231fc610990f930,
        0x0010000000000000,
    ), (
        0x00000000000000000000000000000000,
        0xf919fe3104c8fc98,
        0x0008000000000000,
    ), (
        0x00000000000000000000000000000000,
        0xfc8dff190264fe4c,
        0x0004000000000000,
    ), (
        0x00000000000000000000000000000000,
        0xfe47ff8d0132ff26,
        0x0002000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x0028fff5003f0013,
        0x0001000000000000,
    ), (
        0x00000000000000000000000000000000,
        0x0001800180008000,
        0x0000800000000000,
    ), (
        0x00000000000000000000000000000000,
        0x00014001c0004000,
        0x0000400000000000,
    ), (
        0x00000000000000000000000000000000,
        0x8001a0016000a000,
        0x0000200000000000,
    ), (
        0x00000000000000000000000000000000,
        0x4001d00130005000,
        0x0000100000000000,
    ), (
        0x00000000000000000000000000000000,
        0x2001e8019800a800,
        0x0000080000000000,
    ), (
        0x00000000000000000000000000000000,
        0x900174014c005400,
        0x0000040000000000,
    ), (
        0x00000000000000000000000000000000,
        0x48013a012600aa00,
        0x0000020000000000,
    ), (
        0x00000000000000000000000000000000,
        0xa4011d019300d500,
        0x0000010000000000,
    ), (
        0x00000000000000000000000000000000,
        0xd2010e81c980ea80,
        0x0000008000000000,
    ), (
        0x00000000000000000000000000000000,
        0xe9010741e4c0f540,
        0x0000004000000000,
    ), (
        0x00000000000000000000000000000000,
        0xf48103a1f260faa0,
        0x0000002000000000,
    ), (
        0x00000000000000000000000000000000,
        0xfa4101d1f930fd50,
        0x0000001000000000,
    ), (
        0x00000000000000000000000000000000,
        0xfd2100e9fc98fea8,
        0x0000000800000000,
    ), (
        0x00000000000000000000000000000000,
        0xfe910075fe4cff54,
        0x0000000400000000,
    ), (
        0x00000000000000000000000000000000,
        0xff49003bff26ffaa,
        0x0000000200000000,
    ), (
        0x00000000000000000000000000000000,
        0x0001000000010001,
        0x0000000100000000,
    ), (
        0x00000000000000000000000000000000,
        0x0001000180000000,
        0x0000000080000000,
    ), (
        0x00000000000000000000000000000000,
        0x00010001c0000000,
        0x0000000040000000,
    ), (
        0x00000000000000000000000000000000,
        0x8001000160000000,
        0x0000000020000000,
    ), (
        0x00000000000000000000000000000000,
        0x4001000130008000,
        0x0000000010000000,
    ), (
        0x00000000000000000000000000000000,
        0x200100019800c000,
        0x0000000008000000,
    ), (
        0x00000000000000000000000000000000,
        0x100100014c00e000,
        0x0000000004000000,
    ), (
        0x00000000000000000000000000000000,
        0x8801000126007000,
        0x0000000002000000,
    ), (
        0x00000000000000000000000000000000,
        0x4401000193003800,
        0x0000000001000000,
    ), (
        0x00000000000000000000000000000000,
        0x22010001c9801c00,
        0x0000000000800000,
    ), (
        0x00000000000000000000000000000000,
        0x11010001e4c00e00,
        0x0000000000400000,
    ), (
        0x00000000000000000000000000000000,
        0x08810001f2600700,
        0x0000000000200000,
    ), (
        0x00000000000000000000000000000000,
        0x04410001f9300380,
        0x0000000000100000,
    ), (
        0x00000000000000000000000000000000,
        0x02210001fc9801c0,
        0x0000000000080000,
    ), (
        0x00000000000000000000000000000000,
        0x01110001fe4c00e0,
        0x0000000000040000,
    ), (
        0x00000000000000000000000000000000,
        0x00890001ff260070,
        0x0000000000020000,
    ), (
        0x00000000000000000000000000000000,
        0xffc3ff910055ff9a,
        0x0000000000010000,
    ), (
        0x00000000000000000000000000000000,
        0x0001000100008000,
        0x0000000000008000,
    ), (
        0x00000000000000000000000000000000,
        0x0001000180004000,
        0x0000000000004000,
    ), (
        0x00000000000000000000000000000000,
        0x00018001c0002000,
        0x0000000000002000,
    ), (
        0x00000000000000000000000000000000,
        0x8001c001e0009000,
        0x0000000000001000,
    ), (
        0x00000000000000000000000000000000,
        0x400160017000c800,
        0x0000000000000800,
    ), (
        0x00000000000000000000000000000000,
        0x2001b00138006400,
        0x0000000000000400,
    ), (
        0x00000000000000000000000000000000,
        0x900158011c003200,
        0x0000000000000200,
    ), (
        0x00000000000000000000000000000000,
        0xc8012c018e009900,
        0x0000000000000100,
    ), (
        0x00000000000000000000000000000000,
        0x640116014700cc80,
        0x0000000000000080,
    ), (
        0x00000000000000000000000000000000,
        0x32010b012380e640,
        0x0000000000000040,
    ), (
        0x00000000000000000000000000000000,
        0x1901058111c0f320,
        0x0000000000000020,
    ), (
        0x00000000000000000000000000000000,
        0x0c8102c108e0f990,
        0x0000000000000010,
    ), (
        0x00000000000000000000000000000000,
        0x064101610470fcc8,
        0x0000000000000008,
    ), (
        0x00000000000000000000000000000000,
        0x032100b10238fe64,
        0x0000000000000004,
    ), (
        0x00000000000000000000000000000000,
        0x01910059011cff32,
        0x0000000000000002,
    ), (
        0x00000000000000000000000000000000,
        0x0013fff500120009,
        0x0000000000000001,
    ), (
        0x00000000000000000000000000000000,
        0x0001000100000000,
        0x0000000000000000,
    ), (
        0x01010101010101010101010101010101,
        0x6d33179ce8b3c1fa,
        0x0101010101010101,
    ), (
        0x02020202020202020202020202020202,
        0xdf163e38ad71a489,
        0x0202020202020202,
    ), (
        0x03030303030303030303030303030303,
        0xa74ab61fe64ccd14,
        0x0303030303030303,
    ), (
        0x04040404040404040404040404040404,
        0xdecd1268ce7b3cd5,
        0x0404040404040404,
    ), (
        0x05050505050505050505050505050505,
        0xe2f73c827cc38e67,
        0x0505050505050505,
    ), (
        0x06060606060606060606060606060606,
        0xfa93be07e3b0e09c,
        0x0606060606060606,
    ), (
        0x07070707070707070707070707070707,
        0xab246ac5aade1b14,
        0x0707070707070707,
    ), (
        0x08080808080808080808080808080808,
        0xac0c17067c0da182,
        0x0808080808080808,
    ), (
        0x09090909090909090909090909090909,
        0xee0ea8a773be26c6,
        0x0909090909090909,
    ), (
        0x0a0a0a0a0a0a0a0a0a0a0a0a0a0a0a0a,
        0x95bf40e823fb39c1,
        0x0a0a0a0a0a0a0a0a,
    ), (
        0x0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b,
        0xeb316aa4993c68c6,
        0x0b0b0b0b0b0b0b0b,
    ), (
        0x0c0c0c0c0c0c0c0c0c0c0c0c0c0c0c0c,
        0xe2c7d821ac4ad86c,
        0x0c0c0c0c0c0c0c0c,
    ), (
        0x0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d,
        0x7514a54ba6cfa933,
        0x0d0d0d0d0d0d0d0d,
    ), (
        0x0e0e0e0e0e0e0e0e0e0e0e0e0e0e0e0e,
        0x2e5a8279a756def4,
        0x0e0e0e0e0e0e0e0e,
    ), (
        0x0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f,
        0xf124018c83415ff3,
        0x0f0f0f0f0f0f0f0f,
    ), (
        0x10101010101010101010101010101010,
        0x21d3f5bc44e9e1f1,
        0x1010101010101010,
    ), (
        0x11111111111111111111111111111111,
        0x3a1d3b4db127c8b7,
        0x1111111111111111,
    ), (
        0x12121212121212121212121212121212,
        0x2497189242cdb152,
        0x1212121212121212,
    ), (
        0x13131313131313131313131313131313,
        0xdfc779d8613ecf5d,
        0x1313131313131313,
    ), (
        0x14141414141414141414141414141414,
        0xffe36a1199f71ad9,
        0x1414141414141414,
    ), (
        0x15151515151515151515151515151515,
        0xe34f99d4b42f4ddb,
        0x1515151515151515,
    ), (
        0x16161616161616161616161616161616,
        0xe7a3ce5041458e86,
        0x1616161616161616,
    ), (
        0x17171717171717171717171717171717,
        0x607ee74a70676dab,
        0x1717171717171717,
    ), (
        0x18181818181818181818181818181818,
        0xe89c1bd91c5ce63b,
        0x1818181818181818,
    ), (
        0x19191919191919191919191919191919,
        0xb679df3338c7cee9,
        0x1919191919191919,
    ), (
        0x1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a,
        0xb66bc9876ba3a6b8,
        0x1a1a1a1a1a1a1a1a,
    ), (
        0x1b1b1b1b1b1b1b1b1b1b1b1b1b1b1b1b,
        0xea695916687862a9,
        0x1b1b1b1b1b1b1b1b,
    ), (
        0x1c1c1c1c1c1c1c1c1c1c1c1c1c1c1c1c,
        0xc4f9da6928bfdb2c,
        0x1c1c1c1c1c1c1c1c,
    ), (
        0x1d1d1d1d1d1d1d1d1d1d1d1d1d1d1d1d,
        0x4d068b78c0b1f45b,
        0x1d1d1d1d1d1d1d1d,
    ), (
        0x1e1e1e1e1e1e1e1e1e1e1e1e1e1e1e1e,
        0xeb2d9bdb2f32a328,
        0x1e1e1e1e1e1e1e1e,
    ), (
        0x1f1f1f1f1f1f1f1f1f1f1f1f1f1f1f1f,
        0xece75e6730910acf,
        0x1f1f1f1f1f1f1f1f,
    ), (
        0x20202020202020202020202020202020,
        0x6242f5cc44a48d6c,
        0x2020202020202020,
    ), (
        0x21212121212121212121212121212121,
        0x95669a6794a3c260,
        0x2121212121212121,
    ), (
        0x22222222222222222222222222222222,
        0x400c910b1dec3244,
        0x2222222222222222,
    ), (
        0x23232323232323232323232323232323,
        0x82954e32cd66f748,
        0x2323232323232323,
    ), (
        0x24242424242424242424242424242424,
        0xa28b98468b24105a,
        0x2424242424242424,
    ), (
        0x25252525252525252525252525252525,
        0xb88321e1a912c1cf,
        0x2525252525252525,
    ), (
        0x26262626262626262626262626262626,
        0x10ef9242c256d127,
        0x2626262626262626,
    ), (
        0x27272727272727272727272727272727,
        0xcc1bbe51581a159f,
        0x2727272727272727,
    ), (
        0x28282828282828282828282828282828,
        0xb5d7b562c27f8f2f,
        0x2828282828282828,
    ), (
        0x29292929292929292929292929292929,
        0x1893a5df78ee02b1,
        0x2929292929292929,
    ), (
        0x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a,
        0x26924c8140545b22,
        0x2a2a2a2a2a2a2a2a,
    ), (
        0x2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b,
        0xc88b1d305b712cf0,
        0x2b2b2b2b2b2b2b2b,
    ), (
        0x2c2c2c2c2c2c2c2c2c2c2c2c2c2c2c2c,
        0x145bceae2f8b9332,
        0x2c2c2c2c2c2c2c2c,
    ), (
        0x2d2d2d2d2d2d2d2d2d2d2d2d2d2d2d2d,
        0xea6e631c0e7a0f76,
        0x2d2d2d2d2d2d2d2d,
    ), (
        0x2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e,
        0x4872caf8fcd1d626,
        0x2e2e2e2e2e2e2e2e,
    ), (
        0x2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f,
        0x60faa2607a7a174e,
        0x2f2f2f2f2f2f2f2f,
    ), (
        0x30303030303030303030303030303030,
        0xb1c48c467ec93d5a,
        0x3030303030303030,
    ), (
        0x31313131313131313131313131313131,
        0xc1779459bcd715c3,
        0x3131313131313131,
    ), (
        0x32323232323232323232323232323232,
        0x3890e76816a035d4,
        0x3232323232323232,
    ), (
        0x33333333333333333333333333333333,
        0x4575d36364ccf9d8,
        0x3333333333333333,
    ), (
        0x34343434343434343434343434343434,
        0x27ee09ef96b86533,
        0x3434343434343434,
    ), (
        0x35353535353535353535353535353535,
        0x50fffe9a739ccfe0,
        0x3535353535353535,
    ), (
        0x36363636363636363636363636363636,
        0xc1d850aa9a08bfa7,
        0x3636363636363636,
    ), (
        0x37373737373737373737373737373737,
        0xef6f54302e12184f,
        0x3737373737373737,
    ), (
        0x38383838383838383838383838383838,
        0xe3f3871178e7cc4f,
        0x3838383838383838,
    ), (
        0x39393939393939393939393939393939,
        0x0220d644b0143bde,
        0x3939393939393939,
    ), (
        0x3a3a3a3a3a3a3a3a3a3a3a3a3a3a3a3a,
        0x577a16e8964202bc,
        0x3a3a3a3a3a3a3a3a,
    ), (
        0x3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b,
        0x3e02e11ae0609c78,
        0x3b3b3b3b3b3b3b3b,
    ), (
        0x3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c,
        0xd92f00bb598101b5,
        0x3c3c3c3c3c3c3c3c,
    ), (
        0x3d3d3d3d3d3d3d3d3d3d3d3d3d3d3d3d,
        0xc3a6754bff90516d,
        0x3d3d3d3d3d3d3d3d,
    ), (
        0x3e3e3e3e3e3e3e3e3e3e3e3e3e3e3e3e,
        0x07f539c02822590d,
        0x3e3e3e3e3e3e3e3e,
    ), (
        0x3f3f3f3f3f3f3f3f3f3f3f3f3f3f3f3f,
        0x8896e8479a2eb33f,
        0x3f3f3f3f3f3f3f3f,
    ), (
        0x40404040404040404040404040404040,
        0x36d4cf3a566970af,
        0x4040404040404040,
    ), (
        0x41414141414141414141414141414141,
        0x897d2cf7994b2470,
        0x4141414141414141,
    ), (
        0x42424242424242424242424242424242,
        0xf601a9632c3c62b7,
        0x4242424242424242,
    ), (
        0x43434343434343434343434343434343,
        0xbacbdd51b31ee859,
        0x4343434343434343,
    ), (
        0x44444444444444444444444444444444,
        0xf7638f197696de7c,
        0x4444444444444444,
    ), (
        0x45454545454545454545454545454545,
        0x5b19af843de1a00d,
        0x4545454545454545,
    ), (
        0x46464646464646464646464646464646,
        0x133043708039ba9c,
        0x4646464646464646,
    ), (
        0x47474747474747474747474747474747,
        0x9639b2731cf6bd65,
        0x4747474747474747,
    ), (
        0x48484848484848484848484848484848,
        0xf2fde6ecad971c0a,
        0x4848484848484848,
    ), (
        0x49494949494949494949494949494949,
        0x988fd9549fad5ca2,
        0x4949494949494949,
    ), (
        0x4a4a4a4a4a4a4a4a4a4a4a4a4a4a4a4a,
        0x7460ec4f2ff98f4b,
        0x4a4a4a4a4a4a4a4a,
    ), (
        0x4b4b4b4b4b4b4b4b4b4b4b4b4b4b4b4b,
        0x4202e7a8b8c82f53,
        0x4b4b4b4b4b4b4b4b,
    ), (
        0x4c4c4c4c4c4c4c4c4c4c4c4c4c4c4c4c,
        0x7b9c3715642aa3af,
        0x4c4c4c4c4c4c4c4c,
    ), (
        0x4d4d4d4d4d4d4d4d4d4d4d4d4d4d4d4d,
        0xcf96e84cdcf75056,
        0x4d4d4d4d4d4d4d4d,
    ), (
        0x4e4e4e4e4e4e4e4e4e4e4e4e4e4e4e4e,
        0x1db2d04addc599e6,
        0x4e4e4e4e4e4e4e4e,
    ), (
        0x4f4f4f4f4f4f4f4f4f4f4f4f4f4f4f4f,
        0xa4cffd289bf0988e,
        0x4f4f4f4f4f4f4f4f,
    ), (
        0x50505050505050505050505050505050,
        0x93ba810a625138ee,
        0x5050505050505050,
    ), (
        0x51515151515151515151515151515151,
        0x5795c3c244be0984,
        0x5151515151515151,
    ), (
        0x52525252525252525252525252525252,
        0xb255918917d30db6,
        0x5252525252525252,
    ), (
        0x53535353535353535353535353535353,
        0xdbd63e3f426bf141,
        0x5353535353535353,
    ), (
        0x54545454545454545454545454545454,
        0x1f6c4d99dcc8863d,
        0x5454545454545454,
    ), (
        0x55555555555555555555555555555555,
        0x6074c411b8651b08,
        0x5555555555555555,
    ), (
        0x56565656565656565656565656565656,
        0x338e59304f374c81,
        0x5656565656565656,
    ), (
        0x57575757575757575757575757575757,
        0xd669692fc58844f4,
        0x5757575757575757,
    ), (
        0x58585858585858585858585858585858,
        0xf401ba8cd09cbdfb,
        0x5858585858585858,
    ), (
        0x59595959595959595959595959595959,
        0xeeeca9b832961d1c,
        0x5959595959595959,
    ), (
        0x5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a,
        0x7196f6c2933d0048,
        0x5a5a5a5a5a5a5a5a,
    ), (
        0x5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b,
        0xa159602cf7ba36f4,
        0x5b5b5b5b5b5b5b5b,
    ), (
        0x5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c,
        0x2f45050af47066b6,
        0x5c5c5c5c5c5c5c5c,
    ), (
        0x5d5d5d5d5d5d5d5d5d5d5d5d5d5d5d5d,
        0x55c8274cf9e5122f,
        0x5d5d5d5d5d5d5d5d,
    ), (
        0x5e5e5e5e5e5e5e5e5e5e5e5e5e5e5e5e,
        0x4393c3bef64a0962,
        0x5e5e5e5e5e5e5e5e,
    ), (
        0x5f5f5f5f5f5f5f5f5f5f5f5f5f5f5f5f,
        0x87cdfda728278056,
        0x5f5f5f5f5f5f5f5f,
    ), (
        0x60606060606060606060606060606060,
        0xc419303c1bc6078b,
        0x6060606060606060,
    ), (
        0x61616161616161616161616161616161,
        0x14189d710244ec0f,
        0x6161616161616161,
    ), (
        0x62626262626262626262626262626262,
        0xe283182d89dc2abc,
        0x6262626262626262,
    ), (
        0x63636363636363636363636363636363,
        0x5f7c9ef49be17a09,
        0x6363636363636363,
    ), (
        0x64646464646464646464646464646464,
        0xabf61e3f6354537e,
        0x6464646464646464,
    ), (
        0x65656565656565656565656565656565,
        0x3116cf29793667ee,
        0x6565656565656565,
    ), (
        0x66666666666666666666666666666666,
        0xc9248b00868d8651,
        0x6666666666666666,
    ), (
        0x67676767676767676767676767676767,
        0xfa85b0d5eb81e00e,
        0x6767676767676767,
    ), (
        0x68686868686868686868686868686868,
        0xabd32134d248de95,
        0x6868686868686868,
    ), (
        0x69696969696969696969696969696969,
        0xce4c7a6696e7045f,
        0x6969696969696969,
    ), (
        0x6a6a6a6a6a6a6a6a6a6a6a6a6a6a6a6a,
        0xbf217a062a3f2752,
        0x6a6a6a6a6a6a6a6a,
    ), (
        0x6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b,
        0x1ee92826247b879f,
        0x6b6b6b6b6b6b6b6b,
    ), (
        0x6c6c6c6c6c6c6c6c6c6c6c6c6c6c6c6c,
        0x534051cfae0e474b,
        0x6c6c6c6c6c6c6c6c,
    ), (
        0x6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d,
        0xfe541578dfa1ef21,
        0x6d6d6d6d6d6d6d6d,
    ), (
        0x6e6e6e6e6e6e6e6e6e6e6e6e6e6e6e6e,
        0xa6da49eb274aa034,
        0x6e6e6e6e6e6e6e6e,
    ), (
        0x6f6f6f6f6f6f6f6f6f6f6f6f6f6f6f6f,
        0xe91200e1bec746d8,
        0x6f6f6f6f6f6f6f6f,
    ), (
        0x70707070707070707070707070707070,
        0x12242d95c7b2e1aa,
        0x7070707070707070,
    ), (
        0x71717171717171717171717171717171,
        0x11112654f080a009,
        0x7171717171717171,
    ), (
        0x72727272727272727272727272727272,
        0xb6b4af43c3c1bd5a,
        0x7272727272727272,
    ), (
        0x73737373737373737373737373737373,
        0x7fc1da4d8a29927a,
        0x7373737373737373,
    ), (
        0x74747474747474747474747474747474,
        0x4d1424a6e2f99777,
        0x7474747474747474,
    ), (
        0x75757575757575757575757575757575,
        0xc6dc9f097bc971e7,
        0x7575757575757575,
    ), (
        0x76767676767676767676767676767676,
        0xb88002c84f836ea6,
        0x7676767676767676,
    ), (
        0x77777777777777777777777777777777,
        0x12c6774be0c5e93a,
        0x7777777777777777,
    ), (
        0x78787878787878787878787878787878,
        0xd1a2580870c505df,
        0x7878787878787878,
    ), (
        0x79797979797979797979797979797979,
        0x65b79538071af9d8,
        0x7979797979797979,
    ), (
        0x7a7a7a7a7a7a7a7a7a7a7a7a7a7a7a7a,
        0x0481b20f32b63b37,
        0x7a7a7a7a7a7a7a7a,
    ), (
        0x7b7b7b7b7b7b7b7b7b7b7b7b7b7b7b7b,
        0x02acd30476c23a0c,
        0x7b7b7b7b7b7b7b7b,
    ), (
        0x7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c,
        0x2c4cedbf6a2c54ad,
        0x7c7c7c7c7c7c7c7c,
    ), (
        0x7d7d7d7d7d7d7d7d7d7d7d7d7d7d7d7d,
        0x50f38d16d6a0ae03,
        0x7d7d7d7d7d7d7d7d,
    ), (
        0x7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e,
        0xbdf7f828449aa693,
        0x7e7e7e7e7e7e7e7e,
    ), (
        0x7f7f7f7f7f7f7f7f7f7f7f7f7f7f7f7f,
        0xa66cf7f4b4c3103d,
        0x7f7f7f7f7f7f7f7f,
    ), (
        0x80808080808080808080808080808080,
        0x1736c7434d3a1a54,
        0x8080808080808080,
    ), (
        0x81818181818181818181818181818181,
        0x78c56a5c99e3885f,
        0x8181818181818181,
    ), (
        0x82828282828282828282828282828282,
        0x24b2420569dc9513,
        0x8282828282828282,
    ), (
        0x83838383838383838383838383838383,
        0x2e46220b77ab7a4d,
        0x8383838383838383,
    ), (
        0x84848484848484848484848484848484,
        0xb60dfa18180164ee,
        0x8484848484848484,
    ), (
        0x85858585858585858585858585858585,
        0x1751553ef8a1c49d,
        0x8585858585858585,
    ), (
        0x86868686868686868686868686868686,
        0x41f68e0acbde794d,
        0x8686868686868686,
    ), (
        0x87878787878787878787878787878787,
        0x0a8aece3ae569ccc,
        0x8787878787878787,
    ), (
        0x88888888888888888888888888888888,
        0x4b29633ec0d32ed7,
        0x8888888888888888,
    ), (
        0x89898989898989898989898989898989,
        0xbc1eb08bd3eebfff,
        0x8989898989898989,
    ), (
        0x8a8a8a8a8a8a8a8a8a8a8a8a8a8a8a8a,
        0x14fe00047a151c2b,
        0x8a8a8a8a8a8a8a8a,
    ), (
        0x8b8b8b8b8b8b8b8b8b8b8b8b8b8b8b8b,
        0x7f0ec436c9c4633b,
        0x8b8b8b8b8b8b8b8b,
    ), (
        0x8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c,
        0x7db08fd2710cc441,
        0x8c8c8c8c8c8c8c8c,
    ), (
        0x8d8d8d8d8d8d8d8d8d8d8d8d8d8d8d8d,
        0x2aa6db5a727691a3,
        0x8d8d8d8d8d8d8d8d,
    ), (
        0x8e8e8e8e8e8e8e8e8e8e8e8e8e8e8e8e,
        0xcf2f3f532faa99bf,
        0x8e8e8e8e8e8e8e8e,
    ), (
        0x8f8f8f8f8f8f8f8f8f8f8f8f8f8f8f8f,
        0xe5d56f002c4fb53f,
        0x8f8f8f8f8f8f8f8f,
    ), (
        0x90909090909090909090909090909090,
        0xe1dd1375465f9d16,
        0x9090909090909090,
    ), (
        0x91919191919191919191919191919191,
        0xbecb1ff1a78450a7,
        0x9191919191919191,
    ), (
        0x92929292929292929292929292929292,
        0x0185e9a9135e639d,
        0x9292929292929292,
    ), (
        0x93939393939393939393939393939393,
        0xa3626c4517b4cad0,
        0x9393939393939393,
    ), (
        0x94949494949494949494949494949494,
        0x0a629cade4897292,
        0x9494949494949494,
    ), (
        0x95959595959595959595959595959595,
        0xf725de012ab68dd9,
        0x9595959595959595,
    ), (
        0x96969696969696969696969696969696,
        0x0e89be3d5b3b866b,
        0x9696969696969696,
    ), (
        0x97979797979797979797979797979797,
        0x5b746609c56ba450,
        0x9797979797979797,
    ), (
        0x98989898989898989898989898989898,
        0xf2dd9359b1ff1598,
        0x9898989898989898,
    ), (
        0x99999999999999999999999999999999,
        0x78c169c1cf547f0d,
        0x9999999999999999,
    ), (
        0x9a9a9a9a9a9a9a9a9a9a9a9a9a9a9a9a,
        0x55c13e79cdf4a6c8,
        0x9a9a9a9a9a9a9a9a,
    ), (
        0x9b9b9b9b9b9b9b9b9b9b9b9b9b9b9b9b,
        0x3c7847ecdbd22e7f,
        0x9b9b9b9b9b9b9b9b,
    ), (
        0x9c9c9c9c9c9c9c9c9c9c9c9c9c9c9c9c,
        0x2eb78e05ccbeb44d,
        0x9c9c9c9c9c9c9c9c,
    ), (
        0x9d9d9d9d9d9d9d9d9d9d9d9d9d9d9d9d,
        0x8d9b8a6c18615855,
        0x9d9d9d9d9d9d9d9d,
    ), (
        0x9e9e9e9e9e9e9e9e9e9e9e9e9e9e9e9e,
        0xc5cc7e174c80ed46,
        0x9e9e9e9e9e9e9e9e,
    ), (
        0x9f9f9f9f9f9f9f9f9f9f9f9f9f9f9f9f,
        0x1db1528f10686802,
        0x9f9f9f9f9f9f9f9f,
    ), (
        0xa0a0a0a0a0a0a0a0a0a0a0a0a0a0a0a0,
        0xfe504481bdccaa9b,
        0xa0a0a0a0a0a0a0a0,
    ), (
        0xa1a1a1a1a1a1a1a1a1a1a1a1a1a1a1a1,
        0xed3d73069a19297c,
        0xa1a1a1a1a1a1a1a1,
    ), (
        0xa2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2,
        0x7cdfe35aef5a1e7c,
        0xa2a2a2a2a2a2a2a2,
    ), (
        0xa3a3a3a3a3a3a3a3a3a3a3a3a3a3a3a3,
        0x2ddcd253556e0858,
        0xa3a3a3a3a3a3a3a3,
    ), (
        0xa4a4a4a4a4a4a4a4a4a4a4a4a4a4a4a4,
        0xa7bda86b1f764e3a,
        0xa4a4a4a4a4a4a4a4,
    ), (
        0xa5a5a5a5a5a5a5a5a5a5a5a5a5a5a5a5,
        0xf2e0bf5370908bc4,
        0xa5a5a5a5a5a5a5a5,
    ), (
        0xa6a6a6a6a6a6a6a6a6a6a6a6a6a6a6a6,
        0xb55da7709795d136,
        0xa6a6a6a6a6a6a6a6,
    ), (
        0xa7a7a7a7a7a7a7a7a7a7a7a7a7a7a7a7,
        0x41b77e59b3ecfd12,
        0xa7a7a7a7a7a7a7a7,
    ), (
        0xa8a8a8a8a8a8a8a8a8a8a8a8a8a8a8a8,
        0x108580bc7a99be27,
        0xa8a8a8a8a8a8a8a8,
    ), (
        0xa9a9a9a9a9a9a9a9a9a9a9a9a9a9a9a9,
        0x5fc7aedc2f0714f0,
        0xa9a9a9a9a9a9a9a9,
    ), (
        0xaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa,
        0x24aacb435ba4778b,
        0xaaaaaaaaaaaaaaaa,
    ), (
        0xabababababababababababababababab,
        0x5a4c4870f25a207f,
        0xabababababababab,
    ), (
        0xacacacacacacacacacacacacacacacac,
        0x607d4e32e138bb42,
        0xacacacacacacacac,
    ), (
        0xadadadadadadadadadadadadadadadad,
        0x7f937c3392173535,
        0xadadadadadadadad,
    ), (
        0xaeaeaeaeaeaeaeaeaeaeaeaeaeaeaeae,
        0xfbb59d88d9c7e032,
        0xaeaeaeaeaeaeaeae,
    ), (
        0xafafafafafafafafafafafafafafafaf,
        0xe762cc43752b56ca,
        0xafafafafafafafaf,
    ), (
        0xb0b0b0b0b0b0b0b0b0b0b0b0b0b0b0b0,
        0x9c319c17f979d8a7,
        0xb0b0b0b0b0b0b0b0,
    ), (
        0xb1b1b1b1b1b1b1b1b1b1b1b1b1b1b1b1,
        0x7118249df312e1ea,
        0xb1b1b1b1b1b1b1b1,
    ), (
        0xb2b2b2b2b2b2b2b2b2b2b2b2b2b2b2b2,
        0x341359d2b974161a,
        0xb2b2b2b2b2b2b2b2,
    ), (
        0xb3b3b3b3b3b3b3b3b3b3b3b3b3b3b3b3,
        0x4f50e094d64b9a71,
        0xb3b3b3b3b3b3b3b3,
    ), (
        0xb4b4b4b4b4b4b4b4b4b4b4b4b4b4b4b4,
        0xf471458a304d4ad4,
        0xb4b4b4b4b4b4b4b4,
    ), (
        0xb5b5b5b5b5b5b5b5b5b5b5b5b5b5b5b5,
        0x7d95a537ef4fd20d,
        0xb5b5b5b5b5b5b5b5,
    ), (
        0xb6b6b6b6b6b6b6b6b6b6b6b6b6b6b6b6,
        0x2b19b8d18e9e9d9e,
        0xb6b6b6b6b6b6b6b6,
    ), (
        0xb7b7b7b7b7b7b7b7b7b7b7b7b7b7b7b7,
        0x90b1d81ed1930dca,
        0xb7b7b7b7b7b7b7b7,
    ), (
        0xb8b8b8b8b8b8b8b8b8b8b8b8b8b8b8b8,
        0x0d70077a42a0f3fc,
        0xb8b8b8b8b8b8b8b8,
    ), (
        0xb9b9b9b9b9b9b9b9b9b9b9b9b9b9b9b9,
        0x33be0d577e657aaa,
        0xb9b9b9b9b9b9b9b9,
    ), (
        0xbabababababababababababababababa,
        0x8642a8fa64b33d74,
        0xbabababababababa,
    ), (
        0xbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb,
        0xecefaa828e05250c,
        0xbbbbbbbbbbbbbbbb,
    ), (
        0xbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbc,
        0xbfeacc224c09b041,
        0xbcbcbcbcbcbcbcbc,
    ), (
        0xbdbdbdbdbdbdbdbdbdbdbdbdbdbdbdbd,
        0x25ce35bbbc4ce5b6,
        0xbdbdbdbdbdbdbdbd,
    ), (
        0xbebebebebebebebebebebebebebebebe,
        0xfcf3d5fa7f3c103d,
        0xbebebebebebebebe,
    ), (
        0xbfbfbfbfbfbfbfbfbfbfbfbfbfbfbfbf,
        0x7e8c714b5539d948,
        0xbfbfbfbfbfbfbfbf,
    ), (
        0xc0c0c0c0c0c0c0c0c0c0c0c0c0c0c0c0,
        0x5ae793705e429dcf,
        0xc0c0c0c0c0c0c0c0,
    ), (
        0xc1c1c1c1c1c1c1c1c1c1c1c1c1c1c1c1,
        0x403aca4c4d536916,
        0xc1c1c1c1c1c1c1c1,
    ), (
        0xc2c2c2c2c2c2c2c2c2c2c2c2c2c2c2c2,
        0xde7b750cf725cd86,
        0xc2c2c2c2c2c2c2c2,
    ), (
        0xc3c3c3c3c3c3c3c3c3c3c3c3c3c3c3c3,
        0xe01699bfa8b8d615,
        0xc3c3c3c3c3c3c3c3,
    ), (
        0xc4c4c4c4c4c4c4c4c4c4c4c4c4c4c4c4,
        0x05ea04208311aa5b,
        0xc4c4c4c4c4c4c4c4,
    ), (
        0xc5c5c5c5c5c5c5c5c5c5c5c5c5c5c5c5,
        0xe41742febad80931,
        0xc5c5c5c5c5c5c5c5,
    ), (
        0xc6c6c6c6c6c6c6c6c6c6c6c6c6c6c6c6,
        0x3f2c325ac3f15a0f,
        0xc6c6c6c6c6c6c6c6,
    ), (
        0xc7c7c7c7c7c7c7c7c7c7c7c7c7c7c7c7,
        0xe82e2bff7127942a,
        0xc7c7c7c7c7c7c7c7,
    ), (
        0xc8c8c8c8c8c8c8c8c8c8c8c8c8c8c8c8,
        0x0cccd6d4ee2f2132,
        0xc8c8c8c8c8c8c8c8,
    ), (
        0xc9c9c9c9c9c9c9c9c9c9c9c9c9c9c9c9,
        0xbeba48342116c6b8,
        0xc9c9c9c9c9c9c9c9,
    ), (
        0xcacacacacacacacacacacacacacacaca,
        0x295608c4cd38451b,
        0xcacacacacacacaca,
    ), (
        0xcbcbcbcbcbcbcbcbcbcbcbcbcbcbcbcb,
        0x3d058d6aa17e5f82,
        0xcbcbcbcbcbcbcbcb,
    ), (
        0xcccccccccccccccccccccccccccccccc,
        0xe143a92dba6ec493,
        0xcccccccccccccccc,
    ), (
        0xcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcd,
        0x238e6c5a341bd450,
        0xcdcdcdcdcdcdcdcd,
    ), (
        0xcececececececececececececececece,
        0x8443582e6810a7ed,
        0xcececececececece,
    ), (
        0xcfcfcfcfcfcfcfcfcfcfcfcfcfcfcfcf,
        0xe5df9d8a645559c0,
        0xcfcfcfcfcfcfcfcf,
    ), (
        0xd0d0d0d0d0d0d0d0d0d0d0d0d0d0d0d0,
        0x512620ae09acb3ba,
        0xd0d0d0d0d0d0d0d0,
    ), (
        0xd1d1d1d1d1d1d1d1d1d1d1d1d1d1d1d1,
        0x378c3a04d3a09f9a,
        0xd1d1d1d1d1d1d1d1,
    ), (
        0xd2d2d2d2d2d2d2d2d2d2d2d2d2d2d2d2,
        0xd7dede3af9410258,
        0xd2d2d2d2d2d2d2d2,
    ), (
        0xd3d3d3d3d3d3d3d3d3d3d3d3d3d3d3d3,
        0xa7e0f6a26d81b598,
        0xd3d3d3d3d3d3d3d3,
    ), (
        0xd4d4d4d4d4d4d4d4d4d4d4d4d4d4d4d4,
        0x33fc82ee6bb350f4,
        0xd4d4d4d4d4d4d4d4,
    ), (
        0xd5d5d5d5d5d5d5d5d5d5d5d5d5d5d5d5,
        0x3f663d6fb864212a,
        0xd5d5d5d5d5d5d5d5,
    ), (
        0xd6d6d6d6d6d6d6d6d6d6d6d6d6d6d6d6,
        0x99c853c822f2c451,
        0xd6d6d6d6d6d6d6d6,
    ), (
        0xd7d7d7d7d7d7d7d7d7d7d7d7d7d7d7d7,
        0x4ad4be6d0d2f57d8,
        0xd7d7d7d7d7d7d7d7,
    ), (
        0xd8d8d8d8d8d8d8d8d8d8d8d8d8d8d8d8,
        0xd6d60732a807d08b,
        0xd8d8d8d8d8d8d8d8,
    ), (
        0xd9d9d9d9d9d9d9d9d9d9d9d9d9d9d9d9,
        0xe6a6be8437ec6983,
        0xd9d9d9d9d9d9d9d9,
    ), (
        0xdadadadadadadadadadadadadadadada,
        0x472a2dead18618f6,
        0xdadadadadadadada,
    ), (
        0xdbdbdbdbdbdbdbdbdbdbdbdbdbdbdbdb,
        0x4567d7128c786b31,
        0xdbdbdbdbdbdbdbdb,
    ), (
        0xdcdcdcdcdcdcdcdcdcdcdcdcdcdcdcdc,
        0x6954437e083cb8dd,
        0xdcdcdcdcdcdcdcdc,
    ), (
        0xdddddddddddddddddddddddddddddddd,
        0xbb0056de857988ce,
        0xdddddddddddddddd,
    ), (
        0xdededededededededededededededede,
        0xd2058501e91225a5,
        0xdededededededede,
    ), (
        0xdfdfdfdfdfdfdfdfdfdfdfdfdfdfdfdf,
        0xe35e6b186283f441,
        0xdfdfdfdfdfdfdfdf,
    ), (
        0xe0e0e0e0e0e0e0e0e0e0e0e0e0e0e0e0,
        0x242588c5f782a93f,
        0xe0e0e0e0e0e0e0e0,
    ), (
        0xe1e1e1e1e1e1e1e1e1e1e1e1e1e1e1e1,
        0x7095a50c1e99e008,
        0xe1e1e1e1e1e1e1e1,
    ), (
        0xe2e2e2e2e2e2e2e2e2e2e2e2e2e2e2e2,
        0x9933df5a78a355a8,
        0xe2e2e2e2e2e2e2e2,
    ), (
        0xe3e3e3e3e3e3e3e3e3e3e3e3e3e3e3e3,
        0xd1d945e51221b893,
        0xe3e3e3e3e3e3e3e3,
    ), (
        0xe4e4e4e4e4e4e4e4e4e4e4e4e4e4e4e4,
        0x915d915b79b927ed,
        0xe4e4e4e4e4e4e4e4,
    ), (
        0xe5e5e5e5e5e5e5e5e5e5e5e5e5e5e5e5,
        0xe0c9897a94d0f2c4,
        0xe5e5e5e5e5e5e5e5,
    ), (
        0xe6e6e6e6e6e6e6e6e6e6e6e6e6e6e6e6,
        0x911e376bf4497437,
        0xe6e6e6e6e6e6e6e6,
    ), (
        0xe7e7e7e7e7e7e7e7e7e7e7e7e7e7e7e7,
        0xb82fae4092690a95,
        0xe7e7e7e7e7e7e7e7,
    ), (
        0xe8e8e8e8e8e8e8e8e8e8e8e8e8e8e8e8,
        0xe6aca65966b4ac3f,
        0xe8e8e8e8e8e8e8e8,
    ), (
        0xe9e9e9e9e9e9e9e9e9e9e9e9e9e9e9e9,
        0xdfa504dd9ccf1e78,
        0xe9e9e9e9e9e9e9e9,
    ), (
        0xeaeaeaeaeaeaeaeaeaeaeaeaeaeaeaea,
        0xdf00c0f695286d74,
        0xeaeaeaeaeaeaeaea,
    ), (
        0xebebebebebebebebebebebebebebebeb,
        0xa3ba29f79071549e,
        0xebebebebebebebeb,
    ), (
        0xecececececececececececececececec,
        0xbb46376e1cf4ec6a,
        0xecececececececec,
    ), (
        0xedededededededededededededededed,
        0x1195a6de7052280e,
        0xedededededededed,
    ), (
        0xeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee,
        0x415e756efdcb7a4a,
        0xeeeeeeeeeeeeeeee,
    ), (
        0xefefefefefefefefefefefefefefefef,
        0x56a88197ae5924bd,
        0xefefefefefefefef,
    ), (
        0xf0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0,
        0x89951d70270c9b17,
        0xf0f0f0f0f0f0f0f0,
    ), (
        0xf1f1f1f1f1f1f1f1f1f1f1f1f1f1f1f1,
        0x2a775028d170b29c,
        0xf1f1f1f1f1f1f1f1,
    ), (
        0xf2f2f2f2f2f2f2f2f2f2f2f2f2f2f2f2,
        0x9a4cf8b7c599ef4a,
        0xf2f2f2f2f2f2f2f2,
    ), (
        0xf3f3f3f3f3f3f3f3f3f3f3f3f3f3f3f3,
        0xf9966866d43965cd,
        0xf3f3f3f3f3f3f3f3,
    ), (
        0xf4f4f4f4f4f4f4f4f4f4f4f4f4f4f4f4,
        0x80e41ccc7641e959,
        0xf4f4f4f4f4f4f4f4,
    ), (
        0xf5f5f5f5f5f5f5f5f5f5f5f5f5f5f5f5,
        0x0b7c702996413b45,
        0xf5f5f5f5f5f5f5f5,
    ), (
        0xf6f6f6f6f6f6f6f6f6f6f6f6f6f6f6f6,
        0xeb69bc3bf5b3fea5,
        0xf6f6f6f6f6f6f6f6,
    ), (
        0xf7f7f7f7f7f7f7f7f7f7f7f7f7f7f7f7,
        0x36bf2856e58435ea,
        0xf7f7f7f7f7f7f7f7,
    ), (
        0xf8f8f8f8f8f8f8f8f8f8f8f8f8f8f8f8,
        0x1cd03f0a40a7b20c,
        0xf8f8f8f8f8f8f8f8,
    ), (
        0xf9f9f9f9f9f9f9f9f9f9f9f9f9f9f9f9,
        0xf56af83339036916,
        0xf9f9f9f9f9f9f9f9,
    ), (
        0xfafafafafafafafafafafafafafafafa,
        0x3114b9e8f15ea604,
        0xfafafafafafafafa,
    ), (
        0xfbfbfbfbfbfbfbfbfbfbfbfbfbfbfbfb,
        0x55bc49104267bd78,
        0xfbfbfbfbfbfbfbfb,
    ), (
        0xfcfcfcfcfcfcfcfcfcfcfcfcfcfcfcfc,
        0x1a578ab6029071ae,
        0xfcfcfcfcfcfcfcfc,
    ), (
        0xfdfdfdfdfdfdfdfdfdfdfdfdfdfdfdfd,
        0x1c2292fa2bdf8f40,
        0xfdfdfdfdfdfdfdfd,
    ), (
        0xfefefefefefefefefefefefefefefefe,
        0xc7e3f87ffe503cc3,
        0xfefefefefefefefe,
    ), (
        0xffffffffffffffffffffffffffffffff,
        0x28886d814399e782,
        0xffffffffffffffff,
    ), (
        0x000102030405060708090a0b0c0d0e0f,
        0xdb2d4a92aa68273f,
        0x0011223344556677,
    ), (
        0x2bd6459f82c5b300952c49104881ff48,
        0xf129a6601ef62a47,
        0xea024714ad5c4d84,
    )
)



def main():
    from idea import IDEA
    my_cipher = IDEA(0)

    for test in TEST_VECTORS:
        # print test
        key, plain, cipher = test
        my_cipher.change_key(key)
        encrypted = my_cipher.encrypt(plain)
        assert encrypted == cipher
    print 'All passed!'


if __name__ == '__main__':
    main()