/* For NULL. */ #include #define ECC_LIMB_SIZE 9 #define ECC_PIPPENGER_K 44 #define ECC_PIPPENGER_C 6 static const mp_limb_t ecc_p[9] = { 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0x1ffULL, }; static const mp_limb_t ecc_b[9] = { 0xef451fd46b503f00ULL, 0x3573df883d2c34f1ULL, 0x1652c0bd3bb1bf07ULL, 0x56193951ec7e937bULL, 0xb8b489918ef109e1ULL, 0xa2da725b99b315f3ULL, 0x929a21a0b68540eeULL, 0x953eb9618e1c9a1fULL, 0x51ULL, }; static const mp_limb_t ecc_q[9] = { 0xbb6fb71e91386409ULL, 0x3bb5c9b8899c47aeULL, 0x7fcc0148f709a5d0ULL, 0x51868783bf2f966bULL, 0xfffffffffffffffaULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0x1ffULL, }; static const mp_limb_t ecc_g[18] = { 0xf97e7e31c2e5bd66ULL, 0x3348b3c1856a429bULL, 0xfe1dc127a2ffa8deULL, 0xa14b5e77efe75928ULL, 0xf828af606b4d3dbaULL, 0x9c648139053fb521ULL, 0x9e3ecb662395b442ULL, 0x858e06b70404e9cdULL, 0xc6ULL, 0x88be94769fd16650ULL, 0x353c7086a272c240ULL, 0xc550b9013fad0761ULL, 0x97ee72995ef42640ULL, 0x17afbd17273e662cULL, 0x98f54449579b4468ULL, 0x5c8a5fb42c7d1bd9ULL, 0x39296a789a3bc004ULL, 0x118ULL, }; static const mp_limb_t ecc_Bmodp[9] = { 0x80000000000000ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, }; #define ECC_BMODP_SIZE 1 static const mp_limb_t ecc_Bmodq[9] = { 0xfb80000000000000ULL, 0x28a2482470b763cdULL, 0x17e2251b23bb31dcULL, 0xca4019ff5b847b2dULL, 0x2d73cbc3e206834ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, }; #define ECC_BMODQ_SIZE 5 static const mp_limb_t ecc_Bmodp_shifted[9] = { 0x1ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, }; static const mp_limb_t ecc_Bmodq_shifted[9] = { 0x449048e16ec79bf7ULL, 0xc44a36477663b851ULL, 0x8033feb708f65a2fULL, 0xae79787c40d06994ULL, 0x5ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, }; static const mp_limb_t ecc_pp1h[9] = { 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x100ULL, }; static const mp_limb_t ecc_qp1h[9] = { 0x5db7db8f489c3205ULL, 0x1ddae4dc44ce23d7ULL, 0xbfe600a47b84d2e8ULL, 0x28c343c1df97cb35ULL, 0xfffffffffffffffdULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0xffffffffffffffffULL, 0xffULL, }; static const mp_limb_t ecc_redc_ppm1[1] = { 0x200ULL, }; #define ECC_REDC_SIZE 8 #define ECC_SQRT_E 1 #define ECC_SQRT_T_BITS 520 static const mp_limb_t ecc_sqrt_t[9] = { 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x80ULL, }; #if USE_REDC #define ecc_unit ecc_Bmodp static const mp_limb_t ecc_table[2304] = { 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0xb331a16381adc101ULL, 0x4dfcbf3f18e172deULL, 0x6f19a459e0c2b521ULL, 0x947f0ee093d17fd4ULL, 0xdd50a5af3bf7f3acULL, 0x90fc1457b035a69eULL, 0x214e32409c829fdaULL, 0xe6cf1f65b311cadaULL, 0x74ULL, 0x28460e4a5a9e268eULL, 0x20445f4a3b4fe8b3ULL, 0xb09a9e3843513961ULL, 0x2062a85c809fd683ULL, 0x164bf7394caf7a13ULL, 0x340bd7de8b939f33ULL, 0xeccc7aa224abcda2ULL, 0x22e452fda163e8dULL, 0x1e0ULL, 0xb900e09c15f3e5c9ULL, 0x7837bf97f45b409fULL, 0x2bcafcbcff4a0108ULL, 0xda165ec6b8d204bULL, 0xb11716978423a60aULL, 0x3eb1f2f7f8295351ULL, 0x2b6692281f58e2d1ULL, 0x5f9819aebbed8459ULL, 0x5fULL, 0x7b7ea077d668278eULL, 0x5b359b9653ee2ff7ULL, 0x87baabe198e8334bULL, 0x95a5886c85a52104ULL, 0x809649f4c237881aULL, 0xd33956127f95c6f6ULL, 0x657d29faed6c6419ULL, 0x7ae0b376a5be49aaULL, 0x1a6ULL, 0x2a1c98cd552a9e4fULL, 0x1df0bd884ecebb14ULL, 0x9afd4d42f3216bb5ULL, 0x3012ec0ec4abd33eULL, 0x730acb5ffbae198bULL, 0x8464a5ddabe5d91dULL, 0xa41cf7a8ab1ae134ULL, 0x37a57b49a159983ULL, 0x1aeULL, 0xc52f0ef92c724480ULL, 0x7ecdf397cd66d0dULL, 0x6882661bb8859027ULL, 0x62a27d63a0ed5e28ULL, 0xc67e6fcdd5c57275ULL, 0xa36229c442aeeb6aULL, 0x61482005adf05341ULL, 0xc418d072c80ff527ULL, 0xd5ULL, 0x42cd0f9ef7a9efa0ULL, 0xa3fbb1757bbdb010ULL, 0xf39db7311996a380ULL, 0xf3f08146bb69e651ULL, 0x8679b0b6ec6679cdULL, 0x90d1ae2660847478ULL, 0xa5e209ed883e5a59ULL, 0x3c755c0bba61924fULL, 0x1deULL, 0x847c1f82ebae92ffULL, 0xa1434ccf8ace9c6aULL, 0xad864d4c857d9026ULL, 0xf613e2210ee5b0b7ULL, 0x91165b2c86a35718ULL, 0x80d19fb55984d67ULL, 0x3389eccf15401901ULL, 0x8b509b98d99a0e8bULL, 0x60ULL, 0xec7beed4c1cf199eULL, 0x3e5407caefa6c61ULL, 0x4a62a64a7e40a213ULL, 0xe63d5250f6023423ULL, 0x91d4472e1f51e5bbULL, 0x5f63597d455dd332ULL, 0x2c264f25cff48f52ULL, 0xfc780082d704d23fULL, 0xc0ULL, 0x609655c348ce618cULL, 0xca3c0872059b708bULL, 0x5d3735b9a95cb3c9ULL, 0x7f6974896749ac1fULL, 0xf06864b6721d9c26ULL, 0x93f461d3c271b54cULL, 0x9fa24da2f7d73c40ULL, 0x4350cb04d2731b88ULL, 0x117ULL, 0xb6739d386c0e973dULL, 0x80aada692aec7c4cULL, 0x4af81bb670752a92ULL, 0x26c8f1c013c9b23aULL, 0x3e05178e61a5eb36ULL, 0x82fbd3f2046a6455ULL, 0x374ece5652d30dfdULL, 0x582a600af1cbdd8bULL, 0x18dULL, 0xb554e570020a9c28ULL, 0x426a98729b275d3bULL, 0x4591c8022258528dULL, 0x3efddb66dbd135a6ULL, 0x2f96eeb7a6f9e76cULL, 0x72086ad25ad43c91ULL, 0xd6ec90d69bd01a82ULL, 0xacd75365f8845675ULL, 0x94ULL, 0x5eb2e831194c8113ULL, 0x573a61841313d3d0ULL, 0x98fbb743a616f38dULL, 0x2a9c7d1b0a8c9855ULL, 0x31188373e3529602ULL, 0x23bf61ec7376d8ffULL, 0x5953c583a14a0d48ULL, 0x16738ff948025f91ULL, 0x106ULL, 0xf9eec577b7c36280ULL, 0x41e9f3a28449fd44ULL, 0x3a698691c77a713eULL, 0x98f432cb4b979965ULL, 0xf7f2bd3a7e326dd1ULL, 0xaea5fb30d6ac6a83ULL, 0x103a6dce4d5feca9ULL, 0x7c56cdf0142e90dcULL, 0x1e3ULL, 0x70487d30649ccedeULL, 0x56482796a5efc98aULL, 0x81ed574286f3d005ULL, 0x693c918841ac177dULL, 0x544078e141f63ff3ULL, 0xf396ad9ccb0ccebaULL, 0x1f2f8905cd9ca803ULL, 0x4318691bb9a3b9f8ULL, 0x5bULL, 0xf876e3095e41a528ULL, 0xf87881ffb6fd45a8ULL, 0xb8d73d7da8a0715eULL, 0xca88981c074192a0ULL, 0xf41a80dc66d086ULL, 0x34882bbb8f279d46ULL, 0x10c7a90cb5564038ULL, 0xf89b04d85552b11cULL, 0x53ULL, 0xc682a89b329485b1ULL, 0xc39801b86659604aULL, 0x9c44d778b334d3d9ULL, 0xa493c979e7a4064dULL, 0xb38594c2797d59f0ULL, 0x954ba8f21b283a44ULL, 0xd54e55ccead699edULL, 0x92a6ca2e995a2526ULL, 0x1b9ULL, 0x8c71bd7a43ab2feaULL, 0x3d66df0ea0fcf336ULL, 0x25c05777cb5508bfULL, 0xdf82990a516ed869ULL, 0x2436e7d913ae4c5bULL, 0x96309f3a1b6fe9e4ULL, 0x3237381fd09e526aULL, 0x3e864714bb8c2a8fULL, 0x29ULL, 0x766c7ea33ca303baULL, 0x5ca034cecead3b12ULL, 0x8607cc858eacdf1eULL, 0xb60efd61b86ee1ffULL, 0x9855123e56794122ULL, 0xa6480193c88c405aULL, 0xaee0fb60552ea87bULL, 0x24db682c15a9e04bULL, 0x24ULL, 0xb6e8ec7aa730e9e8ULL, 0xd8016fd933eefd3eULL, 0xcb1c6bf4db1e83c9ULL, 0xe83aa34a65b528e8ULL, 0xca3341cf8c9ea1bULL, 0xd43048ab5c7029c7ULL, 0x7becbcd013b7f74ULL, 0x3441a3a4054c7280ULL, 0x13fULL, 0xb49eef102fd5f05eULL, 0xf3c8c2f6b8e26951ULL, 0xef9838ce11c4b90ULL, 0x16c2941695c518d7ULL, 0xb4b8f34b8ed05960ULL, 0xbe45fb89051dc589ULL, 0x7e044ac10d4a2ebULL, 0x9c9c160f1d86f445ULL, 0x88ULL, 0x1e2a012ff0bdd344ULL, 0xed91f58ffad3f8d9ULL, 0x60eade3b4acc357ULL, 0xb0930f3597012a50ULL, 0x840c7048129ba48ULL, 0xa1b71a7925095a22ULL, 0xa6c14e7aa8df69ecULL, 0xf9e7589987a5d083ULL, 0xafULL, 0x8531ed4424a2273dULL, 0xf459e6b697d06567ULL, 0x5ec40ca70f01d3caULL, 0xd489e2d53e9f0476ULL, 0xb0b3675476fe521fULL, 0x76c5f875909a1ee5ULL, 0x9a86e614ee2bc3b7ULL, 0x31dcb54a222d452cULL, 0x195ULL, 0xafecefaa7df11d16ULL, 0x85c7d9879c0bbdadULL, 0x1b8c98da2371274cULL, 0x953de98a647778deULL, 0x9a4945bfd1a05cc8ULL, 0x74508293338f204dULL, 0xd73d0e35b3fda2c2ULL, 0x32ae5f464f740f9bULL, 0x34ULL, 0xf535f65b0e771acaULL, 0xae9b888d342c805fULL, 0x9f28e18a7dc8b289ULL, 0x7dc2112acbd6897bULL, 0xbbd05d211bb3cdd7ULL, 0x48d21cfd4b387109ULL, 0x72fbb23afc87e01ULL, 0x50b5dc1fcd13ce59ULL, 0x190ULL, 0x8cd48fe22fec009eULL, 0x127ae34d97f4e12ULL, 0x278c1996b0693436ULL, 0x64fd9a2d3c609766ULL, 0x3b438c033de1bfb6ULL, 0x508a6907bc2d0582ULL, 0x998a19e0e493abeULL, 0x40ac295b2d9fa161ULL, 0x12dULL, 0x178debaf0d1d5eb5ULL, 0x23ab68a168ba98bcULL, 0xc64b775d706cfee6ULL, 0x81927f124438bf8ULL, 0xd85f601a9165ce48ULL, 0x6a6cfadf4c179accULL, 0x4a6dfc2f851dcd9ULL, 0x13df2f751046316bULL, 0xffULL, 0xdc4bc5541f2c8aa0ULL, 0x6cdad9c6231464eaULL, 0x975c193f05faafb5ULL, 0xf25dfab0fb93f49eULL, 0x3e5ddec31cf32f32ULL, 0x486239372e117daeULL, 0xd6f04e5eeeef7ee2ULL, 0xf55823694c24fa4dULL, 0x165ULL, 0x36f498ca810072a2ULL, 0x4f750c6e31c44675ULL, 0x1e45204ac4063b42ULL, 0x9720d05360bf059eULL, 0xb103ff35051d4e64ULL, 0xbafe9e7beaba9907ULL, 0xd26706a5bfa4ef74ULL, 0xb11fc7541e1ff535ULL, 0x8eULL, 0x5a8e931b01c142d6ULL, 0x52952549841c6f27ULL, 0x9e789186ed734838ULL, 0x40347407fb96deaULL, 0x12004f1f4bf07adaULL, 0xb962a866ee4443d1ULL, 0x8f763904b724f160ULL, 0x5864206e4df09a5ULL, 0x1e0ULL, 0xa8b11d1789dc8694ULL, 0x7fd9a16c2eed227fULL, 0xe12a5d02916842cbULL, 0xe59ed4746758564cULL, 0x8e675f354b48f9beULL, 0xf7c75d69ece126beULL, 0xf88d218ce3aca2ULL, 0x26ea6ff29a768d60ULL, 0x10fULL, 0x5d96ef4ce69e2709ULL, 0xac3a2f2da0efb2f0ULL, 0x757c443da99dc276ULL, 0x390d2a5e23ce0342ULL, 0x7e7ea78e9b674e3bULL, 0xdca485e132e72b98ULL, 0xda17d0d6b6c21856ULL, 0x220788bdee5bed8cULL, 0x37ULL, 0x11dd5011e29ff2baULL, 0xbcd76a60bb90965cULL, 0xfad97903e4392ac3ULL, 0x1ae38a40737a265fULL, 0x4fd6b38640269c3eULL, 0x84aa3675db036f94ULL, 0xe0af6c65818e4723ULL, 0x65c92066db4fb9dfULL, 0xd6ULL, 0x76f99a54cd8d4e00ULL, 0x8e154aeebe376dbeULL, 0xd0ff1aa43000a9f4ULL, 0x887ca99596f6e977ULL, 0xe86c7c2094d26ce3ULL, 0xba40790e1655d5f8ULL, 0xfb3813610dedf98cULL, 0x83c29433b5907dc2ULL, 0xfdULL, 0x8a964e6916971c26ULL, 0x255f7ee46bb95aceULL, 0xac164d7d868e9c2eULL, 0x284d228781775436ULL, 0x1fcb4ef349fc417aULL, 0xb74aa776bfc8ef7fULL, 0x5e1c29eb2a6e7ad3ULL, 0x96817ce0f5732db6ULL, 0x16bULL, 0xcacfca4540157c74ULL, 0xce90c9ef79ed44e5ULL, 0x9710e498e689012ULL, 0x221cf881cf430bceULL, 0x149a8fcc45542812ULL, 0xd12189287002dbbfULL, 0x8238a10caa6cfd27ULL, 0x168b80ef22d40799ULL, 0x6bULL, 0x9fdc3b19a58c24d6ULL, 0x176ac91152ea6f81ULL, 0x13389569ae0ecea5ULL, 0x6a03ab40a83f41d1ULL, 0x2e471254deb4faedULL, 0xd50b0562da699ee1ULL, 0x26ca36ed79a60c4aULL, 0x454871aa450752dbULL, 0x118ULL, 0x38bc5c08a37475ddULL, 0xdb57060ccd5e6556ULL, 0x4ee8c9433925ba72ULL, 0xab902257d26f6bb6ULL, 0x1250049a69b2fa62ULL, 0xcde4b2a425fc868ULL, 0xfed9993295eabf3fULL, 0x7060d83b451e8e9dULL, 0x10ULL, 0x24a8a84b02569606ULL, 0xb9a941be62099bc2ULL, 0xde6c2262c5436776ULL, 0xdc4a0073434d7281ULL, 0x8b9584391fc6f02bULL, 0x2857fb70c611bca8ULL, 0xebe22c1adb65fe83ULL, 0x6828b8742f77ddadULL, 0xa3ULL, 0x7afbc113cef0cfc5ULL, 0x904f7ab35b4204caULL, 0xa01545cd0a4f997fULL, 0x2a2c4f875352f347ULL, 0xa956be425ae5a5bULL, 0x28b1e0820ad1a7ceULL, 0x5bdd9902a827dd25ULL, 0x538a44211d08bc2aULL, 0x71ULL, 0x3622bfe4abae0d2ULL, 0x36cc2782e6d36f89ULL, 0xb9d59977b57e6093ULL, 0xa73e32bee8b3292bULL, 0x70d427fbe238a5a1ULL, 0xc99cb085478b920ULL, 0x66981ff62ff3c764ULL, 0x7ca386cef08bde14ULL, 0x1e3ULL, 0xa3a3d1dfc2c60ab4ULL, 0x2dc76626d07c0872ULL, 0xb7251bae402e1ac0ULL, 0x3406f240db3b202cULL, 0xeeceb6ab8bf4052fULL, 0x6b3998a74d3693c9ULL, 0x7e49694efb449581ULL, 0x13b1d3c210a5f97eULL, 0x191ULL, 0x5a89c5592470ec11ULL, 0x6a6e65a80a846f3dULL, 0x657c451f7622588ULL, 0x1b479bf19ec4dcb9ULL, 0xc2c1446bf3064cfeULL, 0xe219493d10682300ULL, 0x91e2db9ffc0493bcULL, 0x13910731d8da61a4ULL, 0x81ULL, 0x7e30032c8a3e75cULL, 0xf518af7c888dd148ULL, 0x5d9c0ca67b8b54e3ULL, 0xeb0458094026e88ULL, 0x44c5a033f674f9daULL, 0x9dc2e5716b58ff14ULL, 0x5d89881f1407918cULL, 0x189c5a7b3444421cULL, 0x73ULL, 0x6726ed4349579d4eULL, 0x47d58bcfbfc99eeaULL, 0xfaab9f3e8a52813cULL, 0xa00c68039794507ULL, 0xbc78f4a636f0b483ULL, 0xce3023d13010bee6ULL, 0x144307a20ae24c7ULL, 0xa290b8b912cb21aeULL, 0xa9ULL, 0x4399cf4e927fd79ULL, 0x68a2144403486888ULL, 0x1b70c3528b6cb247ULL, 0xeb3fa8f02d84ec52ULL, 0xf65f58fcac3f3841ULL, 0xb4e257f7c79255b5ULL, 0xee684e071566b7a4ULL, 0xaa100c38a49bb7acULL, 0xf8ULL, 0x50bc0d3d354010f9ULL, 0xb35f8966239c808fULL, 0x226b60cf0150097aULL, 0xb3266a6a0ee0a180ULL, 0x5832940a869ad7bdULL, 0x8ec90449ccda4b89ULL, 0x9fe78640409ce0a4ULL, 0xed384a33c6c4171aULL, 0xc7ULL, 0x63def720900e96dcULL, 0x97d899a48c7a3fc6ULL, 0xafc8a11a83b98193ULL, 0x8d90c1f645b0e243ULL, 0x9cf7e362262742d9ULL, 0x5045221935aa9e79ULL, 0xc14834c4dba7e2f5ULL, 0x922db4b2c91685f6ULL, 0x9fULL, 0x9b9b15d283410bf1ULL, 0x60e61b27a2bdd5b8ULL, 0x96ddb005a042fa31ULL, 0xf6bdb94a089d61c2ULL, 0xbc0165b580f2fe99ULL, 0x6a2aae063e995347ULL, 0xd8ce1ef3240d4af8ULL, 0x8459f806797734c1ULL, 0x1dULL, 0x97ccdc27e6a86573ULL, 0x19a1e6758ef322cfULL, 0x387e082f3663380dULL, 0x2c548d1e567c3a8ULL, 0x91e1d6d3491034d3ULL, 0x4022e529c990d311ULL, 0x43fdc5e5d7a497b4ULL, 0xa5d4d6d8e7226ed0ULL, 0x95ULL, 0x27be707ff4d0201ULL, 0x13e09692c70a366fULL, 0xf72118651a0c1c0ULL, 0x33c92760a9c175f6ULL, 0x8df4960367f2dc76ULL, 0x2949d2da2cc1e121ULL, 0xa7d2b7c9308cc7b2ULL, 0xbb1594e2afc2ed17ULL, 0x16dULL, 0x8c0b14ff6dd57d0dULL, 0xdd733d326a3705aeULL, 0xc11ea339c2a28b92ULL, 0x7698d1b6944b51aULL, 0xd44482dadf738e19ULL, 0xa55e2628be8c6692ULL, 0x286271ad137ca70ULL, 0x60fa7a3a4c6f75a6ULL, 0x1bfULL, 0xdb11fa64e19b9642ULL, 0xeca72a225f05ab7cULL, 0x43e4b488fa976b9fULL, 0xd859825c090537dbULL, 0x34229fa7b6057d9bULL, 0x60325f88e866d79ULL, 0x40089b800f3ee6c5ULL, 0x7b1c015dcd9bc252ULL, 0xf2ULL, 0xb93b7d27bcfce627ULL, 0x69d9f58d507fed6cULL, 0x66dba0a88da630f9ULL, 0x88ee235eaaf50cc9ULL, 0xb7dd63ad98a41afdULL, 0x963776490c1a6506ULL, 0x7f1e47cb2f1187d9ULL, 0x6808f1495a43955bULL, 0x140ULL, 0xe62308339a19fbf7ULL, 0x8026983eea969d00ULL, 0x32c6bb757d3af185ULL, 0xa76c825030634bb8ULL, 0x131f7f70f2993ca9ULL, 0xffe3de3fa9f4e8fULL, 0x94f2efea726a4ef7ULL, 0xa067cf3f8fc34a0ULL, 0x120ULL, 0xf2822ba681bfcf2aULL, 0xf12c76a99b4762a2ULL, 0x268bb89b0f275d2dULL, 0x92844d85e78ac1d7ULL, 0x1d8ef4073d3b2581ULL, 0x79fe56f026e0661ULL, 0xe5c2add092c65b54ULL, 0xdd5e2ec4400a1a7bULL, 0x38ULL, 0x3a9a9d9b2db267d4ULL, 0xdfa30055c57a0f98ULL, 0xb6761114734fdadaULL, 0xd1db0e58ec8ecb59ULL, 0x1ba615860bd97618ULL, 0x59321df7e6de50b8ULL, 0x715113b0541dae97ULL, 0x9293390d923adce5ULL, 0x1aaULL, 0x9c5e3e3353f2b5d4ULL, 0xf0e920f99e7af5ebULL, 0x13f6043197d91abdULL, 0xcec6eb40b30aa0e1ULL, 0x25e45f79ce9fcdd2ULL, 0x86c2feb4fa290650ULL, 0xc216cc0826679548ULL, 0x7d64aba34c1cb9e5ULL, 0x3eULL, 0xedbb2d1742b27b22ULL, 0x57bbc79b1789b784ULL, 0x8163a1695c6716d5ULL, 0xf01b7aa7ced20652ULL, 0x3018cffc09dd3f9bULL, 0xdf15aebd961afc3cULL, 0x5c30c09df2f0fa1bULL, 0xc669b110dfad05dfULL, 0x16ULL, 0xe7b7416ea4902805ULL, 0x25c0a061f1145813ULL, 0x5ebc2eb6a7575d66ULL, 0xcb6868eaa648879ULL, 0x2fb77402cd550ffaULL, 0xb115c23008f7ef7dULL, 0x5d20212c95fcaeb1ULL, 0x1620bc056f6febc3ULL, 0x5cULL, 0xb460ed70d4f57758ULL, 0x5169567004c33f9dULL, 0x3cd44c5934518310ULL, 0xe27f2caef3b399e1ULL, 0xe7b5ecca07c11abfULL, 0x12beb1f8f1cfde7ULL, 0x1fdbd7213166b5e9ULL, 0x3a5c88fda081664ULL, 0xcdULL, 0x592ddf61672049d6ULL, 0x3fe3dbdacbfa5208ULL, 0x6f00abcd812403f0ULL, 0xe154329fcd97a4a8ULL, 0xdb08ea481646c9f3ULL, 0xc0a090379a03fba2ULL, 0x4ddf78e83975db25ULL, 0x6e2841d751a7af35ULL, 0x11eULL, 0xfd61361be3ee97b9ULL, 0xd69b66e1f3125658ULL, 0xc7ac9e996b636a1ULL, 0xf9bb3617e69b9e47ULL, 0x12050a8c1b1e895bULL, 0xa2492213fa5a11a5ULL, 0x8d55c3bc2919affULL, 0x6dcf2c08c4be1b10ULL, 0x192ULL, 0xb4fb57fda93efc6aULL, 0x6292f8276ce4aac2ULL, 0xc90518a99277cab1ULL, 0x432d015144e677dULL, 0x35d9214eea4408abULL, 0x2560b8a649b20eb2ULL, 0x37dd269b48a45d8aULL, 0x71a47616cecf7d1dULL, 0x9dULL, 0x847b1962a424d2c4ULL, 0x7e71908257619dd6ULL, 0x475c53c6443de09eULL, 0x75441688cb5e4934ULL, 0x4f8007f4b5ce19aaULL, 0x7c629116452646d2ULL, 0xfb8c66666486f69eULL, 0xad8f943df68641d7ULL, 0x1d6ULL, 0xd010a4858c90aa8eULL, 0x45f039b4ecd065a2ULL, 0x9b185831da23852aULL, 0x21b23650676d0a5ULL, 0x1db338132ddfe47bULL, 0xd484fe26b00dbb8fULL, 0xd6af2896439f26b4ULL, 0x30c07f6c67067643ULL, 0xf6ULL, 0x6d0cdf592ab640ecULL, 0xf2c8dec300773bc6ULL, 0x6c13ee48cc961106ULL, 0x55fcacff3055f2d1ULL, 0xddbb3b184ac374faULL, 0x92658fedd0c8f622ULL, 0x3a6ae3d8b63eb1a0ULL, 0x384d65dcd9b83a1fULL, 0x173ULL, 0x2b6c7f6bd7e88a4dULL, 0x5197eb9f71413b7fULL, 0x82c6c1472693abc5ULL, 0x9d0b1e1dd69103ecULL, 0xafe399bb26552c67ULL, 0xbc2b648433ff4746ULL, 0x51ae01bc6a0918a2ULL, 0xaaa7fe093b44a328ULL, 0x7aULL, 0x2e6b12e4a098fdf2ULL, 0x391008dae0ece4e8ULL, 0x48fad7132b8d0158ULL, 0x3de59f1a9a6b8a15ULL, 0xa445b4dfa9cad108ULL, 0x9e3fa8645195700aULL, 0x2ea6ccee0125ad40ULL, 0x54d57b3e101ed442ULL, 0x131ULL, 0x63e1bb732dee7a43ULL, 0xa9eead8f1692a47aULL, 0x83aa671abb3f257eULL, 0x5f69d64f16b6a22eULL, 0x36de0a7a9d7e94deULL, 0x529ca0ab28137322ULL, 0x341d246005c9d4b0ULL, 0x7d9b2df7b70192ddULL, 0x10eULL, 0xc3228bbcba01edc1ULL, 0xa265ac6c7ba70e9ULL, 0x386de98d10a33ae9ULL, 0xfa74bf035fd82830ULL, 0x65c438318efcd074ULL, 0x933fcea187ad7d3aULL, 0x737052003a5abcecULL, 0x8c5d2ac15e0d5d05ULL, 0x71ULL, 0x84d5aa0b45ca689fULL, 0x2a907b88aacee332ULL, 0x6bd1ddc346d01675ULL, 0xf9ccf719bcef8946ULL, 0xb0b4ac46420972e0ULL, 0xfe5eb81e4f1e397ULL, 0x36abb96b5413cc6aULL, 0xe57a7534be0ca9aeULL, 0x195ULL, 0x5e575ab06686b85bULL, 0xa5329cf9610b440fULL, 0xf1bfde10b9f56f56ULL, 0x8bbae984b0130618ULL, 0xeb26b031ed28e6d2ULL, 0xd60d251635f759e4ULL, 0xf80d5b1ecbce0ab1ULL, 0x361c3a2d2b2f1e6eULL, 0x163ULL, 0x4b28def6a385cb63ULL, 0x5e6aa005c6697567ULL, 0x40fbf7658b9b952eULL, 0x4a9162e35512fb25ULL, 0xf2a0eef8a8e56dfbULL, 0x9bd5c5762a3288b7ULL, 0x909df6b36dd2ba68ULL, 0xb9fd668fc27ca940ULL, 0x32ULL, 0x200b3e948f69b894ULL, 0xb322976dc33cf6b2ULL, 0x8448bbf472fe4623ULL, 0xf97f4a9211009864ULL, 0xd8c8be201bc6bc91ULL, 0x9a70f8d8e85aa6faULL, 0xd98f9abb527cccb0ULL, 0x21e2db0a597749cdULL, 0x111ULL, 0x2a3876dc24b438a5ULL, 0x268c018280a8435bULL, 0xa495950e0cd16845ULL, 0xf21bb411f72cbbbeULL, 0x72f7b80f51531626ULL, 0x192b0b017e6ceda4ULL, 0x61704330ad2c14c6ULL, 0x9f90154e3b79639ULL, 0x28ULL, 0x86736d627b215d1eULL, 0xb0c3b845bf43b438ULL, 0xc9e86f011129c734ULL, 0x54ad5eaed7e91388ULL, 0x7286946f8778d6f4ULL, 0x4d0e623caa8eb2d9ULL, 0xc33d073bc24016f6ULL, 0x55add8a06a2c0ffbULL, 0xc3ULL, 0x5b06cc1b751c61aeULL, 0x8005bf0fc79055ceULL, 0xd59f3828a6ce7c47ULL, 0xd376c4cf65e2c2fdULL, 0xb8f27f24aefb6d0cULL, 0x4d725066526718bcULL, 0x903801ecc8c0ac69ULL, 0x5953fb8fddd7a09cULL, 0x192ULL, 0xe00ccb2d7cb317c5ULL, 0xf45286f6aceb511bULL, 0x99d85be1d8c4cd26ULL, 0xe5a2cfe9e6e79e5eULL, 0x2520a45ff191050ULL, 0x97c36350e5977b1bULL, 0xbd7d2236a05cf333ULL, 0x731960ab19c5f54eULL, 0x2aULL, 0xcfe8f53fb443f679ULL, 0x57140c2010a2d78ULL, 0x7ff1a92c28a9192bULL, 0xa04d290cb2603f55ULL, 0x1a749364faee3181ULL, 0x49cdea66ec6c7400ULL, 0xe401384957ea3fb3ULL, 0x8da1d9329b54d233ULL, 0x198ULL, 0x4006188359948104ULL, 0xe65ffc85d2466f39ULL, 0x252a25837faa0208ULL, 0xc7251a1580548031ULL, 0x3ad50d9a5695c09dULL, 0xd7a4a086886e608ULL, 0x599c54ba655fa060ULL, 0x545feaa362972cd4ULL, 0x1ddULL, 0x267fafbf62cea53aULL, 0xf86739392f34ba1ULL, 0x2d8adfee835404d7ULL, 0x1838456d83156794ULL, 0x9e263cc43aeeb462ULL, 0xbfebc0376582fa81ULL, 0x277394c8174b8661ULL, 0x577cd592831739c8ULL, 0x1b0ULL, 0xcf53d13e23b84974ULL, 0x4e821748139bea70ULL, 0x6bd02501c9ea474eULL, 0xb0cd3595ce9a748eULL, 0x12155f7377e924a0ULL, 0xb9d9b6316fde960bULL, 0x67485d4a052934e0ULL, 0x9abab0228a6c5229ULL, 0x1a0ULL, 0x6b1983f05fcaa79aULL, 0xcab19385c88d6fd1ULL, 0x7627cbd3c9fedb1dULL, 0xbf3d311415c5796aULL, 0xdeddcc335793696eULL, 0x3703b683ef14a0c8ULL, 0x897ce796492fbbecULL, 0x9ea2c45d0efb566fULL, 0xd0ULL, 0x1f0f5dbc89ffae32ULL, 0xcd245e9623ccac37ULL, 0xe05c689cf7cbbe65ULL, 0x9c015d48f02e10aeULL, 0x9404008bcce149f6ULL, 0x446c72df36917a4cULL, 0x44a9c81e3c383a2eULL, 0x7661ff8496b5cc57ULL, 0x77ULL, 0x7c40f2da2ae9da2bULL, 0x6a78d8193462a66cULL, 0xa8cdcc1eab808052ULL, 0x2f6aed3e434bd929ULL, 0xfc9e14d52cb257b9ULL, 0x4e4bf2fc3dfa11f0ULL, 0xb773655aeebfd3b5ULL, 0x9e673df129b8bde2ULL, 0x152ULL, 0xaaf3cdcfb5d027d7ULL, 0x9bd8d7e18dd71450ULL, 0x7ad2c9f6ebfe7f9ULL, 0x89b31fae06f4ccedULL, 0x9ea81bf5e2688b01ULL, 0x5ba5840ee77dda96ULL, 0x9325478acfdb3bfcULL, 0x17b5286de3fb2866ULL, 0x8cULL, 0x9d98eefccc2b9c8fULL, 0x9573eb3e25957076ULL, 0x3d3b84ba67a1a938ULL, 0x9986a15e69a59432ULL, 0xe5e7466c63743683ULL, 0x44258f08a90f7e17ULL, 0x9b9f7b2bd2836312ULL, 0xf9d58ef6339a0030ULL, 0xf6ULL, 0xe5d85a9583f25314ULL, 0xc6ad61cee2a082daULL, 0xafca2212e41cdbfULL, 0x352a59ee164b5f64ULL, 0x88bf0e8ad81ec2edULL, 0x78a6b8b11fc10660ULL, 0x5a0eab5815881b7bULL, 0x3430ee0a8567d0dULL, 0x0ULL, 0x99b902a6c0fc6320ULL, 0x626885d2c0373718ULL, 0x1b410066bc873bbcULL, 0xbda8e7991edecc91ULL, 0x9378dd2dd326a50eULL, 0x4a38d827701e20dbULL, 0x26de36440ea5c04dULL, 0x285066bbd193f1d5ULL, 0x1b3ULL, 0x4a2d3b332a9865ULL, 0xa96745efa76393b5ULL, 0x4bae4bdae009f4afULL, 0xb7a9f062b05fa9d4ULL, 0x3ac68a399ab68d9eULL, 0x562f22fc71d87db3ULL, 0xb7c531e886c8e07dULL, 0xcc6e305f29ba17b3ULL, 0x1a3ULL, 0x76b78a48b8eae748ULL, 0x8d3f3c75f5b54845ULL, 0x58fbec4c78b3cf8fULL, 0xe25721e2c0495977ULL, 0xd2e6fb6dfbc91e22ULL, 0x9dd835aeffd419daULL, 0xb91a1d1c99d6bdc7ULL, 0x407dfb3cd293df00ULL, 0x95ULL, 0xaef117ad1a74d200ULL, 0x620835b2e6d6563aULL, 0x8fa50750f355a773ULL, 0xf8d61d467a2b5ff4ULL, 0x9568090835023beeULL, 0x920df5e3cbb1502ULL, 0xa67b8c3d9de98d93ULL, 0x66ca3b384ee4d714ULL, 0x1a3ULL, 0x6b8c044581bdb3dbULL, 0xf5396286f801a9c8ULL, 0xd65ada46216db6d6ULL, 0x47b43efc7890e5d0ULL, 0x3654ebf0cb9b4ca9ULL, 0x96b8462c5492c652ULL, 0x6c71e15b2bbe08ccULL, 0x91e6c97a57d25ab7ULL, 0xacULL, 0x4a6a969c00a71b6eULL, 0x4eec5ef1184910adULL, 0x46f7e7ef49a63c28ULL, 0xc49ca5d97a9871fcULL, 0xcc5cce4ec97b6f4ULL, 0xd15047f4b48fb05cULL, 0x1518c85bf5d66c4cULL, 0x6f9781668d37d94ULL, 0xaULL, 0x7cb0842b379833afULL, 0xbdd39480536e13b1ULL, 0x8342f561272ca309ULL, 0x7645a52f7575f9bfULL, 0x53529d9f7aa4ae30ULL, 0x881217468a6aad6bULL, 0x2359750c378c22d0ULL, 0xb60de5a0ff2f79daULL, 0x1b3ULL, 0x7db1070c8e8e544fULL, 0x19a7b6baf423cf98ULL, 0x4d6d3eb416652aa9ULL, 0xfda8cd79b9bae7adULL, 0xb06d3abb90dcd98ULL, 0x7cf7b99ee9af94e6ULL, 0xb8c78761f41f27f1ULL, 0x772f7144d7227ad3ULL, 0x11bULL, 0x1ba538fcd124da0cULL, 0x223afbbbb327f799ULL, 0x8307f97157046435ULL, 0xd8329e4c0ce9badfULL, 0xebd578da4d097045ULL, 0xa4bb20b11ff51b2ULL, 0x6e2125bce8ec0724ULL, 0x1d905bbf63973855ULL, 0x1abULL, 0x7c31dc419e41bd59ULL, 0xfe354fe8f0395f4dULL, 0x2954eadb697caa8bULL, 0xb3eae7d9a791c5f7ULL, 0x72c9673aca17d03cULL, 0x20005bcd7fc4b2eULL, 0xff0fa59a6e980c5dULL, 0x14df3ef4c165159aULL, 0xeaULL, 0x54dab474d7cacf85ULL, 0x92a762690e888eeULL, 0xa27c2ef82de12316ULL, 0x864b9961d77f372aULL, 0xc89386707e60fb55ULL, 0xc6195440ea7706acULL, 0xcd427ce4a3672139ULL, 0xa8b6c41ed728cb82ULL, 0x1cdULL, 0x58abef504fe4a600ULL, 0x3c2b6a0d0a734d61ULL, 0xaf730fa68853530aULL, 0xac42e83e8388de74ULL, 0xcd52c12ca0ad5038ULL, 0xc9c705400e76b5e6ULL, 0x8f51f9360dd38c59ULL, 0x15162c5ad43b4022ULL, 0x0ULL, 0xfcbb095c8fcf1782ULL, 0xacc524db6c74fa51ULL, 0xff18c34b9f5b7ULL, 0x340ed72adbd8a731ULL, 0xc4dd5c079eef3b6aULL, 0x5dd5b9379cdbc8aULL, 0xaba4637186fa07ddULL, 0x3d987837df704e5ULL, 0x130ULL, 0xbd2c8b72559fa218ULL, 0xf86a650a388117dULL, 0x3b803f572919668bULL, 0xc288bb30f3372695ULL, 0x4824c1b3a05fc213ULL, 0x33d7b1d3ec52d0efULL, 0x79f17f2c51608344ULL, 0xf1d649cf806d5f01ULL, 0x111ULL, 0xe7c1056beaf91912ULL, 0xeb9aeff56ce1c5faULL, 0x68447b9fb1e16bb7ULL, 0xfbb6ab09c16dacd6ULL, 0x92f8e7eb46fab1f3ULL, 0x66bee895f3d630d7ULL, 0xf197f79e862ba5c9ULL, 0xddf8c7a069a94f32ULL, 0x3bULL, 0x2f72cb2ef318cc25ULL, 0xdde487e07511dbeeULL, 0x28b41a1b364d843aULL, 0x1f286f97155a26c0ULL, 0x3d2ff20db067c755ULL, 0x762ba4c9a0c92114ULL, 0x9da576b33a9bc9d2ULL, 0xbadbdeffcaa45e3eULL, 0x173ULL, 0x925cc42ebfc00adeULL, 0xf1438bf42b78cbaaULL, 0x24a7307aef54db2aULL, 0x8804e728827f6189ULL, 0xadb2ca8c66fb80e5ULL, 0xd2fa7b885961dcfaULL, 0x4879fc6f194b8d7ULL, 0x6abaab26e98630eaULL, 0x2aULL, 0x2fc43bc27fc7facaULL, 0x89ba36b5f41bf57bULL, 0xec2b144462c1db68ULL, 0x7d3b700733a7a408ULL, 0xde49eececbc4d81cULL, 0xa9d89afe2f1906f9ULL, 0x93163e908757543eULL, 0xc0123ac303bda0cdULL, 0x147ULL, 0x513f9793f1ca9d65ULL, 0xc6b3cfe7ebbebde9ULL, 0xb56b8c79e97f6f9dULL, 0xfe5d8d3acdbbf199ULL, 0xf012ce30ba074468ULL, 0xbd37a78a58076f5fULL, 0x5826053e2e75aa32ULL, 0x8efac4feab7b8860ULL, 0x139ULL, 0xc886e487e17dafdbULL, 0x28f60a5c0aaa8f16ULL, 0x64e54191db92d581ULL, 0xb778036fc0bbd448ULL, 0x1c04793f0ba5f7ecULL, 0xdd633be270638c6cULL, 0x8105ab789244a5e0ULL, 0x1b7873f670a87ee7ULL, 0xdfULL, 0xc550ae18b25f80cbULL, 0x199cd48058785adfULL, 0xb0352dafc54063abULL, 0x7e16796f6202b79aULL, 0xc1d81af032824399ULL, 0x78b1f2d56319d9abULL, 0xfb5afce78b377377ULL, 0x3ea6fbfa8dc27e2bULL, 0x56ULL, 0xf19f88a036fe0f5ULL, 0x539b732dcd15842fULL, 0x176eb43830b50fa8ULL, 0xc719f7c5317a1d79ULL, 0x5f8ba085658dc14eULL, 0x8e16af1748c9aa19ULL, 0x7997bdddcbb31fa5ULL, 0x19e4f7b865117ec5ULL, 0x1ffULL, 0xb520837fcad1102bULL, 0xa8e4f4e2acd20b7cULL, 0x58e75a7287b9f786ULL, 0x5a5f85e026b6adfeULL, 0x77bd892166e041dcULL, 0x34c3b6e7152e3f8dULL, 0x27128d2e929121e0ULL, 0xba72044376293d6aULL, 0x135ULL, 0x10e529c2a3975886ULL, 0x838504e7393cef12ULL, 0x2c767bb8e64eade3ULL, 0x3b57f6e12b3ea386ULL, 0x72df4975ce2537beULL, 0x680d33ba716515a8ULL, 0xa3f6e2050c581f07ULL, 0x65444873dbeded75ULL, 0x175ULL, 0x98b9ded173f84ab4ULL, 0xfdbf8d7d44e3745dULL, 0xf14f31d1fb29db54ULL, 0xb45f5b0a6aa9c2b6ULL, 0xa3ed77c7808d6167ULL, 0x7daebe61dcbc6843ULL, 0x775d1d6e08eb527aULL, 0xa328a4075a08e0bdULL, 0x1caULL, 0x7872ad415d1b6e46ULL, 0x5f9a4ef987ef6c96ULL, 0x183054ad173c8f7dULL, 0x67cf85dc5f3a4522ULL, 0x7562c1d8d418ee25ULL, 0x8c57b606d8bca7ddULL, 0x45d847a1663a9713ULL, 0x656b4d1ce929240cULL, 0x16ULL, 0xfc7f08fc09e02bc9ULL, 0xc2569503fb22fe95ULL, 0xab2a4d7d3923d3c1ULL, 0x3c41650e427c0315ULL, 0x28c53f31b6fcf433ULL, 0x45eec88b2e83249eULL, 0x9d494ee8918aeb5bULL, 0x5bce85fd5dde9ca7ULL, 0x1e0ULL, 0xbc7444815371a8b4ULL, 0xa4f4d5c3863b54f4ULL, 0x770cebbd6a144c6fULL, 0x1b3d3fd00eed59f0ULL, 0x47ceaaa82e5bac05ULL, 0xb1325676ed30c261ULL, 0xcde55cd61b7b5987ULL, 0xe99ba45804fbbd75ULL, 0x1acULL, 0x2d2ed345daea8160ULL, 0x6e46181198ff7ef1ULL, 0x8c54239812d7284fULL, 0xe9a71b52d41aa3caULL, 0x1a9db609ab999a33ULL, 0x89668fb50b72b66fULL, 0xbec625d256396046ULL, 0x9c9c680c32e4a745ULL, 0x15bULL, 0xcbf29d4986c3a75bULL, 0x277114de54d95a15ULL, 0x805a8b9d501a5676ULL, 0xd92251a4b121b894ULL, 0x1fb156c4a35baf25ULL, 0xeb46ea758a366219ULL, 0xc86926d45041a612ULL, 0x8b88a7dbd55ffb8bULL, 0x17eULL, 0x66bc85a50e643c1fULL, 0x136b3d8abed9fc3dULL, 0xdb373b3e115244e3ULL, 0x7a2ad7e8740ce3b1ULL, 0xa561c3875fa12cbcULL, 0xa8b12bc946428d0ULL, 0x276441446e694ba4ULL, 0xee6878e42e572e99ULL, 0x129ULL, 0x4c72c29d525b6320ULL, 0x23e371e111a7bdb4ULL, 0xff46db40d18cb35aULL, 0x4d68af1fa33f5a2dULL, 0x64252e126a81c03dULL, 0xeddb9c1b30ad2d59ULL, 0x1e5befcf924c3860ULL, 0x8aac90be2528f6e3ULL, 0x149ULL, 0xe65679b827ffc179ULL, 0x58982af510d187daULL, 0x1a7ec4b9af59c811ULL, 0xd6310fca5c931fb7ULL, 0xd18ca8879f3c3d4dULL, 0xd6f366e4e1e835dULL, 0x5b0f2239adee6032ULL, 0x35f95d36f045fc82ULL, 0x1bdULL, 0xa5099c628e491fdfULL, 0x1b45a2975e87894dULL, 0xb71b8ef605d532deULL, 0xd10723bf5505b3d2ULL, 0x53e15b21723012c6ULL, 0x276517a4e85fb2edULL, 0x3eabb3dac669724bULL, 0x345831cde998e833ULL, 0x105ULL, 0xa5f0dc29d9c0d156ULL, 0xdb64284db289ac59ULL, 0x916c497f6f2ad2d4ULL, 0xa3092cc346688ba0ULL, 0x2ccd4dbb0b32bc61ULL, 0x8eff366a1c0bb98aULL, 0xdde61347d94a2463ULL, 0x692fcc6fc0e484ecULL, 0x1d7ULL, 0xa7b0fd008c9eb000ULL, 0xa61dead9fc1b2544ULL, 0x39e032f6f7dfeca8ULL, 0x57b8857b39c00c64ULL, 0xdc02ba920443d3b6ULL, 0x57e05805ba2bebc4ULL, 0x269390723e5aaf59ULL, 0x56d4ab2f6f2d6449ULL, 0x197ULL, 0xe89f4c28c98d54c9ULL, 0xe6c265366796abebULL, 0xbc11121550bc7d2bULL, 0xa0f6a2859cad6562ULL, 0xbfa485ad52d53b39ULL, 0x113c403d7a8f8817ULL, 0x893f519d8cc3a893ULL, 0xa8b6ee827b2ec52aULL, 0x4dULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x56a3a0634a3ce076ULL, 0x627718f38d143249ULL, 0x5a0479ef2232fc35ULL, 0x82744b806a6d389eULL, 0xb0bd687af4d435b8ULL, 0x4cecd3172792b960ULL, 0x63be911f792e60eULL, 0x2f6ffb4b09dcb17ULL, 0x59ULL, 0xb04fbf6f215ba3daULL, 0x7b90918e7c66f8fULL, 0x1c5b20795b38bbbULL, 0x4fdf3937c67022d2ULL, 0xe5a11142ee01b834ULL, 0x11b8cb5fc7b97506ULL, 0x2450b7bc2ae40433ULL, 0xa26a70cfe3e1937fULL, 0x5fULL, 0xb831eea8652aa77dULL, 0xdd1ac75a9b33eda2ULL, 0xe55769fcccb42fd2ULL, 0x2ea2c9e4a865ab8fULL, 0x28effb93c60208eeULL, 0x2d6b1522321dff3fULL, 0x6e29dc3e5124fb78ULL, 0x2f39193c4cf961e9ULL, 0x6dULL, 0x35e63b7e3174790ULL, 0x7e9f39d667da851fULL, 0xe886c75f7183aa79ULL, 0x6d9e68574aa59f9fULL, 0x2ee25277706045d9ULL, 0xe4bcaa94b18ceb8fULL, 0x57fc8f0d5bc3971aULL, 0xdd6428487b7b6081ULL, 0x150ULL, 0xcc218d57909cb43aULL, 0xcf37ba5676429860ULL, 0x322567d209984a51ULL, 0x49971a8bb47c65beULL, 0x7276e076054fef8bULL, 0x12dff3ededde5a77ULL, 0xaa9935d5ccb51c87ULL, 0xb4cf759c3fab12c1ULL, 0x12dULL, 0x881f5407f99abf52ULL, 0x82cd59d10e2f3ecULL, 0x7599e6971639c4c8ULL, 0x672de719ebfc64caULL, 0x62558871c1fac756ULL, 0xbd8c135bf6ccf8a3ULL, 0x1e25e788ee337799ULL, 0x6f05c3911fa8d536ULL, 0x114ULL, 0xd26b287cbed671f0ULL, 0xd433a71c978130d6ULL, 0xb4ad7bb17aadd881ULL, 0xb1940d6b52e4f45fULL, 0x72d44569722e2bd7ULL, 0x6d3fde70f91dc84eULL, 0xbd1bc41ed4254643ULL, 0x544a7be2b847e41aULL, 0x10fULL, 0xe2e82545325818a6ULL, 0x1c9863cf3d8e5d2bULL, 0x98fb8ec25f30317dULL, 0x8947db8581f15ce0ULL, 0x55d8793f3e6c315ULL, 0x8417f50843a7feb5ULL, 0x248bbc38ac153d3dULL, 0xfcfbcb03664329e7ULL, 0x12fULL, 0x28fbd105c5b36e6ULL, 0x845496e1f8181b69ULL, 0x7fc5834b3dd76d34ULL, 0x6263bb22c7949d5dULL, 0x1d9f68ac5649f0cULL, 0x19d8e6b36473a58aULL, 0xd4ce78ad0601485fULL, 0xd5a8b23b23358d1fULL, 0x1c7ULL, 0x714f1aa8a935a1baULL, 0x6fc643d8d579af87ULL, 0x99e2fb239cb63500ULL, 0xf3f9080393ece1eeULL, 0x18df7ea5d57bb6e8ULL, 0x5eadae5e0c5b717cULL, 0xe50ed330c3fcdfacULL, 0xd5abaffab715e3ecULL, 0x90ULL, 0x96a36a076dbd0e0eULL, 0x48c0f8cba2e27fbeULL, 0xafef20aa60c03c6fULL, 0x547fbbde42648856ULL, 0x81c5b262070e43e5ULL, 0xce3dd2eab8923831ULL, 0xed0a24029f476817ULL, 0xdaa5af80618fe9ccULL, 0x192ULL, 0xb3dc977a4b1de8fbULL, 0x3c93f4ee730fbdeaULL, 0xb1075ca32dbd323fULL, 0x36e0abf0869189f1ULL, 0x95412f379834133fULL, 0x8eac046fc7df93c6ULL, 0x1975fd6d62ae067dULL, 0x25a65e4837779ddbULL, 0x10ULL, 0x46a2d48b2f2bc425ULL, 0x4e163c62fe52119eULL, 0x47beeab809504deULL, 0x4f07bcf5361265d7ULL, 0xc2e6cccd08aab409ULL, 0xe9bac6c5e2fe007aULL, 0x13529b22d79d46d9ULL, 0xd061f742585962b5ULL, 0xdaULL, 0x1b9ace6aa0ac92faULL, 0x5d5915c2d0684577ULL, 0xac15dc4da49a3768ULL, 0xf6ab766d112bf73ULL, 0xca5e509efc07555cULL, 0x54b2cbe2c06521f5ULL, 0x9b58e3f5a29de6feULL, 0x2ad3b21d55401003ULL, 0x17aULL, 0x15942a4c75e9fe79ULL, 0x350dec673dad29e1ULL, 0xca3c399fe6be55a2ULL, 0x87e2265271245659ULL, 0x1bd4c4458f51c63cULL, 0x319b57db758ae1a1ULL, 0x7d5c89dc547db810ULL, 0x959a5bbe62c8ba84ULL, 0x39ULL, 0x8c3d490f3876f024ULL, 0x50d48521482b690eULL, 0x82c1333183aada08ULL, 0xae5a342545c4a535ULL, 0x51c50d6f31c1467bULL, 0x84a7d97c2d093b81ULL, 0xdb41ffbe82d6fbdbULL, 0xae0e9fad4953468eULL, 0x1e6ULL, 0xf93695ea82fa7628ULL, 0x1fff569123e8c0e1ULL, 0x3948ae9adf799bd9ULL, 0xd0eda67e5d3a4483ULL, 0x43727b86c7fed3d1ULL, 0xcf1135b20cbc93abULL, 0x7474020431b7f8fbULL, 0xb04c74259ce7afd2ULL, 0x4fULL, 0x333b665c24dc3fe5ULL, 0xd76a06767aa77e75ULL, 0xd44c6f957657e3b7ULL, 0x52b1f8cd24648ac2ULL, 0xcfd888ded389f805ULL, 0x68b343d7d5a25ae5ULL, 0xd5e36afd89329310ULL, 0x6957ca9f8ddd659aULL, 0x62ULL, 0xb64a40cf29a5239dULL, 0xe11ed86bab51253dULL, 0x68a44b096e8827c1ULL, 0xc299eb549f0979aeULL, 0x973c964c12397223ULL, 0x5cd2bc30d4f8d252ULL, 0x488a0e4e081b3e8fULL, 0x6412e825d946d80dULL, 0x128ULL, 0x704d7fcc52fbde52ULL, 0xa4b87e3403929911ULL, 0xb1e910d6c26b3c50ULL, 0x1b3b2f5f2d24a36ULL, 0xe56e7db7806beefaULL, 0x3e7bf6d4d21a9eedULL, 0xadb29452dc8eb259ULL, 0xe7d335ac1112c6d9ULL, 0xa7ULL, 0xa53481ba2408576cULL, 0xa9601c57cef0b19ULL, 0x465355ff970cf0e0ULL, 0xd8d1f75bc6f88f9aULL, 0x912c0684d4dfb953ULL, 0xae3664c5840b14e0ULL, 0x199d0e52dc10a87ULL, 0x501ae2efdf253c42ULL, 0x3bULL, 0x3756a86f9a4123b8ULL, 0xd15cd77bb9831a93ULL, 0x7a2c3ce61fe1769dULL, 0x9abb616e307a966cULL, 0x61925bfb1feb6b09ULL, 0xb8e7afcbf62124deULL, 0xb7ea437455295f3ULL, 0x2e7a86b0dc7aab12ULL, 0x1daULL, 0xbbfb47abc582bdd4ULL, 0x5061f3776dd41eeeULL, 0x3c939f4488f8153cULL, 0x15847abce22e9a29ULL, 0x8a586fb154619732ULL, 0xfa584ce63e218b42ULL, 0xb859096af432d2d4ULL, 0x518e375c9225b8ccULL, 0x101ULL, 0xf7c1b2dad8de74a4ULL, 0x83444ad955044cd9ULL, 0x6a7c6f45211c9d9dULL, 0xdd8f08c7d00e5865ULL, 0xdfb2e70633ec744fULL, 0xd4a7983145e623a1ULL, 0xe5379ecb42e8a1e7ULL, 0x30988e6bb077a126ULL, 0x181ULL, 0xf37db14195255ccdULL, 0x6f6f18e500de71fULL, 0x6e3de1bc1e91b61aULL, 0x99919f459542ee75ULL, 0xa650a74a6142eb83ULL, 0xc7952140d4176443ULL, 0xf9696512efd13b5ULL, 0xcedd6a2c14af3d03ULL, 0xdfULL, 0x3497fb6b71699b88ULL, 0xd3e70bef92ba21acULL, 0x927a3e84e9ebe6c1ULL, 0xc64b9d0f52365cfaULL, 0x580579ce229ff068ULL, 0x6434890fd4908bb4ULL, 0x84bb352c0f9f6827ULL, 0x5b1397cc92ace1f8ULL, 0xb8ULL, 0x905bb5f27d8a8464ULL, 0x52b7c2f77e0b92ccULL, 0x348117cffea7fa6cULL, 0x22efac131ec38216ULL, 0x6d76259986c0befaULL, 0xcd6793af52c1b2aULL, 0x1690323e35d17d47ULL, 0x86ae2ea1dbfecc6bULL, 0x18ULL, 0x7fac7d718542b4a9ULL, 0x94856deee69e5528ULL, 0xb65f279551dcf371ULL, 0x160aa56adf447db5ULL, 0xe7cb1973690e72c4ULL, 0xec5c8d9452d059b8ULL, 0x1468452619fdad68ULL, 0xbdac6a3fc3539790ULL, 0xf4ULL, 0xf3d5fa791a62be17ULL, 0xa4b90c10f6439b03ULL, 0x9bf8f3ce3cb278d6ULL, 0x616b601f69f98dfeULL, 0x1bda63f42f04b5b5ULL, 0x2ef71219333a2609ULL, 0x43044472c2b13755ULL, 0x207cacb8be01c637ULL, 0x149ULL, 0xa55c76c0957dd9bfULL, 0x8d19862664f0d79dULL, 0x17f7c7586c6a81aULL, 0x7e7d40a15cfafa47ULL, 0x38cc9aac0e8146d9ULL, 0xef91d083a71d36d5ULL, 0x4fdd2d5583d86aedULL, 0xfc2a15c444c5f87eULL, 0x1edULL, 0xf89fcba235d8a1ecULL, 0x86d07ca359a63f98ULL, 0x590915cbf60025c0ULL, 0x15cc7c3b68c18d4eULL, 0x933480185575ec9ULL, 0x4789511ae8d10d82ULL, 0xdb2e76c082704b90ULL, 0xf5824d99f6a4e997ULL, 0xc3ULL, 0x6953628d8f32dc9fULL, 0x8504400ea7575550ULL, 0x609d82958537e141ULL, 0x5da70118c7b7f7a0ULL, 0x79ad1223c50379c5ULL, 0xbde48629c936f6eaULL, 0x1ba017254f7f839cULL, 0x1bef09ebdff8def6ULL, 0x15cULL, 0x8bec90181384b65bULL, 0xba6238f68ca817f4ULL, 0x10a4d546f39d919eULL, 0xb0158f3b65c12357ULL, 0xd94d824fde65248eULL, 0x3482b7fbc0caa4feULL, 0xfeb5bb2d79c4ebb7ULL, 0xf496dfbdeb887e29ULL, 0x1f9ULL, 0x7cfbccd9994bbfbbULL, 0xc7934550ecc59fcaULL, 0x302c2000432a9be8ULL, 0x17859dca0d927b21ULL, 0x22d4149f5fd7d251ULL, 0x7ed807d46074a07cULL, 0x13f5a28fcdb19c26ULL, 0xfd0f58439e5754eeULL, 0x1f5ULL, 0xd789913fe77165d0ULL, 0xc0d4180bc0dfe816ULL, 0x36c9450bb093d484ULL, 0xb91474270419fcd1ULL, 0x8313ce5cabfcd7a8ULL, 0xa790bb64735bebacULL, 0xb8515ed0beb3a4ULL, 0x931a86ce2a0f4660ULL, 0x95ULL, 0xb972c06dddc7e669ULL, 0x902f903fd0629e3bULL, 0x391ac88f19060b60ULL, 0x548c671d8502407dULL, 0x692c20473b358113ULL, 0xbab81ca9926350d5ULL, 0xb66dc7ff8c2931a5ULL, 0x2df969fce8a8c79ULL, 0x1fcULL, 0x9c769e1795e74133ULL, 0xc718cf6693809d3bULL, 0x6a2f8cf134e07870ULL, 0xc5bf437bd80fd6caULL, 0xf044f100ac259b41ULL, 0x6cf1d93dcd83249bULL, 0x3ecde5b28cb322fcULL, 0x3836a0ffbe8c2c2ULL, 0x57ULL, 0x4418f3c29636abfULL, 0xa80afc58e8691ac1ULL, 0x178952e7dc936eaULL, 0x8db70f40320325b7ULL, 0x51594eaf7d06890cULL, 0x49ddffcd67f9bab0ULL, 0x6ad7c31a45ea9a76ULL, 0x79b172ea53ec7002ULL, 0x9eULL, 0xa51fa0ce604a5cf0ULL, 0xb9f4a20aa17a7d8eULL, 0xc0a97cd8c982532bULL, 0xf0f68e47dea0d575ULL, 0x9afdee6abbbcf622ULL, 0xc47a022bae0dc54cULL, 0x8d1be49ecf77048bULL, 0xc0308943317295fULL, 0xdbULL, 0x9130524374501f4dULL, 0x89fd1d46b1a0ffbULL, 0x7b9aa41570152a25ULL, 0xe9272cf1ee707f7cULL, 0x125103b20b235c99ULL, 0xe06e263d7a9c9259ULL, 0x6f8ff601c9796cd9ULL, 0xc1cbe1b41fc58323ULL, 0x1dULL, 0x982adfeb96eb7b84ULL, 0x70cdaa4904dc0ae8ULL, 0x561e93ecfa83bd29ULL, 0x17d0a63a0cd2522eULL, 0x60629f5f6a07102ULL, 0x325b37c443bab6bdULL, 0xf60a572ecc7f3bdbULL, 0x2c01e7769b827bf7ULL, 0x6eULL, 0x5bb314600711ef87ULL, 0x411dae0b872f1210ULL, 0xa36d33ef55f55e83ULL, 0x865821e9ab8e2284ULL, 0x60d7dafd97855003ULL, 0xb3b0dd3bc96904c1ULL, 0x283c30edea3660a8ULL, 0x29c1a953fcf92d51ULL, 0xeeULL, 0xe15a373b3a6368d1ULL, 0xfc869eed881e9d12ULL, 0xd6cf50394260431ULL, 0x636a51bf1e81cbfeULL, 0xb977b6fe8ba4aac5ULL, 0x8508f9d8abfa5756ULL, 0xbd288f9b1ae0ac5cULL, 0x63df1abec01477c0ULL, 0x18cULL, 0xc1292f2fd9020427ULL, 0x2ad82b497d5e79b3ULL, 0xbf6b0025c0eebcfbULL, 0xbf390dd0309ff422ULL, 0xf94d7dc3ed72bd4bULL, 0xe03be68eeaccf5ecULL, 0x80aeb44e43285407ULL, 0x612f3ad1aa3d4215ULL, 0x154ULL, 0x52d7c18f79a1d2b9ULL, 0xb1676687ff3e97c3ULL, 0x1d8c5b02d31347e1ULL, 0x25df4e84997bc1bULL, 0xc5ccaebebf3e8043ULL, 0xbf750d4408c2829ULL, 0x8a6ad40ffbb8044cULL, 0xec05f4092615f11eULL, 0x93ULL, 0x8a9a534d224d9061ULL, 0x865f4749d8eeb0c2ULL, 0xbfdbd76d73667e34ULL, 0x40e2a60ee7115063ULL, 0xd0f5e5b1defa254aULL, 0x2d4694bf84ff9ffbULL, 0xaba96c9a2f0e8e14ULL, 0xf2856ff62a1330fdULL, 0x18fULL, 0x2d613b5fa66ba148ULL, 0xa5b4d3d8469a1482ULL, 0x7f1c75f5c73f27a7ULL, 0x5fc34956b694e6deULL, 0x70e934a0c27ccd38ULL, 0x8db6add316d03393ULL, 0xff4bb5309dc95d1cULL, 0xa7a7e9d00f3431ecULL, 0x146ULL, 0x50af0c70403a84b0ULL, 0xba09dcce43d17ccaULL, 0xf45f7414c7ec139ULL, 0x5b033f72ce8e8a42ULL, 0x373543e8fc5545c1ULL, 0x920cb57fc929245aULL, 0xa5b69805103d3d3bULL, 0x601d2bfec21cd3b2ULL, 0x1b8ULL, 0xe8e7b18353f2179ULL, 0x4be2ea910e31020bULL, 0x9de6e6aa041bc780ULL, 0x75e90429b1c1c900ULL, 0xa9c26c73bb8b86a8ULL, 0xb8a3b4b29977fc8ULL, 0x7f3e3b45d990ba06ULL, 0xf91ef890754f2cdfULL, 0x127ULL, 0x6522b83456f1d15dULL, 0x255e3937d1f6572bULL, 0xada3a0924b4ff2c0ULL, 0x8672bc2d10b1c4ccULL, 0x3dee2a8e92a3d655ULL, 0x50c732363fa32475ULL, 0xf3006fcd6ee178dULL, 0xa0f535927c0e59f0ULL, 0x88ULL, 0xbdfec226962920fbULL, 0x2fb951edca582225ULL, 0x54798fc8fe70454fULL, 0xcf13f53b1b287a50ULL, 0x2ec26e4e6a6bce71ULL, 0xac4175d5d7f39839ULL, 0xc9b85bcbffa922e7ULL, 0x160982b2302fc5c7ULL, 0x29ULL, 0xc6aaf5efea253eafULL, 0x517f18326a80e9d8ULL, 0x5089f1cbf9acbce3ULL, 0xe0e8b5f38d6a45d8ULL, 0x129a61f48d0fff84ULL, 0x16072dd4cc3725c8ULL, 0x64adaa9408b24c23ULL, 0x78318762bf7e557dULL, 0x136ULL, 0x4ade3cf54ef6ab9dULL, 0xb0ad0ef1e04b9474ULL, 0x195edb29ebe16332ULL, 0x1ae10479f0ebf61eULL, 0x7c4c2858241f142aULL, 0x9ee39a087ff3714dULL, 0x5814d684fb216d04ULL, 0x5e403c506664cba1ULL, 0x26ULL, 0xdcd1b1aa09227f34ULL, 0x9370db174c9418adULL, 0x774ea571247f8baULL, 0xdf031a0b4be7fd19ULL, 0x1ecc014e350a90e4ULL, 0xe2fbc8331d81c985ULL, 0x5384b8c5499563cULL, 0x6bf8d9c534d79fd0ULL, 0x91ULL, 0xb507e7ceb150fe4dULL, 0x3107aafd065a49f3ULL, 0x1ca171c2f4c17953ULL, 0x2f1f08084ec58238ULL, 0xfa7b2a16c6a6c0d0ULL, 0xb493cfb76315a2cdULL, 0x231af9abeca6144aULL, 0xf80f902bc3240552ULL, 0x1ccULL, 0x6d1e2b1b166c4a90ULL, 0xc18aa68f57bd27b4ULL, 0x10ae1bf18ac8c719ULL, 0x7cd73cb26d1c1cbaULL, 0x1182fe68425d75f5ULL, 0xcc82310ab751f08dULL, 0xb141871cf33a43f5ULL, 0xd6de4afbd963e95dULL, 0x22ULL, 0x35a0589721d92fbaULL, 0xd3d17ca81396c470ULL, 0xcc6d371c60473f68ULL, 0xd68726c1881d998fULL, 0x82c93d898733a236ULL, 0x198e7537c7799cf8ULL, 0xea28630e5fa9741aULL, 0xeeaa8f6cd015f23dULL, 0xb6ULL, 0xa02ed0c1c3e03ab7ULL, 0x47d9a5238d54d795ULL, 0xdaed7383ee341a6aULL, 0xc0e09e4ce07f6c6dULL, 0x6bc19413c17857d8ULL, 0x2d0f44324071a196ULL, 0x6d7f00e715612770ULL, 0xdf36ebd4e579689ULL, 0xa7ULL, 0xf7e2f91a7a053622ULL, 0xfe156c249ff09f5fULL, 0xa0a13eecc12a64fdULL, 0x2b9997a06a7282bdULL, 0xce0bcf66e41df742ULL, 0x9dffe0b7e973b15aULL, 0x5f7c86627f880161ULL, 0x69c39132b321b9ceULL, 0x127ULL, 0xd22c220ff28b47cdULL, 0xf720809b2d4880adULL, 0xf5411ef688e38b6cULL, 0x98d24a1d1fbe04beULL, 0xc197175af25d8bf3ULL, 0xfc2372a2ad6b8321ULL, 0xfa3fc80c1fee1ad9ULL, 0xc88cfd092e3fd94aULL, 0x58ULL, 0x442ebef71d70324cULL, 0x6fe980b461cdff75ULL, 0xc3b2c54f91e418b4ULL, 0x4cbfc14dbfba8560ULL, 0xa886924833a00c64ULL, 0x7e8aa739b4ba6903ULL, 0xb9734f47bcdc228bULL, 0x1c970c623084540fULL, 0x5ULL, 0xf152295799bcbd61ULL, 0x260c2746b18afe4fULL, 0x7ca43c3fab36154fULL, 0x5a5e3d0562a12ea1ULL, 0x70b13bf043f7f3eaULL, 0xd3db83612bf8874aULL, 0x77703090885bf3bcULL, 0x2dd3a95b0e2bb73dULL, 0x125ULL, 0x31ce74763660052eULL, 0x5b328da3e409da17ULL, 0x607382a2098b5f71ULL, 0xc3ee7b0651c3538dULL, 0x96d5eed9abf1dd7bULL, 0x1a4ceb18e8c0d16dULL, 0x6b9f8f1e3fe464dcULL, 0x359d987d0c30d6faULL, 0xfaULL, 0x2947d09810803ed6ULL, 0x5d737b5b97b5789ULL, 0x2087e2c1cc27fc50ULL, 0xdd0d960662d40febULL, 0x225ee555f37345b7ULL, 0x9ae8d7c17f3858a7ULL, 0xdcf4e1aa0cf2ae73ULL, 0x649e41ecee00ee77ULL, 0x12ULL, 0xb68917a18cd55c4cULL, 0xdb7ad5758d2e83aeULL, 0x9a445a9b49f7c1f5ULL, 0xf27f8aced44c78ddULL, 0x4b6d4dad1fbe0cbcULL, 0xf0923a0f2603e44eULL, 0xe31305cd1120112eULL, 0xb109e311cb757122ULL, 0x53ULL, 0x13fa07537b8d767bULL, 0x99b51fdf14b31b6cULL, 0x248ef9a659c43d95ULL, 0x6a21f17049b189beULL, 0x9714e3fed266e42dULL, 0xefbc84409062003eULL, 0x5b07d274c37d9d00ULL, 0x335dd5de163b2d5cULL, 0xa9ULL, 0xd3db3a60d757b9abULL, 0x1c324e61a2a817f8ULL, 0x98fffa2ebfaf3dd7ULL, 0x3b44934840f36b5cULL, 0xed0c1a9a2c5243caULL, 0x8b1e78dc1e5f873ULL, 0x918ab643c881ba9bULL, 0x974d0950fbec4cdeULL, 0x150ULL, 0x17cfe99f7d91aac4ULL, 0xd87cc881a7bfd720ULL, 0x805860bf069ff3cbULL, 0x2aa1aacf5e52ae12ULL, 0xf413caa9007dafd6ULL, 0x35297802c5e25bdeULL, 0xbb33602823e96040ULL, 0x15f9267559513b61ULL, 0x12bULL, 0x5a55e6aeef42463eULL, 0xe470751201675fbbULL, 0xb30df77df68cf732ULL, 0x6918e1550d21d319ULL, 0x688166ee207ef0d1ULL, 0xf4e10c58951e7607ULL, 0x4c2449e2c07948f5ULL, 0x72310bdf8c90e0d0ULL, 0x11cULL, 0x365a0f880b4220a3ULL, 0xa6fb29cf5e7fff86ULL, 0x1a8d78401ed7cdf5ULL, 0xe597bbb414caefd4ULL, 0xb813e61041223991ULL, 0x474fb8f674a41fa0ULL, 0xe0e16b887408f7cdULL, 0x5b5141202a5dc263ULL, 0x71ULL, 0x49f516ff63136aa7ULL, 0x4d3be8b42cb2c18bULL, 0x235610af18de87abULL, 0x22afa7a6dcd43c70ULL, 0x3bc1117c9f4c27aeULL, 0x9cac17323207418ULL, 0x6e3df689bd2a3bcdULL, 0x7d24abf4db048960ULL, 0x26ULL, 0xc53301878ae85578ULL, 0x316143163d122ad2ULL, 0x380af41bc0f772fULL, 0xc9b38d21879c855bULL, 0xd924d4c70729f85dULL, 0x6a9e4e91bd9dd9c8ULL, 0xa4e5b8817290a7c9ULL, 0x7677b01f27290f5dULL, 0x134ULL, 0x4bad9cfd9451437cULL, 0x1a5eb1bbacfc9afcULL, 0x22164adf1263ee68ULL, 0x69205105ba03a3dfULL, 0xc163debe8bb7d634ULL, 0xbbe4c01c9ea5b20fULL, 0xaa8144aae7a0678bULL, 0x154e281038358649ULL, 0x1d9ULL, 0x6fd10ffbd9135f2cULL, 0xabfa310290d778f0ULL, 0xbef0316261deadd7ULL, 0xf9efab8f312348a4ULL, 0xe1a6cb264b5e4446ULL, 0x22c6db716f0e00eeULL, 0x7aeb9cd408b353f9ULL, 0xfc514764dc00ed9dULL, 0x18ULL, 0xc7aae783b48038f3ULL, 0x85d7aefd4b58dc8cULL, 0x80da23a45ba2b4f2ULL, 0xee5510b1eb2667a6ULL, 0x5a08906a3394ebb5ULL, 0x1bee84915acfb8e1ULL, 0x8393a9609ed7686eULL, 0x2cdca5e67b2b9f0eULL, 0x103ULL, 0x98efcc60e004e8b7ULL, 0x4b149bc552396afULL, 0x82a0486e27cdae7dULL, 0x8e9e59a368d8c9cfULL, 0x36ecb8b636cd80a9ULL, 0xdf06964cf842d147ULL, 0xa04b8b35d82f48c6ULL, 0xadcc3411a9256a34ULL, 0x1fbULL, 0x211e042f556562b0ULL, 0x7b6c8d58c1d3d31cULL, 0xd6bc8df3bf470a0eULL, 0x9cc1fbc90a1e9aa9ULL, 0xc7af85c8d3e1deb8ULL, 0x6d7bebe3422a6430ULL, 0x41bc6015d2f7915fULL, 0xd24487fa345701a9ULL, 0x1d9ULL, 0x635e5ac0d233d25fULL, 0x18875a49136bd65dULL, 0x205f7cd6b328fdcdULL, 0x2df6f0b4cd419946ULL, 0x93150cdb73cc130ULL, 0x40fb7a4bf6af9f90ULL, 0xfda167d17750ba00ULL, 0x1a9f341d93aa4720ULL, 0x184ULL, 0x6226f89944303826ULL, 0xac5f92885bf5e9caULL, 0x384cdfbddbc43382ULL, 0x8dc036da03877fcaULL, 0x3eb3e825fe8f00f2ULL, 0x3a355d95fa583318ULL, 0x56b84346e9322511ULL, 0x91f24c3e0712ad7eULL, 0x1fULL, 0xb0414589aec1aa01ULL, 0x25f95da624a0721dULL, 0xe249624230894153ULL, 0x9ebdf3350c14311cULL, 0xb8c0585b051dc5cbULL, 0xd0978a89c25a6c9aULL, 0xe486677d413fcc98ULL, 0x37a53b2b8cf994bbULL, 0x191ULL, 0x6c4a4e54a173b613ULL, 0x9b013e966453d47ULL, 0xbf785d465410bbbULL, 0xa19c1225dd9b6f53ULL, 0x8f0b76ed3625baf9ULL, 0xc0ce4a6c2b05db4eULL, 0xe34f8d31dfece689ULL, 0x620f83a7a1abc1eULL, 0xffULL, 0x2ddc2cbec35fc62ULL, 0x1006dc989993fb25ULL, 0x5acb71ad4a952c2eULL, 0xb672cf9c46e89236ULL, 0x4b8e0eb5998e87c9ULL, 0x2f07888696e81d02ULL, 0xf8fdb53a6e8f7228ULL, 0xd55ed746d12b7a8dULL, 0x1bcULL, 0xd340ea5105c6ba0cULL, 0xd721334683105d8aULL, 0xe74d6be991e1acb0ULL, 0xac615ddc1546ab33ULL, 0xcc793974eaac2474ULL, 0x995ef44becf58b3cULL, 0x5f1ca5738b2831ceULL, 0x35f42cbd1ca8ce12ULL, 0x198ULL, 0x45238cff419d1eb8ULL, 0x3a185c2db060f5d5ULL, 0xe7c26e2b213ed949ULL, 0xd03c1bb528efbd58ULL, 0xf1698507b9a57d34ULL, 0x8ed5c38cd1af2740ULL, 0x5484142fd4f5d510ULL, 0x3f3eb5ccb2651f3dULL, 0xa8ULL, 0xb8ea0953628654eaULL, 0xe414c94fc5838c87ULL, 0x2fd5d7c060ebbb8dULL, 0xda8add01342eb9e0ULL, 0xf91e42b96c6256f0ULL, 0xe9611e067b111c51ULL, 0xd3e9616b84a268eaULL, 0x9ecffaa38707e4feULL, 0x77ULL, 0x5de5f68203466581ULL, 0xe1f45389fb2d517dULL, 0x966828d2fe1270f9ULL, 0x3ce810e5f08f2a85ULL, 0x9fe92a7d6c78af3eULL, 0x3d287368d69194b7ULL, 0x7513ad066668c5beULL, 0x42c8dc5f7f15ac0ULL, 0xc3ULL, 0x97bcb72fb03c9b1cULL, 0x3ba400eadb12df8eULL, 0x9f428a1e2b61638aULL, 0x67f2c8260c6fd192ULL, 0xec5d73ccb19dc11bULL, 0x63bae5ceae0d3b0cULL, 0xf7dcf0bb02d31ea0ULL, 0xcf0493d7ec3125abULL, 0x171ULL, 0xdda58ff6dbf20751ULL, 0x10f58b596b1b46cfULL, 0x2352811467441df0ULL, 0x98f5e296ec3fa29fULL, 0xb827327af10e85dfULL, 0x93f92afcd2ebca98ULL, 0xa23079991cf017a1ULL, 0xe5fed5790c96d21bULL, 0x10aULL, 0x4047e5410ca03dc4ULL, 0x508bf3c5aec15aa9ULL, 0xaea06ba2779304a4ULL, 0x5285a27ac9157fbcULL, 0x5c58d46cc741c862ULL, 0x7e2c2565a7286886ULL, 0x6e1126db7aa354eULL, 0x529fc83b3299fa3cULL, 0xf8ULL, 0xaa61e775a0460c43ULL, 0x3dee81ae8302cd1fULL, 0x811bc27675d9e80cULL, 0x777a241fd5cddeecULL, 0x58ca7643c0c91d30ULL, 0x113f5f856d90dd5aULL, 0xfa828c4d018993bfULL, 0x42c782cf05ca34ffULL, 0x1f6ULL, 0x66700bd1892f4f5aULL, 0xcca33cd811eaec72ULL, 0xf288227a2a0b6d8aULL, 0x542ff1c67e2a7addULL, 0x553f84c25fb1d821ULL, 0x4aa5a5b0b0808fe6ULL, 0xba811566e406bff8ULL, 0xc081deb69b8cd853ULL, 0xa9ULL, 0x82f88507d0e48ca0ULL, 0x90ef2ae085c56d91ULL, 0x1d9e383fd25c121ULL, 0x347915bf870963d7ULL, 0x87a04d3db601316ULL, 0xdfed36aaf4df46b7ULL, 0x832d17e168afa587ULL, 0x437544b128597f5eULL, 0xcULL, 0xfa7ba2431885d951ULL, 0xdde8fc91f7f55f74ULL, 0x190c71579d3be53fULL, 0x3bafd5d787cde92bULL, 0xd3c4db78794efefdULL, 0x6f57def7a87d587eULL, 0xb0385f45b8369cc6ULL, 0x1cc91f2e0c0f3132ULL, 0x187ULL, 0xf33460065c6e9263ULL, 0x36a1ad11637a0344ULL, 0x74416107fcd0882dULL, 0xacc220e83a160355ULL, 0xdb9c07d7b4691642ULL, 0xff5428d77f90adafULL, 0x273b81afce6f29fULL, 0x65c5d551fa1aa1acULL, 0x1f4ULL, 0x17ae23890ffd2f89ULL, 0xb11650711a290806ULL, 0x51dc7eeca46d26c1ULL, 0x367dc9c91bedb2fbULL, 0x1b57cb83d9e4128eULL, 0x2666b797e9836a84ULL, 0xc0a382f13b0b3d5aULL, 0x3de6b933e6ab2529ULL, 0x1e5ULL, 0x2f9e8f134187f8a8ULL, 0xda8f6e9b4422e93cULL, 0x860ef75839894412ULL, 0xf80d76e0809dc788ULL, 0xd19cf8225ef33beeULL, 0x8136fe70fe9e9e81ULL, 0x2369ef19b1788ae2ULL, 0xb5b943b67400346aULL, 0x82ULL, 0xc5a9a2f63934d53ULL, 0x9fb50783b9278094ULL, 0xa60e077af88a1e60ULL, 0x838dd921ea236ac4ULL, 0x4c6f2f1b2531fef1ULL, 0x293d02be70b0e03fULL, 0xffda4e19fce0cd71ULL, 0x81c5eea9add68947ULL, 0xc9ULL, 0x90d2bf54b82983d0ULL, 0xe87785fc91d2cbfULL, 0xc1973434ccb99983ULL, 0x75e932196e9f6774ULL, 0xc0ac702f3d1eace0ULL, 0x593b998a61cd4060ULL, 0x67bacc5fd46e497bULL, 0xc211323078dcb03dULL, 0x1baULL, 0x9d8f70e7c9d2ec82ULL, 0xc0e0ea1b28149889ULL, 0x3f32642426739878ULL, 0x254f75f0de98b684ULL, 0x923a9a8e13eda62dULL, 0x54248ee144a06450ULL, 0x1d138a94cfdeded2ULL, 0x1c0c211a26be20b0ULL, 0xe8ULL, 0x3cdad05b701587c0ULL, 0x836e844375efda42ULL, 0x79cb338f4f9fc238ULL, 0xefd6d6dec9a600b9ULL, 0xb150fb1416920f47ULL, 0x4180d1af0a7a3585ULL, 0x62f2405e7c7f653aULL, 0xe9693230730337beULL, 0x175ULL, 0x9461d62fee2e6decULL, 0x97d0269e7f50538bULL, 0xa7613024b7ced1beULL, 0x9e6482701da3ea58ULL, 0x2ecd813ca5a30478ULL, 0xa2e5dffd5f7a022bULL, 0x108d361ed5a9a99fULL, 0xc27af22817e67ae0ULL, 0x1c3ULL, 0x757bde69547ba086ULL, 0xad74755f001b3874ULL, 0xba36c55429ebf405ULL, 0xac25715d9070318bULL, 0x2ed2acbe8d902ff0ULL, 0xe68e3ba4f83d34c1ULL, 0x369ae4a370d6c1faULL, 0x19e5cc8dfaf1698cULL, 0xb6ULL, 0xaab6d578e4ec5b18ULL, 0x5bf0fd23b3b0df73ULL, 0xaa9c7e7f5808a5fcULL, 0xbb39e6cf7c96c28eULL, 0x7362b6f03e9e2f7cULL, 0xf64f81c70f03430bULL, 0x43675344ddcf0b2cULL, 0x6dd286ae5d05ebaaULL, 0x1e6ULL, 0x2c33cc460196eea8ULL, 0x444499c33eaadc7eULL, 0x564d947e85254137ULL, 0xb131fe2be55ed0fULL, 0x92e282422e09464ULL, 0x19092e1d36232b45ULL, 0xb451b76474715ac0ULL, 0x3ec7bac4b7ae0182ULL, 0x7dULL, 0xa97caa9de126cf5aULL, 0x7621dce897c972dcULL, 0xc0799a0f2794f9d1ULL, 0x48318a83fc1ff8b3ULL, 0x3e3d617e3eb06738ULL, 0x480dd7ecc82998a7ULL, 0xc10039bee6949bc0ULL, 0xcef3c706b57263e0ULL, 0x6cULL, 0x94e76e35e419dbf9ULL, 0x943e93baff37ede4ULL, 0x3cc6910a04a506dULL, 0xd9a14821d4e5483eULL, 0x7dd1341f3e356ab3ULL, 0xd5c51702c719f8fULL, 0xa275a79312620f31ULL, 0x1ba9b2eee68e2f30ULL, 0xc5ULL, 0x1bdc442fe3a07762ULL, 0xc8ba9ec0751a64f4ULL, 0x63adf4ef64b65e68ULL, 0x35cd95d68dd943e9ULL, 0x2321dce844dcda10ULL, 0x8e5e3261f1641861ULL, 0xb50f087199a404c1ULL, 0x6e16bd80178e8e12ULL, 0x1cfULL, 0x35ab4b96e71cd62bULL, 0x6ccc15228bcffefdULL, 0x1c623b8a9c79ccdaULL, 0x14f2d2d922068673ULL, 0xe1ebd1a59b7e9f53ULL, 0x4b1f03f96b7ef184ULL, 0x9101d77065dd5569ULL, 0xd2607cafe3616a0bULL, 0x4eULL, 0xdc722bf644dda693ULL, 0x614a14ed56339288ULL, 0xad8984d1ecf3d721ULL, 0x6750133d17356920ULL, 0x2b6ea5645710f43fULL, 0xba145c794ac9350dULL, 0x3bf8f8a4497d6212ULL, 0xb2789150027f2e03ULL, 0x1b0ULL, 0xd7f3cde0abff3895ULL, 0xd25f07860e36c1c5ULL, 0x74d8b59c151db404ULL, 0x9b234d8c30b084e6ULL, 0x2636f2803e6a1994ULL, 0x41855002cf1c263ULL, 0x91b90f1d8dab5102ULL, 0xc4d74c4d0911e72fULL, 0x1ceULL, 0x7d34756fa9cfa92cULL, 0xad3720a881647963ULL, 0x972da3c5e0e1fd95ULL, 0x1d4e768fd9ef5ca5ULL, 0x5f5acf71be92d1b8ULL, 0xe5df2aca95a75130ULL, 0x28dad6f5170daa9eULL, 0xefa80e5f931e99f7ULL, 0xf1ULL, 0x7efbf67616104480ULL, 0x6297e9274462eb9cULL, 0xc53285fb86db17d7ULL, 0x262975f692554533ULL, 0xfafe311fef523652ULL, 0x90493f144f6325eaULL, 0x6a365d16a66eff4eULL, 0xf03e9b3f334eb98fULL, 0x0ULL, 0xb797ef6f1869e8f6ULL, 0x754a38cbc1e004e3ULL, 0x1b7d0f13e70631ULL, 0x969ee3ebe869bd14ULL, 0x5f5ac1a7f988e78dULL, 0xe4f556b18c827c5bULL, 0xfcc4f956264aafb3ULL, 0x7ee2dd54605adc4ULL, 0x123ULL, 0xf2ee5fc90cc7d3ULL, 0x83619536d81d789aULL, 0xb628d412e7140bbfULL, 0x85df64b16fbda9fbULL, 0xbdead49a13b6d7a8ULL, 0xa2354991e2119cecULL, 0xd7c33bcee6c6241dULL, 0x5ce58bcf8c5d2c3ULL, 0xc1ULL, 0xb16d51361b3297cULL, 0x5cf1f1dc8fe5c23fULL, 0xeaf70211b634b21eULL, 0x94e0d3cfab387feeULL, 0xa53e24a9ea62b815ULL, 0x4de6e1818642bf76ULL, 0xba83f210cc1a2780ULL, 0x5aeeae59a87593b3ULL, 0x66ULL, 0xa69df12667206433ULL, 0x47e8e5121fc82f4dULL, 0x7576ec653520ffa2ULL, 0xbc8344127889301cULL, 0x340205cc71dff6bdULL, 0x8403e71f2e144018ULL, 0xc22bfb818450cebfULL, 0x6d3804522f1aa60aULL, 0x1a0ULL, 0x4eb20ddc0ebebecbULL, 0x31bad895c8834f02ULL, 0xd75f41aab6966e65ULL, 0x584c5c07dd333440ULL, 0xae64ada97b57fcbULL, 0x5991ccf7f0a76a2ULL, 0xb1bb9665962d438fULL, 0x1db57ee01776a9beULL, 0x1e7ULL, 0xc9ae1bbe25b6761bULL, 0x9ea07c20f5c83e2eULL, 0x2985c6d32380e5a2ULL, 0x2ceec4eec1d38f01ULL, 0x79f177c74089560bULL, 0x11bfc58b8308fedULL, 0xe8f261156ac1bd78ULL, 0xef9e5793b79b11c2ULL, 0x158ULL, 0x4f655f0dfc98607bULL, 0x4474c86c24019bc1ULL, 0xd7dfa7e694ef45c9ULL, 0x20054a8759d0352bULL, 0xf729b6418e3f947bULL, 0x634b02573e70b34dULL, 0xbbc59dd76b12ae08ULL, 0xe0eb23123070078eULL, 0x51ULL, 0x80f7b13ad1d3c4bcULL, 0x5cb44c915796b8d8ULL, 0x49aee7c840160567ULL, 0x4a1739a5baefd10ULL, 0x723df0d2a192b4edULL, 0xb88d5473efe8cb26ULL, 0x38493b7fc9791e8aULL, 0xa9f33922196c8b95ULL, 0xf3ULL, 0x277468b9ed730114ULL, 0xbd6bb19c92b22106ULL, 0x1e88355e32659b20ULL, 0xf78252d16adc5a3bULL, 0x718460f6086f0aeaULL, 0x5b3b176f537c7008ULL, 0x163979576ca7aaf1ULL, 0x18328331fa019126ULL, 0x146ULL, 0xe03e2e40e38c0e3ULL, 0x9e4e84d7c1965d9bULL, 0xfe61c6f008a4b635ULL, 0xe6a2a3845fd54c12ULL, 0x4666865b89f0c420ULL, 0x6df288119d4b8994ULL, 0xf536e5097fc5b68cULL, 0xaf3fca4be8bb3888ULL, 0x1f8ULL, 0x2a6a3d1be68b4255ULL, 0x8f9848a6540c7788ULL, 0x50da2c9cf9617eaaULL, 0x92cc780f508980beULL, 0xf4e71b279406e09eULL, 0xbfaefe8e9351f590ULL, 0x2257ddc6d8c7996bULL, 0x38e3fc6ecf1a01beULL, 0x1e0ULL, 0x3751440b951d4497ULL, 0x2f80498c8ff01b0aULL, 0xd94e1ab83e485451ULL, 0x38482f0b8af853a5ULL, 0x6f778b27cb6556ecULL, 0x1e2820ccc64845bfULL, 0x92c87548f2774ae3ULL, 0x2b88284773b9aa30ULL, 0xe1ULL, 0x832e2a61d3d8999cULL, 0xf1153f035d4c4c0bULL, 0x164ebbafe546aaefULL, 0xef9dc39243150b27ULL, 0x2b0ee645e5c41cd8ULL, 0xc0f3091fa654155cULL, 0x7a2f90629ff22cadULL, 0x1103b3277d6ace1bULL, 0x196ULL, 0x9dcb0f2b65a2f20dULL, 0x22b04f6832516408ULL, 0x7954b00234d3fd2eULL, 0xfc603def761d3754ULL, 0x81ddf9fed0caafacULL, 0xcdfc211b427707efULL, 0xa87a8656e58c4b62ULL, 0x61e290ff9fd630feULL, 0x191ULL, }; #else static const mp_limb_t ecc_unit[9] = { 0x1ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, }; static const mp_limb_t ecc_table[2304] = { 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0xf97e7e31c2e5bd66ULL, 0x3348b3c1856a429bULL, 0xfe1dc127a2ffa8deULL, 0xa14b5e77efe75928ULL, 0xf828af606b4d3dbaULL, 0x9c648139053fb521ULL, 0x9e3ecb662395b442ULL, 0x858e06b70404e9cdULL, 0xc6ULL, 0x88be94769fd16650ULL, 0x353c7086a272c240ULL, 0xc550b9013fad0761ULL, 0x97ee72995ef42640ULL, 0x17afbd17273e662cULL, 0x98f54449579b4468ULL, 0x5c8a5fb42c7d1bd9ULL, 0x39296a789a3bc004ULL, 0x118ULL, 0x6f7f2fe8b6813f72ULL, 0x95f979fe940210f0ULL, 0x42cbd8d71a409657ULL, 0x2e2d2f08474c141bULL, 0x63e5eff052a6a362ULL, 0xcd24503eb1c5a27dULL, 0x30335d77db08b256ULL, 0x827057cf9724bebfULL, 0x3ULL, 0x6b372ca7dc5feef6ULL, 0x7557c331d06696b6ULL, 0x4b10d90b4a42090fULL, 0x2c93e9846f10352bULL, 0x72ac24ff2b8ded01ULL, 0xfa53f5dad8c833a6ULL, 0xc166ed4b7c9354caULL, 0x81df59a09e3b4cf5ULL, 0x1faULL, 0xe17b109d9d762854ULL, 0xfa9a85e642d76a3bULL, 0x25d81d8957a67d35ULL, 0x1596bff75c331660ULL, 0xc94bbb57cbb23ae6ULL, 0x39ef515635c26908ULL, 0xf4af69342b330748ULL, 0x633554aa793f5c06ULL, 0x72ULL, 0xd9be72f9acda1b8aULL, 0x4cc37710b204e0fULL, 0x44fac741dabc50d1ULL, 0xfcdf9bab8ae4eac5ULL, 0xc45388855dd6d58cULL, 0x90400b5be0a68346ULL, 0x31a0e5901fea4ec2ULL, 0x3be4b1c91201ab88ULL, 0xbcULL, 0xf762eaf77b602085ULL, 0x3b6e62332d470147ULL, 0xe1028d76d3cca3e7ULL, 0xf3616dd8ccf39be7ULL, 0xa35c4cc108e8f10cULL, 0xc413db107cb4b321ULL, 0xeab81774c3249f4bULL, 0x3e7bdea7be83bc78ULL, 0x134ULL, 0x86999f159d38d508ULL, 0xc9a990afb204d42ULL, 0x27c4421dcb616f5bULL, 0x2cb6590d46ae31ecULL, 0x1a33f6ab309acf22ULL, 0x13d99e2a80320210ULL, 0xa13731b3341d1667ULL, 0x7e0baeba4bfcc116ULL, 0x1f0ULL, 0xca80f95df4d8c3d8ULL, 0xc54c94fc81442607ULL, 0x7aa4a1ec04684694ULL, 0xa88e5c3ea3cb77ccULL, 0xc6b2fa8abba66523ULL, 0x4c9e4b9fe91ea4beULL, 0xf00105ae09a47e58ULL, 0xbb53073c667981f8ULL, 0x1efULL, 0x7810e40b36e116c1ULL, 0x6e6b7352b9679394ULL, 0xd2e912ce93583ebaULL, 0xd0c96ce43b384cfeULL, 0xe8c3a784e36a99e0ULL, 0x449b45efae788127ULL, 0xa19609a4e637113fULL, 0x570d233986322e86ULL, 0x59ULL, 0x55b4d255d8f8996cULL, 0xf0376ce0ea552501ULL, 0x91e3802793647495ULL, 0xa2f1cc34bd66c4dULL, 0xf7a7e408d4c8aa7cULL, 0x9d9caca5a61bfb05ULL, 0x54c015e397bb166eULL, 0x74e1b03a5cf71ab0ULL, 0x1ceULL, 0xd530e5364eba776aULL, 0x23900444b0a51a84ULL, 0xfbb6cdb7a26b4c8bULL, 0x2ddd6f4df3ced87dULL, 0x10d5a4b5a879225fULL, 0xd921ad37a03504e4ULL, 0xaea6cbf108acebadULL, 0x95c0082a70a12959ULL, 0x153ULL, 0x74c3082627a7a0bdULL, 0xf76e874c2de71aaeULL, 0x38fa36151930ab31ULL, 0x3106e7c6a52c0455ULL, 0x7ec3d8e6edb1fe62ULL, 0xa78b0742941a9047ULL, 0xe71ff29004bf22b2ULL, 0xa0c46532044e0c2cULL, 0xcbULL, 0xd3e7450893fa89f3ULL, 0xd30d238ef4e27c83ULL, 0xe86596972f32ca74ULL, 0xe57a74fc64dba331ULL, 0x4bf661ad58d507efULL, 0x74db9c9abfd9535dULL, 0xad9be0285d21b820ULL, 0x15dedf0d8a03c6f8ULL, 0x1bbULL, 0x904f2d4bdf9314e0ULL, 0xdaae850de7a00aacULL, 0x79231083582efb03ULL, 0x80f1c283ec7fe6d2ULL, 0x2d5b3996199d74a8ULL, 0x5f120b9b395007e7ULL, 0x30d237734773f03eULL, 0xf4c192733b78b686ULL, 0x121ULL, 0xf103ff6dfa8b51f0ULL, 0xae7afb5140e2bdf0ULL, 0x1130380e83254171ULL, 0xe83501b8cda10d95ULL, 0x1057771e4f3a8c01ULL, 0x8f52196aac807069ULL, 0x3609b0aaa5623821ULL, 0x8c25790694a0a7f1ULL, 0x1dbULL, 0x300370ccb2c0958dULL, 0x89aef16669a7b387ULL, 0x2792f3cf480c9b38ULL, 0xb2984f2fab3e149ULL, 0x9751e43650748967ULL, 0x9cab99d5ad33db2aULL, 0x4d945d32b44a4daaULL, 0xa26cca5216c77325ULL, 0xaULL, 0xcdbe1d41f9e66d18ULL, 0x80aeef96aa117e7aULL, 0x53214a2ddb0d24bULL, 0x6dcfb2275c98b7bfULL, 0x613e7436dfd3c848ULL, 0x6e703fa13ca4d52cULL, 0xc8e297718551e64ULL, 0xf5e90eacbfa8527dULL, 0x1c6ULL, 0x40699d9d5a7624ecULL, 0xf990b1d59be3cb9ULL, 0x1dfac370ddc3ff0cULL, 0xaa247cacf282456cULL, 0x900327911880b530ULL, 0xc1f6c0aa5d50f74cULL, 0xb6d0582b53c0975dULL, 0xfa8cf28c0ee84849ULL, 0x1b1ULL, 0x2dfb267ddfa7d6dULL, 0x38d7e9b63d0793b0ULL, 0x754694cb6a51d196ULL, 0x466839f193d437d0ULL, 0x609156b8e0538e19ULL, 0x7d979a0276fee9a8ULL, 0x8347480a98e5000fULL, 0xb1ea9cc3a7a27e68ULL, 0x1a3ULL, 0x9185ed71c4d2a369ULL, 0xf30719c2389721e7ULL, 0x85282d2b8a31ae1dULL, 0x71e6971da0b2c02dULL, 0x8bf7120a3b8b1369ULL, 0xc0895821a945d77cULL, 0x382c1e3b0de88a0fULL, 0xbc40bf57c1791139ULL, 0x7bULL, 0x23eb1ff5a7f1b23cULL, 0x1d5bc7695986afdbULL, 0x261e6b2e0254a00cULL, 0x818e090253749161ULL, 0x6e34f24a12b44410ULL, 0x829cf551bed3d943ULL, 0xceb1330f4ba1074dULL, 0x4bfc2f74d115ff3ULL, 0xa8ULL, 0xb3cd6d2fa0cacf0aULL, 0x88194e1e03a795e8ULL, 0x13c5aa7d3e08ecbdULL, 0x66cea8edfca43fa9ULL, 0x8bf0eb21343dcb61ULL, 0xdcc29dc57876eedULL, 0xb96a94445a8a5935ULL, 0xb51092889cf72a63ULL, 0xc7ULL, 0x8fb30f38177b5b5fULL, 0x1931b446e24e990bULL, 0x7bd314c8eef1bc37ULL, 0x928b7fa340b9912aULL, 0xa10526671e409b34ULL, 0x7a1c6b67fb4584e8ULL, 0x5cbe8c9ee81f37aeULL, 0xbea9f7c474586865ULL, 0x1b3ULL, 0x37111a685900bfeaULL, 0x51c314fb9165135dULL, 0x84225597ad12f73eULL, 0xa0ba4237679baefbULL, 0xa439fa9670e21377ULL, 0x5f76475f90fc0291ULL, 0x6bb83f9a279cb20eULL, 0xd96c39dc6b2b20a1ULL, 0xd7ULL, 0x4f5c69b2fe9c2519ULL, 0x18332d60d2686c02ULL, 0xfb345a78c12ecc4fULL, 0x8718067bc37f6cc9ULL, 0x14d20f785a0b0476ULL, 0x31433c1c92757ca1ULL, 0x5852b65b3f42c213ULL, 0x3f88bfb0027a5a81ULL, 0x152ULL, 0x56d142d17531782fULL, 0x96eebae0d9fdcc47ULL, 0x324fe2488717f18cULL, 0xbec03522cb9c9010ULL, 0xd9f5be982f3599b0ULL, 0x4dbf85f0a3b9b2d4ULL, 0xbe5eea208c62d609ULL, 0xaebc34757ad5fe27ULL, 0x37ULL, 0xb5b38c4628c9d5b8ULL, 0xb8327e0bf55f6ad9ULL, 0xbbf561f727e93d2eULL, 0xbbbd8639e65e65e4ULL, 0xc4726e5c22fb5c7cULL, 0xe09cbddddefdc490ULL, 0xb046d29849f49badULL, 0x15507cb22a82cbeaULL, 0x12fULL, 0xea18dc63888cea6dULL, 0x8a4095880c76849eULL, 0x41a0a6c17e0b3c3cULL, 0x7fe6a0a3a9cc92eULL, 0xfd3cf7d575320f62ULL, 0xce0d4b7f49dee975ULL, 0x3f8ea83c3fea6ba4ULL, 0x632a0401ca891d62ULL, 0x1d2ULL, 0x2a4a930838de4eb5ULL, 0xf1230ddae69070a5ULL, 0x68e80ff72dbd53cULL, 0x9e3e97e0f5b408ULL, 0xc550cddc8887a224ULL, 0xec72096e49e2c172ULL, 0xc840dc9be134b1eULL, 0x4c6c07050b5bc00bULL, 0x3aULL, 0xb342d85dda44ff51ULL, 0x54ba0522d08596ffULL, 0x3da8e8ceb0ac99c2ULL, 0xcebe6a9691f37dcbULL, 0x8ebad3d9c24d7d1cULL, 0xf11a4319c75945efULL, 0xd4dfe534ed1ac001ULL, 0x745e27721a521e4dULL, 0xc4ULL, 0x745e5b41df65e0bbULL, 0xf8887b533b84ed58ULL, 0x1a54bc479c0684eaULL, 0xfd4f1d36ce9c7672ULL, 0x490bc265ce5730fcULL, 0x2fa1ad6d8430adb9ULL, 0xf117bdcb7db19b4ULL, 0xbd339a789c246e44ULL, 0x5bULL, 0xaed4c177212cb823ULL, 0xb2f207c872558779ULL, 0xc71480e6f44cbff5ULL, 0xad670c804d387c35ULL, 0x546cebb606df289fULL, 0x5ed8cb031c8e4709ULL, 0x9240cdb69f73bfc1ULL, 0x40478a7fcae9accbULL, 0x175ULL, 0x2a95dd7c6edb7cedULL, 0xfe3548600153e91cULL, 0xf9532b2dedd2efa1ULL, 0xd8f84129a4d9c710ULL, 0x80f21c2cababf1d0ULL, 0x7026c21bdbf31974ULL, 0x8528676b20fb85f6ULL, 0x695336353801fb07ULL, 0x1e6ULL, 0xbefdc8d772b59d15ULL, 0x2c9afb0d1d385c4aULL, 0x9a450f02eea86d58ULL, 0x969de693f882f450ULL, 0x954eed7f91defe3fULL, 0x3853d654dcf5a76eULL, 0x2f9c1eae65b6cbcULL, 0x39a45a5c709ad72dULL, 0x59ULL, 0x2193def3da89cb95ULL, 0xe21c931cd120259dULL, 0x39f1039e86179c12ULL, 0x351f988aa8502444ULL, 0x431250e005b77e29ULL, 0x71421954d9fa4fa2ULL, 0x1701de45a80f3304ULL, 0x29150055f1d0d62dULL, 0x13fULL, 0xd59222a5d4df033fULL, 0x712ad35c1d9d4a2eULL, 0x75681507e83a226ULL, 0x8e24a9bd69f5dad4ULL, 0x160ac5b4d33dc25cULL, 0x946ddaf34c1895aaULL, 0x90e3548a0ea5b64dULL, 0xec669630935a308aULL, 0x170ULL, 0xae0c199abccaac71ULL, 0xd19286724b74e5b6ULL, 0x2044afa4ded76c9dULL, 0xa00934d365f4c557ULL, 0xbc965484bf90d024ULL, 0xb332652bd57e7e19ULL, 0xc1b0768a3d1d3bfdULL, 0x70228dd1d77420e0ULL, 0xf1ULL, 0x52837cc413378449ULL, 0xd844c58a86ceed73ULL, 0x9400e6869ae503bcULL, 0x2b08723f8de057b8ULL, 0xaff6e18c23795117ULL, 0xc45835b6cbfd0650ULL, 0x5170e85eefbb5bd7ULL, 0xa12c095a581946d0ULL, 0xa2ULL, 0x9ef566b6840994f5ULL, 0x2a8b9a149f32ff20ULL, 0x589f0ea6a5e68f40ULL, 0x2ad7c84b5cb4b654ULL, 0x63c10415a34f9c15ULL, 0xbb3205504fba4a51ULL, 0x1488423a117854b7ULL, 0x44f3bc33f14e2a7ULL, 0x1efULL, 0x984f05cda6df1206ULL, 0xab32ef6afcc1266dULL, 0x7c657dd166525773ULL, 0xa84ff7c4714b434eULL, 0x339610a8f17240e1ULL, 0x303fec5fe78ec819ULL, 0x470d9de117bc28cdULL, 0xaff92aeb834bc6f9ULL, 0x188ULL, 0x8ecc4da0f810e547ULL, 0x4a375c805c35805bULL, 0xde481b67640596eULL, 0x9d6d5717e80a5e68ULL, 0x73314e9a6d2793ddULL, 0x92d29df6892b02d6ULL, 0x63a784214bf2fcfcULL, 0x477f0b182ad32227ULL, 0x8fULL, 0xdccb501508de7ab5ULL, 0xaf88a3eec44b10d4ULL, 0x8f37e33d89b9720cULL, 0x8288d7e60c99fc36ULL, 0x32927a20d0460185ULL, 0xc5b73ff8092779c4ULL, 0x220e63b1b4c34923ULL, 0x156491c3b0450227ULL, 0x27ULL, 0x315ef9111ba2900fULL, 0x38194cf716a9c7eaULL, 0x608b012804dd10bbULL, 0x8b4067ece9f3b41dULL, 0x85cae2d6b1fe2889ULL, 0x13103e280f23193bULL, 0x38b4f668888438bbULL, 0xcb228f9d70e631ULL, 0x18cULL, 0xab179f7f933dd4ceULL, 0x573e7d14a502788fULL, 0x18d0072f28a0ff5ULL, 0xf1e94c6de1690614ULL, 0x6047a260217dcd78ULL, 0x8860f4415c498f9cULL, 0x2171722596435c02ULL, 0xb50d255e75395345ULL, 0x9bULL, 0x4428880690d11008ULL, 0xe186a516d9648ed1ULL, 0x7f51e05b09d8a436ULL, 0xbeb1f9587e7083d6ULL, 0xc4afef8f24ab6becULL, 0xd09c0e2acd6f4969ULL, 0x20187149376f59dcULL, 0x73d3a49ff5e5f154ULL, 0xe6ULL, 0xbf12cc4739011ea1ULL, 0xd6c19e02a012f566ULL, 0x4cd4d41dc1430044ULL, 0x6528150d35af7b66ULL, 0x92089399b49712b0ULL, 0xcf0c808139c1491dULL, 0x7094678d882e353fULL, 0x34f4d50043e58fdaULL, 0xf0ULL, 0xb1334918f47f8cc7ULL, 0x914235077303272fULL, 0x2183ec8b61c4875fULL, 0xefc6c44c4e85b31bULL, 0x8a44326b553cf339ULL, 0x906989b74fc5eaa0ULL, 0x5b6965922d0bed82ULL, 0xdc82403a5b713f24ULL, 0x17bULL, 0xcc364f457bab7137ULL, 0xbb600b4085f462c1ULL, 0x7b7294113ac3852dULL, 0x2cb6b01e5fd33edULL, 0x555c0c7d32a68f78ULL, 0x9c3de6481a95f0d4ULL, 0xb3f00cf2ee6983b1ULL, 0x574a0d042fc43b08ULL, 0x6cULL, 0x43cceb1de6459f2fULL, 0xfc105e6cc6701a33ULL, 0x8a91a3cacf875070ULL, 0xc3ada6922069a605ULL, 0x45ca539321a62323ULL, 0xfb8bcbaf492f6880ULL, 0xa9adb1ce44dda087ULL, 0x709f9aa195cd2b4bULL, 0x133ULL, 0xc12d258e146cde04ULL, 0xe4230ca341838027ULL, 0x924ec15382ebec1eULL, 0xe92c06cfe5b8ec67ULL, 0x93a5b45983c2431bULL, 0xa56f9261198f6452ULL, 0x2b29c55f85da2f4fULL, 0x9c1ffd340806db76ULL, 0x1efULL, 0xe67a64d46e0b5d18ULL, 0x3d467385451725baULL, 0xd31a36d2896a3582ULL, 0x8905b5bee71c320eULL, 0xbc4c517d18cd25a8ULL, 0xc4e35a26f94e14aULL, 0xf4f47498deeb4c05ULL, 0x53fdb755f4377ec1ULL, 0x2cULL, 0x4e5444be0b56f9b6ULL, 0xc96911f52ed73fd9ULL, 0xb304b8120a6fb687ULL, 0x453f4f6c0afb37b0ULL, 0x64bf11d0cdaf268ULL, 0x1137001e7dcd8a0cULL, 0x3802bb9b3784a480ULL, 0xe993866e5909e4f6ULL, 0x47ULL, 0xb3eb1aa0ffdad972ULL, 0xb741511b4c61f2d3ULL, 0xdc46bd55ea1992cdULL, 0xbac75b314835fb11ULL, 0x6eec921834ca0d6fULL, 0x3c8f965e230fb32cULL, 0x11e292b4872ab6feULL, 0xf49ef3f3989e80d0ULL, 0xedULL, 0x4d307dd52d3a01ccULL, 0x8d76eafa75e30b00ULL, 0xd904a060c6977065ULL, 0x3efee1e53279534eULL, 0xfc7bc7f53e9d1e26ULL, 0xe5dfd4e4d49dee1fULL, 0xcf9e7f1f8694129ULL, 0x20ce6867efde4014ULL, 0x8cULL, 0x58ed53368ec545e5ULL, 0x1771361e4eba5be2ULL, 0x89b0bcf1583ae4dULL, 0x1de80e7a764b0325ULL, 0x3fcade04dc0cc23bULL, 0x855ba1258cb6a80fULL, 0xbc5d88801434f7cbULL, 0xae9a06ff3ca871baULL, 0x8ULL, 0x4600ab8af41f3075ULL, 0xec2228e69fb5b5bfULL, 0xb61cb1d91d96b36cULL, 0x4c2b0c17b2ec31a3ULL, 0x643befcdbca17037ULL, 0xa22760a83b5d2eb2ULL, 0x26721b2475b9cae2ULL, 0x766cb6c99f535525ULL, 0x6aULL, 0xd241f33cf5ebd738ULL, 0xec08632fb2357be1ULL, 0x8dd681661541c227ULL, 0xc8bef39d3f9ba59dULL, 0x85fd69f4520ca04bULL, 0x2d98104ccf2a910dULL, 0xc95746983973cb84ULL, 0xf8cd4fcad7507cfaULL, 0x178ULL, 0x778f362f136f09dbULL, 0xc742d2b8ce2daaafULL, 0x36f54f9da40ca502ULL, 0x319ff813ba7f37e0ULL, 0x2b5d7b2c35f87860ULL, 0x61813be5e1f437beULL, 0xd36221bf5a0bbeb8ULL, 0xb45d0ac9ec882d8cULL, 0xecULL, 0x8140c3e228b027cfULL, 0x785d6d4eaebacc4bULL, 0x6d0d1d54c910f2bdULL, 0x6ee8059aaa1ff419ULL, 0x2b846011efdefa5fULL, 0x4042592bf95d6362ULL, 0x41780adedfd786baULL, 0x5ba9240a014b82cULL, 0xddULL, 0xd2ace009867f3b68ULL, 0xa898b268a30620a2ULL, 0xfe595de76733c279ULL, 0x6bd9940f82357fc4ULL, 0x57d63f1e39fbcfcfULL, 0xb7ae4262cd6bd202ULL, 0x4b911fb4102cc83fULL, 0xb5c353d5dd619a07ULL, 0x183ULL, 0xc7b7b597f4a410b2ULL, 0x1579b024807e07fULL, 0xa8653f9b2f4950deULL, 0x11d4902c8d93e7c2ULL, 0x41206f3407f745b6ULL, 0xbef1d072ebb64b81ULL, 0x5083aea34f5e6a9bULL, 0x7d859c81275a3cdcULL, 0xb7ULL, 0x36cdc3e624acb1faULL, 0xf593d32d6c6d43adULL, 0x766c2fcd373c8e18ULL, 0xa1518363d12b7f3ULL, 0x924427f4b4234a24ULL, 0xaab877852335ff44ULL, 0x9e5811897c362011ULL, 0xd86f8fba5ee724dbULL, 0x184ULL, 0x25f04ed9c9558569ULL, 0xa315324ef9562c5ULL, 0x65a02a289ccefb92ULL, 0xb2429dd488115608ULL, 0xc1714c93641d646bULL, 0xba4d369148bb144aULL, 0x48ec2d9d9efa3a6fULL, 0x5ff6a4fbf1a93ae3ULL, 0x1edULL, 0xe32104aec33bad08ULL, 0xb8a78c887bc13cfcULL, 0x882d1196bc92688eULL, 0xfe96b9c3354eaULL, 0xc5222c8a4c8da49fULL, 0x18ccccc90ded3cf8ULL, 0x1f287bed0c83aff7ULL, 0x658a90934b13ad5bULL, 0x1ecULL, 0xe07369d9a0cb45a0ULL, 0x30b063b4470a548bULL, 0x3646ca0ceda14b36ULL, 0x6670265bbfc8f604ULL, 0x9fc4d601b771e3bULL, 0x5e512c873e4d69a9ULL, 0x80fed8ce0cec87adULL, 0x92163242aa39ec61ULL, 0x42ULL, 0x91bd8600ee778cdaULL, 0x27dc91992c220de5ULL, 0xf959fe60abe5a2d8ULL, 0x7676309586e9f4abULL, 0xcb1fdba191ec45bbULL, 0xd5c7b16c7d634124ULL, 0x9acbb9b370743e74ULL, 0x7d64aad903b2e670ULL, 0x33ULL, 0x2fd73ee28276fe56ULL, 0x8d828e4d27578aa3ULL, 0x163c3bad2207d905ULL, 0xc733764caa58cf3aULL, 0x56c90867fe8e8d5fULL, 0x5c0378d412314578ULL, 0x4ffc1276894650a3ULL, 0xfdaf5fa22934f555ULL, 0x1b1ULL, 0x2011b5c1d9c9d05cULL, 0xf5ae26571a02b072ULL, 0xcb3e3534d7142a91ULL, 0x8b69bf5395a2107bULL, 0x7f50c8a32ae01548ULL, 0x4d99dc024b5a813cULL, 0xaaf67c203da8845dULL, 0x4b928263f7ca62a9ULL, 0x1acULL, 0xdd5b1e2d2548f4c7ULL, 0x54ce35767e4afd53ULL, 0xd3ac9e2d6d445d07ULL, 0xbc14f53afd29bcbeULL, 0x3941565026e6446dULL, 0x3a48c00b93a960a5ULL, 0x365bef6e0325ba68ULL, 0xedccb7b9e90e1cfbULL, 0x186ULL, 0x4cb58d8f74e1d386ULL, 0xdbd31a214675d214ULL, 0xe97e06bfb0506070ULL, 0x8870631df9a0e9f4ULL, 0x7f9d430f5afa74cbULL, 0xe0a40074b579d926ULL, 0xba5582bc1aba0ae6ULL, 0x2ef2e807b704e318ULL, 0x8aULL, 0x20f711559dc66509ULL, 0xa3bb868da02cea55ULL, 0x99ee3379df128cd7ULL, 0x69588c8412e5c1f3ULL, 0xcbd703c9e3c72f61ULL, 0x5772d6a82798d41fULL, 0xf4ea697c19535c6dULL, 0xa82d1729a27f2bcaULL, 0x156ULL, 0x6539f2c216881ebcULL, 0x7fbc2173eadead4aULL, 0x75d30960260c31e3ULL, 0x4d6063da51cda517ULL, 0x1a4a2c6beeb3c9d6ULL, 0x1ab63d979c1563acULL, 0x38745a565e3cddf0ULL, 0x6ac19a1ae16ec66cULL, 0x15dULL, 0xd5400b8cd2eace96ULL, 0xf7eecb17372a5cbcULL, 0x22c5c6aa25f64a81ULL, 0x41ddf151cadbf695ULL, 0xab8aec5465116fe5ULL, 0x3bed66dba574d137ULL, 0xfacd1f84f9528121ULL, 0x7bda8e172d8c6573ULL, 0xa3ULL, 0x452edb8679ed6440ULL, 0x9177e8e5fc8c4766ULL, 0xfe9524220130c908ULL, 0x917c40378d7923f2ULL, 0xe1f1b1d0b54df5b1ULL, 0x1f3576a4f9996134ULL, 0xc5b614b2ee939bb3ULL, 0xfa523da6e2522243ULL, 0x2cULL, 0x180305015086b654ULL, 0x2b2a1c19a2d08a4dULL, 0x376823ee59777d49ULL, 0xef701ea2a62c4de4ULL, 0x561602fcd9db48e5ULL, 0xe086615a58298c32ULL, 0xf202a9c76f2c72c2ULL, 0xdb7092d0e2945013ULL, 0xe1ULL, 0x87708b7e8768710cULL, 0xd0de0222538e6961ULL, 0x5abd5dafd2271193ULL, 0xd28df0ef1ade8a9ULL, 0x1cc479551d65b2e5ULL, 0x7a0e7784802dec9aULL, 0x5bb140d4581ff786ULL, 0xb589ec85747986abULL, 0x1cdULL, 0xb7e1f8f20ab9cb6ULL, 0x3e70514d9cf88f00ULL, 0xed899ecbc585fbabULL, 0xe4fe495df6da19a6ULL, 0xe4a0cca4ce317971ULL, 0x7003d9918158d29aULL, 0xa7f71fbbaf413920ULL, 0x306dd47186bb24b2ULL, 0x1bULL, 0xa50ded59d6a237c0ULL, 0xb0b7c3b1899a4de8ULL, 0x459fd3cdcf3cbd33ULL, 0xa4148bfe3220a1cbULL, 0x86c6a1cb2ef63604ULL, 0xfa446d40b9e6672fULL, 0x32c156338bea9d7aULL, 0x2cb5f2cc5f1454e6ULL, 0x33ULL, 0xe2818402145af19fULL, 0xe35258515232560aULL, 0x9a521964c07eaaffULL, 0xe926c9f5dc630340ULL, 0x9bd4cdd8d8e80034ULL, 0x27092afd47f6693ULL, 0x43b26536a9a467c8ULL, 0xd4fed10fd9e7311bULL, 0x1a3ULL, 0xbff90ba48cde7280ULL, 0x544b06ff540411ccULL, 0x4a342b00a900624aULL, 0xaa1b34ad2b813b8eULL, 0xf49410d10dcc1075ULL, 0x38a974cabf40c01aULL, 0xbfd546c52e59a8b3ULL, 0x620d66520413baa8ULL, 0x18ULL, 0xce72725e697424cULL, 0x15bfdd06a809ae1fULL, 0x708adb062acf285bULL, 0x4c798875dd68c430ULL, 0xd7806ecb05f5033cULL, 0xe729902e970cc37fULL, 0xf9ab25062e73904eULL, 0xbefd8b3a94eb60aeULL, 0x1feULL, 0x42e902737d4e19eULL, 0xa04a0393d48e9c9dULL, 0x9a6b2b9d34e91cd7ULL, 0x2abee6efd2494161ULL, 0xb36c62dfbd2c1624ULL, 0x90ba940a5269c173ULL, 0x75604514d8a452ceULL, 0x44f88ee125d34135ULL, 0x14fULL, 0x63270b911adfa2d6ULL, 0x4f97a793fdb63b95ULL, 0x7a62282b8af2d4ecULL, 0xbb9866af26d2dd7eULL, 0x76d07de294191bdULL, 0xf9cf2c925f77d86eULL, 0x4588ba1df6acdf12ULL, 0xfc17f2a9e69a13dULL, 0x66ULL, 0x48bd2c4799586e3eULL, 0xb8d139ef977ccb9aULL, 0x2ba91e05c215dc0ULL, 0x8011799c293ed38ULL, 0xd8e5be6d22f49928ULL, 0x53903c7870745c88ULL, 0xc3ff092d6b98ae89ULL, 0x76f227feb8c8eeecULL, 0x3dULL, 0xf1b03268c54cd8f8ULL, 0x9b983d570100a4d4ULL, 0xd5da7c8697b25351ULL, 0x3c29aa5964af725eULL, 0x97e5f87bf423e1f9ULL, 0xe6cab5dd7fa76a9cULL, 0xce7be253717bc56eULL, 0xcb68aba768aea53cULL, 0x103ULL, 0xb1afc31bae28a155ULL, 0x5a593edd7fcff337ULL, 0x663f5c0de999da0fULL, 0x5037ebc4d1160313ULL, 0x4b081dcefbb52d3dULL, 0x4a8f159fb677f8b7ULL, 0x6a50dbc7f650cd26ULL, 0x373ed7409f5d182fULL, 0x1cfULL, 0xe7d67c4b2ae0ed3bULL, 0x770974cf4352712aULL, 0xd42bcd34b28647aULL, 0xce8cd8c6e86d0733ULL, 0x4b1e11521efc2fcbULL, 0x3ef657a506c62488ULL, 0xab1dec6734006137ULL, 0xbbf330ae723dedf3ULL, 0x63ULL, 0x5ac39dc54105b5cbULL, 0xf944425c839b7f8dULL, 0x54b3dc2c96bec815ULL, 0x7e1d15b03d85da6aULL, 0x4d71623f820cc111ULL, 0x1d56b02b1036f6f1ULL, 0x861dc150acfa1ab4ULL, 0x6a560fc94c500006ULL, 0x161ULL, 0xd10ba5806e6e3133ULL, 0x8200cd790e7778c4ULL, 0x51cf323dbd992236ULL, 0xf1ba5ba64d4a1d7bULL, 0x71b04ee03c41b726ULL, 0xbc6c881d4b809a94ULL, 0xa0cd77a327e3aa4dULL, 0xa9b03f18c836650ULL, 0xe4ULL, 0xce8bdf4ec7276a00ULL, 0x5c97b5c013e95f52ULL, 0x53e0c560bf53a897ULL, 0x8d1473356d1b3d6fULL, 0x5e45f8e3b0fb6675ULL, 0x8a63d10d91c0faacULL, 0xdc60be53742f676fULL, 0xb4ecccaa61974798ULL, 0x128ULL, 0x7e78ebeb6a908aedULL, 0xf7d898f1679f1f1aULL, 0xae43c58092b2eeb1ULL, 0xcdf6dbf7923c45c4ULL, 0xb06b5dffa833b5a5ULL, 0x343a3933ad7b8f3bULL, 0xfbf679a527be0172ULL, 0x2922e3ab9d212a80ULL, 0xdeULL, 0x106b65cdacac755dULL, 0x4a0ea1e6ab4ee6c4ULL, 0xac3a8cf456bfe91fULL, 0xd012106a0477ddf1ULL, 0x41bebc79762a052aULL, 0xf7187b3bd31b2612ULL, 0x9476709dc9ae294cULL, 0x5eb469d3480346cdULL, 0x1c4ULL, 0x72c50df0035390d7ULL, 0xb5b48c42db6dadeaULL, 0x687df8f121cba1acULL, 0xa9d7e1973699528fULL, 0x708c58a9258ca46cULL, 0xe3c2b6577c11992dULL, 0xcd92f4afa4b56ed8ULL, 0x111606f6cf6d5923ULL, 0x30ULL, 0xd8bde23092215a94ULL, 0xefcfde934c78509dULL, 0x394bb2f530e3f88dULL, 0x8b99c9d92f6de989ULL, 0xa08fe9691f60b819ULL, 0x3190b7ebacd899a2ULL, 0xf2f02cd1a6fb282aULL, 0x5a70029c6db8140dULL, 0x1aaULL, 0xa72900a6dc2762f9ULL, 0x85eac24e5946137bULL, 0x8b4a5eeaebf37f06ULL, 0xa53b3ef5495c60ecULL, 0x242e8d14d55ad6a6ULL, 0xb2ea186f1845a110ULL, 0x1bcb41fe5ef3b446ULL, 0x10acde60cebf676cULL, 0xc2ULL, 0x4f6d75e8479f30fbULL, 0xda7d682cca555233ULL, 0x519af37375cf5a9aULL, 0xda757721b9b31fbULL, 0xef733dd35f29cc16ULL, 0x8f0ec3e83e4fe2f9ULL, 0x5ee289ae44f5a771ULL, 0x1c323a39513e36eeULL, 0xc4ULL, 0x75f777664fef3237ULL, 0xff2e2ae08c86a44ULL, 0x653c9819d375bf06ULL, 0xaaf1b49a12e08bb0ULL, 0x97641623fea365d7ULL, 0x424b79d1d80e4814ULL, 0x20b77ec72e70aadcULL, 0xe3f344936833563bULL, 0x94ULL, 0x6a9fd1e072be9af8ULL, 0xa9d5b6d2f95517fcULL, 0xd5cfb34f238bee52ULL, 0x92ce75942fa07967ULL, 0xb79aff8965ce5ULL, 0x1f4b34dd3018ba04ULL, 0xbe7de982ca2b35feULL, 0x71067906f565d429ULL, 0xc7ULL, 0x54ec4d21d111dca9ULL, 0xf85df05bc2462c12ULL, 0x9732c3aefe6e5544ULL, 0x270ce0fcc1f6ab0cULL, 0x32a881d4ee0d5991ULL, 0x84f9c946ce42738cULL, 0x6d883dae5197059aULL, 0xd1d35f2b3e179b51ULL, 0x16aULL, 0x56d41a14e69ac2b1ULL, 0xe61f4d10a6a61478ULL, 0x85d07d0711bce95eULL, 0xa58259415aa07158ULL, 0x8e0a801ced6bcd9aULL, 0xa3f26c1ba718b393ULL, 0x2c58b5a87680451eULL, 0xbd413f929800002aULL, 0xafULL, 0x8a49b6d8e9f4a3f9ULL, 0x1fe3186973eb6f59ULL, 0x1dae55b7b14e6200ULL, 0xbab80f3dde76d468ULL, 0xbab726f39b791589ULL, 0x48c6e30df40fba0bULL, 0xb30f06fbee09cb57ULL, 0x25723f3c5e0a6007ULL, 0xecULL, 0xd4ca1471022fb7aULL, 0x7eae5232cd161fULL, 0x117661e66e4d2a77ULL, 0x49836740bf842785ULL, 0xaf63a7d8a5a1de90ULL, 0xe2fe58a2c1068867ULL, 0xac939f00dabe02f3ULL, 0x2dc9567e886223e3ULL, 0xb2ULL, 0x35dfead9c38bf5cfULL, 0x88f73f63c2d76fd7ULL, 0x6d561382db59acd0ULL, 0xf1cfd68df563e7f7ULL, 0x7dd12be7ac61af25ULL, 0x2fef3d0c574b92cdULL, 0xf18f40d3529e65e3ULL, 0x15afabe4644877bbULL, 0x104ULL, 0xc90fc0ea23b7dc5eULL, 0x6834366c9b0875bbULL, 0x50df2e2ab44d8051ULL, 0x5fe41b60cf8eaa3eULL, 0x574993419242287aULL, 0x4aed66753793a4ecULL, 0xb7bdff9548bc7d3bULL, 0x2cbbcc633096e775ULL, 0x1cbULL, 0x8717e856f1975524ULL, 0x4e60f5dea9b655e2ULL, 0x9ce5104fec31249ULL, 0x659518cdf701cb10ULL, 0xf4f710b2c3b9f55bULL, 0xf3f8de32971afa5ULL, 0x75564dd30c61d409ULL, 0x10baff002b7854d5ULL, 0x173ULL, 0x746d6be837eaf65fULL, 0x562888c583b6d113ULL, 0x76e00e674f4811d8ULL, 0x93dd9d9789b038faULL, 0xb135fc5e320df3bcULL, 0x2c7d210eaea87d53ULL, 0x247586077b419b26ULL, 0xef09ff1feb2a8f80ULL, 0x110ULL, 0x679fcfd77d7bd2a2ULL, 0xd718f3d2fedf3b8dULL, 0xbb1a759b77e3336aULL, 0x259c61740e88d1fcULL, 0x6f4f14b00edebfe0ULL, 0x4c0a7c5ceb54657aULL, 0xf589fd56f710c0b0ULL, 0x5e4fc72a7596731dULL, 0xfeULL, 0xec14b815551e2d91ULL, 0xca8323b725ab0251ULL, 0xf006df8177a890c9ULL, 0x8f27e174befd96eULL, 0xc677c4e0c718d838ULL, 0xb56f124894bc1baULL, 0xf0e7ece150fdcf02ULL, 0x921f85f6bf6dbe36ULL, 0x1bULL, 0x39a900b0f0b5bf8aULL, 0x6a5b5f8a80c75633ULL, 0x2cf2dec4056f3560ULL, 0xb035e065048732fcULL, 0x63e5aac633b35783ULL, 0xb5f9cf166ee6eef1ULL, 0x4df7f51b84fc57f6ULL, 0xb862c97e032cac7dULL, 0x142ULL, 0x36e65b9a2b085e1eULL, 0xdd6870616a1f50a7ULL, 0x33ef8a62f43af22eULL, 0x17410acb1b829d8eULL, 0x2d5e2e91935432bfULL, 0x2f7bbb97663f4b1cULL, 0xc9ef70ca22fd8af3ULL, 0xe2280dbf83d7fe33ULL, 0x67ULL, 0xc9e9c559a416f96aULL, 0xceb4e50f73ef0d51ULL, 0xbf0bc04d6d5bfcb1ULL, 0x7b1242cdc083b8b4ULL, 0x876dce2a5c7f1aefULL, 0x251a5d252243c069ULL, 0xe40886ec527ad44eULL, 0xdff2b4440ae6b74ULL, 0x82ULL, 0xa09ce7279de2421ULL, 0xecf771cc9d5bc707ULL, 0xafedc2567d470c58ULL, 0xbe92eb9c4a6f7c76ULL, 0x1a6774e2ca2b50e5ULL, 0xedc40a18b03e0ed0ULL, 0x8890e7b7dbdaeb47ULL, 0xa70a8e5d621aeacaULL, 0x194ULL, 0x7f1afa89c6e8bb31ULL, 0x9e63a3f653b6a9fbULL, 0xbeb614d553856de2ULL, 0xdaef8f011ac2cf68ULL, 0x5d7cc3b978d08747ULL, 0xba3adc11d6a4f4fbULL, 0x51480eb411c17aeeULL, 0x7b45cfe12ad39546ULL, 0xe7ULL, 0x349df30fded92cf0ULL, 0x60a95a2e791efabfULL, 0x9f0bb8be748a4430ULL, 0xc583b1a831dc4acfULL, 0xaf6c0db1794fbaeaULL, 0xb08f42cc752e2718ULL, 0xd69a39d25248188bULL, 0xb505746db9182ccaULL, 0x1caULL, 0xad2a07f645fd2bf8ULL, 0x549afa7247a78384ULL, 0x82ca1c84f8062b56ULL, 0x8a7e636df9e86678ULL, 0xdd91165d06493c51ULL, 0x929dd12315d6b68bULL, 0x9d0bfabbbd394f3aULL, 0x23f02780af27c0b7ULL, 0x1fcULL, 0xe9ab870c76a9e978ULL, 0x19d77ad42898df49ULL, 0x7a7fa01ddab3e0eeULL, 0x9d55505cb7580a36ULL, 0x64acedda6184c28fULL, 0xcab9ac36f6b30f62ULL, 0x3748b009f77aeb9bULL, 0x12054dc6a2d359d3ULL, 0x1d1ULL, 0x8c302331fefde25aULL, 0xa8473025ae509edcULL, 0x4e36a5a835479518ULL, 0x3b6c1357333467d3ULL, 0xcd1f6a16e56cde35ULL, 0x8c4ba4ac72c08d12ULL, 0x38d01865c94e8b7dULL, 0x4d176baa0582b739ULL, 0xbbULL, 0xe229bca9b2b42b97ULL, 0xb5173aa034acec4eULL, 0x44a3496243712900ULL, 0x62ad8946b75e4bb2ULL, 0x8dd4eb146cc4323fULL, 0xd24da8a0834c25d6ULL, 0x114fb7aabff71790ULL, 0x75261b0e9d6efd17ULL, 0x1caULL, 0xd67b157db3f87acdULL, 0x6e767c22a489c626ULL, 0x55afd0e819c763b6ULL, 0xc3870ebf425978f4ULL, 0x16257928c851a14aULL, 0xc88288dcd2974815ULL, 0xd0f1c85cae5d324eULL, 0x16943990f07e53dcULL, 0xf2ULL, 0xc6e3c2234f7b6898ULL, 0x8db681a31966b447ULL, 0xd15e3f467eb45bfeULL, 0x4a5c24d503807a9aULL, 0xb73836615a5ab2c8ULL, 0xb7df9f249870c1dbULL, 0x59217c4a51edc63cULL, 0xa75496d8c829315ULL, 0x1cbULL, 0x3055ea21a30fb5ccULL, 0xfd89735eb39022b1ULL, 0x621f94b9263f6e34ULL, 0x19510f3e787a9bacULL, 0xde6cdc9c3d06bba3ULL, 0x1e44735bdcc0641aULL, 0xf2ba6de08bf904b6ULL, 0xe6e09fff05e77a6bULL, 0x159ULL, 0x8b452ebd0f129b4aULL, 0x371dec0baa65bc36ULL, 0xe477eaa0b67a56eULL, 0xc2b642e460258da2ULL, 0xca2f49d0bf65daa7ULL, 0x5767b58cd2e4964eULL, 0xb0639bd331d0667dULL, 0x718a39247f7e0a68ULL, 0x26ULL, 0xc8509b651358b34bULL, 0xd892fede55a5a9b6ULL, 0x1259868cd1174122ULL, 0x9a9b76166578c346ULL, 0xfe6cd43817731459ULL, 0xcc268fb29448c71dULL, 0x5f98df81c909d9bbULL, 0x70a76703455baed2ULL, 0x1c3ULL, 0x3bd5b3f8364a894fULL, 0xc065edefbfd9514cULL, 0x710af6738018c873ULL, 0x575240887a76cafULL, 0xc0b00b7457d789b8ULL, 0x2720e47cb55eb2afULL, 0xa9565ede5ac8924dULL, 0xf402327ac0032eadULL, 0xc3ULL, 0x84ca6ccf2d57d7d1ULL, 0x22242aa178fa57cdULL, 0xed450b395acac578ULL, 0x490b5aa5aa767341ULL, 0x78807af51f102f7fULL, 0x7ea33b1987512622ULL, 0x6ddd04f65d8a5512ULL, 0x30a3263553249b51ULL, 0x7dULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0xee31e71a286492adULL, 0x8f3de4465f86ac4ULL, 0xe89700d4da713cb4ULL, 0x7ad0f5e9a86b7104ULL, 0xd9a62e4f2572c161ULL, 0x77d223ef25cc1c99ULL, 0xedff69613b962e0cULL, 0x818d28f381d8b205ULL, 0x8eULL, 0x721231cf8cdf1f60ULL, 0x8b640f2b6717760fULL, 0xbe726f8ce045a403ULL, 0x422285dc0370689fULL, 0x7196bf8f72ea0dcbULL, 0xa16f7855c8086623ULL, 0xd4e19fc7c326fe48ULL, 0xfdbc856e8f68bf44ULL, 0x13eULL, 0x358eb53667db4570ULL, 0xaed3f999685fa5baULL, 0x4593c950cb571fcaULL, 0xdff7278c0411dc5dULL, 0xd62a44643bfe7e51ULL, 0x53b87ca249f6f05aULL, 0x72327899f2c3d2dcULL, 0xbaa194aa9df4da5eULL, 0xc7ULL, 0x3e73accfb50a3e06ULL, 0xd8ebee30754f2fdULL, 0x3cd0ae954b3f3fd1ULL, 0xc4a4eee0c08bb2dbULL, 0x7955296319d71e5dULL, 0xf91e1ab7872e35c9ULL, 0xc85090f6f6c102afULL, 0x8edf8c5d1e42a1baULL, 0x179ULL, 0x6f74acec8530c198ULL, 0x4acfa4133094a39eULL, 0x2e351768f8cb7c64ULL, 0xedc0ec0a9fdf1693ULL, 0xbfe7dbdbbcb4eee4ULL, 0x326bab996a390e25ULL, 0x9eeb387f56258355ULL, 0x355e4272d0ea5b69ULL, 0x86ULL, 0x59ab3a21c5e7d910ULL, 0x33cd2e2c73899010ULL, 0x5bce33d7f8c994ebULL, 0xab10e383f58eacceULL, 0x1826b7ed99f146c4ULL, 0x4bcf11dc66ef337bULL, 0xb87223f51aa6c3cULL, 0x501fe66afd4a28deULL, 0x7dULL, 0x674e392f0261ada4ULL, 0x5af762f55bb103a8ULL, 0x281ad6a5c9e8bf69ULL, 0xa88ad2e45c57af63ULL, 0x7fbce1f23b909ce5ULL, 0x37883da84a8c86daULL, 0x94f7c5708fc8357aULL, 0xa1f2fb59c7c21ea8ULL, 0x1acULL, 0x30c79e7b1cba57c5ULL, 0xf71d84be6062fa39ULL, 0x8fb70b03e2b9c131ULL, 0xbb0f27e7cd862b12ULL, 0x2fea10874ffd6a0aULL, 0x177871582a7a7b08ULL, 0xf79606cc8653ce49ULL, 0x9514c960629a5ff9ULL, 0x1a0ULL, 0xa92dc3f03036d205ULL, 0x8b06967baeda6908ULL, 0xc776458f293abaffULL, 0xb3ed158ac93e18c4ULL, 0xb1cd66c8e74b1403ULL, 0x9cf15a0c0290be33ULL, 0x516476466b1a3fa9ULL, 0xf441716cdb9b8fabULL, 0x3eULL, 0x8c87b1aaf35f0ee2ULL, 0xc5f647396c6a00dfULL, 0xf2100727d9c3dd33ULL, 0xbefd4baaf76dd1e7ULL, 0x5b5cbc18b6e2f831ULL, 0x1da66187f9bf58bdULL, 0x575ff56e2bc7d9caULL, 0x6aa2a4d686e921abULL, 0x13cULL, 0x81f19745c4ff7d2dULL, 0xde4154c18078de91ULL, 0xff77bc84c910ad5fULL, 0x8b64c40e1c87caa8ULL, 0x7ba5d57124706303ULL, 0x1448053e8ed02f9cULL, 0x4b5f00c31fd399daULL, 0xa81db6f4383b25b5ULL, 0x8dULL, 0x27e9dce61f7bd567ULL, 0xeb9465b7a647e79ULL, 0xc157e10d2313e362ULL, 0x825e6f3068267e6dULL, 0x5808df8fbf278d2aULL, 0xebfadac55c0cfb1dULL, 0x4cbc906eef3bb632ULL, 0x5de92c77a3ec204bULL, 0x172ULL, 0x2c78c5fca4233c8dULL, 0xf7dd57012a09bc9cULL, 0xf79ea6c24cbae08ULL, 0xcd999a115568129eULL, 0x758d8bc5fc00f585ULL, 0xa53645af3a8db3d3ULL, 0xc3ee84b0b2c56a26ULL, 0x522cbcaf1095b5a0ULL, 0x8bULL, 0xb22b85a0d08aee37ULL, 0x2bb89b49346ed0baULL, 0xd56ecda2257ee758ULL, 0xbca13df80eaab81eULL, 0x6597c580ca43eb94ULL, 0xb1c7eb453bcdfca9ULL, 0xa7643aaa80200736ULL, 0x39aa82b24beaf455ULL, 0x6bULL, 0x1bd8ce7b5a53c22bULL, 0x78733fcd7cab446aULL, 0xc44ca4e248acb394ULL, 0xa9888b1ea38c790fULL, 0x36afb6eb15c34237ULL, 0xb913b8a8fb702063ULL, 0x34b77cc5917508faULL, 0xa931d7a7f9e4732bULL, 0x50ULL, 0xa90a429056d21d18ULL, 0x8266630755b410a1ULL, 0xb4684a8b894a6b05ULL, 0x8a1ade63828cf75cULL, 0x4fb2f85a127702a3ULL, 0x83ff7d05adf7b709ULL, 0x1d3f5a92a68d1db6ULL, 0x243ce1dbc093cd5cULL, 0xf5ULL, 0xfead2247d181c3f2ULL, 0x915d35bef337b23fULL, 0xdb4cfcba74890672ULL, 0xe4f70d8ffda7a3a1ULL, 0x226b641979275686ULL, 0xe80408636ff1f79eULL, 0x98e84b39cf5fa4e8ULL, 0x57aa0be9d8a09f60ULL, 0xdaULL, 0xd40cecf54efcea66ULL, 0x98df2aecafc76faeULL, 0x63f19a48c91585a8ULL, 0xb111bda713f00aa5ULL, 0x6687afab44b5cb9fULL, 0xc6d5fb12652620d1ULL, 0xaf953f1bbacb35abULL, 0x99709370ff94c4d2ULL, 0xedULL, 0x3db0d756a24a7b6cULL, 0x489612dd104f83c2ULL, 0x33d6a93e12f35cd1ULL, 0x792c982472e44785ULL, 0xa57861a9f1a4a52eULL, 0x141c9c10367d1eb9ULL, 0x25d04bb28db01a91ULL, 0x33ca6948e7650c8ULL, 0x129ULL, 0x70fc6807253222e0ULL, 0xd221ad84d678a149ULL, 0x6765ebe5a4946d63ULL, 0xdcfb6f00d7ddf403ULL, 0xf7eda9a4353ddbcaULL, 0x6528a5b91d64b27cULL, 0xa66b5822258db35bULL, 0xff314bef79494fcfULL, 0x135ULL, 0x2c038af9de16334aULL, 0xa6abff2e19e1c015ULL, 0xa3eeb78df11f348cULL, 0x580d09a9bf72a7b1ULL, 0x6cc98b081629c122ULL, 0x33a1ca5b82150f5cULL, 0x35c5dfbe4a788403ULL, 0x6e890215db076a0ULL, 0xd2ULL, 0xb9aef7730635266eULL, 0x5879cc3fc2ed3ba2ULL, 0x76c2dc60f52cd8f4ULL, 0x24b7f63fd6d61335ULL, 0xcf5f97ec4249bcc3ULL, 0xfd486e8aa52be771ULL, 0xf50d61b8f5562416ULL, 0xa1be69048ee3b45cULL, 0x15aULL, 0xc3e6eedba83ddd77ULL, 0x273e8911f02a78a0ULL, 0x8f579c45d345279ULL, 0xb0df62a8c32e642bULL, 0xb099cc7c43168514ULL, 0xb212d5e865a5a9f4ULL, 0x1c6eb9244b719970ULL, 0x1eaf160af75202a3ULL, 0x1edULL, 0x8895b2aa0899b3efULL, 0xf8de8a42393b3b06ULL, 0x1e118fa01cb0cad4ULL, 0x65ce0c67d8e89fbbULL, 0x4f30628bcc4743bfULL, 0x6f3d9685d143cfa9ULL, 0x311cd760ef424dcaULL, 0xcb6b6379d2930261ULL, 0x106ULL, 0xede31ca01bce3fe6ULL, 0x7bc3783d236c340dULL, 0x233e8b2a85dceadcULL, 0xa14e94c285d70733ULL, 0x2a4281a82ec8874cULL, 0x2d2ca25dfa276b8fULL, 0xbad458295e7a061fULL, 0xc50654957335bf9dULL, 0x1f6ULL, 0xce17df2574435869ULL, 0xf47d09d3d7cd83a7ULL, 0x973a1ea46cb9f524ULL, 0xaf39c453fe0d18cULL, 0x69121fa9211768b0ULL, 0x766a581f3ed04ec8ULL, 0x272f992559c3f109ULL, 0xedadc5a66e2170b6ULL, 0x5fULL, 0x6f85eefc17259920ULL, 0x22f9ffd4ff4d8a5ULL, 0xdf58263d87042c69ULL, 0xec4b330d817df445ULL, 0xacf275ea583654daULL, 0x20647c6ba2fa8e19ULL, 0x5c5d43b7fd98d62dULL, 0xd7c9f62a1190310dULL, 0x16eULL, 0xadbddcd3caa50ffULL, 0xbe4f2aa3b9e6e329ULL, 0x154ad5be88fb6b6cULL, 0x9632e6d21ce5882cULL, 0xb91b28a5a0b371cfULL, 0xd08a4c33fb5ad1d8ULL, 0x58d47f86a72f2028ULL, 0xf5c6150ad2a5e97bULL, 0xb1ULL, 0x721821ec873607e7ULL, 0xf1e79c7964f1ad49ULL, 0xd6c03ed3f31bfd37ULL, 0xb4c7e85e096b6ac2ULL, 0xee243266744c1237ULL, 0x888e585626eaa5dULL, 0xf959717c038c6e86ULL, 0xe9e4698af85e9240ULL, 0x157ULL, 0x330c4cc9e1af3b4aULL, 0xfef8eb0d8d50351aULL, 0xfa8142b9f5f48e02ULL, 0x9935581d028db2fcULL, 0x23a1074e3a6daa71ULL, 0xba5aab07b0d5dbdfULL, 0x542b88898bf0fc9fULL, 0xdb0255f766ffdbf8ULL, 0x171ULL, 0xa0f946b34c7f31f1ULL, 0x122b97ec004b810dULL, 0x98f876d1831a9cb2ULL, 0x6690030aaebd922bULL, 0x12a235d1a21b0412ULL, 0x5ced8104e097208fULL, 0x49b33ed49d32fb6ULL, 0x2e88d76287b187ebULL, 0x7fULL, 0x8801d4eaeaaa0d2ULL, 0x3b052b0a6fc2830aULL, 0x4e02318f6fef40c1ULL, 0x5a24478a06f38abbULL, 0xc90c53926dedd4f3ULL, 0x402e4a9eff07397bULL, 0xde13d7bff1bdec37ULL, 0x8a363ccb727eb837ULL, 0x14dULL, 0xc471ed19502fe917ULL, 0x49aa8de73b233d74ULL, 0x2b1e76cb8246ae21ULL, 0x9b049fbcca491d60ULL, 0x56ff7819549fdb2ULL, 0x6b765af389d76e69ULL, 0x2dbf7bd710fc53fdULL, 0x40604e12d96ff3e9ULL, 0x1b2ULL, 0x268aa1d98b3f94f9ULL, 0x584000865537d18fULL, 0xb3b941b24f64260ULL, 0xa8293ebfafa4a22fULL, 0xb00fa8c0e940f845ULL, 0xeb451f9b63384cfdULL, 0x1eb0873caea9dc27ULL, 0x3366652efeefebfaULL, 0x1efULL, 0xa8301781bfd02dafULL, 0x928a176127a90981ULL, 0x28e84e0833f9a26dULL, 0x279cb957f9af5172ULL, 0x2176c8e6b7d75906ULL, 0x70a2bda17d67494fULL, 0x350d9c541e8cc001ULL, 0x44ff9dc597412b26ULL, 0x26ULL, 0x5f207fa0c53c7772ULL, 0x35911e320c16c120ULL, 0x18ce3b0a0480fa72ULL, 0x58408e766b0226a9ULL, 0x70395324c6a1aad2ULL, 0xdb8fff1852634b75ULL, 0xbf2d3f9d1518f36cULL, 0x1b7771f99a7f805ULL, 0x1cbULL, 0x319ecd27013a7738ULL, 0x5f19e269c0f0e18eULL, 0x7e86f7b01fad94d4ULL, 0x89e201584b36838bULL, 0xe3b27b9b064937e0ULL, 0x9bcb65196645f8d9ULL, 0x6d41ff7d185847dULL, 0x785e579d04ccae07ULL, 0x1daULL, 0x15f8b1d0d2358208ULL, 0xf12a5cfb926dd550ULL, 0x6e1e8064064b6e02ULL, 0xb29d5efa0d12191bULL, 0xbbff9acff37560a2ULL, 0xaf86348bd534ec93ULL, 0x62e5d4a7d8e004d5ULL, 0x3cf0a58daafd3cf3ULL, 0x106ULL, 0xe9441542f4fb1d4aULL, 0x52f9b19304a65773ULL, 0xed1c8fbd41aaeb81ULL, 0xfbdcd57779ec45e1ULL, 0xf404575c1b8a9935ULL, 0x37c93d9eee091788ULL, 0x61128662e52bf1aULL, 0x8339812973c1b618ULL, 0x7eULL, 0x3fa3a8d6341ff722ULL, 0x35482ae02a544a11ULL, 0x4e59e3dce0fef8f7ULL, 0xa207641646b933d2ULL, 0xdc4c7af53924b224ULL, 0x1fec0392f2d9b3c0ULL, 0x97c3683f8b0646dfULL, 0x490dd1407d343b83ULL, 0xc1ULL, 0x9b549209b815d130ULL, 0x3d27d9f5077a52e1ULL, 0xa14c7419a4a45cacULL, 0xc53ebed40e2042fULL, 0xb66f8887756d7a0cULL, 0x14ae5d98fe77b664ULL, 0x3ceed3704f7efecULL, 0x7fae5badee10dc58ULL, 0xabULL, 0x3b5c170e5e2420b7ULL, 0xda67deabeabd0682ULL, 0xb043d3571c450946ULL, 0xafb5fb2f0aa0070cULL, 0x61ba7792d20982c1ULL, 0x7861dbd46cc15167ULL, 0x8352a7f9f25aa250ULL, 0x51801c47be1ddc53ULL, 0xccULL, 0xd3ddb103d3a25c2ULL, 0xd9ea07284c0863f9ULL, 0xd4a37e3d0397fc1aULL, 0xef6dfd1749558ac6ULL, 0x11f3b157f4aead72ULL, 0x511f3635c158b90aULL, 0xbe357d8028ef817aULL, 0xdcece98da34718c7ULL, 0x168ULL, 0xb05692fabcf36782ULL, 0xd6004b81dd79f655ULL, 0x721ba0613fe8457eULL, 0x9afb87dae57a977eULL, 0x77cd1dd599ebd9f2ULL, 0x5d689c8650a80fc0ULL, 0x5e75a3547a842b01ULL, 0xbcbf6408109ea8c2ULL, 0xa4ULL, 0xcecd0ffe7d2f86a5ULL, 0x18b605a6268fc362ULL, 0xbbe9d0932f78363bULL, 0x995d7d7e7d008604ULL, 0xeea1a8811850538bULL, 0xd5a81ff770089817ULL, 0xbe8124c2be23d14ULL, 0x63de6874ae527d8ULL, 0x15fULL, 0xbe8e93b1dd618515ULL, 0xb7aedae6ccfc690cULL, 0xc54c1dce22a0c77fULL, 0xebcb63bdf44a9481ULL, 0x8d297f09ff3ff7a1ULL, 0x52d9345e1d1c285aULL, 0xadfec542661fb57ULL, 0x4d34893641871fe5ULL, 0x69ULL, 0x69a7b08d3429045aULL, 0x38ebeb8e7e4f4f4bULL, 0x8692ad6d29cdbcfeULL, 0xd2694184f99a70bfULL, 0x6d5ba62da06726e1ULL, 0x976a613b92ba391bULL, 0x4fd3a01e6863d9feULL, 0xed7e99ae85228d4fULL, 0x184ULL, 0x13b99c87a2f994a1ULL, 0x8bee8298fd827374ULL, 0x67ee59d1d14841eULL, 0x6a87d1f8aa8b82b6ULL, 0x196aff925248b46eULL, 0x6d300a207a7a7724ULL, 0x3a57fd8439a7654bULL, 0x31c100ea12c370c0ULL, 0xbcULL, 0xc5d5221c6204161dULL, 0xcdcd5408378f0097ULL, 0xd20853638392013bULL, 0x84d8e777170d50ebULL, 0x147696532eff9153ULL, 0x7c768bb321740c17ULL, 0x3df120ea9e59befeULL, 0xec60d4fc85e64ff2ULL, 0x39ULL, 0xbc726fa3ecae56caULL, 0x474124969fe5804aULL, 0xe5785a216389995bULL, 0xdc551d2547acab0cULL, 0x8e646c7f4648ea7bULL, 0x600df9addc2f1aa1ULL, 0xea6b24f81cb3e01eULL, 0xe0d15bc745751141ULL, 0x8aULL, 0x72a3db94b0444b7bULL, 0xf31f91fce08a9e5fULL, 0x27ea763650f4a0a8ULL, 0x84dc9cd4d79ce39eULL, 0x82ebabafe730725dULL, 0x70b797ff5245cf58ULL, 0x130564605f8b8f93ULL, 0x89a58a483ec522cULL, 0x1fbULL, 0xfe3064d501d3b18dULL, 0x13e397f35979c6a2ULL, 0xd16be71ad48bb0a1ULL, 0x34c3e91a1fff09c1ULL, 0xe5ba9986e4b9025ULL, 0x5b5528116498462cULL, 0x630ec57efcaafac9ULL, 0xd7bfa894fabe6cf0ULL, 0xabULL, 0x5a1de3c09728e895ULL, 0xbdb653d7c2c66561ULL, 0xc208f3e1d7ec3c32ULL, 0x9850b0483e285435ULL, 0xc73410ffe6e29af8ULL, 0x29ad09f642da093dULL, 0x8078a0ccc99742b0ULL, 0xf3d53bdaae744cbcULL, 0x178ULL, 0xe1b62e9928315bb9ULL, 0xe9d4ae248ff17526ULL, 0x6341697cffa320eULL, 0x98029c6a1521c9beULL, 0xf790663b03930a3dULL, 0x709718a932ac79c5ULL, 0xf1b38a69af3fa00aULL, 0xc6a82489fcd122d7ULL, 0x146ULL, 0xf55fa0cb493e76aULL, 0x42e385e982f2a662ULL, 0x3e10109d8b047039ULL, 0xf6542d8d4d81a05eULL, 0x279f6ec62b459bf4ULL, 0x35f357d94c289569ULL, 0x1f205786480aa446ULL, 0x9f3ac543f93799f0ULL, 0x1fULL, 0x154d1eaf7a4f68daULL, 0x5c37e315918e3383ULL, 0xae7964da38397421ULL, 0x5fcd084baebeaf9ULL, 0x462156ea3e11a23ULL, 0x830e39e67487eb99ULL, 0xbc95f7b2c7d2bb62ULL, 0xac6c59b12a4045adULL, 0x78ULL, 0xa2f950272d88e06bULL, 0xda6e38c08e7ed1a7ULL, 0xe4d83103b331f98ULL, 0x927b130e67446dadULL, 0x1cea6f8ef339f105ULL, 0x50c61cbf52e83433ULL, 0x551ed9a02be47bd4ULL, 0x625c8764bee96dddULL, 0x81ULL, 0xb34a471aa9af2b40ULL, 0xdae707dc6834d48fULL, 0xc13c99c0fed8dbb5ULL, 0x83282782f0afb181ULL, 0x1e886480e3432cd7ULL, 0xfe01ce2ac24ee05aULL, 0xe6dd7a9caf2d12daULL, 0x43070f80eadd4e1bULL, 0xbbULL, 0x2ad8493fe13ebfefULL, 0x427dd98254c9fbfcULL, 0x332f40d4e5057b41ULL, 0x179ecdc83bee8457ULL, 0xffc16fd2e762b59cULL, 0xf90cc4ff1002c33bULL, 0x8722656643739cbeULL, 0xe469e814d88a4ed3ULL, 0x18bULL, 0x4101365a91015ba4ULL, 0x823ded11c716d9eeULL, 0xa4943a3f7c097deaULL, 0x2e2eb5e4bb17e731ULL, 0x46e5455ad7064383ULL, 0x7f90183fdc35b3f8ULL, 0x19fa125c7fb295f4ULL, 0x883fca2d1f34b191ULL, 0xb0ULL, 0xd30168c39bfeea88ULL, 0x658a9f23c83168dfULL, 0x7f829b7f750ac187ULL, 0xd2490674018c899ULL, 0x154e736974d20751ULL, 0xe69e8f79b84516fdULL, 0x2e18c46108a81f72ULL, 0xfbdc75c0c9300a39ULL, 0xbaULL, 0x184e8d6315fc9fe2ULL, 0x48787f566c2a9e4cULL, 0xbc7a0ac5425d42f9ULL, 0x6277e087efe7d4b4ULL, 0xb706c257f10e94e1ULL, 0xe0612110b7e779a7ULL, 0xa752b61c576e7aeeULL, 0xa55e66f2f5864a5bULL, 0x148ULL, 0x651b47c813b42e63ULL, 0xe705441316bee2b6ULL, 0xdcf60ca386a71ac0ULL, 0xabddb357e3baf787ULL, 0x99d631d181a2db2dULL, 0x3f1e3c7fc8c9b834ULL, 0x3b30fa1861adf4d7ULL, 0xd1d8d98014b9f46bULL, 0x139ULL, 0xae6f6b72f6af1252ULL, 0xfc583984ff8a00bULL, 0x1b2c0cc5a81fd641ULL, 0xbdcaabe6e68b6fbaULL, 0xd1af82fe70b14e44ULL, 0xe9c35419e55ce735ULL, 0x3c83d9dc01dcefb9ULL, 0x42604200fb5824c9ULL, 0x11fULL, 0xf5aaeb1a5d075d6dULL, 0x88b53693ef83ebb6ULL, 0xff159da898f1bb34ULL, 0xda9b5a3f7c1979e4ULL, 0x24741e4c07c89c96ULL, 0x260b9a2240225de1ULL, 0x13c62396eae245c6ULL, 0x5e8633557130a762ULL, 0x24ULL, 0x6a3fbe296636d827ULL, 0x1df34cb3887b2b33ULL, 0x43e2e09363137c49ULL, 0x29c7fda4cdc85ad4ULL, 0x79088120c4007d2eULL, 0xfa4e986fb3a01dfULL, 0xbbabbc2c765ab8b6ULL, 0x1d4dee35d9ed5266ULL, 0x1e8ULL, 0x649cc345502ff1a7ULL, 0xfff45d7f5e7bae38ULL, 0x89269081e6d6b931ULL, 0x18353458a4879476ULL, 0x63cf1b83cbf0e7daULL, 0x156c879103753611ULL, 0x9a12a1f7d899bd23ULL, 0xe9835d5ee6aea12eULL, 0x16cULL, 0xf991034f7fae402fULL, 0xb0c17e0d3fe797b0ULL, 0x43559ebca55c2500ULL, 0x27955200fb5fac55ULL, 0x52f0058bc4b7bde8ULL, 0x66c05047d2c0806aULL, 0xf24ceab2a276c376ULL, 0xa67df646ab12562bULL, 0x13fULL, 0xe0ea2402cebf76b4ULL, 0x1beefbed19ee65c8ULL, 0x31c2aa1a43a63366ULL, 0x2cddc40fde1a2d2ULL, 0xc218b12a3cec0ed1ULL, 0x4893c580f291ebe9ULL, 0x6217bf1921c1a098ULL, 0x9abbbd0918fa38e4ULL, 0x157ULL, 0xf6539ebcffff0c6cULL, 0x1af0803daf9beb4dULL, 0x2f77682995dfa835ULL, 0x27cc2082447323cbULL, 0x9f71ece9483f4170ULL, 0xc2d710e811ef9a8eULL, 0xa2824054bb84c7c1ULL, 0x3e202d08828ce2b6ULL, 0x168ULL, 0x77d1685965831693ULL, 0xac215e31bd0f569aULL, 0x5f4f4db9a878e046ULL, 0x8222f93e984f5c45ULL, 0x9582e64640e83077ULL, 0x7bed137a54779a13ULL, 0x4957e9b60912c0dcULL, 0x5bfd8c4daa9c4cfaULL, 0x1d4ULL, 0xc2862c7a2455a58aULL, 0x15e83781eee5e62ULL, 0x671a430f390ab607ULL, 0x49a98e0e53f0bb93ULL, 0x3c9d237b3bb391b2ULL, 0xcb7102e5214f92d5ULL, 0xef603e4e521ebb49ULL, 0x61e2ba155e268ecULL, 0xccULL, 0xbd637759f935f897ULL, 0x2c95be24c7dcd034ULL, 0x40a20b740747be44ULL, 0xc7bd7d176fac68d2ULL, 0xc980393d4b641f82ULL, 0x28955cf40cf1777ULL, 0x9c5020706b0c9355ULL, 0x73f651450df3b22aULL, 0xb6ULL, 0xf4620521aef1e0dfULL, 0xe062c4c3bd5baf57ULL, 0xdf571e624691497dULL, 0x4d964c96bc888df3ULL, 0x8db6e2de1c01ddc3ULL, 0xd739a81166a7f245ULL, 0xa28ec9b801db3af5ULL, 0x3fef644d7cb031f8ULL, 0x144ULL, 0xaf5dfa96b1b9198fULL, 0xb44748b74569e50bULL, 0xaa2163d64ccf4d01ULL, 0x1120d46729d76bdcULL, 0xdd0922b59f71c2b4ULL, 0x2752c13daed0dc37ULL, 0xb94bccf6573e1d07ULL, 0x9e0ed200e3ce0659ULL, 0xabULL, 0x629378aa472d5f31ULL, 0x4090dc4f9b5cfa09ULL, 0x3cb346d1b1939f05ULL, 0xd9716c6d9b01531dULL, 0xd2c99f085a28e6dULL, 0x97166bb05e918dbeULL, 0x986823524ad46940ULL, 0x31838013a2dff75bULL, 0x1bfULL, 0xd91ab183a7a63842ULL, 0x791be77e8e141cf6ULL, 0x83f792143d3553adULL, 0x5f0b91a7c3bd7139ULL, 0xf7d7c68454c8618fULL, 0x78c02ba5ef22bedaULL, 0x890ff468ae035283ULL, 0x10bd55958ac3b3a4ULL, 0x78ULL, 0xeb49226d7acbac6ULL, 0xbef9ad6651fb9a31ULL, 0xede1699a83328c40ULL, 0x62a19b6e7982605bULL, 0xf6f497ed5f3f2012ULL, 0x42cfa2eea1740081ULL, 0x3e683b27548e41fbULL, 0x6b0348cf497f0835ULL, 0x179ULL, 0xbf2510b7ebd394c4ULL, 0x99bf7bb788670558ULL, 0x806db4070eff9470ULL, 0x67d04bfd1e01e51bULL, 0x6abb2bf4b066307dULL, 0x70868dd2644a2274ULL, 0xe4987c0e255afcadULL, 0xe26510c0e0983f23ULL, 0x9bULL, 0xf2bb4c4940e43b60ULL, 0x92c484611282a64bULL, 0x7be66a18286239c4ULL, 0x80b0b60a3b8b973dULL, 0x2f151384b4d93571ULL, 0xccefa827f9931a1ULL, 0x4a765719f32977c9ULL, 0x1626bb06a807226fULL, 0x105ULL, 0x6027d2cc8a7a8ed8ULL, 0xef0ba8ca82177613ULL, 0x38244bbb36dea617ULL, 0x16edda6c4b75f343ULL, 0x9c94d8560bb69d1eULL, 0x9f1a63bfd9cd1381ULL, 0x41f074f435783dc6ULL, 0x395285ced84dfe0cULL, 0x129ULL, 0xdb9313327f64a05ULL, 0x96e35a952a585c20ULL, 0xe59f388dd1246cb5ULL, 0x1c1d6b331d0f936cULL, 0xf110d2dd03a0497ULL, 0xfb6a74dd1ee4505eULL, 0xbdae8da256f51bf1ULL, 0xb2fb0d7f18b79aaULL, 0x177ULL, 0x42668d0620bb15a6ULL, 0x9ad7d323c35961aeULL, 0xc2bbb82a8d5667ceULL, 0xf272e9d55848e958ULL, 0xbde897d9eb167998ULL, 0x394ae71650639d32ULL, 0xe8597a39519c24beULL, 0xa944171ae833306bULL, 0x103ULL, 0x30b85b60c1ebaa8aULL, 0x84dc56427db29274ULL, 0x78376a51df7ab1cfULL, 0xd30a0f734afa69a0ULL, 0xab8719a35e4e81e2ULL, 0x8285fa9ebaa211dULL, 0x7d6b9964ca3e7aa9ULL, 0x33fd06747ae1507eULL, 0x8eULL, 0x29929f8b07190f71ULL, 0xabaf80c1d7771bc8ULL, 0x15ba02685d73c05fULL, 0x3c8572d8c4ade1b5ULL, 0xc23c0cf62238a3f2ULL, 0xd2c2d70944d1d5d2ULL, 0x9ff5470e0fc9fda7ULL, 0x254d8a1953a8ef3dULL, 0x1a8ULL, 0xe8a713f65aa2fabbULL, 0xd051a5fc24e1f3c3ULL, 0xd021cbe11e550b2cULL, 0xd254fad8f15e7c79ULL, 0x50e6d1ad23296f3fULL, 0x275a0cccd18b7c7aULL, 0x591b8befe2b580eaULL, 0xda080d1996058608ULL, 0x197ULL, 0x4801d5b625bf1d2fULL, 0x85143c56c2c71477ULL, 0xe5904c18dfa3253eULL, 0xbae799633b8236cfULL, 0x75cb9d5c1a7619d8ULL, 0xb9e17605a63d40c7ULL, 0x927afd8624b57efULL, 0xdcbec0f26c72e39eULL, 0xf2ULL, 0xeb16b2d6368d9fbbULL, 0xa50228ce883be021ULL, 0xebc52dd87f453e46ULL, 0x4e64f5e21d0bbf31ULL, 0xf255f9a5d7953170ULL, 0x60f33239e02f4327ULL, 0xfdaaf2192da43744ULL, 0x3fdb6fc81d4615cbULL, 0x96ULL, 0x17e78b5d82b55280ULL, 0x40d744ef260948a1ULL, 0xb44f5922aff795dULL, 0xb1a8d98e8390c4a5ULL, 0x584acb4e50d10cb8ULL, 0xc224db6f546a9cfcULL, 0x3f90766533f4780dULL, 0x95043280f711f0a5ULL, 0x11fULL, 0xdd035d06059a3f54ULL, 0x3784ecebb3d0187bULL, 0xf4483fab9bbdd902ULL, 0x94ec8781923a60eeULL, 0x7ebf0adb21bab4b1ULL, 0x5189a0313277e22ULL, 0x8f059e0b9469fff5ULL, 0x9dd68118310fec85ULL, 0x187ULL, 0x4679b023d5d8e4ccULL, 0x1044f45416db1599ULL, 0x5fe38cfc54f5bbe5ULL, 0x7f0984bf63b042a8ULL, 0x4b4b6161011fccaaULL, 0x22acdc80d7ff095ULL, 0x3bd6d3719b0a775ULL, 0x2f4624bd3d695381ULL, 0x1c0ULL, 0xde55c10b8adb2305ULL, 0xb3c707fa4b824321ULL, 0xf22b7f0e12c7ae03ULL, 0xf409a7b6c0262c68ULL, 0xda6d55e9be8d6e10ULL, 0x5a2fc2d15f4b0fbfULL, 0xea896250b2febd06ULL, 0x141f439232801886ULL, 0x1e2ULL, 0xd1f923efeabee9f4ULL, 0x18e2af3a77ca7fbbULL, 0x5fabaf0f9bd25632ULL, 0x89b6f0f29dfdfa77ULL, 0xafbdef50fab0fda7ULL, 0x70be8b706d398cdeULL, 0x923e5c181e626560ULL, 0x890c621765470e39ULL, 0x1eeULL, 0x435a22c6f40689e6ULL, 0x82c20ff9a1105a6dULL, 0x8441d0742c06aae8ULL, 0x380faf68d22c8559ULL, 0xa851aeff215b5fb7ULL, 0xe77035f9cde53ffeULL, 0x8baaa3f435435804ULL, 0x801971ba498fe8cbULL, 0xd1ULL, 0x2ca0e23452100c2fULL, 0xb8fdd948da4d8362ULL, 0xfb939237db65f6a3ULL, 0xaf9707b3c8251c6cULL, 0xcd6f2fd306d50836ULL, 0x4705e276167ab44cULL, 0xcd7267cd564a5381ULL, 0x8e243ff4be27ca7bULL, 0xb8ULL, 0x1edd368845d2785fULL, 0x1deeb073128825b5ULL, 0x1aedc1013b8f110cULL, 0x39f044bde677ddf0ULL, 0x6dfce1fd3d3d03a3ULL, 0xd3de3362f115c502ULL, 0x72876ce80068d446ULL, 0x3c4d061fe2a1056bULL, 0x7aULL, 0x6a0f07724f012818ULL, 0x1c0ef5f1143cc13fULL, 0x1bb243d446d5894cULL, 0xde5e364a63fde307ULL, 0x7a057ce161c07e98ULL, 0xb49c33f9c19ae252ULL, 0x8bdd535bad128fffULL, 0x68bd8e4d354d9303ULL, 0x16aULL, 0xef0bf923a597f21ULL, 0x2e6869997333061dULL, 0xd26432dd3ecee983ULL, 0x58e05e7a3d59c0ebULL, 0x773314c39a80c181ULL, 0x7598bfa8dc92f6b2ULL, 0x226460f1b9607acfULL, 0xfd52e0a60f437584ULL, 0x14aULL, 0xc1d436502931133bULL, 0x64c8484ce730f181ULL, 0x9eebe1bd316d087eULL, 0x75351c27db4c5a4aULL, 0x491dc28940c8a124ULL, 0x2715299fbdbda4a8ULL, 0x1842344d7c41603aULL, 0xc39f274bb209d038ULL, 0x3dULL, 0xdd0886ebdfb48479ULL, 0x96671e9f3f847106ULL, 0xadadbd934c0172f3ULL, 0xa1f6282d241e8fdfULL, 0x1a35e14f46b0b62ULL, 0xe480bcf8feca7483ULL, 0xd26460e6066f7cc5ULL, 0x416dc0561f02ebd2ULL, 0x16bULL, 0xa04d3cfea0a71728ULL, 0xc260496f9da37d2fULL, 0xc904e03b47d4b14eULL, 0x9b02794b4608f13cULL, 0xcbbffabef404565dULL, 0x1a6c3dab53533f45ULL, 0xf5e4502fccf5c021ULL, 0x58bfb8b9b7b38784ULL, 0x187ULL, 0xe8eabe003670e8eaULL, 0x6d8aa853d7e80b5aULL, 0x4ae2bb20e0631774ULL, 0xa5597d1b205fe158ULL, 0x1c7749f07a69825dULL, 0x35c946e1ad83f5cdULL, 0xcb991bf5e2d3186dULL, 0x79a551ee82196c33ULL, 0x1efULL, 0xe1fa476761bee755ULL, 0x38fcfeb0114bf8b7ULL, 0x73cd9ef92d851d55ULL, 0xc56de07d3c5ef976ULL, 0x9f038e1e068616e6ULL, 0xcea689bb9e1659ecULL, 0xa50d5cba0bd75486ULL, 0x55e393b16c63ccdbULL, 0xdbULL, 0x8933867d55b8fc58ULL, 0x9b28fd0a4a826e88ULL, 0x263fc57cabda1eacULL, 0x5c504845c128c816ULL, 0x125c3a6c46568a12ULL, 0xa36ec8e8e2b58032ULL, 0x8f75896f5c030568ULL, 0x3118065bbaa0fa7dULL, 0xcfULL, 0x43b9d12f92e5b952ULL, 0xf3341e4f29f3a2ecULL, 0x631507f83ff16780ULL, 0x7ac2fc7d60ce7090ULL, 0x1bafd99053314e7cULL, 0x737dcd29378090ULL, 0xe78e0d6ae4c7c182ULL, 0xaa77849b3d68d99dULL, 0x1f2ULL, 0x7d2775fe6fdbc929ULL, 0x98d2214094a0db28ULL, 0x429043a9ca907c07ULL, 0xa2683e7c6ad567b3ULL, 0xb8a2e058e33f1efbULL, 0xeb4f2624c41e621aULL, 0x5365ddcd1c5e6144ULL, 0xb8d790676fe58a37ULL, 0x19dULL, 0x753d80ea34c9e837ULL, 0x5be9dec96cbcd191ULL, 0x9b2bad1bb287d2c7ULL, 0x43b9d089b9b4206bULL, 0xbc64c3e2c830c246ULL, 0x1e10e3334809831cULL, 0x2d7b002f1d1c256aULL, 0x10bf8e81dd8b9edcULL, 0x171ULL, 0x982a45179ffdfa6bULL, 0xc4771538f399b4d9ULL, 0xe5a5b2440d0ce638ULL, 0xd7a34b36fd3ea629ULL, 0x3e07f2d6fde309c3ULL, 0x3aee0cbbaaad296ULL, 0xc0f95fc6c2d41722ULL, 0x2e5b9c7358ac9da4ULL, 0xadULL, 0x9429daac672511b8ULL, 0x1309a3d9e7ae42c2ULL, 0xa0267a2e6ad2415bULL, 0xdd4ac8ae21e87eceULL, 0x28b8f295926a1a56ULL, 0xf1f14892fac42574ULL, 0xf122a004fe5c0677ULL, 0xafd913769a4f6164ULL, 0x1c8ULL, 0xbe0f0c1c6d838bafULL, 0xb16b382a3b6809a4ULL, 0x469b18616109cce9ULL, 0x6de5007cd4332936ULL, 0x30aa0059e384c64cULL, 0x721e3b1b56a20408ULL, 0xae989a1223ce5f23ULL, 0x3782affce2579d89ULL, 0x1cfULL, 0x6e415102c8f2c6faULL, 0x5b478bc1c3fb2b5aULL, 0x9ced1fb3deb94b2eULL, 0xb59ee37d25a3703aULL, 0xbe55952b4ea260beULL, 0xb5adea2e1b553dcbULL, 0x501cbf263d33ee51ULL, 0xd5bea73ea4b1e3dfULL, 0xd1ULL, 0x2fd24e88c5d738fdULL, 0x650bf70db62faec5ULL, 0x52ebed24aa8a678aULL, 0xfc623fdea46ca44cULL, 0x927e289ec64bd5f5ULL, 0x6cba2d4cddfe9d20ULL, 0x7d367e669d731ed4ULL, 0xd9d85841120001e0ULL, 0x1efULL, 0x94719783c009c76fULL, 0x36fa1e27ce0c62eaULL, 0x3dc7d7d0d37a2800ULL, 0xb5834ff311cf1b2dULL, 0xeaad631904f8b6beULL, 0x89f2ac4c955f67c9ULL, 0xdc5baa8c0b5b89f9ULL, 0xbdbc61a7a3da460fULL, 0x5fULL, 0xc32a6db03af13401ULL, 0x51a825ce28177f06ULL, 0xbec962df7b53f76cULL, 0xd5a934276daf510bULL, 0x6a9323c42339d97bULL, 0x86779dcd8c483b44ULL, 0x9cb179f18ba587afULL, 0xb97f24331f4d820bULL, 0x1cbULL, 0xe3e3b91fcb847e16ULL, 0xee04236c69643cb9ULL, 0xc1a79f5670ffddd5ULL, 0x7c4953d4c5702b29ULL, 0xcdc3030c857eed4aULL, 0x7e42198344f009bULL, 0xdd5cb350eb276775ULL, 0x544d86cca5f0ccb5ULL, 0x5bULL, 0xd1ca243f905e9b4dULL, 0xedd8ca6a41ff448fULL, 0x68824f1126038eaULL, 0x40b98e3bfed7b79ULL, 0x7ce3e5c28803068ULL, 0x57f70308a19d7f08ULL, 0x7008a45e354c1584ULL, 0xc4999c8190cf40daULL, 0x77ULL, 0x75b12b91069e049dULL, 0xbe83556d2cdcca63ULL, 0x98b80fba666881aeULL, 0xcc95b52f6aff96b0ULL, 0x32399efe14ed4415ULL, 0x772ccb2c5a871e0bULL, 0x6afdc02eed537d63ULL, 0x37703afafb2fce3bULL, 0xc8ULL, 0x40f841eb907c5d93ULL, 0xb8da64701cb453dULL, 0xdd89dd83a71e0253ULL, 0xe2ef8e8112ac1659ULL, 0x37f8b170611fdaf3ULL, 0xe4c22ad5837af002ULL, 0x3caf276f362385d1ULL, 0x6ef896d9d86eb1dfULL, 0xb8ULL, 0xe990d8480337829eULL, 0xbf4fcd29de8b9288ULL, 0xa950eb3a06a57afULL, 0x536c831c7f28f640ULL, 0x9604ae7ce1669beeULL, 0x8b3baed6255c10c6ULL, 0xd6462460e00f1d77ULL, 0x7c37f26181eca3c1ULL, 0x195ULL, 0x689922af2d71b101ULL, 0x5dcf90802c0aceb9ULL, 0x42e734b75dfa2093ULL, 0x7be1a5432569da09ULL, 0x1aa8e7dfd1964ce4ULL, 0x9276ff92f23d1571ULL, 0xe6724432d9172a70ULL, 0xc4eb474f12f1e753ULL, 0x1deULL, 0xd763392564420c4eULL, 0x106abc64cb36417aULL, 0x4a5a2d5b8b4763dULL, 0x8c1ec10de15d5efULL, 0x762edea6f8e010e3ULL, 0x72f2aed94f55e2b6ULL, 0x650663f403224c2cULL, 0xa2e7b5cc04528c30ULL, 0x1d1ULL, 0x9d09af832cbb361cULL, 0xc38de011496c6b3cULL, 0x454708bfaa9825fcULL, 0xcd0cb713e18841cdULL, 0xe510233a9713288cULL, 0x6dca12ff8b6d18dbULL, 0x7f9497d1767111eaULL, 0x8b9038e3038ff15eULL, 0xfULL, 0x30914ca818ef1054ULL, 0xb45939f2c2fd551fULL, 0x98f01ea113017ca1ULL, 0xce364f280dc13d25ULL, 0x5dfd1d26a3eb21e9ULL, 0xafbb8db18f32d77fULL, 0xc7f8dd9e34037c44ULL, 0xf46f9a2d0957c071ULL, 0x1a8ULL, 0x93191fe036146eULL, 0x9c35707c90a8a25fULL, 0x905e1715f0a74bb2ULL, 0xef164f96caadd870ULL, 0x5041998c908b7edeULL, 0x90ea91e4ee95c63cULL, 0x10508ee773546125ULL, 0x102e5475125dc257ULL, 0x145ULL, 0x2a7e06ba98981706ULL, 0x9d775fca8d55dfe2ULL, 0x3b8724862a164e2cULL, 0x1dcc8bcb8839b1dfULL, 0xe6123f4ca82ab856ULL, 0x5f20c53fe4595b81ULL, 0x7664efad59c36f4ULL, 0xa9874f6266732c22ULL, 0xb8ULL, 0x609ed064a2c8113bULL, 0xa9600469a7fa5c45ULL, 0xc07bdeec3a6ea8f2ULL, 0xbbf3fda1955f59f8ULL, 0xf8423684ee0fdf03ULL, 0xf50cadcb1896c59bULL, 0xc521ff3fac61fd50ULL, 0x3cad968bc83722c3ULL, 0x12cULL, }; #endif