/* For NULL. */ #include #define ECC_LIMB_SIZE 9 #define ECC_PIPPENGER_K 56 #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_redc_g[18] = { 0xb331a16381adc101ULL, 0x4dfcbf3f18e172deULL, 0x6f19a459e0c2b521ULL, 0x947f0ee093d17fd4ULL, 0xdd50a5af3bf7f3acULL, 0x90fc1457b035a69eULL, 0x214e32409c829fdaULL, 0xe6cf1f65b311cadaULL, 0x74ULL, 0x28460e4a5a9e268eULL, 0x20445f4a3b4fe8b3ULL, 0xb09a9e3843513961ULL, 0x2062a85c809fd683ULL, 0x164bf7394caf7a13ULL, 0x340bd7de8b939f33ULL, 0xeccc7aa224abcda2ULL, 0x22e452fda163e8dULL, 0x1e0ULL, }; 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 #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, 0xca26efe1474fe094ULL, 0xf5cd529da3ad38a0ULL, 0x94808b1eec34abeaULL, 0x87ade96127c847acULL, 0x6a43fa8cfa6df215ULL, 0x947fbb39bcfdb5adULL, 0xbca687c5dd4d0c9fULL, 0x7d79e215e8772a4eULL, 0x122ULL, 0xbf926e1c81cb032eULL, 0xb9c12ffdb04fbc5aULL, 0x4ee8c89b34707ba5ULL, 0x367a152d81aa347cULL, 0x74511a3a4cd56572ULL, 0xd0e3b8f1a6642939ULL, 0xee14ab4260ea13e9ULL, 0xea76ba4c81a19a28ULL, 0x15dULL, 0x10393f66ee7ae76eULL, 0x43e74e49652c25beULL, 0x305d3dfcf5df929cULL, 0xcfb95fcbfac04449ULL, 0x56183d6f269255a9ULL, 0x55fe0a017d912af7ULL, 0x1535818920f354ccULL, 0xc295a3d541ce6ee9ULL, 0xebULL, 0x4ee9126cf6954f6bULL, 0xd5ad430e12a1ed6eULL, 0xd0f83483642d75bcULL, 0x29bc5adb8ec0ce3bULL, 0x4422a9bff6f20703ULL, 0x586ee47ac6cd1b10ULL, 0x7701c7b7da73b731ULL, 0x575fa03df28b3974ULL, 0x166ULL, 0x7082a01cdf12457eULL, 0x91616bf550e34426ULL, 0x426bd9ae27cfd7b1ULL, 0x5f468d0ec299bf54ULL, 0x695e63540487ca37ULL, 0x9322f558b93aa7dcULL, 0x818f05928f48edecULL, 0xaca5b088957ee742ULL, 0x123ULL, 0x1118972085008e45ULL, 0x348cb9e445a01307ULL, 0xf5c183c65bf246e5ULL, 0xe9a40aeb3fd8ccf1ULL, 0x87abdef0fbda6f2ULL, 0x90c450f5daf09ceeULL, 0x3abe1073e33344eeULL, 0x2a065d1a3404424ULL, 0x18fULL, 0x963e1b9e6966eb0ULL, 0xdc3080a300e7064cULL, 0xb4aa207ebbe3c636ULL, 0x99d986f20a58c84fULL, 0x770d182606f03f3bULL, 0x700e285113d51669ULL, 0xba4d583f4d20f117ULL, 0xecef4ff72fc8d6a7ULL, 0x18fULL, 0xebf207f67b6b948eULL, 0x936d37234bb805e6ULL, 0x41e4ef91a288a9aeULL, 0x5769c4122567dc8aULL, 0x6393d92985ce2fdcULL, 0x8a6c33686b03d506ULL, 0xe205cb06105bf9e3ULL, 0x5226cbdb7b6174f3ULL, 0x12cULL, 0x684bee21a01e917cULL, 0x98e41f1f5e8a0573ULL, 0xd1ae05435fab8b17ULL, 0x13165c27442fb089ULL, 0x476b19e592c98affULL, 0xbfb78aff73bae13aULL, 0x9b70e1046237d004ULL, 0x8ab2ed15dae04566ULL, 0x3fULL, 0xe856291e9709009aULL, 0xe52913a4ff5e0fd2ULL, 0xadd62dcd0363f7bULL, 0x46961419f7773a11ULL, 0x4e5a1a1c84bdb1cbULL, 0x3181c1438f1037d7ULL, 0x7167bcf36323459bULL, 0x2fc91ec18ebfdfd2ULL, 0x10ULL, 0x99b47d434d3ff71aULL, 0xbb68ba48d74a4e56ULL, 0x48cdf04a79f194c8ULL, 0x1efde2608ceeb67eULL, 0x17c1de40944dc62bULL, 0x8920c3c9ccd8e75cULL, 0x6fbd9fbdce29e199ULL, 0x766fcce573cdb9e0ULL, 0x61ULL, 0x7bdae3ad5110c774ULL, 0xfe09c83af2bf4e39ULL, 0x29811805e11c4af5ULL, 0xbc697964a02c2525ULL, 0x2b51dfaf9334038bULL, 0x6e6904371826d0ebULL, 0x1acd7070ce6655d0ULL, 0xd0f5f868abfafa5dULL, 0x15eULL, 0xa42ee214ad0e3d68ULL, 0x6c6c7d51de6a66c4ULL, 0xd2eee21bc1ce9444ULL, 0x8f8f4a8deaac0d5dULL, 0x755296fd5914a3e8ULL, 0xe647dd876c394520ULL, 0x696a7a683798ebb4ULL, 0x66ec9d8ec9fd6484ULL, 0x1d8ULL, 0xf4ca34e120495f98ULL, 0xfc2750701e46446ULL, 0xb310d404431e6d9ULL, 0xe51996149766b761ULL, 0xae7e80f704e26686ULL, 0x9829aa764f7efe74ULL, 0x5702e183d9535c6dULL, 0x457bd92a755a23c2ULL, 0xa0ULL, 0xc84a49f880495ab9ULL, 0xd24bc0e8b20fa010ULL, 0x85b02e66edc8de0bULL, 0x50d158855eee1e6bULL, 0x832bfde2fe0084d6ULL, 0x2d9615801af0d008ULL, 0x742701bfc6a32650ULL, 0xa57121d7138d790fULL, 0x1f8ULL, 0x8ffaebea39bcde7dULL, 0xf7638dd7bbe8180fULL, 0x4054c90806ac7e6ULL, 0xbfb77e257edd692eULL, 0xaf290293772236c6ULL, 0x60a60cfff8fb1ab3ULL, 0xe0ad424bbdc5486bULL, 0xe845f414e5b281e0ULL, 0x1c1ULL, 0x178ca8f50fd7cbc2ULL, 0xbe353ac473ad9b6cULL, 0xe82ea5fd016bd967ULL, 0x3f0e80b13f2ea359ULL, 0x42863d8cb5498c43ULL, 0x95987a82ff9ce5bULL, 0x1269c60d8e55714eULL, 0xe2f9b7ce6e8c8db3ULL, 0xcdULL, 0x592fc42ad8ad8517ULL, 0x6b37ed5f05515cd0ULL, 0xfbb328cbbae059d3ULL, 0xbc992d72fa6d76bbULL, 0xd37f6ec32b86e760ULL, 0xb000bf6cd7dd9123ULL, 0x46c126beec277a83ULL, 0x5137eeef04ca383fULL, 0x6eULL, 0x69b0c275a2ed948aULL, 0xecea7175e3b8d1edULL, 0xaed6aeae3f8f9c0fULL, 0xf58d48f400f8d1e0ULL, 0x29d380b94e6a7898ULL, 0x9966118db253e7c1ULL, 0x6b971b66f6b71851ULL, 0xfdac20a8d21c3405ULL, 0xfbULL, 0x51bb76c243083d0aULL, 0xdda8a637f31348d3ULL, 0x75fda24044ce7647ULL, 0x3902090aa3213aceULL, 0xf01c9e7250c3f93cULL, 0x1c41f20ec6e785dfULL, 0x5367a95887d02895ULL, 0x98918d27663bb993ULL, 0xbcULL, 0xe42b23631256b19bULL, 0xccf299cdaa2a751cULL, 0x52cf4ca424bfa80fULL, 0x542d1fe7ca3f7b98ULL, 0xba38e627cce962ecULL, 0x19aab24772d3fe3cULL, 0x5c07a2b9e5cae468ULL, 0xd8ad390604045279ULL, 0x9ULL, 0x7988d6c4f3b85d86ULL, 0x84fa819ac201ccd8ULL, 0xe8bfc8c3f1245675ULL, 0xfecd86a5b57f9d3ULL, 0x1da2bdd9f5a6c8edULL, 0xc0378b509e6569cdULL, 0xe8dc1c4b2f4c1b04ULL, 0xa8ad4995e780f71aULL, 0x1b1ULL, 0x9fe1518519c9a4a3ULL, 0x34cecfd31254e408ULL, 0x135a157528ebaa62ULL, 0xa781fe1c6dc61360ULL, 0xbd2d716fd9b63eadULL, 0xf2bfd9cd0dac656ULL, 0x161f5615bc60ad17ULL, 0x3271d9dead6fb541ULL, 0x1b8ULL, 0xb5a3e03e7792777eULL, 0x5970cb8394af973dULL, 0x448cffcbc62c5489ULL, 0x1e1a288eeadd5d51ULL, 0x972f1a202c0a3582ULL, 0x3f92eae478470aaeULL, 0x39f1d8fe6d2872b9ULL, 0x8b476319fc0e6f0ULL, 0x6fULL, 0x19f17165d3263832ULL, 0xef30a185af69323fULL, 0x475be8bfd9de3297ULL, 0x18731dffc4da74e8ULL, 0xbd84c0aaba8b83d9ULL, 0xed32cf4ddf6e1376ULL, 0x958d487d309c3d4fULL, 0x3664449017296248ULL, 0x26ULL, 0x82de9ac984f716f5ULL, 0x26076ae8e6b9d8d7ULL, 0x3f12be4da2d54bf4ULL, 0x2cdfc04fd95c8837ULL, 0xbcf0ab2ef34dc941ULL, 0xfae58e91be0ddad9ULL, 0xa9bf2f846cbe51c5ULL, 0xe5aaaf74316f4324ULL, 0x16dULL, 0xe9d23e6201d97267ULL, 0xb347a3dd9d42ba93ULL, 0xb1284b0e83a78afdULL, 0xe60f65abfa2499ULL, 0x54f2049849321fbfULL, 0xc9d51e169b3fd516ULL, 0x40cd216c4388341fULL, 0x51207bd91ca9d742ULL, 0x2ULL, 0x6d0533d8e25b87dbULL, 0xcda024446c59c36fULL, 0x855c26bad9e442aULL, 0xc201447956f0601aULL, 0xad296b6d92f176ccULL, 0x17bab2626a6e8648ULL, 0x73a32d1f50b684d8ULL, 0x1adeaefd8b88da77ULL, 0x126ULL, 0xe19f88e8ef42daffULL, 0xc2beefa3828b99d9ULL, 0xd33e3c3c51fa512eULL, 0x34a6c37abe14d684ULL, 0x89d4bea55b5936aeULL, 0xd938e6492802583cULL, 0x1f04542098da605bULL, 0x659c47e455288cfcULL, 0xd0ULL, 0xb9ddaea5046a68ecULL, 0xaefe3e422472a49ULL, 0x6e21cee3c2da9569ULL, 0xb14f0abf0c7dcef3ULL, 0xb64941e198c3c9eaULL, 0x433cfcf64819eee0ULL, 0x2f7686ddbfe77fa8ULL, 0xdbfd233403c3b28aULL, 0x1c3ULL, 0xf78ca0fd89931c6aULL, 0xeea0fb50fb983ef5ULL, 0xa6a0532f6b5aa83cULL, 0x26e7958185efb5e1ULL, 0xfce3678ff2a8f708ULL, 0x3a4124e4dcef83ddULL, 0x405fdbd286220ef9ULL, 0x3491a04922613cc5ULL, 0x7cULL, 0x58a74065a43499e1ULL, 0xa653cfdbfa3387f8ULL, 0x1739d10966ebfbbaULL, 0xfd9029104ca51b80ULL, 0x9eaed5913f5ba91ULL, 0x7f0ac9248e5fe749ULL, 0xf9c4d17881524c9aULL, 0x17a2966c18e8e12eULL, 0x181ULL, 0x4da4add547f16eefULL, 0xe8c432fa141adeaaULL, 0x323bb68a83d5233cULL, 0x4aa36dba89d23e97ULL, 0x7606c921077da838ULL, 0x5026a3c7b9884fc9ULL, 0x8ad29610d91bf4abULL, 0x7b14e915fbf200c2ULL, 0x18cULL, 0x6004fe23a6800a9aULL, 0x3ea98395743bd392ULL, 0x5ce58e6204b02fb3ULL, 0x3a712f8848a7465cULL, 0x2f78cbf64141cf78ULL, 0x4b74dd961fe4524dULL, 0x418a10842ec8e639ULL, 0x2d7d0aab0ddd704dULL, 0x149ULL, 0x7bb32a0014318df7ULL, 0x9e7149c45ec0b8d6ULL, 0x28124eec9da91a99ULL, 0xf25b6f5d39c20c1cULL, 0xbe8dc693be0a1c6ULL, 0xc44d2d1808c81e6dULL, 0x7cce9ccc86e5341bULL, 0x3c95cbca4f7e1f79ULL, 0x175ULL, 0x4129bc1e9bab0e17ULL, 0x16bd9676012f7d73ULL, 0x67c7386611dadc2bULL, 0x41e0882ce84d63a6ULL, 0xc8f503fb4befba30ULL, 0x7070b1e57340018cULL, 0xc11b6966b0782ddULL, 0x996a7f494d3714b5ULL, 0x172ULL, 0xdbc1fe8c9d98ca3eULL, 0x84cb3259df87a7f2ULL, 0xcb35232a895c8115ULL, 0x95421e2de390835cULL, 0x641cc3ff5dd99772ULL, 0x2d8efad8de6a9908ULL, 0x6be88dbe9610de3fULL, 0x56f22852cde2d6d6ULL, 0x1d5ULL, 0xb2cd98d5fefb66ffULL, 0x17c3db327de92ccfULL, 0xdb83774f1f149cdfULL, 0xa1a7ffa29d259fa5ULL, 0xae75099c738407d1ULL, 0x42394de123a4f633ULL, 0x5cb970734a6c53e5ULL, 0x15356260a3b7bafcULL, 0x51ULL, 0x725560efa92870deULL, 0x5905b07690ba2b25ULL, 0x90f7e32f755ce619ULL, 0xcbec65d41dd928b8ULL, 0x4694d8989eee1acdULL, 0x6b4b585e5585dc0dULL, 0x6471201a1bf80b38ULL, 0x48dd3c6d163f7011ULL, 0xe7ULL, 0x8e160fc2436ec9bULL, 0xb235c9f2b77918e0ULL, 0x904ea969a2bd02c2ULL, 0xb07f8866d14116ULL, 0xd389b6ad8988d09bULL, 0xaac6cec1b982bc2eULL, 0x5c773d29b2afe371ULL, 0x74570960645a3f52ULL, 0x1ecULL, 0x5d878e469cb3de60ULL, 0xbf0e53263e697ecfULL, 0x21621fdbd6d77cf4ULL, 0xc1830adf8cd40b08ULL, 0x7b3cbc0fd0b46f23ULL, 0xfebd9f189423f7d3ULL, 0x71440d4e6d5f440aULL, 0x189d935b6de6cfaaULL, 0x33ULL, 0xa126e62d2a240455ULL, 0x17ecc5e42e6249d1ULL, 0x275724e85d91eaceULL, 0x13a1569cbfca0c8bULL, 0xb340486a152d1ee3ULL, 0xf07a50195c7735a4ULL, 0x747ec9a8c6fe9ed3ULL, 0x4e067b6b42ce0f34ULL, 0xd6ULL, 0x9397d71794e14f46ULL, 0xbf5eefebaa037adaULL, 0xd7a2781c3c4e3f3cULL, 0x5bd204842edd48eULL, 0x7fa61f349057b934ULL, 0xd24e5c9ce18dd96fULL, 0x9239980b73bde0ebULL, 0x2a9e867dae926dd0ULL, 0x20ULL, 0x1207b820e845195eULL, 0xdce16a43bc4c2dd7ULL, 0x5f573076569382bcULL, 0xc3c951a096d40b42ULL, 0x6af57e6393f0e8f6ULL, 0x11538eb5c16fd4d8ULL, 0xf28930a1365d9a7bULL, 0x1bde220b405ba87fULL, 0xe1ULL, 0x982763e7b3854cf9ULL, 0x23771c182f49556eULL, 0x33f29b609be032a2ULL, 0xec69f146a57b481fULL, 0x2eaf90d2cd353fe1ULL, 0x2efb4348defc0c03ULL, 0xa0c252b4e79a91d7ULL, 0xa79025b7d333ea5aULL, 0x128ULL, 0xae7b70562131c1fdULL, 0x4f5afdda5fcfe7f5ULL, 0x18709a576b05077cULL, 0xbaf6ec6ac55039a3ULL, 0x17ca03acf4421bc4ULL, 0x68b50ef377ff6161ULL, 0x5bb4c7aad60c04f6ULL, 0x59f1cfdb85444cf6ULL, 0x1aULL, 0x234a25bf4189596ULL, 0xd4b3eb4ae04dd3ecULL, 0x855c972a4c389abdULL, 0x9b65ff13d268675fULL, 0xead073f4e85817feULL, 0x2ed6e32cd3e3f48ULL, 0xfd49a1d8f5755b9bULL, 0xfa26d7d9ac2eaaf5ULL, 0x1d9ULL, 0xcb6bc40ea7a2ae71ULL, 0x78410f49a7c57b50ULL, 0x3aa8bdc44c1f63a8ULL, 0x75abd9a8f1624c97ULL, 0xc0e1d261739fc699ULL, 0xf9e2ab83f628e521ULL, 0x1dc2e11671018aa4ULL, 0xbb60fef2c671bcaULL, 0xdfULL, 0x56c575aaddccb123ULL, 0x932e075dd86737d5ULL, 0x4211851338b9116bULL, 0x866a2ffd4c154e54ULL, 0x2f9cc1f129635e01ULL, 0xb8e8509fddc6538ULL, 0x8a321547e70d6bcaULL, 0xce630cb1fc7d9affULL, 0x15eULL, 0x7428f3a8320f1f1fULL, 0x4f57c0d4491ee169ULL, 0xc77e8585d7bb0b4cULL, 0x5db6fc1728215cd3ULL, 0xcb96d20187bb08f1ULL, 0x6e700d5a3ba4db69ULL, 0x5d3e51f7d984ac3eULL, 0x5ef4c95b881d3ecULL, 0x49ULL, 0xfa210715f6e1c11ULL, 0x77e6014067667e74ULL, 0x2f9e1de7c7b8658dULL, 0xc02756427086ba2aULL, 0x601a49322c26f8e5ULL, 0x96b0b8eaf378948fULL, 0xeb54ab9f34b1b781ULL, 0x87589f154081e5d8ULL, 0x26ULL, 0x7a444e99b8b58e0aULL, 0xb008085fe3ea505cULL, 0x82d96536c178507aULL, 0x997215c09123120aULL, 0xca259a2851545234ULL, 0xd6089142db119bc6ULL, 0x5a94bfccd85834faULL, 0x666155dc90a5da9aULL, 0x79ULL, 0xc8e3bfd51069103eULL, 0x80442d2c5190b58fULL, 0x726589181ce70d6bULL, 0x79d673a9325e3d1cULL, 0x381994570cf62187ULL, 0x6c96eb96476557e6ULL, 0x961905bbf4f760c3ULL, 0x4a5cffe718d8498eULL, 0x153ULL, 0x3fbe229c18b1703ULL, 0x28a244756638f62bULL, 0xbcf5f197163f8a6bULL, 0xfbaed6aea7e6b468ULL, 0x36557e194a8c5f19ULL, 0x657184f2ce5e9a2ULL, 0x9833c2ff135780b4ULL, 0x80d2a8bc78dee663ULL, 0xb4ULL, 0x48114567645a9c26ULL, 0x358a3066e1ead737ULL, 0x42318fba0db6807aULL, 0xbfbedc2375f868b9ULL, 0x601a980405d1920ULL, 0x7cf0ba9c0b76c8f7ULL, 0x46f2d0ab37353411ULL, 0xac4ab144855b02eeULL, 0x1a1ULL, 0x2167a11c336b9c08ULL, 0x5268d9f819be0c1dULL, 0x645ceab4128ba729ULL, 0x3405c0bb8cc09b4aULL, 0x1350bed95a1ffe9eULL, 0xad80f8e872802b3aULL, 0xd4be8203db4e33a9ULL, 0xd5d8729aa882be73ULL, 0xbcULL, 0xae5a35359e238c45ULL, 0x514fd6822dba569cULL, 0x5d5b507812e32f45ULL, 0xb6e5f246207d0c2aULL, 0x5b1047f97efd77f5ULL, 0xb86e5f4018b57133ULL, 0x3e38aa687588543dULL, 0x6c2410d12549bf88ULL, 0x1dbULL, 0x9699e17e7285e59aULL, 0xa6c2f5bbff66be42ULL, 0x72eae8d82612e796ULL, 0xa22d701bc80d2dcaULL, 0x56b48e9aea25de16ULL, 0x5266d3008b6d194eULL, 0xb3c1967914fe79b6ULL, 0x32e06596d74cf9b7ULL, 0x196ULL, 0x9062106e019cf1e8ULL, 0x52cf15dad6d782aeULL, 0xa1ddd87b57b7e89ULL, 0x5933bf129c2599ddULL, 0xf9f40f05979bbbaaULL, 0x2eeb5508658eb093ULL, 0x3f7d9b333b129a4cULL, 0x1e00af9f5ffe64c0ULL, 0x3aULL, 0xdfe3ac4a3a9e8112ULL, 0xef52eec851c21486ULL, 0xbaabb4a199340f9cULL, 0xa74ffeaea171cac3ULL, 0xd7fba83109baab2eULL, 0xbcc602899302b082ULL, 0xdc754812251610f4ULL, 0x275059a63593fbd0ULL, 0x59ULL, 0xb3566c4dd75c1b45ULL, 0xffa63a0570856265ULL, 0x64645336cbace31aULL, 0xe49945b2d792b4edULL, 0x4ffedb2ccdc41c6dULL, 0xfb381239fc3fec1eULL, 0xb5868f956c094341ULL, 0xf680572da828185bULL, 0xdaULL, 0xbfe0585aa2d876a6ULL, 0x30bd3b95480f8f0fULL, 0xc2d3c86e5be334d5ULL, 0x676d6c82d762f278ULL, 0x539dec8e1488b56bULL, 0xc0fc3e4b756194ecULL, 0xe01cce494e5ad8a2ULL, 0x9cb7e94c1e1d4129ULL, 0x45ULL, 0xef61b2203662c5c3ULL, 0x8863a211a0b7d599ULL, 0xbdcdd89f9c03dcf2ULL, 0x4b0fd1eeac1868caULL, 0xf343ed108c24f9f8ULL, 0xa7f0d3fa6e4aa362ULL, 0x3e145b42c4d7800dULL, 0xa7f2d3909fccaf1fULL, 0x15aULL, 0x52643bbf79a82b82ULL, 0x12de8889147cd854ULL, 0x110bbb337701ca33ULL, 0xc4ca0b9741772cadULL, 0x361a1e11b1249c11ULL, 0x73898afa6b1f9ab7ULL, 0x4c49c037b07c1114ULL, 0x439691472d793cc1ULL, 0xe9ULL, 0x7de5ac5426b1f616ULL, 0x5073e7e709c2891aULL, 0xc2dd1106eeaa00bcULL, 0xa1f5968d074b2f18ULL, 0xcd78700214282098ULL, 0xb494a3362aa74fb1ULL, 0x6f6b73aa1436b4ffULL, 0x6bf11bd305787123ULL, 0x56ULL, 0x3dd4265f325f6c19ULL, 0xb5ff27c9e58d10abULL, 0x2a1058d3df764a44ULL, 0xd9262a0d8e7c5508ULL, 0x3a4134223a55190dULL, 0xee719117e99f4552ULL, 0x5299bc8744d761a7ULL, 0x3110e487e6c6c1edULL, 0x18fULL, 0x56af6279dff2f50aULL, 0x5536d49eba1c3d7ULL, 0x5b0fd5093f8b8d64ULL, 0xeae83458f4974c33ULL, 0x5a4c649ba8764c82ULL, 0x12fc00eb11f39959ULL, 0x89e31f8d6e30009bULL, 0xec3c031dafa17c6dULL, 0x198ULL, 0x33bd684797c16c56ULL, 0xd5b210950de0c4a5ULL, 0x470217d47fef76a6ULL, 0x82268ddb354674b5ULL, 0x1238a2c9b4e66d5dULL, 0xb81a60fa6c75f921ULL, 0x5cd71e2b883ad21dULL, 0x56d18880d6605260ULL, 0xe1ULL, 0x60fce53aca2c12edULL, 0x5c02cf658b4f6a39ULL, 0xc23db06d80d564a7ULL, 0xe3f5352f16ea3851ULL, 0x7cc7ced23214fd7aULL, 0x9e3880e9d5a10483ULL, 0x2b977666f3441717ULL, 0x5bdf8a23d11672acULL, 0x4dULL, 0xac5a0fe9c95b5398ULL, 0x94064ab52e522de8ULL, 0x1a888e03133d4614ULL, 0x629adf05622c4472ULL, 0x66436070347b6c97ULL, 0xb802e3b6f4bcd828ULL, 0x643b367d9abd29a7ULL, 0xc925493cfee08709ULL, 0x3aULL, 0x524cd02e5513921fULL, 0x757615f6eb9f4550ULL, 0xd0c7501c5168179cULL, 0x97d2a7554b21a5b5ULL, 0x1d55834a16d695f9ULL, 0xa1c4d85e98e95bafULL, 0xf20602cff004d7d2ULL, 0x3586330fa37df36eULL, 0xb6ULL, 0xe8a354cf297cdb3dULL, 0xed629bde91e25ebdULL, 0x837685f30736e58aULL, 0xd75eae24629df99ULL, 0x3b0b8189b26c9dfbULL, 0xa4f73f81d27c868cULL, 0xd696ebcdc38ce60dULL, 0xbaa7aed51da343cULL, 0x1d5ULL, 0x97d4dda462d026baULL, 0xc7f211990824e56eULL, 0x1cd70cb03b2585a3ULL, 0x122f5dd39021673eULL, 0xb4d321bdce31f164ULL, 0x6a155087993b2467ULL, 0x7fc926fa02caaf68ULL, 0x60f16ab07d73b133ULL, 0x18aULL, 0xa699c193967a53fULL, 0x50dc3bb23e1b5352ULL, 0x415a3d75c5ce5dc3ULL, 0x9719721080ebf3bfULL, 0xe4338feb9e5f34c2ULL, 0x217230d4fc9cc863ULL, 0x1dc80a686f5e0c29ULL, 0x70915f0e2873eb92ULL, 0x5dULL, 0x64f4abe985928f4eULL, 0x15e9c4c14684498aULL, 0xc4ba9a6a7bc1e3efULL, 0x40e78fcc8b93bf45ULL, 0xbcbca0d013d0e7c8ULL, 0x82aeab2eaee95b17ULL, 0x4919840864195051ULL, 0x9faac52ec144bbd7ULL, 0x112ULL, 0x7f72c407cd4332e5ULL, 0x4b7aa9040e3e6e28ULL, 0x21ba45bb7a0ff6f7ULL, 0x42173ff7f7a1e736ULL, 0x2cfffbd2ff595e74ULL, 0xf62f32bb409687ccULL, 0x92f02807ef92b3dULL, 0x560250b6688e718bULL, 0x93ULL, 0xb991aea089a8041eULL, 0x893053beeecc4d9aULL, 0xb02775ef19fd30e3ULL, 0x260c3e4f6b81d14cULL, 0xbe29b5db67f9fa86ULL, 0xea2a7e5e05ac59e4ULL, 0x2b4fc8b5468276beULL, 0x38910caaaf9750b1ULL, 0x5ULL, 0xf801a23519b3bc8fULL, 0x394006a4fab6b637ULL, 0xa475368def0a754fULL, 0xdc88a2f0104bec8aULL, 0x77639b51ce5f29a0ULL, 0xf06b64f7ee91520bULL, 0xd6851ee434fd14f8ULL, 0x5805a4e65493dfa1ULL, 0xe5ULL, 0xa8d201f48cf20281ULL, 0x34be13e25d5b2e36ULL, 0x8d0283670ca16cd4ULL, 0xfc6fdfd61052a745ULL, 0x8417a46d6ebb2115ULL, 0xdaa66bd8637c6803ULL, 0x15f59e5d266310b9ULL, 0xf69b1df1b3a66264ULL, 0x80ULL, 0x7d8749f931f6878eULL, 0x6e3b36a058fdc69aULL, 0x3fca4ce4a08edf7dULL, 0x480c1643f892b90dULL, 0x26263187ceb7141aULL, 0xbf9e63fa68338df0ULL, 0x662f02b1b02ab93cULL, 0x14f753446e7cfab3ULL, 0x7bULL, 0x192864c9af73b4f0ULL, 0x444b4391f2274b51ULL, 0x5f36849dc8fd6bcfULL, 0xa76de9d98343cf74ULL, 0x46ee5d960bfcde51ULL, 0xc742a31626410849ULL, 0x1b289ffd519bd07fULL, 0xb8e4bd331137fc67ULL, 0x17bULL, 0xddf950e43ab77d0cULL, 0x970671f79c940e77ULL, 0x9fa3ef6b51ddfa48ULL, 0x92bebd6337510b0aULL, 0xb54e0d0092dbf8f8ULL, 0xe561f005577cbb25ULL, 0x9bddcc1e225263b0ULL, 0x468f700a68925b00ULL, 0x1afULL, 0x88732d874cca2aeaULL, 0xe423446f531de030ULL, 0x3ed2413d094b217cULL, 0x29fcedd58d51bc8fULL, 0x49867dc713952ff5ULL, 0xa9d01f303fdbf6caULL, 0x1464e313fb14ad0ULL, 0x1b6a9d69893613f9ULL, 0x135ULL, 0xfd3bee121237612dULL, 0x498958f3542ebdbULL, 0x3474518a03db97e6ULL, 0x4ef059fff092582fULL, 0xb428e075bc02d82eULL, 0x6f581fbe0049059bULL, 0xb9060c0209f6b298ULL, 0x5f49c1863e4ddbfbULL, 0x45ULL, 0x114c290a962d4669ULL, 0x2f91ca24bdb282f4ULL, 0x1c9ec1f336958390ULL, 0x81dc0bce915d0d7ULL, 0x20f4d1ef2cb89333ULL, 0x2467f4af81f3d6bdULL, 0xf58ffe00b0ad928dULL, 0x27f69e2c59745a6cULL, 0x1efULL, 0xe1a7f04a0fd246d7ULL, 0xc0c6e1c3b20b594dULL, 0xc7d2e556c9b7e20dULL, 0x4f73c87f96dda862ULL, 0xca39c738991692f4ULL, 0xebc76bd4fa2debc9ULL, 0x59c5ebec65dd4113ULL, 0x62f999782286ff2dULL, 0x34ULL, 0x4a12d0dcde258d4ULL, 0xab8a6476a724ef77ULL, 0x1963122e56c50abcULL, 0xef3aa250a9b71813ULL, 0x19bf00c352498f47ULL, 0x96da2963ab54fa70ULL, 0xbb51bc7462d57b4aULL, 0xec39df72cf08d233ULL, 0x8bULL, 0x27fbb7577bb1095bULL, 0x49e0e91a099f1b0ULL, 0x16cc3733471c4478ULL, 0x7a789f79d2832c97ULL, 0x3ac7a6d772e5b2aULL, 0x9dedeb4c4cfc992cULL, 0x4479613da36cbb91ULL, 0x6e50d084bdc82d27ULL, 0x28ULL, 0xe5f1787e57c4ccafULL, 0xb1254aebb09b93d0ULL, 0x768cf9622d67c9dULL, 0x2da9fc75104ee8c1ULL, 0xda414171df2d5f0dULL, 0xeeca8ab7f5dba49eULL, 0x785bacfa5ce5e8f5ULL, 0xefde3a83003f8a34ULL, 0x35ULL, 0xbe31e8b260ce0b88ULL, 0x782469f62f597806ULL, 0xad5fee99917f70e8ULL, 0xa293d5af63fd5f90ULL, 0xdd5f9ed1dd1f292ULL, 0x1634ca1b39c11634ULL, 0x1eae67dee5483851ULL, 0xb9bb708e2e677cb6ULL, 0x122ULL, 0xc9e9f9ce2dacfedeULL, 0x8785d202ab4f7d5eULL, 0xd62747b03c7ac534ULL, 0x498125cf5ef9d6a0ULL, 0xd2e3198d05ab99f7ULL, 0x702125e33dcffac6ULL, 0xefc53b90906e2544ULL, 0x3d463f7dd5252054ULL, 0x19eULL, 0xc073066c492bcb37ULL, 0xbc13be7e840ba60dULL, 0x3329cc773cadb7dfULL, 0xaea814edbd54a99dULL, 0x5f9fb92c3d2bd614ULL, 0x8724926f7829d090ULL, 0xfc8aefc822f60242ULL, 0xa258b6da6c0f62cdULL, 0x7cULL, 0xfefc540e879a56dbULL, 0x1553288609ec9c77ULL, 0xb3a400b87af472c4ULL, 0xbaf6c33f0f41594fULL, 0xa6d5eb0657e7a6a1ULL, 0x67511bac9be96bb0ULL, 0x4999abb58544d452ULL, 0x757609086d51aa7cULL, 0x1d1ULL, 0xefacf230e3f11961ULL, 0x40d25fa27b0dfbeULL, 0x27f31c990c7508ceULL, 0x7528551d3c4c3a6fULL, 0x61329661f579c182ULL, 0x8842c4cf9e54ea25ULL, 0x7fc720aa61818546ULL, 0x6db1aed44b7495cdULL, 0x1beULL, 0xd5ada7a33749cee9ULL, 0x9bf84c9a97102a04ULL, 0x262c1da694bc2813ULL, 0xf16054dd32e766edULL, 0x38727a3a15e8e0deULL, 0x739b9e05bd04f9fbULL, 0x3af373e8aaad5533ULL, 0x8ae79100bf419a0eULL, 0x7dULL, 0x705aa43eeec5b228ULL, 0xf5ce57d8a2a701d3ULL, 0x29235820fd9f93e9ULL, 0x511f75a53515c582ULL, 0xd4dd2bf0e8c91f18ULL, 0x933616d510fe24fdULL, 0x6b61cbee68ae4a91ULL, 0xf8a27bf08317bd79ULL, 0x134ULL, 0xcbea12ac1331a423ULL, 0x3cd277f080fedd03ULL, 0xf114055d3487a088ULL, 0x19bd7fc43f4f0353ULL, 0xe9b4f17f309dbb52ULL, 0x712ac861229a9739ULL, 0x7b7eabc8494adfa7ULL, 0xe7a7912ce41fbd30ULL, 0xfULL, 0xc40d12d8988388e1ULL, 0x6fd78c1d60dfc0d8ULL, 0x2727efa04e1ea040ULL, 0x8743f4bac3015949ULL, 0xcaae76beb56e1a90ULL, 0x129e3d939ada68bULL, 0x1506d673bae8beb3ULL, 0xa34958edc5be5485ULL, 0xceULL, 0xb78a4bc2194a22cULL, 0xe71e5f0f2feb1692ULL, 0x173098e9b6917dfULL, 0x8f7d6c4110554cbdULL, 0xf463655ca7497783ULL, 0x713cfaae20d1366cULL, 0xc18fcb8d9cef0d20ULL, 0xfd0e917c7a24a80cULL, 0xf3ULL, 0x56a4bbd821bb22bcULL, 0xe3d9ea7e1b991251ULL, 0x2fc1b78ba73b28a4ULL, 0x807dbd1ec06e3c86ULL, 0x4bf4309f0a379737ULL, 0x132c11bd9dddf7edULL, 0xe79662820581e2c8ULL, 0xadb1ee755b8da77cULL, 0xa7ULL, 0x9435b76b31079465ULL, 0x378c3c462adfffc1ULL, 0x70bb6a7183afa83eULL, 0x600123d5f89db647ULL, 0xaf29f0fc303fe3cdULL, 0x574f6677133bcc2dULL, 0x230820f99a46f88fULL, 0x39692d7e8dfcaf42ULL, 0x133ULL, 0x67bab2c5df455e32ULL, 0x76861419c658f62ULL, 0x26bb49ef3c14f04fULL, 0xf278ab3d1b7fdb9bULL, 0x14e57365bc37564ULL, 0x339a652b09f5dfeeULL, 0xc6ec2828b69584dcULL, 0x4938e3c141f021d8ULL, 0x1eaULL, 0xbefd82ceb83ffd55ULL, 0xcd36499b9edebe9bULL, 0x7e9caf533d675f27ULL, 0x11e7a845bdc570b0ULL, 0xf6fe3001490f8c4cULL, 0x3a4dc20dcfdb1036ULL, 0x762d96bb6d2767faULL, 0xc5195ea12c6b5d37ULL, 0x4aULL, 0x268ddb2d2f46bf54ULL, 0x798171b0e5f9fd53ULL, 0x5a33c22badf528c4ULL, 0x586249164f1059c2ULL, 0x8f81218694413cb5ULL, 0xa3ba35a3ae375ab6ULL, 0xcbc7317e2fc3d448ULL, 0xf6dfbb9522be7746ULL, 0xdeULL, 0x5aaf7371c0c75920ULL, 0x9018d331b21c5710ULL, 0x9acab95d478c6024ULL, 0x21b2f17a49b471b5ULL, 0x2083e4d49db3651fULL, 0x94a401ed1a23e920ULL, 0xf9f1378e91e9b461ULL, 0x2ac1e0c6736d876dULL, 0x1a0ULL, 0x894bda31835a2661ULL, 0xb52f38924bd3a121ULL, 0xedc77c2e124325f6ULL, 0x2d47e16eda55f1d5ULL, 0x407e223805bbef36ULL, 0x1699275031b1de3dULL, 0x6651bcca2461d2d4ULL, 0x63338d753a69de00ULL, 0xa7ULL, 0xa87abdf8f43929eULL, 0x767d76c9f577426eULL, 0x8c32d766f723400cULL, 0xe3294fe9ef4d8bc4ULL, 0x95b606dbaab40dfcULL, 0xac57086ca792c173ULL, 0xa0a73769c2c0dbfaULL, 0xa736ec6da2233119ULL, 0x7dULL, 0xc261049d971d1572ULL, 0xf50c5983809ca2bcULL, 0x3b61f485d0c62f29ULL, 0x14d5dbfc3bc00924ULL, 0xfc8dcbe1969a3b05ULL, 0x7346563388ff3c6dULL, 0xddeb09d84cb1e9f8ULL, 0x1a9f9a38c1e11fe6ULL, 0x19eULL, 0x4be07ebffce43c65ULL, 0x28d8a9d608d81939ULL, 0x480452a1875cdafbULL, 0xf4ae171697ed3e07ULL, 0xfdba99bfa299fdb2ULL, 0xf73e239a7b5c083aULL, 0xe458bb66e40d2244ULL, 0x9a8bc15debeb17deULL, 0x8cULL, 0x29c9639fe75ea6e3ULL, 0xb3cf0d96e6e95828ULL, 0xefa6a71f2280f980ULL, 0x873b556ea6676caaULL, 0x630cd331abe889a3ULL, 0xe6a7068756be58ccULL, 0xf9fedcc19ec90a36ULL, 0xee59397474778b1dULL, 0xbfULL, 0x1db08edfe6b24047ULL, 0xf7671a25bca9dd14ULL, 0x1595f9b6edd17846ULL, 0x4777d670a9257e2ULL, 0xd68d8e52b4092101ULL, 0x94f63922c1c0efd3ULL, 0x449542f4fe6600a8ULL, 0x77773cd34bba7c74ULL, 0x35ULL, 0xa452d5ba848f069dULL, 0xcab4bf7394e9df6aULL, 0x1e7217992e28575eULL, 0x8c2fcdbd1938fee0ULL, 0x1afe63be9ac15037ULL, 0x7a2cd20ae8e074f1ULL, 0x25e7f68712d8ffcaULL, 0x4309f72484872a06ULL, 0xcdULL, 0x5c80d1eb23746550ULL, 0x17750ac2e9cc9537ULL, 0xb1e2ce5b6d42810ULL, 0x2ae6800bc3561c32ULL, 0xbcc6b7a770fd18b4ULL, 0x5272c7675e64d435ULL, 0x9e8e23cd6ca19271ULL, 0x720ca6b50fa098d4ULL, 0xf3ULL, 0xb4f0d7e780b43e7dULL, 0x1edbc299ec34ed81ULL, 0x58a760c79dbe2e4aULL, 0xd90da31cd82a512dULL, 0xa09cd85b6ed268eULL, 0xced62bb1f5b73e01ULL, 0x433feb66a93c1d9fULL, 0x6e1d25c1ee85f627ULL, 0xefULL, 0xfcb5cc467c2dc3afULL, 0xa7594fe46da1122fULL, 0x9993ae9351512552ULL, 0xafb8a4c1f31a4befULL, 0x7e4e69993049c946ULL, 0x8903025e7e135d80ULL, 0xc2557207ae2b5097ULL, 0x7aa47f8d5a8b8981ULL, 0x1fcULL, 0x78718e16a672cc6ULL, 0xe6e430ab2be1ca24ULL, 0x92685fbc5dd7885ULL, 0x316dcb2c8bef69efULL, 0xfdcd5a388f082a44ULL, 0x1aabb04b0e82b4e6ULL, 0xc6c4544cbc6d1505ULL, 0xd407646a1a68d400ULL, 0x1a3ULL, 0xaf855de3ab984269ULL, 0xd743033774f824e9ULL, 0x36e9e9046a240353ULL, 0x573e523581b751b8ULL, 0x7404e796635f5f46ULL, 0x811d86c8197df52dULL, 0x24da81855213b163ULL, 0x757f801bb8b134daULL, 0xeeULL, 0x40232313a630b00aULL, 0x659e12577b722e71ULL, 0x1fb6e06523611adcULL, 0x6e2ca7e285130d1cULL, 0x5f2497f96e123fa1ULL, 0x9347d5b43cf1cce1ULL, 0x97ca94a746a4d58aULL, 0xf7c0c49558b71871ULL, 0x199ULL, 0x65d631607005e5c8ULL, 0x5768e2139ef07cfeULL, 0xea3becda0b4b3392ULL, 0x39aaf8004fa23437ULL, 0xda4dded24e3adba4ULL, 0x25089e1a0bcb8296ULL, 0x9b24adff4c4a6facULL, 0xebd5ebe81d18326aULL, 0x1edULL, 0x8b0325c47ce40664ULL, 0x7198a8d7c4acdebbULL, 0x280a0277f714f05bULL, 0x3dc93b11e9e2be86ULL, 0xed8ddc910f49f2faULL, 0x4de71e3e10dd8cbdULL, 0xe96cf02eb8232ed4ULL, 0x52084ff16ea2b67dULL, 0xf0ULL, 0xc5d11d289793b884ULL, 0x7861823ea8391f00ULL, 0x67b08d12d66cf2e2ULL, 0x7185c09138bc8ffULL, 0x8abe16c342bb34a0ULL, 0xc4008fabfc2215b1ULL, 0x26c380c8dfb49ad5ULL, 0x198c0cfb48ef96dbULL, 0x1bfULL, 0x5f92ada894075dcdULL, 0x72467e0331d60d89ULL, 0x2494c15e999ec720ULL, 0x5752b7e665468f28ULL, 0x3d818dbf5a80a064ULL, 0x64dc5ba8632e30abULL, 0x4a70c52834fd69a9ULL, 0x5a6d7a3ceb5f48ccULL, 0x1b3ULL, 0xf322723a07b1b120ULL, 0x2d8d3e976236ff2cULL, 0x5b59d7aeee468cdfULL, 0xacc38fd45abc30aULL, 0x9949be062740b571ULL, 0xc104be76c7bf14dbULL, 0xed8a550e265446aULL, 0x30f0c97b4e32973bULL, 0x5eULL, 0x321bb51710077200ULL, 0x9f35e09b2c9f91fbULL, 0x8757c97055f87d60ULL, 0x4480b6bbaa80f02fULL, 0xfa325dea48170f4bULL, 0x1bae91e4946fba53ULL, 0x9c511a07920f95a8ULL, 0x6837b5e4426532fULL, 0x148ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x39c16671a6774f15ULL, 0x7356faf03753ce58ULL, 0x1165a35654c5f8c0ULL, 0xd6adf86cf5c1afc7ULL, 0xba6b4966903b89f9ULL, 0xb1519f4ebff86c3fULL, 0xbe4f95b4a87b0151ULL, 0x513d26385efd27bULL, 0x104ULL, 0xd4622a63fa5d90d2ULL, 0xa6efd8d92aca99c7ULL, 0x7e55d6dd1d6acf3aULL, 0xdb119c2295a1b738ULL, 0xd11a67dad9703d10ULL, 0xe412eedb427c0f52ULL, 0x174c7a31e055192fULL, 0xfd4b1dde404a5758ULL, 0x15cULL, 0x91f424e1d9c64878ULL, 0x482b31fab2d18470ULL, 0x4548d244c18abe11ULL, 0x901117bfc9e02a20ULL, 0x286c34a4b1dc1cd2ULL, 0x4c325a48ee98a6dULL, 0xdb518aecb76b3ae6ULL, 0xb7194b24981c8298ULL, 0x8fULL, 0xfd055d976a5cca1cULL, 0x8a107a2cc7061a3bULL, 0xaf0a63ac5a667bf8ULL, 0x3e8641fb21028dc3ULL, 0xd40a558da80d9487ULL, 0x3accfc0963f8d8c7ULL, 0xfbd53079ccc46547ULL, 0x15006f15e85ce362ULL, 0x1dULL, 0xcd5b13719fcbe0caULL, 0xfde3057aba6b86beULL, 0xeca679bfd4117166ULL, 0xaa82638a9f358f48ULL, 0x1c59c1fe1b379d22ULL, 0x3dd2bdb570eb4e5cULL, 0xc9e20fbb48b0f5a7ULL, 0x64d3815e49446876ULL, 0x186ULL, 0x8d34da90e7a520f5ULL, 0xa7cc0a9beb6318cULL, 0xd27112a1ece685feULL, 0x70390bc203247feaULL, 0x7d3d76c9f7295b9ULL, 0x49832fe2433d5d61ULL, 0x23adac1de067dcf1ULL, 0xdc8b66d38fef3a44ULL, 0x1ddULL, 0xcf1f7c72b3368550ULL, 0x97b6bf76e247b483ULL, 0xc0f81747202781dcULL, 0x92efba888b65bb58ULL, 0xd9612af59611a60cULL, 0x20d7ccbeaf54a57cULL, 0x6d3cbf9ef8689ba5ULL, 0xdc1abfe90591cc36ULL, 0x56ULL, 0xd4a04beccd538940ULL, 0x2a15021b1e600b02ULL, 0x9586be606c3ebe8fULL, 0xf4028af5b8507cfeULL, 0x4d392e8954dda762ULL, 0xbde8dadc519d3758ULL, 0x81db641b58c3813eULL, 0x23fa3b9991557ce6ULL, 0x63ULL, 0xccc992dead6d73f5ULL, 0xdbd6ff5780452270ULL, 0xff801ca687db35dULL, 0x316719bb88937f6ULL, 0x398e371fa8d43948ULL, 0xbb40aa6ae986980ULL, 0x2811946e2be61cddULL, 0x9d4264e10fbad7afULL, 0x73ULL, 0x488eac48fd0e6a17ULL, 0x217005d4cc68386cULL, 0x976b86cc00bed3b1ULL, 0xafd268a81f49ff57ULL, 0x3b81b37663dbc964ULL, 0x49af44bd9d50e33fULL, 0x917013b39e56e9e8ULL, 0xebfeaaa6c2b17f12ULL, 0x7dULL, 0xe1117f933ff78872ULL, 0xbc7eead77614aac0ULL, 0xaa43dcda266eb911ULL, 0x76a74c19bb8bf262ULL, 0x61d294e326474606ULL, 0xee6efcbf2d8ff5e0ULL, 0x4c02baf80179fc7ULL, 0xa4f73d6f928944e7ULL, 0x191ULL, 0x91755ea05c457426ULL, 0x9c547d781e4e5c44ULL, 0xdd4314eec4d08ceeULL, 0x6a0afdf35910685bULL, 0x7ecda1839478009bULL, 0x6abec1b472a15c9fULL, 0x2801adb5ef03b809ULL, 0x1ec58d83871bde54ULL, 0x60ULL, 0xf16501a664e51b06ULL, 0xfe0e283b719bc8efULL, 0x6df5782f2b1c50feULL, 0x4b6ecdd701fe99a2ULL, 0x8fe4665e7fd49adfULL, 0xb49e565c119dff5aULL, 0xe618c3b4e232fadfULL, 0x8ce35ceb63a27d93ULL, 0x6eULL, 0xd63ef4c21d16d0ccULL, 0x5eee1a6f8e1e2ULL, 0x5e1684acfcd1faeULL, 0x1a14390a2438e72fULL, 0x6dc530c863c36924ULL, 0x96ae7efeae2e0b03ULL, 0xda0de74860210408ULL, 0x3ec63eccaf8887eaULL, 0x12aULL, 0xaa61ebad9ee2c247ULL, 0xe5fe2dd46aced3ddULL, 0xfe14f9f40bd3e3fdULL, 0xd818d1a209520569ULL, 0x82f0bdc9b4968b88ULL, 0x6520e3de0b8b7732ULL, 0x272ff767fe9e8edcULL, 0xf65dc99bc017cf0ULL, 0xdaULL, 0xa9b50b03dc034f9ULL, 0xe6308ff04ea634abULL, 0xee04399a7b191db6ULL, 0xda7bdea8ddea9de7ULL, 0xb54c55ae492d45e6ULL, 0xf573f4e939e666b7ULL, 0x292c1590c925a51ULL, 0x80fc7f5071f91622ULL, 0xd3ULL, 0xb84daa4190998911ULL, 0x6e2bc5f853baecULL, 0x1c3dfa24fa29d4faULL, 0x2b869ad23dc35ef9ULL, 0x758209565bbb7fbeULL, 0x70d7cc1a5b9e83e8ULL, 0x5198b382311f4de1ULL, 0x64062767ea44a23ULL, 0x2cULL, 0x3d40630fb5367d85ULL, 0x752742ceade2ef3bULL, 0x5bbe5064644ee252ULL, 0x873824a0a76820d9ULL, 0xe9d6d2091f083a0fULL, 0xa4d9a6449f997b74ULL, 0x418568b52e082eadULL, 0x1243d8076b43d99fULL, 0x169ULL, 0x4657679add1ccea6ULL, 0xa1de50984369b646ULL, 0xfde2a88113e5d46eULL, 0xeaeafba50995a5deULL, 0x8b0ad4e6328b25a9ULL, 0xf1c4ba9b5e5d2742ULL, 0x45c7cebd675380d5ULL, 0xa7667c93720d3d55ULL, 0x163ULL, 0x426a090327e178e7ULL, 0xf52f3ce8213837aaULL, 0x26f81af899c2be57ULL, 0x7e8b0d60ea3e96b3ULL, 0xbbf0970c3713f459ULL, 0x18950e37bf57d10fULL, 0xc28acaf5776586a3ULL, 0x8fca5cbd4d9df09fULL, 0x118ULL, 0x95484d679604d436ULL, 0x927c41ef8b0fecaaULL, 0xe610efcc434723c7ULL, 0xf0ba8073384ddc7cULL, 0x75c511f4a6a88871ULL, 0x8ea75e9991dee49eULL, 0x4dad117cea62b134ULL, 0xfd0665cc65e60d7aULL, 0xbaULL, 0x269581acc84615dcULL, 0x29d5409fa1210f55ULL, 0xa03e5ff09f2c2672ULL, 0xc46aa06523d16379ULL, 0xc76562700c91238cULL, 0x99c01ef9b842d1fcULL, 0x6796850a7552b40dULL, 0x6e40f796ade4ba5aULL, 0x154ULL, 0xe64adb8a152398bULL, 0x69a9bbbac5641e8cULL, 0xa84e7cb6fe52d25cULL, 0x534be1a8138e0dc1ULL, 0xf7cde69edd2e327aULL, 0xbfea8eb85e8bf116ULL, 0xed92cb18df56b456ULL, 0x571de8707f4e4097ULL, 0xcfULL, 0x7f713ef28e61774dULL, 0x6a7bd0f9943453b4ULL, 0xdc62e1219bed985fULL, 0x3cd8de19b2e63b82ULL, 0x843dfe17e6de179bULL, 0xf5934d4a05a7caa5ULL, 0xc6f5060d5d674a6aULL, 0x6c25affd812d6ac6ULL, 0x168ULL, 0x45d96d4bf5359f1eULL, 0x95f8a3f5cdf4d726ULL, 0x4c555987ec72c234ULL, 0x410ef4c898484f58ULL, 0x8caf3529f7b79cfbULL, 0x925fc15fdae18c4eULL, 0xaf6a93cd4c064512ULL, 0xce8962dca6c629b9ULL, 0x40ULL, 0xc4747a390ffc181dULL, 0x90384e0b3089d688ULL, 0x147b417c4f4e4ec6ULL, 0x503225eb9d8618baULL, 0xe3be5e3e40d284a9ULL, 0xc82e1597af1aee33ULL, 0xfe951e4c31b2df07ULL, 0xcf0e1cc73ce5c3edULL, 0x14fULL, 0x76eef284fbd0109eULL, 0x5fb8e978bce7ccbULL, 0xd5d11b7da5e84604ULL, 0x22905002ddc4d1f5ULL, 0x39408e879a63642ULL, 0x4ac8afaef9c02e78ULL, 0xd7d163237cb297e3ULL, 0x3e1dffa863a1be2ULL, 0xcfULL, 0xd1058391a7c45809ULL, 0xe2342e866fa85136ULL, 0x8ad06d27f069c446ULL, 0x897b8168a05c4613ULL, 0x1fcb721b32f89c2ULL, 0x166b2d05a2466118ULL, 0x5dd113568d5e7652ULL, 0xd59acc355ce20828ULL, 0xbdULL, 0x5edbe07a70151944ULL, 0x936a59bc9c0dcf86ULL, 0xe37eb5abcfd36ee2ULL, 0xc8bdf0a4105ca342ULL, 0xa6527921f47f04eaULL, 0xec67984f1223d01fULL, 0xf63ee91d978e5d48ULL, 0xce7c849fd18d6b98ULL, 0x11dULL, 0xe4d068dd31387d6eULL, 0x551b53be80a06e3aULL, 0xf0ed6a73455ef561ULL, 0x9efce8784a74fc8dULL, 0x55ae449862800919ULL, 0x3f97292b11799b6ULL, 0x44dd73be3b32ed85ULL, 0x275ee74845246fb1ULL, 0xe9ULL, 0x4e8168e46125b060ULL, 0x8f13b2a513e8e605ULL, 0xd08fd358aee34770ULL, 0xcc31a5e878850b07ULL, 0x4c56891bc5498dd1ULL, 0x35eaceb4d5653b15ULL, 0xede4f913c038c118ULL, 0x76f8edf11d8ac847ULL, 0x11eULL, 0xfb2521832aa5d016ULL, 0x668e8fa99d52a0baULL, 0x1367908d9ed84340ULL, 0xa46f499a2324487fULL, 0xb05317451711694aULL, 0x376f428ee594c72ULL, 0xfbe95644adb6ea7eULL, 0x659b15d1929aa268ULL, 0x1faULL, 0x797724e51b113c33ULL, 0x6f323f3f6e5c2709ULL, 0xa78465878401483cULL, 0x1d4429a43d2ed4d5ULL, 0x39eb623726145463ULL, 0x6b76c614a177ae9dULL, 0xcbfc0ba76a3b7807ULL, 0x3eae5ebbb5e8dc49ULL, 0x35ULL, 0xdadfa8e2f212e84aULL, 0x5002abf6acafcfd1ULL, 0xb04aa4f3eb998261ULL, 0x589e22223d94c29eULL, 0x2e641f83bf80c886ULL, 0x7ed19b266daa585cULL, 0xba674ce5fcd6c672ULL, 0x3ddd500d48a725e1ULL, 0x163ULL, 0x6a64e78aefc8b202ULL, 0x5efa20ecf77e1e00ULL, 0x7b93af4b2764889aULL, 0xcd28962de74342a4ULL, 0x69ff9b5657c3915fULL, 0x89de7b1f19d26db8ULL, 0xdc3220273e9a7e33ULL, 0x53cd90d29f48709eULL, 0x95ULL, 0x890eeb6b03be3509ULL, 0x168a65a2352955f7ULL, 0x961e07f285575cf5ULL, 0x49232c7902f07deeULL, 0x11ac9f6dd2a69ceeULL, 0x212af880746da43eULL, 0xa76483ac894e5385ULL, 0x12ac0b3887ed4937ULL, 0x157ULL, 0xb496151060eacefdULL, 0xb3cf1bb021c1f9e2ULL, 0x1938c19646caf4c9ULL, 0x42cd026409812fbeULL, 0xe00c39158cca0262ULL, 0x22aaf92e08512452ULL, 0x6c2e3f6408d6cd3aULL, 0x32f6e43bca4f474dULL, 0x76ULL, 0x50e30e129d3bc250ULL, 0x314e06e1707a9021ULL, 0x6aed1379ef160251ULL, 0x430cddfcaaadcb49ULL, 0x3323d99735f47da8ULL, 0xd804dc5e7db4a092ULL, 0x93350dc5db9ab585ULL, 0x58d3820205125d2aULL, 0x6fULL, 0x56ea2fe5141adfc8ULL, 0x8fca6f2749de8c7fULL, 0x54f1ca5d1cdd4c69ULL, 0xac883959c9d429c0ULL, 0x4ac72454d1ecff9aULL, 0x2a508a0dd32379e5ULL, 0x108480353254077bULL, 0xa105857fc52e78b5ULL, 0x3fULL, 0x181833d842de73a3ULL, 0x27564724f7b7818bULL, 0x97f0d9c8e3e8c754ULL, 0x30657967f3df6397ULL, 0x8dd7d472431cef22ULL, 0xa3c81ef8feebcd63ULL, 0x62c24ed1dec42c44ULL, 0xcd8fb0c6763f6117ULL, 0x10ULL, 0xcfbf1767eb32ba4eULL, 0x1a14fe68eef10711ULL, 0xd360814bc3d42f78ULL, 0x47b15d6379ebd883ULL, 0xd89028fa99550121ULL, 0xfcb7ef490336e27cULL, 0x7b19bf60bd7d826aULL, 0x918b6af7bb0fd233ULL, 0x1ULL, 0x8a7e5fe482b9ae0bULL, 0x231045513edaf15ULL, 0x3c78f5b67578ed02ULL, 0xe6d42c05fea2c131ULL, 0xda562d2851ea29a3ULL, 0xac8b5cc516beedcULL, 0xe310e7c0914794b7ULL, 0x4085acf96adfbf5bULL, 0x5bULL, 0xad03f0c41da235cfULL, 0xefa43d8cbcc94c56ULL, 0xc7bcf2b54d8cd70ULL, 0xbd4a625abecbe8c6ULL, 0x653cf9752d7c1704ULL, 0xce7ba651f56d5d23ULL, 0x5d96c1c10dae04e2ULL, 0x63c64d5717bfe5b1ULL, 0x118ULL, 0x8830ccf4c4aa762aULL, 0x1f65e94d2e1d4895ULL, 0x3f03e9ae880860a4ULL, 0xc61f2d7e0f80cd02ULL, 0x23abdc81737762a7ULL, 0xddf84742bbd25362ULL, 0xfc7ea2de2c231ff2ULL, 0xd6f0445bc5b4182bULL, 0x1fdULL, 0x593517e1feb7faa0ULL, 0x1b238b77dedbbc2aULL, 0x1db51e7221ba97e3ULL, 0x92888a3225075686ULL, 0x2878ca5f46d1510eULL, 0xafaaaf9f84770273ULL, 0x92647215a7d6763eULL, 0xfdd72a0bd28993cULL, 0x4aULL, 0x2a32475293e996a8ULL, 0x1b1e62e1161f63a3ULL, 0x1e57dc741764f57bULL, 0xeefb8ae26832da12ULL, 0xdefedcdea9f81112ULL, 0x80e83115a9d1972fULL, 0xe550ee706ef9fd92ULL, 0x76f6371a11c788faULL, 0x37ULL, 0x4c7d52189995e241ULL, 0xcb0605e9898176c6ULL, 0xf328dc9c73729953ULL, 0x208fc59658a47f39ULL, 0x1133598913b2a15eULL, 0x5a3fcf268cea6ec6ULL, 0xb2dc2639538d432dULL, 0x13a55dcfad638506ULL, 0xf4ULL, 0x139d89d74a01c8eeULL, 0x5c06bc49d7f2b435ULL, 0x4523a88d95a1b541ULL, 0x9b2f03d06ffa61b3ULL, 0xc7b297055467ef08ULL, 0xe7b2b1950cdbae61ULL, 0xb55620ded8d263d8ULL, 0x456bc1e6cb7def4bULL, 0xadULL, 0xf6bdb4a4a1074e83ULL, 0xb3973197ea2c5e01ULL, 0xf936ee88917f519aULL, 0xdc38d2f8a3747d2dULL, 0xc58f002f34c230fdULL, 0x9d731f75a4eb4c54ULL, 0x5b1388868c71f692ULL, 0x34ec75727829d5dbULL, 0xafULL, 0x18ab72cf90b1560eULL, 0xe502dba4e8b5e8dfULL, 0x114ab7d74edafbfaULL, 0x698f87561fb6769bULL, 0x396a0a73f96921edULL, 0x1b868683ea079358ULL, 0x9310d93695aff529ULL, 0x79a7320ec35d284aULL, 0x168ULL, 0x8190c861b6ccd73fULL, 0x41346a395dd69bb3ULL, 0xf5d75116062b2e70ULL, 0x8867935934014435ULL, 0xac0542c71955b681ULL, 0x16f0562dc0507f43ULL, 0x594ccc1b7b10f975ULL, 0xed3fc46434bbdc28ULL, 0x199ULL, 0x91e77374860bc275ULL, 0xcc825d53c8b004ceULL, 0x85133d18bf8403a3ULL, 0xe4abf4f65611799bULL, 0x2ca9240e721fd256ULL, 0xe023365c60d232c5ULL, 0x83f72328965df6b6ULL, 0x76f720cf97c214bULL, 0x2bULL, 0x724d9d055cc6a702ULL, 0x67f4c5fa46eb5be5ULL, 0xa7921bee5c0d0311ULL, 0x6ab33fcd6cd9d893ULL, 0xa9ff9e6f9904f3baULL, 0x7461942625c1bcc1ULL, 0xdfe7069af9038e8eULL, 0x91e72ef4110be52fULL, 0x67ULL, 0xc135779fbdcfdc9fULL, 0x435f7efff7caa7f0ULL, 0x558c14fe5bfd73b9ULL, 0x35eca91180c39e64ULL, 0x4eb8b11f4f906aULL, 0x93c95ba6914608f7ULL, 0xef307a385d390fb8ULL, 0x229c0aefec5474f4ULL, 0xd8ULL, 0x57d0ed1d402d4b0ULL, 0x8afb4a3913c245e9ULL, 0xaa71279d4ef320f1ULL, 0x711685305eb30e57ULL, 0x1e319728593f45a6ULL, 0x3a74dfd13ac0a1f3ULL, 0xe93f2a091080b3a3ULL, 0x399be76ba3a65fe9ULL, 0x1fdULL, 0x28311eb856975c36ULL, 0x80eaec9452781b51ULL, 0x68712ef8eed951c0ULL, 0xfc2b141cce0a47a2ULL, 0x6da21f0c635f52beULL, 0xda5d1ebb99fb84e9ULL, 0xbb583fa153c9cb62ULL, 0xc7b196b181bc56f3ULL, 0x2fULL, 0x8e0e39d29bbd609bULL, 0x4aaf48397bdb82a1ULL, 0xee61c6a67522dc73ULL, 0x504c4938fed5058cULL, 0x1224af2da0d3ac3cULL, 0xb5b299f3d7a42572ULL, 0xa97d7f40533398a1ULL, 0xe2fd3460a253570ULL, 0xa7ULL, 0xdd189a5d27218eb9ULL, 0xab9b2e16325d829eULL, 0x42d97354d58b2b47ULL, 0xb7994a47384689d9ULL, 0x3c5c2e27a3d86af9ULL, 0x8dbaa0caf5104664ULL, 0xe47d6395c906200eULL, 0xd4144825e604badfULL, 0x1eULL, 0xf7f6b73ea5d1fd3bULL, 0x7a2c3b363c494f69ULL, 0x9b9e74cdd6334624ULL, 0xd00841606d93f46bULL, 0x434a35ec6b27c74fULL, 0xac7ad91472a37200ULL, 0x550a0c82ef2295f1ULL, 0x18256d011e7f38f9ULL, 0x119ULL, 0x846a52b55f789835ULL, 0xd546f682d1a48ec3ULL, 0x480688da2b67207bULL, 0xc1de6fdb0d80d657ULL, 0xf52774b6d4bb321fULL, 0xbadb5481b8292c1fULL, 0x32ae7d767319002fULL, 0x6f4fe6838bd164a4ULL, 0x45ULL, 0xaf95accb44c42e7aULL, 0x9a2b0ea74f966eb2ULL, 0x54204c477a338ab2ULL, 0x991133cbcc7b8960ULL, 0x79a8501062f00719ULL, 0x64187960cb8f6840ULL, 0xa0065a3d9410b8b0ULL, 0xd0363826cecaa8acULL, 0x21ULL, 0x73b27c719d07ad83ULL, 0xf8fd631b1081c766ULL, 0x7203923992821215ULL, 0x86ebab3bb158214aULL, 0xfc227440e78dde3bULL, 0x2b35064d330819c7ULL, 0xcbe92e84af7b9f08ULL, 0x42388d3c11a4f9feULL, 0xdbULL, 0x4b9b97542d09b31aULL, 0xe69077cbb11fb3a2ULL, 0x3301aa0f0d43e875ULL, 0x1f0c56eb21bc586aULL, 0xe808706255541c08ULL, 0x3a93bbbfee67e8feULL, 0x8718555cb90fe227ULL, 0x490a3d5647c512a4ULL, 0x17fULL, 0xe6b854abee17c771ULL, 0xcca3b0f3aa696de3ULL, 0xd8a77e0ad522309dULL, 0x5bd711a87e120eeaULL, 0x3e8bea0c4afd1e70ULL, 0x260a53d6dc63971fULL, 0x2bb701cc7ea054e2ULL, 0x5864557457ea4bb7ULL, 0x1e3ULL, 0x61bcb83fbeffaac9ULL, 0xf03f56ae38542029ULL, 0xd91e7755ede43d06ULL, 0xdcfdcb18ac79b570ULL, 0x3c43159f86111cf5ULL, 0x10911482349d183eULL, 0xe1ba72c0e043c39bULL, 0xfbf8a8eeac521a0bULL, 0x9fULL, 0xa9be8ca56436a3e0ULL, 0x3b454c15b7fc4c45ULL, 0xca7c35bc0f6b9ca7ULL, 0xc35d5a47857bb28ULL, 0xc1e76039d98a19acULL, 0x2e3622b02881b91eULL, 0xbf1824c4ab5be28fULL, 0x6e476e1b495f5b0eULL, 0x1adULL, 0x13f3fa7d9b377024ULL, 0xa9bbf81fe6db6b4ULL, 0x83985bf266f600cfULL, 0xe2ef690f0588e698ULL, 0x3a9605110cdf761fULL, 0x24340fafe4504d78ULL, 0xd4963e7c78d68ba5ULL, 0xbc827647193676bcULL, 0x1a7ULL, 0x911b3edb1ed0312eULL, 0x661edc8f9694cd12ULL, 0xeda9f6f32000a510ULL, 0x82064525c8adcb9ULL, 0x1409f83fc4537235ULL, 0x2f7e5957c44d2609ULL, 0xa511655f8aa1a076ULL, 0x47f7241f61ad79cbULL, 0x7ULL, 0xb708c13e37a3cbfaULL, 0xb46ac767ce4e8521ULL, 0x3e6593a04cb98ad7ULL, 0x69032f157fe3d49bULL, 0x9b20425e29da03dcULL, 0xbac7e9aa9c5328c2ULL, 0x72b6b1a551b57731ULL, 0xdc09896ed7da07e1ULL, 0xbbULL, 0x7c36f72c33907521ULL, 0xd9fb497c4a41d0f5ULL, 0xed6a4ae819dcbf7ULL, 0x63f8867882d3d8f2ULL, 0x7d2cfd9c99685693ULL, 0x5afceb0c48364946ULL, 0xd6b1a390e1266484ULL, 0xbd2c87dad398e697ULL, 0x36ULL, 0x36ee24fa019544adULL, 0xec33d068162339ebULL, 0xecdb2465a11f1810ULL, 0x32aa94cebcb1fcdfULL, 0x8edd6505541eba3fULL, 0x907af3769061a374ULL, 0xa3803c0eb3857c55ULL, 0xe481ab6c6c58ecc5ULL, 0x6fULL, 0x99e591b7094ae26fULL, 0xa71e8c9a19f279f9ULL, 0xa9870c27b693c783ULL, 0x2228323d856a7d4bULL, 0x7cc271af73e7b8eaULL, 0x4b8e7be2047d48fbULL, 0x3a7a8e8c87012939ULL, 0xda7d854ecaca7f6bULL, 0xfULL, 0x911124958cff777eULL, 0xa965b0b4b89bad7fULL, 0xe9556292e381a02dULL, 0xf08c2e9285220b41ULL, 0x5d2f4ecfaf86575eULL, 0xbbee8ca119aa104fULL, 0x27db20a932599a07ULL, 0xc64fa4ff4e497101ULL, 0x1d5ULL, 0x83e840ea49276e6dULL, 0x4cb13697007c012bULL, 0x966df8e07c0d6e7dULL, 0xc8dbe5024ceed870ULL, 0xdc46fcb3c93a9180ULL, 0x3f673fe453d48da0ULL, 0x39f28b4a5c3f5930ULL, 0x3f913b632a8cc6b3ULL, 0x174ULL, 0x78ce3bbe6233a3a9ULL, 0x3e7e868eea95aeb7ULL, 0x2d37f47d766a56c6ULL, 0xc5f70cb30a404dfdULL, 0x62b63f193795af58ULL, 0xc020f7423ba0fb82ULL, 0xe89c132e09b76bc0ULL, 0x62f67299c667048cULL, 0x109ULL, 0x81f28fbfe411c254ULL, 0xac0d1e641e5040feULL, 0x9a752e0484dce259ULL, 0x5f8b627b1e348a2aULL, 0xcee34452cff4674cULL, 0xf4ebbc1266485a37ULL, 0x70cab54815a2cd52ULL, 0x5ebe682da56ae780ULL, 0x185ULL, 0xae0584ff1f896d04ULL, 0x6aee31a95f913a44ULL, 0x97c72a162987709aULL, 0x45680fe2084f3ecbULL, 0x33f48e952189421cULL, 0x3d7ca8f1fb9ffab3ULL, 0xa43f5ae2248fe0e6ULL, 0x86298f517a01be0cULL, 0x1cdULL, 0x85760e3ebbd918efULL, 0xe6df18d6de855b80ULL, 0xf546b548d9129e4dULL, 0x2503dec8929b2f5aULL, 0x31781bd95b8401f8ULL, 0x3fa7b4f53d0f8ae9ULL, 0x53a52aee481d7de7ULL, 0x8130db412845bc6eULL, 0x53ULL, 0x2fd9da4692f8f74bULL, 0xca274b3bf9774d01ULL, 0x88ed0ab32c81b0e2ULL, 0x32a6554d1800eadaULL, 0x2c55a6eaa2a98246ULL, 0xcec51f22ea4936c1ULL, 0xaffade98754e5e19ULL, 0x425f49a61260dc11ULL, 0xfdULL, 0x8ff43a25544f847ULL, 0x5f852bbf655c6081ULL, 0x68147d49a18aee4aULL, 0x2616a72758d05e7eULL, 0x43733a08da19ed82ULL, 0x55382ea84fbbea10ULL, 0x2a1a67db20bbeecbULL, 0xd9dfe9124b45ec42ULL, 0x11bULL, 0x623f5c43cb8e891ULL, 0xdd20df9fc4bee807ULL, 0x41eb3734543c7b5bULL, 0xdbb9f66501bead61ULL, 0xa7e4331d8cda59d9ULL, 0x44ba9fb6d94deef7ULL, 0x7ccd640bd016ee9fULL, 0xe321afdf119be725ULL, 0xafULL, 0x2fbec99998a4635ULL, 0xae23290d266ae076ULL, 0x8c5e78f15e5faa07ULL, 0xf2b39d209bceca71ULL, 0xbae194e45801ead2ULL, 0x6f8500f3cdc835e2ULL, 0x83e3ae6ecb597ab7ULL, 0x33498a0452643b56ULL, 0x89ULL, 0xcf2858d4e6ffc099ULL, 0x5c2148b69aa28473ULL, 0x26c26024f3cb7573ULL, 0x48974b781a05a3f6ULL, 0x5c5114b11d2c02f5ULL, 0xa385d3b06cf657bdULL, 0x1613998d928fccc1ULL, 0x687a80aa05ecd818ULL, 0x82ULL, 0x1054634042365217ULL, 0xfc2fdde7e7b29350ULL, 0xba10f4186da627bbULL, 0xb43eb1c6743d4266ULL, 0xd0fe0e08d1e59bedULL, 0x11815601ecfd4e1dULL, 0xb1f7a45d74f0175aULL, 0xeced54fc43899bdfULL, 0x141ULL, 0x3421f275ecc71ca7ULL, 0x93d688650695b195ULL, 0x1263282bd1581bULL, 0xf5bb5c2548530d6fULL, 0x1e9cc988f76b4111ULL, 0xad8bb56239ffaedULL, 0xe2a591786375c334ULL, 0x1dc3b6f74ddce62fULL, 0x1b7ULL, 0x21a133b87dc55b71ULL, 0x608b557e8a476f0dULL, 0x86c381ceb6b2e0c7ULL, 0xe53e8e94886c7c49ULL, 0x88e61335d44c7e55ULL, 0xa8826339fd3ce3c1ULL, 0x4c2c974bf8b5d8beULL, 0xb8feb38581ed1306ULL, 0x12bULL, 0xa702c6d84e675a10ULL, 0x521b4bd89d2a0538ULL, 0x8ec5586a878c4e86ULL, 0xa98724ecd5da659eULL, 0xc8fd4aa092243cc3ULL, 0x82611363e9f661ddULL, 0x8c17c0863c4e8b25ULL, 0xe88feb86affa09b0ULL, 0x139ULL, 0xd25ecf7a9ef254b8ULL, 0xe084e45fff18a41dULL, 0x7f6c18b84b6d0d51ULL, 0x4a2ba499327b32aaULL, 0x40b0d0347147aea4ULL, 0xd917eaf31fc1b43dULL, 0x7deae2e6f6893c6bULL, 0x2a5b37018ea3d268ULL, 0xa3ULL, 0xbf92ad3bb3e8ad6cULL, 0x3178696761393569ULL, 0xcd4faf56ab9e5f78ULL, 0x475d28fe04d3dca2ULL, 0x955d6e9208c5c1d8ULL, 0x7094e5a46db3df74ULL, 0xba8ba70beb360f0eULL, 0xadf4338b9cd6625bULL, 0x162ULL, 0xca691c5b8721961aULL, 0x1ef6ea0162f83f2eULL, 0x95128d6e28253ff3ULL, 0xe94cea10c81b027bULL, 0xb8621f75c23c1117ULL, 0xb4e93d16e4f0cea4ULL, 0xb8b6b69f04341100ULL, 0xbef90c598ebac85aULL, 0xfULL, 0x654aa855a734aa69ULL, 0x3406c2433032c252ULL, 0xc200471b25e4605ULL, 0x8ffdc704979f1b19ULL, 0x4067681a152ece4bULL, 0x718ed601d52388faULL, 0x6a36bee2b5c00524ULL, 0x53816eac0f1c93cULL, 0xe3ULL, 0x2d247f017aa53588ULL, 0x30ac34d84e4604edULL, 0xbf7381f1604523f5ULL, 0x1ad31444c3c802efULL, 0xe8b74d6efc4937c0ULL, 0x8e6a23f1a2b712aULL, 0x100df1261bdc669eULL, 0xf316459df6010357ULL, 0x101ULL, 0x57981f8218eaa4b9ULL, 0xc009a380a60b71feULL, 0xa7824e6d69b3d65bULL, 0x4934ec0780153348ULL, 0x8b57d0367790c00bULL, 0x53bc6f9b1393e007ULL, 0xc53d4c0a0325afcULL, 0xecaa16e309e4cc05ULL, 0x1e7ULL, 0xf872de3b589b0fb4ULL, 0x84af92be3b2f7e62ULL, 0x1a83231ba74083b8ULL, 0x6eee89ce63bc9e27ULL, 0xdb3ad53e7e531870ULL, 0x8180e7a87d8b8366ULL, 0x63d7b6278f23ad3dULL, 0xa7f6bf2b064e7641ULL, 0xb4ULL, 0xab4ba73a2b942598ULL, 0x9f60dbe11bfa1afdULL, 0x4af9c0b5c4ffb4b7ULL, 0x762bb9e29caa3828ULL, 0x22af2f1c0d3ec019ULL, 0x3786539f1f31541eULL, 0x145205bb914a9e45ULL, 0x23377d2581fbc667ULL, 0x65ULL, 0x133d8df2f8bef7f0ULL, 0xb1ac5888e30341a6ULL, 0x534e4faef00dd4ULL, 0x921a79d1e48fa04eULL, 0xd59c50ee6a8b03deULL, 0x61bb57724fe003eULL, 0x6e44cdedc2936c8aULL, 0xe06a3300759b925fULL, 0xdULL, 0x408c999f410c8e3dULL, 0x555d1edc46a9e8a4ULL, 0x5b5e38633cb03bccULL, 0xa953e888b2a6d587ULL, 0x2677a3c13eb86b3bULL, 0xd28eddcba4e8c0cbULL, 0xb82649a4a74b8675ULL, 0xdd0f20e760080dc4ULL, 0x1a5ULL, 0x1e4dbe3661be9723ULL, 0x5d95b1d562366e3dULL, 0xa1afe771cf464bd9ULL, 0x5e8de0723175d1e1ULL, 0xffa1f2b79959d4c3ULL, 0x5e7377f33e1b56e4ULL, 0x6a41aa14f69be5e0ULL, 0xa31186a95e5bee4cULL, 0xfcULL, 0xccfb9bddd6e43706ULL, 0x5a6354a85456a3dbULL, 0xfa027588a5667959ULL, 0x86f78887c47ec552ULL, 0xaa03de05497be763ULL, 0xdfaa67cda9e4cf2cULL, 0x98a38efbb6e4e479ULL, 0x1d2c3d45bb3d142cULL, 0xd9ULL, 0x94c8a4a0af790b05ULL, 0x942f1b7e02510150ULL, 0xb3fab168927510c3ULL, 0x8dddfce7ab952df0ULL, 0x6f3e9e40caf4db26ULL, 0x8ed560ce161e11aULL, 0x55758ec0b6ed2abeULL, 0x68cc72c960b215a3ULL, 0x18aULL, 0xd393b187f41b3eeaULL, 0x61c16ad917012972ULL, 0x162d12a03cb60620ULL, 0x1657a236aa4d86d9ULL, 0x13a9f790fe3f1381ULL, 0x4b4aa104471114aeULL, 0x9e97414bda990d7aULL, 0x3e76043417d5a6ceULL, 0x13cULL, 0xf47fa5cfc36b61c1ULL, 0x151bd3c3e82b868eULL, 0x48d5fe426bd64de6ULL, 0x52e5985180bac6e0ULL, 0x6a04186cdbaa20caULL, 0x92588cd08c177092ULL, 0x2bf1cb038666cecfULL, 0x18be90bf9d301a3aULL, 0x8aULL, 0xca0369e029e99b35ULL, 0xb43a2715e22b6427ULL, 0x348c8ff28c7c96dbULL, 0x9e9b91032e098c0dULL, 0xf541bb6386a3ca0aULL, 0x3e215f839479f4e7ULL, 0x316f8402281e6811ULL, 0x4105ba4845b96a67ULL, 0x4bULL, 0x23db4ffc8978624bULL, 0xc26559715eac5fd8ULL, 0x98a76b484a87162ULL, 0x35e91d0c9f77b305ULL, 0x9b9f4a77c17311eeULL, 0x35c48b45212297f4ULL, 0x153942fa5ccff607ULL, 0x2f83a7df53c0cf2fULL, 0xa0ULL, 0xd92e2a13ed2b11d8ULL, 0xd64ce942d95c8e8dULL, 0x4b7869ab934b7001ULL, 0x7d8e33659785327cULL, 0xecdf4a7d0a56e7abULL, 0xe9fe604bfd51cabbULL, 0xc5828e3ce0f320b8ULL, 0x1a10803592eaaa26ULL, 0x17bULL, 0xaa07fe8e533eeccfULL, 0x804a9553d798af7ULL, 0xbbeb98ac74a7fe6dULL, 0xc3d2b7df5944bd28ULL, 0x8318539b16ad0a87ULL, 0xd7439550155f9351ULL, 0xafe127c90fe24408ULL, 0xdad40b0d9e8ab8c1ULL, 0xf1ULL, 0xa1f48969e4c2fa08ULL, 0xa764b17a2aa5eed3ULL, 0x5a35e49eeecf89d4ULL, 0xac381366ee67b9cULL, 0x8675d3e700a5629bULL, 0xccf78b883d137441ULL, 0x3e19c7692b14076dULL, 0x6654dcc735d847cfULL, 0x116ULL, 0x18b27f7b4129640dULL, 0x8e94bc76accf8a91ULL, 0x3874930344db53aeULL, 0x76aaee0a812fbb1bULL, 0x3a86904433d5907bULL, 0xea5a99ece07fe23bULL, 0x6d27839332c6bb33ULL, 0xf7f143685842c3dcULL, 0x1cdULL, 0xedc45875cdb76f6eULL, 0x8ca374840c5fee58ULL, 0x3b037f3cb3ab631cULL, 0xb7b43c5a434c10b3ULL, 0x3c0215ad8b2335b6ULL, 0x416358fdef4c03c1ULL, 0x6a6254e4049fb3dfULL, 0x40209f70b92a2cf8ULL, 0x41ULL, 0xf60481669e10a539ULL, 0x29a515c63cef2b81ULL, 0x425f2b07d8ec4937ULL, 0xd0016016c8e9add4ULL, 0x159482913f742815ULL, 0x3e644db5393d5a81ULL, 0x571a7ef4d7761562ULL, 0x28a3b4a492167e28ULL, 0x102ULL, 0x41c0cd08e94d05d0ULL, 0x49733c727e7c758eULL, 0x8f28e5d41475cf6cULL, 0xa336f92686250ffULL, 0x83e11a10f6b22caeULL, 0xf03bf8d42c29b05dULL, 0xe9ae844696914b02ULL, 0xe76d53fab6a0f7b5ULL, 0x17eULL, 0x4bf4ff123907f137ULL, 0x8fda540858db7d65ULL, 0x32cff31b5c70d557ULL, 0xb2406db5a27338a2ULL, 0x7a58aac3026e830dULL, 0xd208f9aee72ca282ULL, 0x67d38ff13a5873dfULL, 0x17df9855d9a82c30ULL, 0x88ULL, 0xcbb3e7aae952de5aULL, 0x3cd5e7261ff9f6d7ULL, 0x580e133cb1c1184aULL, 0xc4fb933fa5befc24ULL, 0x14272142163c6ccdULL, 0xf8fb8b5612b5a5d2ULL, 0xb42c25a916797ab1ULL, 0x684d7538c68b2dfcULL, 0xf1ULL, 0xbe2e8e8b6c2251baULL, 0xb88b78094cc41fd7ULL, 0x134e593a4a35ff98ULL, 0x7be92f8df0efea89ULL, 0x1be15aa559cc6cedULL, 0x999893426402730aULL, 0xaf63e49c4d86c037ULL, 0xa0937adce7bd87c8ULL, 0x1d0ULL, 0x980090d3357e3226ULL, 0x396673b5fcf71752ULL, 0x195520ad0c10de42ULL, 0x1f8978eeb4c71120ULL, 0x2574ccae4e630c03ULL, 0x1bac1bf0b307d203ULL, 0x1c251a04b1fb7ac5ULL, 0xce1d5635b84b252bULL, 0x137ULL, 0x5441fb605235dee1ULL, 0xef487c2449f7e2c7ULL, 0xc174aee98971227dULL, 0xc1b9029c20f7959bULL, 0x932122a692874ad8ULL, 0xf64ba93aaf12ffb2ULL, 0x4105048b8b18582cULL, 0x3e580598f32616e3ULL, 0x175ULL, 0x8ea922049d3284f9ULL, 0xb3da197e2a053b55ULL, 0xd1cd99f011446f57ULL, 0x1eeb2eb9b53080a7ULL, 0x2cc57f65b4035956ULL, 0xada0f4ec69d4394fULL, 0x2be27667c968304cULL, 0x195c13315b7ebc0ULL, 0x13ULL, 0x89e4d58aec8ec14ULL, 0xd9ea05b77ed16d52ULL, 0xff1334c56379e23aULL, 0x6ade90ca61f1072cULL, 0xce42b6fe113da41ULL, 0xc21fd82132ad99d3ULL, 0x3595f57fdd1f764aULL, 0x5fd3fbf606730620ULL, 0x1f6ULL, 0x27dbb003f889f851ULL, 0xd3819f8d2f2cc2dcULL, 0xbcd5272071ec59a7ULL, 0x231c2597936b0004ULL, 0xd34b97ae0e2336fdULL, 0xf8d6f1d195b4a5bcULL, 0xdc2169fef55640b4ULL, 0x956c9b8dd4b5aeceULL, 0x5bULL, 0x53e98f012b769e4ULL, 0x19f74db4daf2f816ULL, 0x7796d178a898e5a4ULL, 0xff671b5c67f5364bULL, 0xdc849609c2662a55ULL, 0x1bb82382580e16a2ULL, 0x55ed9208bf74dcfaULL, 0xe05cb47c43bf0644ULL, 0x91ULL, 0xbb6a087209221d1bULL, 0x3c54dd08c5d1d49fULL, 0x9236c127fff757edULL, 0xf1980086bb6aa89dULL, 0xc76623b31ac70c74ULL, 0x7359cc64c58897f6ULL, 0xcbef9fca2a70c150ULL, 0x6f497e3f96b68c32ULL, 0x42ULL, 0x2f60187a9e0760bfULL, 0xafc1a5c13033be7bULL, 0xefbae081e3c92b90ULL, 0x63f8363cf47d10b7ULL, 0x942dab3082a1e55eULL, 0xc41e20368b4a1e20ULL, 0x736c15ef02e91a79ULL, 0x9bc43d1cd9834383ULL, 0x1aULL, 0xb6eac4b006adc455ULL, 0x86685e1b3fb3c284ULL, 0x5dbfb6ef0354dd9ULL, 0xf607c2c98327c85bULL, 0x333d3e8b70a30139ULL, 0xd7cbd1f9279ea8f3ULL, 0x84fdf0314e63e2aULL, 0xc215efc9cfe9007bULL, 0x1a7ULL, 0xdab8e6449a0d5ed3ULL, 0xf87c66b79af981cbULL, 0xfa4af10316d3b0c4ULL, 0x819c1c6908f38aedULL, 0x30eb8d44bc596a44ULL, 0x37c6fd3707ab0888ULL, 0x37fbe52adc2a17f5ULL, 0x896c2fa72a881a51ULL, 0xa9ULL, 0x293e390925fbd4b8ULL, 0x9d213ac0c1c2877ULL, 0x2ed43ef645ca42bbULL, 0x3469f5beffcfb2d4ULL, 0x36bb62338f678141ULL, 0xf013e23f0e17a330ULL, 0x12af15ad88445c3ULL, 0xdf2d4f809908d2d0ULL, 0x104ULL, 0x7d423cca82fa3a48ULL, 0x6a593901adf5adf8ULL, 0x9e8080e9582747b4ULL, 0x86b4804e7c356435ULL, 0xe32aa3ba95fb11c2ULL, 0x27125b0b89a4111eULL, 0xa5e3462587abf44dULL, 0x9cfb5e2a4752a66cULL, 0x1d1ULL, }; #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, 0x9aa53b475a714194ULL, 0x1163dd86957d5ebULL, 0x5bd2c24f908f5929ULL, 0x87f519f4dbe42b0fULL, 0xff767379fb6b5ad4ULL, 0x4d0f8bba9a193f28ULL, 0xf3c42bd0ee549d79ULL, 0xbf851d3f825244faULL, 0x9bULL, 0x825ffb609f78b57fULL, 0xd1913668e0f74b73ULL, 0xf42a5b035468f89dULL, 0xa2347499aacae46cULL, 0xc771e34cc85272e8ULL, 0x295684c1d427d3a1ULL, 0xed749903433451dcULL, 0xb872072c0cbabbd4ULL, 0x49ULL, 0xce9c92ca584b7c20ULL, 0xba7bf9ebbf253887ULL, 0x72bf97f580889260ULL, 0x307ade4d24ab539fULL, 0xfc1402fb2255eeacULL, 0x6b031241e6a998abULL, 0x2b47aa839cddd22aULL, 0xfd9bb9eb9db9d785ULL, 0xe4ULL, 0x5a861c2543dadc9dULL, 0xf06906c85aeb79abULL, 0x78b5b71d819c77a1ULL, 0x45537fede40e0653ULL, 0xddc8f58d9a362088ULL, 0x38f6fb4e76e62b0ULL, 0xbf407be51672e8eeULL, 0x49b3da553daeccaeULL, 0x1a4ULL, 0xc2d7eaa1c6884ce1ULL, 0xd7b35c4f9faf6322ULL, 0x8d1a1d85337ea884ULL, 0xbcc6a8090f946ebeULL, 0x45eab172754fb8d2ULL, 0x1e0b251e91dbd926ULL, 0x4b61112afdce8503ULL, 0x80737c4915fa4759ULL, 0xaULL, 0x1973c88b40260e22ULL, 0x83078cb7e48dca69ULL, 0x4815d67fb199e3ebULL, 0xf57bde1f7b4de5d3ULL, 0x88a1ebb5e139dc10ULL, 0x7c20e7c66689dd21ULL, 0x40cba34680884875ULL, 0x5c82140239171e05ULL, 0x62ULL, 0x61014601ce0c9812ULL, 0x5440fd77c78c6db8ULL, 0xb30de414b1909f69ULL, 0x1a304c0de07e7733ULL, 0x1c50a227aa2cd2eeULL, 0x9ab07e9a41e22ee0ULL, 0xde9fee5f91ad4f74ULL, 0x86e79a59bac31fd9ULL, 0x18fULL, 0xda6e4697700bcdd7ULL, 0xc9df234511535d26ULL, 0xd388244acfb91483ULL, 0x27b2530b9c5fb8aeULL, 0xd866d0d607aa0cc7ULL, 0xb960c20b7f3c714ULL, 0x4d97b6f6c2e9e7c4ULL, 0x1fd9edae523a58a4ULL, 0x1c8ULL, 0xc83e3ebd140ae6d0ULL, 0x5c0a86bf57162f31ULL, 0x2cb84e885f6113a3ULL, 0xd633cb259315fe26ULL, 0x6f15fee775c2748eULL, 0xe1c208c46fa0097fULL, 0x65da2bb5c08acd36ULL, 0xb886807a45f07f15ULL, 0x12fULL, 0x522749febc1fa5d0ULL, 0xbac5b9a06c7ef7caULL, 0x2c2833eeee742215ULL, 0xb43439097b63968dULL, 0x382871e206fae9cULL, 0xcf79e6c6468b3663ULL, 0x923d831d7fbfa4e2ULL, 0xa47a5c240268205fULL, 0x158ULL, 0xd17491ae949cad33ULL, 0x9be094f3e3299176ULL, 0xfbc4c119dd6cfc91ULL, 0x83bc81289b8c563dULL, 0x41879399b1ceb82fULL, 0x7b3f7b9c53c33312ULL, 0xdf99cae79b73c0dfULL, 0xf50d34ffdc68c2ecULL, 0xd1ULL, 0x139075e57e9c72f7ULL, 0x2300bc23895ebfcULL, 0xd2f2c940584a4a53ULL, 0xa3bf5f2668071778ULL, 0xd2086e304da1d656ULL, 0x9ae0e19cccaba0dcULL, 0xebf0d157f5f4ba35ULL, 0x8eb544431dd2bda1ULL, 0x16bULL, 0xd8faa3bcd4cd8948ULL, 0xddc437839d2888d8ULL, 0x1e951bd5581abba5ULL, 0xa52dfab22947d11fULL, 0x8fbb0ed8728a40eaULL, 0xd4f4d06f31d769ccULL, 0xd93b1d93fac908d2ULL, 0x8852b438f5a3b0cdULL, 0xbbULL, 0x84ea0e03c8c88de9ULL, 0x621a808863cdb21fULL, 0x332c292ecd6ec216ULL, 0xfd01ee09c4cd0dcaULL, 0x5354ec9efdfce95cULL, 0x5c307b2a6b8db30ULL, 0xf7b254eab44784aeULL, 0xd38481257e61408aULL, 0x128ULL, 0x9781d1641f402190ULL, 0x605ccddb91bc17a4ULL, 0xa2b10abddc3cd70bULL, 0x57fbc5fc0109aca1ULL, 0x2c2b0035e1a01106ULL, 0x4e037f8d464ca05bULL, 0xe243ae271af21ee8ULL, 0x27e201256ae7f14aULL, 0x129ULL, 0xc71baf77d0301f1fULL, 0xa992100d58fcdeeULL, 0x6efc4afdbad25c08ULL, 0x520526ee446d8d7fULL, 0x4c19fff1f635675eULL, 0x5a84977b8a90d6c1ULL, 0x8be829cb6503c1c1ULL, 0xafa8e6f379f783d0ULL, 0x1ebULL, 0x6a7588e75b36d82fULL, 0x5d4bfa02d7b2cf7cULL, 0x1d01627e5d46b3d0ULL, 0xc7b196a9318867eULL, 0xb30f505ff39cb685ULL, 0xd38c1b1caae29c12ULL, 0xf36f9cdd191b6624ULL, 0xa3d43f5f2f099bc5ULL, 0x32ULL, 0x6fdabe0aa2b9a0b2ULL, 0x66519775c0b3a6d6ULL, 0x325ae5f4daed77f7ULL, 0xfedd86570dcec179ULL, 0x17ed9afbb2247a6ULL, 0x824d7dd84ef50760ULL, 0x6fddde0994707e8dULL, 0x10ab62b6145cdca2ULL, 0xbfULL, 0xd4e2ebc771a3dad3ULL, 0xad5d5c7f1f381fd9ULL, 0x1a91e801f1a3c15dULL, 0xa701729cd4f131ebULL, 0xcc231b64a7cf8253ULL, 0x2e36cded6e30a332ULL, 0x584151a438680ad7ULL, 0x9d68bb65229f7fbULL, 0xc3ULL, 0x514c6fe62691a6a3ULL, 0xfb4480899cec8fbbULL, 0x412154642759cebULL, 0x393ce4a187f27872ULL, 0x83e41d8dcf0bbfe0ULL, 0xcf52b10fa0512a38ULL, 0x231a4ecc777326a6ULL, 0xdb090c20f4297931ULL, 0xedULL, 0xe5339b5454ea39c8ULL, 0x9e9948497f501f99ULL, 0x5a3fcf947ef730a5ULL, 0x71cc4f99d2c5d8a8ULL, 0x55648ee5a7fc7974ULL, 0xf4573cb95c8d033ULL, 0x5a720c0808a4f2b8ULL, 0x8d8c495ac66c13b1ULL, 0xacULL, 0xf50335840399b0f3ULL, 0x7f9187e248aceb09ULL, 0xd9b0d4b6aff3a7d1ULL, 0x457bb3eb4d91da1fULL, 0x6f16a13ccad39a3bULL, 0xb838965e98360980ULL, 0x5a932bcf01ee35d1ULL, 0x5b13cee1761b6351ULL, 0x23ULL, 0x9d9fa624a9c8113fULL, 0xb42aea51d754c469ULL, 0x3fc38db8c26c026ULL, 0x5ae2dfb36c7d5b4fULL, 0x57fb39a1b58cad7aULL, 0x3eac2b78c15a2e1eULL, 0xe3b3bd5adf6a822cULL, 0x46146726928f7064ULL, 0x185ULL, 0xe19707295f2e7b6bULL, 0x19ff978c58a912b2ULL, 0x34511dd5babaa289ULL, 0x5e344058146b043cULL, 0x25d5c8f08e155d2eULL, 0xe3b1fcda50e5727fULL, 0x68ec633f81cde073ULL, 0x80f9de49ddf8de11ULL, 0x8fULL, 0x61430b5ed2647e33ULL, 0xb7d17fb3bc652fdeULL, 0xe63bff89b4e9d08eULL, 0x98155751707b230ULL, 0x659e9bbedc26ed7bULL, 0x1a90fa61387a9fdaULL, 0xc889202e52c4912bULL, 0xc5974c98e0c84c6cULL, 0x1c5ULL, 0xed5d1cd73b1af05ULL, 0x257c9b45aa97e84cULL, 0xbf809fb2b9106e7eULL, 0xe1565de69b928259ULL, 0xcb1d237c1bb5b379ULL, 0x7e5f08d97ca38bf5ULL, 0x555ee862de864953ULL, 0x6b2613dc5bd6dbcbULL, 0x17aULL, 0x8f47bb3a857527d3ULL, 0x50961d074f15fb66ULL, 0xcc1ecb57f4493362ULL, 0xe4093092643f7e01ULL, 0xaa3c2d367faa2ca9ULL, 0x9a42d88710683f93ULL, 0x40f7b23953ae8481ULL, 0xf9880765c99c04a2ULL, 0x148ULL, 0x404888d8b386dedaULL, 0xab84d75b3c88559bULL, 0x288f2ade0c03410ULL, 0x52d6db25e2ed9984ULL, 0x7564c4d4dd0c915aULL, 0x465a3ea16d09b02fULL, 0xbd5dfb1711b4eee7ULL, 0xcf63896e1f6e4c35ULL, 0x14ULL, 0x7ddf47051733b3c3ULL, 0x7c7878a3f4a25d85ULL, 0x4d86f57c29ad09a6ULL, 0xa97d4ab6b26d5c69ULL, 0x71cc925004b07913ULL, 0x8a84131b4c0b7b2ULL, 0x388fc8aa5119f83eULL, 0x23a3bd0b6bfda0cbULL, 0x7eULL, 0xdfc7c8448e549373ULL, 0x439dc785b52ad215ULL, 0x9e157e18fb9de6dcULL, 0x9283c3318793d562ULL, 0x79f9ec9033ddc16cULL, 0xed0dbb7fceff5086ULL, 0xfa4668078765145eULL, 0xba9411a9a3b387b7ULL, 0x176ULL, 0x41f6a1f7307debefULL, 0x40a65ed6b55079ddULL, 0xcf2b030bdf6bc34dULL, 0xc6cf1fe551ee104dULL, 0x8249c9b9df07bbf9ULL, 0xbfb7a50c441df274ULL, 0x23409244c2798a80ULL, 0x83f6264c71a8f869ULL, 0x32ULL, 0xa79fb7f4670ff0b1ULL, 0x73a212cdd7f7754cULL, 0x205220994a37002eULL, 0xd5dab227eb7523fbULL, 0x1592491cbfce9213ULL, 0x89a2f102a49934feULL, 0x452cd831d1c25df3ULL, 0x19690d26787022fULL, 0x9dULL, 0x8865f42835bd549bULL, 0x776d1507aa4679d1ULL, 0x46db7513a47d2e64ULL, 0xd92420efb507095ULL, 0x4d478f73109f92ecULL, 0xa52c21b237e956a0ULL, 0x29d22bf7e4018515ULL, 0xb7551fc5bbbf18f6ULL, 0x92ULL, 0x53072ae877a724c0ULL, 0xcb1cc409605f667dULL, 0xe25f10914e8cb8b9ULL, 0xf197ec82839ef074ULL, 0xe9bb2c3fc8a49a5eULL, 0x1421085d91cc7296ULL, 0xfa15561bbae09a83ULL, 0xf88e9a002a6a925aULL, 0x13ULL, 0xe29388bd8171acf7ULL, 0x249dd93b5235333cULL, 0xb6deba7384183850ULL, 0xd1b8d277c1438de4ULL, 0x9a5a3011903cda17ULL, 0x9d39990dca683788ULL, 0x2b97949efc3ef2f9ULL, 0xa80050c637deea79ULL, 0xccULL, 0x7b2cec025efae682ULL, 0x8e70cc23b5b8562dULL, 0xc11059d09ac74ccfULL, 0xea07f697df746083ULL, 0xe163cae680031991ULL, 0x236d2cd60f05bae0ULL, 0xd4fe929a6e296a18ULL, 0xf07a6eac385ee532ULL, 0xa6ULL, 0x9664b3bf0f4fe5b7ULL, 0x6a465512b9022b09ULL, 0x843c5bc72106b996ULL, 0x3987febbb32ee52aULL, 0x1df5b1bcd53210c8ULL, 0xd11b7d2c21bc7e5bULL, 0xe450a59bc5adacd7ULL, 0xfa32766328fbaaadULL, 0x107ULL, 0x87b664fbd2599f65ULL, 0x6ee9e3e2939be2fULL, 0x4fff453a4b3f4bb7ULL, 0xea1338e7080fa343ULL, 0x729bc24749ec675cULL, 0x72e0e694d8a7ca84ULL, 0x6ac4c1476f75f8b9ULL, 0x6357fbed9bfca22aULL, 0x136ULL, 0xb60ed2174564ae4ULL, 0xefc65eeab9cc32b2ULL, 0xd8cba83bb2517121ULL, 0x29b1313ddc359b97ULL, 0x96b0bcab0bb81a8dULL, 0xe2403437f01670d6ULL, 0xba78da2c7ee022c8ULL, 0x83bea4a1c379ce91ULL, 0x155ULL, 0x6b93e56ef231c011ULL, 0x9d52d3457a058564ULL, 0x60ff10cda2822d20ULL, 0x136d5b1311a13601ULL, 0x8d9d837305785da7ULL, 0xee7a53655fc6e355ULL, 0xae12c0c8b47ea4b8ULL, 0x83f090dbb26fd8e8ULL, 0x185ULL, 0x1ca64c7cd2fd9ebbULL, 0xc43fb7adaef9e97eULL, 0x615bf19a8161042ULL, 0x79781fa168de4783ULL, 0x7b3e312847efa6f6ULL, 0x881a9cdabe8815fdULL, 0x3b26b6dbcd9f54e2ULL, 0x391a72cf79806631ULL, 0x1eULL, 0xd98bc85cc493a342ULL, 0xae49d0bb23d59c2fULL, 0x42ad397f9419164eULL, 0x8090d42a5a3dc627ULL, 0xf4a032b8ee6b4966ULL, 0xfd93518dfd3da7e0ULL, 0xcf6d6859c1e68e8ULL, 0x98b4a8901155ac9cULL, 0x9bULL, 0xbddfd75406f5b527ULL, 0x44f038789c7e797eULL, 0x7a409085dba91dafULL, 0x4c3e6920af72680bULL, 0x9cb939c31bb2deffULL, 0x733016e77bc1d7a4ULL, 0x3d0cfb5d24dba124ULL, 0x5c5e53853d184055ULL, 0x5fULL, 0xc2d48778985bae24ULL, 0xae60ecad270579b9ULL, 0x92a3412da81684beULL, 0xeafcc727e1d1ed87ULL, 0xa71d6b82dfa9b0d5ULL, 0x1261426cbb34f622ULL, 0xbc441680b750ffe5ULL, 0xe083a1146579c237ULL, 0x1eULL, 0xee38305e92aadd30ULL, 0xe536c137c0654446ULL, 0xd3e28d4af6903e67ULL, 0x5f21a59a6a7fc3d8ULL, 0xf68691bdf818065dULL, 0x84a569cf3523ae5dULL, 0x204b6fa667d4b541ULL, 0x8f9ece1533e6514fULL, 0x9dULL, 0xb5fbb4bf9fcfeb5cULL, 0xe134aed60a0ef89eULL, 0xedd8d58aa0734630ULL, 0x940759e884378975ULL, 0x6a1de6effec2c22fULL, 0x698f55ac1809ecd1ULL, 0xe39fb70a8899ecb7ULL, 0xc15884c707f434b3ULL, 0x1edULL, 0x67d695c09ba7d804ULL, 0xb92e549871357ba9ULL, 0xcbfe27a4d0cebf0aULL, 0xa0e7e9d0b02ffd36ULL, 0xdadc659a7c7e91d5ULL, 0x9343b1eaeab73605ULL, 0x4dafb3585d55ebfaULL, 0x896fd062565bb3f4ULL, 0xd2ULL, 0x821e934f8af6a196ULL, 0x517b88983ec750f0ULL, 0x57b351e2c4992e75ULL, 0xc3a4c2e73f8d32ebULL, 0xc55707ec51ca4381ULL, 0x85c22ce2031549f3ULL, 0x6c1fde58ce37943bULL, 0x103a9e8ab9c5be17ULL, 0x1afULL, 0x5c0ebbb0ce6faaadULL, 0x230a26717222d726ULL, 0xd45ffa982a9ca884ULL, 0x3983e252c6bc030cULL, 0x1d0a13fbb8ca705fULL, 0x642a8fce1ad79417ULL, 0xc61963f8fb35ff14ULL, 0xd6ab7732c48ebd9cULL, 0x115ULL, 0xaf81a8923dc2d2e8ULL, 0xfd0b0baf7616989eULL, 0x6df82e5042b9a78eULL, 0x2da4030f7611e2bbULL, 0xe01ab47749b6d397ULL, 0x7ca3efb309587cdcULL, 0xde992b7103a7d8baULL, 0xcea0c83c7c7c920bULL, 0xa3ULL, 0xcc0280ceccfce81fULL, 0x3c3bcf8f70cb1aefULL, 0x4eac84e10d74545fULL, 0x349264584df1cb80ULL, 0x6171d5e6f1291ec0ULL, 0xa9573e69636f032dULL, 0xb13e2a8103cbb1d6ULL, 0x41c57db870444d0eULL, 0x88ULL, 0x1010bfc7d4a0b8f4ULL, 0xb2ca6d82f0a0f560ULL, 0xe42b812246241505ULL, 0x4b3450a2a8a46932ULL, 0x112285b623378d94ULL, 0x297f99b0b069f5acULL, 0xc2abb9214bb534b5ULL, 0x3a66e2d63828f2ccULL, 0x111ULL, 0x885a58a3216b1f91ULL, 0xcb123039ce1ad700ULL, 0xace75264bc7a38e4ULL, 0x3328ae19ec430ef3ULL, 0x2dd72c8ecaafcc70ULL, 0x320b77e9eec186d9ULL, 0xb9ffce31b0931d2cULL, 0xff5441a440faa694ULL, 0x18eULL, 0x4488eacc71ec5607ULL, 0xebe32e2c7f14d651ULL, 0x5dad5d4fcd68d179ULL, 0xaafc329518be33f7ULL, 0xae309e59cbd3446cULL, 0x6785fe26af01680cULL, 0xa55178f1bdccc730ULL, 0x88a7062c5c0d6901ULL, 0x1efULL, 0x1460cdc3d5ae6e90ULL, 0x631f741b6d00f46bULL, 0x7db846ebf0d17284ULL, 0x3530080ba32417fULL, 0xe1753816ed91ee0cULL, 0xe5a1566e6a6822f9ULL, 0x9562890ab605dc8dULL, 0x159d916a709b4358ULL, 0x45ULL, 0xd1b3f0337c183a42ULL, 0xb9d56825174e52a4ULL, 0xb817719813694c8ULL, 0xa17db2b43ffd3c68ULL, 0x1f1d0e500567426ULL, 0x7d0407b69c67535bULL, 0xb0e53551057ce7a9ULL, 0x8470cdae702179abULL, 0x19eULL, 0x9fad045b74ad395cULL, 0xb6a0f025c65e8aa2ULL, 0xcbe48c40fa1854baULL, 0x208ff2fdfaefeb6dULL, 0xdcbe80316ae266b6ULL, 0x7154d0eb10a87b70ULL, 0x4821a24a937f107cULL, 0xd4d6788e3117b6d8ULL, 0x168ULL, 0x85eb77fecd7c852dULL, 0xd5d1b04c25cf2d4dULL, 0x5ae037901a5b94e5ULL, 0x691d35d44bbc2d44ULL, 0xcda60116da329cadULL, 0x832cf229fcf36ca4ULL, 0xc0cb2dae99f36f67ULL, 0x85f9ca17966b2c65ULL, 0x67ULL, 0x9e2bb5adaf055d20ULL, 0x3bbb0f6af6fd12a5ULL, 0x677e25384b33ba14ULL, 0xe81e0b2f377754b2ULL, 0xd6aa10cb1d6127f3ULL, 0xfb3666762534985dULL, 0x15f3ebffcc9807eULL, 0x41b80673c7a0743cULL, 0x188ULL, 0xa5dd90a384290dbfULL, 0x57694332681f39deULL, 0x9ffd5d42e3958775ULL, 0xf750621375565d4eULL, 0x8c051326056105afULL, 0xea90244a2c21e979ULL, 0xa0b34c6b27f7a1b8ULL, 0xb128ea7a0448b24eULL, 0x18eULL, 0x4c740ae10ac4cb66ULL, 0xc8a66d9759c635ffULL, 0x328b65af2569dac8ULL, 0xfdb6599b8838dbc9ULL, 0x702473f87fd83c9fULL, 0xd1f2ad8128683f6ULL, 0xae5b505030b76bULL, 0xb1375d706d15b5edULL, 0x159ULL, 0x7a772a901f1e1f7fULL, 0xa790dcb7c669aa61ULL, 0xdad905aec5e4f185ULL, 0x3bd91c29116ad6ceULL, 0xf87c96eac329d8a7ULL, 0x399c929cb5b14581ULL, 0x6fd2983c3a8253c0ULL, 0x616a8b61da988b39ULL, 0x181ULL, 0xc74423416fab33deULL, 0x9bb13f3807b9e510ULL, 0x1fa3dd5830d1957bULL, 0x87da211849f3f096ULL, 0xe1a7f4dc9546c5e6ULL, 0x28b68589af001b4fULL, 0xe5a7213f995e3e7cULL, 0xc880d98b170eb54fULL, 0x186ULL, 0xbd111228f9b0a8a4ULL, 0x177666ee03946625ULL, 0x94172e82ee595a22ULL, 0x343c236249382389ULL, 0x1315f4d63f356e6cULL, 0x93806f60f82228e7ULL, 0x2d228e5af2798298ULL, 0xeefde6a0ae09d287ULL, 0x190ULL, 0xe7cfce13851234fbULL, 0xba220ddd540178a0ULL, 0xeb2d1a0e965e3185ULL, 0xf0e0042850413143ULL, 0x29466c554e9f639aULL, 0xd6e754286d69ff69ULL, 0xe237a60af0e246deULL, 0xb1509ac7d858acd7ULL, 0x196ULL, 0xfe4f93cb1a21567bULL, 0x20b1a7beec94896bULL, 0x4c541b1cf8aa1054ULL, 0x82684474aa321bb2ULL, 0xe3222fd33e8aa474ULL, 0x33790e89aec34fdcULL, 0x21c90fcd8d83daa5ULL, 0x997cc97db0671e62ULL, 0x150ULL, 0xa6da93d74387aeadULL, 0x1faa127f171ac80aULL, 0xd068b1e92e9866b6ULL, 0x98c93750ec9905d5ULL, 0xf801d623e732b2b4ULL, 0xc63f1adc60013625ULL, 0x78063b5f42f8db13ULL, 0x89e77fcbd42b31d8ULL, 0xbdULL, 0x64212a1bc1894a67ULL, 0x42fa8ffdeed4dabULL, 0x4d1bb66a8ce96a8eULL, 0x71459369ccdabb04ULL, 0x34c1f4d8ebf24224ULL, 0xae3c571075a43b70ULL, 0xa31101acc0a4c0b9ULL, 0xa11e5f05b159c2adULL, 0xf5ULL, 0x59ecb169ed472c1ULL, 0x7b60db01aac94eb8ULL, 0xea6a5e2dd470a384ULL, 0x8f9da46429faf5c7ULL, 0x7101d3ab420906f9ULL, 0x2eeccde6882e2f3cULL, 0xbf1447a22ce55857ULL, 0x94eb28b04bb49ab7ULL, 0x1f3ULL, 0xc956a5ca45bd158ULL, 0x111c06267a8c2928ULL, 0x35be0ac45888e435ULL, 0x86c0e068f6d92ec5ULL, 0x5c76de979b050ccULL, 0x766cfb357a534f70ULL, 0x4a9279fdc10e12c8ULL, 0x3fa7256d4e607592ULL, 0x168ULL, 0xec2bedd73e8aa0a4ULL, 0x8ea038a2d02f38eaULL, 0xa54eaa96434b6ba1ULL, 0xab06942dad2bf32fULL, 0x89b0bd31d2b75e3aULL, 0xc059fe009afa543ULL, 0xc661f46fbe6dde4ULL, 0x40b9544e487d6c6bULL, 0x133ULL, 0xc537bd23c4bd7bd1ULL, 0xed0be60e6dcb15daULL, 0xebd5c48c53bf3306ULL, 0x17031364d93bf61aULL, 0xee7f03a4f90d1876ULL, 0x2dd79b8719cc1b49ULL, 0x54f5daa3b46879adULL, 0x533ca5f36cf7aa17ULL, 0x8dULL, 0xe423321049cadd2fULL, 0xae1960764b0b478fULL, 0x5ebba72042ce7c39ULL, 0xa6437b9c63e2c824ULL, 0x2aa10f327648cf69ULL, 0x924df405955ed0d4ULL, 0xe2d560fae76266ffULL, 0x76918b409aeb14c1ULL, 0x153ULL, 0xb877647c36a6a414ULL, 0xb47aeb8b9cbb86a1ULL, 0x32e42101d7e77e82ULL, 0x671fd73cbe69852eULL, 0xe461a9f93990c7c8ULL, 0x9014d0debc185242ULL, 0x22be1c50e7d7243bULL, 0x7064e59e94fcbae1ULL, 0x1a6ULL, 0xd389828d089314c9ULL, 0x7534d4f783c7de2bULL, 0xcf1f9917277e8b89ULL, 0x7941a027a1cf9081ULL, 0x5d565d5dd2b62f79ULL, 0x330810c832a0a305ULL, 0x558a5d828977ae92ULL, 0xafa6164a3d3a253fULL, 0x1d2ULL, 0xf552081c7cdc50feULL, 0x748b76f41fedee96ULL, 0x2e7fefef43ce6c43ULL, 0xfff7a5feb2bce884ULL, 0x5e6576812d0f9859ULL, 0x5e0500fdf2567becULL, 0x4a16cd11ce31612ULL, 0x101f350ccb9526acULL, 0x1cbULL, 0x60a77ddd989b3573ULL, 0x4eebde33fa61c712ULL, 0x187c9ed703a29960ULL, 0x536bb6cff3f50c4cULL, 0x54fcbc0b58b3c97cULL, 0x9f916a8d04ed7dd4ULL, 0x2219555f2ea16256ULL, 0xba8226a010780a71ULL, 0x46ULL, 0x800d49f56d6c6ff0ULL, 0xea6d1bde14ea9e72ULL, 0x1145e02097d91548ULL, 0xc736a39cbe5341b9ULL, 0xd6c9efdd22a416eeULL, 0xa3dc869fa29f1e0ULL, 0xb49cca927bf43adULL, 0x88d466cef23dcab0ULL, 0x6ULL, 0x7c27c4bab65c6d51ULL, 0x506ce1942d9a869ULL, 0xdfbfac20a54e8b1aULL, 0x2f48dadd76422bf8ULL, 0x4cd7b0c6f8d00708ULL, 0xeb3cba4cc62173b5ULL, 0x363be3674cc4c82bULL, 0x7d233c80a0501edULL, 0x148ULL, 0x766d40b1fb8d34fbULL, 0x9499c9411dbefadcULL, 0x182c87f125721a7fULL, 0x4c630f9d6e283490ULL, 0x3cc7f4d0671be04cULL, 0x5e0563605572797fULL, 0xeea688dcf9f566ccULL, 0x27e4c7da1e38f629ULL, 0x1dULL, 0x968723e44e96a232ULL, 0x6d093b91fad79e88ULL, 0xdbd3b306879ee8beULL, 0xdcbb2c17f9bca34eULL, 0x85462c4c8210928dULL, 0x513ffaa337a0ff8eULL, 0xc97a66226ff8ce36ULL, 0x9326bdced3c2f771ULL, 0xa1ULL, 0xce3ef39281cefbbULL, 0x47ded6a3bbf4912eULL, 0x7d7ac66ea216153fULL, 0x9c1a0125b7f1f125ULL, 0xc3e00aaef9764b6aULL, 0xbb983c44a4c761caULL, 0x1ee014d124b60137ULL, 0x4390eaddf4335e8dULL, 0x1e5ULL, 0x4688dea63bc06110ULL, 0xa4827a129642f9c8ULL, 0xf9dbab1aa3791e7dULL, 0xcfb8e272a5fea53ULL, 0xa03e607fb7ed9493ULL, 0x8c9c627f6295a153ULL, 0xd53ad3126c27f202ULL, 0xb61d3328abaa6a36ULL, 0x1ccULL, 0x312b1e6a85d7b7faULL, 0xe8a31407b72fcc09ULL, 0xe0b3ffe124b05e68ULL, 0x51c0eb7805b05c9dULL, 0xb03f7c00920b3768ULL, 0xc180413ed6530deULL, 0x93830c7c9bb7f772ULL, 0xb84848dd84b48abeULL, 0xefULL, 0x2394497b6505e822ULL, 0x3d83e66d2b07205fULL, 0x3b8179d22ba1ae39ULL, 0xe9a3de5971266610ULL, 0xcfe95f03e7ad7a41ULL, 0x1ffc01615b251a48ULL, 0xed3c58b2e8b4d9ebULL, 0xa42a58b519a7de4fULL, 0x130ULL, 0x8dc3876416b29bc3ULL, 0xa5caad936fc41b81ULL, 0xe790ff2dbb50c58fULL, 0x738e71322d25e89eULL, 0x8ed7a9f45bd79394ULL, 0x8bd7d8cbba8227d7ULL, 0xf332f0450dfe5ab3ULL, 0xc1283f491b5c68c5ULL, 0x9fULL, 0x14c8ed4e49deee09ULL, 0xc6245cad8a157957ULL, 0x7544a1536e302632ULL, 0x7e0186a4931e8fdeULL, 0xb452c756a9f4e033ULL, 0xa378e8c5aaf6952dULL, 0x73bee59e11a46776ULL, 0xb4373789635117d8ULL, 0x84ULL, 0x3c1d234133e3604fULL, 0x986e668e3888f009ULL, 0xf13ef3a506592e2dULL, 0x58f4daee5cb654f4ULL, 0xdbd69899f9325807ULL, 0xf2c27b46d977233bULL, 0xa1a1097b905a4e88ULL, 0xdd5deec4256c50dcULL, 0x1eeULL, 0x4a95d7613727a1cbULL, 0xd19f2c45acf93b62ULL, 0x53f8ea209dd1820eULL, 0x8282e3be5abe1a5bULL, 0x95156febb7493db4ULL, 0xb759f4b9cbd1ebddULL, 0xbc7506007f1468f0ULL, 0xe1f95f1332bc6bdfULL, 0x1c5ULL, 0x48d3ec5eb2f00d7cULL, 0xbfdd3322fee1d0f0ULL, 0x27ab5ec7fabf215aULL, 0xabf3da3ba3e52545ULL, 0x69943673822c681bULL, 0x5ccfbdca9070a22cULL, 0x76e11c5ccef96c3dULL, 0xa2c983382e224573ULL, 0xc7ULL, 0xba405569efabd93ULL, 0x4e8f6078f58a690fULL, 0x24b9ebdf3ad41acULL, 0xc6331a0b5733ee93ULL, 0x424bc67b9ff58da5ULL, 0x8a772120dc4a88e0ULL, 0x8c7efbaa4a40a9dfULL, 0xe738b6b3fb7b3c7aULL, 0x1a7ULL, 0x277cfd08174c1b80ULL, 0x5398ee795b6fbf78ULL, 0x5029db7aa9533a66ULL, 0x3f72587a57ac295dULL, 0x4924def053a120bfULL, 0x15df9045ec04850eULL, 0xb16db4d81ec59bf9ULL, 0x19b124af2cdcf944ULL, 0x1ccULL, 0xa6510c13d938effdULL, 0x480170f5e8e5882aULL, 0xed867e1e82b29f67ULL, 0xabd60cafcf4d4375ULL, 0xa2375937d2d7614dULL, 0x33576b0a89a8a4ceULL, 0xec1210daa354f893ULL, 0x503a1e695b6fa2eaULL, 0x1f1ULL, 0x1a4bf44f61bf7ddfULL, 0xe6393218ea119c08ULL, 0x50aa3a789874de4fULL, 0x652cc3eaf38304eaULL, 0x85899f3ca9d44ac2ULL, 0x8e4154c3030a8d10ULL, 0x635da896e92b9affULL, 0xc8c38fc465877cdbULL, 0xb3ULL, 0xf099352e205409abULL, 0x583b4d2978502737ULL, 0xc0a9ba65cecdda4cULL, 0xe4f4742bd1c1bde2ULL, 0x373c0b7a09f3f670ULL, 0xe6e7d1555aaa66e7ULL, 0xcf22017e83341c75ULL, 0x9e8cdd273ba4fb15ULL, 0xb6ULL, 0x9cafb1454e03a6e0ULL, 0x46b041fb3f27d3ebULL, 0x3eeb4a6a2b8b0452ULL, 0xba57e1d1923e30a2ULL, 0x6c2daa21fc49fba9ULL, 0xc397dcd15c952326ULL, 0x44f7e1062f7af2d6ULL, 0x90fbbb16c8a269f1ULL, 0x16aULL, 0xa4efe101fdba0797ULL, 0x280aba690f411079ULL, 0x7aff887e9e06a7e2ULL, 0x69e2fe613b76a433ULL, 0x5590c245352e73d3ULL, 0xfd57909295bf4ee2ULL, 0x4f2259c83f7a60f6ULL, 0x4ab04cc6908c1fcfULL, 0x1a8ULL, 0xaf183ac1bf81b188ULL, 0x4fdf409c3d4080dfULL, 0x87e9758602b2924eULL, 0x5ced7d6adc35210eULL, 0x53c7b2735b4d1795ULL, 0xdace775d17d6602ULL, 0x92b1db8b7ca90a2aULL, 0x4b62620e23859d46ULL, 0x34ULL, 0x3cbe1e5fd62d2416ULL, 0xe6131d36d22fbfceULL, 0xfad88220aa997a02ULL, 0xc6cab94e92ef071eULL, 0x79f55c41a26cd9e8ULL, 0x1f971b39de1a40e2ULL, 0x1d22f8f449501983ULL, 0x92f0865288b1e7faULL, 0x1e2ULL, 0xb3d4fc373224a2adULL, 0x836f174e765149c7ULL, 0xfb7a3d80dc790c5fULL, 0xe8613e146f2e6f00ULL, 0x58237b3bbbefda97ULL, 0x2cc5040b03c59026ULL, 0x63dceab71b4ef9cfULL, 0xef6086ec8af14f5bULL, 0x92ULL, 0x18788c55bfff8328ULL, 0x76d4e3075f507c6fULL, 0x247abf13b6c8ee1ULL, 0x53e1f8607fc79ac0ULL, 0x9eccee2677985b5eULL, 0x1041f3348df11eaeULL, 0xd25afd1bf95e8446ULL, 0xddacc41e51966672ULL, 0xd6ULL, 0xd0c28338cb1ec4cfULL, 0x7693de7829e09e0eULL, 0xf1567a36ffb7364dULL, 0x9cae6cb786eac9e4ULL, 0x34ca5613ebbfdc02ULL, 0xd850516d2b09b867ULL, 0x71c78283e043b18dULL, 0xcb177d1578cbd492ULL, 0xeaULL, 0x6c93373dbd7d377dULL, 0x395ea67acebe4f9aULL, 0xcf508b7b8ae160fdULL, 0xfc6002921f189823ULL, 0x9b841b9fb6206dedULL, 0x5b2d76da4ecff474ULL, 0x32bd4258d6ba6eecULL, 0xb3ae0fff554958aULL, 0x1f6ULL, 0x2e361cbf3faa64dULL, 0x6784575bea5188f3ULL, 0xc4922c9e20b384b4ULL, 0x2430d2882796ab0ULL, 0x746b475c6eb56d1fULL, 0x8e62fc5f87a89147ULL, 0xbf772a457cee8d97ULL, 0x6cb4bd1afd51bdedULL, 0x37ULL, 0x31a6636438ae20b5ULL, 0x9572ba8f18c04920ULL, 0x65e2f49368e36b35ULL, 0x7c9a93b66ca3e43ULL, 0x4803da3447d24041ULL, 0xe26f1d23d368c329ULL, 0x83c18ce6db0edbf3ULL, 0xcdc7031d64834055ULL, 0xbdULL, 0x5e712497a7424312ULL, 0x8ef85c24864bed6aULL, 0x8fc2ddb4abe3abdbULL, 0xfc44700b77de6c5aULL, 0x324ea06363bc7a80ULL, 0xa3799448c3a5a82dULL, 0x671aea74d3bc00ccULL, 0x68c60d6899854ec6ULL, 0x12fULL, 0xfaed93eaee84dc15ULL, 0x65aecdee468018ecULL, 0x529fd3de9b178918ULL, 0x6c0db755681bf9c6ULL, 0xae10d94f2582e72bULL, 0x4e6ed38581b7f558ULL, 0x6dd8db4446623341ULL, 0xaf7e3d0e4a78fb4eULL, 0x1eULL, 0x18b3070139457984ULL, 0xc3e90ba18c5e53eaULL, 0xabb7f87780124876ULL, 0x1b97c32d34760a29ULL, 0x8cac6711fe78dbf9ULL, 0xd613b09963d3f0e6ULL, 0x3f347183c23fcdbbULL, 0x12765c7455cb3c35ULL, 0x184ULL, 0xb153ac11b0327297ULL, 0x8a5430eb9b5f651ULL, 0x5c2e2d2fda7c0e90ULL, 0x75337f4533fb65e9ULL, 0x7c4734f6b81075fbULL, 0xb176cdc81a4489eeULL, 0x1782bbd7d62fbdc8ULL, 0xfafff390f1951935ULL, 0x181ULL, 0x9e1b2dcdd2b05053ULL, 0x4d4e3e4501f30167ULL, 0x76aadd4cced955dfULL, 0x19a66357d113470eULL, 0x4e0d0ead7cb198c6ULL, 0xfdb9833d92146dcdULL, 0xb272e8e8ef163bf3ULL, 0x8e7f9d7a9b8d7fdcULL, 0x125ULL, 0xce344b7953ba283bULL, 0x2bf36ddba2f08deeULL, 0xeeface1524afc42bULL, 0x1b1ca56812420208ULL, 0xec72458381dfa7adULL, 0x2a85e9fccc015129ULL, 0xee79a69774f8e889ULL, 0x3b7f9ac9011c6aeeULL, 0xc2ULL, 0x697ee729d3bed548ULL, 0xe42f325c50aebd95ULL, 0x5f9b7a3271fdc03cULL, 0xfcc77d3582a06f18ULL, 0x59a415d1c0e9e235ULL, 0xcfed0e25b1ff94f4ULL, 0x13ee49090e540c4bULL, 0x56ea123c1a759a86ULL, 0x14bULL, 0xea1585d3992a6eb9ULL, 0x3c59cb6da850202eULL, 0xcd001786ac386416ULL, 0x8d6f4ee1fa316855ULL, 0xe58ecebcc9a86b79ULL, 0x1c479ad94324e2a4ULL, 0x194d6a1f4131a93dULL, 0x47ac8dd19541e6e4ULL, 0x3ULL, 0xb78533d869db0369ULL, 0x4ec18f3b7c5c943dULL, 0x1b4639b054a25ab1ULL, 0x139b0b6dda4d1db2ULL, 0xac5763eb6e7c0214ULL, 0x7fd6cd52783b3f9dULL, 0x3a4b83dd0bec4e86ULL, 0x5f9e02d0f9f5dedcULL, 0x1c3ULL, 0xb29fc8db42245ff9ULL, 0x275d26a2a24aa54eULL, 0x714983e63497df33ULL, 0x9cd3326093928d5fULL, 0x604bcfc26bb00fcULL, 0xaae40f5c56a12f12ULL, 0x48ff1ab517130384ULL, 0x3119f0b70ebff8f5ULL, 0xd7ULL, 0xc8615657c394480fULL, 0x4d0bf78bbaf10bcdULL, 0xdb965917ded3de12ULL, 0x9ab4711e10548862ULL, 0x5760961d0569cdfbULL, 0x88a89978da2a0a35ULL, 0xec8d434d1a8018dULL, 0x6385a99cb31b47a8ULL, 0x1cULL, 0x86066ee9f049d35fULL, 0xd3d208d44806a7aeULL, 0x7ca46b036ea3706dULL, 0x9cf2cc6bebe8caeULL, 0x3b0d9032fbea5ae8ULL, 0xb5030aa42762c702ULL, 0xff0037716269b449ULL, 0x778eae6109a5dceaULL, 0x15ULL, 0x3c24aef6e45ce280ULL, 0x6dc0ca46c235b8cbULL, 0x594fc50a261a383fULL, 0x492ff2dc247f42dcULL, 0x8fab6879e399c2beULL, 0x95294e8d49ab1526ULL, 0x81892ab16e30e32fULL, 0x8c4e98c2c02b33efULL, 0x8cULL, 0xd1c4273de0f9fccbULL, 0x77d9b416966724aeULL, 0x55f0009f44686fd4ULL, 0x9bbda49c75b74873ULL, 0x113c341797052db4ULL, 0x495bfe9894df584aULL, 0xabd7d03a3064d536ULL, 0xc581c0179723dbd7ULL, 0x158ULL, 0x3151af8959bd7716ULL, 0x1404efee29e0b6e3ULL, 0x927623d3c57d0c50ULL, 0x1bb9221e93e5f47bULL, 0xce3c7c21bb197bdbULL, 0xd9e05d70465da89bULL, 0x109fe2dd456cfbd2ULL, 0x9711f3901991e0a4ULL, 0xcULL, 0xc3047d50723e018bULL, 0x611a25acd9e5c4f0ULL, 0x30b812271791fecfULL, 0x7c2d86857669400eULL, 0x11f57f8442b6315ULL, 0x870191bf6935ab88ULL, 0x1819f691df2db64dULL, 0x74a25e4ee2137e33ULL, 0x144ULL, 0x8cfc0663ac1b12bfULL, 0x2982bd333d8e40e4ULL, 0xa56fccca8d1e5049ULL, 0x31b7eb50140c8aeULL, 0xb8b750c65c61567bULL, 0xe18a5069fad352c9ULL, 0xdaf479d6be919894ULL, 0xb6a2501d773766b4ULL, 0x4aULL, 0x1a7d2ec46dfe59e6ULL, 0xb3af5ddc8d19be5bULL, 0x9871fa8b578614b6ULL, 0x937c0c4e816ae215ULL, 0x97ced8f7e29b732ULL, 0xb14aa1c4ca88d582ULL, 0xe192f69c652e761dULL, 0xc8e81ec6c480bc61ULL, 0x89ULL, 0x6bc136593f23f664ULL, 0xaf92e0abf0fac13eULL, 0x16d775501e05f0eULL, 0x64bbd4902e1e9689ULL, 0x5d23c928df74a7f4ULL, 0xa2340f241f2b5037ULL, 0x6f6bc884ca65f38ULL, 0xd45c401dc802900dULL, 0x6eULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0x0ULL, 0xadf5e06ea79cb073ULL, 0xcb46aca98bf180e6ULL, 0x5bf0d9eb835f8e22ULL, 0xd692cd207713f3adULL, 0xa33e9d7ff0d87f74ULL, 0x9f2b6950f602a362ULL, 0x27a4c70bdfa4f77cULL, 0x99c699dd3c56080aULL, 0x105ULL, 0xdfb1b25595338fa8ULL, 0xabadba3ad59e754dULL, 0x2338452b436e70fcULL, 0x34cfb5b2e07a21b6ULL, 0x25ddb684f81ea5a2ULL, 0x98f463c0aa325fc8ULL, 0x963bbc8094aeb02eULL, 0xa98fe976434ab9faULL, 0x188ULL, 0x5663f565a308e123ULL, 0x91a48983157c2290ULL, 0x222f7f93c054408aULL, 0xd8694963b839a520ULL, 0x864b491dd314da50ULL, 0xa315d96ed675cc09ULL, 0x32964930390531b6ULL, 0x9387671921e11f6eULL, 0x1d0ULL, 0x20f4598e0c3477faULL, 0x14c758b4ccf7f114ULL, 0xc83f642051b875eULL, 0x14ab1b501b290e7dULL, 0x99f812c7f1b18fa8ULL, 0xaa60f39988ca8e75ULL, 0xde2bd0b9c6c5f7ULL, 0x765da97328703a2aULL, 0x15ULL, 0xc60af574d70d7d9aULL, 0x4cf37fa822e2cdfbULL, 0x4c7153e6b1e91d9ULL, 0xb383fc366f3a4555ULL, 0xa57b6ae1d69cb838ULL, 0xc41f769161eb4e7bULL, 0xa702bc9288d0ed93ULL, 0x4dc67f2f832b0cc9ULL, 0x16cULL, 0xf981537d6c63191aULL, 0xe22543d9cd0bfc14ULL, 0x7217840648ffd5a4ULL, 0xa7aed93ee52b72e0ULL, 0x65fc4867abac20fULL, 0x5b583bc0cfb9e293ULL, 0x16cda71fde748847ULL, 0x6a439e9483d7bbb9ULL, 0xd3ULL, 0x6d7eedc48f69079eULL, 0xf02e8e404f03b92fULL, 0xdf751116cb76b181ULL, 0xc255eb2c234c1925ULL, 0xaf997d5ea94af9b2ULL, 0x797f3df0d1374a41ULL, 0x357fd20b23986cdaULL, 0xf1caccda1540adb8ULL, 0x7dULL, 0x2a04363cc01605a9ULL, 0xd7cc0d87d7d1e54ULL, 0x515eb70a0f9fd2bULL, 0x725d12a9bb4ec5e8ULL, 0xd1b5b8a33a6eb09aULL, 0xb6c836b187027d7bULL, 0xf4773322aaf9cd03ULL, 0x2fb3354e2500c647ULL, 0x81ULL, 0xadfeaf008a44e199ULL, 0xf00394d0fb66bbb7ULL, 0x2ce33771126fec1fULL, 0x1c6e3f51a8729006ULL, 0x68154d5d30d30073ULL, 0x2328dc57cc39ba17ULL, 0x84c9c21f75af5e50ULL, 0x4b7ab5b5cfd4e73aULL, 0x126ULL, 0xe00ba998d070d891ULL, 0xd70d98017da76242ULL, 0xa4d1503e93feaf2eULL, 0x366ecc7b792c95fULL, 0x5e897b3aa1c67e77ULL, 0xe027673cadd3d093ULL, 0xfd554d8562fe2522ULL, 0xb123f439a85cfbd7ULL, 0x3aULL, 0xfdd5aeec295581c2ULL, 0x87b9b44cdd722378ULL, 0x4e98337717e4c554ULL, 0xa529c64c8e8c0cedULL, 0xddf97e5b1febc0c3ULL, 0x80575f002f3f8fdcULL, 0xee7adf251289ce09ULL, 0xfe4cffde21cb2349ULL, 0x45ULL, 0xa8faf03c9cb88922ULL, 0x8629dd89a119dd38ULL, 0x15fbe6b220d0b7baULL, 0x9b430728f00136d4ULL, 0x7d8368e542b93efdULL, 0x35b6bde077012d5ULL, 0x8b1b070e37bca850ULL, 0x7a817115d098c03dULL, 0x1d5ULL, 0x1c5076e33791dfe2ULL, 0xeaf05e5638a1fdfcULL, 0xdd9bae03fd3344dbULL, 0xc8ccbcffa935be96ULL, 0x3cacb8233bfeb51fULL, 0x318769c465f5bf69ULL, 0xc6b9d6c744fb27ccULL, 0x69993946c18dd19ULL, 0x194ULL, 0xbddc34df1c3c5acULL, 0xc2d0959f9a3f5c00ULL, 0x2872144871ce5e0bULL, 0x8a6190c786d24834ULL, 0x5cfdfd5c5c1606dbULL, 0x1bce90c04208112dULL, 0x8c7d995f110fd5b4ULL, 0xd308745b4332547dULL, 0xfbULL, 0xfc5ba8d59da7bb54ULL, 0x29f3e817a7c7fbcbULL, 0x31a34412a40ad3fcULL, 0xe17b93692d1711b0ULL, 0x41c7bc1716ee6505ULL, 0x5feecffd3d1db8caULL, 0xcbb9337802f9e04eULL, 0xaeb67b8b091db41eULL, 0x187ULL, 0x611fe09d4c695615ULL, 0x87334f6323b6dccULL, 0xf7bd51bbd53bcfdcULL, 0x98ab5c925a8bcdb4ULL, 0xe7e9d273cccd6f6aULL, 0x2582b21924b4a3eaULL, 0xf8fea0e3f22c4405ULL, 0x42c0f700d3e5a701ULL, 0x6dULL, 0xdc578bf0a775d970ULL, 0x7bf449f453a9f400ULL, 0xd35a47b86bdf238ULL, 0x412acb776ff7c57ULL, 0xaf9834b73d07d0ebULL, 0x316704623e9bc2e1ULL, 0x80c4ecfd489446a3ULL, 0xa90642662444580cULL, 0x136ULL, 0x4e859d5bc5de767aULL, 0x7ca0c8c89dc4a4eaULL, 0x7049414ed041b2b7ULL, 0xada4123e10741f0eULL, 0xb34c893f32f6e9d3ULL, 0xad16a5c105d5b49ULL, 0x87b00ed687b33e83ULL, 0x8c3ed4d9f616d224ULL, 0x101ULL, 0xbca13086d36c8c8cULL, 0xc5510227cba8dd43ULL, 0xd5f74a132b4bbdfbULL, 0x15a9cc65164b53d5ULL, 0x897536bcba4e8516ULL, 0x8f9d7acea701abe3ULL, 0xccf926e41a7aaa8bULL, 0x9e6b74733a9ac74eULL, 0x15dULL, 0x5e79d042706f5484ULL, 0xf035f133857cafeaULL, 0x161ac1d47d2d664dULL, 0xe12e186e27e8b2fdULL, 0x2a1c6f7eafa21f77ULL, 0x1595eaeecb0d4631ULL, 0x94b97a9b3be13f85ULL, 0x240c9f85e39e311fULL, 0x1a8ULL, 0xf883df161fd9552aULL, 0x21df98868e478f24ULL, 0x7500e6709bb8f9ccULL, 0x8a23e94d5110e3e1ULL, 0x4ebd3323bdc93cebULL, 0x5a22f9d4c562691dULL, 0xccb98cbcc1af49bULL, 0x359e581350d975faULL, 0x121ULL, 0xaa813f42421eaa4dULL, 0x7cbfe13e584ce453ULL, 0xd540ca47a2c6f340ULL, 0xcac4e01922471988ULL, 0x803df37085a3f98eULL, 0x2d0a14eaa5681b33ULL, 0x81ef2d5bc974b4cfULL, 0x6b321185772a8dcULL, 0x56ULL, 0x5377758ac83d181cULL, 0x9cf96dfca5a4b8d3ULL, 0x97c350271c1b8350ULL, 0x9bcd3dba5c64f4a6ULL, 0xd51d70bd17e22defULL, 0x259631bead68ad7fULL, 0x3bd0e0fe9c812fdbULL, 0xb6e28548e62d9eaeULL, 0x192ULL, 0xf7a1f32868a768feULL, 0xc5c24337db30bed4ULL, 0xb1bc3365cc7705b8ULL, 0x7bfc2fcdbc2f3679ULL, 0x269a940b4f954b08ULL, 0xea0c1abace94d5ebULL, 0x4b5ffb025ad58d8dULL, 0xfbca3985dd36d0d8ULL, 0x1c4ULL, 0xf147eb9be9ae4c8bULL, 0xaab30fd8e584692bULL, 0x1de99130909eb098ULL, 0x5e6a53ef6f39f682ULL, 0xbf82bfb5c3189d19ULL, 0xd5279a980c8a2524ULL, 0x12c5b94d8c53735eULL, 0xb52fd4d67c78819dULL, 0x165ULL, 0x709c166113ad1188ULL, 0xf682f89e9c9d8d20ULL, 0x644bd73b0c317428ULL, 0x7cbc7c81a50952a0ULL, 0x5c2b2f5e35dc67c7ULL, 0x2a3c986365be0f90ULL, 0x1c398e79cb87dbfdULL, 0xe8e43ff060769f9eULL, 0x1d1ULL, 0xf71d2f179cf996edULL, 0xa236fb4bd08c080bULL, 0x20a005bb89a3ebabULL, 0x2811d0f34c6c8445ULL, 0x915f5df3805cf007ULL, 0xa2c646f9652fc695ULL, 0xc3bff50c7437c5afULL, 0xca13ef4042799e07ULL, 0x1bbULL, 0x685d0cdf50a26da2ULL, 0xa0da4fe0d3888dc4ULL, 0xf702d140b88c2715ULL, 0xf96e43665f138512ULL, 0xd65a0b448cc23003ULL, 0xa226ad1abceca42cULL, 0x35986ab9c41050bbULL, 0xe469f1160257babULL, 0x16ULL, 0xd4b379381b9f0cbdULL, 0xfd6b579fa6ddc526ULL, 0x7be14820b94685c6ULL, 0xa4f243e8fe09d591ULL, 0xcf309e2447a03f4cULL, 0x7dd23b2f1cba91d8ULL, 0xf9093fa31ad731ecULL, 0x81e9c05465123b9cULL, 0x16fULL, 0x36a77d0140dc75c9ULL, 0xdad4e68abdeac2aaULL, 0xf9d0f094e9f91be1ULL, 0x5c8930c50012333dULL, 0xf2e525622f336cabULL, 0xbae77c7665db0a07ULL, 0xbdce908a48df6289ULL, 0xa374c4e1f5b9d24eULL, 0x141ULL, 0x27654a27d1cc0a9dULL, 0x1fa6b15dc68ee11eULL, 0x634bd0f10a160fa1ULL, 0xad12378a931ba398ULL, 0xd59d69aaca762a98ULL, 0xc9f227807182306bULL, 0xf1dbe23b15908fdbULL, 0xa3918496c1823cedULL, 0x5ULL, 0x1d1f533aa54175f6ULL, 0xcf211b3db08680cdULL, 0xde9334464890fe26ULL, 0xa62e8a2e22d29548ULL, 0xede851dcb298e560ULL, 0xd2ac895b6dd4fc06ULL, 0x362ba3253544d1f7ULL, 0x860caa97405bf4cbULL, 0x94ULL, 0x647e7edcb84e12f2ULL, 0x8cb0f08029078deULL, 0x8853487a5da9ab4fULL, 0xd6c46e4c28a8c63aULL, 0xed8c2942ef5d3a73ULL, 0xf8174ed476f00ed6ULL, 0x5cbd776bd1b89397ULL, 0x93946c44f0cc6a7dULL, 0x1dcULL, 0x557ed595f9fa3b5ULL, 0x9549e7d73304c2a0ULL, 0x3c44447b29853d60ULL, 0xc83f077f01910cb1ULL, 0xa3364cdb54b0b85cULL, 0xce99cbf9ad8ce4fdULL, 0xbaa01a914e4bc374ULL, 0xa38bc84ba12ac67bULL, 0x17eULL, 0xf441d9eefc3c00d4ULL, 0x275e964ec91134bdULL, 0x512c5bce868548f7ULL, 0xff36acaf8722bf9aULL, 0xbcf63e33a4db70d3ULL, 0x64404e7d34fc6713ULL, 0x9b21a53e90e13db8ULL, 0x9e2bbf22c8092aa7ULL, 0x193ULL, 0x14cb446a52abef12ULL, 0x3c0fe50aaeb9ea2dULL, 0x4658f205e0fbdd2cULL, 0x593edba54d39dc92ULL, 0x55f100e8db487c23ULL, 0xc90759129ca70a42ULL, 0x5816710fda926f4eULL, 0xadac0ef8d426ae25ULL, 0x3bULL, 0x9e37604383f3c569ULL, 0x71832c8d95e99367ULL, 0x9a04c813025f7c32ULL, 0x18722b199404c485ULL, 0x55f25c10a248a5c0ULL, 0x5c7ec811ad9a7445ULL, 0xedc877949e8e9ad8ULL, 0x544183ab3bf4ec65ULL, 0x58ULL, 0x9c0dc2e0f52042a1ULL, 0xda26f3de2c04a262ULL, 0x19bbf9555b9692d5ULL, 0x47b32e6be8fb5086ULL, 0x9b8bcfb69412466ULL, 0x6a1b8bb7356b0bb0ULL, 0xa704040a24ba5526ULL, 0x384a74ef0940deb1ULL, 0x18cULL, 0x94de4e93bd18feadULL, 0xe394ba39ba98d31fULL, 0x1072b393a85380a9ULL, 0x8e48a9a3d9ff3559ULL, 0xa1141ba646f3ca95ULL, 0x9006a64a80ef654ULL, 0xb0aff8a5cf16a21ULL, 0xbf94506b7f207f42ULL, 0x1a8ULL, 0xac8e49ef6f031630ULL, 0xe1b391c7d18ea84eULL, 0xcaf2cfe7bec72f2fULL, 0xafa8e48639de4460ULL, 0x903df1fdd79ac71bULL, 0x849da3bd88588947ULL, 0x1f618cec7ec22ec5ULL, 0xcf610b79ce8c219bULL, 0x60ULL, 0x29fcd1dde20e239fULL, 0xc1029787a85ef034ULL, 0x62bac6f3d7b107a6ULL, 0x2051f532aa02428fULL, 0x6fde92066dc4f9b1ULL, 0x337ec17afb04d5f9ULL, 0x16d5ef761fa466f6ULL, 0x5d9faccae9380323ULL, 0xfcULL, 0x6208aa27db5e2b14ULL, 0xf1eb6ceaf1da0404ULL, 0xa8580bfd45826278ULL, 0xac5a50a3d45347cdULL, 0x916b98a2d7ddb9b4ULL, 0x21cf81228f296e15ULL, 0xb59f2d5bf7eb7c6ULL, 0x7f920ae6b82cb681ULL, 0x1f9ULL, 0x487b19799298ad5aULL, 0xf79e56a9b19ae1dfULL, 0x94c4b57d97d18c18ULL, 0x79f2ea5af82e097aULL, 0xf74ca3eadaba46caULL, 0x2d83821b5c09c59cULL, 0x8c9aae2f7fcb62bbULL, 0xc3107688d73e30c7ULL, 0xfULL, 0xcbd29a5c3a912b10ULL, 0x7d35d1010c1483eULL, 0x3e5afc1f019a047eULL, 0x57b902e6eec54f8cULL, 0xf08e8577a4a6c447ULL, 0xfd45bc58463fe5bbULL, 0xe088b78b683057f8ULL, 0x33d312a9d8abfbadULL, 0xc3ULL, 0x4716efbdb77854b2ULL, 0x6a3ce443752fc636ULL, 0x1114644a0ead0c3bULL, 0xf194be8da2a21d25ULL, 0x555f3f08ee04e650ULL, 0xc8e42b4facec7d5fULL, 0xbae5417a51327924ULL, 0x5f87fadfea80941fULL, 0xd4ULL, 0x3cc5c22c3ec74654ULL, 0xafb8e82ec9eaf636ULL, 0xf715c4d065b4243cULL, 0xfdb9bd53f02225ddULL, 0xd0622b53a32e5fbdULL, 0xa1dce0ddf3fb2501ULL, 0xec6e34238f11f5caULL, 0x1d4a4fa65aa06eedULL, 0xc9ULL, 0xc0bd31302ed8c98ULL, 0x51b938e6e532a796ULL, 0x1f8b2cb148fe73e6ULL, 0x66b312276542bc41ULL, 0x7f9e4d19d4dd8c22ULL, 0xb84c72a71a865ab4ULL, 0x4abb9f5ac70a0d65ULL, 0x486266578905e827ULL, 0x1f5ULL, 0xd7893afe5686a27ULL, 0x47511b2b436a82b8ULL, 0x5e07a0dff4c3668aULL, 0x652e0aa8cfde1136ULL, 0x65632a19b75cc38fULL, 0xac41bdb1a4c7b1cfULL, 0xd783cd96fbde976aULL, 0x275d280723b95a8aULL, 0x76ULL, 0x2e632fd458bc03edULL, 0x6ddd1122fea33567ULL, 0x71a5f146e8fa5bf2ULL, 0x1e005e698461fbb8ULL, 0xe63eeb49d698a98bULL, 0x27110d18e3ed253aULL, 0xd8eae4f053abb6b6ULL, 0xd292841d3a0d5e69ULL, 0xf6ULL, 0x5b749d16bd1be31ULL, 0x956fae9db5f7f5caULL, 0x1f0eac3f6ced3622ULL, 0xd414e7f2d243dad3ULL, 0xd0d07d40f26b072ULL, 0x21b26d2b5fea5237ULL, 0x4e641d86ba509526ULL, 0xcb3e42c5583ad0f3ULL, 0xadULL, 0x68d472bbad376703ULL, 0xaea22c0c565ce082ULL, 0xcf26b26802886bebULL, 0xa858e32ab6d0310ULL, 0xe0ac5b80a0fe8758ULL, 0x999836f621f2ea2dULL, 0x7f88c86977b850b2ULL, 0x2186db335cff33daULL, 0x43ULL, 0x4baa79160099d23ULL, 0x267a317f08074799ULL, 0x57e9ecac22f3370aULL, 0x52481ce43fa4adc9ULL, 0x466cb8c1a4658a59ULL, 0xee46512cbbed6dc0ULL, 0xdee419f2f8429707ULL, 0xcdd2182f09d4560eULL, 0x19dULL, 0xe98bf48dd6b7cae4ULL, 0x2437dcb81a0622cfULL, 0x667f9ad9b3b1274fULL, 0xff3cdf3209e774d5ULL, 0xc3284c4b83798353ULL, 0xce0d35f2071d1ce8ULL, 0xce5de82217ca5fbfULL, 0x7415731a9c08cf23ULL, 0x136ULL, 0xbefdffef954fe182ULL, 0x1829fcb7fae77286ULL, 0xd9522301873cc8abULL, 0x9d71623e9f20d46bULL, 0x92b74d228c11ee00ULL, 0x60f470ba721f7127ULL, 0x3815dfd8a8e9e9deULL, 0xde7ef73f727db045ULL, 0xd5ULL, 0xf6947227848bd20aULL, 0xe24f3a9de641e315ULL, 0x2d0a60bd661caf54ULL, 0x632e50b27e8b4ce2ULL, 0xe9bfa2758143e63cULL, 0x7e54122101674674ULL, 0x37ced7474cbfd3d2ULL, 0x3b47500b52c3fa73ULL, 0x1f4ULL, 0xd5d928a4f036a250ULL, 0xe25df1ddb2a38101ULL, 0x5628399c148f44d0ULL, 0x443e18c6bea57df8ULL, 0xba3d7733f709d2dbULL, 0xb07f42a79396c5b4ULL, 0x632d630378ade776ULL, 0x7ae15a5d70d85f8fULL, 0xc4ULL, 0x5e9072f7b705431cULL, 0xc38d4cea45b8e695ULL, 0x989271fdaa0b19dcULL, 0x495e5b41a75878a0ULL, 0x6533e7af484ae424ULL, 0xfafe80a66731436bULL, 0x5fa68c144a6ae152ULL, 0xe74a6ef5826d4e1cULL, 0x38ULL, 0x365c2c64bb053dbaULL, 0xb2e6a9ab16568f57ULL, 0x32948e708d13b285ULL, 0xb85c4f47b0d5f36fULL, 0x754195ea208cc878ULL, 0xfac72b920c401d1bULL, 0x28904bcc0975bfc8ULL, 0x69749c863ae43da8ULL, 0x62ULL, 0x58766c78929ed3efULL, 0x3ce99bac668c48f4ULL, 0x1082c0db27e8d737ULL, 0x946bd8d64f8e9fa0ULL, 0xf5b228e546e40086ULL, 0x141905de452be358ULL, 0x4ada023cfe71f2aaULL, 0xdcfa9747f4ee3230ULL, 0x1daULL, 0x8ded05a3491d8708ULL, 0xd11b456ce40f7aaULL, 0xbcdfb61b01acae90ULL, 0x4ee96da976643f83ULL, 0xb6a9037052583feaULL, 0x5cfaece632005f75ULL, 0x9fcd0717a2c94865ULL, 0x4ad57de260d48adeULL, 0x1a9ULL, 0x561d4e9f2cdd655fULL, 0x40988ef467156534ULL, 0x22679798f712c0a8ULL, 0x50a020c5e00e3332ULL, 0x30f2c1971ed080f3ULL, 0xcb47b28217160c8ULL, 0x6c704d9d95515940ULL, 0xb32d1310b9e843a0ULL, 0x56ULL, 0xfac63621038ecce7ULL, 0x724732504242bf1ULL, 0xd7567762b04294e4ULL, 0x44e881cf1bbc770dULL, 0x6a0c9a6610338ff8ULL, 0xd25d095ef73e1056ULL, 0x711a782349f3fd97ULL, 0xf1c6741eb60db684ULL, 0xc9ULL, 0x20ef97623f674497ULL, 0x3541e1a87d0ebcdULL, 0x18add64378b0d466ULL, 0x10e0c4aaa838103eULL, 0x27777fdccfd1fdd0ULL, 0x30aab9721fc44e75ULL, 0x147aac8f8a25490eULL, 0x5d50b426cc6afe92ULL, 0x6eULL, 0x4761e754d2dbc7cdULL, 0x4efc15aa44613b99ULL, 0xae2350fc241dd5b1ULL, 0x17d41895fa3ce0b7ULL, 0x14a7adb8c72e3e7dULL, 0x6e0398fd40a9c44cULL, 0xc8aae8afd4976e57ULL, 0x52afb85f1dc7c6b0ULL, 0xe1ULL, 0x7ead5c70a84052c3ULL, 0x3ceeabdbc87a0de0ULL, 0xfb963158f36ae1b2ULL, 0x862b3f0c2239ebb9ULL, 0x222904693a307c78ULL, 0x74e581c087873621ULL, 0xf151dd58a43417c3ULL, 0xe0fefbfeab253ff7ULL, 0xf2ULL, 0x8a982b6ff8988b53ULL, 0xf86b781ed7394e76ULL, 0x6bab48f0af765194ULL, 0xcec073b314335818ULL, 0x6c45605103723d83ULL, 0x30498956b7c51e5cULL, 0x8edc3692beb61d7eULL, 0x329590da8f835adcULL, 0xfaULL, 0x377f03fcdb6d6827ULL, 0x30b7e4cdec019e15ULL, 0xded21e0b11cd3107ULL, 0x2c0a2219beec3fc5ULL, 0x681f5fc8a09af075ULL, 0x2c7cf8f1ad174a48ULL, 0x4ec8e326ced79a9ULL, 0xe9f66cddc0934f79ULL, 0x1cfULL, 0x3db91f2d299a2522ULL, 0x53ede640014a20ccULL, 0x40c8a4b915b973dbULL, 0x13f07f88a6e46a10ULL, 0xfcb2af889a4c1228ULL, 0x22cabf154340ec5eULL, 0xee483ec35af3974aULL, 0xfb6c7b40c4b80e8fULL, 0x6cULL, 0xd58ecf9c9d0a436eULL, 0xcb2740997315af68ULL, 0x65e2affc7a9367cULL, 0x4084bc53b407b8d2ULL, 0x8fd35538a6518536ULL, 0x6d634aa36aee6375ULL, 0x1312ddafb40fc2e5ULL, 0x4f8de8f2fe977b8ULL, 0x23ULL, 0xf692f89483a1eaf8ULL, 0xad495d033b97efb3ULL, 0xf10cf105a7b1e41dULL, 0x59fb3932d0ad26c7ULL, 0xf9d618906c928cfaULL, 0x634721c24cc908b5ULL, 0x590fb5a731cd2fadULL, 0xdcb0ce41d4846d7aULL, 0xdbULL, 0x67a0d02c4673d66dULL, 0xb648cb423e3021d8ULL, 0x55299d7963f9bfd9ULL, 0xbaca0aa83d747e65ULL, 0xf5e6ed20c346e91dULL, 0x781d670af8ab20ULL, 0x356d8d8b1d98b47ULL, 0x93e8065512b4dfc9ULL, 0x1b8ULL, 0x3d193433e4f3f333ULL, 0xe184f6d278f074eULL, 0x50647b0ad4fa9753ULL, 0x84e35ee7cf71d444ULL, 0x1cf7c408fa91f6f9ULL, 0xf51d190e02527297ULL, 0xfb0a9d9594fed674ULL, 0x46dc252b89bc1fb4ULL, 0x196ULL, 0xcb616971375aff22ULL, 0xaac525c703405b52ULL, 0x185d250a441683d2ULL, 0x5e9d9f5f0caebde1ULL, 0xdd19423354209ebaULL, 0xb6415264b3340f77ULL, 0x9f49fe9c92e2024fULL, 0x925633fdddfbab8cULL, 0x44ULL, 0x626d2e00f8025707ULL, 0xdbf1c0f81adcfa99ULL, 0xb7ca0499ddb0e12cULL, 0x8df9679275230191ULL, 0xce7fc8a7a91b41b8ULL, 0xe51694b87eb2607eULL, 0x2276c655198d6673ULL, 0x3a9249db9b6e87fULL, 0x1a1ULL, 0xfd0d1dd52b5d6ef1ULL, 0x6fe8faecd4ad8c7cULL, 0xee196614809bfa5aULL, 0x6c7e326f2b5eb18bULL, 0x41ee847741f704c5ULL, 0x38265c136ed78180ULL, 0xece5338cce0919d1ULL, 0xeef988ce8ea612c5ULL, 0x138ULL, 0x1a3cc83ca081fd03ULL, 0xea5c0909b9c4b358ULL, 0x16c4f63c69145534ULL, 0xc688a59fe8ce98bfULL, 0xd77824cc90b46f9dULL, 0x956a902b459aa5e9ULL, 0x7cd05b4ad5cf00e1ULL, 0x3eff904709530abdULL, 0x1caULL, 0xdc6352bf2274895cULL, 0x8e542c530ee134d5ULL, 0xd01fc4109e7d972fULL, 0xe91d2a431284388aULL, 0xf951e3f73ff56667ULL, 0x7eb5c4491fc1cc7aULL, 0x531ea2f4037c1948ULL, 0x13fc7e25b4139b0cULL, 0x16ULL, 0xbe31adbd0ab7010aULL, 0x8d6a91b2253c9bcdULL, 0x7bd9125365eb5eaULL, 0xf037b2b70803f04aULL, 0x4f69ea7a1f15d262ULL, 0x4a55dc903afbce7fULL, 0x61b682508b78dca7ULL, 0x38faef6463bca702ULL, 0x1d8ULL, 0x4e9677f2ee9a025fULL, 0xda1566590361c594ULL, 0x4caa9a3001d5b511ULL, 0xab4dd54553048c65ULL, 0x8a3e45d4926d8258ULL, 0xf5bd30ea9cbc339dULL, 0xbe934c24c1b8235fULL, 0x691a4be3dd2dfa84ULL, 0x167ULL, 0xa577ecab8c10211ULL, 0x28fa934315dc94bfULL, 0x2d4e4eb1a0bcfcd0ULL, 0xe67411b433db044cULL, 0x705d509f77d42086ULL, 0x34cfb64177dd96aaULL, 0xbfd224968bd88454ULL, 0xe895513e11e37b3ULL, 0x1fdULL, 0x41bf3f897dd00e0cULL, 0xd66e68a878f6b7baULL, 0x73ecca037d5ac283ULL, 0xc8663b19b4b3b3b7ULL, 0x753f6db29bddef4fULL, 0x9ac817a02ddd3e89ULL, 0x435fbe2337ce4af9ULL, 0xd710f2e3a2455fc6ULL, 0x8fULL, 0x46521a4cd5c0ec05ULL, 0xbcf1e2bcbf540f5cULL, 0x673a41379d94e318ULL, 0xc329c8b003d5a5e5ULL, 0xa01e79b906bc575ULL, 0xc75cdd96b2f56edfULL, 0x931408a4c876ad07ULL, 0xb266662918d51266ULL, 0x1efULL, 0x42916d354508e79eULL, 0x84c049e796eae6b8ULL, 0x2e96f0340b47ec4dULL, 0xa229623a5805ea91ULL, 0xba760d9ecaf7ab8ULL, 0x27331b251f998347ULL, 0xf501540bd9b0302cULL, 0x63539bff026504d0ULL, 0xa1ULL, 0x5fbbcfcf6526a020ULL, 0x21e830db4c4f77f8ULL, 0x7d638ce87a84cd74ULL, 0xfc1c11a3cb37db68ULL, 0x2ac03d9fa9c3ba1ULL, 0xef48bae9e02eb423ULL, 0xdaa9f8871337bf63ULL, 0x8d0108d9485e83d9ULL, 0x151ULL, 0xad10ca0d2b632a68ULL, 0x24c65057a2b03727ULL, 0x76b84a90a61ade00ULL, 0x399311eed68223ebULL, 0xb176ac473ff5da3dULL, 0x4b22f0c6eb866815ULL, 0x876dee9bb9cc5fc5ULL, 0xc9d7b31c729f6e3bULL, 0x87ULL, 0x16aafd148ede1a43ULL, 0x87039d6d65c18ec1ULL, 0x7d1d2910d8f8930dULL, 0xcc266ba898fcabcaULL, 0x4c673fa79c78311ULL, 0x592e97f16bb17d51ULL, 0xfd670b03da260c98ULL, 0xcee1f7156dc65771ULL, 0x84ULL, 0x3697b13a540a714eULL, 0x8ab0d50f189d0ca4ULL, 0xe49d9abb4cb3d1dULL, 0xfa95412448798753ULL, 0xc226c7d3ecc3bb91ULL, 0x2f810c789d164b04ULL, 0x1fd70d5ff4136118ULL, 0x1b61399d684273d1ULL, 0xbULL, 0x9c8bffe31483ba4ULL, 0xd8317096da1aa3c1ULL, 0x57493264f66554feULL, 0x61a068e28f5d4894ULL, 0x2fd5e63f83687a81ULL, 0xd5c5cded1278d7b2ULL, 0xb66e031d47a4d0fbULL, 0x3dea7bc952e14654ULL, 0x17bULL, 0xf0d2cec2726ad37fULL, 0x9f5ead573cbef062ULL, 0xba51fc09a7b9459aULL, 0xbadd24118b83b08eULL, 0x29cb48db67bee92aULL, 0x174e17d66c1e1ce1ULL, 0xe8671739acc4b775ULL, 0xb4eecfa2b5b2c55bULL, 0x4aULL, 0xedd402c5f07e5d94ULL, 0x251adc504a7fe63dULL, 0x99d421903604f72aULL, 0xc43eeb8478222fd2ULL, 0xd27a2dc9e19d4970ULL, 0x6d6d3e0868220169ULL, 0xf218b31d7590b571ULL, 0x716e1c8658681f7dULL, 0x1a4ULL, 0xd8486606584a4caULL, 0x4008e364bc8c0a68ULL, 0xfb8e092f3e363218ULL, 0xced0342a5d9c971fULL, 0x1dac03aa4711f480ULL, 0x6d7dc56b800a48e3ULL, 0x702dd581e39278d4ULL, 0xa1569cd2a9a5c60aULL, 0x12aULL, 0x5869b09c8c09da5aULL, 0xe703e2c08a47ea61ULL, 0xa62889879005df7eULL, 0x6e9addf8926f8035ULL, 0xcd447e3456e255d1ULL, 0x1be24c37b8cd3c11ULL, 0x2c8b3bec0206ae20ULL, 0xfc05ea94d62203e6ULL, 0x91ULL, 0x1347014c16e3fcafULL, 0x49cdad367acb780ULL, 0x69d80f002a66914fULL, 0xafa06cef21801692ULL, 0x78df362727c00f16ULL, 0xa7a9814064b5f8a7ULL, 0x542dc613c9980a18ULL, 0x7e0863aa92e7cfd9ULL, 0x60ULL, 0x5f257c765efcc5f0ULL, 0x646374e81077109ULL, 0xdd139cc7793c4e35ULL, 0x75aa7cfca630e0ddULL, 0x1cf50fb1706cdb6ULL, 0xaf6c4f1e475a7b03ULL, 0xed7e560c9cec82c7ULL, 0x78ed626c3ed1694fULL, 0x1cbULL, 0xc1b7c237f435fb56ULL, 0xf3816b89ff696f3eULL, 0x5773c53954705095ULL, 0x5e5e381a7d8032ecULL, 0xca73e3e62a83c45ULL, 0xa40b7722953c8a6fULL, 0x6efa4b03f78cce28ULL, 0x9ce8ae509660ca46ULL, 0x12eULL, 0x58b111c606834c26ULL, 0xa69c9f5de01ba963ULL, 0x34f3a3c91f409c00ULL, 0x38a1dcd51607bd24ULL, 0x376aee49fc007dabULL, 0x899bdb8526d9140cULL, 0xd46600eb3724bedcULL, 0x37cbe2fbdfc01bc0ULL, 0xf6ULL, 0xba3db88d53d14881ULL, 0xbc70c679607798aaULL, 0xa7d111654dab0eb6ULL, 0xef47827d70d67752ULL, 0x1dbb9749d181964cULL, 0x4c93494e970ceba5ULL, 0x1e41cec0101b8970ULL, 0x667d043238f74bbaULL, 0x32ULL, 0x2b63aac46cdc7a3cULL, 0x5fcee39e8c97b2bbULL, 0x1bc0e462eba3c343ULL, 0x43e56f32b3a986bdULL, 0xe6efe67c36adc9ffULL, 0x835429ed37cbc0bcULL, 0x230d52bcb7dc98d4ULL, 0xf8d986fa5c8df946ULL, 0x136ULL, 0xc6a950a8ad47b799ULL, 0x4eb114accf2b2b4ULL, 0xef110f88fd8aa5f4ULL, 0x7bc0a92f7cec70dULL, 0x54cf9b53c99e5954ULL, 0x471df76dc9c8f3bfULL, 0x587a8b767a285931ULL, 0x6f775b90dc19b23aULL, 0x1eeULL, 0x5e36fc04a202a129ULL, 0xf562d124ea218728ULL, 0xbbf9cf572a5be167ULL, 0x7d3c8195e9b64d1bULL, 0xdaac19c2c3c234deULL, 0xeb1d816dda557c11ULL, 0x98e592c1642b46aaULL, 0x9282bde42c1714d1ULL, 0x122ULL, 0x82d5b22e0252e5a7ULL, 0x5a2540796c0c40c3ULL, 0xaf446d549b0db22cULL, 0x53ef21fc7e27022cULL, 0x9542088e22295c27ULL, 0x2e8297b5321af496ULL, 0xec08682fab4d9d3dULL, 0xc61fd06cfbaa787cULL, 0x4eULL, 0x37a787d0570d1de8ULL, 0xabfc84d7ac9bcc2aULL, 0xcb30a301758dc091ULL, 0x830d9b7544194a5ULL, 0xb119a1182ee124d4ULL, 0xe396070ccd9d9f24ULL, 0x7d217f3a60347457ULL, 0x973f0dad87051431ULL, 0x1feULL, 0x744e2bc456c84f94ULL, 0x191fe518f92db768ULL, 0x3722065c13181a69ULL, 0x8376c70d4794153dULL, 0x42bf0728f3e9cfeaULL, 0xdf0804503cd0227cULL, 0xb74908b72d4ce62ULL, 0xa780a7a66cd49682ULL, 0xdULL, 0xcab2e2bd58bfb047ULL, 0x14ed690950e2c584ULL, 0xd23a193eef660a13ULL, 0x3e94ef82e623dc6bULL, 0x89168a42452fe937ULL, 0x7285f4b99fec0e6bULL, 0x74fbea7819e5e2aULL, 0x3ff225e1892d405fULL, 0x16dULL, 0x99d285b2b91d1bb2ULL, 0xf0d3572696e003acULL, 0x1c66cb2f0a64f896ULL, 0xbe94fa14adcf56fbULL, 0xfcc097faa39577d9ULL, 0x51c79c1e64171d3ULL, 0x21006b25d5544d8bULL, 0xa84fb4ac4762f634ULL, 0xb8ULL, 0x952aa7af315ef54ULL, 0xd73158e94ffcda10ULL, 0xa56fbeb2897a5177ULL, 0x30a7362d5a150f87ULL, 0x872aa02abf26a306ULL, 0xc24f921fc48811aeULL, 0xa8161b3d1571835fULL, 0xfa394cfbb33de3b5ULL, 0x1fULL, 0xc962f4554bdda743ULL, 0x6bc93ddd9f13a94eULL, 0x87026cddccf738b4ULL, 0xeba7ce014ac53615ULL, 0xef17107a26e8830cULL, 0x338ed256280edb99ULL, 0xa9b98e6bb08f9e7cULL, 0x25a7930be8222cccULL, 0x1d2ULL, 0x2978ed599f152231ULL, 0xe9260689b6a75d1dULL, 0x55dc15025f763670ULL, 0xd208867ab20f6edULL, 0xb533d9c0ffc47675ULL, 0x4f0726658d7667d4ULL, 0xe286d0b08587b8daULL, 0xfded04a590379befULL, 0xc9ULL, 0x46e90818bfdcb1dbULL, 0x6fe796756c63919ULL, 0x6878b48698216676ULL, 0x42b5b16466b6d6fULL, 0xc6b1fbde98078278ULL, 0xc4a9c8093f67be82ULL, 0x413ee1725459f0d4ULL, 0x61d736ddbdb88280ULL, 0x111ULL, 0x4a2b8c79de5703ecULL, 0xbe560fb1d8926e53ULL, 0x2c02d91d35ba884ULL, 0x2905227ee8502ba0ULL, 0xc89b6a727ab5022bULL, 0x34fde9aeec2ac47cULL, 0x476949242cfc50aeULL, 0x59a784294e60451ULL, 0x12ULL, 0xe678e4fcf8eb1c83ULL, 0x51cba828eb9ed892ULL, 0x66df24d0c4a1ff1eULL, 0xc23421ed64595c14ULL, 0x77f1a8585360bb07ULL, 0x5d088d2d229605e0ULL, 0xdaa7f56d41ef6bd3ULL, 0x3423a5341742fdceULL, 0x103ULL, 0xb4a810b1b6faca97ULL, 0x9fe636b8e1aaaf1fULL, 0x80db6b44e6714465ULL, 0xb1558604dd061b64ULL, 0x11f35dce594504f4ULL, 0xa71fe274b0e7bfa4ULL, 0xbf30abb3505860cfULL, 0xfc48e41fc4dd102fULL, 0x1d3ULL, 0xabce4c3ff3edaf97ULL, 0x1c26796382309479ULL, 0xf7267f4b7df848b0ULL, 0x4e42842c78d99b89ULL, 0xf716ac256b4ba428ULL, 0x584b522cf2f563f1ULL, 0x9aea718d165bf968ULL, 0x9eaba54b7969e2d0ULL, 0xcfULL, 0x16f01299883faf7cULL, 0x9cb274946bff3171ULL, 0xd25f1be1dfd51226ULL, 0xc2b54ab398d9daf7ULL, 0x312684c804e61437ULL, 0xc7c9389b0d806f33ULL, 0x26f5b9cf7b0f915eULL, 0x3a2db08946eba141ULL, 0xbaULL, 0xcce76bf9ee2ea530ULL, 0xaa415a1821bc8472ULL, 0x12f1dd698e224032ULL, 0xe9995c9cc618063fULL, 0x5837e1660fa4064aULL, 0x4a340963f6f58a37ULL, 0x3aac6b70964a5638ULL, 0x434cd5f8c89a6f9cULL, 0x2ULL, 0x90f84893efc58ea8ULL, 0xe95dd312e244fbdeULL, 0x72053841ef2b3782ULL, 0x42454d250e95b183ULL, 0x9752755e25ff6526ULL, 0xa09171630b059ecULL, 0xb00b31e64c2dc682ULL, 0xed8148d77b86ea7cULL, 0x107ULL, 0xb432fc540a76ab1dULL, 0x9b33e02288deaf67ULL, 0xd65d736a61014fa3ULL, 0x8afecb6806b2ac3dULL, 0x41e9d8d3a8729e59ULL, 0xc4eccf92d060995bULL, 0x2b82662b6fd78057ULL, 0x881274ca13e42603ULL, 0xa4ULL, 0xd40b6efda2daa411ULL, 0x26698ac6f3c475b3ULL, 0xbd2194c3e20e59feULL, 0xc856dfc227b482d5ULL, 0x3fb042655b33a619ULL, 0x2beaffba3eec9584ULL, 0xa7f7ec0ce60c406bULL, 0x3562bb23b053ecbfULL, 0x79ULL, 0x33f1a5e5985b84fULL, 0xaa4e40e3d8b34fa7ULL, 0x384b2f26d6000979ULL, 0x972f5c1c466dfa46ULL, 0xade3a32b694b79a6ULL, 0x42d3fdeaac8169f1ULL, 0xd9371ba96b5d9db8ULL, 0xc00fe227e144b72aULL, 0x16eULL, 0xee9b69b5e5f02c0aULL, 0x2da2f15131cb4833ULL, 0xce36b8cfea6c96efULL, 0x92c1384cc54abfeULL, 0x704704b01c2d45b9ULL, 0xdb24117ee9b9f437ULL, 0xb968f8877e0c88abULL, 0x63c04adda79123c0ULL, 0xfaULL, 0xa9ba118ba3a93f76ULL, 0x6d824fffeeafda78ULL, 0x30010d76d5513b24ULL, 0xcc4766358e18e9e3ULL, 0xb398c98b112fed8eULL, 0xdf3f9454e182a0e6ULL, 0x92fc7f2d6d186597ULL, 0x21c82488746c84deULL, 0x1a8ULL, 0x834b8260677cf65eULL, 0x75c103c79257215fULL, 0xf06c79e8fa216fdfULL, 0x5b56610543cabcc7ULL, 0x3c406d16943c4128ULL, 0xd82bde05d234f388ULL, 0x887a39b3068706e6ULL, 0x61ea781d82fc3537ULL, 0x180ULL, 0xd0bc367f6785096dULL, 0xb7f6dde06a9bb30cULL, 0xf8593064f90b60bULL, 0x7a7d16e1460273ecULL, 0x97a3f24f3d51e666ULL, 0x9fbe0629cc7c55afULL, 0x2bdf939fd200f610ULL, 0x12c01ab711574f84ULL, 0x1abULL, 0xf8cd6f35f30397b5ULL, 0x95e2062da76189f0ULL, 0x3838d211e715dbf4ULL, 0xd71a8978b2d48903ULL, 0x8dfa6e0f56111061ULL, 0xf7ca55b8542fea6fULL, 0xd85f4e551034a26fULL, 0x991268357b4d5312ULL, 0xe3ULL, 0xa42758183850ee52ULL, 0xa87dec8b94857613ULL, 0xd3eb7dff9f65a85dULL, 0x76c4671ecf028268ULL, 0x27c47e1c2f46606dULL, 0x55e2b5b1088b87e0ULL, 0x5a9f013211a5a002ULL, 0xe42497ef52e209beULL, 0xf8ULL, 0xb272035beb5bf0faULL, 0x101d2b04e8f68d4ULL, 0x69009cf86ac86b3dULL, 0x5547752bf623850dULL, 0x24b6171348223dc6ULL, 0xc68c4b0f57e89a4eULL, 0xf6bc548ea54cd94bULL, 0xf32a0be8e923a339ULL, 0x108ULL, }; #endif