znum.c

#include "g2def.h"

/* Autogenerated random numbers for zobrist hashing */
int zobhash[361][2] = {
{0x4a3c9e8c, 0xcb9d836c},
{0x5d132d8a, 0x1787a82d},
{0x668a2c2b, 0x2c0f470e},
{0x8e5cef4d, 0xcfa320b0},
{0x906c9804, 0x358e5f0e},
{0xc0beb583, 0x14432114},
{0x1968fdfb, 0x92dfbbb8},
{0x932daa8b, 0xd0fc9acc},
{0x62b2e69d, 0x4704cb10},
{0x3c577d42, 0x75cd1422},
{0x5a37f63, 0xb613a460},
{0x471723e7, 0xfec949df},
{0xe08f25, 0xddae7afd},
{0x8781d130, 0x44d1b63b},
{0xa0f9a2e0, 0xa1e2945c},
{0x5942e7ac, 0x760aa906},
{0x3a6eac, 0x852b1d55},
{0x1f12a75b, 0xfdd74d18},
{0x816bcef7, 0xa053eab6},
{0xf5f8618b, 0x771896f5},
{0xdd50f607, 0xbc05910b},
{0xc228fef5, 0x972e8c4},
{0xeb9071ae, 0xd7b29fab},
{0x5233a417, 0xf654b771},
{0x74d7854e, 0xaaa9db06},
{0xf8455fd4, 0x5682cd21},
{0x44ecd410, 0xc40af22d},
{0x283e2049, 0x24e6d4d6},
{0x8b7be760, 0x885faba2},
{0x8e5f69f1, 0xae64fb62},
{0x884f0dab, 0xb99c7561},
{0x33469cfb, 0xe4725190},
{0x4ac12d5c, 0x1b3fc42e},
{0x802d4ea, 0x632feb90},
{0xe5232813, 0x5e579e20},
{0xa5f9ae6f, 0x4bcdb9a4},
{0xbfd3ba27, 0x4b2d2c6d},
{0x3c629f82, 0xbbeac608},
{0x30cc425f, 0x2e513077},
{0xd217adc7, 0x23be2426},
{0x59637deb, 0x85ce2817},
{0xbe73cf1f, 0x5bc3ccfa},
{0x48fe64a8, 0xea3d9d29},
{0x700f208b, 0x6aaa94c2},
{0x617cd194, 0x48823c57},
{0x64052f49, 0xf44a55e9},
{0xd413738f, 0x38e61f29},
{0x5c94c029, 0xcf586d35},
{0xa35e5254, 0xb65b154d},
{0xd8d4f12f, 0xa7a5c330},
{0x9164d3b6, 0x11a2c923},
{0xda38f16e, 0x2f9efed3},
{0xa451fd1e, 0xff162b8c},
{0xe3ac9b23, 0x75ce5d79},
{0xc7a2ad44, 0x34d302f3},
{0x3d023c10, 0x3723ec02},
{0x7b855a2c, 0xe511099b},
{0x4475b81b, 0xebc2ed45},
{0xa2daf64, 0xc053272a},
{0x5703b227, 0xa51019bb},
{0xfee0587b, 0x3344a175},
{0xd2539730, 0x7dc4e469},
{0x7c6c93c4, 0xacf6108e},
{0x13f687ad, 0xfdc8d10e},
{0x74dfc94c, 0x623d120b},
{0x3fba6b21, 0x128be78d},
{0x6826a218, 0x39fc9798},
{0xbfd0ba03, 0xfca7809c},
{0x11699ba3, 0xef0e9cbf},
{0x7a8829d0, 0x9480a7ae},
{0xbad8b396, 0x7d8f4ff6},
{0xcf5d276d, 0xfeb23e1d},
{0x58a927c9, 0xe151bae9},
{0x3d1b8bc1, 0x57f48b9b},
{0x810fa67a, 0xea334609},
{0x1ad4e692, 0xaf5257da},
{0xcce3facc, 0x69176354},
{0x7d6c9ba0, 0x9558a979},
{0x77c07182, 0xb7442c66},
{0x8e755dff, 0x5a0ee632},
{0x405201fc, 0x42e44fc0},
{0xf824b5b9, 0xb75f041},
{0x789e2771, 0x7f6cd957},
{0x9e1a0ba4, 0x7c42bd17},
{0x6af8766e, 0x33a6e260},
{0xacb73780, 0x7ca6213f},
{0xf7737a8e, 0xaa1d7459},
{0xbad23c54, 0x5fd3ad8f},
{0x707de87a, 0x9aaf7b5a},
{0x60773f09, 0xf60bd993},
{0xa67a4024, 0xf004d39e},
{0xde7c8346, 0x5fed0736},
{0x5104eb3f, 0x1a95e4c},
{0x21b1ea8e, 0x91c84bb2},
{0xbdb3d401, 0xe988698a},
{0x35b5198, 0xb2b6a9b9},
{0x7c03e01c, 0x609137c4},
{0xbac5f7ef, 0xea3718e3},
{0xac40bbf9, 0x763a8238},
{0xa1ae2dc9, 0x930c065a},
{0x361b9237, 0xddae72c5},
{0x3a3ab42b, 0x7321eac4},
{0x7cb8cb63, 0x4b5520f4},
{0x414b1b3d, 0x22349171},
{0x2ff051f8, 0x288a8e47},
{0x73d9aaea, 0x1efbacc5},
{0x69827698, 0x7c306dc0},
{0xeb3401bb, 0x999bf3e7},
{0x301908c, 0xbea02b5},
{0x7fc465f5, 0xdd1875aa},
{0x432c4679, 0xe1b9a2d2},
{0xaa3134f0, 0xda8bacbb},
{0xa281fb64, 0xdbc2476e},
{0x3d8f0cba, 0xfde3010c},
{0xfdc3fbe8, 0xb1ed5a12},
{0x7675beb, 0x19df027f},
{0xe53077b6, 0xc342847},
{0xd15543ca, 0xdc1708d6},
{0x3f2e434c, 0xfe4e1a9f},
{0x9ef0a8a1, 0x2cbfc4da},
{0x152dddf9, 0x9e821b06},
{0x19d52c5d, 0x32f86eca},
{0xc77e3810, 0x145c7649},
{0x7c755f69, 0x235a5e06},
{0x54d6456b, 0xab0914e6},
{0x468663cb, 0xb88ba5fb},
{0xfe500823, 0x35100716},
{0xbec12e7e, 0xb798a451},
{0x289a2f8d, 0xd037e018},
{0x3bb15312, 0xa0cd1c53},
{0x681da777, 0xd44cbcbf},
{0x65eb582, 0xe5d7ab9e},
{0xfcd473a3, 0xdd88413e},
{0x32872e55, 0x5e9540c},
{0x3b990383, 0x4f5f7a31},
{0xf62cecf7, 0x4ea146e3},
{0x9ba3ba36, 0x1775acef},
{0x1a3aa459, 0x7a759d39},
{0xbf0316c3, 0x5e71730f},
{0xbdf8cdc7, 0xd86399aa},
{0xc5c16894, 0xe975ed38},
{0x2f192e08, 0x8ca60f3d},
{0xeb83bc35, 0x7702092d},
{0x731458bb, 0x1629a992},
{0x855a0c4d, 0x53f14718},
{0x6e9e5df0, 0x31893250},
{0xe482a2dc, 0x6660da15},
{0xdbed4e05, 0xc750dfcd},
{0xe3e5b6b6, 0x5c3a1001},
{0x17926fc3, 0x563c88ff},
{0x5ffed13f, 0xea20ec84},
{0x96a924b9, 0x66447aa2},
{0x30008868, 0xa584e35c},
{0x2b1c57d7, 0x5d25c9aa},
{0x3ce618e9, 0xec960deb},
{0xe8b9324d, 0x9f33beeb},
{0xbe3fccbf, 0xf0e03803},
{0xfbdd52a5, 0xad2b3806},
{0x56d39e8, 0x4248bff0},
{0x373b21f, 0xd6c9a996},
{0x340e855d, 0x782dc5c7},
{0x8a08744c, 0xf9eaee9b},
{0x62691650, 0xd7005ed},
{0xb2ad7ced, 0x9de61126},
{0x158125a7, 0xa218baea},
{0x3378880d, 0x1af40846},
{0xa4a565b8, 0x5669f26e},
{0xad4f105c, 0x45549731},
{0x54306e45, 0x660eb1a3},
{0x4caffce, 0x2dfd29b6},
{0x3c3d48ba, 0x5031c4b5},
{0x38ef6674, 0x3c85c9e2},
{0xcc0f78a4, 0xc637359f},
{0x5875539a, 0x6a1daaf0},
{0x3ff21c75, 0x2dd9e638},
{0xad6a2d21, 0xca44e576},
{0xad45c276, 0x5e6d297c},
{0x4adfe11d, 0x630520cd},
{0xea866e0c, 0x5e02b81f},
{0xca781db1, 0x417375c0},
{0x1104e92e, 0xcf33fc4f},
{0x3a7abb2a, 0xaa32b679},
{0xf11ee26, 0x2b51a0c8},
{0x6c47a45b, 0xc1bda7a7},
{0x7c620587, 0x71b31f1d},
{0x58d81937, 0x442f46f4},
{0xc05db46e, 0x31eca945},
{0xe814b7b4, 0x9854daa6},
{0x562e36fc, 0x91ab0a64},
{0x2c2a6de, 0x26c21692},
{0x9437b312, 0xd7ee8ada},
{0x98bff039, 0xcba67249},
{0x5fccaf4e, 0x136ea391},
{0x5f57235c, 0xbd2b9c7d},
{0x62cfda46, 0xf3dfac82},
{0x6066cfca, 0x8813a7b4},
{0x480d6e04, 0xfbdb6289},
{0xf31b5113, 0x625d3c30},
{0x8f0a4bc1, 0xe30606a},
{0x1afd092b, 0xbdaa8b1d},
{0x27021be4, 0xe1519722},
{0xe215a50a, 0xf22f2efc},
{0xacdcde3d, 0x16ae2172},
{0x2fe32784, 0x86dd254f},
{0xe0d8867d, 0x5baa3ea9},
{0xaee67669, 0x359b0d85},
{0xfba3c0f9, 0xd5fcd0b1},
{0xa7ed5e0, 0xae39c927},
{0xd3b17b9f, 0xb731c95c},
{0x8edf5e00, 0x5bf20943},
{0xca7abf38, 0x570ee2f0},
{0x9fd326b0, 0x4622e519},
{0x3e78d4df, 0x399e8ff0},
{0x21ac5c0, 0x99162604},
{0x1d93a3c1, 0x8b9cbe2c},
{0xde186b47, 0x68784aa},
{0xbfbeb316, 0xc109690a},
{0x5c94d83e, 0x99b09366},
{0xb90fc5f, 0xa29d3716},
{0x44546b5d, 0xd799e1f5},
{0xda8cc9e0, 0x50e4eec7},
{0x15422035, 0xe96c7660},
{0x68db8d60, 0xb9bd2e94},
{0x37f0bc8e, 0x598a7729},
{0x77411b20, 0x61f64437},
{0x8229e802, 0x9f2bb2b8},
{0x1efc6518, 0x2ed7ff3f},
{0xce5719da, 0x613c8007},
{0x5d652278, 0xa54d0adb},
{0x307b3928, 0xae41248c},
{0xabf34f5e, 0x3c6eeae5},
{0x83ab25, 0x7ffeeb66},
{0xc384c0d3, 0x383a782d},
{0x75a70bcc, 0x8ba789cb},
{0xcc8e890c, 0x70221807},
{0x56a0bcb6, 0x69471cb1},
{0xbc0797de, 0x754a8b16},
{0xee780638, 0xa53a0bbb},
{0xd9c4d381, 0x2426af5a},
{0x589f36ba, 0x93644d66},
{0xbe093588, 0x2f3b2178},
{0xf3289c59, 0xd9ec6873},
{0x4c0b4820, 0x11c25948},
{0x21cb14c0, 0xa33b5e96},
{0x202e8f88, 0x4df5bda4},
{0x287dff43, 0xe901fc60},
{0x39af1bd0, 0xc1bdeb6e},
{0xaf675d3d, 0xf0fd5a6a},
{0xac823ed5, 0x5e837be2},
{0xf3de4cab, 0x2446fbc2},
{0xe92bb27c, 0x8e3361e},
{0xa8430908, 0x12df959a},
{0x347cb2d, 0xeb0a17ee},
{0xf5683e6a, 0xbb46dc2e},
{0x45848293, 0xa57131dc},
{0xaa530add, 0x3cd280f6},
{0x27d75691, 0x2dc0d278},
{0xa50c99ff, 0x5e874e0c},
{0x559c2887, 0x9294dce3},
{0xc549c6dc, 0xec3bfadf},
{0xb7418c5, 0x55e896a1},
{0xb2a4f00a, 0xb0bc0619},
{0xbc8c5a4f, 0xa7e1d89f},
{0x282d8a08, 0x44ae50cd},
{0xf6241ad3, 0x3ec4af82},
{0x870babd4, 0xbc0226e4},
{0x5ffe0ae7, 0x12c94733},
{0x74f3f1ca, 0xaa9ee0c9},
{0x27898287, 0xcc93eda7},
{0xe33592c4, 0x8816ca52},
{0xa380cdcd, 0xda1438f2},
{0x5816836e, 0x2b206af1},
{0x26b8bdf2, 0x7385cc8e},
{0x4c4773e9, 0x968fbb1c},
{0x27e4fa85, 0x4b57f9e8},
{0xfe2b53a3, 0x79962f9},
{0x8411fee9, 0xcfb5082b},
{0x74b09775, 0x5412ae4e},
{0x3390e014, 0x8e719f50},
{0x9d802dfe, 0x4a7c71a7},
{0x11187685, 0xf61d6266},
{0xe9406e3e, 0x9e8d1cc8},
{0x18da5886, 0x22fb251d},
{0xe6ad9c75, 0xa009654},
{0x954b20a3, 0x2496f899},
{0x6e40d13d, 0x576d0cbe},
{0xe95f1c69, 0x5dc66b74},
{0xa2322ee6, 0x36d97870},
{0x3efb6f63, 0x25ca0914},
{0x978b2111, 0xc6d9db3a},
{0xc55aa651, 0xd552842e},
{0x30ad290, 0xe4eec8fd},
{0xd2636ab, 0xd12a689a},
{0x31a3b57b, 0x2ce98597},
{0x8301f655, 0xd44c059},
{0x4c480996, 0xd5137410},
{0x774cb7a3, 0xa4ed97e3},
{0xcacf0ce2, 0x36dad306},
{0x19d6a58f, 0xcde04db6},
{0x44a8f281, 0xdc06255},
{0xd249bc38, 0x1c03091b},
{0x4b2b7bce, 0x954dae0b},
{0xb04499e, 0xba80343a},
{0xbe308fbc, 0x36c9aa8a},
{0xda2c229c, 0x4e0d6560},
{0x43c89c6f, 0x5878ddfe},
{0x26b31825, 0xc60c238f},
{0x3c09f18, 0x3f17c301},
{0x200e98c2, 0x7a588246},
{0x99be8e15, 0x9963f08d},
{0xb8650a4b, 0xb7729091},
{0x62aed149, 0xbd5fa321},
{0xa7edf7e5, 0x53d36754},
{0xf04804b7, 0xcf1f6336},
{0x4f48b03b, 0xac2092d4},
{0xbb5f5165, 0x81da14e4},
{0x5982d000, 0xbb075386},
{0x2fd7486f, 0x85fb0ccf},
{0xc9624a4, 0x9978d21b},
{0xe6da8c69, 0x5fc9658},
{0x73198355, 0x150ea2cb},
{0xa3164fa, 0x97bf9701},
{0x3de3b038, 0xba4cc3e1},
{0x416688b6, 0x8302b20},
{0x2f6841e8, 0xde8ef386},
{0x6b83993b, 0xe2e5d7c6},
{0xc77f7d2f, 0x2b5378d2},
{0x291ead8e, 0xe78bddf1},
{0x146a3503, 0x2fafec10},
{0xf7d16b6, 0xcccdeaf1},
{0xbdc5aac3, 0x55a35a50},
{0x8d8afa9a, 0x4a886218},
{0x8f348ab2, 0x26131032},
{0xde657117, 0x84f9eba5},
{0xe37ab0b3, 0x8827e7f0},
{0x5439ff65, 0x80bce4f1},
{0x89cfc146, 0x82cd96ad},
{0xa536ddab, 0xd842bdda},
{0x22282c2, 0x451b74fd},
{0xe75652e0, 0xa936f6f},
{0xb310d2d4, 0x195c9eb4},
{0x5eb3f2e4, 0x721247dd},
{0xa2573437, 0xfe7e35f2},
{0xc5400ade, 0x24032799},
{0x306e20b5, 0x3da1a56e},
{0xd47ff7d7, 0x799a5bce},
{0x5a22cb5d, 0x698fde02},
{0xe8252397, 0x3b475209},
{0xfddb5f06, 0x71d68b77},
{0x73863bf, 0xf80cb122},
{0x7f56b503, 0x1c44ac91},
{0x33980727, 0x7196d36d},
{0x909d8027, 0xbb896a5e},
{0xce8b6d79, 0x85d4de21},
{0x6be3e7fb, 0xbf6aba},
{0x3e29050e, 0x1fdce208},
{0x2425903e, 0x3a918a26},
{0x2f50eb08, 0x96ccb167},
{0x3b31189d, 0xc5caa8ca},
{0x84fcc9b0, 0x4772672f},
{0x7ce830b3, 0x9e07f6c7},
};

