pqc/crypto_kem/hqc-128/avx2/gen_matrix.h
2020-10-01 09:17:54 +02:00

17 lines
44 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_HQC128_AVX2_gen_matrix[(PARAM_N1 - PARAM_K) * 4] = {0x9901f502cd17fcafUL, 0xd2f8231a9952fc37UL, 0xb2a55153e9eb5bffUL, 0xb1c0755014aa5204UL, 0xab021f07573805f1UL, 0x7708652fabf70458UL, 0xd7eff3f43a3dec00UL, 0xd2409ff03dfef60dUL, 0x56043e0eae700be2UL, 0xee10ca5f57ee08b1UL, 0xafdfe7e8747bd800UL, 0xa4813fe07bfdec1bUL, 0xac087c1d5ce017c4UL, 0xdc2194beafdc1162UL, 0x5fbfcfd0e8f7b001UL, 0x49027fc0f7fbd837UL, 0x5810f83ab9c02f88UL, 0xb843297d5fb822c5UL, 0xbf7f9fa1d1ef6003UL, 0x9204ff81eff7b06eUL, 0xb021f07573805f10UL, 0x708652fabf70458aUL, 0x7eff3f43a3dec007UL, 0x2409ff03dfef60ddUL, 0xf94215e82a17428fUL, 0x33f486efe7b27722UL, 0x4f5b2fd4ae56dbf1UL, 0xf9d38b57ab7493beUL, 0xf2842bd0542e851eUL, 0x67e90ddfcf64ee45UL, 0x9eb65fa95cadb7e2UL, 0xf3a716af56e9277cUL, 0xe50857a0a85d0a3cUL, 0xcfd21bbf9ec9dc8bUL, 0x3d6cbf52b95b6fc4UL, 0xe74e2d5eadd24ef9UL, 0x53115a439dade8d7UL, 0x4d5c1465a4c14520UL, 0xc87c2ff69b5d8476UL, 0x7f5c2fed4f0ecff6UL, 0x3f234185f64c2d01UL, 0x48400bd1d0d07677UL, 0x225d0ebedf505313UL, 0x4f782a8a8ab7cde9UL, 0x7e46830bec985a02UL, 0x908017a3a1a0eceeUL, 0x44ba1d7dbea0a626UL, 0x9ef05515156f9bd2UL, 0x658cf315142748abUL, 0xf3f80c5dda1325ebUL, 0x3bd16ba894aa17b2UL, 0x8c20df7a3e7565a0UL, 0x52181328e5596df9UL, 0x35083ba12d74b7e1UL, 0xc5078602c0bf749aUL, 0xa981cba468409944UL, 0xa4302651cab2dbf2UL, 0x6a1077425ae96fc2UL, 0x8a0f0c05817ee934UL, 0x53039748d0813289UL, 0xd161b9a158724b4bUL, 0x6d8cd9e2c8023b2UL, 0xa6bb4958eb168997UL, 0x17c75bc1b5a83717UL, 0xa2c37342b0e49696UL, 0xdb19b3c59004765UL, 0x4d7692b1d62d132eUL, 0x2f8eb7836b506e2fUL, 0xdc871387acded183UL, 0xc99b15622b5272fcUL, 0x2848743045b17da3UL, 0xeedd1a56c20a8e5aUL, 0x200fd20d94aa5fa9UL, 0x41ce09decff619ceUL, 0xe235b9336289a0b8UL, 0x6c7a41fd90bf4eb0UL, 0x401fa41b2954bf52UL, 0x839c13bd9fec339cUL, 0xc46b7266c5134170UL, 0xd8f483fb217e9d61UL, 0x803f483652a97ea4UL, 0x738277b3fd86738UL, 0x88d6e4cd8a2682e1UL, 0xb1e907f642fd3ac3UL, 0x997f656e684501e7UL, 0xdc886dece6e23246UL, 0xa30898c8fda65e3dUL, 0xd2127abc91502783UL, 0x32fecadcd08a03ceUL, 0xb910dbd9cdc4648dUL, 0x46113191fb4cbc7bUL, 0xa424f57922a04f07UL, 0x65fd95b9a114079cUL, 0x7221b7b39b88c91aUL, 0x8c226323f69978f7UL, 0x4849eaf245409e0eUL, 0x52fade718f3ff397UL, 0x36bb4c7dae436e03UL, 0xaae1971404d9aa11UL, 0x2153a0b49e2b6e19UL, 0x3cf449e1d3681b81UL, 0xbf8ebbe1c5d42031UL, 0xe7667f7be0580fddUL, 0xf367343928fc8e37UL, 0xe0e966c16bc7cbadUL, 0xade554d912fabc55UL, 0x7c69afa4295b4444UL, 0x570e1d2245534e6bUL, 0x58d338801a986bf5UL, 0x89328aa8bca7849cUL, 0x4a760e1bbb5dd376UL, 0x1fdc4f149e0cced2UL, 0x28a78402f8272b45UL, 0xc09d364be01df50fUL, 0x26494d649f50fd12UL, 0x8e78eb7928b3cfa0UL, 0xc84efd073d59aa25UL, 0x53c24f8d59691629UL, 0xfe37cb9ad74aa1daUL, 0xad31a3a245cdcd44UL, 0x909dfa0e7ab3544aUL, 0xa7849f1ab2d22c53UL, 0xfc6f9735ae9543b4UL, 0x5a6347448b9b9a89UL, 0x213bf41cf566a894UL, 0x4f093e3565a458a7UL, 0xf8df2e6b5d2a8769UL, 0xb4c68e8917373513UL, 0xdb761d3b27daad87UL, 0x4cea5f70521a4d79UL, 0x431b0d8553be552dUL, 0xd84d68423ac43823UL, 0x2fedcf7482a2a7a1UL, 0x4b2c9dfa3d6666c4UL, 0x34934a594e97f1a5UL, 0x15aa5d461222242UL, 0x5fdb9ee905454f42UL, 0x96593bf47acccd88UL, 0x692694b29d2fe34aUL, 0x2b54ba8c2444484UL, 0x26b6c8d0c79d622bUL, 0xfe4a54f26ccb6727UL, 0x60e87836d3b49d6aUL, 0xb4aae2019022db0cUL, 0xd46c64a3422d38f9UL, 0x2e6c8afe40c43279UL, 0x7375a13e4e82612aUL, 0xd895b15334efe41cUL, 0x31d93c44494d8d5dUL, 0x8e2136e618da98c4UL, 0x544e132f74ef99abUL, 0xeb17f67d759a3cUL, 0xfab38d8a5f8ce615UL, 0xceba4ed6a8e7cdbfUL, 0x1a39770d003468a8UL, 0xb0165abcee41667cUL, 0xf5671b14bf19cc2aUL, 0x9d749dad51cf9b7fUL, 0x3472ee1a0068d151UL, 0x602cb579dc82ccf8UL, 0x73cfc32bb32464fbUL, 0xe81118403acdcac8UL, 0xda408d67e93af95cUL, 0x71991fa3adafcbf4UL, 0x7e9e7355ab5f3559UL, 0x2da139aecc969a7UL, 0x6244b9c3b9ea946UL, 0x52f24a174ff5c5edUL, 0x643d13a99ba9961dUL, 0xd74c042f40c02f79UL, 0xbeedc66b9ed60973UL, 0x1424e17e8b41d9deUL, 0x517bd251fa44d095UL, 0x7c602b4418d2a2c5UL, 0xcf7edd84d4474918UL, 0x9989b7ad0229e1b9UL, 0xa2f7a4a3f489a12aUL, 0xf8c0568831a5458aUL, 0x9efdbb09a88e9230UL, 0x33136f5a0453c373UL, 0xdceebc452404befbUL, 0x23788e0afa187722UL, 0x8f5e2740b8f67f9eUL, 0xd7e6abe41c0dd4e3UL, 0xb9dd788a48097df6UL, 0x46f11c15f430ee45UL, 0x1ebc4e8171ecff3cUL, 0xafcd57c8381ba9c7UL, 0x73baf1149012fbecUL, 0x8de2382be861dc8bUL, 0x3d789d02e3d9fe78UL, 0x5f9aaf907037538eUL, 0xe775e2292025f7d8UL, 0x1bc47057d0c3b916UL, 0x7af13a05c7b3fcf1UL, 0xbf355f20e06ea71cUL, 0x57ea31508d5c131fUL, 0xe570c3b538d58e1aUL, 0x47472558668ca21dUL, 0xcfaacb11d4771c3cUL, 0xafd462a11ab8263eUL, 0xcae1876a71ab1c34UL, 0x8e8e4ab0cd19443bUL, 0x9f559623a8ee3878UL, 0x5fa8c54235704c7cUL, 0x95c30ed4e3563869UL, 0x1d1c95619a328877UL, 0x3eab2c4751dc70f1UL, 0x26507f86a7f76457UL, 0xf97e3eb35ffe8ce5UL, 0x889c7b90dd8e4b10UL, 0xcc962ddeb712b3e6UL, 0xd5a10a0f82f93401UL, 0x20045e7c26afe5fdUL, 0xa39da67252f7cddeUL, 0x28ec2eed7a8f35c9UL, 0x3243e11dc8e594adUL, 0x92f09fe2d40d37ccUL, 0xf59e1db74c04c043UL, 0xe018288ae1b43997UL, 0x6487c23b91cb295aUL, 0x25e13fc5a81a6f98UL, 0xeb3c3b6e98098087UL, 0xc0305115c368732fUL, 0x500e7175ee81ae1bUL, 0x993a5c91c9662307UL, 0x64dd278ed9f85af1UL, 0x31a0d77b927ab45bUL, 0x391d17e91014a099UL, 0xe08c9a390b9eba39UL, 0x7b1f1e4e5a1bee1cUL, 0xd281dba7305f3ab2UL, 0x723a2fd220294132UL, 0xc1193472173d7472UL, 0xf63e3c9cb437dc39UL, 0xa503b74e60be7564UL, 0x7d75aaa68d457ecbUL, 0x50ca4bfeb72814d3UL, 0x5ed9286a8184e38cUL, 0xfbc71bccd5d6b8cdUL, 0xfaeb554d1a8afd96UL, 0xa19497fd6e5029a6UL, 0xbdb250d50309c718UL, 0xf78e3799abad719aUL, 0x6cd75f98f8020783UL, 0x91d10ce045f2af7aUL, 0xc9c1f0f9eff8d5ceUL, 0x5edc1a6343f0b131UL, 0x40af4a333d13f3a9UL, 0xf15a3ada12b7a2c3UL, 0x2126b0a0361af062UL, 0xc784196934b3067UL, 0x185f6164b7301bfdUL, 0x304c56aebc3db9b1UL, 0xf0e8301385debb3aUL, 0xa930f67d323c32caUL, 0x30bec2c96e6037faUL, 0x6098ad5d787b7362UL, 0xe1d060270bbd7674UL, 0x5261ecfa64786595UL, 0xf87c709011d7935bUL, 0x13c979a069a41af3UL, 0x7105911dfe91b717UL, 0x1503aca4dc5a992fUL, 0xf0f8e12023af26b6UL, 0x2792f340d34835e7UL, 0xe20b223bfd236e2eUL, 0x2a075949b8b5325eUL, 0x78f037428a49b1c3UL, 0x9dddc59b3fc297f8UL, 0x76b3152413ad87a3UL, 0xe5cec7c365c036b9UL, 0xf1e06e8514936386UL, 0x3bbb8b367f852ff0UL, 0xed662a48275b0f47UL, 0xcb9d8f86cb806d72UL, 0xe3c0dd0a2926c70cUL, 0x7777166cff0a5fe1UL, 0xdacc54904eb61e8eUL, 0x973b1f0d9700dae5UL, 0x5e804f169f5a72b7UL, 0x3c160fc3674643f4UL, 0x73df873748766e3UL, 0x9fb64b4b3aabe7cfUL, 0xbd009e2d3eb4e56eUL, 0x782c1f86ce8c87e8UL, 0xe7bf0e6e90ecdc6UL, 0x3f6c96967557cf9eUL, 0x7a013c5a7d69cadcUL, 0xf0583f0d9d190fd1UL, 0x1cf7e1cdd21d9b8cUL, 0x7ed92d2ceaaf9f3cUL, 0xf40278b4fad395b8UL, 0xe0b07e1b3a321fa2UL, 0x39efc39ba43b3719UL, 0xfdb25a59d55f3e78UL, 0xe804f169f5a72b70UL, 0xc160fc3674643f45UL, 0x73df873748766e33UL, 0xfb64b4b3aabe7cf0UL, 0x490817d12659aa4fUL, 0x5039db76719a82bcUL, 0x551a5f3d79078798UL, 0x47091c3741d6abe4UL, 0xb11daa081a4a831UL, 0x728b95f67a67f94fUL, 0x1891ef291be454cfUL, 0x3fd24d3e970705ccUL, 0x8f224043ce5eaccdUL, 0x37ef08f66d9d0ea9UL, 0x83868f01de23f261UL, 0xce64ef2d3aa4599cUL, 0x8745758551aaa535UL, 0xbd2632f64268e164UL, 0xb5a84f5055acbf3dUL, 0x2d09ab0a61e2e13dUL, 0xe8aeb0aa3554a6aUL, 0x7a4c65ec84d1c2c9UL, 0x6b509ea0ab597e7bUL, 0x5a135614c3c5c27bUL, 0x841423178bbd687bUL, 0x2660e8c390f179a5UL, 0x64046c12bf59a709UL, 0x5e6d9799321d6f2UL, 0x9129b32dda6d2c59UL, 0x9e39f29db8b00f7cUL, 0x7aad8976975815edUL, 0xba0dc7a332e9ffe0UL, 0xbb52935979cda41dUL, 0xee8bc621e832e2ceUL, 0x47fe43bec75b7024UL, 0xc5dbfa167179adc4UL, 0xefa4d3b03e8cb495UL, 0xfefaf59493739aaUL, 0x3d59d62e675dbbb6UL, 0x3a77817cf659098cUL, 0x46485262b00e9585UL, 0xcd277da80b3c8f62UL, 0xc816fd0f27502c93UL, 0xc52f77a9f818411cUL, 0x8c90a4c5601d2b0aUL, 0x9a4efb5016791ec4UL, 0x902dfa1e4ea05927UL, 0x8a5eef53f0308239UL, 0x1921498ac03a5614UL, 0x349df6a02cf23d89UL, 0x205bf43c9d40b24fUL, 0x14bddea7e0610473UL, 0x324293158074ac28UL, 0x693bed4059e47b12UL, 0x40b7e8793a81649eUL, 0x297bbd4fc0c208e6UL, 0x6485262b00e95850UL, 0xd277da80b3c8f624UL, 0x816fd0f27502c93cUL, 0x52f77a9f818411ccUL, 0x500bb954ccc54c0fUL, 0x7617961bfec3107fUL, 0xb07af0b703eec986UL, 0x142e806f17a2719dUL, 0xa01772a9998a981eUL, 0xec2f2c37fd8620feUL, 0x60f5e16e07dd930cUL, 0x285d00de2f44e33bUL, 0x402ee5533315303cUL, 0xd85e586ffb0c41fdUL, 0xc1ebc2dc0fbb2619UL, 0x50ba01bc5e89c676UL, 0x195c3fa4ab3d9cd7UL, 0x624493c56f4a7fcdUL, 0x3172d4ebf69d17ccUL, 0x10b47628a9b9dee9UL, 0x32b87f49567b39aeUL, 0xc489278ade94ff9aUL, 0x62e5a9d7ed3a2f98UL, 0x2168ec515373bdd2UL, 0x6570fe92acf6735cUL, 0x89124f15bd29ff34UL, 0xc5cb53afda745f31UL, 0x42d1d8a2a6e77ba4UL, 0x53e0082794fb1a17UL, 0xc0dcbd31e301025fUL, 0x3933f60c5d03e59cUL, 0x3463c4155964a54dUL, 0x3ec1e54de4e1c881UL, 0x534159795f50f889UL, 0xc0c2bd4b53ec90c6UL, 0xd907fd7aa663189eUL, 0xe4823f9904d46dadUL, 0x747a91e827f30d25UL, 0x33202bc54e327a73UL, 0x3cf8fa5586c6339UL, 0xc9047f3209a8db5aUL, 0xe8f523d04fe61a4bUL, 0x6640578a9c64f4e6UL, 0x79f1f4ab0d8c672UL, 0x9208fe641351b6b4UL, 0xd1ea47a09fcc3497UL, 0xcc80af1538c9e9cdUL, 0xf3e3e9561b18ce4UL, 0x2411fcc826a36d68UL, 0xa3d48f413f98692fUL, 0x99015e2a7193d39bUL, 0x1e7c7d2ac36319c9UL, 0xd1220c928051267fUL, 0x95513d98e6622e69UL, 0x80a7ed070accfcc8UL, 0x8d388f05926c6197UL, 0x3b45ec27cdb5b051UL, 0xf85a582b5596a0e4UL, 0xb3ea8b5dfc72a26eUL, 0xabb16b5b3072912bUL, 0x768bd84f9b6b60a2UL, 0xf0b4b056ab2d41c8UL, 0x67d516bbf8e544ddUL, 0x5762d6b660e52257UL, 0xed17b09f36d6c144UL, 0xe16960ad565a8390UL, 0xcfaa2d77f1ca89bbUL, 0xaec5ad6cc1ca44aeUL, 0x432e943ca0ba7e27UL, 0x102ae24035e7fb16UL, 0x2df10bbc0a7e4888UL, 0xec4b2f89973edb59UL, 0x865d28794174fc4eUL, 0x2055c4806bcff62cUL, 0x5be2177814fc9110UL, 0xd8965f132e7db6b2UL, 0x95bba5f04ffe0433UL, 0x9253aa1a4ecd106eUL, 0x5617fa3c01279dfUL, 0xeccb7648513f60UL, 0x2b774be09ffc0866UL, 0x24a754349d9a20ddUL, 0xac2ff478024f3bfUL, 0x1d996ec90a27ec0UL, 0x56ee97c13ff810ccUL, 0x494ea8693b3441baUL, 0x1585fe8f0049e77eUL, 0x3b32dd92144fd80UL, 0xaddd2f827ff02198UL, 0x929d50d276688374UL, 0x2b0bfd1e0093cefcUL, 0x7665bb24289fb00UL, 0xc2bbaa0632f7bf9fUL, 0xf7c282be7583fadeUL, 0xe4b2ab6fe8ccc606UL, 0xbf0cc23491b9a404UL, 0x8577540c65ef7f3eUL, 0xef85057ceb07f5bdUL, 0xc96556dfd1998c0dUL, 0x7e19846923734809UL, 0xaeea818cbdefe7cUL, 0xdf0a0af9d60feb7bUL, 0x92caadbfa333181bUL, 0xfc3308d246e69013UL, 0x15dd503197bdfcf8UL, 0xbe1415f3ac1fd6f6UL, 0x25955b7f46663037UL, 0xf86611a48dcd2027UL, 0x2bbaa0632f7bf9f0UL, 0x7c282be7583fadecUL, 0x4b2ab6fe8ccc606fUL, 0xf0cc23491b9a404eUL, 0xce74b5c493e00f4fUL, 0x2aa874d4292da7efUL, 0x24f03caef0739b21UL, 0x505833c2239ed298UL, 0x9ce96b8927c01e9eUL, 0x5550e9a8525b4fdfUL, 0x49e0795de0e73642UL, 0xa0b06784473da530UL, 0x39d2d7124f803d3cUL, 0xaaa1d350a4b69fbfUL, 0x93c0f2bbc1ce6c84UL, 0x4160cf088e7b4a60UL, 0x73a5ae249f007a78UL, 0x5543a6a1496d3f7eUL, 0x2781e577839cd909UL, 0x82c19e111cf694c1UL, 0x7e4aa94bf317085fUL, 0x787f6e580b8882cbUL, 0xfda69bbceed2e9edUL, 0xb44349722d477b86UL, 0xfc955297e62e10beUL, 0xf0fedcb017110596UL, 0xfb4d3779dda5d3daUL, 0x688692e45a8ef70dUL, 0x602b502d014bddd3UL, 0x33059a7ab770f71aUL, 0x443f3fa052a0fc4aUL, 0x60cd5098a1b7bc1fUL, 0x59575558cf804709UL, 0xb4f317eff7b31203UL, 0x3adb2e134caaa36bUL, 0x705ad46157c52a3aUL, 0xb2aeaab19f008e12UL, 0x69e62fdfef662406UL, 0x75b65c26995546d7UL, 0xe0b5a8c2af8a5474UL, 0x655d55633e011c24UL, 0xd3cc5fbfdecc480dUL, 0xeb6cb84d32aa8daeUL, 0xc16b51855f14a8e8UL, 0xcabaaac67c023848UL, 0xa798bf7fbd98901aUL, 0xd6d9709a65551b5dUL, 0x82d6a30abe2951d1UL, 0x9575558cf8047090UL, 0x4f317eff7b312035UL, 0xadb2e134caaa36bbUL, 0x5ad46157c52a3a3UL, 0xb3eb5e1b3d1f1d8fUL, 0x4c9adee46f30bc5cUL, 0xe9c0933a7cbf3689UL, 0xba9af97aec0f1543UL, 0xfed74934b729c7b1UL, 0x4bcd9ed24733848eUL, 0x61247727109536edUL, 0xc4f587a5ccb47883UL, 0xfdae92696e538f62UL, 0x979b3da48e67091dUL, 0xc248ee4e212a6ddaUL, 0x89eb0f4b9968f106UL, 0xfb5d24d2dca71ec4UL, 0x2f367b491cce123bUL, 0x8491dc9c4254dbb5UL, 0x13d61e9732d1e20dUL, 0x6fbbbca77459c127UL, 0x8c94d588a0ced840UL, 0xbb86e86b6d42ec95UL, 0x966c487e7109961fUL, 0x46768c4c25a47ee1UL, 0xcbd1880bd8cf4cb7UL, 0xc5a88185336e82d4UL, 0x9d18e5acf6b97e3bUL, 0x8ced18984b48fdc2UL, 0x97a31017b19e996eUL, 0x8b51030a66dd05a9UL, 0x3a31cb59ed72fc77UL, 0x80dbc4325b86072bUL, 0xfdbe0335fa6fceeaUL, 0xa4075747245150acUL, 0xc5a3e3e3ce4faaebUL, 0x1b78864b70c0e56UL, 0xfb7c066bf4df9dd5UL, 0x480eae8e48a2a159UL, 0x8b47c7c79c9f55d7UL, 0x9a6ee5cba30fe003UL, 0x24002fcd70edc79dUL, 0x22b80c4f78ae194cUL, 0xa74ffadf2d94f9aaUL, 0x34ddcb97461fc006UL, 0x48005f9ae1db8f3bUL, 0x4570189ef15c3298UL, 0x4e9ff5be5b29f354UL, 0xf0ba622c41287ca3UL, 0x42f89c2f5ae5e241UL, 0x3845606e0b533ecfUL, 0x2cff9e2ca2f9b4acUL, 0xe174c4588250f946UL, 0x85f1385eb5cbc483UL, 0x708ac0dc16a67d9eUL, 0x59ff3c5945f36958UL, 0x5be87db3c9b60e23UL, 0xd91a53a7f2c57530UL, 0x53b0d0ebc4a7a0c2UL, 0x23e0de29f4c80b4UL, 0x2ed10e655e7be0e9UL, 0x60cc84557cd81657UL, 0x15c4f08460a41a7aUL, 0xb5bc6e952a33536cUL, 0xc4a3e9c871e03d7dUL, 0x13612bb060e2d099UL, 0x992cb05b28a36f0bUL, 0xdab8a87a40ccf4dcUL, 0x104626922ed78655UL, 0xf43a747a58975d04UL, 0x80fc31e5b8ad85e9UL, 0x4b125a49533bbbdUL, 0x208c4d245daf0caaUL, 0xe874e8f4b12eba08UL, 0x1f863cb715b0bd3UL, 0x9624b492a67777bUL, 0xd8196f4a7649e5fbUL, 0x211f2f3fb0f8827UL, 0xb15596c50b5d4c58UL, 0xa304e3c24064bcf2UL, 0xb032de94ec93cbf6UL, 0x423e5e7f61f104fUL, 0x62ab2d8a16ba98b0UL, 0x4609c78480c979e5UL, 0x6065bd29d92797ecUL, 0x847cbcfec3e209fUL, 0xc5565b142d753160UL, 0x8c138f090192f3caUL, 0x59ca8f517f58d377UL, 0xc277b485412ebd09UL, 0x3809e77bb301393fUL, 0xa9e76b42178fb591UL, 0x2a94eba033a65a41UL, 0x56174a101b0f8625UL, 0xc2b69fa48fe92980UL, 0xe20ea3d43bb53926UL, 0x5529d740674cb482UL, 0xac2e9420361f0c4aUL, 0x856d3f491fd25300UL, 0xc41d47a8776a724dUL, 0x33525b82038e95abUL, 0x8aa50b5af56ce4a3UL, 0xb87f2fc1d64ffdfeUL, 0x39fafa00fa7eb69fUL, 0x66a4b704071d2b56UL, 0x154a16b5ead9c946UL, 0x70fe5f83ac9ffbfdUL, 0x73f5f401f4fd6d3fUL, 0x54489b0ac32daa03UL, 0xf86c0e714ce16ebbUL, 0x5359ee54b0d4ac05UL, 0x562b9d53fd50887aUL, 0x3190c3174b4ca8a9UL, 0x22203ff800902141UL, 0x14168dfa884203f4UL, 0x1d974ff7ee0b42f0UL, 0x6321862e96995152UL, 0x44407ff001204282UL, 0x282d1bf5108407e8UL, 0x3b2e9fefdc1685e0UL, 0xc6430c5d2d32a2a4UL, 0x8880ffe002408504UL, 0x505a37ea21080fd0UL, 0x765d3fdfb82d0bc0UL, 0x1587edb89772b9e7UL, 0xc3f9dcda9dd3f63eUL, 0x12113e87abfb445eUL, 0x5d7a0aef64f04584UL, 0xb20e2e73e3f28f61UL, 0x550b9aafa2f5104bUL, 0x96872c5cbe1dd342UL, 0xb34608edd4ad90cUL, 0x641c5ce7c7e51ec2UL, 0xaa17355f45ea2097UL, 0x2d0e58b97c3ba684UL, 0x1668c11dba95b219UL, 0x51394ccd42ddc12bUL, 0x86d649a41286bd19UL, 0xe8b9e021119c16f6UL, 0x9d11f76b61813636UL, 0x3b736c9848ac7ef9UL, 0xdf54b052bc5f8605UL, 0x63d69111cad37612UL, 0x8be39b86d7a83e69UL, 0xefe72c325c4f015dUL, 0x6c5143bfe1edf03dUL, 0x750873707c4db7daUL, 0xa607425dbbfa2ed6UL, 0x46cfad667589fe15UL, 0xa5aa4655a891c4cUL, 0x58b5b7b31170344bUL, 0xfdcef1eb635e0fa8UL, 0x149eafce26040085UL, 0xc64d6bd02c40c4afUL, 0x3ce3e35cb0b3369UL, 0x4a5d9686d2164d54UL, 0x293d5f9c4c08010aUL, 0x8c9ad7a05881895eUL, 0x79c7c6b961666d3UL, 0x94bb2d0da42c9aa8UL, 0xcb7b4a3a5507febbUL, 0xcbcd8c5a2851ee8bUL, 0xbd9da984c5c79658UL, 0x98b62f4b5cf36754UL, 0x96f69474aa0ffd76UL, 0x979b18b450a3dd17UL, 0x7b3b53098b8f2cb1UL, 0x316c5e96b9e6cea9UL, 0xb4ecddeb99080643UL, 0xfdce127238154618UL, 0x44d3f740fef5029cUL, 0xd318c87d6767cf56UL, 0xf0d84ed5ff07f029UL, 0x296407fee9787006UL, 0x3b02bfd214015ec6UL, 0x17f1e5aada65cca8UL, 0x78b168a933181cfdUL, 0x80302ce74ba21c3aUL, 0xc4a02ef7c1e9e673UL, 0x9e23be05a061cb54UL, 0xf162d152663039faUL, 0x6059ce97443874UL, 0x89405def83d3cce7UL, 0x3c477c0b40c396a9UL, 0x7bc457a601778f5bUL, 0xd2389087b7da8cdeUL, 0xa025ea8cee4cc231UL, 0xc94e8d46952d7f57UL, 0xf788af4c02ef1eb6UL, 0xa471210f6fb519bcUL, 0x404bd519dc998463UL, 0x929d1a8d2a5afeafUL, 0xef115e9805de3d6cUL, 0x48e2421edf6a3379UL, 0x8097aa33b93308c7UL, 0x253a351a54b5fd5eUL, 0xde22bd300bbc7ad8UL, 0x91c4843dbed466f3UL, 0x12f54677266118eUL, 0x4a746a34a96bfabdUL, 0x25448f62da6f091fUL, 0xf1712b61e4fa31d0UL, 0xb0fbf99d0d2778e2UL, 0x2528a139467da77eUL, 0xd388ebc779c9ee91UL, 0x301a75d950a69f97UL, 0xd352a269f3a5aa3aUL, 0xfb91372298511cf9UL, 0xa711d78ef393dd22UL, 0x6034ebb2a14d3f2fUL, 0xa6a544d3e74b5474UL, 0xf7226e4530a239f3UL, 0xd7225a1f2a3046ebUL, 0x1291f47fdbc88268UL, 0xffefd8f4277df317UL, 0x5f84a9da75ee21e3UL, 0x3745413c99777179UL, 0xf7dbcbe52ec3f8e6UL, 0x4d7ae0bba710bdd1UL, 0xec926e4ff7611c3UL, 0xf78b777bfff91e5dUL, 0x3d4fb4d0c4d50dfbUL, 0x28509024a7ca205cUL, 0xac523899ea467182UL, 0x76171bf532e5c015UL, 0xa8674abb10f8e7c0UL, 0xe204711aa67f1b47UL, 0xe9640463c026b100UL, 0xec2e37ea65cb802aUL, 0x50ce957621f1cf80UL, 0xc408e2354cfe368fUL, 0xd2c808c7804d6201UL, 0x415d9ad60680fcfbUL, 0x736509f6dab16336UL, 0x3ab49539701736e1UL, 0x145064df14309607UL, 0x1bbac0aec0160559UL, 0x343230f72c303a5bUL, 0xc7cc7b2109c5363dUL, 0x9960bcee3ccb7e0aUL, 0xae74745f4d3bf61dUL, 0xba9c42f4c1328881UL, 0x3d3da711fa613785UL, 0x83010c8c6d3cae11UL, 0xc5e91dbc57601095UL, 0xa7c0a6f31b37ed34UL, 0xc8de1f701d2934f4UL, 0xb7c26c48ced30e26UL, 0x8bd23b78aec0212aUL, 0x4f814de6366fda69UL, 0x91bc3ee03a5269e9UL, 0x6f84d8919da61c4dUL, 0x17a476f15d804254UL, 0x9f029bcc6cdfb4d3UL, 0x23787dc074a4d3d2UL, 0xdf09b1233b4c389bUL, 0x2f48ede2bb0084a8UL, 0x3e053798d9bf69a6UL, 0x46f0fb80e949a7a5UL, 0xbe13624676987136UL, 0x5e91dbc576010950UL, 0x7c0a6f31b37ed34cUL, 0x8de1f701d2934f4aUL, 0x7c26c48ced30e26cUL, 0x242242882115ee0fUL, 0x2aecfd79ffaf5aafUL, 0xa966bf504ccdc56bUL, 0x498dfc49cecb96ddUL, 0x48448510422bdc1eUL, 0x55d9faf3ff5eb55eUL, 0x52cd7ea0999b8ad6UL, 0x931bf8939d972dbbUL, 0x90890a208457b83cUL, 0xabb3f5e7febd6abcUL, 0xa59afd41333715acUL, 0x2637f1273b2e5b76UL, 0x2112144108af7078UL, 0x5767ebcffd7ad579UL, 0x4b35fa82666e2b59UL, 0x4c6fe24e765cb6edUL, 0x42242882115ee0f0UL, 0xaecfd79ffaf5aaf2UL, 0x966bf504ccdc56b2UL, 0x98dfc49cecb96ddaUL, 0x8448510422bdc1e0UL, 0x5d9faf3ff5eb55e4UL, 0x2cd7ea0999b8ad65UL, 0x31bf8939d972dbb5UL, 0x890a208457b83c0UL, 0xbb3f5e7febd6abc9UL, 0x59afd41333715acaUL, 0x637f1273b2e5b76aUL, 0x8820b11247e0fb2fUL, 0xa4869fe54effaba5UL, 0x1faf9758f09ee6aUL, 0x773e51b771613cd0UL, 0x104162248fc1f65eUL, 0x490d3fca9dff574bUL, 0x3f5f2eb1e13dcd5UL, 0xee7ca36ee2c279a0UL, 0x2082c4491f83ecbcUL, 0x921a7f953bfeae96UL, 0x7ebe5d63c27b9aaUL, 0xdcf946ddc584f340UL, 0x410588923f07d978UL, 0x2434ff2a77fd5d2cUL, 0xfd7cbac784f7355UL, 0xb9f28dbb8b09e680UL, 0x820b11247e0fb2f0UL, 0x4869fe54effaba58UL, 0x1faf9758f09ee6aaUL, 0x73e51b771613cd00UL, 0x4162248fc1f65e0UL, 0x90d3fca9dff574b1UL, 0x3f5f2eb1e13dcd54UL, 0xe7ca36ee2c279a00UL, 0x912db1933529376fUL, 0xf35fda4926b81555UL, 0xcc1b0c302b90c156UL, 0x7e54188c4ce56604UL, 0xbb5a9624a7459271UL, 0x34479788d422d69cUL, 0x2a934933becad952UL, 0x4d6844488d609e0dUL, 0xefb4d94b839cd84dUL, 0xba770c0b3117510eUL, 0xe783c334947ee95bUL, 0x2b10fdc10e6b6e1eUL, 0x46684795ca2e4c35UL, 0xa6163b0cfb7c5e2aUL, 0x7da2d73ac1168948UL, 0xe7e18ed2087c8e39UL, 0x8cd08f2b945c986aUL, 0x4c2c7619f6f8bc54UL, 0xfb45ae75822d1291UL, 0xcfc31da410f91c72UL, 0x19a11e5728b930d4UL, 0x9858ec33edf178a9UL, 0xf68b5ceb045a2522UL, 0x9f863b4821f238e5UL, 0xaa43c9ac9c659d07UL, 0xe249fb7d42b00d65UL, 0x5fb3e885e15f11baUL, 0x8ecc03c0574e23cfUL, 0xcd86665bf5dcc6a1UL, 0x166bd5e01c32e6fcUL, 0xdc280582b55788aUL, 0xac5872d0ba36159aUL, 0x9b0cccb7ebb98d42UL, 0x2cd7abc03865cdf9UL, 0x1b8500b056aaf114UL, 0x58b0e5a1746c2b34UL, 0xaf186c6d1a64e62bUL, 0x8b57749ae99967c4UL, 0x85af503344beb9d7UL, 0xa1be12fc72046cUL, 0x5e30d8da34c9cc56UL, 0x16aee935d332cf89UL, 0xb5ea066897d73afUL, 0x1437c25f8e408d9UL, 0xbc61b1b4699398acUL, 0x2d5dd26ba6659f12UL, 0x16bd40cd12fae75eUL, 0x286f84bf1c811b2UL, 0x78c36368d3273158UL, 0x5abba4d74ccb3e25UL, 0x2d7a819a25f5cebcUL, 0x50df097e3902364UL, 0xf186c6d1a64e62b0UL, 0xb57749ae99967c4aUL, 0x5af503344beb9d78UL, 0xa1be12fc72046c8UL, 0x7a0c78a1818b39cfUL, 0xb816b047aa7e04a2UL, 0x74f573b7e3c610eUL, 0xa5f7b70f9aeadf94UL, 0xf418f1430316739eUL, 0x702d608f54fc0944UL, 0xe9eae76fc78c21dUL, 0x4bef6e1f35d5bf28UL, 0xe831e286062ce73cUL, 0xe05ac11ea9f81289UL, 0x1d3d5cedf8f1843aUL, 0x97dedc3e6bab7e50UL, 0x4962300ec14e32d7UL, 0x124da127caa2d924UL, 0x88dfe8881808538aUL, 0x9e7dcd2cc3fcaea4UL, 0x92c4601d829c65aeUL, 0x249b424f9545b248UL, 0x11bfd1103010a714UL, 0x3cfb9a5987f95d49UL, 0x2588c03b0538cb5cUL, 0x4936849f2a8b6491UL, 0x237fa22060214e28UL, 0x79f734b30ff2ba92UL, 0xd2107574c7666a17UL, 0x40952a24cc443515UL, 0xf45a151329a9c7afUL, 0x422e1c360b4f2720UL, 0xa420eae98eccd42eUL, 0x812a544998886a2bUL, 0xe8b42a2653538f5eUL, 0x845c386c169e4e41UL, 0xd14020d1d08e54f3UL, 0xd0ac8b89a8422860UL, 0x63cd051f4f4c4542UL, 0xb97805883996ce87UL, 0xa28041a3a11ca9e6UL, 0xa1591713508450c1UL, 0xc79a0a3e9e988a85UL, 0x72f00b10732d9d0eUL, 0x45008347423953ccUL, 0x42b22e26a108a183UL, 0x8f34147d3d31150bUL, 0xe5e01620e65b3a1dUL, 0x1300f38c49655b37UL, 0x579c7f57db43bf31UL, 0xaccd79a9938971e9UL, 0x7a005911d81c263fUL, 0xbf00121a5fdd4ac1UL, 0x7dc0ddb52fd58255UL, 0xeb3fa200cef9b82dUL, 0x45c0c773a4921e7bUL, 0x7e002434bfba9582UL, 0xfb81bb6a5fab04abUL, 0xd67f44019df3705aUL, 0x8b818ee749243cf7UL, 0x6501bd6bb262d7abUL, 0x25fb55ce2604f561UL, 0x1e5bd950d20dbb4aUL, 0xa6c3689e86e22bebUL, 0xca037ad764c5af56UL, 0x4bf6ab9c4c09eac2UL, 0x3cb7b2a1a41b7694UL, 0x4d86d13d0dc457d6UL, 0xd0700ac049ca203UL, 0x45157422014129b2UL, 0xcbca3410a1ddb6d7UL, 0x2acdd72a0f22fda8UL, 0x830ff45ac42eb8a9UL, 0x58d2cb5e9bd0af53UL, 0x25313972aa503651UL, 0xe45bdb040aefa955UL, 0x9f1e1db7454a8dfdUL, 0x635db5a7aef3a290UL, 0xf8c723b6bd4b375dUL, 0x7977c358017500aeUL, 0xa73dce6c4782e755UL, 0x14434855c4b5b916UL, 0x432b163e937d3545UL, 0x432ff3e016405359UL, 0xd77a69da42123205UL, 0xfa7eb3b110398e1aUL, 0x34f37d2ecf113175UL, 0x379f9290382af4b6UL, 0xaef4d3b48424640aUL, 0xf4fd676220731c35UL, 0x69e6fa5d9e2262ebUL, 0x6f3f25207055e96cUL, 0xc4e8526bc55f34bbUL, 0x3b02edded9b4c45cUL, 0x6168a5e8d5af9e28UL, 0x6fbe3f10f40180dcUL, 0x10d151d547a995d9UL, 0xa4fdf8a72a3b748eUL, 0x70741a8242b467afUL, 0x6ebc0b71fca953bcUL, 0x21a2a3aa8f532bb2UL, 0x49fbf14e5476e91cUL, 0xe0e835048568cf5fUL, 0xdd7816e3f952a778UL, 0xda44b257d3b1abcbUL, 0x410fc18631bf2e0fUL, 0x73753b5ae33ac541UL, 0xb305897e60f1cf5UL, 0xb48964afa7635796UL, 0x821f830c637e5c1fUL, 0xe6ea76b5c6758a82UL, 0x1660b12fcc1e39eaUL, 0xf0133c5d83d15383UL, 0xd6c725025fae4408UL, 0x7f71bc3865004efaUL, 0x9d01170f8c9621d1UL, 0x79278db9cab55ba9UL, 0x7f76691e260e7426UL, 0x4c46292323ebc60aUL, 0x8bc25b4f0d8611a6UL, 0x6b4eee71587d4bfdUL, 0x2c14f126d54e147bUL, 0x2a290315ae3cd7ebUL, 0xa644c3ce0fa67148UL, 0x4f9c29e07ded6b55UL, 0x8ad1c15733ced4c1UL, 0xe6f75778b592f429UL, 0xfd49f2cc0be6b094UL, 0x639a6c236cd2a05UL, 0xc75ba1b4fecf55b5UL, 0x7f4bffa282ceb3acUL, 0x4b5390c80367332dUL, 0x9572b886a08da8a5UL, 0x5c4f607364cc575dUL, 0x4c32ae16ec763ca6UL, 0x276754c01264345eUL, 0x2ae5710d411b514aUL, 0xb89ec0e6c998aebbUL, 0x98655c2dd8ec794cUL, 0x4ecea98024c868bcUL, 0x55cae21a8236a294UL, 0x713d81cd93315d76UL, 0x30cab85bb1d8f299UL, 0x9d9d53004990d179UL, 0xab95c435046d4528UL, 0xe27b039b2662baecUL, 0x619570b763b1e532UL, 0x3b3aa6009321a2f2UL, 0xce2a7d68c5cd76ffUL, 0x160e242cd59789eeUL, 0x718fb03d2e88919aUL, 0xc7b5395132e917e0UL, 0x9c54fad18b9aedfeUL, 0x2c1c4859ab2f13ddUL, 0xe31f607a5d112334UL, 0x8f6a72a265d22fc0UL, 0xa1a800a1da222753UL, 0x8ac0b3a9cf0cdb8cUL, 0x749b91a753c91d97UL, 0xaf149014df0e0d85UL, 0xda51f4417953b209UL, 0xc7794449074b4b2eUL, 0x5b92721d4e7960d0UL, 0xefe95579aab6490eUL, 0x2da21d803fb098bdUL, 0x5c0aab8897c46a6aUL, 0x581b56975199a5eUL, 0x6e12dfa341c6c018UL, 0xc245ce02b276cdd5UL, 0x6aed740bb6da28e3UL, 0xb9a63b8103d86f43UL, 0x6de5ca169727d234UL, 0x1d8a6907a9fa6705UL, 0x722cb0df4e6adf0UL, 0xc1e92651ee5b8579UL, 0x6a0be17d3ae5f66dUL, 0xa215270d9ee332a5UL, 0xdcbdb501709fa7d7UL, 0x31771df0355c510dUL, 0x65d7b7aa6161bedfUL, 0x442a4e1b3dc6654aUL, 0xb97b6a02e13f4fafUL, 0x62ee3be06ab8a21bUL, 0xcbaf6f54c2c37dbeUL, 0x11556934b69b363bUL, 0xa00ef71f5b2c6369UL, 0x777926933c9a1fc8UL, 0x269eabf9912ca978UL, 0x22aad2696d366c76UL, 0x401dee3eb658c6d2UL, 0xeef24d2679343f91UL, 0x4d3d57f3225952f0UL, 0xdc5451d0177b2443UL, 0x52c3ff67f5e37193UL, 0x6f41cb1f1b8324ddUL, 0x2bbadab65018f7e5UL, 0xb8a8a3a02ef64886UL, 0xa587fecfebc6e327UL, 0xde83963e370649baUL, 0x5775b56ca031efcaUL, 0xe850b24290fb6da3UL, 0x99f7de854edf3a78UL, 0xfa27d2f87e7c88aUL, 0x1f2b1f8954c98d91UL, 0x49a09187ece127e9UL, 0xe1179e1004ec88c6UL, 0xade1ab0ce624caeaUL, 0x8f964a42bd394926UL, 0x9341230fd9c24fd2UL, 0xc22f3c2009d9118cUL, 0x5bc35619cc4995d5UL, 0x1f2c94857a72924dUL, 0x2682461fb3849fa4UL, 0x845e784013b22319UL, 0xb786ac3398932babUL, 0x3e59290af4e5249aUL, 0x4d048c3f67093f48UL, 0x8bcf08027644632UL, 0x6f0d586731265757UL, 0x7cb25215e9ca4935UL, 0x308ed7c0305823fUL, 0xc381c21ad79a7053UL, 0x6cbfe19d8ba7f551UL, 0x48a4d17bc73ec06eUL, 0x9f102ffacb1cf8d1UL, 0x55fba72f36661c91UL, 0x6bda9268fea4b15cUL, 0x2089d7a79ad7d2d8UL, 0x3e205ff59639f1a2UL, 0xabf74e5e6ccc3923UL, 0xd7b524d1fd4962b8UL, 0x4113af4f35afa5b0UL, 0x7c40bfeb2c73e344UL, 0x57ee9cbcd9987246UL, 0xaf6a49a3fa92c571UL, 0x82275e9e6b5f4b61UL, 0x61808ad495f03a27UL, 0x7d251a632a6218bbUL, 0xec71c2141cced11dUL, 0xb58ec86cc214c4c7UL, 0x5a00e0abe6f788e1UL, 0x28b217dccd96cd41UL, 0x6a46d57bd076f9c5UL, 0xdadde5899083db8bUL, 0xb401c157cdef11c2UL, 0x51642fb99b2d9a82UL, 0xd48daaf7a0edf38aUL, 0xb5bbcb132107b716UL, 0xf10277ad56c9df2bUL, 0x70307c69af09c932UL, 0x1bbe04bca830bcebUL, 0xdab7e37656a53c29UL, 0x7b051a58608442f9UL, 0x3298dbc9c7416e52UL, 0x85d9582ab98a2229UL, 0x4afb3bcb9e02a56UL, 0x6f0bc1b20c1f795dUL, 0xb7c9948917d02093UL, 0xb917e1069aff1fadUL, 0xb89f1229676a06a9UL, 0x47167666d5290e15UL, 0xbd6b0a08b6f2bd11UL, 0xc08a935edc1564a4UL, 0xc0fe5102da7e5f57UL, 0x172d19cf6745e085UL, 0xa82e370bf4b78615UL, 0x33b077ee51c192b6UL, 0x303cd755a056ecabUL, 0xb75bc69c039c3da5UL, 0x82a44d0d703df01dUL, 0xd5c5be8f4a687e92UL, 0xd1b9dbfb54078b52UL, 0xf7b6783aca2f87e5UL, 0xd7b0b90079291c0cUL, 0x192e2c4d7d3ba6daUL, 0x12b3c2a6bca544a1UL, 0xef6cf075945f0fcaUL, 0xaf617200f2523819UL, 0x325c589afa774db5UL, 0x2567854d794a8942UL, 0xded9e0eb28be1f94UL, 0x5ec2e401e4a47033UL, 0x64b8b135f4ee9b6bUL, 0x4acf0a9af2951284UL, 0xbdb3c1d6517c3f28UL, 0xbd85c803c948e067UL, 0xc971626be9dd36d6UL, 0x959e1535e52a2508UL, 0xe26676ae6fef82ffUL, 0xa9f3b31d0bc33cf8UL, 0x204795843a513652UL, 0x9afc5f3bdefe1815UL, 0x5dcd185e12c8f951UL, 0x811f45208ed485c6UL, 0xf22a7a5b9d49375aUL, 0x8438cb27a956622eUL, 0x229bc5bee8860e0dUL, 0xd0c6a95b84fbf7bbUL, 0x56f1a5e4d379354aUL, 0xb9b1e31f46069659UL, 0xdc367e7f1c1be0b5UL, 0x737571ad90a51341UL, 0x1f461a9a4f19316aUL, 0xc2a3b36e98a77eb6UL, 0xb86cfcfe3837c16aUL, 0xe6eae35b214a2683UL, 0x3e8c35349e3262d4UL, 0x854766dd314efd6cUL, 0xe9d80cfebd787e7bUL, 0x1f2de5acdbc6b130UL, 0xcfbd3b3ad58f9e56UL, 0xbb4eb8ea7637a8dcUL, 0xd3b019fd7af0fcf6UL, 0x3e5bcb59b78d6261UL, 0x9f7a7675ab1f3cacUL, 0x769d71d4ec6f51b9UL, 0xa76033faf5e1f9ecUL, 0x7cb796b36f1ac4c3UL, 0x3ef4eceb563e7958UL, 0xed3ae3a9d8dea373UL, 0x4ec067f5ebc3f3d8UL, 0xf96f2d66de358987UL, 0x7de9d9d6ac7cf2b0UL, 0xda75c753b1bd46e6UL, 0x4813ae91a901b1fUL, 0x202679d72539ef39UL, 0x4976e2feb112be9eUL, 0x52bfbf777d0dfc8UL, 0x90275d23520363eUL, 0x404cf3ae4a73de72UL, 0x92edc5fd62257d3cUL, 0xa57f7eeefa1bf90UL, 0x1204eba46a406c7cUL, 0x8099e75c94e7bce4UL, 0x25db8bfac44afa78UL, 0x14afefdddf437f21UL, 0xbd08224a19972457UL, 0xd3cbeda3b09d85ffUL, 0xf91246a6617eaf0eUL, 0x989faaebaa2cac46UL, 0xe311b196fe39b401UL, 0x756ff85df869f7c8UL, 0x4081dc1f2b1605e2UL, 0x80ff208740f30a89UL, 0xc623632dfc736802UL, 0xeadff0bbf0d3ef91UL, 0x8103b83e562c0bc4UL, 0x1fe410e81e61512UL, 0x1547335935f12cabUL, 0x747c26d78f52314UL, 0xb0a2212f45b34c76UL, 0xb23cf74d17667821UL, 0xb38f93b0a6f5a5f9UL, 0xdc77a7c068b8ba1fUL, 0xd3e1130d628dc313UL, 0xd5b99bca3a66a247UL, 0x671f27614deb4bf2UL, 0xb8ef4f80d171743fUL, 0xa7c2261ac51b8627UL, 0xab73379474cd448fUL, 0xce3e4ec29bd697e4UL, 0x71de9f01a2e2e87eUL, 0x4f844c358a370c4fUL, 0x56e66f28e99a891fUL, 0x57d6887fabad367UL, 0x31451d19dc972ccaUL, 0x2dadc938fd854361UL, 0x1c0cab01c79f403aUL, 0xafad10ff575a6ceUL, 0x628a3a33b92e5994UL, 0x5b5b9271fb0a86c2UL, 0x381956038f3e8074UL, 0x8cf4571d27fcb133UL, 0x17ec577deb0e4f1fUL, 0x41275b01ffe567bUL, 0xc1f2d9570ad752ecUL, 0x80e95b3882ee9ec9UL, 0xfd208de14f4e6208UL, 0xba81ba33d617f709UL, 0x3225c7fe0104f7dcUL, 0x1d2b67105dd3d92UL, 0xfa411bc29e9cc411UL, 0x75037467ac2fee13UL, 0x644b8ffc0209efb9UL, 0x9aa499e0c6ad878bUL, 0x267a149fa46b7415UL, 0x58a3b99cb1b487d8UL, 0x79576aa810b98d76UL, 0x354933c18d5b0f16UL, 0x4cf4293f48d6e82bUL, 0xb147733963690fb0UL, 0xf2aed55021731aecUL, 0xf3939281d7a1e283UL, 0x4b10716408ff2c61UL, 0xd02bb7212f39449fUL, 0x549ddff0564c67ddUL, 0xe7272503af43c506UL, 0x9620e2c811fe58c3UL, 0xa0576e425e72893eUL, 0xa93bbfe0ac98cfbbUL, 0x574fbf05939076a3UL, 0xfeb9e68abaae4db0UL, 0xf20b8dd7550e4982UL, 0xe3b70a914d9bcd73UL, 0x379e8b09ea3711e9UL, 0x2f8bee0fec0e6757UL, 0x56b24afd43f7c8faUL, 0x76ae60728f9dc8e3UL, 0x6f3d1613d46e23d2UL, 0x5f17dc1fd81cceaeUL, 0xad6495fa87ef91f4UL, 0xed5cc0e51f3b91c6UL, 0xde7a2c27a8dc47a4UL, 0xbe2fb83fb0399d5cUL, 0x5ac92bf50fdf23e8UL, 0xdab981ca3e77238dUL, 0xbcf4584f51b88f48UL, 0x7c5f707f60733ab9UL, 0xb59257ea1fbe47d1UL, 0xb57303947cee471aUL, 0x79e8b09ea3711e90UL, 0xf8bee0fec0e67573UL, 0x6b24afd43f7c8fa2UL, 0x6ae60728f9dc8e35UL, 0xf3d1613d46e23d20UL, 0xf17dc1fd81cceae6UL, 0xd6495fa87ef91f45UL, 0xd5cc0e51f3b91c6aUL, 0x7ea3377840d386efUL, 0x3003a0e19acb29faUL, 0x1e37ee0314196574UL, 0x1a5869f3f3d86ad1UL, 0x64479bf24cb0f171UL, 0xb2ff62d9acc4afc3UL, 0x8eca8d55c1d99117UL, 0x8570a6b7f31a87a6UL, 0x518ec2e654761e4dUL, 0xb706e6a9c0dba3b1UL, 0xaf304bf86a5879d0UL, 0xbb21383ff29f5d49UL, 0x3a1c70ce65fbc035UL, 0xbcf5ee4918e5bb55UL, 0xecc5c6a33d5ba85eUL, 0xc782052ff194e897UL, 0xed39149e06e07cc5UL, 0xab13ff88a8998a9dUL, 0x6b2edc15935c0b42UL, 0x3ec47f0ff783832bUL, 0x4373dc3ec0d70525UL, 0x84dfdc0bc861e90cUL, 0x64f8e978cf534d7aUL, 0xcc488b4ffbad5452UL, 0x1fe64d7f4cb9f6e5UL, 0xdb479b0d09912e2fUL, 0x7b5483a2774dc10aUL, 0x295163cfe3f0faa0UL, 0xa6cd6ffc54641165UL, 0x647715008a70a069UL, 0x440c56170770d9eaUL, 0xe362b2cfd34ba744UL, 0xd49b2afa65dfde65UL, 0x1a16091b8db3bce4UL, 0x3abdfd7de70ae82bUL, 0x770510cfb23d1c8cUL, 0x3037a0f606a84065UL, 0xe6d4312d823585feUL, 0xc7deaba827fe8ba9UL, 0x5fca54cf70d06b1cUL, 0x606f41ec0d5080caUL, 0xcda8625b046b0bfcUL, 0x8fbd57504ffd1753UL, 0xbf94a99ee1a0d639UL, 0x59df76dad7b6fd3bUL, 0x49a8e7ac9184ebcfUL, 0xaddffff376117558UL, 0xcee9266dd7ebfe77UL, 0x2abf18b7627a06d9UL, 0x41a9ec43ba5b2ba9UL, 0xe91aaeb505c9b14fUL, 0x2c12398bbb7daeebUL, 0x557e316ec4f40db2UL, 0x8353d88774b65752UL, 0xd2355d6a0b93629eUL, 0x5824731776fb5dd7UL, 0x33fd97df44ffe7cbUL, 0xd45f9214703e5293UL, 0x16cfeb87fecd9ec2UL, 0x188937ef95ce9abUL, 0x67fb2fbe89ffcf96UL, 0xa8bf2428e07ca526UL, 0x2d9fd70ffd9b3d85UL, 0x31126fdf2b9d356UL, 0x56f7aa7fdee86383UL, 0x83866b4b59abb67bUL, 0xe99aff4c12dd20f4UL, 0xb7e238abf1d9f4a8UL, 0x34eea1fd70c73ba9UL, 0xd5f4f58c2a0590c1UL, 0x6190afcbcc511a16UL, 0xde040407f719bb55UL, 0xf0dcb6f82c998bfdUL, 0x7911c802cd59ddb5UL, 0x71840ec471496fd2UL, 0xdc87d5ffa9924aeUL, 0x78b898f29424eb55UL, 0x20dbb31f03e1475cUL, 0x51ad4cdb0b79845bUL, 0xaa508fefe1981b58UL, 0x6870c4e7e55e2a05UL, 0x934f45249e90728fUL, 0x11ffc8e5ff185349UL, 0xe5616a8fd79a64b4UL, 0x49e07ccd07aba8a5UL, 0xf466a953a4721929UL, 0x915ac09817dbfd6cUL, 0x7b02a04fbb9e9b6cUL, 0xac10c98c240ade5UL, 0x3a3571bdd1b6ce65UL, 0x9010d063c65ca126UL, 0x47c535cf639764ddUL, 0x1582193184815bcaUL, 0x746ae37ba36d9ccaUL, 0x2021a0c78cb9424cUL, 0x8f8a6b9ec72ec9bbUL, 0xb205c761c4154b3bUL, 0x3a2de5eddf89c5a3UL, 0xf2e610dcf099df67UL, 0xaed4a26d9af7c172UL, 0xfd0a7bc1453d6ad9UL, 0xa6a3e8c126417770UL, 0x576970ea08d8e531UL, 0xec69318b2145d0e1UL, 0xfa14f7828a7ad5b2UL, 0x4d47d1824c82eee1UL, 0xaed2e1d411b1ca63UL, 0xd8d26316428ba1c2UL, 0x6d281a07d9e257cbUL, 0x4877801e005721f4UL, 0xef0092fbca88cf39UL, 0x64b37c91bd1181UL, 0x4351c10d7ed35339UL, 0x4217232699fcbfdfUL, 0x6ca474a47cfac58dUL, 0xb10913a937d07107UL, 0x86a3821afda6a672UL, 0x842e464d33f97fbeUL, 0xd948e948f9f58b1aUL, 0x621227526fa0e20eUL, 0xd470435fb4d4ce4UL, 0x85c8c9a67f2ff7dUL, 0xb291d291f3eb1635UL, 0xc4244ea4df41c41dUL, 0x1a8e086bf69a99c8UL, 0x10b91934cfe5fefaUL, 0x6523a523e7d62c6aUL, 0x88489d49be83883bUL, 0xac1de5d52022cf3fUL, 0xf38a1173069901c3UL, 0x78e21b142647032bUL, 0xa1514fc369ad4272UL, 0x583bcbaa40459e7eUL, 0xe71422e60d320387UL, 0xf1c436284c8e0657UL, 0x42a29f86d35a84e4UL, 0xb0779754808b3cfcUL, 0xce2845cc1a64070eUL, 0xe3886c50991c0cafUL, 0x85453f0da6b509c9UL, 0xf9eedbabcc018557UL, 0x4ea8a882ad9af22aUL, 0x75b589f2dbd342a0UL, 0xbb4a0b4b59c04197UL, 0x6adc42555514f601UL, 0x4fa9721fc2671862UL, 0x59ce42b65e4ddebfUL, 0xc75463c6a72ad12aUL, 0x4cb971a8673e10adUL, 0x4daac7251d9cccf3UL, 0x139d43f5570e681UL, 0x3f68b2dd5afff050UL, 0x731652036bddf5UL, 0x49adad50a26b65d1UL, 0xb0d6f92d430a96fdUL, 0xcf1110eaa155b2a4UL, 0x99e7d9a6cbc04745UL, 0x41a379bbdd843795UL, 0xd308a3096ffe7605UL, 0x2fe254855601374dUL, 0x33cfb34d97808e8aUL, 0x8346f377bb086f2bUL, 0xa6114612dffcec0aUL, 0x5fc4a90aac026e9bUL, 0xfe9e9399e216e1bbUL, 0xd475c5f5ef422261UL, 0xfe87dd76561283eaUL, 0xe4927454cae8f33UL, 0xfd3d2733c42dc376UL, 0xa8eb8bebde8444c3UL, 0xfd0fbaecac2507d5UL, 0x1c924e8a995d1e67UL, 0x637bbb65454c7a43UL, 0x832f34cd245a75b0UL, 0x48ba248ab1a15454UL, 0x88e4e84526106ecbUL, 0xc6f776ca8a98f486UL, 0x65e699a48b4eb60UL, 0x917449156342a8a9UL, 0x11c9d08a4c20dd96UL, 0x8deeed951531e90cUL, 0xcbcd3349169d6c1UL, 0x22e8922ac6855152UL, 0x2393a1149841bb2dUL, 0x1bdddb2a2a63d218UL, 0x1979a66922d3ad83UL, 0x45d124558d0aa2a4UL, 0x472742293083765aUL, 0x37bbb65454c7a430UL, 0x32f34cd245a75b06UL, 0x8ba248ab1a154548UL, 0x8e4e84526106ecb4UL, 0xf67699aa6498b4cfUL, 0xb71ebabe121c4a3bUL, 0xa5e1c005ddc1d16fUL, 0xad5d7df4d6a78b6dUL, 0xeced3354c931699eUL, 0x6e3d757c24389477UL, 0x4bc3800bbb83a2dfUL, 0x5abafbe9ad4f16dbUL, 0x40db93ab5f752f93UL, 0xe82c9e2d123d4d8UL, 0x252251449eec1e41UL, 0x4b582834e347fb2UL, 0x18b6d25473fda389UL, 0xcffdb0df3b155587UL, 0xf8e1f3dad433677dUL, 0xb8ab705688c2ad60UL, 0xa86c51aa2aecbbbdUL, 0x4d0342a4ef785739UL, 0x4366b6e6418d9504UL, 0xc09695fd052f08c5UL, 0xc9d9565698ce8bd5UL, 0x48fea65347a25244UL, 0x34683c9f6af071f7UL, 0x30ed5eaa1ef4438eUL, 0x93b2acad319d17aaUL, 0x91fd4ca68f44a489UL, 0x68d0793ed5e0e3eeUL, 0x61dabd543de8871cUL, 0xbe64ac58ae2dd3fbUL, 0xf102ba5787dbb524UL, 0x6305a32e422a9c22UL, 0x72750ff86f7b5c3cUL, 0x7cc958b15c5ba7f6UL, 0xe20574af0fb76a49UL, 0xc60b465c84553845UL, 0xe4ea1ff0def6b878UL, 0xf992b162b8b74fecUL, 0xc40ae95e1f6ed492UL, 0x8c168cb908aa708bUL, 0xc9d43fe1bded70f1UL, 0xf32562c5716e9fd8UL, 0x8815d2bc3edda925UL, 0x182d19721154e117UL, 0x93a87fc37bdae1e3UL, 0xe64ac58ae2dd3fb0UL, 0x102ba5787dbb524bUL, 0x305a32e422a9c22fUL, 0x2750ff86f7b5c3c6UL, 0xcc958b15c5ba7f60UL, 0x20574af0fb76a497UL, 0x60b465c84553845eUL, 0x4ea1ff0def6b878cUL, 0x2ae3294663026fUL, 0x9256b6fb6fbfb518UL, 0x73cd9ac3634c5343UL, 0x2c838b4bca7d5d1cUL, 0x55c6528cc604deUL, 0x24ad6df6df7f6a30UL, 0xe79b3586c698a687UL, 0x5907169794faba38UL, 0xab8ca5198c09bcUL, 0x495adbedbefed460UL, 0xcf366b0d8d314d0eUL, 0xb20e2d2f29f57471UL, 0x9856ec48fe0fefd7UL, 0x404d94c1e4af54f7UL, 0x2cc98748f389c1e3UL, 0xd5dc2f0e4740bae7UL, 0x30add891fc1fdfaeUL, 0x809b2983c95ea9efUL, 0x59930e91e71383c6UL, 0xabb85e1c8e8175ceUL, 0xf85a4421352843f3UL, 0xd3ce701d0befafe9UL, 0x1834c7027cc5c72UL, 0xe6b0c96909a8b998UL, 0x69b57d40a7477b49UL, 0x7564c3208e8da3e4UL, 0xb1a3c9b3a673e31aUL, 0x7ca1e78207fb2134UL, 0x4a6b0f8383990a3dUL, 0x3831a55b8449bbffUL, 0xd1e2c234a50c9dcbUL, 0x4883ba541b5c106dUL, 0xdd7ea05ca25e8d5UL, 0xa29b69ad91c18bc9UL, 0x1160d53aa3f26069UL, 0x20c701f8221272dfUL, 0x82ae2109595c2d05UL, 0x97cef041bad1eba5UL, 0x9064fb26ae0f9b2cUL, 0xf04e76a0508eb7baUL, 0x55c4212b2b85a0aUL, 0x2f9de08375a3d74bUL, 0x20c9f64d5c1f3659UL, 0xe09ced40a11d6f75UL, 0xab884256570b414UL, 0x5f3bc106eb47ae96UL, 0x4193ec9ab83e6cb2UL, 0xc139da81423adeeaUL, 0x1571084acae16828UL, 0xbe77820dd68f5d2cUL, 0x8327d935707cd964UL, 0x8273b5028475bdd4UL, 0x2ae2109595c2d050UL, 0x7cef041bad1eba58UL, 0x64fb26ae0f9b2c9UL, 0x4e76a0508eb7ba9UL, 0x55c4212b2b85a0a0UL, 0xf9de08375a3d74b0UL, 0xc9f64d5c1f36592UL, 0x9ced40a11d6f752UL, 0xab884256570b4140UL, 0xf3bc106eb47ae960UL, 0x193ec9ab83e6cb25UL, 0x139da81423adeea4UL, 0xce1171ae63017e2fUL, 0x358003c7f1a72ef6UL, 0x80d8c204ee26cdb4UL, 0x96fb257853f18f4cUL, 0x523165e0b1500f1UL, 0xb9f824957a1ca1daUL, 0xb314d55a35a6c097UL, 0x9c363fa0b3494c9dUL, 0x9347d9bedb3dfd4dUL, 0xa1086a306d6bbf83UL, 0xd48cfbe782a6dad0UL, 0x89ac0a117238cb3fUL, 0xbf8e467f7b6c0635UL, 0x90e8f77a43858330UL, 0x1bbca69ceca6ee5eUL, 0xa2986172f0dbc47bUL, 0xe61d79fc3bcff0c5UL, 0xf329cdee1e59fa56UL, 0x85dc1c6a30a68742UL, 0xf4f0b7b5f51ddaf2UL, 0xcc3af3f8779fe18aUL, 0xe6539bdc3cb3f4adUL, 0xbb838d4614d0e85UL, 0xe9e16f6bea3bb5e5UL, 0x17412f222283fbbUL, 0x1e5f14a2e035156cUL, 0xa5d520fb2b7146f4UL, 0x6202ab87c0dd39ceUL, 0x2e825e444507f76UL, 0x3cbe2945c06a2ad8UL, 0x4baa41f656e28de8UL, 0xc405570f81ba739dUL, 0x5d04bc888a0feecUL, 0x797c528b80d455b0UL, 0x975483ecadc51bd0UL, 0x880aae1f0374e73aUL, 0x92a16293dc560177UL, 0x2000860d98fa5757UL, 0x9c0c568ab2616c5fUL, 0xa1d5296e12439c71UL, 0x2542c527b8ac02eeUL, 0x40010c1b31f4aeafUL, 0x3818ad1564c2d8beUL, 0x43aa52dc248738e3UL, 0x4a858a4f715805dcUL, 0x8002183663e95d5eUL, 0x70315a2ac985b17cUL, 0x8754a5b8490e71c6UL, 0xc0ae19c2fa7f717UL, 0xd2fc13765e80468bUL, 0x52c7e5067ae03906UL, 0xbf693e2086b6b188UL, 0x8114363a92581281UL, 0x770005f624527121UL, 0x172a9b5f1c2b29f2UL, 0xcf12091119c73114UL, 0x2286c7524b02502UL, 0xee000bec48a4e243UL, 0x2e5536be385653e4UL, 0x9e241222338e6228UL, 0x9d512de88477b6abUL, 0xef834c2081b38b1UL, 0xee0f3c2f9947fc36UL, 0x8d88511473b69654UL, 0x3aa25bd108ef6d56UL, 0x1df0698410367163UL, 0xdc1e785f328ff86cUL, 0x1b10a228e76d2ca9UL, 0x7544b7a211dedaacUL, 0x3be0d308206ce2c6UL, 0xb83cf0be651ff0d8UL, 0x36214451ceda5953UL, 0xea896f4423bdb558UL, 0x77c1a61040d9c58cUL, 0x7079e17cca3fe1b0UL, 0x6c4288a39db4b2a7UL, 0xd512de88477b6ab0UL, 0xef834c2081b38b19UL, 0xe0f3c2f9947fc360UL, 0xd88511473b69654eUL, 0xaa25bd108ef6d560UL, 0xdf06984103671633UL, 0xc1e785f328ff86c1UL, 0xb10a228e76d2ca9dUL, 0x544b7a211dedaac0UL, 0xbe0d308206ce2c67UL, 0x83cf0be651ff0d83UL, 0x6214451ceda5953bUL, 0xa896f4423bdb5580UL, 0x7c1a61040d9c58ceUL, 0x79e17cca3fe1b07UL, 0xc4288a39db4b2a77UL, 0x512de88477b6ab00UL, 0xf834c2081b38b19dUL, 0xf3c2f9947fc360eUL, 0x88511473b69654eeUL, 0x3b5a240a227aaaafUL, 0x2291a70aaf239f0dUL, 0xacdd0e61661337e2UL, 0xa1625db77986fbd8UL, 0xefb5bd1689e2a9f1UL, 0x97db6d0fc715c22dUL, 0xeb1f4d9125cd343bUL, 0xf304ce3ee7a7a5b5UL, 0xdf6b7a2d13c553e2UL, 0x2fb6da1f8e2b845bUL, 0xd63e9b224b9a6877UL, 0xe6099c7dcf4f4b6bUL, 0xbed6f45a278aa7c4UL, 0x5f6db43f1c5708b7UL, 0xac7d36449734d0eeUL, 0xcc1338fb9e9e96d7UL, 0x7dade8b44f154f88UL, 0xbedb687e38ae116fUL, 0x58fa6c892e69a1dcUL, 0x982671f73d3d2dafUL, 0x625a246a533d63bfUL, 0xaf4ef3e6e80edee9UL, 0x3518841b5381846UL, 0x818c96be6ed0095aUL, 0x5db5bdd66b6d3bd1UL, 0x8c65c4d7494f41e5UL, 0xb40641d0839b6b72UL, 0xb2d9582cc90a40b0UL, 0x226a8eae1bcd8b0dUL, 0xca33aab40bcc7ffdUL, 0xdaa9d2f2eedd8d1aUL, 0xd472c50986bed365UL, 0x44d51d5c379b161aUL, 0x946755681798fffaUL, 0xb553a5e5ddbb1a35UL, 0xa8e58a130d7da6cbUL, 0x89aa3ab86f362c34UL, 0x28ceaad02f31fff4UL, 0x6aa74bcbbb76346bUL, 0x51cb14261afb4d97UL, 0x8a558072137ba4c7UL, 0x836576bac73103deUL, 0x67ebc6c49f073329UL, 0x12565d1c215cc92aUL, 0x8daaf5e6ebe0b521UL, 0xd432ce6f1730fb8aUL, 0x7d72dcdad7e53dacUL, 0x956ccf685613c050UL, 0x1b55ebcdd7c16a42UL, 0xa8659cde2e61f715UL, 0xfae5b9b5afca7b59UL, 0x2ad99ed0ac2780a0UL, 0x36abd79baf82d484UL, 0x50cb39bc5cc3ee2aUL, 0xf5cb736b5f94f6b3UL, 0x55b33da1584f0141UL, 0x6d57af375f05a908UL, 0xa1967378b987dc54UL, 0xeb96e6d6bf29ed66UL, 0xab667b42b09e0283UL, 0x43aeab6c731caebfUL, 0x91d4c5ebea5d449fUL, 0x65889cfe97b88132UL, 0xe70c83d575965703UL, 0x1e5ca3da2b2ea1d1UL, 0xf151a8cd4de87509UL, 0x79b468aec69a599aUL, 0x7fd972faff86fc02UL, 0x3cb947b4565d43a2UL, 0xe2a3519a9bd0ea12UL, 0xf368d15d8d34b335UL, 0xffb2e5f5ff0df804UL, 0xe0737a6a61ad7bebUL, 0x17be802faef32813UL, 0x5474f3e8f3823d94UL, 0x4ea5bebbeab1a20dUL, 0xc0e6f4d4c35af7d6UL, 0x2f7d005f5de65027UL, 0xa8e9e7d1e7047b28UL, 0x9d4b7d77d563441aUL, 0x81cde9a986b5efacUL, 0x5efa00bebbcca04fUL, 0x51d3cfa3ce08f650UL, 0x3a96faefaac68835UL, 0x9a9a2651c07c23f7UL, 0x6f0c2267eecbbca8UL, 0x1102ce1475fab75fUL, 0xc4ed808f4127426eUL, 0x35344ca380f847eeUL, 0xde1844cfdd977951UL, 0x22059c28ebf56ebeUL, 0x89db011e824e84dcUL, 0x6a68994701f08fdcUL, 0xbc30899fbb2ef2a2UL, 0x440b3851d7eadd7dUL, 0x13b6023d049d09b8UL, 0xd4d1328e03e11fb8UL, 0x7861133f765de544UL, 0x881670a3afd5bafbUL, 0x276c047a093a1370UL, 0x30a3901ecad5c3dfUL, 0x223a056475e936beUL, 0xa289b014b6402e09UL, 0xff187da406de74e5UL, 0x6147203d95ab87beUL, 0x44740ac8ebd26d7cUL, 0x451360296c805c12UL, 0xfe30fb480dbce9cbUL, 0x5b8fb579e640f3d3UL, 0x5a10368b4ef626cfUL, 0x3883910130ebe3dbUL, 0x4da183c00fd38192UL, 0xb71f6af3cc81e7a6UL, 0xb4206d169dec4d9eUL, 0x7107220261d7c7b6UL, 0x9b4307801fa70324UL, 0xf73f20e5541433e3UL, 0xbab8f937a28a670aUL, 0x50ab15572a44d492UL, 0x87467a502be4544cUL, 0xee7e41caa82867c6UL, 0x7571f26f4514ce15UL, 0xa1562aae5489a925UL, 0xe8cf4a057c8a898UL, 0xdcfc83955050cf8cUL, 0xeae3e4de8a299c2bUL, 0x42ac555ca913524aUL, 0x1d19e940af915131UL, 0xb9f9072aa0a19f18UL, 0xd5c7c9bd14533857UL, 0x8558aab95226a495UL, 0x3a33d2815f22a262UL, 0xeaf3fb578c54c29fUL, 0x7977b060b1f48c98UL, 0xb81404214da612d4UL, 0xc5a7d052aaef16c1UL, 0x4ce603add5be7991UL, 0x201743dbfabbe506UL, 0xc28d591172a77e57UL, 0x3a8fd5f541747f87UL, 0xcdf259666b0f8dUL, 0x92d6a4ad6c25363bUL, 0x37bfe3710ca5a751UL, 0xc4dfdeba9642ad0bUL, 0x989a11b001c1e3b5UL, 0xf7556a4041189041UL, 0xddda97b1f0a0155cUL, 0x387fc825382f0812UL, 0xa835d662ce943bc5UL, 0x3c52f79a1b63dcb4UL, 0x9107e3008ab7146UL, 0xc13fe51a64f44221UL, 0x506bacc59d28778aUL, 0x78a5ef3436c7b969UL, 0x1220fc601156e28cUL, 0x827fca34c9e88442UL, 0xa0d7598b3a50ef14UL, 0xf14bde686d8f72d2UL, 0x2441f8c022adc518UL, 0x4ff946993d10884UL, 0x41aeb31674a1de28UL, 0xe297bcd0db1ee5a5UL, 0x4883f180455b8a31UL, 0x9ff28d327a21108UL, 0x1a5c932e245440ffUL, 0x17d75abb2f6f377dUL, 0x23a2b253635c4f9cUL, 0xa23e24f65bee7014UL, 0x34b9265c48a881feUL, 0x2faeb5765ede6efaUL, 0x474564a6c6b89f38UL, 0x447c49ecb7dce028UL, 0x69724cb8915103fcUL, 0x5f5d6aecbdbcddf4UL, 0x8e8ac94d8d713e70UL, 0x88f893d96fb9c050UL, 0x4be56c73efb5fb57UL, 0x6c42f6c3e22b47dfUL, 0xafb0c3c8f309271fUL, 0xa03152e2cbd9d2a5UL, 0xecb2de5127c0a01UL, 0xa7dce9d5d047389UL, 0xedc4d6c20ff915c1UL, 0xf1a2d0958319f74fUL, 0x1d965bca24f81402UL, 0x14fb9d3aba08e712UL, 0xdb89ad841ff22b82UL, 0xe345a12b0633ee9fUL, 0xa22d429684e7d4abUL, 0xfb0f196fed433213UL, 0x5b60a5bd60f0cfbUL, 0x774b370618cd8f3bUL, 0xdd5b702fc4d855f9UL, 0x24e611c543d49810UL, 0xb9c945e445f54208UL, 0x5f561b5c25314c72UL, 0xbab6e05f89b0abf2UL, 0x49cc238a87a93021UL, 0x73928bc88bea8410UL, 0xbeac36b84a6298e5UL, 0x756dc0bf136157e4UL, 0x939847150f526043UL, 0xe725179117d50820UL, 0x7d586d7094c531caUL, 0x73da747cebd55367UL, 0xf5c8ad3087f63cb1UL, 0x7cef7e71c6414bbeUL, 0x4b70afb13d203191UL, 0xe7b4e8f9d7aaa6ceUL, 0xeb915a610fec7962UL, 0xf9defce38c82977dUL, 0x96e15f627a406322UL, 0x566824f16242b133UL, 0x5da97d8868a0ef2UL, 0x4118a894f0ee7504UL, 0x9c02cb94e02a9441UL, 0x35d1bce009929ec9UL, 0xd94d0cab9446e1d3UL, 0x3094007a0837b1f7UL, 0x89c5e279d4ff7a86UL, 0x6ba379c013253d92UL, 0xb29a1957288dc3a6UL, 0x612800f4106f63efUL, 0x138bc4f3a9fef50cUL, 0x4e470682eb5d878bUL, 0xb7cc11b4c8497b7bUL, 0x70f550bbc9359c20UL, 0x96d7fcb74757b81cUL, 0x58ff8071bacf3b9UL, 0xbd60007309c00ac1UL, 0x534ff0247b8063beUL, 0x9c6f8c3e9a05223cUL, 0x921e050cfa4e1bddUL, 0xa83823fc8ad2e9b5UL, 0x143ab11b1eeb9c82UL, 0x891f6d2d20a0167cUL, 0x243c0a19f49c37baUL, 0x507047f915a5d36bUL, 0x287562363dd73905UL, 0x123eda5a41402cf8UL, 0x48781433e9386f74UL, 0xa0e08ff22b4ba6d6UL, 0x50eac46c7bae720aUL, 0x247db4b4828059f0UL, 0x90f02867d270dee8UL, 0x41c11fe456974dacUL, 0xa1d588d8f75ce415UL, 0x48fb69690500b3e0UL, 0x21e050cfa4e1bdd0UL, 0x83823fc8ad2e9b59UL, 0x43ab11b1eeb9c82aUL, 0x91f6d2d20a0167c1UL, 0xdac1549d84d4870fUL, 0xd5fc5c8bc30fca85UL, 0x35f372303498cbaaUL, 0x922dd0f400a89d86UL, 0x2c835c39c4bef2b1UL, 0x79009a0d1f4d693cUL, 0xd943b53380daccaaUL, 0x959bd4b815fb6908UL, 0x5906b873897de562UL, 0xf201341a3e9ad278UL, 0xb2876a6701b59954UL, 0x2b37a9702bf6d211UL, 0x2b0c85e5dfec366bUL, 0x36fa4b2ee46758c7UL, 0xd7ab859dea806956UL, 0xe7af27b04347f627UL, 0xcf18fec972cf9079UL, 0xbf0cb547519c4db9UL, 0x1df25a683ceb8953UL, 0x7e9e3a309225be4bUL, 0x73008902888dc5dUL, 0xace149943a6a6744UL, 0x8941e583903c4958UL, 0x4cfc013130e12e92UL, 0xe6011205111b8baUL, 0x59c2932874d4ce88UL, 0x1283cb07207892b1UL, 0x99f8026261c25d25UL, 0x85c1d7426f348ddbUL, 0x617d054a70fb6127UL, 0x97a2c75da91a7e9dUL, 0x82307194d72ee84eUL, 0xb83ae84de691bb6UL, 0xc2fa0a94e1f6c24fUL, 0x2f458ebb5234fd3aUL, 0x460e329ae5dd09dUL, 0x17075d09bcd2376cUL, 0x85f41529c3ed849eUL, 0x5e8b1d76a469fa75UL, 0x8c1c6535cbba13aUL, 0x2e0eba1379a46ed8UL, 0xbe82a5387db093cUL, 0xbd163aed48d3f4ebUL, 0x11838ca6b9774274UL, 0x5c1d7426f348ddb0UL, 0x17d054a70fb61278UL, 0x7a2c75da91a7e9d6UL, 0x2307194d72ee84e9UL, 0x213b1d4f2b8647cfUL, 0xfd588a54863ed8c7UL, 0x46fdbae6caa48853UL, 0xf7ce47caf1775bd6UL, 0x42763a9e570c8f9eUL, 0xfab114a90c7db18eUL, 0x8dfb75cd954910a7UL, 0xef9c8f95e2eeb7acUL, 0x84ec753cae191f3cUL, 0xf562295218fb631cUL, 0x1bf6eb9b2a92214fUL, 0xdf391f2bc5dd6f59UL, 0x9d8ea795c323e78UL, 0xeac452a431f6c639UL, 0x37edd7365524429fUL, 0xbe723e578bbadeb2UL, 0x8ab021f07573805fUL, 0x7708652fabf7045UL, 0xdd7eff3f43a3dec0UL, 0xcd2409ff03dfef60UL, 0x156043e0eae700beUL, 0xee10ca5f57ee08bUL, 0xbafdfe7e8747bd80UL, 0x9a4813fe07bfdec1UL, 0x2ac087c1d5ce017cUL, 0x1dc2194beafdc116UL, 0x75fbfcfd0e8f7b00UL, 0x349027fc0f7fbd83UL, 0xcc80fa81668bfe57UL, 0xe97c118d4ca97e1bUL, 0x5952a8a9f4f5adffUL, 0xd8e03aa80a552902UL, };
#endif