From 54414526b6db5db394e82763b79f5dd0a0223d8e Mon Sep 17 00:00:00 2001 From: iromise Date: Fri, 24 Nov 2017 19:07:30 +0800 Subject: [PATCH 1/2] add decrypt key generation --- idea.py | 94 +- test.py | 5410 +++++++++++++++++++------------------------------------ 2 files changed, 1881 insertions(+), 3623 deletions(-) mode change 100644 => 100755 idea.py diff --git a/idea.py b/idea.py old mode 100644 new mode 100755 index 97e5cc0..fad16c0 --- a/idea.py +++ b/idea.py @@ -1,10 +1,12 @@ #!/usr/bin/env python -# A Python implementation of the block cipher IDEA +# Python implementation of the block cipher IDEA # Copyright (c) 2015 Bo Zhu https://about.bozhu.me # MIT License +import gmpy2 + def _mul(x, y): assert 0 <= x <= 0xFFFF @@ -29,6 +31,7 @@ def _KA_layer(x1, x2, x3, x4, round_keys): assert 0 <= x2 <= 0xFFFF assert 0 <= x3 <= 0xFFFF assert 0 <= x4 <= 0xFFFF + z1, z2, z3, z4 = round_keys[0:4] assert 0 <= z1 <= 0xFFFF assert 0 <= z2 <= 0xFFFF @@ -69,34 +72,86 @@ def _MA_layer(y1, y2, y3, y4, round_keys): class IDEA: def __init__(self, key): - self._keys = None - self.change_key(key) - - def change_key(self, key): + self._expand_key = [] + self._encrypt_key = None + self._decrypt_key = None + self.expand_key(key) + self.get_encrypt_key() + self.get_decrypt_key() + + def expand_key(self, key): assert 0 <= key < (1 << 128) modulus = 1 << 128 - - sub_keys = [] - for i in range(9 * 6): - sub_keys.append((key >> (112 - 16 * (i % 8))) % 0x10000) + for i in range(6 * 8 + 4): + self._expand_key.append((key >> (112 - 16 * (i % 8))) % 0x10000) if i % 8 == 7: key = ((key << 25) | (key >> 103)) % modulus + return self._expand_key + def get_encrypt_key(self): keys = [] for i in range(9): - round_keys = sub_keys[6 * i: 6 * (i + 1)] + round_keys = self._expand_key[6 * i:6 * (i + 1)] keys.append(tuple(round_keys)) - self._keys = tuple(keys) + self._encrypt_key = tuple(keys) + + def get_decrypt_key(self): + keys = [0] * 52 + for i in range(9): + if i == 0: + for j in range(6): + if j == 0 or j == 3: + if self._encrypt_key[8 - i][j] == 0: + keys[j] = 0 + else: + keys[j] = gmpy2.invert(self._encrypt_key[8 - i][j], + 65537) + elif j == 1 or j == 2: + keys[j] = (65536 - self._encrypt_key[8 - i][j]) % 65536 + else: + keys[j] = self._encrypt_key[7 - i][j] + elif i < 8: + for j in range(6): + if j == 0 or j == 3: + if self._encrypt_key[8 - i][j] == 0: + keys[i * 6 + j] = 0 + else: + keys[i * 6 + j] = gmpy2.invert( + self._encrypt_key[8 - i][j], 65537) + elif j == 1 or j == 2: + keys[i * 6 + 3 - + j] = (65536 - self._encrypt_key[8 - i][j]) % 65536 + else: + keys[i * 6 + j] = self._encrypt_key[7 - i][j] + else: + for j in range(4): + if j == 0 or j == 3: + if self._encrypt_key[8 - i][j] == 0: + keys[i * 6 + j] = 0 + else: + keys[i * 6 + j] = gmpy2.invert( + self._encrypt_key[8 - i][j], 65537) + else: + keys[i * 6 + + j] = (65536 - self._encrypt_key[8 - i][j]) % 65536 + tmp = [] + for i in range(9): + round_keys = keys[6 * i:6 * (i + 1)] + tmp.append(tuple(round_keys)) + self._decrypt_key = tuple(tmp) - def encrypt(self, plaintext): + def enc_dec(self, plaintext, flag): assert 0 <= plaintext < (1 << 64) x1 = (plaintext >> 48) & 0xFFFF x2 = (plaintext >> 32) & 0xFFFF x3 = (plaintext >> 16) & 0xFFFF x4 = plaintext & 0xFFFF - + if flag == 0: + key = self._encrypt_key + else: + key = self._decrypt_key for i in range(8): - round_keys = self._keys[i] + round_keys = key[i] y1, y2, y3, y4 = _KA_layer(x1, x2, x3, x4, round_keys) x1, x2, x3, x4 = _MA_layer(y1, y2, y3, y4, round_keys) @@ -106,7 +161,7 @@ def encrypt(self, plaintext): # Note: The words x2 and x3 are not permuted in the last round # So here we use x1, x3, x2, x4 as input instead of x1, x2, x3, x4 # in order to cancel the last permutation x2, x3 = x3, x2 - y1, y2, y3, y4 = _KA_layer(x1, x3, x2, x4, self._keys[8]) + y1, y2, y3, y4 = _KA_layer(x1, x3, x2, x4, key[8]) ciphertext = (y1 << 48) | (y2 << 32) | (y3 << 16) | y4 return ciphertext @@ -125,11 +180,14 @@ def main(): print 'plaintext\t', hex(plain) my_IDEA = IDEA(key) - encrypted = my_IDEA.encrypt(plain) + encrypted = my_IDEA.enc_dec(plain, 0) assert encrypted == cipher - print 'ciphertext\t', hex(cipher) + decrypted = my_IDEA.enc_dec(encrypted, 1) + assert decrypted == plain + print 'plaintext\t', hex(decrypted) + if __name__ == '__main__': - main() \ No newline at end of file + main() diff --git a/test.py b/test.py index fd92e5d..44b810a 100644 --- a/test.py +++ b/test.py @@ -3,7 +3,6 @@ # 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 = ( @@ -11,3617 +10,1818 @@ 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, - ) -) - + ), + (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) - + import gmpy2 for test in TEST_VECTORS: - # print test key, plain, cipher = test - my_cipher.change_key(key) - encrypted = my_cipher.encrypt(plain) + #print test + my_cipher = IDEA(key) + encrypted = my_cipher.enc_dec(plain, 0) assert encrypted == cipher + decrypted = my_cipher.enc_dec(encrypted, 1) + assert decrypted == plain print 'All passed!' From 789ee175822e20ac706d642ceee42f7691457e44 Mon Sep 17 00:00:00 2001 From: iromise Date: Fri, 24 Nov 2017 19:10:03 +0800 Subject: [PATCH 2/2] add A --- idea.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/idea.py b/idea.py index fad16c0..6f6799d 100755 --- a/idea.py +++ b/idea.py @@ -1,6 +1,6 @@ #!/usr/bin/env python -# Python implementation of the block cipher IDEA +# A Python implementation of the block cipher IDEA # Copyright (c) 2015 Bo Zhu https://about.bozhu.me # MIT License @@ -32,7 +32,7 @@ def _KA_layer(x1, x2, x3, x4, round_keys): assert 0 <= x3 <= 0xFFFF assert 0 <= x4 <= 0xFFFF - z1, z2, z3, z4 = round_keys[0:4] + iz1, z2, z3, z4 = round_keys[0:4] assert 0 <= z1 <= 0xFFFF assert 0 <= z2 <= 0xFFFF assert 0 <= z3 <= 0xFFFF