const __int64 zobhash64[1000][2] = {
{0x7fc22c73bfa9d5b9, 0x4e521a97c98320a5},
{0xcbc5e4c9aea8f9d, 0x20c7859e9f47ebc3},
{0xe873f59b4fce6d1a, 0xa60f0184529f5eb4},
{0x7097ede55ad3db43, 0x3bda0d6da997cb14},
{0xe65ef1932d4a83ef, 0x4beb1163be71aad1},
{0x602a5ec372091174, 0x40f5fe1a25b591d4},
{0xe395de9c38e011fa, 0x7ad1a18eb43d7cd4},
{0x655e92b9ebc6ed2b, 0xb1dcddd7e2480c4},
{0x9f0062d0b28002ef, 0x8e3e0397d1be327},
{0x922f82238c3ee1ee, 0xd44b2d2fa8f7e38},
{0xa7fa3bfc6d575595, 0x476c8ed09dfab86},
{0x648b69bd3b5361f1, 0xcb9b9155b91c3756},
{0x9117cb24d083707, 0xb090dac2934e8960},
{0x4fb701c29a2debd5, 0x1bfad20d7cdbdc62},
{0x2a1eca4a94bbd7ef, 0xac4be342797a6194},
{0xf30239b517df9150, 0xc9d73efe71bb01fe},
{0x999780ec7561834a, 0x3c0216a93807b0e7},
{0xedd557a73e7efb71, 0xba5c7ff6a3e3040e},
{0x5cc9256e70ffc108, 0x87acf34f9310d372},
{0xc709374764a881ac, 0x8ab787a57b2c1c15},
{0xf7bb4563c2867bdf, 0x5f60a1fb1c7abe92},
{0x11ff5cbbbe5d7e7, 0x62cab5b971d22659},
{0x6dd85b3663eee43a, 0xa6df205220e87bf8},
{0x5cec5ae1caa852c7, 0x5db9afdbc55bdcec},
{0x97ebb63ea8e637f8, 0x2d5fdcab8183fa6},
{0x7b7cdf3c3e158dbc, 0xfba6ba282a585265},
{0x2a393114ad2db8aa, 0x52ad25b3c0e28f83},
{0xfb5e7ff56ec8d66e, 0x2c46ce73bd5b38d0},
{0x9bf24004c0fca26b, 0x2df15ec32a72253},
{0x1434f8b7de26af96, 0x7a156d54f808a64a},
{0xebef6435bff01ef7, 0x3610c1238a702490},
{0x54aff8ba1ba583d7, 0x4d9fe04b472db9b9},
{0x6fa1b056ee035c7b, 0xea747aa78fa66b8a},
{0x7b586cf9870d6f69, 0xed7e2ef643e605fb},
{0xab654d34b5d4937e, 0x6f41df6bb0f2f833},
{0xe565fe688bdc496e, 0x83b8d5585215d13f},
{0x554a8757ada40e2, 0x7c7921e04509e21b},
{0xed200c2e7551e0ee, 0xb00c4d1ccc75c654},
{0x6856532f55b0a446, 0x3b297d6f71617466},
{0xb16f57a29f7ba8f7, 0xa8f27f897be73b31},
{0x50d6b871af01686f, 0xfa0bbcbafb2d5712},
{0x3722e75f34afd65, 0x5ca239a3f143a52b},
{0xf2d56985f8712a6e, 0xb36fbe9d40d1be64},
{0x7689f560b8336e53, 0x75008f06bf337084},
{0x969ab7c1fab309f8, 0x2a8d4eb5aa88f039},
{0x4665b89a054fb55, 0x45f0debf4bf9fc34},
{0x5b6c76659f5e5171, 0x4bec8818dead2a56},
{0x6240541ac556fd3b, 0x12c8dbb8c8c752ce},
{0xa95e7ff55a31923e, 0xace90c1c6f6e0ddc},
{0x871a05c1061f1, 0x30bb5191a8401b19},
{0x31a00e61bdd6b0cd, 0x123ca390fc492783},
{0x4c9a829da1940c5f, 0x972ebd4464b324bc},
{0x64b1a0cc645ba55d, 0x96c22db9a4991d1b},
{0x2cdc757cfdb0916d, 0x7a8f290fc91da5a8},
{0x52faf69de60db540, 0x374644d6bc99be58},
{0xca8b30dae278c8f8, 0x79d16588b4e0651c},
{0x48b77d73439cc74e, 0x82fc49c019b59d31},
{0x708591a4293407b1, 0x1d5ef0a1246153e},
{0x28ae29bbdf00ce9, 0xa7b41517cd9e95ae},
{0xa1708df5cc1ac623, 0x4be93bac24bfb79b},
{0x7b341da95648b839, 0xe51b8d20acfaef48},
{0x184b78228b37c380, 0x6b1c2277758609d3},
{0xe9b21864463544f1, 0xf85a0ec34f4dc629},
{0x38c92b0fbea1c267, 0x61e071bb35bafc19},
{0xa53275e046d6cc68, 0x23d953771134e476},
{0x8b9e97a3a1911628, 0x6b9e68bedba77fc},
{0x3fee6aa57febac45, 0x4d1d8b05b0d0c773},
{0x8e404d9a8fe67abf, 0x1b6266a099392c3b},
{0x9c1498806509f0dc, 0xa442d0d5d49e4348},
{0xb809917ac9ffbe0b, 0x195fd463b2784d32},
{0x396eab957ec4d53a, 0x25deeddf3fb773bc},
{0x5ca678f5e094346, 0xae7d5d816a3de7f5},
{0xd49c3b8d4d205791, 0xbe483687a01204d},
{0xd8c5ce5a66ef2653, 0x55367cb61edb4f64},
{0x73ab9d4234ad9d45, 0x82703174e7e08dd6},
{0x1d074ef7259d21ef, 0x70255c10d47fb965},
{0xe6e126805b6130cc, 0x83b1f9c0376eac14},
{0xd404b8bbebac0eb3, 0x26522bc8f44d555},
{0x42eb24e996ea927c, 0xd8be1898ffcb9019},
{0xe7b6e1a2a47fa3e5, 0xd0086692dc8c5d54},
{0x7c1c70e0d178710a, 0xfe49167161d752c5},
{0x8d6b8ea7faa19718, 0xc9dfa3ab5e5a54b5},
{0xcc6940e9f24b50a6, 0xebf136db983055c},
{0x8faf07984e562131, 0xe5cffe4d339faea9},
{0x3c8e8f7847c94b47, 0x4fc86eefa734f02f},
{0x1a6d3313db261293, 0xa23c2380faf63529},
{0x84d6c6ed488d2e54, 0x845f8993a737c79c},
{0x20e9418ece5f3e44, 0xa69194cb7f7de8d},
{0xdfbb7c3ea3936bf8, 0xcda3b3cff130305f},
{0xe3abcc78d04e3bd, 0xd0b8f3c4c00a48a3},
{0xa3ac0c19490c0ac9, 0x578ebf573f25b114},
{0xe26abc642e73cd0b, 0x74d249401a4cbb4f},
{0x7cd8b9207cd76bd8, 0xd94fa07e1079a53c},
{0xe4bad618a3e40b8d, 0x39151f67af41a4d4},
{0x81e33109d5f38ca, 0xa104159b9209fa6f},
{0xb45f49e3a55826a3, 0xb835c3a386e89d07},
{0x47045f6e73c9e736, 0x15b16f09e67e8ea7},
{0x8d9e792c53939e4c, 0xeaad3a913b117742},
{0x502efd53fb62d27a, 0x4213d2cf5c6f867f},
{0x83967162c178474, 0x43c4d578bcee5b12},
{0xc4326ca25443506, 0x8179754eade2e314},
{0x2ac95898c71346f3, 0xaec9e3fc793416ae},
{0x8bb28d54673f58bc, 0x8d47b6c6c8b78e09},
{0xd659c73f55391e1a, 0xf92cd444fbdf8d1e},
{0x1e8fea88cfcf9b7e, 0xc30d895a36981d16},
{0x4a060577b389a784, 0xa6af9b7c86999b94},
{0xfbe7aa97671b07a2, 0xa2cbdaa7c3b737ad},
{0xfb17e4491770e968, 0x1afeb0bc49456157},
{0xc3541a674d1b267, 0x82a6b6a45ba5778},
{0xf746ef206e70d306, 0xdb67bdb3e4bfa551},
{0x23b721cae6203bbd, 0x529dab1523e0f039},
{0x7c35cd32c0ca213a, 0x5cc458326e403ea},
{0x682130a9bc103e65, 0x682b655e7a013d4b},
{0xd14a2b652e766cea, 0x6be671083ba47b97},
{0x8990d8f455e4a3a0, 0xe89f0e2e6f2e21a},
{0x40f2e4c2c7e731b5, 0xc676ed1f974ce06e},
{0x382fc8d0763c6826, 0x1a1c37602ed371ea},
{0x62ca6d2fee871fc, 0x9b4434693847686e},
{0x240a70fdd35d2e59, 0xc10e9f1123efcc67},
{0x6c6bac10f6823ad9, 0x625af0299a2fdf69},
{0xbb1c44d1e7ab9fd7, 0xc46e4af7adb23c87},
{0x5ee0f4a07cc6804c, 0xb0f2d8a0a401e7cd},
{0xd36a3435e7108845, 0x90fe4876397719f6},
{0xd28518d8db8a84b9, 0x491665969fda0af6},
{0x6d3264cc37ab2fe9, 0x422dab0d72b1bccd},
{0x23cb96398168eb30, 0x5e1468c15c83891},
{0xef0f50cf6f527132, 0x7a60bc993976c74b},
{0x53fbea8bbfc81314, 0x7cb4d6c834276ed5},
{0xf01d757213d42429, 0x2fca019e40876e74},
{0x6dbf89e71cbdf707, 0x2eff162b59df0b7a},
{0xc20bed634525bf97, 0x78d06e9544494595},
{0xe36bc1abd19d4e0d, 0xa9c457f35b3d25e4},
{0xbdc4562277b5bc2e, 0xee1287196eb6e687},
{0x3a74bf212e791912, 0xa6d68da094816e2a},
{0x9abf749eacc99c35, 0xd601a52ee7431dbe},
{0x1d44abd04981f3df, 0xaad95fbd76120141},
{0x2c94ab9c7290bec7, 0xfca5adc3a2f01e4},
{0x5bdb626b288b227, 0xc540156e9ef9ac99},
{0xaae619cd155a593, 0x61039426db2c9ee7},
{0xd3bf414f44ffb558, 0xd319f36bf4720d3e},
{0x48fa7b12911f5b55, 0x7565b5a2dc150660},
{0xc8119c9f5ecf9c4f, 0x4ece27e523bd9a8a},
{0x7fb28747ac2f8ae9, 0xfc3392531e257e71},
{0x632d990966248459, 0xd260ddc79ffc3700},
{0x90f6d5c92818a07e, 0x16dbbd68d0459cab},
{0x8f183ec22a6aec6a, 0xc7003539be245ccc},
{0x637b0938cb023ca5, 0x185be360a177c363},
{0xb16d4c63e97428f5, 0x74b8c0f1afccfb38},
{0xaf953f925d536554, 0x722f5b74d8ea00af},
{0x2d57f61e11d117ac, 0x2e153151ab55d84b},
{0x4c758fced08ab22a, 0xbc0203fa35e27bf2},
{0x2bb6b6a32bd601c7, 0x31bf2295716ca623},
{0x82beb772e7fc3696, 0xdd369a0e925f7932},
{0x4954570d353fae0c, 0xf519cdea38da4f8e},
{0x96bba7c531378f53, 0xf34548d2f4a61bac},
{0xdb918de3ba9722fb, 0xd0963760e57765f7},
{0x26eead2d58bdb937, 0xc129d7d6f890d22},
{0x4d54fc6de718f4ff, 0xb8c3aff28cd3a42c},
{0x481802357f013fc6, 0x160fe9b58b743566},
{0xc3e715311be7adba, 0x47b061ef1948b5c7},
{0x8a3fbbd6e453879e, 0x275f3122ad4e21da},
{0x62e531d9546c7bdb, 0x71cbc2ccf85789ec},
{0x6bbb7e31e17bc2f9, 0xa062894b8c54f6fb},
{0x2f664d12ff983dfe, 0x48591ef93dba28c9},
{0x50594861f493328a, 0xcb76ec17fe581966},
{0x551a8e9a6a12a47a, 0xf9f701b4e95e9b26},
{0x1ef16d3ca10a500, 0x2de4ea65ad1aa3e4},
{0x92fd841f665d4d76, 0xf973e93d9e40af84},
{0x72b34351e338b981, 0x84893c8f6621b31},
{0x7162b6c94ead53b6, 0x13f8f7baf6573cc2},
{0xde86b18830595251, 0x39c5d1457f17d245},
{0xf56a6d2248523d05, 0x5bf6907a394a7704},
{0xff41ab6468dcbabc, 0x7fc95a32a6c2253f},
{0x91fdd99c883547aa, 0x8eaa1cf3ae38ced5},
{0xcc6b01faf5ec3659, 0x58e2d9308a2be1ab},
{0x1c5f8fc989cec108, 0x59775106223246af},
{0xd8188ff0ba3dcd08, 0x7b9e3e4c4cf0c32b},
{0x7e73f90c13973aa6, 0x510c378ba968b288},
{0x7a797f80972de0f3, 0xa7aa373a4ee57be5},
{0xc6d80bd5ed204fb0, 0x38b7982ffaa89c89},
{0xb67fba88f09f825f, 0x129bd6e0585d52b2},
{0x64533220f7143f76, 0x6aab28a1728661d},
{0x692a9824f5b62744, 0x35bc48475a5b4cbb},
{0xd8d153d71bfb9673, 0x4b97d5da5e88aaf6},
{0x9d8fe46d417d6e0a, 0x8a80c5d6790596cb},
{0x47a4dc6c97bfb8c0, 0x786d999d71d64960},
{0xbeb69d38c1b36b1f, 0x4034c4be9bffa02},
{0xeff8ec777ecb4c8a, 0xc0e165a51fefcded},
{0x7d619351e7b0b2f1, 0x8c4814ca06acadc},
{0x83852fa336cf9fc1, 0x96ba2b162b94bfa1},
{0xacddd1474faf4a6b, 0x82d65568f02e5073},
{0x640c99d3dd130bff, 0x6e4c2f551033e011},
{0x451403dec826ed8f, 0xb88cd604a44fb9c8},
{0xd32866a041536100, 0xe437ebfbb81884f},
{0x6cd02b0ebfc04ecb, 0xbd04752e359df473},
{0x3ddf957d7fb48119, 0x8edff869b60181f9},
{0xa0fa5a9aa4aee849, 0x10ba0e64ffbb5228},
{0xe20d4c5a65f3dfe3, 0xc78c4e8893f238ec},
{0x3e7e1d0e6c6d78e0, 0xe6f8f707163aaac7},
{0x67ac1bc532b58cc8, 0xa94b3b17afd42d19},
{0xa407014474efde84, 0x4b7cbf7c911a5051},
{0x7e5835024b81d070, 0x486804bbe4fcd408},
{0xb2b85693c4a7a8a8, 0xb5d37d5f5f36aa1e},
{0x70281ebc33499241, 0x2f2574621c13aa9f},
{0x9379f2afb16500bc, 0x94dffbbcf44a0525},
{0x2c035d0faebbd324, 0x653e9b9f9ed138f5},
{0xc01fde1b884a034a, 0x407815b5ea5e36f3},
{0x5b4a175a370fee24, 0xef3312f993d58ed1},
{0x7ba1fa169cf80fd8, 0x1f40f05ab33a1d35},
{0xc9a8c8e72867ca4b, 0x342a3b3659ff9e42},
{0xbef1c990d41f4ae6, 0x9dcaa15c694420f},
{0x253c888f560225d5, 0x2dfae6816af0ab5e},
{0xd246b4d6d8c973a8, 0xe438b63e5d5ee494},
{0x7871c2045cd8109d, 0x9b7cbdb757738ef6},
{0x1a531f75694e3f7a, 0xe59b691e56846ec8},
{0x5a5d839d2f76dfb4, 0x6313e63977dbab8},
{0x894be6b3155779c2, 0x7f98165a2a96834},
{0x71bf0d00c6d04a3d, 0x72a516ce30c27664},
{0x5b31b6b8e898cd25, 0xf97a641dbeb3661a},
{0x4f7b5ba72b2382ca, 0x1198622ad9141d9e},
{0xe396664323c20ac8, 0x72d358924e16164a},
{0x12568444bc83c4c3, 0xdd1ee920243e6293},
{0x8a79d18ec474dd49, 0xf465457d7805af03},
{0x1b37c1b458029f98, 0x6c3f0f943c3d5b40},
{0x8dc2ea0e9c54ade8, 0xd8263a865abf0bb1},
{0x59b75d6135a215f5, 0xacf2415a70cf44ad},
{0x93c47e01e340bf5a, 0xfe9405481c3af979},
{0x9aea1e80cb1f8d3f, 0xc6b0a85ee84ead85},
{0x4b38f8bb587f7e27, 0x4ef6df91852be4de},
{0x7a7bf550f1919c5e, 0x1dd9a1f6816a521},
{0xd329ecc5530432f6, 0x75d5a40c276872b},
{0x883b830e2399e118, 0xc54c64e54170b49a},
{0x202a44747b6f7551, 0xa1b5334587aa0920},
{0x5be8f9d09cc372f3, 0xaa83fb31a400ab0},
{0x6ebb675bc3c11ce2, 0x8aca5ac25b0e0018},
{0x7c6e60f978c1f5bd, 0xb3c57ab561a3d623},
{0xfbf0685c24262ef3, 0x5d17172c2c587f6c},
{0x64e7463e198427cf, 0x4a7a29294cddc09b},
{0xd138124d7a15fc28, 0x1547f23514dc88af},
{0xf2fcf8fbd6db437c, 0xe2a36e85a7d300c1},
{0xfe24cc56ce1910fb, 0x3dafc9b8a5cc485d},
{0x87fe95724508bb3d, 0xb800e676a802b582},
{0x5a284f567f8afc45, 0x42305debfe4ff013},
{0x766f30cc12357e16, 0x1462d05bf6c76eeb},
{0xb4bba0eb9ec59aed, 0x2f2df5379152f2f8},
{0x20b95854ae4bab87, 0xbc86ea805a5c723b},
{0x965ee6a69f1f7d, 0x7302428be5e35c99},
{0x29606b2a74ef16a2, 0xac18e026a4c346ae},
{0x915d8dd957390500, 0x16186f48f88baa91},
{0xc72be5e0799e8750, 0x9186a60e62175cc1},
{0x64d36cf596726120, 0x3d3f6956a01f4b69},
{0x990b82c2999fc12d, 0x2831b2214db195a1},
{0x213da0474b11b05e, 0x6c7876c298c6e0c7},
{0x336a9596c3e929ed, 0x9cb5a91c882da6d9},
{0xefb6d144794bc18b, 0xf5d33f876a1dfd0d},
{0x89c633ab8b6b8935, 0x798abbb9ba09e3fb},
{0x8c3611041c4f64c, 0x1603647c478dea50},
{0x5c0a4414a6e5de39, 0xf6ae12de5dda36cc},
{0x79f3677f2491aacf, 0x818477acd8445d89},
{0xde34f045d3bb5586, 0xbaba0ed8c215016},
{0xd91ad92f29741cd3, 0x4dae859b4207c80a},
{0x3e730f77ca8fb30, 0x1f4b9a4ed2be275b},
{0x2b406436bffede51, 0x6d0d3372be38e2},
{0x271b952f69cf1bb0, 0xd09efc5ba17e8a5f},
{0x8ff9e68bfd164b3f, 0xd323d696e5e3df9c},
{0x74b2d7ab1d326931, 0xe64a392f7ec3a43a},
{0x56b11382e92dfd18, 0x2b4dab46c50ddf84},
{0x3d8e043a5585b13d, 0x6462dcea93896233},
{0xdda3eb6aea2b0ebb, 0x30dc2fcdb53f1a3c},
{0x5fa490358ac1b75, 0x32d163491db4515e},
{0x187c547b67dac6b, 0xfa8e5ee57cdd4c86},
{0xf90354249221182a, 0xcb346cafa0a1a1c7},
{0xc16c9c616d457125, 0xb46f71e69fc0dd0f},
{0x1ec40a6a685778c, 0x183f3d59a4a35dcd},
{0x80d21ab3137f10a, 0x3a4654b35d98d217},
{0x4c65b3beda9ec7a9, 0x6a69e69aa418150e},
{0x7ea2d91ef9ae8e69, 0x307ebd0cf8f1ea10},
{0xd42ef8093d3a1424, 0xb6729db09718ea6b},
{0x4912207fb9e2bb68, 0x1843a544eb283491},
{0xbdb1edd0b586cec8, 0xcac211402709af40},
{0x794d7187d81d37b1, 0x2a90859a3afee5ff},
{0x6ef81658e7fcc01c, 0x5ccbe8c11a3b3875},
{0x4654d9e0ba81b925, 0xb9f0762134456334},
{0xbae7585ecba7c814, 0x10a8e5c05e8bc255},
{0xb85ad9d570842dc, 0x7275c84cef995c0e},
{0xe0ca88d3f4e26427, 0xf0cc93a136ba4ce7},
{0xe416d7cb250842f3, 0xe645011f726d51d7},
{0x3060e9a094f3dc4c, 0x690cfe8f80627eff},
{0x8eaa0d87813b304, 0x65161103cd64fd4},
{0x328bf6a03bf595af, 0xf47d109ca52d6752},
{0x2b5382d0eb918208, 0x95d01acc292284d6},
{0x977127607d05e1, 0x185c4a19ebe4d67d},
{0xaa866e0025457a60, 0xed71667a80e9cfc7},
{0x7d11c5fbf4c09f48, 0x1ca452ce41b25560},
{0x74937878f9f05d6a, 0x294b764bd8bad0db},
{0xed65d5af3517b8c8, 0x13d9d5bfb48d67c},
{0x3f4db2f7158a01c3, 0x460551a8db318b3f},
{0x6eb8a5663967fd14, 0xc64008c5dc07745},
{0x6782466580ff4b21, 0xece9a06e4e8c82fe},
{0x1240aa9081e1ce9, 0x33df9316ad342f60},
{0x320e5c852681049a, 0x81d755ac460f1a02},
{0x85263d02c2ec28d0, 0x91ba5f46e4cfd540},
{0xee52bfd2ef455dc0, 0x3e274f102fe008f9},
{0x63ec82fee895245e, 0xf0afd125635bad6},
{0xc8bcff084db7bbac, 0x19c15921c997d4a1},
{0x50fc04e7d08c6aab, 0x5f49a9af891fb2e8},
{0x8bb6f4f2f8d4873f, 0x18b2b5703de2e671},
{0xa69a218d6fb9a03, 0x5b01f9ab2b970ed1},
{0xcbb67245813852ff, 0xd1f6eeb86551a4c},
{0x5b9482fcc700a5e, 0x572e6b1f209ed5cb},
{0x416514dd6a5ed1c0, 0x1a7a8a9eee0dfc1d},
{0xd277564e457e0eb3, 0x6c98b7bc7d54efe4},
{0x8c32e7252b5eca1, 0x36177327a7e247fe},
{0x61f864e133bc538, 0xb7859d8bfcf23dbb},
{0x3d1c0c834fc74f8c, 0x6ff9195d2e08eeb5},
{0xad93174c2365d3f7, 0x9219921f60d7c75e},
{0x5d81bb257b508ef6, 0x306ad490a33b7b12},
{0x35fb33f14ff5b1e1, 0xe8d902b25cfc6331},
{0xd4ac53078468a7f, 0xc81de6a3c4ddc5c0},
{0x6cc2ad8fbf08aa03, 0x8b3d275422cccacc},
{0x7f3ce10affd15f08, 0x201e2eaf2ebfef59},
{0x7d6de408b3b48bb, 0xb4cca9ec5e937df6},
{0xce86f0acf2a97639, 0x6e9e5bc2ef4d62c3},
{0x5bc80cd9a3787e9c, 0xe53897a8b9ad1dc7},
{0x315ede328d1ee3d7, 0x536997d0d18a4371},
{0xac47b5e5b50d9268, 0xb4a97e5b40e2f34},
{0xfe86272b1222b51d, 0x53653894d400e1},
{0x37098ae72bb0ad94, 0xe3f5d7bf2bb54b94},
{0x7486cb44293b1a02, 0xe86f77a1c3a9d99a},
{0xd51fc4a43257ffe0, 0xfad361b84fb5c715},
{0x2f88b4f2a271e503, 0x3c3b466f1c47858f},
{0x85c19a907736b218, 0x37784c45be07e47a},
{0x25f437b6bd22ab04, 0xd495d47242cf7ee6},
{0xa9d57c90b8cba9d7, 0xcc2bf9c7fec9b97},
{0x17654a6bab28e178, 0xf329a242b7889002},
{0xa0c68b03d82f699c, 0x63942288e5b602e},
{0xe7c29d65a2db1d15, 0x8119dbfac7009495},
{0x6c599d4c94ba74bb, 0xc3e8142d4594e6ae},
{0xa37d7d53f4d60ebe, 0xd9c22ee46170c5bc},
{0x52a8d651961b4e8a, 0x671a0ea4ed87eb3e},
{0xf79cb60f55d0a884, 0x300fc7d7340891cf},
{0x502db69db81bced, 0xac47ed4444edc2d},
{0xaa607b018e2983bd, 0x8f91d69411d53a8e},
{0xd6151afbd2b1c937, 0x7bd4e100ce5e7d04},
{0xf9bcaaef725d21b8, 0x48c9136aaab90224},
{0xa9dad3e5846a40c9, 0x614f7acab77feac2},
{0x1a71a8fecb32ae7, 0xbfe5366d1fcc6695},
{0x9c89bd18000f9d7, 0xfba0c58d732a10d8},
{0xab4f2fbff792294c, 0x22dcc8b4c5897cf6},
{0x9daf8c1866860d53, 0xf1e5f307f4aaf774},
{0x7a3aeaa9f53a7de3, 0x75498a81c16c690c},
{0x3c75cce824d6e0b2, 0x7bcf6f0c144e4dbf},
{0x657a738c217493f5, 0x16e820a5f3cc8d59},
{0x9e41eba631cb0b06, 0xc93c6ed058bac3da},
{0xb790aa0da1331658, 0xa55d1bf5860b7689},
{0xb91d55477879e8aa, 0x8d7b8942718f5cd2},
{0x7fb515c434263cbc, 0x12634d34d9ce32f},
{0xa3ce631d7fcdb697, 0x142d63c4d6f76689},
{0xa9e37b197d768558, 0xe9a62c7fc7af1907},
{0x3de5e49a72d2bf55, 0xbbafae3baf73434c},
{0x7f547e21304e8e7f, 0xf32147a6ccb8152f},
{0x9be17674b6e3539e, 0x459ad51d20fac833},
{0x296011b4ad0420a7, 0x6cf78cfe3270081d},
{0x640c2f63cecd6398, 0xef832bdb7b0753fa},
{0x7afa4d8d5e2e9dd4, 0xf0b7da0538ffd0b6},
{0xad20abd35b3daaee, 0x76ec61443fd01b24},
{0x560a290feda4263e, 0xd291d832fb76eb8e},
{0x99312d5d1f93d41a, 0xb7a313dc7056d8f3},
{0xafd2a00e4e2a1a82, 0x93327c8f529ff7bf},
{0x7a06ff24b3c41ba4, 0x154a6ed32661e53a},
{0xa6f70ef47bb3403, 0xc53d6606c948d937},
{0xfe14937ead0438e1, 0xaf1a6a985d35d19b},
{0xb84b71f94ef39a37, 0x54c6e1e54b6c3a7c},
{0x92a2584ff9b06c, 0x508421d483019739},
{0x771d863748a1a1ba, 0x41cbeb2b4789169},
{0x156ede8fc152c15d, 0x736394545c260b9d},
{0x66af70e9d3e5a649, 0xf0ce2450c4c21e9f},
{0x1a796c0529b8032b, 0x52cbd00434641c45},
{0xdcc4f32f55d83a4b, 0xd1c9ef035c6a39b7},
{0xa54407dab68832d3, 0xef62799ee39c90ba},
{0xe79e6a542ce10bb7, 0x18a28995a4022989},
{0xfd1f714063cd68c8, 0x78170d4387461026},
{0x1b49a8ed54edf614, 0x5f81b44df3e733ec},
{0xf5af004b4cadaf96, 0xa74add0d2acefb51},
{0x9ef949167413139e, 0xcc4c6690e60f02b},
{0x74258098653df53d, 0x5e9064c7d337c369},
{0xd3375b9195b2f967, 0x33a3396ce941b599},
{0xb49a6090c787fd8c, 0x6cdf364420790e89},
{0x11ebc54173abb0ca, 0xcdb17e597b7ea9db},
{0x2fb7b006c510923, 0xd061ba7da90cf20e},
{0xcedb157f6724d195, 0xa9ab6587c44dd543},
{0x49c9677df963e012, 0xe0712bcaeaca2741},
{0xd5b6e702fd2857e2, 0xe59ca4a16effaba1},
{0x5ee6397cbfdcd168, 0xa22004baf5637fb0},
{0xad0123df28b2f5be, 0x40a63fa597e24fd7},
{0x3134ad3aa7c93fc7, 0xbff37874f17abd15},
{0xb9a993b9f728f98a, 0x73fb49d23845b9ed},
{0x22b2529f912596ae, 0x9f0c93c239f82d52},
{0xd5acfbf31632547f, 0x3d085baed6cdb90a},
{0xa4a5ce99e92d2a25, 0x189b5aba17ba87b3},
{0x3fa026cbc0f13d, 0x681798cf73a0a928},
{0xb17bab11b8fef3c7, 0x595e05e21893f947},
{0x4cd72ad49b9567cf, 0x66b2b8b02cda3658},
{0xa5e47aaa156b32d2, 0x566331c35cfdb742},
{0x7e34caca71e76701, 0xc90532ac1e1dc82d},
{0x855d23f1d11d1ce5, 0xddd3281996a9c60b},
{0x1513a4c75dff7824, 0xa2f1a210b6e5242},
{0xa025d33171fee17, 0x911450c0acaafdcc},
{0x2a4a379825a90502, 0x57acc66eb90fc6a6},
{0x4b978853dc7f14b, 0x303bcdb67fb551d6},
{0xde0d1e646f999f2a, 0x107d0def5e196767},
{0xe02c4485cf424cc4, 0xc4b760bc980b21a0},
{0xcff79005924798d4, 0x979d5c02a3b32efc},
{0xb6aef4f6a5b27473, 0x286d97a5809c8223},
{0xa59f2c866160be76, 0x5bf352789626e79b},
{0x7b74980c679f185f, 0xe9cc2216968d3288},
{0x3854201fba7f32c3, 0x6b231dbdf76398d2},
{0x45658d836331c18d, 0x22d8f1ec1947a888},
{0x8f02cd8058a07201, 0xaaa294d8d351754f},
{0x82c55ffbedbf3ddf, 0x1d2bad0fe6cbf428},
{0x46662dd09c6b6202, 0x44659681e573a50},
{0x59b13aa55ca617e3, 0xf667a61a5bc15a9b},
{0x5d72fe3e4bcefb1c, 0xfed33e3323ba633d},
{0xd02f4d239919a00b, 0xfe9e5de98c54b1ca},
{0x7781381c7f4e9fca, 0x9bbc04227e361538},
{0xd51b6c3aa8195bb9, 0xf3d8ba2d149102ae},
{0xec78195b9552cfe, 0x9ce3b409895f2367},
{0x52dca39d3a7ed0fb, 0x2f9b5fb5a1925b53},
{0x449ebaa9fe641747, 0xa55e600b3bca71a4},
{0x633ebeda43c07c7b, 0xa71601c474d52ddf},
{0x5a1615125eca7a12, 0x7ba9c6ee790f07d9},
{0xa2f9719076408a77, 0x18838bad671ff16a},
{0xc37b50ed6ca0eb59, 0x600bb93022d02cde},
{0xd3d4887c3a21550b, 0x2034bdce91ef691e},
{0xa407e492e2196b8d, 0xacb3e8e4574c01e1},
{0x80d1e298e1513853, 0xab684e1ae7b112eb},
{0x5ff07bdeb697ed76, 0x82dd7a1e6be0cdc1},
{0x9202175236072042, 0x7ffa8df3cea63bf},
{0x8e940b3864883724, 0x7ed1aac9e1b37406},
{0xcedd8fa6e2d3f897, 0x130d6577f64fa8b4},
{0xda971aadd579a904, 0x920b0b3d1df48c08},
{0xf438c6e314767332, 0x10aa1d70cb3071f0},
{0xe193c2b24c537d7a, 0xd61ce0f6e5f35347},
{0xaabd338371d25ed1, 0xe63cdc62dfc14714},
{0x6bbd2a41a2a5175a, 0x266c626c26aba3},
{0x4cfeaa0106000b8, 0x232601440bf543},
{0x71222563394367fc, 0xddfa4925b2ba0233},
{0x417858f3228c32af, 0x60877d666aab318},
{0x7c41cf65c9b67500, 0x695998d180e676b3},
{0x490f0c441371a899, 0xdbcf22764f3f4e08},
{0x65814b4ace17cef9, 0xeb8100698bd001aa},
{0xadd9fda75d546748, 0xcb77fe80337bbd2a},
{0x2e1604f0486ec103, 0xb9aa2c2177830e2f},
{0xef605289fdd60a94, 0x36041f42752090e8},
{0x80c6fda4a5bf898c, 0x78f0e8bea0d93570},
{0x4c9f58edb9c4b721, 0x4e9c4d50ea417c9},
{0x2f6c9501dfad58dc, 0x63a5d364a891b649},
{0x3e49a1f1a01e1f43, 0x6624562da220bb44},
{0x7208c18fd6c4d95b, 0x41ac8d6c465aa663},
{0xcd76b6dae968676a, 0x6ab6ab6387a3de2e},
{0xcc5937f4e865f9d0, 0x754648134aad042b},
{0x5defde956148e606, 0x36c343efe596cb2d},
{0x6cd2dc6a40bc1144, 0xa5da28c1e0f843b0},
{0x604200022d18a9ea, 0xf9de73035db6d319},
{0xcdaaa75a7489c8a1, 0xded72a755ec18f24},
{0x38ed6ecd9cdd84f6, 0xd06bba3c818e4be3},
{0xbb90287a7d2e0c05, 0x88d2c22cb9237ad6},
{0xe7ebbf74c6ff241d, 0xfc4b66edfe70b890},
{0x95aad2735d4c2080, 0xba4d10368b567388},
{0x40a76461ce24283b, 0x722930112d090040},
{0x380bef115b2f5d41, 0x560e52c5116571e2},
{0xc292bc49527ac03b, 0xc0e25b1f61b50dbf},
{0xcf3657b03a65c6ad, 0x369b90556bb53a50},
{0x2fd29b33e9be704e, 0x704d331156a42efc},
{0x7b96817c4fd43f9c, 0x199b9f97f7810e66},
{0x57ae73b37a3999bd, 0xc8342b07c6d0c480},
{0xeb767f0c343c0958, 0x922fd98a14bf8942},
{0xad7b739e2667f069, 0x1e99b60bef3aa31d},
{0xc4e96904965b2792, 0x287f7b70a44f1a51},
{0x2a792774db6a896c, 0x3071a2c376136141},
{0xa39a0592b2dc479c, 0xb1c1873aae7b2a1a},
{0xbc98227cd230c167, 0x103441b613fddaf},
{0xebfc1e05a7a04294, 0x23b530389cd686fb},
{0xe923f48fed9d6770, 0xd6d812349e7b0797},
{0xdb96f35a8a5f7aa9, 0xcff613724ca0ef68},
{0x904ec85dea280b, 0x64b56f13734ec6b0},
{0xee9712e3293bb4b1, 0xbbe9ea2433445a2e},
{0xbf5b8c25ce5ffaf1, 0xe7c67c16c222742b},
{0xcfa91e4697702351, 0xb1ad51ce793ec7bf},
{0x2e0634cfdbff19ab, 0x89ab361f9b49fac8},
{0x1ed841cca3e91cf0, 0x24a39161a51bee4},
{0xa95547db4b490946, 0xdba6051231204363},
{0xde23619e90673982, 0x8c805e94dc0a9b98},
{0xd00d0ec91390abbe, 0x517ac9b9ad339cfa},
{0x7de286e012addb28, 0x3d8ae21bf6892624},
{0x1b2403b228ea7d2d, 0xf52f08e04b495429},
{0x4193d18791d696dd, 0x1c61214577d3c816},
{0x68d29ef1b3641895, 0x4b44be5eca8b0ea6},
{0xa786680a42617902, 0xe738f940bb0abfdd},
{0xc5493a9a76d0018f, 0x4a64a806318dc315},
{0x72cf81f0230d5d00, 0x21345b695f46080d},
{0x6110b62c44862c, 0x43c45db1ee8a6bbf},
{0xbe0918295701693e, 0x2c21268b1419df49},
{0x1e9e5a8b818aed4, 0xc104c98595f0e39a},
{0xc7f4982df7b701ce, 0xd8269c95498bbf2c},
{0xc89148736cb109b5, 0x669bec78277045ab},
{0x4dc3758ec463654a, 0x8dfdfeae2ee8986e},
{0x344d7fd7146fd475, 0x4e70f15243965643},
{0x8e167e888afeff17, 0x3b0e4bdac879cc85},
{0x66b4c1a6d18725f1, 0xda6dc8fd8236550a},
{0xa430fb9d8d6d3726, 0xdb9ba5ca39f1103},
{0x404e2d907bdc0961, 0x610375cd47455f6a},
{0x7f5c6826aa0126ef, 0xa6c4ed7a26c4daa2},
{0xa7717b6bb9a790df, 0x8cc1aa5386546819},
{0x55f7d4c6e3387f6, 0xe676af65b2e41511},
{0x34808c97d4160bcd, 0xa919745edbfa7ce2},
{0x86f4b6f1d8e36f0, 0x3fce163e2854495},
{0xb503823019b96839, 0x5a700a4b96afceb4},
{0xd4a3880c66cc427e, 0xb24d70ef1b42046d},
{0xfcb446763a4f5fb5, 0xaf42160e267c6f88},
{0xf4a7a139204a2f0, 0x1ff0ef7996164c43},
{0x818507bf9b74c05e, 0x27da9fabd0f907a8},
{0x133406071eaf298, 0x3dec2f84eaa1544c},
{0x1193503f9a7c539, 0xaa962055dc7cbb52},
{0xe57d560810b10f53, 0x202756b4a4c8a373},
{0x76ccc88a49637140, 0x5455f159f9687f3},
{0x34c82292318d8aeb, 0x843ed79b2ae3a7cd},
{0x93a3203a8dbc895, 0xeb1398cae25f7a91},
{0xbee8c8c5d0e7516, 0xf18c8b2d56227447},
{0x827ff46f171c1aeb, 0xf8e4432f996098fb},
{0xfc915bcd47b32f0d, 0x14ec0ca982592013},
{0xef0a24e940a6ecc4, 0x22a24cddd5e0a771},
{0x4993c82c481c1049, 0xd967f8e3288b98e},
{0x3252ea2f39d154c7, 0x67083ae86b978840},
{0x3ecc06c2f2b20cf0, 0xf38f5ca2996bee13},
{0xba758d9022433807, 0xfffc97c52f336cda},
{0x5c9c335def0eee96, 0xe5c91749b7d848bb},
{0xf5a287e584dee0f5, 0x32d992c32687bbab},
{0xf6311399673e1a1a, 0x95c7347bb3c736c8},
{0xbf26eba96ce37157, 0x3c45dac1fc33c317},
{0x1eae61f3b233fe8, 0xebaa8e1c197fc190},
{0xde60b739e06a6a6, 0xf6b128d82340eb14},
{0xa899e2ada2f9e297, 0x33169ecb18a55cb2},
{0xb09c52f8f33247ce, 0xc8288efcf38c811c},
{0x3729fcf6a902e8e, 0x471742c8cabfa474},
{0xfb83231d1f9c63e5, 0xba3fcf3cc8d5980b},
{0xedb7d38a31e949f, 0x3e6d2d95217ef1b2},
{0xc5695388d5f75a93, 0x27a546dbdafd791d},
{0x9f9cd943353d6d16, 0x6276a636e0132807},
{0xc010ac815f9accf3, 0x1ace382fedc04dd8},
{0x19b96947eabdc715, 0x64793007435dbfa},
{0x78530741f3fe5526, 0x9a8cbdcbd0bd90},
{0xf73d1356ccaf17c5, 0xba5695df8bca09cf},
{0x4dde1c01aa538f10, 0xc4f623355b226040},
{0xc6bab5824eeac4ec, 0xb93e5df945edbb1f},
{0x973e894cd60e3222, 0xf4e5eddc74000957},
{0xa57055168af91bb7, 0xc841d465f083886},
{0xc91f870664180e1d, 0x562e50d3b51c3168},
{0x15c0530200e47f5, 0x978a4daa5653ff38},
{0x3d99062167e0d4b2, 0x3ac746d8e0d1b06},
{0x6a7dd5baf46e59e7, 0x1d04932dc59bead8},
{0x88b90b428afb0258, 0x4251ff89f9998b7a},
{0xf3c3d756111293b3, 0xad748718651b4ff3},
{0x2f9f9c514b5e196, 0x9979dd13b070845e},
{0xe2d4ee415cede3f4, 0x8f8941d0bfc430e7},
{0x3b28858614ea1b67, 0xc2b56541ad24b0d},
{0x22e1ac9cdacf5b4b, 0x34aed936bbf7959e},
{0x7325a392663158f5, 0x170f1674914021fa},
{0x280bbd3b2acfd5ce, 0x533b819aa1dc08db},
{0x16d36dc1d29c7e4c, 0x439ac2a14be307d9},
{0x5695225cc3d9e66e, 0xa26aa84d35165b3f},
{0x5f94c756a0fd40ed, 0x849ff570d6088903},
{0x4e6468a59a36cfe6, 0x9d4e7204fdd02457},
{0x81355a7a3bc52da3, 0x32ba0ab2bf7fae3c},
{0xb36920ecebc321a9, 0x227e77293e2bc51c},
{0xf8b1595aae1ce736, 0xea0ecec78bf0cb19},
{0x59849750872efc0f, 0x1acb0b2a5c355578},
{0xac252daa503d8e4c, 0xbd9ab79f8ea4099},
{0xe17d0eb1ec8f9be5, 0xf38324fbb1f93cc1},
{0x5c140bf3457e6509, 0xf3856922b4f18be9},
{0x1888db171419b993, 0x83c468dc9c36fbad},
{0x4b6fcbb3a4512237, 0x88e5e6f04989025f},
{0x4a805fec73b76cea, 0xe418373c38470f7},
{0xae9c537944a98990, 0x68bf563444390a},
{0x60889025505db083, 0xa30abbf5299ad72b},
{0x17b4f2aa38ead138, 0x5eab69b6c94ccc92},
{0xadd54cfef519a040, 0x740368feb1793d15},
{0xfa6fde571de75dc7, 0x38b613673a79b348},
{0xd4c2ab9b45ab76b1, 0x264dadb8c1653697},
{0xe1d858c996b77890, 0xa24f59f8c3ea8e7f},
{0x57073ed1826612d8, 0x7884492c9a706474},
{0xd58ea15132935f2a, 0xe73ede663fa2b063},
{0x5e98a9568c54fcac, 0x2655117c6631b685},
{0x569e48e592a90d17, 0xc06035a75ab2bf3e},
{0xbc59e0cf8e71ca13, 0x79c296abd241f043},
{0xae28b42dfce499fa, 0x440c3882dfab9df4},
{0xde9ba6e24b4fe8c, 0x7b645a263572664b},
{0xa3dcce30b5c93307, 0xd2784eb1e0a02489},
{0x153a145313d2e28, 0xf0528369a2a39e46},
{0x1b3f2d2c2b9bdba1, 0xd7974391d67ca9d3},
{0x242270772c1c299f, 0x44bcc93de871d5a4},
{0xd9ec35a9fa3be548, 0x72451e488aae2ea},
{0x2183655d982dde3f, 0x606db72ebee87b16},
{0x468f8d897fa2f5c5, 0x3b4d4c61a4c17ddb},
{0x1d81ebedf55723f2, 0x13169b2bf408f7f},
{0x32fb05c2647a8cc4, 0xb20e8a832c33462d},
{0x8cd7486272f2613, 0x409ff14df1c05144},
{0x788ea3d4531c2d61, 0x790927798ee84b34},
{0xf3d86ad4f1319541, 0x8e26dd6195ae2428},
{0x100457fcaa9e4135, 0x47fb15c0bc8eee55},
{0x31328179ca03d1d6, 0xdf9529a3a1276d7e},
{0x83273126c68b0fc1, 0x740d551ddff74d23},
{0xf94cad7e342616ee, 0x92c35281ae18e72c},
{0xe199f561c3777880, 0x81c067e3e69606},
{0x83b603ef8e2b276a, 0xf45b5afcc5585b29},
{0xb295bcbf7d70f036, 0xb7f4c85636d22755},
{0x4e193514a2c4741a, 0x12be830586380732},
{0x33c71d4246b305d7, 0xf92e4f2039a33cd0},
{0xf944ae0dff599a96, 0x437436f4ee7df881},
{0x4a47072c1da8eda5, 0xfc8f8b75294040dc},
{0xfa5033a94634931f, 0x2464ab7968c2f936},
{0xc773ad2d213b66f0, 0x16ce1ff49e36a7ad},
{0xa9ec8a6161ac88f8, 0x25e0438a7d9d4232},
{0x880bb3143708d494, 0xb9070cee72866381},
{0xc18b8dc3224d40ca, 0xc4cfd67ed94e2853},
{0x515d8f48fd154984, 0x244c1e26b353235},
{0x5d0fb6d29151db8e, 0x5f1492a0c2111bc4},
{0xbe3d6bdde6dbb53, 0x68230cb959c9d118},
{0x925e6300606ff45f, 0x9fbfe9fe3a3733ba},
{0x69e354a75ba3cf76, 0x9ae680cd8521ee71},
{0x5036024a6535ae7, 0x81a0db0b3173f162},
{0x83068848f713e54, 0x90b385411e01713d},
{0x5d1c7a2cd5c525a7, 0xa86df91564e3ec2b},
{0x3b29eb553819b3c, 0x63f1fc8124317054},
{0x7c0df1a68d5cf332, 0xa5a0f1bd3f79a643},
{0xc1dfe837c867239b, 0x874474cb7d4a0447},
{0xda3b9abd466982c4, 0xa3c310d379609410},
{0x9874037de26350a, 0x418b72aec5cfa038},
{0x7e6a0056e9215f2, 0x5c9eed9019dbf595},
{0x72ccb74210e0be04, 0xb8ddec089dedd9b6},
{0x57ac519285ba458, 0x8991ec251a94644c},
{0x7c9e58be39b8a030, 0x61f980a8a43546f0},
{0x5766c0028b797837, 0x503b9b2949d65560},
{0x14a137b9cf55e099, 0x4d776c361d60fb0f},
{0xd8023c4167a54b43, 0xac6f5688829c8ac8},
{0xd6321a45b03d362a, 0x78fedf4acf94acf4},
{0x674b8646d33ccd79, 0x35e5183870ad056c},
{0x11c0adb4720c1c9f, 0x1d3aea7c4e1cc8b4},
{0x27e5f6c8c3e0422b, 0xa505a432cc290548},
{0xb22445403feab7ac, 0xbb70b46ef7c3a0a6},
{0xc24b4022a9114be4, 0x6677ab99cfebec5c},
{0x991bddbcad306cfa, 0x74e7bddfdd988af5},
{0xf86e1543d61eb1b5, 0x8a527d1f1618fa04},
{0x1ad13cffad0608f4, 0xfbed96d97648184c},
{0xd6f4465b4316a331, 0x842b6712cf9b62df},
{0xd91dbba5d5bcafeb, 0xb27d9a63ee56581c},
{0x8c188c84cab37e22, 0x7c63a5516bfb2db5},
{0x5f7f86e11999f789, 0x1278b125b1d1d24a},
{0x19012883c82ade8, 0xc9f757c8159f441f},
{0x689da5344610418a, 0x9aff7c3150d6cef0},
{0xb8af3584c5806748, 0xebc1c1931f94e8c},
{0x7fb7659774df6153, 0x8d846f435c5f0197},
{0x94401f33a683a2c3, 0xcd121b68d91f498b},
{0x928d17cc67c80a7d, 0x53bf7baeb0a0ee4b},
{0x4ccc36716e47a1de, 0xdb20b71b6042783c},
{0x4023e86d1dacf2dc, 0x6b889c74fa213fac},
{0x93929295a5eee23, 0x312042c87956cca2},
{0x687dc50724eb4b0, 0x69314e204468923b},
{0xf073f69b50ac3c8f, 0x5a8c03086289c125},
{0x37789c73bc600d8f, 0x4132201df6e6b06c},
{0xe0401a7f0d010ea, 0x10e33eb69f29a1c7},
{0xdea763b7f2126206, 0x4afc29c3bb74c192},
{0x2ef6e827bc5dc4a2, 0x580af26bd714c342},
{0x84cd5c5c5a95f5c, 0xe38ba640f7c0b37b},
{0x4475f9daf0476ade, 0x6674a732ff7f2ff6},
{0xd4107e5b826a74ee, 0x7173acbea52ca16f},
{0x5c24259afff7ab5, 0x5d8be53a37114a52},
{0xfd3c287c5efb1e86, 0x69d5e933be112f97},
{0xc1c504737b03614b, 0x7547ad69cf8e5a96},
{0x9e07c891a7060081, 0x8974bfb2f9390ae9},
{0x2ca2526cd0db38bb, 0xf9ca191f2e0a4b6c},
{0x1a284d1e595776c3, 0x24ec996196508e16},
{0xa4badacfbc3c6db, 0xdf80261cee2ae592},
{0x4db37277d621f7a5, 0x60c8d0a74ae143f8},
{0xd40fe7a12f182f9, 0x3f48e8a96740e461},
{0xfc3c2b7177217611, 0xbe6d3890cf2c312b},
{0xa11ddf3656d01049, 0x1a8ea785b6b0b014},
{0xb208bba5d60ca973, 0x1e5b818265d233ac},
{0x207433b3c79eeb9d, 0x9debfa7ff12f741b},
{0x2dcce9ae33d28eb, 0x86c6c6b0ae0ed08a},
{0xd392331250cc3474, 0x668199b5cf54ad3c},
{0x89b80a0c2a4b3101, 0x653bdb3a1813828a},
{0xd44efca437b524e7, 0x4049e185d07514a2},
{0x2f30d95fc5809ccc, 0x6d2935d8c9a61905},
{0x9cc5648e3b0532, 0x85d2d1ab9537b403},
{0x897cb070c4913d27, 0x3f4f828cc73ff951},
{0x29deede2881a3c89, 0x4b88e296287545cc},
{0x58c4b3a58a4c689a, 0xcdf4c89ff84ed42e},
{0x33ce18e41bf6a74f, 0x7a4b9277b619310},
{0x610e6ec5f9c07028, 0x4faf7d5acaf975f},
{0xdaca9d98de0e1de4, 0x8f000abbf169b3d},
{0x51a1f01731980f53, 0xaf152f23a41db175},
{0xa7fc996ab8121005, 0xef48e93e215c04fc},
{0xbcc5b1be759fdd9d, 0x26bcae6a17caa5bf},
{0x391aa6ef14827304, 0xad95c4595bf496a8},
{0xf4a62803b72de262, 0xc5bdf4e81d283125},
{0xa8e1fe5631f1dbce, 0x92d207e6dc3b37ed},
{0xf7e869b16124ebef, 0x8557fdf62cdefdcf},
{0x814a2e5b9a2b2bf3, 0x1b8556c7503912ea},
{0xe54377cde761f6b5, 0x69426fe7c4d65b64},
{0x49b0fde62561fc28, 0x38ef909e2947fe2},
{0x3ad405e8e570aeb7, 0x531449736c574abe},
{0x20d4fb412f14ad27, 0xac6ff60eb3d2db97},
{0x85b4951e207b8373, 0xa004b9b9b40729ca},
{0x9e0561a162b0bd3f, 0xfb90b148ac37d4ab},
{0xe89cd2da6de337df, 0x6a5c80c8681cd003},
{0xf74ae974e4287632, 0x1a57de5d56c9c03a},
{0x9782577473467d41, 0x6abc33e2a89ab10a},
{0x573343b1826356e5, 0x166621b7e7229ddc},
{0xb44ecc079ebdd5c5, 0x6605bf365534a546},
{0xda659f655792aea0, 0xfa05a69a5919238e},
{0x289b0c4943f50037, 0xbd70cc8170fcc8d5},
{0x7cb75fdf70077128, 0xa89a575df5753771},
{0xfcd2e1e1da963f50, 0x45c0caf98dc5e69b},
{0xd5547308c7200539, 0x43fa515eba554c51},
{0x92727df3bbd9ed15, 0x9c690452602f1959},
{0x65b4a3b3a6aa5ecf, 0xd9c1161d18893f87},
{0x1c092190d522c403, 0x438f498472e59186},
{0x2b297a84f4244d8, 0xf5e50dbd76e65cd0},
{0xd87322767d453e40, 0xbe00deb437fb90d3},
{0x83beee2055fcc9aa, 0x2625ca0eebd4315b},
{0x22ba78c0e23fdd85, 0xcc5fb702a7a20ab},
{0x6596307aff907102, 0xdeef02ae52d9522},
{0xe3ce3ccf6946c59f, 0xe749e876b43836e7},
{0x4d30603ef8c2f57, 0xd163d1bab9bc3266},
{0x2f0e36b4492819cd, 0x30f6e0dafa46d935},
{0x2cda3770548ca4fe, 0xc4083e8574a0c107},
{0xcc5dfe17d2cc8ec5, 0x972337cd1e6fe299},
{0x35a96afc8f999a00, 0x23cab1b188ee59ee},
{0xedf78692e430b2, 0x11a2f6b5eed9f940},
{0xd821142033ac9432, 0x7354de2de7df9574},
{0xb3d87c6846d2985, 0x8d77d77f65be1ca3},
{0xfdf19a5a6a8d09b1, 0x2ae7b2339725f00f},
{0x5f76d958b4661bc0, 0x46e92bcefc8bdf65},
{0x7cfcc35bdbb3e697, 0xc4f5ef39ea50d63c},
{0x51b5ad86e33b208e, 0x51be2a90bf60f0a8},
{0xda59198f3d929bbb, 0x565c1daf114c3aae},
{0x9552c7dc49c7416a, 0xaf1906e5e70733a3},
{0x778966ef52319430, 0x68994311360af91b},
{0xf0e3fcaab7206130, 0xacb3c06be98e85c1},
{0xc786f7a94356d89, 0xba93eec89589603e},
{0xfa96ba674e02b54, 0xf3b55e1b9f37f489},
{0x92a7fee1679e0b8b, 0x67ea23395dbd40a6},
{0xd7ae16635c10386, 0x262d8ab959893c4a},
{0x71e20bb9e3666a66, 0x884d405cc9424623},
{0x40ff78877fe5c502, 0x419551ddb0aec6d},
{0xc731673b9dd0d01b, 0xbf9caad774c39d60},
{0xc46be9776d61a4a, 0x8860982d8ad3ba63},
{0x67e783ace75ed5ef, 0x6dd97a786879e403},
{0xa4642550fdfa9df2, 0x9f7ac07dd83270c4},
{0xa41638f794f5a6c, 0x31da3a5544b598a1},
{0x836422a727a11611, 0x5547028f2305dd},
{0x700d2a29ff359201, 0xd57dda2673ab7c9b},
{0x831019c1a01d45d0, 0x18f4d9e71bcda33b},
{0xd7d6f052fe115e5a, 0xcfb6059e910ddd21},
{0xee9cf8008c0b2e9b, 0xaa97aa53a1ff39a2},
{0xc268ac05215fe486, 0xe33e81d1fe4bbb20},
{0xb6f0c25fdf1ded27, 0x7eaa365c9789169f},
{0x9c5739eaa38c568f, 0x8818c1dc3d6fb7e8},
{0x76a526b1e5c06e, 0x1312cc9f665d512a},
{0x49b5301e4e1d50b8, 0x9ded3ffe59c8905},
{0xcd49fe5869cb7a77, 0xbcc568ca5f85e24a},
{0xab0315ab91338069, 0xf8c12eac902b43e},
{0xe8bb1fc4ac69452b, 0x9c779e278020b23e},
{0xfc4ba0c519f84a94, 0x4fdf249ab1ac803e},
{0xb0aadb215bb9ac45, 0xe1e127304e700be7},
{0xf8055b7c6a725f4, 0xdc4551c31f0487f2},
{0x3e94e08cacc0a39f, 0x9f34d769870deb1a},
{0x35a065433f45a1b1, 0x98c312128fb03e06},
{0xc8031f635a8e753, 0xf6d6e18f656803fc},
{0x8bf1a5a7b1797d28, 0x8db7a0378a1be22b},
{0x6650cddceac05d8b, 0xc6ba164859d68f81},
{0x4e4c54ca111d6ad1, 0x122696e2da860524},
{0x5106ee61146ecc02, 0x10749986ccc92ef9},
{0x51f7a439f5903098, 0x464b63265428be01},
{0xe31cb7455b184bbf, 0xf0f04f73da15b0c8},
{0xda34f359e20cde16, 0x1cfd661da7fc0c71},
{0x3ddf7be0c34aca3f, 0xbbb6f1a05d6468a2},
{0xdf326a4b61e2e2b4, 0x31918b738381332},
{0xba35fff2b806115e, 0xf062f9f6f9d42162},
{0xbcf3a76ddfa599da, 0xe29da60e7465455f},
{0xe121637d3a946449, 0x5be9d15dd4dbcdd0},
{0x33e51c2cd30c0897, 0x2548e52a20c8eeb3},
{0x2e82de8ea76a142d, 0x5e19daeaed6d45b2},
{0x284d085b80efc211, 0xa9f80e2afece3ecf},
{0x2d293f8876b92432, 0x5dcd55af61e506e1},
{0x4eb9901cb8a8f538, 0x4e729e83bf809318},
{0x438b8dbbdd9a2abc, 0xe22bfbcb72702a3e},
{0x1f1eb147445625e9, 0x84db363eb4d6941f},
{0x4ed5c6e4b6dd62d6, 0xe2142324e685bbd6},
{0xdea92a82ef6758a, 0x4f3162eccfe05df3},
{0x9878402bbf8e22e5, 0xd7c54e08002cbb},
{0xdfade3d8e67f3386, 0x8323123a838924a0},
{0xe5956bd29ba13115, 0x6f3788362054b723},
{0xcd8c91ce3f19d5b2, 0x80e9084a32377da},
{0xf2a4192b510383f2, 0xea9475b5dd21a21f},
{0x377eae7879bf9051, 0xc7892adce660b3bf},
{0x24c8c66bf75c1851, 0x38d378853e235ad8},
{0x30fea14fd191842c, 0x3af510c7b976abdf},
{0x96e30acfd042d7c9, 0x5543a0f3141ab90d},
{0xd6a0e3924540d751, 0x2ca1086f77762b32},
{0x477e3f66fb929e38, 0xee1d5cbfe7c2bfc1},
{0x5bdc28a1936ff451, 0x6d054d50b51815},
{0x433a99c137d7591b, 0x5f79531cbfb8f7aa},
{0x6a663d934bc60533, 0x72ac2c64463ad62},
{0xa93b61f283b744d8, 0xd454e3702f25bcbe},
{0xf2301e76c5cecae0, 0x3f10edd65e51f159},
{0xfa9c9df72bf08de, 0xbe65766eb60d2a71},
{0xaadb16ff70821d0f, 0x686aa38b9c616f9},
{0x35753174487ab7c, 0x4484ae682506ea45},
{0xbc9ade177b7abc48, 0x4232b575b3877de7},
{0x5ea47b2e3462c03e, 0x36931af644ad398b},
{0x3b0e58e0133f8bd3, 0x7af8db26bc07eed4},
{0x69936a663d9566b2, 0x34cff12861f43e80},
{0xfe30e9e7865078a7, 0x1249a00537fe6f93},
{0x680d7c8958cb4565, 0xf3398f288661b31c},
{0x6bd9de9dd2c8cb13, 0xcf6b689d7fcf81bb},
{0x1fdc196245704201, 0x145910c5e1c79f57},
{0x6f91f64745fb381, 0x1136cdd423ee972a},
{0x631a5d67b9a43a, 0x5f620605ae3233c0},
{0x6e1e190743a6fe63, 0xadf6d529b61c737},
{0x60197ef57689900f, 0xb7d4356b90f5b28d},
{0xb4b962dab7f2e38f, 0x3d89b06bee6e31b},
{0xc7148764deb9caba, 0xd08f4c3c48da9d6f},
{0x2ff0f4f883c0666, 0x210fa1932ced6bf},
{0xcb2646b9dc57c98f, 0x157e2d85a68739ef},
{0x2b0c008f624b705b, 0x85d572a9dadf98b2},
{0xdf8ef72c7682962c, 0x2c9602a21b015a3},
{0x70e398d61fd0b581, 0xdf9bf2a03b99ccc0},
{0x3e58cb55daef053, 0x6287ec0bb299af94},
{0xa09caca5f42f9cae, 0xc74b2b1839d7d0b6},
{0xe6b98bd571fc2262, 0x7f5035d5aa754713},
{0x25307e98aaa644f5, 0x43bd37ba2675db0},
{0x53276f991c1a2e1b, 0x9b47fba61489690e},
{0x5a1c701679bb78d3, 0x98cfac99c06be6a3},
{0x1011b851a45aab86, 0xf2e2f2479c5e2bb6},
{0x3b57637248b96e2, 0x2e914376ace1ecaa},
{0x5f7654cd6b509041, 0x53c1ecf2feb7a136},
{0x6389a5a2f4b830b1, 0xba40a0925715dbef},
{0xbf2af3a24aa376b4, 0xc61da669f2fd4f3c},
{0xbdac6a4ccd0236cb, 0xce1ad88ac2e68e6},
{0x60432b7e2cc4eeb0, 0x1234df4b32be9432},
{0xbc62e8626425a7fc, 0xbe88beb287e69f4f},
{0xf99df2227f8a691, 0xc3eef32c8094e43f},
{0xcef41d4c157ea2af, 0x6f1b50b4389b1553},
{0x2555f2ec912d2cc6, 0xbc181ee87afcc97d},
{0x882fb0102f1ce0a7, 0xf4caf5f68853bd0f},
{0x4d38b0b9c79dc3d3, 0x6d588d6fa5e2066a},
{0x96171e7fb571c3ea, 0x92eb54de927a542b},
{0x6ac936545c26c436, 0xc919fbc0e2763433},
{0xd17615def9865fce, 0xd7da9b32a136bd35},
{0x369e2981b1a308ae, 0x144a8e2c1375a16},
{0xdaca15513c651877, 0x78b01d71bdf5912a},
{0x5cff05b2a5a2b0c3, 0xa771ad149a9ac324},
{0xf77a7c972338c924, 0x2afa7a6e141461c2},
{0x7038460010ac3027, 0xc2240308810dbbf4},
{0x23ace293133412ad, 0xdb758ff4173d5516},
{0x90f5175bdf6162ae, 0x78550ffc67cce26c},
{0xbf605ded2203b9b5, 0xfcb2cf241cac2838},
{0x2a1d3e61e6e81bf8, 0x9857fac6efb9ff4a},
{0x5a5be19e50c3c8e8, 0x80d5f18d42cd88ee},
{0xb806d4d7cc9cd086, 0xf070467e919b5c16},
{0xabce0210157dfc, 0x54eaa58c6211447c},
{0x3b63eeca1506155f, 0x4043f1f85d5873f4},
{0xa34c5ae8b647237b, 0xb7eb9591860f6a35},
{0x65056b46649f2954, 0x35b120943108f529},
{0x2745346788cf1d4b, 0x7d4ca0f0518eed5},
{0x4b64000c85be2b5b, 0x4e5a9427a3538425},
{0x1ef58695bd9da15a, 0x623f5ffc60cb539f},
{0x112e660cc5505a3e, 0xfaaa35b621eea526},
{0x8609cc671a6430fa, 0x6f14e29b87f14aea},
{0xf7886a64ad14c24d, 0x7ff18433d2a5789a},
{0x920d58ed62c462f9, 0x86357f3e853ab13},
{0xec7df87118a687af, 0x936dffc68f0ed4b},
{0xf01372debec1f8fc, 0xefe110ced67e5a9d},
{0x2bc92196aa96404a, 0xfd7741ee6015e434},
{0x26ee555a76af26f6, 0x4aff4e361f3e851},
{0xf981b238d09431c1, 0x4081bf9f3f6e8cf1},
{0x6a786ed3f29173e0, 0x1d6b9659181f57cd},
{0x6743f82ad8c1eb0b, 0xf7929c7f4c0fe011},
{0x50822729fc780aa8, 0xc34d99c3dcc2410b},
{0xacf342136151e68e, 0xa1e003acc7ef5fba},
{0xf5e307606bfa8cdc, 0xc257ab0a69474b20},
{0x368353a13e589eeb, 0x188439e6f1d2dacc},
{0xf2a87f36ddb5047, 0xe3bacc07fed647},
{0xddf2310296e0ee4d, 0x4e4e3288cd4d71},
{0x7ad5d52e1006f1c1, 0x1f43de64cd9ba1c8},
{0x4ecb6d3dacc2f82d, 0x832408606e182105},
{0x70fbdeaa2924d949, 0xeccf9d3c520ee6df},
{0x564749898af70cbe, 0xdba985ba8c5683ac},
{0x796f2242f08633cc, 0x270577fe8866030c},
{0xc154660e9ebab5ae, 0x30b8190a6924f7e6},
{0x1717319b3b45e6ef, 0x6e5121997c6467f2},
{0xe73c0cd41bb84cdc, 0x305851ed758d43fe},
{0x3fa2d5f0cbe4f9bf, 0xb61019b0aa7fdfba},
{0xba2e6a4ba5bf7af6, 0x799dfdd3f484fa19},
{0x6704b642ba4902df, 0xde8dab10442f63c5},
{0xac98bb74a41060ec, 0xeadad00ff4295287},
{0x1dfa523b3889016d, 0xcd3d6abdbab508ba},
{0xb8d79fc585de0603, 0xa1bf5f14fdab7e0b},
{0x56e4802ea6299c84, 0xb99f886bce927347},
{0xb48f60672da5aec1, 0xf5c0f8dbd8174023},
{0x309e7216d8b55123, 0xc0efa5c9dc1476be},
{0x446c105df3755fef, 0x7f3620195849f333},
{0x7f307000d0ecc338, 0x340a0f21149d0d3b},
{0x331bd8b05661b825, 0xd94e75b5c7eca93c},
{0x128f9dadd65d8223, 0x3d01697c74d1aed3},
{0xaddd15673e6e7269, 0xb77eae4c2dad2aea},
{0xfbb78e25aec216ac, 0x11b7011ef11f98e},
{0x41344c5080c3a96a, 0xe8fdeeb27c73372e},
{0xbe99dc686f4713a8, 0xc36ab9f85e6fd372},
{0x2d9bccf6991f64b4, 0xda3d142aa17005aa},
{0xebae7bf5841a77bb, 0x8dd797e45b04f7db},
{0x3c7ce33ea9ecd6e, 0x8bc8a58deb5a78d0},
{0x28437d76eff94cf9, 0x678a3c455d9c3cb},
{0x531cce3154271a8f, 0x8e51a75cb9d3dcb9},
{0xf77e54d4f936eb5, 0xedbcf3ac2fac7d66},
{0xa8d67a952936e16e, 0xb790e3b4735c4100},
{0x245388d06a45c16d, 0xda283a46399d932},
{0x7056875455a384c7, 0xe5ce20847039c93e},
{0x98917c6e22c69b9b, 0x12e5f4da9daf946f},
{0xd5b16590d839d28e, 0xd35bbddeebbf169a},
{0x488bd7d859d33e4, 0x6e63eeda9b7c9b42},
{0xc55f152c333a5bac, 0x104390633915c4e2},
{0x837fa7a569cf9d44, 0x1a3783d5f68d4868},
{0xf0f892dac47f594e, 0x2f753a784ffaceaa},
{0x59bdbfd7852f219, 0xd3e06a1a7eadc864},
{0x632d2aa5383ededb, 0xd4ed2029d68c4581},
{0xccd3e33ea00a95ac, 0xb4d1565050e9c359},
{0x5a65e312893e4733, 0x3d76c1dc214fcb72},
{0x73db8e3947dbeb2d, 0xaf74590106d37f},
{0xb50114eafd7a48f4, 0x16df113a5e62b2ca},
{0xc21efa7ff44202dd, 0xa5602b5bcb2dd9},
{0xc1fb9044681934b7, 0xa029b90eb42c1d42},
{0x7580f7c02e3cd195, 0xfe8bfc542e3b388e},
{0x121d77b6bc2ee2cf, 0x63759ea0c1636d2d},
{0x1fff490b313569a1, 0x55d3e72f1a0a355},
{0xc9748a32bed66d00, 0x4b9c1fd322897762},
{0xab200db8602fb776, 0x12e21374475d6e82},
{0xf87367d822122367, 0xa4385dee91a837e},
{0x788c32a55acb3706, 0x469b66e3494536bc},
{0xb06e4fbbcba0c9df, 0xb08569f80fa48ea},
{0x75a342e7926ede4d, 0x66d4b0bafff22c5f},
{0x29225a20855f2e10, 0xb2e275b2cac6053},
{0x364c967a4dac4ad5, 0xc2ffb16c59fbb4d6},
{0x91d68371607dc814, 0x33976e47eb5aeff8},
{0xac6da555a28ed08e, 0xc79ccb60fc0e3507},
{0x8dfdf56e2e9e9e4, 0x5c8a5a929bc3a683},
{0xa05e5ef46b63c47f, 0xcabe7b66f0573172},
{0x88a907a54564491f, 0xb56afe7823a26d1b},
{0x2d29cbd3f6d2f61b, 0x90d64ba4f2c80fa9},
{0x626d91322fac3377, 0x50d25882ba0e7408},
{0xa43175bbd8085b0f, 0x2c3a9421f209b7bc},
{0x328eca5df55d5102, 0xbb63962741398bb1},
{0x5b9dddc4bfc1f8b4, 0x9757b15cc0f9c8aa},
{0xb3d1c9f92dab44b2, 0xd3325b07b52faf2},
{0xfbfc6d1dd3f0f40f, 0xe12ffcddb6478fbf},
{0x7f9e0336401b6a37, 0xe4d9711c880ec4},
{0x34c73e2b49996c46, 0xd6e745c53119b68},
{0x456ecde767ced69a, 0xf75f45dc1bfb2abe},
{0x53f96ad1fce3a511, 0xc9e75a10916f0b2a},
{0x8757bc9947d755c5, 0xe81a51befa3028b5},
{0x1a011ba58df8c807, 0x69da46f0bdefda98},
{0x7d79092d74fd2643, 0xc03cac596fbd42af},
{0xcd6da3e5ce1611aa, 0x3120162785d12053},
{0x60bbbc5be8ef8513, 0x98742103fbc5de64},
{0x84fde790f05a6a19, 0xf4ae4cd46aef521e},
{0xe7e5d4a523129d, 0x96559da5a205f288},
{0xbc8cc50af635c533, 0xf45c82a0a5a312da},
{0x66d3a890688d726c, 0xf124e2667b189776},
{0xb62749cd1568cccf, 0xd285521634f66b6b},
{0x343b2c6830cd77da, 0x8216f0ce2c05e6cd},
{0x68052407872b539, 0x67eb2cf23d462716},
{0x9ef34a6789e2cc32, 0xfe028ba47434eefe},
{0xc01c7f321c271952, 0x90421bf84b4d3ad},
{0x7b07c064bbc508ff, 0xbb67602276d1d804},
{0xdc598253f4aaf7b1, 0x553fe17e2528bacf},
{0x74548c084576f1e2, 0xe6a35c5fac0d7bb9},
{0xf22128fdd16473f1, 0xaa72fdafc8ceef63},
{0xc901bd66a0fe09e2, 0xa99fa1cc707f948e},
{0x6b8ee8db6e7755df, 0x956862461f22694},
{0xc0d575e6ba42e5ab, 0xe2e9a6c0778cd1c4},
{0x64eb0a4e64f43066, 0xcb2be4d744cd259},
{0xbc910f0fd33e5440, 0x58010efb18b64ee0},
{0xf62724fad01f1aff, 0x7f5c63bf4ecb1963},
{0x15cb4665c7746881, 0x6bc5fcf5b5b0cc2a},
{0x4646ac5b837c2cbf, 0x7fcee81061fbec39},
{0xc44dd4bb5afb9fa0, 0x8f5949f19a6bc308},
{0x7eeee3a529f635f6, 0xd923a9a679630940},
{0xf20ef1686ab37bec, 0x7ab162b9497a66c1},
};