pqc/crypto_kem/hqc-256/avx2/gen_matrix.h
2021-03-24 21:02:48 +00:00

17 lines
47 KiB
C

#ifndef GEN_MATRIX_H
#define GEN_MATRIX_H
/**
* @file gen_matrix.h
* Header file that contain precomputed generator matrix of the BCH code defined in the file parameters.h
*/
#include "parameters.h"
#include "parameters.h"
uint64_t PQCLEAN_HQC256_AVX2_gen_matrix[(PARAM_N1 - PARAM_K) * 4] = {0xb559382d23cb5841UL, 0x6eb4069ac7109bfUL, 0x1e7e1471cb9ab712UL, 0x2217983e7d0d472cUL, 0xdfeb4877645de8c3UL, 0xb3dc0baf4931ac0UL, 0x22823c925cafd936UL, 0x6638a8428717c974UL, 0xbfd690eec8bbd186UL, 0x167b8175e9263581UL, 0x45047924b95fb26cUL, 0xcc7150850e2f92e8UL, 0xcaf419f0b2bcfb4dUL, 0x2a1c42827e3d62bcUL, 0x9476e638b925d3caUL, 0xbaf53934615262fcUL, 0x20b10bcc46b2aedbUL, 0x52d3c56d500bccc6UL, 0x3693d800b9d11086UL, 0x57fdea56bfa982d5UL, 0x416217988d655db6UL, 0xa5a78adaa017998cUL, 0x6d27b00173a2210cUL, 0xaffbd4ad7f5305aaUL, 0x379d171c3901e32dUL, 0x4da455dcec5e3aa7UL, 0xc43174732cdef50bUL, 0x7de0316483ab4c78UL, 0x6f3a2e387203c65aUL, 0x9b48abb9d8bc754eUL, 0x8862e8e659bdea16UL, 0xfbc062c9075698f1UL, 0xde745c70e4078cb4UL, 0x36915773b178ea9cUL, 0x10c5d1ccb37bd42dUL, 0xf780c5920ead31e3UL, 0xbce8b8e1c80f1968UL, 0x6d22aee762f1d539UL, 0x218ba39966f7a85aUL, 0xef018b241d5a63c6UL, 0x79d171c3901e32d0UL, 0xda455dcec5e3aa73UL, 0x43174732cdef50b4UL, 0xde0316483ab4c78cUL, 0x46fbdbaa03f73de1UL, 0xb261fbf427b65d59UL, 0x98509a145044167bUL, 0x9e11b4ae0864c834UL, 0x8df7b75407ee7bc2UL, 0x64c3f7e84f6cbab2UL, 0x30a13428a0882cf7UL, 0x3c23695c10c99069UL, 0xaeb656852c17afc5UL, 0xcf6cafb932a87cdaUL, 0x7f3c7c208a8aeefcUL, 0x5a514a865c9e67feUL, 0x5d6cad0a582f5f8aUL, 0x9ed95f726550f9b5UL, 0xfe78f8411515ddf9UL, 0xb4a2950cb93ccffcUL, 0xf8062399395e755UL, 0x3b59fe8d66d0fad5UL, 0xe28fe4f3e1b10ce1UL, 0x4b52b2270f74d8d5UL, 0xaa59fc5e04e096ebUL, 0x7058bd7361d0fc15UL, 0xdb61dd9608f8aed0UL, 0xb4b2fc7063e4f687UL, 0xe1eac0912a0a7597UL, 0xe65a3a8f6fd0f194UL, 0xa8bdaf5dda6beab2UL, 0x4b7260debac4aa23UL, 0x768cb90f77dfb36fUL, 0xca5f357773d0ea96UL, 0x4f054aca7f4d6277UL, 0xb4f359830884136bUL, 0x58404a33cc743e9fUL, 0x92552a874bd0dc93UL, 0x807481e5350073fdUL, 0x4bf12b386c0561faUL, 0x5d9ac4abb23257fUL, 0x224115673bd0b099UL, 0x1e9717bba19a50e9UL, 0xb5f5ce4ea50784d9UL, 0xbb3589576464afeUL, 0x44822ace77a16132UL, 0x3d2e2f774334a1d2UL, 0x6beb9c9d4a0f09b2UL, 0xa23f8907cf47cdbdUL, 0x8fef15f54333cbdbUL, 0x64224a9f4df3f4b6UL, 0xf5c0a104e9135448UL, 0xf1262a22bd44c33bUL, 0x19356b832a169e08UL, 0xd63a814f507d5e7fUL, 0xc996da37af2befbcUL, 0xe24c54457a898676UL, 0x326ad706542d3c11UL, 0xac75029ea0fabcfeUL, 0x932db46f5e57df79UL, 0x71c190a7d6d854adUL, 0x623eee65042b719cUL, 0x4694114c8a6fceeeUL, 0x44cf0e0c1a2f9dfUL, 0x56da19628e7bf11bUL, 0xc2969ca3a427ea87UL, 0x935636e8df452aceUL, 0x2a8e79fffe48b492UL, 0x18ed0ae83f3cba77UL, 0x83c6792ee43edcb1UL, 0x38d279a07510e28fUL, 0x770b6bc1819c2e09UL, 0x84832dfd5db22cafUL, 0x167b234640cb0ddUL, 0x6fdae73121bb720dUL, 0xcc014fbd7e351b3eUL, 0xbc5f63d798af011fUL, 0x424240164686804UL, 0xc1cbda1388ec5308UL, 0xba15074481677150UL, 0x78bec7af315e023eUL, 0x8484802c8d0d009UL, 0x8397b42711d8a610UL, 0x742a0e8902cee2a1UL, 0xf17d8f5e62bc047cUL, 0x1090900591a1a012UL, 0x72f684e23b14c20UL, 0xe8541d12059dc543UL, 0x57a22691e6b350b9UL, 0x27ca60628f32499aUL, 0x1020c4ed8cf82f52UL, 0xf2bfa21a7636cdaaUL, 0xaf444d23cd66a172UL, 0x4f94c0c51e649334UL, 0x204189db19f05ea4UL, 0xe57f4434ec6d9b54UL, 0x5e889a479acd42e4UL, 0x9f29818a3cc92669UL, 0x408313b633e0bd48UL, 0xcafe8869d8db36a8UL, 0x8480ca21651dd89UL, 0x38b8437dd5e3456dUL, 0x9f78331dac5bcd83UL, 0xb7ea88edccbb2a7cUL, 0x109019442ca3bb12UL, 0x717086fbabc68adaUL, 0x3ef0663b58b79b06UL, 0x6fd511db997654f9UL, 0x94790aa57a8c2e65UL, 0xe40a4d9efbfc1c0bUL, 0x639ed8077af5811eUL, 0xfdbdbb894fe1eedeUL, 0x9dab2d67d6d3048bUL, 0xceffdb545b8931a8UL, 0xd943a47f3e71b52fUL, 0xd96cef2ce2ce9a90UL, 0x3b565acfada60916UL, 0x9dffb6a8b7126351UL, 0xb28748fe7ce36a5fUL, 0xb2d9de59c59d3521UL, 0xc3f58db278874a6dUL, 0x3d142d38c255cf1dUL, 0x7b70858d325c63adUL, 0x47a4248df6372d6fUL, 0x87eb1b64f10e94daUL, 0x7a285a7184ab9e3bUL, 0xf6e10b1a64b8c75aUL, 0x8f48491bec6e5adeUL, 0xfd636c9e21d29b4UL, 0xf450b4e309573c77UL, 0xedc21634c9718eb4UL, 0x1e909237d8dcb5bdUL, 0xaaf555bee7f10b29UL, 0xee4a29afbedf7151UL, 0xc5fa38185979aa7bUL, 0x1f36bc51ccb42c57UL, 0xe0b39350ec294e13UL, 0xda7f1336d1cfeb1cUL, 0x958a64417969e3e5UL, 0x1c7ae09de4651f83UL, 0x743e1e8cfb99c467UL, 0xb21566040feedf86UL, 0x356adcf3394970d9UL, 0x1ae25905b5c7782bUL, 0xe87c3d19f73388ceUL, 0x642acc081fddbf0cUL, 0x6ad5b9e67292e1b3UL, 0x35c4b20b6b8ef056UL, 0xd0f87a33ee67119cUL, 0xc85598103fbb7e19UL, 0xd5ab73cce525c366UL, 0x6b896416d71de0acUL, 0x14a9cc4aff057b79UL, 0x96407049d307f58cUL, 0xb528f3e801d131dfUL, 0xf5055013d3368675UL, 0x9c0aa0b8ddc1aeb3UL, 0x2a6ba0fa0a7ee2a7UL, 0x742ff3a1c838d4adUL, 0xc81d3819db604bc7UL, 0x8d4c795c98480527UL, 0x523c019db88cccf0UL, 0xf621f3325beb1e48UL, 0xb22de80dcbcdd0a2UL, 0x1a98f2b930900a4eUL, 0xa478033b711999e1UL, 0xec43e664b7d63c90UL, 0x645bd01b979ba145UL, 0x3531e5726120149cUL, 0x48f00676e23333c2UL, 0xd887ccc96fac7921UL, 0xc8b7a0372f37428bUL, 0x6a63cae4c2402938UL, 0x91e00cedc4666784UL, 0xb10f9992df58f242UL, 0x916f406e5e6e8517UL, 0x619eade4a74b0a31UL, 0x252b59b224bdc6b7UL, 0x7c612754752b5397UL, 0xc918e2c1d04d03UL, 0xc33d5bc94e961462UL, 0x4a56b364497b8d6eUL, 0xf8c24ea8ea56a72eUL, 0x19231c583a09a06UL, 0x33238fbfbee77085UL, 0x924626a13e861362UL, 0xeffa89201f37f94eUL, 0x2133fbb57a4c7321UL, 0x66471f7f7dcee10aUL, 0x248c4d427d0c26c4UL, 0xdff512403e6ff29dUL, 0x4267f76af498e643UL, 0x79d706d3d8569a55UL, 0x4ff3daed56694437UL, 0xa19430f1b7455228UL, 0xa6d876eb943c8babUL, 0xf3ae0da7b0ad34aaUL, 0x9fe7b5daacd2886eUL, 0x432861e36e8aa450UL, 0x4db0edd728791757UL, 0x5205236242913115UL, 0x39242bdcf5d41962UL, 0x982ed7b7168fffb3UL, 0xb97643902dff6982UL, 0x11537ee9a6e93a6bUL, 0x74a317d047d93b7bUL, 0x2e23bb1fe6854874UL, 0x50fb1f1e26f39429UL, 0x22a6fdd34dd274d6UL, 0xe9462fa08fb276f6UL, 0x5c47763fcd0a90e8UL, 0xa1f63e3c4de72852UL, 0x454dfba69ba4e9acUL, 0xd28c5f411f64edecUL, 0xb88eec7f9a1521d1UL, 0x43ec7c789bce50a4UL, 0x3fc2cf6014828b19UL, 0xa3f3feeb92b8d267UL, 0x6f63cc8effb0f4b1UL, 0xa5cf60cf4a91e665UL, 0x7f859ec029051632UL, 0x47e7fdd72571a4ceUL, 0xdec7991dff61e963UL, 0x4b9ec19e9523cccaUL, 0x4a5205ad71c17425UL, 0x8924bbc7e6924023UL, 0xa3f1264a355965d4UL, 0xb52a1b03574adeb9UL, 0x94a40b5ae382e84aUL, 0x1249778fcd248046UL, 0x47e24c946ab2cba9UL, 0x6a543606ae95bd73UL, 0x294816b5c705d094UL, 0x2492ef1f9a49008dUL, 0x8fc49928d5659752UL, 0xd4a86c0d5d2b7ae6UL, 0xe7c91546adc0f969UL, 0x4fce9e5698e308a5UL, 0x1f72620615199b6UL, 0x8b474024c75bb2e1UL, 0xcf922a8d5b81f2d2UL, 0x9f9d3cad31c6114bUL, 0x3ee4c40c2a3336cUL, 0x168e80498eb765c2UL, 0x9f24551ab703e5a4UL, 0x3f3a795a638c2297UL, 0x7dc9881854666d9UL, 0x2d1d00931d6ecb84UL, 0x3e48aa356e07cb48UL, 0x7e74f2b4c718452fUL, 0xfb931030a8ccdb2UL, 0x5a3a01263add9708UL, 0xc9c86c47ffc4ced1UL, 0xfa02a500224183e1UL, 0x10c7677de832c76UL, 0x96639a7208b6693cUL, 0x26c9e0a2dc42c5e3UL, 0xf2ee0a69e8f20e7cUL, 0x1c66f89e769cefffUL, 0xed0acda6c619554UL, 0xf8caf9689b4ed387UL, 0xe33754ba7d951547UL, 0x26b3e54d26a368edUL, 0x3fb6c18aa5ce6d84UL, 0x44cccafc1556ff4fUL, 0xc085e91d575b2330UL, 0x5319deeb86dc66c9UL, 0x5d7a1b2b36919c24UL, 0x3cc0add50966a6dfUL, 0x87e0925302c74fdfUL, 0xb84da9a6c6227a81UL, 0x98e3ae68102e7f64UL, 0xccd86387310615ffUL, 0x92a64cfa9ff9601UL, 0x6ee5473c47de4211UL, 0x13d0c4ee5d51b9e5UL, 0x2ce9ff2341c773bfUL, 0x14bf89f6ff8e25bcUL, 0xc3b49a0944263330UL, 0x5b611e2c7ae34e6UL, 0x59d3fe46838ee77eUL, 0x297f13edff1c4b78UL, 0x87693412884c6660UL, 0xb6c23c58f5c69cdUL, 0xb3a7fc8d071dcefcUL, 0x52fe27dbfe3896f0UL, 0xed268251098ccc0UL, 0x16d8478b1eb8d39bUL, 0xd216c1372df0c5b9UL, 0xa3170fde5000245eUL, 0x3dac43beaab2e92UL, 0xfa71728407ce01aUL, 0x1174ba43782ad333UL, 0x40c55fd50c714102UL, 0x19cb9c061eccea37UL, 0x3d59b66efdf48718UL, 0x97b04cabd39efe27UL, 0x8761ffc3b4938bbbUL, 0x2de92c7df603637cUL, 0x58a4f4e386e4491cUL, 0x9a39a17a84f6a40fUL, 0x828bfeec5561ec8UL, 0x45ac4c8a279c71ebUL, 0x935e71f970c5d514UL, 0x347342f509ed481eUL, 0x10517fdd8aac3d91UL, 0x8b5899144f38e3d6UL, 0x26bce3f2e18baa28UL, 0xddbfbdc73011c87dUL, 0x2649bfd2b929729dUL, 0x8cf265955eb70beUL, 0x6f6e5fdbbe1a137dUL, 0xbb7f7b8e602390faUL, 0x4c937fa57252e53bUL, 0x119e4cb2abd6e17cUL, 0xdedcbfb77c3426faUL, 0xc3a7cf31e38c79b5UL, 0x9fcdbf2348d4c3c8UL, 0x3d428d149c3775eaUL, 0x9faee75085650ad8UL, 0x874f9e63c718f36aUL, 0x3f9b7e4691a98791UL, 0x7a851a29386eebd5UL, 0x3f5dcea10aca15b0UL, 0xbbc604eaadfabe95UL, 0x79ddbce48f22069cUL, 0xeb742023bb4760b8UL, 0x5cac057c68996c4cUL, 0xc2d531f8783e256bUL, 0xf55039a0b2350486UL, 0xc8965436bd147662UL, 0x9b4f92c6ac3f9fb5UL, 0x85aa63f0f07c4ad6UL, 0xeaa07341646a090dUL, 0x912ca86d7a28ecc5UL, 0x369f258d587f3f6bUL, 0xbe0dffccc333cdedUL, 0xd3aba6eb64a51ba4UL, 0x3c2744ab3fcb6e99UL, 0x4f29d324cdf339fbUL, 0x7c1bff9986679bdaUL, 0xa7574dd6c94a3749UL, 0x784e89567f96dd33UL, 0x9e53a6499be673f6UL, 0xf837ff330ccf37b4UL, 0x4eae9bad92946e92UL, 0xf09d12acff2dba67UL, 0x3ca74c9337cce7ecUL, 0x4536c64b3a553729UL, 0x9bb677328959d49aUL, 0xff44312835c1c3dcUL, 0x5b590118129488f5UL, 0x8a6d8c9674aa6e52UL, 0x376cee6512b3a934UL, 0xfe8862506b8387b9UL, 0xb6b20230252911ebUL, 0xa1822101ca9f84e5UL, 0x68329ca389165bd6UL, 0xe36ed0d11c9db860UL, 0x4f739c5e375f64fbUL, 0xf65d7a2eb6f4518bUL, 0xd68e792ebe5dbe12UL, 0xd8a3b5d3f2a1c7d2UL, 0xbcf0a08213b38edbUL, 0x59e3cc704e23fb57UL, 0xabf7b234d0ca759aUL, 0xaf397fd62ed938b7UL, 0x5bf6d93a5a6a5a9bUL, 0xb3c798e09c47f6aeUL, 0x57ef6469a194eb34UL, 0x5e72ffac5db2716fUL, 0xb7edb274b4d4b537UL, 0x678f31c1388fed5cUL, 0xafdec8d34329d669UL, 0xbce5ff58bb64e2deUL, 0x6fdb64e969a96a6eUL, 0xcf1e6382711fdab8UL, 0x5fbd91a68653acd2UL, 0x79cbfeb176c9c5bdUL, 0xdfb6c9d2d352d4ddUL, 0x2b65ff29c1f4ed31UL, 0xb9906324a0d6501aUL, 0xede9e91326093c68UL, 0x9d7a0b9bdba8ee96UL, 0xe392c67ea0228223UL, 0x75cb8620eddda98bUL, 0xc5adc6578788cfc3UL, 0x18e38f09ca5c9a01UL, 0x727cb4d0638e5c07UL, 0xed7c4c2877ca5aa8UL, 0x952598dec48b2894UL, 0x13d0862de9b4732fUL, 0x51a0518de4d7e04fUL, 0xdc13d83943e5bcefUL, 0x343525cc428ce63bUL, 0x5b69465ae65a173UL, 0xa340a31bc9afc09eUL, 0xb827b07287cb79deUL, 0x686a4b988519cc77UL, 0xb6d28cb5ccb42e6UL, 0x46814637935f813cUL, 0x704f60e50f96f3bdUL, 0xd0d497310a3398efUL, 0x16da5196b99685ccUL, 0x8d028c6f26bf0278UL, 0xe09ec1ca1f2de77aUL, 0xa1a92e62146731deUL, 0x2db4a32d732d0b99UL, 0xaf5c20f36eb55cb1UL, 0xc7d6c3fd922ac74aUL, 0x5d2c48b5e354d4afUL, 0x797ede649b57501fUL, 0x5eb841e6dd6ab962UL, 0x8fad87fb24558e95UL, 0xba58916bc6a9a95fUL, 0xf2fdbcc936aea03eUL, 0x829bbe0991e2a85UL, 0x19b04f9fe4da1495UL, 0x6acf36a646c9e5adUL, 0xc7ece1ac10500751UL, 0xa50a4fec11f70d4bUL, 0x358bdf5665c52095UL, 0xcbe0793d46097c48UL, 0xadce5b665dad498eUL, 0xff4da7f5002542d7UL, 0x6dfcfec567fb4894UL, 0x89bee60b47884f82UL, 0x798b2ef2c657d431UL, 0x4bc277c72381ddefUL, 0xdd12bde363879896UL, 0xd03d867448a2816UL, 0xd101c5dbf1a2ef4fUL, 0x9784ef8e4703bbdeUL, 0xba257bc6c70f312cUL, 0x1a07b0ce8914502dUL, 0xa2038bb7e345de9eUL, 0x9a50e731adcc2ffdUL, 0x72a1b7e4226f6be6UL, 0x2a7175ecd9b21749UL, 0x66108f51bb86fa10UL, 0x34a1ce635b985ffaUL, 0xe5436fc844ded7cdUL, 0x54e2ebd9b3642e92UL, 0xcc211ea3770df420UL, 0x69439cc6b730bff4UL, 0xca86df9089bdaf9aUL, 0xa9c5d7b366c85d25UL, 0x98423d46ee1be840UL, 0x67de01a04daa27a9UL, 0x93e6ff48bf0a568bUL, 0x4df5bb17060a0d59UL, 0x1293e2b3a13a97adUL, 0x7ae53b6db89f1713UL, 0x2126bef8d265a4a9UL, 0x8595625fc78eada1UL, 0x7305d593f786876UL, 0x40934ef652f57667UL, 0x44a63d9808ba40edUL, 0x1554d0ce4487ec50UL, 0x2c77228c03fd97c1UL, 0x347fa5c18621b48fUL, 0x8fa73b59bd058865UL, 0x34d7b5ed42956fb2UL, 0x7af9dd267af668aeUL, 0x68ff4b830c43691eUL, 0x1f4e76b37a0b10caUL, 0x69af6bda852adf65UL, 0xf5f3ba4cf5ecd15cUL, 0x64a7af2b3b4d8a7dUL, 0x3877ad0f5867282bUL, 0xcd20c3c4c1cf09d8UL, 0xc9f0eca796d4e594UL, 0xc94f5e56769b14faUL, 0x70ef5a1eb0ce5056UL, 0x9a418789839e13b0UL, 0x93e1d94f2da9cb29UL, 0x929ebcaced3629f4UL, 0xe1deb43d619ca0adUL, 0x34830f13073c2760UL, 0x27c3b29e5b539653UL, 0x253d7959da6c53e8UL, 0xc3bd687ac339415bUL, 0x69061e260e784ec1UL, 0x4f87653cb6a72ca6UL, 0xff23ca9e9713ff91UL, 0x8191909c2a038b09UL, 0xcc72283dd76a2a91UL, 0xbd19524710431e60UL, 0xfe47953d2e27ff22UL, 0x323213854071613UL, 0x98e4507baed45523UL, 0x7a32a48e20863cc1UL, 0xfc8f2a7a5c4ffe44UL, 0x6464270a80e2c27UL, 0x31c8a0f75da8aa46UL, 0xf465491c410c7983UL, 0x4c476cd99b54a4c9UL, 0xa67c488fc6d51f0UL, 0x7def559f70cbe39eUL, 0xcadd0a06ff15b42aUL, 0x2dd7e19e156211d3UL, 0x1224c97854abaa5fUL, 0xe5a0bf4f2a0d702eUL, 0xb7ad8c3383262f78UL, 0xeef6fb11090f7be7UL, 0x22a2d29905265d01UL, 0xd53f6aef9f80574eUL, 0x4d4c80597b4119ddUL, 0x68b4ce0f31d5af8fUL, 0x43aee55ba63db3bcUL, 0xb400c1aef49a198eUL, 0xb88e988c8b8f7497UL, 0x6430a4334060075fUL, 0x81b68adee00a6ec7UL, 0x767f972c22ae840eUL, 0x530aa9276a13ae03UL, 0xc861486680c00ebeUL, 0x36d15bdc014dd8eUL, 0xecff2e58455d081dUL, 0xa615524ed4275c06UL, 0x259ba8e0224b453dUL, 0x316b122c58b2a2UL, 0xc78048c14120a728UL, 0x6e3d3ca3d543ff21UL, 0x4b3751c044968a7aUL, 0x62d62458b16544UL, 0x8f00918282414e50UL, 0xdc7a7947aa87fe43UL, 0x966ea380892d14f4UL, 0xc5ac48b162ca88UL, 0x1e01230504829ca0UL, 0xb8f4f28f550ffc87UL, 0x2cdd4701125a29e8UL, 0x18b589162c59511UL, 0x3c02460a09053940UL, 0x71e9e51eaa1ff90eUL, 0xece3b62f077f0b91UL, 0x5fdf14b69fa239dUL, 0x667a9865d990c592UL, 0xc1c452032932b530UL, 0xd9c76c5e0efe1722UL, 0xbfbe296d3f4473bUL, 0xccf530cbb3218b24UL, 0x8388a40652656a60UL, 0x6d7e0913e377605UL, 0x111c85440b9987c8UL, 0x879475e6add9a15aUL, 0x2506d032d9c793edUL, 0xb8f6f90f5fa5b44bUL, 0x24d24ae1bb42062fUL, 0x1156ffbc9029f5a6UL, 0x681a385bce8260f7UL, 0x71edf21ebf4b6896UL, 0x49a495c376840c5fUL, 0x22adff792053eb4cUL, 0xd03470b79d04c1eeUL, 0xe3dbe43d7e96d12cUL, 0x93492b86ed0818beUL, 0x455bfef240a7d698UL, 0xa068e16f3a0983dcUL, 0xc7b7c87afd2da258UL, 0x2692570dda10317dUL, 0x8ab7fde4814fad31UL, 0x40d1c2de741307b8UL, 0x3a36a8d8d9901cf1UL, 0x4bcfee7218516b44UL, 0xb11efb8c905ed70UL, 0xa3b41d82952b485dUL, 0x746d51b1b32039e2UL, 0x979fdce430a2d688UL, 0x1623df71920bdae0UL, 0x47683b052a5690baUL, 0x5d839b4e458b2b85UL, 0x29d4f9a1cd34a4afUL, 0x3239aa92ef8d02d3UL, 0xacc7ee3429a06658UL, 0xbb07369c8b16570aUL, 0x53a9f3439a69495eUL, 0x64735525df1a05a6UL, 0x598fdc685340ccb0UL, 0x760e6d39162cae14UL, 0xa753e68734d292bdUL, 0xc8e6aa4bbe340b4cUL, 0xb31fb8d0a6819960UL, 0x5945e25f0f920469UL, 0x484c8d67c5d42cc5UL, 0x8fb340e6b7f2a18bUL, 0x4428e99f300e75edUL, 0xb28bc4be1f2408d2UL, 0x90991acf8ba8598aUL, 0x1f6681cd6fe54316UL, 0x8851d33e601cebdbUL, 0x6517897c3e4811a4UL, 0x2132359f1750b315UL, 0x3ecd039adfca862dUL, 0x10a3a67cc039d7b6UL, 0xca2f12f87c902348UL, 0x42646b3e2ea1662aUL, 0x7d9a0735bf950c5aUL, 0x21474cf98073af6cUL, 0x21071ddddaeb1ed1UL, 0x82239615f133c5eaUL, 0xe54a1a1ab4b0afa6UL, 0x609901cd7dea19f4UL, 0xf7570396961d65e3UL, 0x2ac6c424e16826bUL, 0xd4ea2044a2fbe85fUL, 0xe3259ba486d974c5UL, 0xeeae072d2c3acbc6UL, 0x558d8849c2d04d7UL, 0xa9d4408945f7d0beUL, 0xc64b37490db2e98bUL, 0x680536777bbecfcdUL, 0xc5af160942b0010UL, 0x4dd695634075166eUL, 0xae81f6ac6668943bUL, 0xd00a6ceef77d9f9aUL, 0x18b5e2c128560020UL, 0x9bad2ac680ea2cdcUL, 0x5d03ed58ccd12876UL, 0x154de1f0cd306775UL, 0x378085ebfcdd09feUL, 0x292441fcca4eeeaaUL, 0x9810428fe4af17c1UL, 0x2a9bc3e19a60ceeaUL, 0x6f010bd7f9ba13fcUL, 0x524883f9949ddd54UL, 0x3020851fc95e2f82UL, 0xe06ebfee170ac595UL, 0xd8e957c65f052e47UL, 0xbaef1382e2a10dbaUL, 0x42569201efb11828UL, 0x758447f10dded36bUL, 0xb739efe5127b5530UL, 0x6ba033740ed8ac67UL, 0xa6babc3da26f777dUL, 0xeb088fe21bbda6d6UL, 0x6e73dfca24f6aa60UL, 0xd74066e81db158cfUL, 0x4d75787b44deeefaUL, 0x634827e914b015edUL, 0xda0cfffde59c5d7eUL, 0xb0fed9a1f0f8068cUL, 0xb8fd68c8f4b09ad9UL, 0x73c977ff0aab739bUL, 0xb2f2bf926749b343UL, 0x7f83a7322a6aba0bUL, 0x53ed49af946c729fUL, 0xe792effe1556e736UL, 0x65e57f24ce936686UL, 0xff074e6454d57417UL, 0xa7da935f28d8e53eUL, 0xcf25dffc2aadce6cUL, 0xcbcafe499d26cd0dUL, 0xfe0e9cc8a9aae82eUL, 0x4fb526be51b1ca7dUL, 0x2b1287d57690c499UL, 0x917ebcfa963c93a4UL, 0xe2632de098cf674fUL, 0xbd7dd542de6ed3d7UL, 0xe37c3787ceead173UL, 0x2416399c80082ef7UL, 0xdab84fb0fa04798dUL, 0x58ec32bbc1d0e083UL, 0x73a15722be1efaa7UL, 0x4ec73350ac615450UL, 0xab0e8b103f924408UL, 0x93cffd49feac862bUL, 0xe742ae457c3df54eUL, 0x9d8e66a158c2a8a0UL, 0x561d16207f248810UL, 0x279ffa93fd590c57UL, 0xce855c8af87bea9cUL, 0x3b1ccd42b1855141UL, 0xac3a2c40fe491021UL, 0x4f3ff527fab218aeUL, 0x28538138d33c8d79UL, 0x70d2daeccf7bab3cUL, 0x460a4cf037089750UL, 0xbc68727188697671UL, 0x50a70271a6791af2UL, 0xe1a5b5d99ef75678UL, 0x8c1499e06e112ea0UL, 0x78d0e4e310d2ece2UL, 0x14173cce6f396da5UL, 0xc5a02bda919fa54fUL, 0x65727b117b8ea53UL, 0xd3b651f85ca89ee9UL, 0x282e799cde72db4aUL, 0x8b4057b5233f4a9eUL, 0xcae4f622f71d4a7UL, 0xa76ca3f0b9513dd2UL, 0x505cf339bce5b694UL, 0x1680af6a467e953cUL, 0x195c9ec45ee3a94fUL, 0x4ed947e172a27ba4UL, 0x15e0de5e5a003569UL, 0x2bea1ebd208c23c7UL, 0x2cc729f9765de58cUL, 0xbfa517fc9849b064UL, 0x2bc1bcbcb4006ad2UL, 0x57d43d7a4118478eUL, 0x598e53f2ecbbcb18UL, 0x7f4a2ff9309360c8UL, 0x578379796800d5a4UL, 0xafa87af482308f1cUL, 0xb31ca7e5d9779630UL, 0xfe945ff26126c190UL, 0x1a5fcadff3caf309UL, 0x59bbb580a8101787UL, 0x78475bba79759b73UL, 0xdf3f27dabf40c40dUL, 0x81e6ad92c45ebe53UL, 0xb59c2b68fc5126b1UL, 0xeef0a305397181f4UL, 0x9c69d78b038ccf36UL, 0x3cd5b2588bd7ca6UL, 0x6b3856d1f8a24d63UL, 0xdde1460a72e303e9UL, 0x38d3af1607199e6dUL, 0xb2c38e6632b1a10dUL, 0xd09bedca5d359379UL, 0xa5bc98652e5cb0c0UL, 0x53b0c612733e7bf7UL, 0x65871ccc6563421aUL, 0xa137db94ba6b26f3UL, 0x4b7930ca5cb96181UL, 0xa7618c24e67cf7efUL, 0xcb0e3998cac68434UL, 0x426fb72974d64de6UL, 0x96f26194b972c303UL, 0x4ec31849ccf9efdeUL, 0x961c7331958d0868UL, 0x84df6e52e9ac9bcdUL, 0x2de4c32972e58606UL, 0x9d86309399f3dfbdUL, 0x2c38e6632b1a10d0UL, 0x9bedca5d359379bUL, 0x5bc98652e5cb0c0dUL, 0x3b0c612733e7bf7aUL, 0xed28f4eb75ff79e1UL, 0x1596f9220ac36689UL, 0xa9ed18d4000caf08UL, 0x540f5a701ac239d8UL, 0x6f08d1fbc835ab83UL, 0x2dc6b22db9f7c4acUL, 0x4da425d9cb83e902UL, 0x8a092cde4889349dUL, 0xde11a3f7906b5706UL, 0x5b8d645b73ef8958UL, 0x9b484bb39707d204UL, 0x141259bc9112693aUL, 0xbc2347ef20d6ae0cUL, 0xb71ac8b6e7df12b1UL, 0x369097672e0fa408UL, 0x2824b3792224d275UL, 0x78468fde41ad5c18UL, 0x6e35916dcfbe2563UL, 0x6d212ece5c1f4811UL, 0x504966f24449a4eaUL, 0xf08d1fbc835ab830UL, 0xdc6b22db9f7c4ac6UL, 0xda425d9cb83e9022UL, 0xa092cde4889349d4UL, 0x54430754257e2821UL, 0xbe3d05de92899c32UL, 0xaafaaf48bbe79757UL, 0x633203f76c2bd485UL, 0xa8860ea84afc5042UL, 0x7c7a0bbd25133864UL, 0x55f55e9177cf2eafUL, 0xc66407eed857a90bUL, 0xe455257db633f8c5UL, 0xfe1f5713e6577976UL, 0xb594a9532404ea4cUL, 0xaedf97e3cda2153aUL, 0x7df372d64faca9cbUL, 0xfad5ee4e60dffb52UL, 0x755746d78393638bUL, 0x7fa8b7f9e6496d59UL, 0xfbe6e5ac9f595396UL, 0xf5abdc9cc1bff6a4UL, 0xeaae8daf0726c717UL, 0xff516ff3cc92dab2UL, 0x4294f3741d79ff6dUL, 0xedbcf9502f0ee4f6UL, 0xcb230f2fc5d7393dUL, 0xdcb547d9e428f249UL, 0x3070dec51938a69bUL, 0xdd92b2c9f26cc053UL, 0x88380a2e4034c569UL, 0x9b7d178db55ca3bfUL, 0x60e1bd8a32714d36UL, 0xbb256593e4d980a6UL, 0x1070145c80698ad3UL, 0x36fa2f1b6ab9477fUL, 0x749a43394729c22dUL, 0x70a18b4e65c208f3UL, 0x3e9e3cc8cb49a2b5UL, 0x4fe3c608a87fc9d2UL, 0xe93486728e53845aUL, 0xe143169ccb8411e6UL, 0x7d3c79919693456aUL, 0x9fc78c1150ff93a4UL, 0xd2690ce51ca708b4UL, 0xc2862d39970823cdUL, 0xfa78f3232d268ad5UL, 0x3f8f1822a1ff2748UL, 0xa4d219ca394e1168UL, 0x850c5a732e10479bUL, 0xf4f1e6465a4d15abUL, 0x7f1e304543fe4e91UL, 0xfcfd0bb951577a91UL, 0xcf3f48ff0518688UL, 0xf79dd8fd7f009c45UL, 0xdc2bf8b4faf1da0fUL, 0x4ca32f5f8165ad63UL, 0x1f0ca9764cd204aeUL, 0xf145a58b359b8f98UL, 0x9a40695788eef333UL, 0x2c1f669221000287UL, 0x38f2128535d500e3UL, 0xfcf55f67a0ada822UL, 0x16974a916cd0a14bUL, 0x583ecd244200050eUL, 0x71e4250a6baa01c6UL, 0xf9eabecf415b5044UL, 0x2d2e9522d9a14297UL, 0x524a265a7cb525dUL, 0xe5230a7d7b250a33UL, 0xedab69ef492c179aUL, 0x784ab27bce4fc203UL, 0xa4944cb4f96a4baUL, 0xca4614faf64a1466UL, 0xdb56d3de92582f35UL, 0xf09564f79c9f8407UL, 0xa1cbb1bbbce61135UL, 0x9267699c40e52173UL, 0xa8d3b3ccef2ae979UL, 0xc33d51d144324f23UL, 0xf6ce5b5a5a077a2bUL, 0x222593512dbb4b58UL, 0x4fd973e815cf65e1UL, 0xa46d3b9cf569d96bUL, 0xed9cb6b4b40ef456UL, 0x444b26a25b7696b1UL, 0x9fb2e7d02b9ecbc2UL, 0x48da7739ead3b2d6UL, 0xdb396d69681de8acUL, 0x88964d44b6ed2d63UL, 0x3f65cfa0573d9784UL, 0x91b4ee73d5a765adUL, 0x32be2fff3f08919UL, 0x17c7dae0c1ab5378UL, 0x60b58b3165e1981bUL, 0x17e44d9d6438c76UL, 0xb30efdd2c42a4a73UL, 0x2964f5a82f27af4fUL, 0xdf15021300598724UL, 0x20eb118dd18a5fc0UL, 0x661dfba5885494e6UL, 0x52c9eb505e4f5e9fUL, 0xbe2a042600b30e48UL, 0x41d6231ba314bf81UL, 0x7962cf663362718dUL, 0xa37896c910efb481UL, 0x622a1c3dcafcab82UL, 0xa1bbde093b24382fUL, 0x479ca6e1450fbb5bUL, 0x401a6dfb8dae60bdUL, 0xda2a2c0a5e63e017UL, 0x6160242c0b453772UL, 0x8f394dc28a1f76b6UL, 0x8034dbf71b5cc17aUL, 0xb4545814bcc7c02eUL, 0xc2c04858168a6ee5UL, 0x1e729b85143eed6cUL, 0x69b7ee36b982f5UL, 0x68a8b029798f805dUL, 0x858090b02d14ddcbUL, 0x3ce5370a287ddad8UL, 0xd36fdc6d7305eaUL, 0xd1516052f31f00baUL, 0xb0121605a29bb96UL, 0xcc9356397330edf1UL, 0x74d9fd17697026bUL, 0xbcdcd4d42da4b666UL, 0x3415dafec95e3001UL, 0x9926ac72e661dbe2UL, 0xe9b3fa2ed2e04d7UL, 0x79b9a9a85b496cccUL, 0x682bb5fd92bc6003UL, 0x871460c8ef08ef85UL, 0x1bdd3f2c762d0010UL, 0xed0d47217d086e8aUL, 0xf240f3c55875872aUL, 0xbb71f9bcfdda874bUL, 0x31513e31402b099eUL, 0xc4649a33318a6a06UL, 0xc6967fb4cde64979UL, 0x76e3f379fbb50e96UL, 0x62a27c628056133dUL, 0x88c934666314d40cUL, 0x8d2cff699bcc92f3UL, 0xedc7e6f3f76a1d2cUL, 0xc544f8c500ac267aUL, 0x119268ccc629a818UL, 0x1a59fed3379925e7UL, 0xdb8fcde7eed43a58UL, 0x8a89f18a01584cf5UL, 0x2324d1998c535031UL, 0x34b3fda66f324bceUL, 0x246a3e2fe632cf1UL, 0x13f8a37daec19054UL, 0x5837b742d33c1771UL, 0x4b706372a369d0b0UL, 0x48d47c5fcc659e2UL, 0x27f146fb5d8320a8UL, 0xb06f6e85a6782ee2UL, 0x96e0c6e546d3a160UL, 0x91a8f8bf98cb3c4UL, 0x4fe28df6bb064150UL, 0x60dedd0b4cf05dc4UL, 0x2dc18dca8da742c1UL, 0x12351f17f3196788UL, 0x9fc51bed760c82a0UL, 0xc1bdba1699e0bb88UL, 0x5b831b951b4e8582UL, 0x246a3e2fe632cf10UL, 0x3f8a37daec190540UL, 0x837b742d33c17711UL, 0xb706372a369d0b05UL, 0x48d47c5fcc659e20UL, 0x7f146fb5d8320a80UL, 0x6f6e85a6782ee22UL, 0x6e0c6e546d3a160bUL, 0x91a8f8bf98cb3c40UL, 0xfe28df6bb0641500UL, 0xdedd0b4cf05dc44UL, 0xdc18dca8da742c16UL, 0x9608c952125d20c1UL, 0xfabafebeccb923beUL, 0x5a5b51855910f9bUL, 0x9a26216fc9e51f00UL, 0x2c1192a424ba4182UL, 0xf575fd7d9972477dUL, 0xb4b6a30ab221f37UL, 0x344c42df93ca3e00UL, 0x5823254849748304UL, 0xeaebfafb32e48efaUL, 0x1696d46156443e6fUL, 0x689885bf27947c00UL, 0xb0464a9092e90608UL, 0xd5d7f5f665c91df4UL, 0x2d2da8c2ac887cdfUL, 0xd1310b7e4f28f800UL, 0x608c952125d20c10UL, 0xabafebeccb923be9UL, 0x5a5b51855910f9bfUL, 0xa26216fc9e51f000UL, 0x7440126f686f4061UL, 0x51b497b03b557e6dUL, 0xaac8b77b79bb446dUL, 0x66d3b5c741aea72cUL, 0x5dd91cf3f315d883UL, 0xa5826f09dadbf565UL, 0x4bef7a8738ec3fc8UL, 0xefb0f3b0fe500975UL, 0xbbb239e7e62bb106UL, 0x4b04de13b5b7eacaUL, 0x97def50e71d87f91UL, 0xdf61e761fca012eaUL, 0x776473cfcc57620cUL, 0x9609bc276b6fd595UL, 0x2fbdea1ce3b0ff22UL, 0xbec3cec3f94025d5UL, 0x5b91dfb2bb659c59UL, 0x2af838277aaea295UL, 0x4105c0480cfb4957UL, 0x5f9005b98f8d0c86UL, 0xb723bf6576cb38b2UL, 0x55f0704ef55d452aUL, 0x820b809019f692aeUL, 0xbf200b731f1a190cUL, 0x6e477ecaed967164UL, 0xabe0e09deaba8a55UL, 0x417012033ed255cUL, 0x7e4016e63e343219UL, 0xdc8efd95db2ce2c8UL, 0x57c1c13bd57514aaUL, 0x82e024067da4ab9UL, 0xfc802dcc7c686432UL, 0xc44c30695929dd1UL, 0xa968c21e069b20eaUL, 0xe2210f1042e2260UL, 0xdb17c3a685dd8f48UL, 0xadd0be2008ee63e3UL, 0x543ac455a147486bUL, 0x23a3593c3c6f3d3UL, 0x94381f7376b659bcUL, 0x5ba17c4011dcc7c6UL, 0xa87588ab428e90d7UL, 0x4746b27878de7a6UL, 0x28703ee6ed6cb378UL, 0xb742f88023b98f8cUL, 0x50eb1156851d21aeUL, 0x8e8d64f0f1bcf4dUL, 0x50e07dcddad966f0UL, 0xdbdcc92d64b84759UL, 0xa73d62c4a64b4ae2UL, 0xfafb8efd5ad2988UL, 0x83d763a5c8bf8accUL, 0x2e0aa77eabbd6f3UL, 0x489185e0e0e79c7aUL, 0x12165ae60c0e403UL, 0x25b95f75ec7252b4UL, 0xb0986cc2f6bcf5a7UL, 0x97c84ba86dbe314bUL, 0x1c3cdf2d0a1b7f14UL, 0x696526d5a5e9e244UL, 0x6130d985ed79eb4eUL, 0x2f909750db7c6297UL, 0x3879be5a1436fe29UL, 0xd2ca4dab4bd3c488UL, 0xc261b30bdaf3d69cUL, 0x5f212ea1b6f8c52eUL, 0x70f37cb4286dfc52UL, 0xa5949b5697a78910UL, 0x84c36617b5e7ad38UL, 0xbe425d436df18a5dUL, 0xe1e6f96850dbf8a4UL, 0x4b2936ad2f4f1220UL, 0xbcdff40248040231UL, 0x7a6ffaef77921d04UL, 0xddb3e6a16a2d465bUL, 0xb445f5642393636dUL, 0x79bfe80490080462UL, 0xf4dff5deef243a09UL, 0xbb67cd42d45a8cb6UL, 0x688beac84726c6dbUL, 0xf37fd009201008c4UL, 0xe9bfebbdde487412UL, 0x76cf9a85a8b5196dUL, 0xd117d5908e4d8db7UL, 0x53a6983f63eb49c9UL, 0xd594971210e1e19aUL, 0xf3e1217a9af085c9UL, 0x8038331f61965c42UL, 0x12140853e41dcbd3UL, 0xadc26e4d8db2ca8bUL, 0xf9bc5684fe7bbc81UL, 0x2267fe00be21ffa9UL, 0x9171288aebf0cfe7UL, 0x5d6f9cf2b7149ca9UL, 0xed06b978376dce11UL, 0x66d8643f014eb87fUL, 0x97bb6938f42ac78fUL, 0xbc34798cc25830ecUL, 0xc4736681a5412b30UL, 0xefa750407f9037d3UL, 0x2f76d271e8558f1eUL, 0x7868f31984b061d9UL, 0x88e6cd034a825661UL, 0xdf4ea080ff206fa7UL, 0x5eeda4e3d0ab1e3cUL, 0xf0d1e6330960c3b2UL, 0x11cd9a069504acc2UL, 0xbe9d4101fe40df4fUL, 0xbddb49c7a1563c78UL, 0xe1a3cc6612c18764UL, 0x239b340d2a095985UL, 0x7d3a8203fc81be9eUL, 0x7bb6938f42ac78f0UL, 0xc34798cc25830ec9UL, 0x4736681a5412b30bUL, 0xfa750407f9037d3cUL, 0xf76d271e8558f1e0UL, 0x868f31984b061d92UL, 0x8e6cd034a8256617UL, 0xf4ea080ff206fa78UL, 0x5b837610297abb81UL, 0xbf523593a7d329aUL, 0x2a7b4189bd07b3dUL, 0xcbc388219900b3ddUL, 0x25fd40d713e2f43UL, 0x110106dbd88b6c8bUL, 0x1b317c40fc3a4168UL, 0xb590887d4f0c2096UL, 0x4bfa81ae27c5e86UL, 0x22020db7b116d916UL, 0x3662f881f87482d0UL, 0x6b2110fa9e18412cUL, 0x97f5035c4f8bd0cUL, 0x44041b6f622db22cUL, 0x6cc5f103f0e905a0UL, 0xd64221f53c308258UL, 0xa7a79846aa3a2259UL, 0x8ee376b7682a6de7UL, 0xc7f5f6762a48bc52UL, 0x8e93dbd4056c439cUL, 0x4f4f308d547444b2UL, 0x1dc6ed6ed054dbcfUL, 0x8febecec549178a5UL, 0x1d27b7a80ad88739UL, 0x2bc759378b23d125UL, 0x3d669ab40cd8be21UL, 0x1a9cda962b84658UL, 0x1858f76e68bc495fUL, 0xe2d78a42358cfa0bUL, 0x7c267501b5c075fdUL, 0x1d2d8f230eea3ba2UL, 0x12a676e2ac75d592UL, 0x70f62ca948d2ac57UL, 0xfea7aa6ac7f1e244UL, 0x24250a37d64ec056UL, 0x75b75fb25e6ec08UL, 0x54b5617fb26e00efUL, 0xfba414bc2392cd37UL, 0x5634001e670737bfUL, 0x2ca173c836c09f3cUL, 0x1c33fad24717599fUL, 0xf1a36911eb5493d1UL, 0xb216144d0594d86dUL, 0x7b557fae108c7954UL, 0x8d3ecd89ade5eb7fUL, 0xe5ad924a7ad82e1dUL, 0x7a523cebc0b307c9UL, 0xd4bd67625c15b585UL, 0x1a7d9b135bcbd6feUL, 0xcb5b2494f5b05c3bUL, 0xf4a479d781660f93UL, 0xa97acec4b82b6b0aUL, 0x81a20e0b945cf5bdUL, 0x905d09404711b1c9UL, 0xf736e7dec956a835UL, 0x70e205b70d5b9139UL, 0xb61d243a0b72b33bUL, 0x265152e922526a2cUL, 0xf013dbcc5937e779UL, 0xc3d3935067ba655fUL, 0xd9637059352e3e37UL, 0x4a49e5bbe8d5dde6UL, 0xfe59a3e979f579e0UL, 0xa5b0be9eb2798d93UL, 0xb2c6e0b26a5c7c6eUL, 0x9493cb77d1abbbcdUL, 0xfcb347d2f3eaf3c0UL, 0x4b617d3d64f31b27UL, 0x658dc164d4b8f8dcUL, 0x292796efa357779bUL, 0xf9668fa5e7d5e781UL, 0x96c2fa7ac9e6364fUL, 0x7e42bae48abaa9f9UL, 0x54a46db6eadfe689UL, 0xecb30b3a04317810UL, 0xf926ccbeec12bb3UL, 0x49dc4de436be0bb3UL, 0xafa39b0479cec4adUL, 0xc7180205c3f84732UL, 0x3d3341a9a08f104bUL, 0x93b89bc86d7c1766UL, 0x5f473608f39d895aUL, 0x8e30040b87f08e65UL, 0x7a668353411e2097UL, 0x27713790daf82eccUL, 0xbe8e6c11e73b12b5UL, 0x1c6008170fe11ccaUL, 0xf4cd06a6823c412fUL, 0xfbbb570c963b05d9UL, 0x7bf7984a62072cd5UL, 0x26be045fd4588e87UL, 0xcb8d95737975c572UL, 0x422f96340fbd53f3UL, 0xf10470fd687f5014UL, 0x53021cce632baa1cUL, 0xb50cb2d88fe6cdc8UL, 0x310614453cb1ffa7UL, 0xe4e3a1937c8fa997UL, 0xb87a2ded0dcde32bUL, 0x480efd8f62c0dcbcUL, 0xd75510a75aa8a70fUL, 0xcf2c034f556e5a91UL, 0x6e8a4fabd0017145UL, 0xb20a6320b88cfe55UL, 0x1bf31963969a165fUL, 0x98b346f706adbc9cUL, 0xc36a8b266b985599UL, 0x46035e7f0c14bb86UL, 0x37e632c72d342cbeUL, 0x31668dee0d5b7938UL, 0x86d5164cd730ab33UL, 0x8c06bcfe1829770dUL, 0x6fcc658e5a68597cUL, 0x62cd1bdc1ab6f270UL, 0xdaa2c99ae615666UL, 0x180d79fc3052ee1bUL, 0xdf98cb1cb4d0b2f8UL, 0xc59a37b8356de4e0UL, 0x1b5459335cc2acccUL, 0x301af3f860a5dc36UL, 0xbf31963969a165f0UL, 0x8b346f706adbc9c1UL, 0x36a8b266b9855999UL, 0x6035e7f0c14bb86cUL, 0xcb3a145ff08993a1UL, 0x10839e8979c69a3cUL, 0x732f70bcb8900421UL, 0xe27c57dfff9a37f4UL, 0x967428bfe1132742UL, 0x21073d12f38d3479UL, 0xe65ee17971200842UL, 0xc4f8afbfff346fe8UL, 0x99b16952e1ed16c5UL, 0x44e53a4c4b6b614cUL, 0xd2c3d68329daa796UL, 0xabe6c741836598fdUL, 0x863bea88e01175cbUL, 0x8f2134f13aa7cb26UL, 0xbbf9b977982ff83eUL, 0x75da16bd7bc676d7UL, 0xb92eed3ce3e9b3d7UL, 0x18a9298bd93e9ff2UL, 0x698d669efbc5476fUL, 0xc9a3b5448a81aa83UL, 0x725dda79c7d367aeUL, 0x31525317b27d3fe5UL, 0xd31acd3df78a8edeUL, 0x93476a8915035506UL, 0x51e28cdeac6d971dUL, 0x644fe646c88b7675UL, 0xb84b8e0a248faaaeUL, 0x4994d2c570bed21UL, 0xa3c519bd58db2e3aUL, 0xc89fcc8d9116eceaUL, 0x70971c14491f555cUL, 0x9329a58ae17da43UL, 0xf2d30b57927d0435UL, 0x97d4d9728e5cd06aUL, 0xff502c5959a41dabUL, 0x3072ac8f2122f3aaUL, 0xe5a616af24fa086aUL, 0x2fa9b2e51cb9a0d5UL, 0xfea058b2b3483b57UL, 0x60e5591e4245e755UL, 0xcb4c2d5e49f410d4UL, 0x5f5365ca397341abUL, 0xfd40b165669076aeUL, 0xc1cab23c848bceabUL, 0x96985abc93e821a8UL, 0xbea6cb9472e68357UL, 0xfa8162cacd20ed5cUL, 0x8395647909179d57UL, 0x2d30b57927d04350UL, 0x7d4d9728e5cd06afUL, 0xf502c5959a41dab9UL, 0x72ac8f2122f3aafUL, 0xef3852df6c6bdee1UL, 0xfc706e3867eb04e1UL, 0xf47b9f5aff190260UL, 0x2c4209da59533273UL, 0x6b299d93fb1ce583UL, 0xfe0b9c1963a7007cUL, 0xf6892ac435a8b3d3UL, 0x7a938b8acfab23cbUL, 0xd6533b27f639cb06UL, 0xfc173832c74e00f8UL, 0xed1255886b5167a7UL, 0xf52717159f564797UL, 0xaca6764fec73960cUL, 0xf82e70658e9c01f1UL, 0xda24ab10d6a2cf4fUL, 0xea4e2e2b3eac8f2fUL, 0x594cec9fd8e72c18UL, 0xf05ce0cb1d3803e3UL, 0xb4495621ad459e9fUL, 0xd49c5c567d591e5fUL, 0xb299d93fb1ce5830UL, 0xe0b9c1963a7007c6UL, 0x6892ac435a8b3d3fUL, 0xa938b8acfab23cbfUL, 0xd06a8a524057e821UL, 0xc798c345d8910632UL, 0xcf5b4cf77e8ccd6dUL, 0x7066e96788693e52UL, 0xa0d514a480afd042UL, 0x8f31868bb1220c65UL, 0x9eb699eefd199adbUL, 0xe0cdd2cf10d27ca5UL, 0x41aa2949015fa084UL, 0x1e630d17624418cbUL, 0x3d6d33ddfa3335b7UL, 0xc19ba59e21a4f94bUL, 0x8354529202bf4108UL, 0x3cc61a2ec4883196UL, 0x7ada67bbf4666b6eUL, 0x83374b3c4349f296UL, 0xb3f19d0926b5da51UL, 0x7f67743425616a92UL, 0xebcadb06235661ceUL, 0x24790e46fb9ea200UL, 0x67e33a124d6bb4a2UL, 0xfecee8684ac2d525UL, 0xd795b60c46acc39cUL, 0x48f21c8df73d4401UL, 0x7a9f4c09b91c3105UL, 0xfb7690b939f4a3f5UL, 0xb155786946c3302bUL, 0xb3f3a1259377cf2fUL, 0xf53e98137238620aUL, 0xf6ed217273e947eaUL, 0x62aaf0d28d866057UL, 0x67e7424b26ef9e5fUL, 0x5f24080bc7bb9c55UL, 0xeb31028d4ba3866aUL, 0xdb2bf5d4d09677bdUL, 0xedd91ca830d27b92UL, 0xbe4810178f7738aaUL, 0xd662051a97470cd4UL, 0xb657eba9a12cef7bUL, 0xdbb2395061a4f725UL, 0xc9c918023d252915UL, 0xaa2f4a5c82ff1016UL, 0x72d1c32289c369e5UL, 0x9573ea9ebe44a967UL, 0x26cb082959810a6bUL, 0x52b5d4d0a98f2992UL, 0xfbdd9234d81c64d9UL, 0x8f04d03018415e2UL, 0x4d961052b30214d6UL, 0xa56ba9a1531e5324UL, 0xf7bb2469b038c9b2UL, 0x11e09a0603082bc5UL, 0x9b2c20a5660429acUL, 0x4ad75342a63ca648UL, 0xef7648d360719365UL, 0x23c1340c0610578bUL, 0x3658414acc085358UL, 0x95aea6854c794c91UL, 0xdeec91a6c0e326caUL, 0x478268180c20af17UL, 0xd9e9bab8bbdbfef1UL, 0x2db60d633483909dUL, 0xa3a7373c4a5cfa87UL, 0xad13480e654c1903UL, 0xb3d3757177b7fde2UL, 0x5b6c1ac66907213bUL, 0x474e6e7894b9f50eUL, 0x5a26901cca983207UL, 0xd2ffd2cfcca4a385UL, 0xb03375e57e7f4bc8UL, 0x90e2c880e2e95d0eUL, 0x965ab807e83d2322UL, 0x10a69db2ba821f4bUL, 0x668daba3508f9e2eUL, 0x3fbb85700e480d0fUL, 0xea2e831ad770169UL, 0x214d3b6575043e96UL, 0xcd1b5746a11f3c5cUL, 0x7f770ae01c901a1eUL, 0x1d45d0635aee02d2UL, 0x429a76caea087d2cUL, 0x9a36ae8d423e78b8UL, 0xfeee15c03920343dUL, 0x3a8ba0c6b5dc05a4UL, 0x8534ed95d410fa58UL, 0x346d5d1a847cf170UL, 0xfddc2b807240687bUL, 0x7517418d6bb80b49UL, 0xbf30e3068beaacf1UL, 0x6e31fa5ca488eb5eUL, 0xe5c643712f1a67e4UL, 0xc8391b24aa7d51bfUL, 0x7e61c60d17d559e2UL, 0xdc63f4b94911d6bdUL, 0xcb8c86e25e34cfc8UL, 0x9072364954faa37fUL, 0xfcc38c1a2faab3c4UL, 0xb8c7e9729223ad7aUL, 0x97190dc4bc699f91UL, 0x20e46c92a9f546ffUL, 0x4cde20197c9e3fc9UL, 0x7764928c8836534aUL, 0x304c0ff8b3498831UL, 0x63df411b2ee7cad3UL, 0x99bc4032f93c7f92UL, 0xeec92519106ca694UL, 0x60981ff166931062UL, 0xc7be82365dcf95a6UL, 0x33788065f278ff24UL, 0xdd924a3220d94d29UL, 0xc1303fe2cd2620c5UL, 0x8f7d046cbb9f2b4cUL, 0xd3a838e6c73aa609UL, 0xbdcfd40dedc393edUL, 0x9c1e6bb451d6f699UL, 0x3ced90e70a3311b5UL, 0x120949e0adbe1453UL, 0x7d74e87277f62e64UL, 0x2642c31968375a21UL, 0x5bccb9f0696b6447UL, 0x241293c15b7c28a6UL, 0xfae9d0e4efec5cc8UL, 0x4c858632d06eb442UL, 0xb79973e0d2d6c88eUL, 0x48252782b6f8514cUL, 0xf5d3a1c9dfd8b990UL, 0x990b0c65a0dd6885UL, 0x6f32e7c1a5ad911cUL, 0x251377284e3bfad9UL, 0xed4c03fa13c07a9fUL, 0x2c680cba8a206619UL, 0xfc7257bd36566515UL, 0x4a26ee509c77f5b2UL, 0xda9807f42780f53eUL, 0x58d019751440cc33UL, 0xf8e4af7a6cacca2aUL, 0x2114e48c1b24b325UL, 0xb3db4f81e370e3c3UL, 0xafde269be31b2f75UL, 0xd3dec6caa454d378UL, 0x4229c9183649664aUL, 0x67b69f03c6e1c786UL, 0x5fbc4d37c6365eebUL, 0xa7bd8d9548a9a6f1UL, 0x845392306c92cc94UL, 0xcf6d3e078dc38f0cUL, 0xbf789a6f8c6cbdd6UL, 0x4f7b1b2a91534de2UL, 0xbdfe1c4dfaeec169UL, 0x98313c66b7f617a6UL, 0x608f20aed343ccbfUL, 0xbce1ae6b5fabdce9UL, 0xcea500b6d616da93UL, 0x368938a4c39d26f2UL, 0xdf60552c6d1d2e6dUL, 0x5bd4c4e8c25afefeUL, 0x281339408fe6ed67UL, 0x6bf931202b4b445aUL, 0xa0bebe2911a0ebc8UL, 0x95be11eff9b8bad1UL, 0xe57f4aac3c06828fUL, 0xd1192229fae7810bUL, 0x5f036823e8db6082UL, 0x96bbbe18e7c328fUL, 0xcafe9558780d051eUL, 0xa2324453f5cf0217UL, 0xbe06d047d1b6c105UL, 0x12d777c31cf8651eUL, 0x95fd2ab0f01a0a3cUL, 0x446488a7eb9e042fUL, 0x7c0da08fa36d820bUL, 0x25aeef8639f0ca3dUL, 0x9ea36d4cc3ff4c39UL, 0x8e2251267b4d01e0UL, 0xe665556e8d41b304UL, 0x694a47320eecd356UL, 0x881fe2b4a435c033UL, 0x1aafe2255aeb0a7eUL, 0xd2b4beacd119d11bUL, 0xf083165a60d4e181UL, 0x103fc569486b8066UL, 0x355fc44ab5d614fdUL, 0xa5697d59a233a236UL, 0xe1062cb4c1a9c303UL, 0x207f8ad290d700ccUL, 0x6abf88956bac29faUL, 0x4ad2fab34467446cUL, 0xc20c596983538607UL, 0xf5a62d88026559d9UL, 0xd39451437b295a4bUL, 0x8bdbe11743543fcaUL, 0xa60f2aed7baa4b22UL, 0x5e15633d2701ebf3UL, 0xa1c3e2ef5a23bd28UL, 0x9c9d65f4d32c887UL, 0x6e09cde48a59d169UL, 0xbc2ac67a4e03d7e6UL, 0x4387c5deb4477a50UL, 0x1393acbe9a65910fUL, 0xdc139bc914b3a2d2UL, 0xcd0cb4d9bfccf78dUL, 0x81e4cbd4c4fffd1eUL, 0x39594d0cff51950cUL, 0x9a30afac546a0288UL, 0x9a1969b37f99ef1aUL, 0x3c997a989fffa3dUL, 0x72b29a19fea32a19UL, 0x34615f58a8d40510UL, 0x816beb4bdcf88675UL, 0x1786f3abf8efdc4UL, 0xfb1b204236dce320UL, 0x4ad5268f2ca54d0cUL, 0xb78eeeba9a3a54abUL, 0x41b9e1cd36cf236UL, 0xe84854f5a6237152UL, 0xb7bdd5202447dd35UL, 0x6f1ddd753474a956UL, 0x8373c39a6d9e46dUL, 0xd090a9eb4c46e2a4UL, 0x6f7baa40488fba6bUL, 0xde3bbaea68e952acUL, 0x106e78734db3c8daUL, 0xa12153d6988dc548UL, 0xdef75480911f74d7UL, 0xbc7775d4d1d2a558UL, 0x20dcf0e69b6791b5UL, 0x4242a7ad311b8a90UL, 0xbdeea901223ee9afUL, 0x78eeeba9a3a54ab0UL, 0x41b9e1cd36cf236bUL, 0x84854f5a62371520UL, 0x7bdd5202447dd35eUL, 0xf1ddd753474a9560UL, 0x8373c39a6d9e46d6UL, 0x90a9eb4c46e2a40UL, 0xf7baa40488fba6bdUL, 0xe3bbaea68e952ac0UL, 0x6e78734db3c8dadUL, 0x12153d6988dc5481UL, 0xef75480911f74d7aUL, 0xc7775d4d1d2a5580UL, 0xdcf0e69b6791b5bUL, 0x242a7ad311b8a902UL, 0xdeea901223ee9af4UL, 0x8eeeba9a3a54ab00UL, 0x1b9e1cd36cf236b7UL, 0x4854f5a623715204UL, 0xbdd5202447dd35e8UL, 0xa8844d1957620e41UL, 0x31d779cf759564d0UL, 0x8ed7ff3d8d78131aUL, 0x59bdd876f2b72cfcUL, 0x51089a32aec41c82UL, 0x63aef39eeb2ac9a1UL, 0x1daffe7b1af02634UL, 0xb37bb0ede56e59f9UL, 0x17480c487e436145UL, 0xc1b6a7547a249afdUL, 0x2521e887fe7afb7aUL, 0x44e0f9e5b7d1f4deUL, 0x9bc920bddf4d9acbUL, 0x85860ec158383c45UL, 0x543dc57e376f41e7UL, 0xabd66bf512aeae90UL, 0x3792417bbe9b3596UL, 0xb0c1d82b070788bUL, 0xa87b8afc6ede83cfUL, 0x57acd7ea255d5d20UL, 0x6f2482f77d366b2cUL, 0x16183b0560e0f116UL, 0x50f715f8ddbd079eUL, 0xaf59afd44ababa41UL, 0xde4905eefa6cd658UL, 0x2c30760ac1c1e22cUL, 0xa1ee2bf1bb7a0f3cUL, 0x5eb35fa895757482UL, 0xbc920bddf4d9acb0UL, 0x5860ec158383c459UL, 0x43dc57e376f41e78UL, 0xbd66bf512aeae905UL, 0x792417bbe9b35960UL, 0xb0c1d82b070788b3UL, 0x87b8afc6ede83cf0UL, 0x7acd7ea255d5d20aUL, 0xf2482f77d366b2c0UL, 0x6183b0560e0f1166UL, 0xf715f8ddbd079e1UL, 0xf59afd44ababa415UL, 0x51c966c285063dc1UL, 0xc5ec20c5b06f2b72UL, 0x9cab6a7c3a44d0UL, 0xc92262b72a5a0f06UL, 0x16cbf5a829c723c3UL, 0x8d3301e2ccaf5f5bUL, 0x1f4742a533ee3eb3UL, 0xb0535d5029b95920UL, 0x2d97eb50538e4786UL, 0x1a6603c5995ebeb6UL, 0x3e8e854a67dc7d67UL, 0x60a6baa05372b240UL, 0xee76ee8d84d7d74dUL, 0x322747e29ecc74d3UL, 0x63631ee504224ddcUL, 0xe35aed7edbe823acUL, 0xdceddd1b09afae9aUL, 0x644e8fc53d98e9a7UL, 0xc6c63dca08449bb8UL, 0xc6b5dafdb7d04758UL, 0xc82821b30940575UL, 0xce765fe3d740daf0UL, 0x93f26fe5db138062UL, 0xaf7c2dc512adc99dUL, 0x1905043661280aeaUL, 0x9cecbfc7ae81b5e0UL, 0x27e4dfcbb62700c5UL, 0x5ef85b8a255b933bUL, 0x320a086cc25015d4UL, 0x39d97f8f5d036bc0UL, 0x4fc9bf976c4e018bUL, 0xbdf0b7144ab72676UL, 0x641410d984a02ba8UL, 0x73b2ff1eba06d780UL, 0x9f937f2ed89c0316UL, 0x7be16e28956e4cecUL, 0xc82821b309405750UL, 0xe765fe3d740daf00UL, 0x3f26fe5db138062cUL, 0xf7c2dc512adc99d9UL, 0x905043661280aea0UL, 0xcecbfc7ae81b5e01UL, 0x7e4dfcbb62700c59UL, 0xef85b8a255b933b2UL, 0x95f9bee106ca0501UL, 0x9b7cb89c7c47b5bcUL, 0xe2e5ed070f7aafa1UL, 0xfd1ce97ad67f2048UL, 0x9eaa45ef2e5f5243UL, 0x3012315154fe62c6UL, 0xdbb5ce7fd56fe851UL, 0xd82e4acbd1f307bdUL, 0x880db3f37f75fcc7UL, 0x66cf22cb058dcc32UL, 0xa915888e614567b0UL, 0x924b0da9deeb4857UL, 0x101b67e6feebf98eUL, 0xcd9e45960b1b9865UL, 0x522b111cc28acf60UL, 0x24961b53bdd690afUL, 0x956ff7e0de1cab5dUL, 0x9dd7cb45ba463975UL, 0xba2836484e8f29d3UL, 0x6b3bae9906a06672UL, 0x2adfefc1bc3956baUL, 0x3baf968b748c72ebUL, 0x74506c909d1e53a7UL, 0xd6775d320d40cce5UL, 0xe0e6e7ae5bb9f535UL, 0x71b46d7f4569ec69UL, 0xf6decd50f1a6105cUL, 0x8ef9225a678cdee6UL, 0x7494f77194b8b22bUL, 0xe5839a9726a2d16cUL, 0xf3c38ed028d697aaUL, 0x3fe5dc8ab214fae1UL, 0xe929eee329716456UL, 0xcb07352e4d45a2d8UL, 0xe7871da051ad2f55UL, 0x7fcbb9156429f5c3UL, 0x670ae5eb712990edUL, 0x90e52a3536fa4c0eUL, 0xd1702f3168c0e9b9UL, 0xdd80ea14b55eacabUL, 0x7b4cf3fbc198799bUL, 0x27211403c18591a3UL, 0xbc9e4a131a1b6461UL, 0x99164c1717b01e7bUL, 0x43c0dfdaa0fbab77UL, 0x48a9686e2f7a2af9UL, 0x67428057ffac7fd0UL, 0x103b0010526d7bdbUL, 0x32d88798623c0eafUL, 0x97b990b5f2855c4dUL, 0xd0fb14de34c248b2UL, 0x261981ed9d7b09aUL, 0x65b10f30c4781d5eUL, 0x2f73216be50ab89aUL, 0xa1f629bc69849165UL, 0x4c3303db3af6135UL, 0x7e3b264cab3b62fdUL, 0x580d02be6664788bUL, 0x5d924709189395d8UL, 0x2b91f8451a538547UL, 0x492f74b475bd9dbbUL, 0xb6f1451560b9f8a9UL, 0xa55a9a63fabd9ca2UL, 0x753468b449aa4da2UL, 0x2707d145c8b06337UL, 0x6b09ca436d02f8edUL, 0x54cb20b63ee18e57UL, 0xc87f4956ee59dc69UL, 0x4e0fa28b9160c66eUL, 0xd6139486da05f1daUL, 0xa996416c7dc31caeUL, 0x90fe92addcb3b8d2UL, 0x29467d3a010ad49dUL, 0xaacc6964187aea0bUL, 0x4d5296a9301c8e4fUL, 0x3eabd65c46a3689UL, 0xe7d5c25921def17bUL, 0x537392a19c84dda9UL, 0x84db3923aba3ab8dUL, 0x25c2e2f5f5d92a3eUL, 0xcfab84b243bde2f6UL, 0xa6e725433909bb53UL, 0x9b672475747571aUL, 0x4b85c5ebebb2547dUL, 0x2a0e3149a4b09dadUL, 0x4b250aefde627f18UL, 0xd12f0ff65141927UL, 0xb51c13e9aa69efd6UL, 0xe1455abe6aaa631bUL, 0x90a155b610b5f78fUL, 0x45bf58f01b2855cUL, 0x482fbfed29de9880UL, 0x77d38d51f69f9e77UL, 0x27a9eb058d1ae6a0UL, 0x16c9ff6fc8ffbdabUL, 0xb248e7e42eb0762cUL, 0x5afe228ecef464afUL, 0x49b89662b644c4ffUL, 0x33edeaae5a65cc44UL, 0x468657f6206dab74UL, 0xa57d30be23911fUL, 0x959a6cacc0f88041UL, 0x79a5c12d7f512f9aUL, 0xaf1b37d23dd611c4UL, 0x14afa617c47223eUL, 0x2b34d95981f10082UL, 0xf34b825afea25f35UL, 0x5e366fa47bac2388UL, 0x295f4c2f88e447cUL, 0x5669b2b303e20104UL, 0xe69704b5fd44be6aUL, 0xbc6cdf48f7584711UL, 0xb072d1a8d2d7d0b9UL, 0xaa38250fabb50bb7UL, 0xd3501d1a3113cbc6UL, 0x5ace26af93bdc90fUL, 0x60e5a351a5afa172UL, 0x54704a1f576a176fUL, 0xa6a03a346227978dUL, 0xb59c4d5f277b921fUL, 0xc1cb46a34b5f42e4UL, 0xa8e0943eaed42edeUL, 0x4d407468c44f2f1aUL, 0x6b389abe4ef7243fUL, 0x36cfb56bb575dd89UL, 0x572a6814f1d95402UL, 0x84fefca04304e927UL, 0xf466ad42e0e30f52UL, 0xd8c652fa4920e353UL, 0xa8bf90404fc3a1bbUL, 0x1783ed314d93655cUL, 0xcadac2bbbccb5989UL, 0xb18ca5f49241c6a6UL, 0x517f20809f874377UL, 0x2f07da629b26cab9UL, 0x95b585777996b312UL, 0x63194be924838d4cUL, 0xa2fe41013f0e86efUL, 0x5e0fb4c5364d9572UL, 0x2b6b0aeef32d6624UL, 0xc63297d249071a98UL, 0x45fc82027e1d0ddeUL, 0xbc1f698a6c9b2ae5UL, 0x56d615dde65acc48UL, 0x8c652fa4920e3530UL, 0x8bf90404fc3a1bbdUL, 0x783ed314d93655caUL, 0xadac2bbbccb59891UL, 0x18ca5f49241c6a60UL, 0x17f20809f874377bUL, 0xf07da629b26cab95UL, 0x5b585777996b3122UL, 0x3194be924838d4c0UL, 0x2fe41013f0e86ef6UL, 0xe0fb4c5364d9572aUL, 0xb6b0aeef32d66245UL, 0xd6704509b3baf1c1UL, 0x5923604e4da1d453UL, 0xdf888cd702281946UL, 0x4f76c5e018a183a7UL, 0xace08a136775e382UL, 0xb246c09c9b43a8a7UL, 0xbf1119ae0450328cUL, 0x9eed8bc03143074fUL, 0xec982c0bed209f45UL, 0x6266c1509af658f0UL, 0x605c272dc33ad20bUL, 0x1fcc8fbe1f8b49b3UL, 0xd9305817da413e8aUL, 0xc4cd82a135ecb1e1UL, 0xc0b84e5b8675a416UL, 0x3f991f7c3f169366UL, 0xb260b02fb4827d14UL, 0x899b05426bd963c3UL, 0x81709cb70ceb482dUL, 0x7f323ef87e2d26cdUL, 0x64c1605f6904fa28UL, 0x13360a84d7b2c787UL, 0x2e1396e19d6905bUL, 0xfe647df0fc5a4d9bUL, 0xc982c0bed209f450UL, 0x266c1509af658f0eUL, 0x5c272dc33ad20b6UL, 0xfcc8fbe1f8b49b36UL, 0x9305817da413e8a0UL, 0x4cd82a135ecb1e1dUL, 0xb84e5b8675a416cUL, 0xf991f7c3f169366cUL, 0x93523ad66bec8901UL, 0x9f5b144f11e73584UL, 0x977df01052e35caUL, 0xd13477b99fdf2bf4UL, 0x26a475acd7d91202UL, 0x3eb6289e23ce6b09UL, 0x12efbe020a5c6b95UL, 0xa268ef733fbe57e8UL, 0xf811d3748c797c45UL, 0x7b871155ebeddfadUL, 0x3ba16875df226038UL, 0x66c646d80271e8fcUL, 0x457a9ec43b39a0cbUL, 0xf1e562c27baab6e4UL, 0x693cc49a75de7762UL, 0xef9b158e79ee96d4UL, 0x3fac05a555b819d7UL, 0xe52185ed5b246477UL, 0xcc079d45202659d7UL, 0xfd21b3228ed06a84UL, 0xca01336788bb6befUL, 0xcca84bb31a39c151UL, 0x86712efb8bd604bdUL, 0xd854fe7b60ad9225UL, 0x215b5ee232bd8f9fUL, 0x9fbbd70f98028b1cUL, 0x129c4986dc36be69UL, 0x92be64c8bc566367UL, 0x42b6bdc4657b1f3eUL, 0x3f77ae1f30051638UL, 0x2538930db86d7cd3UL, 0x257cc99178acc6ceUL, 0x856d7b88caf63e7cUL, 0x7eef5c3e600a2c70UL, 0x4a71261b70daf9a6UL, 0x4af99322f1598d9cUL, 0xbf83cf3cb62724b9UL, 0xfb35f8156c65515eUL, 0x8a9c58472a2f445eUL, 0xb7e4be7b9fbe5c14UL, 0xca5ea6544f851133UL, 0xf080b04374bbab02UL, 0xb46a4ff9fc43fafUL, 0x4ddee4c94271ff05UL, 0x21e47485bcc17a27UL, 0xe7ea20ef45065fbaUL, 0x8f35d8ef412c84dUL, 0xb9aa51acf9eeb926UL, 0x43c8e90b7982f44eUL, 0xcfd441de8a0cbf74UL, 0x11e6bb1de825909bUL, 0x7354a359f3dd724cUL, 0x8791d216f305e89cUL, 0x9fa883bd14197ee8UL, 0x23cd763bd04b2137UL, 0xe6a946b3e7bae498UL, 0xf23a42de60bd138UL, 0x3f51077a2832fdd1UL, 0x479aec77a096426fUL, 0xcd528d67cf75c930UL, 0x1e47485bcc17a270UL, 0x7ea20ef45065fba2UL, 0x8f35d8ef412c84deUL, 0x9aa51acf9eeb9260UL, 0x89d7a89abbe41ca1UL, 0xfbaf5d810cbafefbUL, 0x15a5af49c3beaeUL, 0x175dada140da63edUL, 0x13af513577c83942UL, 0xf75ebb021975fdf7UL, 0x2b4b5e93877d5dUL, 0x2ebb5b4281b4c7daUL, 0x92079a47cc5b2ac5UL, 0xe856366d9e9af251UL, 0x1e2882ccec944da9UL, 0x7f612ebb7e64c898UL, 0x91560ca2bb7d0dcbUL, 0xd6472cb29144ed1cUL, 0x222f11e812b22c41UL, 0xdcd5c54881c4d61cUL, 0x97f52168553143d7UL, 0xaa65190c8ef8d386UL, 0x5a2037a1eefeef91UL, 0x9bbc12af7e84eb14UL, 0x9ab37afd89a9dfefUL, 0x52217270b180aeb2UL, 0xaa3e7b3216676831UL, 0x156fbd6080049104UL, 0x3566f5fb1353bfdeUL, 0xa442e4e163015d65UL, 0x547cf6642cced062UL, 0x2adf7ac100092209UL, 0x6acdebf626a77fbcUL, 0x4885c9c2c602bacaUL, 0xa8f9ecc8599da0c5UL, 0x55bef58200124412UL, 0x60c2efc16e85a739UL, 0x97e0d3ec20747c2bUL, 0x4f8dcde178a1f698UL, 0x896a733a7d29cf09UL, 0xc185df82dd0b4e72UL, 0x2fc1a7d840e8f856UL, 0x9f1b9bc2f143ed31UL, 0x12d4e674fa539e12UL, 0x830bbf05ba169ce4UL, 0x5f834fb081d1f0adUL, 0x3e373785e287da62UL, 0x25a9cce9f4a73c25UL, 0xb34e462657e66189UL, 0xb9eddf08afd2e8e4UL, 0x62107b7a0e9503d6UL, 0x694401ed94433f66UL, 0xd3c5b4618c079b53UL, 0x7530fe78f3d4d876UL, 0xda5ee285d6b0b0bfUL, 0xf09f9be5558b39e0UL, 0x12d250ee3bc46ee7UL, 0xec8abc984bd8b952UL, 0xaac3d17a66fbd66cUL, 0xc328aff4d61b34edUL, 0x90fd99f15443858fUL, 0xdffe39593bc07b1bUL, 0x4bf9b685066d1bcbUL, 0xa446c7d7d13b2ef7UL, 0x94a20bcf8b4c535fUL, 0xb91732dbdbf1ff88UL, 0x898d797bc7408085UL, 0x6a9a1791df7b1ac2UL, 0x2944179f1698a6beUL, 0x722e65b7b7e3ff11UL, 0x131af2f78e81010bUL, 0xd5342f23bef63585UL, 0x52882f3e2d314d7cUL, 0xe45ccb6f6fc7fe22UL, 0x2635e5ef1d020216UL, 0xaa685e477dec6b0aUL, 0xa5105e7c5a629af8UL, 0xc8b996dedf8ffc44UL, 0x4c6bcbde3a04042dUL, 0x54d0bc8efbd8d614UL, 0x4a20bcf8b4c535f0UL, 0x91732dbdbf1ff889UL, 0x98d797bc7408085bUL, 0xa9a1791df7b1ac28UL, 0x944179f1698a6be0UL, 0x22e65b7b7e3ff112UL, 0x31af2f78e81010b7UL, 0x5342f23bef635851UL, 0x2882f3e2d314d7c0UL, 0x45ccb6f6fc7fe225UL, 0x635e5ef1d020216eUL, 0xa685e477dec6b0a2UL, 0x5105e7c5a629af80UL, 0x8b996dedf8ffc44aUL, 0xc6bcbde3a04042dcUL, 0x4d0bc8efbd8d6144UL, 0xa20bcf8b4c535f00UL, 0x1732dbdbf1ff8894UL, 0x8d797bc7408085b9UL, 0x9a1791df7b1ac289UL, 0x44179f1698a6be00UL, 0x2e65b7b7e3ff1129UL, 0x1af2f78e81010b72UL, 0x342f23bef6358513UL, 0x882f3e2d314d7c00UL, 0x5ccb6f6fc7fe2252UL, 0x35e5ef1d020216e4UL, 0x685e477dec6b0a26UL, 0xa50744774151a041UL, 0xbf7d9eb6238d4d1aUL, 0x75b5ca4bcf9e9adaUL, 0xf2ab16c5a5db5360UL, 0x4a0e88ee82a34082UL, 0x7efb3d6c471a9a35UL, 0xeb6b94979f3d35b5UL, 0xe5562d8b4bb6a6c0UL, 0x214429f0268dd945UL, 0xfb1d3ab122443dd5UL, 0xc8a93d5ef5e0dc78UL, 0xe8bbc328ea600aadUL, 0x428853e04d1bb28aUL, 0xf63a756244887baaUL, 0x91527abdebc1b8f1UL, 0xd1778651d4c0155bUL, 0x30499fedb9fc3d55UL, 0xea9faaad2561feebUL, 0x3cdae10a1c19c6f1UL, 0x80f8949dd48d6d9bUL, 0xd5ca07f6503322ebUL, 0xd3d41533e6b2f469UL, 0x67cbd665f3a93af1UL, 0x23e6b105d4179c1aUL, 0xab940feca06645d6UL, 0xa7a82a67cd65e8d3UL, 0xcf97accbe75275e3UL, 0x47cd620ba82f3834UL, 0xe27127f46307d3edUL, 0x49bb14a636bad818UL, 0x81514de6053e5cd5UL, 0xad8d5c292d533745UL, 0xc4e24fe8c60fa7daUL, 0x9376294c6d75b031UL, 0x2a29bcc0a7cb9aaUL, 0x5b1ab8525aa66e8bUL, 0x89c49fd18c1f4fb4UL, 0x26ec5298daeb6063UL, 0x545379814f97355UL, 0xb63570a4b54cdd16UL, 0xa6d0078e3bf5c729UL, 0x4b33e55819a7c978UL, 0x14f47b41e26851b8UL, 0x4e7d79771794fd00UL, 0x4da00f1c77eb8e52UL, 0x9667cab0334f92f1UL, 0x29e8f683c4d0a370UL, 0x9cfaf2ee2f29fa00UL, 0x2e192615cc1c44e5UL, 0x2a24d509caee2c5dUL, 0x4daff976423bf1f3UL, 0x1be27de2235eb32cUL, 0xe96b7406bbf3d18bUL, 0x52a2ea7a39ad5105UL, 0x8521e69d4fed54f4UL, 0x15d363fa3bb02174UL, 0xd2d6e80d77e7a316UL, 0xa545d4f4735aa20bUL, 0xa43cd3a9fdaa9e8UL, 0x2ba6c7f4776042e9UL, 0xa5add01aefcf462cUL, 0x4a8ba9e8e6b54417UL, 0x14879a753fb553d1UL, 0x574d8fe8eec085d2UL, 0x4b5ba035df9e8c58UL, 0x951753d1cd6a882fUL, 0x290f34ea7f6aa7a2UL, 0xae9b1fd1dd810ba4UL, 0x96b7406bbf3d18b0UL, 0x2a2ea7a39ad5105eUL, 0x521e69d4fed54f45UL, 0x5d363fa3bb021748UL, 0x2d6e80d77e7a3160UL, 0x545d4f4735aa20bdUL, 0xa43cd3a9fdaa9e8aUL, 0xba6c7f4776042e90UL, 0xef843983df3f3a81UL, 0xae51dee7c72548c5UL, 0x5607b32230cf8a06UL, 0x56cf66b091051a0dUL, 0x6a514b2a9db52d43UL, 0x5a48fda6223b9834UL, 0xb2717235aa05a31fUL, 0x8f89555f5f077336UL, 0x61fbae7818a102c7UL, 0xb27abb25e80639d7UL, 0x7a9cf01a9f91f12cUL, 0x3d053280c303a141UL, 0x76ae64dd12895dcfUL, 0x621e36227c7d7a11UL, 0xeb47f444f4b9554bUL, 0x581dfd3ffb0a05aeUL, 0xed5cc9ba2512bb9eUL, 0xc43c6c44f8faf422UL, 0xd68fe889e972aa96UL, 0xb03bfa7ff6140b5dUL, 0x6fe0ab5969ee2f7dUL, 0x8e9398e05d84e1faUL, 0xb361c562197fe23fUL, 0x42606cc191255197UL, 0xdfc156b2d3dc5efaUL, 0x1d2731c0bb09c3f4UL, 0x66c38ac432ffc47fUL, 0x84c0d983224aa32fUL, 0xbf82ad65a7b8bdf4UL, 0x3a4e6381761387e9UL, 0xcd87158865ff88feUL, 0x981b3064495465eUL, 0xca5c62e66cba23a9UL, 0x7277876b4056066cUL, 0x85703f610065a6eeUL, 0x3114fe32f427cb91UL, 0x94b8c5ccd9744752UL, 0xe4ef0ed680ac0cd9UL, 0xae07ec200cb4ddcUL, 0x6229fc65e84f9723UL, 0x29718b99b2e88ea4UL, 0xc9de1dad015819b3UL, 0x15c0fd8401969bb9UL, 0xc453f8cbd09f2e46UL, 0x52e3173365d11d48UL, 0x93bc3b5a02b03366UL, 0x2b81fb08032d3773UL, 0x88a7f197a13e5c8cUL, 0xa5c62e66cba23a90UL, 0x277876b4056066ccUL, 0x5703f610065a6ee7UL, 0x114fe32f427cb918UL, 0xfed564e0b48f2d61UL, 0x481bad01a6b1c426UL, 0xb079f851c72e6adcUL, 0x885e60f9f4351cUL, 0xfdaac9c1691e5ac2UL, 0x90375a034d63884dUL, 0x60f3f0a38e5cd5b8UL, 0x110bcc1f3e86a39UL, 0xfb559382d23cb584UL, 0x206eb4069ac7109bUL, 0xc1e7e1471cb9ab71UL, 0x2217983e7d0d472UL, 0xf6ab2705a4796b08UL, 0x40dd680d358e2137UL, 0x83cfc28e397356e2UL, 0x442f307cfa1a8e5UL, 0xed564e0b48f2d610UL, 0x81bad01a6b1c426fUL, 0x79f851c72e6adc4UL, 0x885e60f9f4351cbUL, 0xdaac9c1691e5ac20UL, 0x375a034d63884dfUL, 0xf3f0a38e5cd5b89UL, 0x110bcc1f3e86a396UL, };
#endif