path: root/lib/nettle/gost/ecc-gost512a-32.h

/* For NULL. */
#include <stddef.h>
#define ECC_LIMB_SIZE 16
#define ECC_PIPPENGER_K 43
#define ECC_PIPPENGER_C 6
static const mp_limb_t ecc_p[16] = {
  0xfffffdc7UL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL,
  0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL,
};
static const mp_limb_t ecc_b[16] = {
  0x5a71c760UL, 0x50319078UL, 0xebee4761UL, 0x862ef9d4UL, 0x10da90ddUL, 0x4cb45740UL, 0xf30d2761UL, 0xee3cb090UL,
  0xfd0b6265UL, 0x79bd081cUL, 0x761cb0e8UL, 0x34b82574UL, 0x6667f1daUL, 0xc1bd0b2bUL, 0xedfc86ddUL, 0xe8c2505dUL,
};
static const mp_limb_t ecc_q[16] = {
  0x1f10b275UL, 0xcacdb141UL, 0xfad2b85dUL, 0x9b4b38abUL, 0x4e056060UL, 0x6ff22b8dUL, 0xf48d8911UL, 0x27e69532UL,
  0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL,
};
static const mp_limb_t ecc_g[32] = {
  0x3UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x5215f2a4UL, 0x89a589cbUL, 0xc235f5b8UL, 0x8028fe5fUL, 0xe3a41e9UL, 0x3d75e6a5UL, 0x4fd036e9UL, 0xdf1626beUL,
  0xcbefa921UL, 0x778064fdUL, 0xacf1abc1UL, 0xce5e1c93UL, 0xe25450e6UL, 0xa61b8816UL, 0x7a836ae3UL, 0x7503cfe8UL,
};
static const mp_limb_t ecc_Bmodp[16] = {
  0x239UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
};
#define ECC_BMODP_SIZE 1
static const mp_limb_t ecc_Bmodq[16] = {
  0xe0ef4d8bUL, 0x35324ebeUL, 0x52d47a2UL, 0x64b4c754UL, 0xb1fa9f9fUL, 0x900dd472UL, 0xb7276eeUL, 0xd8196acdUL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
};
#define ECC_BMODQ_SIZE 8
#define ecc_Bmodp_shifted ecc_Bmodp
#define ecc_Bmodq_shifted ecc_Bmodq
static const mp_limb_t ecc_pp1h[16] = {
  0xfffffee4UL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL,
  0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0x7fffffffUL,
};
static const mp_limb_t ecc_qp1h[16] = {
  0x8f88593bUL, 0xe566d8a0UL, 0xfd695c2eUL, 0x4da59c55UL, 0xa702b030UL, 0xb7f915c6UL, 0x7a46c488UL, 0x93f34a99UL,
  0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0xffffffffUL, 0x7fffffffUL,
};
#define ecc_redc_ppm1 NULL
#define ECC_REDC_SIZE 0
#if USE_REDC
#define ecc_unit ecc_Bmodp
static const mp_limb_t ecc_table[4096] = {
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x6abUL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x72ca9068UL, 0xf0ef44e9UL, 0xa9ef2729UL, 0xdb1d62d6UL, 0x9f7c7ffdUL, 0x9b0da4dcUL, 0x65ca0c69UL, 0xd83c1cffUL,
  0x47aeec48UL, 0x9c60781aUL, 0x6526c102UL, 0xaf2d843bUL, 0xd67d100UL, 0x33317addUL, 0x4e1893fcUL, 0x15791bb8UL,
  0xd223389aUL, 0xce2680c9UL, 0xd5d1e9d0UL, 0x125b2f67UL, 0x32a49ab1UL, 0x228c4292UL, 0xbec9d296UL, 0xc03135b7UL,
  0x1870b908UL, 0xc7339576UL, 0xaa5d2de2UL, 0x76145f11UL, 0xa152f4faUL, 0x65f4bb32UL, 0x14f5610cUL, 0xb454b08eUL,
  0x4637f438UL, 0x4a102a1bUL, 0xec614523UL, 0xdfe518e3UL, 0xf04ff681UL, 0x2c7cc07fUL, 0xc043a693UL, 0x9d29613bUL,
  0x73f413a1UL, 0x71b20d19UL, 0xa52606e7UL, 0xb60dfc63UL, 0xf89a4bf8UL, 0x7eab6739UL, 0x7540d3cUL, 0x47155991UL,
  0x7d24d20cUL, 0x3f6087c5UL, 0x8f70275dUL, 0x46e6737dUL, 0x1ff30d56UL, 0x571f2483UL, 0x6c0c4db4UL, 0x11fb7529UL,
  0xdb1c5b98UL, 0xfe3dd212UL, 0x8b2f7ccaUL, 0x7bb916b3UL, 0x609ed33UL, 0x289ce20eUL, 0xf23f75a7UL, 0x8907864cUL,
  0x5da2e6caUL, 0x664a334bUL, 0xc6a8a8ccUL, 0xf05f1834UL, 0x46bea417UL, 0x5ca791d8UL, 0xe84ad0f6UL, 0x2a10a0e2UL,
  0x2cea5bd6UL, 0xb805f62UL, 0x2ac037f2UL, 0xb0749e4cUL, 0x624fc44eUL, 0x75ae692eUL, 0x2f13e26aUL, 0x4d2f8bd0UL,
  0x63b9386eUL, 0x7fa85704UL, 0xb4099b03UL, 0x11437d3dUL, 0xbe442243UL, 0xf0a8bf16UL, 0xa8b4c79UL, 0xd7965ffdUL,
  0x636d8999UL, 0x36329380UL, 0xaa77b4f6UL, 0xdd1afdbdUL, 0xbd151bf6UL, 0x7690f24UL, 0x3359a5efUL, 0x4f866b41UL,
  0x78703a24UL, 0xeeee87d3UL, 0xac3019d7UL, 0x4ca29595UL, 0xe9b4a393UL, 0x4bdbc8e3UL, 0xffd88dUL, 0xa057ff5cUL,
  0xd011f832UL, 0x5d4af522UL, 0x7a84bcb2UL, 0x43fd96b4UL, 0x85806046UL, 0x6ba58566UL, 0x171c1296UL, 0x98db4219UL,
  0xfa639733UL, 0x664651e1UL, 0xf8b40254UL, 0x4574c9fcUL, 0x699919abUL, 0xd90a2ca1UL, 0xabdb9006UL, 0x5907107UL,
  0xcbe4bf8bUL, 0xedf770c2UL, 0x6628fd59UL, 0x26a88df1UL, 0x4d851ab1UL, 0xb882cd68UL, 0xd1b11fb0UL, 0xb9d73089UL,
  0x6d2fc8e5UL, 0xd0cc4298UL, 0xbd074474UL, 0x2f404294UL, 0x56bd19ccUL, 0x1750ffc8UL, 0xae95ef0dUL, 0x159365b5UL,
  0xa90b8412UL, 0xb58ef30bUL, 0xcbaa659cUL, 0xb795e8b3UL, 0xebc67a56UL, 0x9d328685UL, 0x7c61386aUL, 0xda1d5fdUL,
  0x292fb325UL, 0xc035d406UL, 0x8a0a7214UL, 0x66de957UL, 0x2b8fc645UL, 0x47b4f920UL, 0xb0b0c81dUL, 0x9de80ce6UL,
  0x911dd128UL, 0xc3ad2e44UL, 0x5461038eUL, 0x90404215UL, 0x919a6b5aUL, 0x9313cbd7UL, 0x921e458fUL, 0x607ef8cfUL,
  0x88ebcf16UL, 0x4c14515fUL, 0xc4841917UL, 0xeb267031UL, 0x2ee929cUL, 0x9cdef61aUL, 0x4996cb6aUL, 0x882a230eUL,
  0x93005d94UL, 0x14f6d6dcUL, 0x290d32daUL, 0xadb1d1f5UL, 0x4433c687UL, 0xb7aaaf58UL, 0x2e6ac53cUL, 0xe3991b87UL,
  0x17d24834UL, 0xf9146cfcUL, 0xf6f69ac3UL, 0x9d9cd934UL, 0x26bdeff9UL, 0x43204744UL, 0xd048be62UL, 0xcdb64facUL,
  0xb9ace05dUL, 0x4a363ee7UL, 0x61415a4cUL, 0x2e079ab4UL, 0x75917c1cUL, 0xfca596e0UL, 0x78734728UL, 0xe9784baeUL,
  0xeaeff14bUL, 0x96ce429UL, 0xc8a7b322UL, 0xa972e168UL, 0x923451e8UL, 0xc285c93cUL, 0xb66944aaUL, 0x3590c485UL,
  0xfc3d4aa2UL, 0xd7b629f4UL, 0xdbbab620UL, 0x38574cceUL, 0xb92e3d39UL, 0xb06fbe79UL, 0x1059c1d8UL, 0xf1b32c6UL,
  0xbf17180eUL, 0x1be78415UL, 0x501d3cd6UL, 0xef85f41cUL, 0x2364e1e5UL, 0x46702641UL, 0xb6ba5a2dUL, 0x46478d6aUL,
  0xc651137UL, 0xd83bb3e8UL, 0xe3f06d73UL, 0x892df4fbUL, 0x786767d2UL, 0x52a8b39bUL, 0xbc3e9efaUL, 0xd577ae8bUL,
  0xfd64d57cUL, 0x49dc02ccUL, 0xb5acaf61UL, 0x9586c36dUL, 0x53746a1eUL, 0x109d245fUL, 0xcfb4ed62UL, 0x4d470330UL,
  0x932552feUL, 0x63476850UL, 0x9619e657UL, 0x30e67610UL, 0x41d70512UL, 0x9926e356UL, 0x5d9c43b5UL, 0xc8bee52bUL,
  0xff6a229bUL, 0xadd59735UL, 0x1e665729UL, 0xaef8edebUL, 0x92817004UL, 0x1619e1e9UL, 0x9204f573UL, 0x5eb66bUL,
  0xb4d11f6cUL, 0xb9a35769UL, 0x2510b482UL, 0x18ef8100UL, 0xcc0a7786UL, 0xeeb87b6UL, 0x5674d0dbUL, 0xba93b4a3UL,
  0x6280a02UL, 0x5a12f402UL, 0x4c7ebc9aUL, 0x96aa424UL, 0x30d6b43aUL, 0x32c93e3dUL, 0xf9e72f0cUL, 0xc216b2ddUL,
  0x3dab723UL, 0x3612e43eUL, 0x220ab512UL, 0x8abbcbc8UL, 0x52c9a6f2UL, 0xd263ee4fUL, 0x8cffa90eUL, 0xc3905b0eUL,
  0x1550f5caUL, 0x51aea7a9UL, 0x70947604UL, 0xeede5498UL, 0x7487dbe9UL, 0xccba462cUL, 0x831d9d78UL, 0xa302b46UL,
  0x8d41d4ccUL, 0x119ec69fUL, 0xdce5682cUL, 0x91e36fc6UL, 0x2e0ee654UL, 0xdc3cc779UL, 0xe4f90517UL, 0xf8c13c54UL,
  0x85e33173UL, 0x78b9dd4fUL, 0xb31058dUL, 0xb2ea3baaUL, 0x834a0e40UL, 0xaa5396a1UL, 0x17a1c947UL, 0xa288499dUL,
  0xa59145d6UL, 0xeb93d8abUL, 0xf0a3bf62UL, 0x1813c80bUL, 0x486a9c3fUL, 0x2e6bf178UL, 0x6d3a8b43UL, 0x16cd7c39UL,
  0xfe302efbUL, 0x71c23d8aUL, 0x7f1664a9UL, 0x731975d0UL, 0x54fdf5a6UL, 0x240aee4fUL, 0xb45840a7UL, 0x16fe9d59UL,
  0x1aed4487UL, 0x5fc6b7bcUL, 0x33cedd3dUL, 0x774d3fb9UL, 0xff0d5142UL, 0xf14802abUL, 0x3bf73de8UL, 0xce5e83e3UL,
  0x373f4d1UL, 0x9cfe2e9cUL, 0x5a7ef969UL, 0x63565e0cUL, 0x126036d7UL, 0xeb247599UL, 0x1b308d7cUL, 0xdcf35446UL,
  0x95e5f6f6UL, 0xb31c8af1UL, 0x2b861344UL, 0xca8a1754UL, 0x38e6224cUL, 0x777ee117UL, 0xdba9a8c7UL, 0xd44fb7a7UL,
  0x2cc1d335UL, 0x2364fa8fUL, 0x6705ffd4UL, 0x7cd7c5c3UL, 0x7b8503UL, 0xab858a7fUL, 0x966a61abUL, 0x643a88cdUL,
  0x70525a98UL, 0x922c2e22UL, 0x22ee34e0UL, 0x350c3bd7UL, 0xfd2783d4UL, 0x279a3d08UL, 0x39da21adUL, 0x51f1fabcUL,
  0xae9cf0adUL, 0xccc01a76UL, 0x7c2181a0UL, 0xd4b7d6dbUL, 0x96781901UL, 0x6e775acdUL, 0xc3433633UL, 0x3feac335UL,
  0x27fb62f3UL, 0x9924d29aUL, 0x9027b884UL, 0xb40e8b7aUL, 0xc431f2adUL, 0xd0d525f1UL, 0x45557e83UL, 0xb461a9cdUL,
  0x91f6ef75UL, 0x6df5e49aUL, 0x21ba1a31UL, 0xf4151c14UL, 0x150b64e0UL, 0x40d106a9UL, 0xd6e56e9dUL, 0xd40c0e04UL,
  0x32c3400bUL, 0xa0f345e7UL, 0x66d01a49UL, 0x4fb64f0aUL, 0xde0a33eUL, 0x797ca446UL, 0x876350d0UL, 0x18c384a1UL,
  0x760c3379UL, 0xb3db43adUL, 0xea1a9a1dUL, 0x13d31a78UL, 0xf28b6ebUL, 0xea28c97eUL, 0x7b8e4ce2UL, 0x2c6d93fdUL,
  0x9aa97c66UL, 0x56614cf2UL, 0x1aca1953UL, 0xffe9dd15UL, 0x43a914bdUL, 0xeed7e154UL, 0x45597ef7UL, 0x7bf2a09aUL,
  0x2895ee9UL, 0xec7b417bUL, 0x5272641UL, 0x8de8e712UL, 0x7641f0afUL, 0x8af93663UL, 0xf305ae8dUL, 0x89c40936UL,
  0xeaef3ddaUL, 0xf91d8f7cUL, 0xa5268af0UL, 0xd7b45be5UL, 0x4cecadc1UL, 0xb71dbc3cUL, 0xdb214874UL, 0xe9ddc69aUL,
  0x96f2bec4UL, 0x760671beUL, 0xca182ebdUL, 0x8a6b99ffUL, 0xc22467c0UL, 0x1d1b288fUL, 0xc70feafeUL, 0x5d5aa95dUL,
  0xc3426b01UL, 0x62963fa0UL, 0x4a624582UL, 0xaea3146eUL, 0x8b07ac88UL, 0xdbd3fbacUL, 0x96152649UL, 0x9a53967cUL,
  0x818c1eeUL, 0x32cae4c5UL, 0x68a3f242UL, 0x21db106aUL, 0xbd038aeeUL, 0xec3f70fdUL, 0xd9a037e0UL, 0xe6ce6fa5UL,
  0x4f6d503aUL, 0xfceb07aUL, 0x22af0362UL, 0xfe60ce4bUL, 0x2d2e29d4UL, 0xac41f688UL, 0x7a124035UL, 0x5646bb8fUL,
  0xa4b1e02aUL, 0x963d407aUL, 0xddcfa8d7UL, 0x615985a9UL, 0xdf383992UL, 0x1ee654f7UL, 0x70d50990UL, 0x6e694f39UL,
  0x24cd5b9dUL, 0x257a58f2UL, 0x168d84fdUL, 0x77527f38UL, 0x3cce3223UL, 0xfd4651dbUL, 0x3b361bbcUL, 0xfd61362fUL,
  0xa75ac3a2UL, 0xf39b499aUL, 0xab73e847UL, 0x53a5039aUL, 0xbdd86d81UL, 0xd20855acUL, 0x1555653UL, 0x62af10fdUL,
  0x7042b877UL, 0x821be712UL, 0xe69a1721UL, 0x22846b63UL, 0xb5b4bf4cUL, 0x7a2e13acUL, 0x6f2dfb1cUL, 0x31c76d86UL,
  0x72f68da8UL, 0xe1c52917UL, 0x5d13891cUL, 0xb5777b87UL, 0xb5aabe41UL, 0x4bd900dUL, 0xf498cef9UL, 0x7213a92cUL,
  0x59deb36UL, 0x4cab2844UL, 0x50c4aca8UL, 0xb1637390UL, 0x98f71f7aUL, 0xae3bca89UL, 0x61a6cd48UL, 0xc82fc774UL,
  0xbeed6141UL, 0xcca16937UL, 0x474a63f1UL, 0x5e29d790UL, 0x6968a75cUL, 0x1fd9cb6bUL, 0xddda28deUL, 0xdcfc5c37UL,
  0x591833e0UL, 0x59a319beUL, 0x443d3d81UL, 0x80b62464UL, 0xec9ac8a3UL, 0xa275a49UL, 0x2c2c57cUL, 0xe481651UL,
  0x1974ebb3UL, 0xb461c2c9UL, 0x80d82600UL, 0xae43e326UL, 0xdc2be4d7UL, 0xbc8e6957UL, 0xf5f2efa8UL, 0x2c7aec91UL,
  0xa0867131UL, 0x1272f6ddUL, 0x61e64d48UL, 0x2b696a7bUL, 0x409bad97UL, 0x62b85daeUL, 0x4cc94e9fUL, 0x88673ef7UL,
  0xa7d75892UL, 0xfe5b61d6UL, 0x3be27950UL, 0xc937c00fUL, 0x20dfc17UL, 0x7d363bd4UL, 0x33016116UL, 0xf9c03ba6UL,
  0x7955cb6UL, 0x71e5e67eUL, 0x233ae2ceUL, 0xe7129e0eUL, 0x1c5bdd7UL, 0xed04d303UL, 0xd6eebf80UL, 0x2bcbaa51UL,
  0xce9df96UL, 0xdbce333dUL, 0x3c7732c7UL, 0x6099a92aUL, 0x620e7ba6UL, 0xc9b96693UL, 0x7876847aUL, 0xf037af2fUL,
  0x913911ecUL, 0xe137a1dbUL, 0xe822c541UL, 0x5f66aa33UL, 0x12f570b1UL, 0xbe17f505UL, 0xefcec638UL, 0x54669d4bUL,
  0xf3fee5b9UL, 0xace24fe8UL, 0x8efbd17dUL, 0x93b23604UL, 0xc2ba6e58UL, 0x55a88a2dUL, 0xaf78edadUL, 0x1d587c5eUL,
  0xabc6d707UL, 0xf1c14465UL, 0x2b1550bfUL, 0x9f197b9cUL, 0x3bfd81caUL, 0xeae8f0ccUL, 0x65044bdbUL, 0x7c7bb327UL,
  0xf07bb98aUL, 0x2fe3ca91UL, 0x6aada290UL, 0xab77d70fUL, 0x2edca03dUL, 0x9ea3656UL, 0xde13f023UL, 0x45f329dcUL,
  0x5974c7UL, 0x403d1368UL, 0x45b76d34UL, 0xefd9d4fUL, 0xe2412919UL, 0x119c58c0UL, 0x85546669UL, 0x8333d145UL,
  0x938d421fUL, 0x839ed561UL, 0x3b6f2318UL, 0x2d437d27UL, 0x6d2e8a62UL, 0x3f08fa94UL, 0x23af5715UL, 0x8f4371dbUL,
  0xdd5eba94UL, 0x5508eb26UL, 0xaf1d9867UL, 0xfafaec9dUL, 0x49a9571bUL, 0x8fed2352UL, 0x2605f80eUL, 0x2b4cda9UL,
  0xa12d98faUL, 0xd5100530UL, 0x6cb1c2d3UL, 0x5e061db3UL, 0x13aa4356UL, 0xb1a10c9dUL, 0x8c4b94d9UL, 0x788e8faeUL,
  0x2dd620adUL, 0xdfed3299UL, 0x48289795UL, 0x6707a10aUL, 0x71be0e23UL, 0xa6eb4286UL, 0x2f5d392cUL, 0x9c086550UL,
  0xda3233fdUL, 0x349007b1UL, 0x187236cbUL, 0x8805f43fUL, 0x80d8efeeUL, 0xcfe93690UL, 0x98df4df5UL, 0xca5d3907UL,
  0xe5c3362eUL, 0x3a73e810UL, 0xc8059dbdUL, 0xb0b91e5UL, 0xef921ac3UL, 0x148ce837UL, 0x9f741969UL, 0x274f690bUL,
  0xef97a70aUL, 0x8e4e5ae9UL, 0x83d08d11UL, 0x8cfdaadbUL, 0xa566f931UL, 0x4a8b6d7dUL, 0x2cc9a876UL, 0xbc56ce7cUL,
  0x2ab4b9bcUL, 0xd0f3283bUL, 0xcdc6cf2fUL, 0x4cb103d5UL, 0xb31b1732UL, 0xa1027fbaUL, 0xf4290e6cUL, 0xa0f248c2UL,
  0x2ba9c7ecUL, 0x73cc00e1UL, 0xd1838bf7UL, 0xf6e95b40UL, 0xd70f5ec1UL, 0xbf4b2b33UL, 0x59950c0dUL, 0x56089658UL,
  0x7a9400d9UL, 0xd6c55431UL, 0x95268504UL, 0xd04d9275UL, 0x722e6295UL, 0x7bf40b7cUL, 0xe29b9f7eUL, 0x66be750cUL,
  0xc2f36636UL, 0x7a7051afUL, 0x4e5f2e1aUL, 0x41dc4820UL, 0x29580667UL, 0xe89a7a8eUL, 0xc04389d6UL, 0x95ce3cefUL,
  0xcd6ea225UL, 0xb4359f9cUL, 0xfb7b2336UL, 0x8deafe5bUL, 0x39baf1bUL, 0x8e6bc240UL, 0xefdecaddUL, 0x4c2c2613UL,
  0x53b012b9UL, 0xcede68a7UL, 0x451b7bb7UL, 0x5e98c234UL, 0x5a7cd5a9UL, 0x58ebe01dUL, 0x21c1b54UL, 0xcb955038UL,
  0xf1d900afUL, 0x27f21d5cUL, 0x866b261UL, 0x668dbb8eUL, 0x2f364edaUL, 0x7084d407UL, 0x93c73b58UL, 0x4a9b757cUL,
  0xafed90faUL, 0x78435021UL, 0x6740ac6bUL, 0x4419400dUL, 0x18ff90f6UL, 0x6cfa7517UL, 0xc73a3adaUL, 0xea1cb71fUL,
  0x81b81a71UL, 0x10dc43d3UL, 0x425af552UL, 0x28ab2d5UL, 0xb858da15UL, 0xe8856607UL, 0xad21d197UL, 0xaaf1c7f8UL,
  0xd672d182UL, 0x7f599e1bUL, 0x9bad8a39UL, 0x45af4e93UL, 0x9c427f74UL, 0xab215c00UL, 0x715165efUL, 0x5e1073a1UL,
  0x39996b97UL, 0x2b836e0bUL, 0x428d69f0UL, 0xaf94e4acUL, 0x21e2d656UL, 0x5169e9a6UL, 0x1742c261UL, 0xaca31e79UL,
  0x5f92a2a0UL, 0xe3cc0566UL, 0x6270f866UL, 0xdcdd656eUL, 0x3e92239eUL, 0xbf5d4265UL, 0xf74203d1UL, 0xae3ba6c9UL,
  0x3730ebafUL, 0xa04f0b32UL, 0xe9befb9cUL, 0xcd182d78UL, 0x6797befaUL, 0xb0134b6bUL, 0x83711296UL, 0x77ef757cUL,
  0xe7da2f77UL, 0xda2b6abfUL, 0x6431c325UL, 0x18d413b9UL, 0x417d1645UL, 0x36736071UL, 0xad4a68d8UL, 0x3ea1ddc1UL,
  0xa9bb70d6UL, 0x7cbe1751UL, 0x999e18c6UL, 0x4e60d8f0UL, 0xee8d1beeUL, 0xba93eed4UL, 0x5af2d6ffUL, 0xf32c904eUL,
  0xe32cd3b8UL, 0xad92a9d9UL, 0x5dcc675aUL, 0x3330648dUL, 0xc52c13c2UL, 0x2dd57b57UL, 0xafca56afUL, 0x7afbca0aUL,
  0x956612d2UL, 0x3fc9e113UL, 0x8cafa110UL, 0x652f2372UL, 0x84a7eeb8UL, 0x906aad09UL, 0x5cf0ad47UL, 0xb8b649f0UL,
  0x1da2c07aUL, 0xbca302cfUL, 0x2a9c3db4UL, 0x603bc314UL, 0x47962a94UL, 0x85cd8051UL, 0x428e0edUL, 0x69f1a37aUL,
  0x34b7f54fUL, 0x1e23307cUL, 0xbc2ca6cdUL, 0x44e87faUL, 0xb5c1376dUL, 0x54e71c2eUL, 0xf6be46f3UL, 0x27631590UL,
  0x2ffa7abeUL, 0x22cd32b1UL, 0xd48576e4UL, 0x8178cd33UL, 0x3d50f56bUL, 0xed58e7acUL, 0x9467bb74UL, 0x8b2104daUL,
  0xdf72b5feUL, 0x612279ddUL, 0x6397fe6bUL, 0x7a2f9931UL, 0xc9531793UL, 0xa09bcf9UL, 0x3d029151UL, 0x4b2455bcUL,
  0xb6f9b134UL, 0xe033ce86UL, 0xa51ccedeUL, 0xf50c3b61UL, 0x328bfba7UL, 0x2cfb7fb5UL, 0x49509779UL, 0x3ce0ffb8UL,
  0x241034d9UL, 0x325a5d9fUL, 0xd6dde459UL, 0xdba25998UL, 0xdecf5cd7UL, 0xe77e0215UL, 0xfff8e0c5UL, 0x8309856cUL,
  0x4ff5995dUL, 0x590f9c4fUL, 0x610ce255UL, 0xf69a43b6UL, 0x644347dbUL, 0x7cfa0075UL, 0x54e9326cUL, 0x27d6f783UL,
  0xfdea1fa1UL, 0x741b6e03UL, 0xf8b74ae1UL, 0x4bb8d889UL, 0x60fff5e3UL, 0xe939610eUL, 0x599c5517UL, 0x4d8f6246UL,
  0x739c123UL, 0xc3fd2ad0UL, 0x1e99a208UL, 0x7489ac20UL, 0x7cca0733UL, 0x709fd440UL, 0x88d02a7eUL, 0x24de0dc9UL,
  0xd67caef3UL, 0xfda3977UL, 0x7e9fc7f8UL, 0xd34ce612UL, 0x41b5880bUL, 0x35b55ab5UL, 0x354a8da8UL, 0x65f02f42UL,
  0x4278c2dfUL, 0x7611d65cUL, 0x1679cb0eUL, 0x7c7fe959UL, 0x6c82c7bUL, 0xaba59ac9UL, 0x43ceca63UL, 0x36a0c47cUL,
  0xb82205adUL, 0x932e68a4UL, 0x87cd3c32UL, 0x1c20a82aUL, 0x60f56c28UL, 0xe1351b3eUL, 0x1acfcaadUL, 0x528740d2UL,
  0xa82d164eUL, 0x17afdca4UL, 0x78f7685fUL, 0x96d09294UL, 0x67767c70UL, 0x2882456dUL, 0x6d6b092aUL, 0xd253eaaaUL,
  0x2814d1e6UL, 0xd4df8395UL, 0x8ddf990eUL, 0x4200e051UL, 0xe3118992UL, 0xa67fcf84UL, 0xa972b653UL, 0x7fab7a9bUL,
  0xc8080114UL, 0xd268ea66UL, 0xd84848f4UL, 0x83d908efUL, 0xda81ee93UL, 0xb9113bfdUL, 0xd1c78912UL, 0x80896bacUL,
  0x4af284d3UL, 0x855165bdUL, 0xac362fffUL, 0x754ea59aUL, 0x94ad4d7aUL, 0xc7424b7eUL, 0xe918bdb9UL, 0xbd99dffUL,
  0xdd621fe3UL, 0x404c6039UL, 0xab21c9baUL, 0x7f66d036UL, 0xde9364cfUL, 0x928fd2d1UL, 0x5efb9ecdUL, 0x212c7f83UL,
  0x7171800eUL, 0x69c61a22UL, 0x5a07dee8UL, 0x85463477UL, 0x70869cc6UL, 0x5402c6e5UL, 0x5f9f84dcUL, 0xdb0e971cUL,
  0xb7b6759bUL, 0x6ba9b9f3UL, 0xda28aa70UL, 0xf27d6361UL, 0xb63270c3UL, 0x8309cc2UL, 0x35723b1bUL, 0x6fcd1ab2UL,
  0xfd9932b5UL, 0xed21a510UL, 0xb229bbd4UL, 0xeba79ca3UL, 0x2f1f13b8UL, 0xf28e951dUL, 0x5963a71eUL, 0x67098dc7UL,
  0xe0f1e46fUL, 0x454fd7c8UL, 0xe38ac713UL, 0x4da8ca24UL, 0xbd039ed5UL, 0x753fc81bUL, 0x8387fe39UL, 0x4761f8ecUL,
  0xdd0a34cUL, 0xd54441adUL, 0xd59c222dUL, 0x95cb4fdeUL, 0x3cf89ddcUL, 0x2f4dfe21UL, 0xfba2a7f4UL, 0x2e76cda4UL,
  0x87ca0ae6UL, 0xdd5eb257UL, 0x6c01abe5UL, 0xa02cf62bUL, 0x433a4fdbUL, 0x55c75fc9UL, 0x4b9229a1UL, 0xe0ddc79fUL,
  0x930fc4dcUL, 0xe6bb91eaUL, 0xae4f1c20UL, 0xbdc16175UL, 0x2882d83dUL, 0xbf379195UL, 0xaa46cea3UL, 0xe20efd4eUL,
  0x479e0831UL, 0x7987a81eUL, 0x3e5eabfUL, 0xb6328a48UL, 0x1a16461fUL, 0x708bcea8UL, 0x1ac7691cUL, 0x79106b70UL,
  0xa0935dd3UL, 0x88dac612UL, 0x5e012c13UL, 0x6e97208bUL, 0x160c41e3UL, 0x3ffe263UL, 0x56033cc3UL, 0x55f7d6d2UL,
  0x57dbcb74UL, 0x222fc20fUL, 0x32010671UL, 0x5c1876bcUL, 0xe1025aa0UL, 0x66854edbUL, 0x8ea7f13dUL, 0xb66f66e2UL,
  0xe885e88aUL, 0x9195af86UL, 0x74f3cc0dUL, 0x60f5c5UL, 0x7c1852d3UL, 0xfbac2ebUL, 0x89577523UL, 0x2afca793UL,
  0x608b5597UL, 0xa6adc8c6UL, 0x72a8b6beUL, 0xdecc4bd6UL, 0x20353488UL, 0x243b7f7aUL, 0x2ac12da4UL, 0xb6d61f6cUL,
  0xeb72a994UL, 0x2abbcec0UL, 0xb621f832UL, 0x4d744771UL, 0xb074dfa6UL, 0x6a9e4997UL, 0xb5631be6UL, 0x73865d83UL,
  0xe6e6eec2UL, 0xeebe530fUL, 0x715de2e8UL, 0xbf4578cbUL, 0x46482607UL, 0x8e02d876UL, 0xfe74db2bUL, 0xda99bdfeUL,
  0xc31a37c7UL, 0x7d3c0e7UL, 0xb1fc4283UL, 0x542e14d3UL, 0x4c8f6cdaUL, 0xeae5cca8UL, 0xd3f52d57UL, 0x209fb288UL,
  0xfc7ef795UL, 0xabe96c8bUL, 0x1edf3969UL, 0xa375c0f3UL, 0xca14dc3fUL, 0x6907f660UL, 0xd44da8fUL, 0x47d9f797UL,
  0xd290e8a6UL, 0xbc3cd5b6UL, 0xfa589c4bUL, 0xbb05e9aeUL, 0xf6ea877eUL, 0x33b7ee2dUL, 0x1fabd978UL, 0x829e18d4UL,
  0xf6d07947UL, 0xd6753c37UL, 0x180c3e2eUL, 0xce8c90ccUL, 0x63f86bceUL, 0x6754e31UL, 0x2ec402b0UL, 0xb824cc74UL,
  0x1fb25dc1UL, 0xe7605689UL, 0xe34f2233UL, 0xcb7b96e9UL, 0xf69529f5UL, 0x656d2fbdUL, 0x1767831dUL, 0x10c240e4UL,
  0x97938aceUL, 0xb204957dUL, 0xd60b3714UL, 0xc32bcf3eUL, 0x7ec628c9UL, 0xfbdc31edUL, 0xd083a21dUL, 0x65f78fdfUL,
  0x81a73652UL, 0xefe52dbUL, 0x748b8192UL, 0x255e282aUL, 0x9ea6327dUL, 0xdda8ffd5UL, 0xae7cc6dcUL, 0xfc1e540UL,
  0xcaaccde1UL, 0x26556526UL, 0xd068c63fUL, 0x7449ff8eUL, 0x448a0ff0UL, 0x637fc619UL, 0xd640d0c9UL, 0x26c2690aUL,
  0x217039b0UL, 0xa0043006UL, 0x33ce2686UL, 0x9f4ddd90UL, 0xa5a5c29cUL, 0x72bfa77cUL, 0x19f87181UL, 0x74adcda8UL,
  0xa55c4160UL, 0x8097b167UL, 0x16153a50UL, 0x2bd813a5UL, 0x7541ade5UL, 0x6fa1cbadUL, 0xfe3c1c5cUL, 0x51b4e083UL,
  0x5ac38f5cUL, 0xeda07f34UL, 0xdce02e66UL, 0xffcdb66UL, 0xf33d2151UL, 0x25d7a070UL, 0xb7487c5cUL, 0xf15d8623UL,
  0xecc3855cUL, 0x22276bf7UL, 0x39fe3044UL, 0x954919d4UL, 0x93738898UL, 0x835c671fUL, 0xc83599c4UL, 0x1eb53d13UL,
  0x5095415aUL, 0xedad0aadUL, 0x33b6dc08UL, 0xa5763e9aUL, 0xfc80ec63UL, 0x891c883dUL, 0xecc12d3eUL, 0x38ac56eeUL,
  0xba2f511UL, 0xae346456UL, 0x5d65138eUL, 0xf5ebcda3UL, 0xb0543f30UL, 0x81c76818UL, 0x9b2022daUL, 0x102bb75UL,
  0x57c7157UL, 0xf63ba0a0UL, 0x44567a92UL, 0x788653b3UL, 0x3fbba190UL, 0x99b58f05UL, 0x5c6d3d7cUL, 0xbbff9b6UL,
  0x709d2714UL, 0x68e360f9UL, 0xf12c2ecbUL, 0x749c7312UL, 0xcaba57aUL, 0xacbc41c9UL, 0xf779ea6UL, 0x3ecba67eUL,
  0x363af303UL, 0x3746f974UL, 0x3cee9873UL, 0x149cd280UL, 0x86d65468UL, 0x3d1165bUL, 0x222a8fa1UL, 0x9f4d5133UL,
  0xc6677ac9UL, 0x2237f6c5UL, 0x81d8c39dUL, 0x953592adUL, 0xe5ac19ffUL, 0xea7dfe8bUL, 0x740cb90eUL, 0x94d984beUL,
  0xb0b804d6UL, 0xaa73a14UL, 0xb2bf010bUL, 0x98c13770UL, 0x81842794UL, 0x2ad39186UL, 0x4c0ccdfUL, 0x4dc698bdUL,
  0xcd48e96eUL, 0x41dda96fUL, 0xa682c024UL, 0xb45dee08UL, 0xe106f721UL, 0xf24cd49fUL, 0xb9dc2a50UL, 0xae7d961fUL,
  0x8d95bd0bUL, 0xd1b3b139UL, 0x2c063c1eUL, 0xbd6a9e50UL, 0xc9d0b9edUL, 0xd774db3aUL, 0x5d369a0eUL, 0x61baffffUL,
  0xf8656629UL, 0xb754da05UL, 0x5ea875b5UL, 0x5ff1ca84UL, 0x7e4a506bUL, 0x54930790UL, 0xca3a740dUL, 0x125380cdUL,
  0x9879e8a6UL, 0x6449fc95UL, 0x3ef92263UL, 0xab1f0c47UL, 0xdd365da5UL, 0xe4894f9dUL, 0x216c978aUL, 0x2c9a0068UL,
  0xbc9a18fcUL, 0x645a5f5dUL, 0xe9e0f512UL, 0xeacbc2feUL, 0x410906e7UL, 0x6b9b5136UL, 0xa21b447aUL, 0x9b223da7UL,
  0x9ebfb3caUL, 0x34e87e06UL, 0xbfa4376aUL, 0x6789f285UL, 0xc1fe481bUL, 0x62c2c7UL, 0x83da22b5UL, 0x3798c406UL,
  0x58799493UL, 0x1bbd7405UL, 0x45e89648UL, 0xdf0df5bbUL, 0xf46c0737UL, 0x6152f725UL, 0xab95f6e1UL, 0x31220d4bUL,
  0xa499ff41UL, 0xb9b973b4UL, 0xa3ee4e05UL, 0x802701e8UL, 0xe81b4897UL, 0x3b3979d7UL, 0xf40dd4c5UL, 0x8ad509d0UL,
  0x7cd7ba2fUL, 0xde345566UL, 0xf95b5b67UL, 0xfc8f168bUL, 0x4ee8da88UL, 0xc9131c8dUL, 0x5610ad2aUL, 0x35c2c5a2UL,
  0x506415aUL, 0xea05eb9fUL, 0x7c8bf39cUL, 0x3c4cfaf4UL, 0x870c678cUL, 0x1f682ba8UL, 0x4e5c03ddUL, 0x576e9ceeUL,
  0x93ca05b5UL, 0xfb9401a9UL, 0x2f80db5dUL, 0xe1261781UL, 0xa37a69aaUL, 0xa09f9f14UL, 0xcc7a5862UL, 0x7eb14b37UL,
  0x12eeb4bdUL, 0xde87218dUL, 0x8bbc000UL, 0x67fb11b4UL, 0xaf1cdebaUL, 0xd3930044UL, 0xf4715446UL, 0x5b83599eUL,
  0xe0400d7aUL, 0xe5914e9fUL, 0x3da543d2UL, 0x142d1015UL, 0x62a4900aUL, 0x1d39b8adUL, 0xdfd4fc18UL, 0x9a63dab1UL,
  0x120823d6UL, 0xc58b8efeUL, 0x6254aec4UL, 0x44faa75bUL, 0xfb2863b9UL, 0x69a725f8UL, 0x2846dfeeUL, 0x3b35cb33UL,
  0x3060aa7aUL, 0xc59bedd7UL, 0x81299f31UL, 0xfd5af91UL, 0x60f95479UL, 0x429dc092UL, 0x2dc573b0UL, 0x54273525UL,
  0xb7133b2cUL, 0x797b487fUL, 0x1865dc5dUL, 0xbd362e0UL, 0x3daefaafUL, 0x3920c601UL, 0xce430b81UL, 0x276a8692UL,
  0x733d708fUL, 0x9d8b70f4UL, 0x54c5ce1aUL, 0x8cc71116UL, 0x2eeca598UL, 0x78162797UL, 0xbadf5c96UL, 0xa9298d26UL,
  0xfec50e62UL, 0xb8df6af9UL, 0xdecaa49bUL, 0x63ec0e4eUL, 0x721cfc70UL, 0xcc2c0fdeUL, 0xc6a74b93UL, 0x5db285bdUL,
  0x7265c802UL, 0x18fee156UL, 0xff8a7a3fUL, 0x732ae651UL, 0x66748fbUL, 0x2cc4e995UL, 0x137dd7b7UL, 0x8fafe652UL,
  0x2e409b75UL, 0x72b5024dUL, 0x455007ceUL, 0xc2fc438eUL, 0xd331be09UL, 0xeac57ca8UL, 0xc2f7eddUL, 0x840f0523UL,
  0xbe0a2dd3UL, 0xda0a70e2UL, 0xde94ff73UL, 0x8a0114f8UL, 0xf35e166dUL, 0x1813da2bUL, 0x811e632eUL, 0x1243e4a4UL,
  0x50042255UL, 0xe0e80b59UL, 0xfeca8180UL, 0x9854bd9fUL, 0xe4a7e012UL, 0x62529105UL, 0x22c56e75UL, 0x247c894eUL,
  0xfd1776eeUL, 0x2ec853c9UL, 0x24a6af12UL, 0xcc9fa34cUL, 0xaf633832UL, 0x2d7c6d1fUL, 0xc70fa51fUL, 0xd648ec3eUL,
  0x42f53091UL, 0x27513b3bUL, 0x7da79a33UL, 0xf8acebf4UL, 0x84c78412UL, 0xfb366eaaUL, 0x71230574UL, 0xd0e87f80UL,
  0x8fd2d273UL, 0xf6c0f8b0UL, 0x8da7f7f2UL, 0xb8a83033UL, 0x6ee9e4a1UL, 0xefdc7cc0UL, 0xe64df11dUL, 0xde42070fUL,
  0xb43b83f3UL, 0x5535afffUL, 0x9c8b5ecdUL, 0xa28d4982UL, 0x36daf679UL, 0x6adbf319UL, 0x24b0ad3UL, 0xb5b903f1UL,
  0x1b36d3b0UL, 0x46085ae5UL, 0xc48569b7UL, 0x2b97110eUL, 0x37a9b414UL, 0x87bb5051UL, 0x2309896bUL, 0x9670c2c7UL,
  0x22145059UL, 0xcecb5f5eUL, 0xb3859660UL, 0x52c6fb75UL, 0xe5959600UL, 0xea40503UL, 0xc620e080UL, 0x83756f1cUL,
  0xc17fd371UL, 0x3d7b9e9UL, 0x61a23ffcUL, 0x37b369c1UL, 0x2333a648UL, 0xefcf9a6aUL, 0x48afb520UL, 0x1011e36cUL,
  0x40c0c130UL, 0x6920cfceUL, 0xc0ff1620UL, 0x9d1f765eUL, 0x411742eUL, 0x42889852UL, 0x3c1407c1UL, 0xa941ab26UL,
  0xb9c55ba2UL, 0xdb429aa2UL, 0x4d99366eUL, 0x101779d3UL, 0x9a3f7115UL, 0x35ee2115UL, 0xa3ee8488UL, 0x84ad6711UL,
  0xd36d18cdUL, 0xd7e91576UL, 0xa0cae92fUL, 0x8d870122UL, 0x5272a4a3UL, 0xdd46caabUL, 0x9c7ebcdcUL, 0x75fb719fUL,
  0xc26541bUL, 0x8541c96UL, 0xca2279d2UL, 0x3467d72eUL, 0xd66ba24eUL, 0x9d4190a7UL, 0xb682615eUL, 0x7c3c95adUL,
  0xa2e9fba5UL, 0x4cd86482UL, 0xa3790f73UL, 0xbdb0dc98UL, 0x97bb5893UL, 0xdcf80d67UL, 0xb5f3c389UL, 0xa579cd90UL,
  0x6714a798UL, 0x6743719fUL, 0x35534958UL, 0x67a2f2a7UL, 0x5155bde4UL, 0x4cd16488UL, 0x9538995aUL, 0xe5b222fdUL,
  0xa2e1da44UL, 0x24439556UL, 0xaea4a1d7UL, 0x6a3d2b83UL, 0x186ffbf8UL, 0x2e9ac7b7UL, 0x825c16e2UL, 0xa4685d47UL,
  0x582f02e1UL, 0xf24f9078UL, 0xfdb749ccUL, 0xcfefa7bUL, 0xba25450bUL, 0xa9b21bb6UL, 0x984d697aUL, 0x79ace07UL,
  0xfc6747f1UL, 0x292fcc78UL, 0xb7cbefceUL, 0xaaf9c719UL, 0xafb63127UL, 0x107b14ccUL, 0xf8ee5e0UL, 0x58b2ca07UL,
  0x5a90112fUL, 0x119fbed1UL, 0xca7fbb8bUL, 0x70418516UL, 0x1cb7bd0bUL, 0x11712802UL, 0xb2facdbfUL, 0xb5777724UL,
  0xfcd7a072UL, 0x8e2ccd0fUL, 0x5548d0c6UL, 0xf42a44e6UL, 0x37308af4UL, 0xab7af62bUL, 0xbaf44540UL, 0x91ccbef7UL,
  0x9c1920a5UL, 0xf342da4fUL, 0x93edbcfcUL, 0xfa61c0acUL, 0x86d2467cUL, 0x71554d7bUL, 0xb99e7cc1UL, 0xd1ed1fd9UL,
  0x5ba7832UL, 0x977e87c2UL, 0x17066c0dUL, 0xf3fb1b8bUL, 0x8160cd89UL, 0xc6f7610eUL, 0x29f9ac2UL, 0x68d78dcfUL,
  0x7243d4dcUL, 0xd08b8a54UL, 0xae41312bUL, 0x54258b4fUL, 0x1d7f9abcUL, 0x7ba33cd3UL, 0x386f82a3UL, 0xac38ad24UL,
  0x3baf6903UL, 0x395aad60UL, 0xb417a1bdUL, 0xf83a174UL, 0xbaabf6bcUL, 0x527486e8UL, 0x49841f63UL, 0xd9b2ebf3UL,
  0xea1ebb7dUL, 0x5238e713UL, 0xe2c1ad0cUL, 0xae9ed2f6UL, 0x57031defUL, 0x70f12e42UL, 0x51694fdeUL, 0xdb95e789UL,
  0x71453375UL, 0x36b86324UL, 0xca006b6bUL, 0x401b281fUL, 0x4579f212UL, 0x96b318a2UL, 0xe3e4cc9aUL, 0x6c5445a8UL,
  0x1bcbfbbdUL, 0x72e2c86cUL, 0x314bcac3UL, 0x4d74858eUL, 0xcab61313UL, 0x5d80d412UL, 0x34227181UL, 0xac8bf826UL,
  0x275749a4UL, 0x9e549223UL, 0x608354b4UL, 0xbf1a9fbdUL, 0xec1cf150UL, 0x19209a15UL, 0xee1c4fe7UL, 0xf55da987UL,
  0xabc66d84UL, 0x8a75cc03UL, 0x424c1d67UL, 0x1f0b0207UL, 0x6d9adf8fUL, 0xf16a4552UL, 0x73bb89b7UL, 0xb7091fb8UL,
  0xe8098073UL, 0x434f1ab4UL, 0xe7662f51UL, 0x68b13b1UL, 0x5eb46889UL, 0xa27e94bbUL, 0x76296165UL, 0xcb11b7ddUL,
  0xc098652dUL, 0x4d614986UL, 0xfb160b65UL, 0x5006a5ceUL, 0xc6c0d3d7UL, 0xc36ace0dUL, 0x980b6977UL, 0x305e994bUL,
  0x9caa6662UL, 0xf7125645UL, 0xfc05d6a5UL, 0x811f74a4UL, 0xf28620d8UL, 0x7da2f34UL, 0xb0366441UL, 0x23a3740cUL,
  0x7a9f2241UL, 0x7f754828UL, 0x80fa1726UL, 0x752308e9UL, 0xe5159cc5UL, 0x28391fd2UL, 0x63a51fd6UL, 0x5e4bdc23UL,
  0x3ef3d852UL, 0xbc7f8815UL, 0xe026090fUL, 0x5f1b5ad9UL, 0xc73a0942UL, 0xb2c56de7UL, 0x7ddd61ebUL, 0xb24ebb4eUL,
  0x6fe68878UL, 0x11d516daUL, 0xf7c5afdUL, 0xb8932395UL, 0x5781ef4cUL, 0x7de3a76fUL, 0xc345fe38UL, 0xa0085c88UL,
  0x8d648ad8UL, 0x3335624aUL, 0x6eea9df5UL, 0x93339ea0UL, 0x978d7286UL, 0x2b1082c2UL, 0xf239eb07UL, 0x46e1d020UL,
  0x5d92d07eUL, 0xcd9b3e97UL, 0x357998e4UL, 0x389d1e45UL, 0x9502bd30UL, 0xb80d8e92UL, 0x5d05c97cUL, 0x528b11d2UL,
  0xd3250751UL, 0x99cfcd1eUL, 0xfe9e5f6cUL, 0x6f304821UL, 0xee99e259UL, 0x6aa1f9f7UL, 0x7f189484UL, 0x4cc0d517UL,
  0x20e09c30UL, 0xa7f6ae81UL, 0xbd5b7c1fUL, 0xc465d02bUL, 0x1eaac7b8UL, 0x2d13b545UL, 0x52deec5eUL, 0x44de461UL,
  0xc926b5aUL, 0x17a35bfaUL, 0xfb0cee2cUL, 0x7d4647f2UL, 0x601c4b26UL, 0xb9a6a6b5UL, 0xbc6b8be8UL, 0x4c8bb442UL,
  0xaf778feeUL, 0x1cc5d5c8UL, 0x8e803b76UL, 0x70b814fUL, 0xb74cce80UL, 0x4463da5dUL, 0xcd5b3a6aUL, 0x2144b2e8UL,
  0xb9c6be05UL, 0x1a2a4a3dUL, 0x9a172ebfUL, 0x2af379c7UL, 0xfc226d6eUL, 0x1ef858dbUL, 0xfa86a6d2UL, 0x69a4e201UL,
  0xbe488a9bUL, 0xf67d007bUL, 0x20a3742bUL, 0x3ef55dd1UL, 0xd48eb943UL, 0x553c7f67UL, 0x2bf9709aUL, 0x9717432fUL,
  0xf7d3ab49UL, 0xfba3d8ecUL, 0x3089ef09UL, 0x88d19f4UL, 0xd011fc73UL, 0x11d1941cUL, 0x8eb99552UL, 0x9056e6ebUL,
  0xf10bda5bUL, 0xeb248deeUL, 0x1e3ff0c5UL, 0x247d2c4UL, 0x5af6aeddUL, 0xac1783cUL, 0xc4aa0619UL, 0xea8d6052UL,
  0xb5f28100UL, 0xeb981710UL, 0x380dc44eUL, 0x2ece6829UL, 0xe54afbbfUL, 0x405f3da1UL, 0x4e5f47fbUL, 0x4b4a916bUL,
  0xbe98559aUL, 0x51969ba8UL, 0xf1bf563bUL, 0x23c0dae2UL, 0xe35326bcUL, 0x47a7973fUL, 0x10386e66UL, 0xcf8c62d2UL,
  0x522c2ecaUL, 0x49ec3a99UL, 0x3fc47a69UL, 0x154ade3dUL, 0x14553505UL, 0xa60c8b56UL, 0x1bf25a66UL, 0xe5aaa5d6UL,
  0x3e78560UL, 0x9164b2e0UL, 0xa3dcbf93UL, 0xd5f9206aUL, 0x4e14054UL, 0xedc9f24dUL, 0xad36fbacUL, 0xb81955dUL,
  0x8a8a461bUL, 0x4664c86fUL, 0x880169e0UL, 0x7743af38UL, 0x583d8d3fUL, 0x462c76fUL, 0x4b9b3e55UL, 0xd396d76UL,
  0x47556139UL, 0xce6e442aUL, 0x39915985UL, 0xa817e85aUL, 0x1a7384e5UL, 0x13c2a4b4UL, 0xda6ca730UL, 0xa79a741dUL,
  0x3b839e49UL, 0x68f843e0UL, 0xe2f87352UL, 0x3272797bUL, 0xb861bbefUL, 0x13da6ebcUL, 0x45153ca0UL, 0x8390d04UL,
  0x8548e387UL, 0x3c8df2b9UL, 0xcfaa5cfeUL, 0x997af813UL, 0xc116af70UL, 0xb5ca5fd7UL, 0x157372e2UL, 0x6a6f8bd8UL,
  0x172daa2eUL, 0x28d58d87UL, 0x549902cfUL, 0xcbbd869UL, 0x61a113ebUL, 0x26b0e8a7UL, 0xa8d979eeUL, 0x6139d0UL,
  0x3189cf01UL, 0x569a65b7UL, 0xf35463caUL, 0xd0a3e788UL, 0xd7efd801UL, 0x6d2d2a4eUL, 0xb17b5dc4UL, 0xcb473b24UL,
  0x97b4633fUL, 0x1638289eUL, 0x5267b7d3UL, 0xf08415c7UL, 0xf4b36e10UL, 0xbfbba539UL, 0x80a8559UL, 0xe8609655UL,
  0xc2d4ede1UL, 0x4aebee51UL, 0x6a494f2fUL, 0xaf13de5aUL, 0x29b1a9ffUL, 0xff62d378UL, 0xf9010faUL, 0x7848dc1dUL,
  0x302b003UL, 0xac2a1177UL, 0x11571a5dUL, 0xc4bf65cfUL, 0x19914b7dUL, 0xdb8b5909UL, 0x4b6248bfUL, 0x548a22a3UL,
  0xc16ff0ceUL, 0xb479845dUL, 0x97eca628UL, 0x60ab539aUL, 0xa671bfd1UL, 0xe030b931UL, 0x7b94bfd7UL, 0xd4c976c5UL,
  0xf5af4dcUL, 0x96b37d22UL, 0x23c2a67dUL, 0xf8b269e2UL, 0x5f547f18UL, 0x48621be9UL, 0xc6bb5cbbUL, 0x54d0847aUL,
  0x17ded5d4UL, 0x6bd84253UL, 0x9550ec0cUL, 0x341b896fUL, 0x5ad3be3eUL, 0x2564ee82UL, 0x17bfdbfdUL, 0x1aba1151UL,
  0x1197e74bUL, 0xdaf1d326UL, 0xd37cfae4UL, 0x96c49323UL, 0xd52c0190UL, 0x1478c332UL, 0xdb7e9fc0UL, 0x7512fe14UL,
  0x50d9d009UL, 0x5eaa9097UL, 0x89c3af89UL, 0x5d7f0e84UL, 0x157e3c24UL, 0x4ae24286UL, 0x7092c79dUL, 0x1133a3daUL,
  0x8b8b994bUL, 0x1b1fa21UL, 0xddedef1eUL, 0x87db25c7UL, 0x1207604UL, 0x1f766e98UL, 0x7665ac4aUL, 0x1e5f7576UL,
  0xc32896f5UL, 0xb9e1d33bUL, 0x737e7a4dUL, 0x3d388bcbUL, 0x1c35da13UL, 0x561776a1UL, 0xfbb4fc4cUL, 0xaa12e0d9UL,
  0x28848c10UL, 0x1f6f61ffUL, 0xd3a6839dUL, 0xdf5c5c6aUL, 0xda6c2622UL, 0x8db1339UL, 0xe0699997UL, 0xca49c62UL,
  0xc2ee89c9UL, 0x58cf06a4UL, 0x5d35626fUL, 0xd225e0a4UL, 0xd66b5d85UL, 0xc9f43b69UL, 0xfc055883UL, 0x14ea28c8UL,
  0xccd3e8baUL, 0x860689fdUL, 0xe1ce22b9UL, 0x29baff3fUL, 0xcdc92397UL, 0xc4e068c6UL, 0xea00ec72UL, 0x40a0c6fdUL,
  0x27500f7fUL, 0x9cff765bUL, 0x438ec076UL, 0x3e8e1783UL, 0xb5db25f8UL, 0x7c6f7effUL, 0xfdf81b75UL, 0x770b4d9bUL,
  0xed40bd21UL, 0x523784bcUL, 0xb0ddd560UL, 0x4df275e7UL, 0xefd42b16UL, 0x2295652UL, 0xed30c5b6UL, 0x8983358fUL,
  0xb8a6196UL, 0x39333d72UL, 0xa5e25bbcUL, 0x67e08c6cUL, 0x2cb97ebcUL, 0xf77655a6UL, 0xd8c98995UL, 0x659d2ccdUL,
  0xca6340a4UL, 0x7afccb5bUL, 0x1cf1d904UL, 0xf4c09ea9UL, 0xffb602f6UL, 0x4a1599c7UL, 0x6c90eb9dUL, 0xb9ffc14bUL,
  0xefbd690fUL, 0x45578fb1UL, 0x44fb970aUL, 0xd3db64bdUL, 0x15276d39UL, 0x38313b9fUL, 0xb1a91be4UL, 0x2541b1dUL,
  0xa6e6150fUL, 0x44f119d0UL, 0x5c47d459UL, 0xffcab51bUL, 0x28f6c062UL, 0x44649d9eUL, 0x72ae9f6eUL, 0x3af5fbd4UL,
  0xb3db454fUL, 0x17573fc2UL, 0xfdb681b8UL, 0x622a81e8UL, 0x2ffaa880UL, 0x4dbf5493UL, 0x807f0d3bUL, 0xa9189c16UL,
  0x74ba70a9UL, 0x4cf9e7ebUL, 0xdaadd769UL, 0xc7aab1c2UL, 0x8e2308e9UL, 0x412f417bUL, 0x267c8492UL, 0xcdb1d51cUL,
  0x161ff97UL, 0xed04f9abUL, 0x25df746eUL, 0x97d81b01UL, 0xc19c3f32UL, 0x4936a17UL, 0xbb908180UL, 0x73d9a6c8UL,
  0x6099162bUL, 0xbd3b1dcfUL, 0xd0dde2adUL, 0x27e6b144UL, 0xf61180aUL, 0xabcdd87UL, 0xfc626fa7UL, 0x3c3e734UL,
  0xde54a531UL, 0x5968813bUL, 0x2969be00UL, 0x4b5c5d3fUL, 0x71efc760UL, 0x1a658079UL, 0x17c7320fUL, 0xa8602bfeUL,
  0xb446d34cUL, 0x5b2a2e11UL, 0xe3abefb0UL, 0x88e16573UL, 0xb782a3caUL, 0x7f708065UL, 0x5a75be5UL, 0xf2bb73a3UL,
  0x392877f6UL, 0x1433c24aUL, 0x5f8f62b2UL, 0x6d65b422UL, 0x8ffbd878UL, 0x8cd1e46fUL, 0x3490304aUL, 0x8c35a6d9UL,
  0x748b55f4UL, 0xe5c87e11UL, 0x87e3439dUL, 0xab80e733UL, 0xd29e71f4UL, 0x349b8d2bUL, 0x7adda4a6UL, 0x4644080cUL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0xae5c1b1dUL, 0x4fd1a980UL, 0xfcb63a9fUL, 0x30caa5aUL, 0x14ced05dUL, 0x410ee062UL, 0xdb65b5cUL, 0x963d5894UL,
  0xb15ac0ebUL, 0x9b1a8630UL, 0x539fca8aUL, 0x9b1c639fUL, 0x49a7cfc5UL, 0x8f90de0eUL, 0xb2b9c8efUL, 0x193517beUL,
  0xf21a228bUL, 0x2065d669UL, 0xf11fcf03UL, 0x3d20e930UL, 0xf1f44037UL, 0x1843948fUL, 0x727fdd47UL, 0x953f04e8UL,
  0x10d5d709UL, 0x84099c22UL, 0xb816fa0bUL, 0x58cf3766UL, 0x41fcca43UL, 0x6e60b4d3UL, 0x11eb813eUL, 0x4d4e4881UL,
  0x7b4d35bcUL, 0xd54b1e74UL, 0xa5518e30UL, 0x9a7dcaeUL, 0xee48fa2cUL, 0x99a1756eUL, 0x198fcb34UL, 0xd44c94c8UL,
  0x630fd7d8UL, 0xf6c16d6fUL, 0x8b4318fdUL, 0x3be91922UL, 0x855b3f67UL, 0x163a6df4UL, 0x34eec220UL, 0x12e79bc4UL,
  0x27c5c85aUL, 0x832d9bcbUL, 0x10e94158UL, 0x1848e533UL, 0x7b51b360UL, 0xcb155319UL, 0x98d035e2UL, 0x1ddf01a6UL,
  0x9bb38e22UL, 0x18fd0fcbUL, 0x90e5bb39UL, 0x28f9a688UL, 0x348d5b77UL, 0xfff420c5UL, 0xb05d28b0UL, 0x4e118dcdUL,
  0xf3b88272UL, 0x25686912UL, 0xe81752a1UL, 0x3f5b60b9UL, 0xdb959d07UL, 0x8c67cf97UL, 0x33964ea5UL, 0x9c7970ceUL,
  0x77cccf1dUL, 0x52619bccUL, 0xc3d73359UL, 0xf231a51cUL, 0x4948e083UL, 0x42ca6bc9UL, 0xe0ca151aUL, 0x9852e556UL,
  0xfb6fe930UL, 0x5efd6bb9UL, 0x2cc06608UL, 0x4924bcb5UL, 0x1999e283UL, 0x27fa956cUL, 0x748433e7UL, 0x9b4d42faUL,
  0x995e2551UL, 0x31215a60UL, 0x6a330babUL, 0x16974411UL, 0x6ea58f08UL, 0x30830d0bUL, 0x235a3da9UL, 0x64106facUL,
  0xd0e68013UL, 0x2de46377UL, 0xfbc1753dUL, 0x40a8d196UL, 0x24ef8d38UL, 0x54f517d9UL, 0xed4289e8UL, 0x2b172ac9UL,
  0xf81c288aUL, 0x72e7b9d7UL, 0xe3fbd481UL, 0xf00c8bc9UL, 0x8abdec0UL, 0x33e091eeUL, 0x7e3d7c41UL, 0x14cce6ebUL,
  0xe9053176UL, 0x42fe3edUL, 0x54c0782dUL, 0x7634dafaUL, 0x3374fb7UL, 0x7a09f1cbUL, 0x87925c97UL, 0xe3b03703UL,
  0xe35accb9UL, 0x1351f200UL, 0x12ec5969UL, 0x85e35d17UL, 0x3d165701UL, 0x1a47baf5UL, 0x27f10188UL, 0xba6cae1fUL,
  0xead273f5UL, 0xd88321daUL, 0xf4b167c6UL, 0x872e3d4aUL, 0x1bad5c44UL, 0x15e80bc0UL, 0x8a4ce9ddUL, 0xcc764330UL,
  0x9804ca9aUL, 0xe78ee7eeUL, 0xc4955740UL, 0x5e62f75fUL, 0xce958fc3UL, 0xdc1be7fcUL, 0x8ee8e994UL, 0x40fdada6UL,
  0x2c486457UL, 0x3d1e192aUL, 0xe3e54c87UL, 0x5e150b4eUL, 0x51e3ed62UL, 0xcc2d78eUL, 0xcb9e0963UL, 0xe5c4e4eaUL,
  0xe86457f5UL, 0x12550aa2UL, 0x783c8229UL, 0x641a4d21UL, 0xf0948bfaUL, 0x2c8a9f31UL, 0xc9878755UL, 0xcdbcee02UL,
  0x914d2a99UL, 0x2978ae49UL, 0x37281224UL, 0xea4e8323UL, 0xc121737cUL, 0x1792a8cbUL, 0x828ab278UL, 0x4e110fe6UL,
  0x49854983UL, 0xe34a882UL, 0x5eb7eae2UL, 0x57ac5337UL, 0x4f2cfe8eUL, 0xe2d59a3cUL, 0x711fe2feUL, 0x7e0da884UL,
  0x9d3bca14UL, 0xa9df81cdUL, 0xd7921260UL, 0x610f6148UL, 0x70ba963aUL, 0xb8074d5eUL, 0xcc400cdcUL, 0x9e589812UL,
  0xfef40cefUL, 0x5c846162UL, 0xcb50360UL, 0xe397303UL, 0x18544a3UL, 0xece20b98UL, 0xdfba582cUL, 0x29a6c69bUL,
  0x98e212d3UL, 0x258ccf5cUL, 0x9d98dbadUL, 0xfae303cUL, 0x40b4070eUL, 0x174537ffUL, 0xefb22fbdUL, 0x9195811cUL,
  0x9f04a9ebUL, 0x641c6485UL, 0xdc917a0eUL, 0x26a5f72UL, 0x868fb45dUL, 0x46bd2dafUL, 0xfddd53efUL, 0x759b12bUL,
  0x3ee82013UL, 0xf722cf13UL, 0x4dab59baUL, 0xc85a4480UL, 0x3246868cUL, 0x8f6cc54cUL, 0x94ccb3b6UL, 0xd01ee5e1UL,
  0x96b858daUL, 0x96165a6UL, 0x2f9e747bUL, 0xa242f278UL, 0xfa936ab2UL, 0xdf561bUL, 0x53e1880cUL, 0xadc1f71cUL,
  0x1052ad86UL, 0xa21d3365UL, 0x3ef778eeUL, 0xd5f9395eUL, 0x4b024970UL, 0xf5f09275UL, 0x4cba245dUL, 0x6e307f15UL,
  0x8ff042d7UL, 0xe700b111UL, 0x14183742UL, 0x7930ac69UL, 0x64747ccUL, 0x1af41005UL, 0xbcaf971UL, 0x896c6925UL,
  0xd81974feUL, 0xe5428e77UL, 0xc8887f61UL, 0x5db31e9dUL, 0x42f021d8UL, 0x1b857f0eUL, 0xb8c68603UL, 0xeef05da7UL,
  0xefb64e63UL, 0x13ded47eUL, 0x839828d1UL, 0xa751ae21UL, 0xdef2f2e0UL, 0x67cc915bUL, 0xd7cf387UL, 0x43fa11c1UL,
  0x60b1c021UL, 0xd2351175UL, 0x1eb3a5fbUL, 0x2e10dd4eUL, 0x8216f76bUL, 0xbd504545UL, 0x4a10ccb1UL, 0x6179bea9UL,
  0x962fbee5UL, 0xb01c3b59UL, 0x37a9af49UL, 0xb9122d16UL, 0x39e02565UL, 0x4406d8b6UL, 0xdaa6c801UL, 0xe2b941daUL,
  0xac7f213aUL, 0x347a0dbbUL, 0x502ccb92UL, 0x4ad45d2bUL, 0x4467e6aaUL, 0xb2f78641UL, 0x191bea44UL, 0x85c9d828UL,
  0x7810ee12UL, 0xba3a9f1fUL, 0xea1b3803UL, 0x703397d8UL, 0x15200896UL, 0x107940e3UL, 0x5771df5fUL, 0x46872b9eUL,
  0x92656a30UL, 0xdd05e362UL, 0xe47c23bdUL, 0xd5177883UL, 0x6b0bde75UL, 0x456905c7UL, 0xf81f8d45UL, 0x3d6c7647UL,
  0x3aa3a1daUL, 0x2a56fc6cUL, 0x4531c627UL, 0x224d9935UL, 0xb2d2117UL, 0xda30bd7aUL, 0xc7032f33UL, 0xf2197ceeUL,
  0x1fc4172eUL, 0x18be78cfUL, 0xd3de8a38UL, 0xa7f005b0UL, 0x7c03611dUL, 0x9c5d0bb2UL, 0x62e53e81UL, 0x7cda2b9dUL,
  0xd0e2d8e2UL, 0xda7859e2UL, 0xf6256c1cUL, 0xe1d91c3UL, 0x76149ce0UL, 0xcbe3a474UL, 0x25018fe0UL, 0x78bc493aUL,
  0x1ad190b0UL, 0xe7d13205UL, 0x3136321dUL, 0x70649429UL, 0x7d6d5defUL, 0x118986cdUL, 0x8d4f5e4dUL, 0x55451cb6UL,
  0x2325a5e4UL, 0x45aa724dUL, 0xe86e0affUL, 0x66a373f7UL, 0xf4c8262aUL, 0x85104968UL, 0x3c9b5611UL, 0xa0699255UL,
  0x35c36f45UL, 0xa7a638a2UL, 0x67e4c070UL, 0x7d204290UL, 0x95f15f70UL, 0x1284743eUL, 0x6ae44866UL, 0xe7dc2211UL,
  0x46a487f3UL, 0xc0e7eb78UL, 0xcfe363fcUL, 0xf396258dUL, 0xd04bef2dUL, 0x194824b7UL, 0xb5d4c711UL, 0xc8f8bdf0UL,
  0x794587b6UL, 0x5fc881cUL, 0xa870ecdeUL, 0x1b885be8UL, 0x6ef7eab4UL, 0xd03b460eUL, 0xc7c1c124UL, 0x19fe6c1UL,
  0xf5ebe375UL, 0x8b6adcb6UL, 0x18985cecUL, 0x719c55c0UL, 0xd2925b2aUL, 0x6d7bd32eUL, 0xd2427a04UL, 0x380688b5UL,
  0x4fc27240UL, 0x6413a9b0UL, 0xc687b625UL, 0x13527b57UL, 0x90665260UL, 0x6de826cfUL, 0x6e84af2eUL, 0x4f60f3e6UL,
  0xded888f8UL, 0xaa091f8eUL, 0x86eefe5UL, 0xad5b8676UL, 0x21320520UL, 0x1fa91bb1UL, 0xa5478c7bUL, 0xfb675ab6UL,
  0x93d28edcUL, 0xfece844fUL, 0x1e7baea9UL, 0xc0dc2cfUL, 0x35102089UL, 0xd91c26d6UL, 0xa4a2bacbUL, 0xdeb5b694UL,
  0x54fd5631UL, 0x9eeb33c5UL, 0x65668e1UL, 0x8ffd7413UL, 0x29589001UL, 0x946679ddUL, 0xb2d666ceUL, 0xbe39361dUL,
  0x24ef23edUL, 0xd899aaccUL, 0xc19061a6UL, 0x21d8af12UL, 0x35fd0365UL, 0x5bdae588UL, 0x66d6c04bUL, 0x75ab8acaUL,
  0x322447aUL, 0x85da44feUL, 0xa38baa45UL, 0xc544427bUL, 0x778c182aUL, 0x3cce1ab8UL, 0x40c5ba78UL, 0x61494ce4UL,
  0x50d9775cUL, 0x9179e6b3UL, 0x133f9a7dUL, 0xf8b1275fUL, 0x18c8dec3UL, 0xacaaf5f4UL, 0x843020bdUL, 0xdcf37e49UL,
  0x6523ef84UL, 0xefde2e41UL, 0x9d6a88a5UL, 0x91938eb2UL, 0x4ac0c217UL, 0xc41d1351UL, 0x70459993UL, 0xaa6c2b7fUL,
  0x69387273UL, 0x6f0cfc4bUL, 0xe8502134UL, 0xe0d57adaUL, 0xe41213bdUL, 0xd9c86854UL, 0xbed405cfUL, 0xa4708e24UL,
  0xef3d2e21UL, 0x48eaa13fUL, 0xb37818d5UL, 0x172da332UL, 0x2f2cce2eUL, 0x2e3ff5c8UL, 0xffcdaf11UL, 0x61014330UL,
  0x2a0f05f5UL, 0xc6a2315cUL, 0xccd93ea8UL, 0xcbe599UL, 0x83e4b64eUL, 0x920c7dbfUL, 0x2ad5fafUL, 0x86637209UL,
  0x8775fed0UL, 0xb01a0b10UL, 0xb942408aUL, 0x73521ed6UL, 0xce0a0cbfUL, 0x443087d8UL, 0x604d7289UL, 0x444e0556UL,
  0xb0a7d767UL, 0x7bb0161cUL, 0xc76e0237UL, 0x99ddf87eUL, 0xfb32e998UL, 0x782e15a3UL, 0xfb89da13UL, 0x74b3a6caUL,
  0xa161bc34UL, 0x4505f2aUL, 0x622b18bdUL, 0x4fbd17abUL, 0x55058102UL, 0xa6db1287UL, 0xc50cb724UL, 0x1ea01419UL,
  0xc9af0a20UL, 0x24cb77a6UL, 0xd066e94bUL, 0xfbda7782UL, 0x504672UL, 0xe666d93eUL, 0xf62db71eUL, 0xec89a356UL,
  0x31c6b63cUL, 0x885b2fb8UL, 0x80cfc6cdUL, 0xcefd6ffbUL, 0x90b1dcbdUL, 0xb10a2ef0UL, 0x64b23768UL, 0x85a8789bUL,
  0xee47b64bUL, 0x68272bd5UL, 0xeabb1d60UL, 0x5498ab6UL, 0x1e1f2ec4UL, 0x6fc9ce27UL, 0x902ab905UL, 0xdf8bb706UL,
  0xf6b3770UL, 0x5ba64eadUL, 0xb96e3b8UL, 0xa6975f3fUL, 0xd306b644UL, 0x355b42e0UL, 0x337192feUL, 0xced4bd21UL,
  0x10e19787UL, 0x70729d11UL, 0x6b593c6bUL, 0xef68333aUL, 0x4f0f5ed6UL, 0x1d44be37UL, 0x2aa3fa2bUL, 0x53723641UL,
  0xdbb6055bUL, 0x33fab153UL, 0x80aae46aUL, 0xaebf3597UL, 0xa70e4105UL, 0xe3655e70UL, 0x198da9f5UL, 0xc1547c33UL,
  0xc11c521UL, 0xa221f176UL, 0xff361568UL, 0x3f29d365UL, 0xa6b89e92UL, 0x9dd1ba65UL, 0x657ec0d3UL, 0x68bf3b0fUL,
  0xf8c77f81UL, 0xd5305553UL, 0x90e6973eUL, 0xf88daf93UL, 0xbf083971UL, 0xd7baa83UL, 0x7bd90de5UL, 0xe40bbc5dUL,
  0xef73b31fUL, 0x4622ac08UL, 0x5026666cUL, 0x4abaced4UL, 0x4dc3d7fdUL, 0x8f5db700UL, 0x863d4abdUL, 0x3d4a827aUL,
  0x4d7f0b5bUL, 0xe1d5aa43UL, 0x350806acUL, 0x8d73c65eUL, 0xa3df2605UL, 0x60102518UL, 0x392d026aUL, 0x27f5c207UL,
  0xa7fe4ebdUL, 0xf320363bUL, 0x7d88eea5UL, 0x391167f2UL, 0x6f19cffUL, 0xac246b4cUL, 0x47f71be0UL, 0x3d13320eUL,
  0x68d313f5UL, 0x6894d358UL, 0xa18a28f7UL, 0xba9176f8UL, 0xb1499493UL, 0xb56afc5cUL, 0x35f92bc5UL, 0x1b0c009eUL,
  0xa66936d0UL, 0x295dfc7aUL, 0x15ca2293UL, 0x9c398829UL, 0xa66f62fcUL, 0x6f348fd0UL, 0x578ab499UL, 0xc52a71fbUL,
  0x881c088fUL, 0x1d518b58UL, 0x4a5e827dUL, 0xcacc201dUL, 0x54d343baUL, 0x75e9c3deUL, 0x8939f614UL, 0xda26ac8dUL,
  0xbf6090dUL, 0xf38b25d0UL, 0xc0bece98UL, 0x238f61ffUL, 0x8e8f5a07UL, 0xc0cf8e60UL, 0x3d7de0efUL, 0xf5d07ce8UL,
  0x372673d8UL, 0x9db6c787UL, 0xc015e3f8UL, 0xa731024cUL, 0x7037b5c4UL, 0x62e85aecUL, 0x39761a69UL, 0x8093a4UL,
  0x1554f5f3UL, 0xcc21316bUL, 0xcca25b33UL, 0xa9238a6UL, 0xd52018a7UL, 0x65da77b5UL, 0xf0791ba6UL, 0x68b8396bUL,
  0x7277fbfUL, 0xc60a1d28UL, 0x9bcd007fUL, 0x89c085d1UL, 0x90eae401UL, 0x52bad43cUL, 0x6b061837UL, 0x57ea1411UL,
  0xd22810c3UL, 0x1522b0dfUL, 0xf1dd9d98UL, 0xa2cff1c0UL, 0x22d01631UL, 0x58c38804UL, 0x95cdb229UL, 0x23530615UL,
  0x248e3be4UL, 0x60a08e34UL, 0x7ab5114bUL, 0x4ec8ab38UL, 0xc1e49bc5UL, 0xbedca11bUL, 0x6dbf7d58UL, 0x5ef3b49aUL,
  0x6af30cf5UL, 0x32347d6fUL, 0x67a59ed3UL, 0x71edf0e1UL, 0x6aad84b1UL, 0x90770858UL, 0x61aeb014UL, 0x7e23f8ffUL,
  0xa031ed91UL, 0x1c5b6c3cUL, 0x7da66137UL, 0x4ddad93cUL, 0xd18bbe29UL, 0x9376fac9UL, 0xd8f6235aUL, 0xc8ec4f90UL,
  0x6ed64ea5UL, 0x323a5c57UL, 0xfcf924afUL, 0x511f205dUL, 0xae530cfcUL, 0xa4d79d9bUL, 0xc80edc04UL, 0xe78119b8UL,
  0xdb1182eeUL, 0xbe7c3955UL, 0x1f718b00UL, 0xbeacd477UL, 0x7e5fa1cdUL, 0x13a4577bUL, 0x21c1a8aaUL, 0x5241dfe6UL,
  0xd3cdd8deUL, 0x4f68efefUL, 0x91d65ee7UL, 0x8d33af8dUL, 0x2b13b0e3UL, 0x5e4dbf70UL, 0xa1859ee4UL, 0xd5bf88c0UL,
  0x71f42233UL, 0x287733d5UL, 0x7e89a98fUL, 0x3832769eUL, 0x2ba79704UL, 0x3910d2e3UL, 0x43d9193eUL, 0x742bdf14UL,
  0x56346056UL, 0xb96cb1f6UL, 0x7fae7295UL, 0x26be10dfUL, 0x22d768e1UL, 0x72171af5UL, 0xaed78dd8UL, 0x38ea1455UL,
  0x9e74127fUL, 0x481b53acUL, 0x4cbfcda3UL, 0x43cdbe51UL, 0x76b5473dUL, 0xa3e405d9UL, 0x473d060cUL, 0x6499b0a8UL,
  0x57d0c104UL, 0xa1425617UL, 0x2e1c8655UL, 0xbb1482d2UL, 0xf2985637UL, 0x189eb552UL, 0xf8b95331UL, 0xeb21280cUL,
  0xb665394UL, 0xbd2715a5UL, 0x82cd01dcUL, 0xf73ac570UL, 0x74ac6312UL, 0x2f843a9dUL, 0x559ec9aUL, 0x192d3f18UL,
  0xf7c32d5dUL, 0x5b50dd72UL, 0xe9ac1ad1UL, 0xf506655UL, 0xab354574UL, 0x2e1757eeUL, 0xeb048edaUL, 0xd7c37c2cUL,
  0xd700d53fUL, 0x831cb8d1UL, 0xee17bd42UL, 0x5a36dbb7UL, 0x6784ee79UL, 0x3a25ea1cUL, 0xa1a6527UL, 0xcc155fb0UL,
  0xe3c04b6dUL, 0x43d0e44UL, 0x348052d1UL, 0xe71b2c14UL, 0x4a454658UL, 0x11c0b41dUL, 0x4568c18fUL, 0xba10e712UL,
  0xb516b9eeUL, 0xb65aa1f2UL, 0x34c1722UL, 0xd36a0d58UL, 0x1fae8083UL, 0x4b1e76fUL, 0x8c5ac32fUL, 0x556600e9UL,
  0x406c91eaUL, 0x2385c29UL, 0xf8f83df3UL, 0x8d1be994UL, 0x73af81a8UL, 0xb611d5cUL, 0x521b69bUL, 0x104e78b7UL,
  0x8f786742UL, 0xeb6c68f5UL, 0x2d292468UL, 0x8289c456UL, 0xad5889c6UL, 0x85068f08UL, 0x5dc3c492UL, 0xc9633321UL,
  0xe5da05d5UL, 0xaf26a947UL, 0x79ea1cbUL, 0x86a613f9UL, 0xbd82901UL, 0x3c45c273UL, 0xee6bace3UL, 0x5b056cc7UL,
  0xa4783912UL, 0x1699f504UL, 0x44adc5f4UL, 0xe069ea8dUL, 0xb87056abUL, 0x3fc555afUL, 0xe1572f02UL, 0x65ab3b1dUL,
  0x1338a1eeUL, 0x32c7f36cUL, 0x8027665fUL, 0xb35f3116UL, 0x497f9604UL, 0x17fe433eUL, 0x91cf4989UL, 0x8cbfda64UL,
  0xada8df2eUL, 0x441637f1UL, 0xaceb9bb3UL, 0x4ddce237UL, 0xdbcd1c4dUL, 0x30d13538UL, 0x317dc19fUL, 0xa9055bd8UL,
  0x2b05d6e1UL, 0xca6f0928UL, 0x8ee772a2UL, 0x562dc168UL, 0x4c7ed5a7UL, 0x39bb9545UL, 0x63e586bUL, 0x9d383542UL,
  0x648203e9UL, 0xa0182a5cUL, 0x79331d85UL, 0xa2ec5452UL, 0xfbcd0680UL, 0xac0be273UL, 0x87678e1UL, 0x6dd077a8UL,
  0xe2674740UL, 0x77e31a63UL, 0x7d2d8542UL, 0x525914adUL, 0x75da67a3UL, 0x929975c3UL, 0xefaf6737UL, 0xf7041870UL,
  0x2aba3eb9UL, 0xff770419UL, 0xc88df89cUL, 0x2c09ba21UL, 0xcc064b4UL, 0xfef127f5UL, 0xd428d481UL, 0x648eb55bUL,
  0xa7981be6UL, 0xf4855266UL, 0x85afda3fUL, 0xc1e84f6eUL, 0xd618542bUL, 0x68251db7UL, 0x47dec31dUL, 0x5aef78d1UL,
  0xfd7ebedbUL, 0x394b92cUL, 0x5884d41bUL, 0x2cb24bfdUL, 0x49eff22eUL, 0xd2c9abcdUL, 0x22bd081UL, 0xe3dbd661UL,
  0xbf5de954UL, 0xc989730dUL, 0xae77267eUL, 0x7e7011b1UL, 0xb83a221fUL, 0xaadc9a07UL, 0xaed4f86dUL, 0x6cd0679UL,
  0xa041c5c1UL, 0xa6772e1fUL, 0xc0ca7551UL, 0xa16b443UL, 0x736b9537UL, 0x44f4cf0UL, 0xc54c1c15UL, 0x922994dbUL,
  0xe2a88f1aUL, 0xc9b740f6UL, 0x1063525UL, 0x3d993ea1UL, 0x8c847aaUL, 0x385df5e9UL, 0x3f718395UL, 0xf81f1bffUL,
  0x94cefda8UL, 0x43d3e1dcUL, 0x11325c7UL, 0x8d42f456UL, 0xcbd3e93fUL, 0xf71fafa3UL, 0x96156605UL, 0x90dd43efUL,
  0x3302ed4UL, 0x2d8723a0UL, 0x83b4a143UL, 0x7aab2f63UL, 0x3c01d04aUL, 0xa3c3b377UL, 0xd63ec6caUL, 0x1daae350UL,
  0x11408e15UL, 0xbe790b2fUL, 0x3aac594cUL, 0x67ac1a78UL, 0x2f801c0dUL, 0x71a7a958UL, 0xcef1a325UL, 0x29b5e06aUL,
  0xb267365cUL, 0xcf1b65f9UL, 0x8fff3cf6UL, 0xd0c80fd6UL, 0x632be4f0UL, 0x7a31ed66UL, 0x167a715fUL, 0xa37cefa2UL,
  0xc3f5c4a4UL, 0x1e206930UL, 0x6207853cUL, 0x9f34db87UL, 0xc3ad97f8UL, 0x352d52fUL, 0x3cd64f2UL, 0xf9448892UL,
  0x170e2b4UL, 0xc15298fbUL, 0xcdd0788UL, 0xef056571UL, 0x1dbbf9cUL, 0x99514992UL, 0x713005c1UL, 0xdc1fd831UL,
  0x8c9294dbUL, 0x9022c8e1UL, 0x4f2a1bbdUL, 0x37b30651UL, 0x47340c33UL, 0x3ce0a33eUL, 0xc46c0767UL, 0xcc69d28dUL,
  0x912e9cd0UL, 0x86dada2fUL, 0x798efa41UL, 0x74d674adUL, 0x6421253eUL, 0x6ee731b1UL, 0x57c10ac1UL, 0x6b20f00fUL,
  0x4ee6c468UL, 0x1787667bUL, 0x2e298fa6UL, 0xeef6f23aUL, 0xedc129UL, 0x948330aUL, 0xfa9ba327UL, 0x42c77b9aUL,
  0x48bc9a64UL, 0xf2b704e5UL, 0xb69581a7UL, 0xb9003f3cUL, 0x3867c148UL, 0x3f8725beUL, 0xdb44d8c5UL, 0x6a7ad4d8UL,
  0xda7023e8UL, 0x1931ecf0UL, 0xe6e84ea5UL, 0x646bb448UL, 0x71756f4bUL, 0xf13019e9UL, 0x2f4d26cdUL, 0xb9ce095dUL,
  0xebcbf3feUL, 0x1da28ed0UL, 0xdf573583UL, 0x162077f7UL, 0x46b96d84UL, 0x73ace555UL, 0xce80821bUL, 0x7ea66628UL,
  0xbe6271b7UL, 0x6280076bUL, 0x179ed4a3UL, 0x833ac087UL, 0x5a1d1325UL, 0xc681f79bUL, 0x5e0f4c8cUL, 0x5bac73bUL,
  0x10b56425UL, 0x9f6a1c42UL, 0xc9c3e331UL, 0xa41fd086UL, 0x1849acbfUL, 0xb606e877UL, 0x85e33518UL, 0xfd47da83UL,
  0x50663cf0UL, 0x11c8a057UL, 0xf926b382UL, 0xd7e988c3UL, 0xf0b94037UL, 0x526a6daeUL, 0x13f772ddUL, 0x4dcc7d68UL,
  0x1d6d1e7bUL, 0xd8988389UL, 0xc071c703UL, 0x8837454dUL, 0x609ffd91UL, 0xb64d32c2UL, 0x1d104f4aUL, 0x54719b1bUL,
  0x46ad5cceUL, 0xb9f2ac09UL, 0x813cd677UL, 0xafa29370UL, 0xde7fb94eUL, 0x649b8625UL, 0xc5f19a70UL, 0x286efd9eUL,
  0xf8a4bfa1UL, 0x1911c573UL, 0xfd48ea3aUL, 0x2e62c5f8UL, 0x2441688dUL, 0x6b0cfb91UL, 0x3834a07bUL, 0x9a12b839UL,
  0x407619f3UL, 0xc0e52fe7UL, 0x202c3cb7UL, 0x3b496c76UL, 0x1ed7fccbUL, 0x990afc84UL, 0x6eaeac06UL, 0x3a80c96eUL,
  0x8ef56ac6UL, 0x6b2f3bf7UL, 0xcb2a1c47UL, 0xd09032eeUL, 0x434eee89UL, 0xbfae01ceUL, 0xf9b7beb6UL, 0x476dc85cUL,
  0xde063b26UL, 0x420fe1b2UL, 0x2b518f5cUL, 0xbe7f807aUL, 0x66902421UL, 0x2b4c391dUL, 0xa20538abUL, 0xef4f7fe6UL,
  0x269d5f4cUL, 0xb88f3dacUL, 0xd7fbc3cfUL, 0x891a4925UL, 0x8aa72c0bUL, 0x600feee9UL, 0xd56a11b7UL, 0x753de9a4UL,
  0xca8e17cfUL, 0xb191ea09UL, 0x893c6a66UL, 0x8d0dc4d6UL, 0xd03ee874UL, 0x4dcb9adfUL, 0xed3761ffUL, 0x935a6319UL,
  0x4ac26c86UL, 0x24c7d22fUL, 0xccd63adcUL, 0xc93a6a24UL, 0xc0263b88UL, 0x9f16a65aUL, 0x5c97394eUL, 0x5bc44784UL,
  0x9135c3cbUL, 0x7833c281UL, 0x7e4dc371UL, 0x22afce18UL, 0x6190d8cdUL, 0xffb22594UL, 0xee65030UL, 0x6d88b670UL,
  0xd988505cUL, 0xe17b44dfUL, 0x4d1efd59UL, 0xc91719a4UL, 0xafb16c26UL, 0x460ef367UL, 0x7f2d7931UL, 0x5234993fUL,
  0x17d3a104UL, 0xca66285UL, 0x4297df4eUL, 0xee570f67UL, 0x1e66923dUL, 0x7391238cUL, 0x637404abUL, 0x277bb41dUL,
  0xb71ba5c8UL, 0x3c998202UL, 0x3fe56989UL, 0x13e52937UL, 0x6a96b35aUL, 0xa0aa7dafUL, 0xb77971c8UL, 0xb28a1c32UL,
  0xd938ae13UL, 0xd2e2e6f0UL, 0x9a6104ebUL, 0x778496bUL, 0xbcc421e8UL, 0x6de6e21fUL, 0x7701f8faUL, 0x84da6ba4UL,
  0xf1b380a1UL, 0x82c4070UL, 0xb1907bccUL, 0x318763bcUL, 0xe85ab7a8UL, 0x7b30d3d7UL, 0x5852e0f2UL, 0xe1d8dfe0UL,
  0xd05154dfUL, 0x3f99ccd9UL, 0x5a0bf895UL, 0xc343dbc7UL, 0x9fc0a367UL, 0x219497aaUL, 0xe240cce1UL, 0x4e94fb0UL,
  0x51fc714fUL, 0x8a76b1ebUL, 0x4571ab1dUL, 0xd939fd97UL, 0xe4cb9a53UL, 0xcb401fb4UL, 0xdb82f94eUL, 0x92180da3UL,
  0x2ec9d29bUL, 0x9edc365dUL, 0xc8db8ed9UL, 0x25879375UL, 0x2e8284fdUL, 0xa2da7528UL, 0xac9f525eUL, 0xcdc55f8cUL,
  0x2d429589UL, 0xa3f2b3b2UL, 0x846c5610UL, 0x20cdbedUL, 0xf3b5604dUL, 0xcbb149aUL, 0x4f178a42UL, 0x3b2ead9cUL,
  0x5133b55fUL, 0x6647f329UL, 0x47814c65UL, 0x8f9d7118UL, 0xf1fc399bUL, 0xbb5a395bUL, 0xcffcaa00UL, 0x2c9ba27UL,
  0xa85896d9UL, 0x73c4a7d3UL, 0xe93382c6UL, 0x4b16daa8UL, 0x555f85b7UL, 0xf03de5b1UL, 0x1b2ed31fUL, 0xb58d6c5aUL,
  0x2e730b1cUL, 0x4a20cc96UL, 0x983829e8UL, 0x5dacf6afUL, 0xb401199aUL, 0x2d6de765UL, 0x76d1bd75UL, 0xfbf352f1UL,
  0xb10470f3UL, 0xbc564aa8UL, 0xd9073c8fUL, 0x9630f290UL, 0x4012e677UL, 0x1b889039UL, 0x10b15d0fUL, 0xbe066f18UL,
  0x904b4dd4UL, 0x2c64274fUL, 0x52ba42e9UL, 0x3205258UL, 0x7b08eb95UL, 0x8fadd1ecUL, 0x5b620cf7UL, 0x289a8ef4UL,
  0x1871ae62UL, 0xebc65a4bUL, 0x3e2741a7UL, 0x203d3400UL, 0xb4f76efUL, 0xa3709326UL, 0xda975a67UL, 0x3802bbd0UL,
  0x1fb43666UL, 0xb363ec40UL, 0x11bbed57UL, 0xbbadc1a6UL, 0x722e230fUL, 0x6f343c2aUL, 0xfe784270UL, 0x1ceb6ddbUL,
  0xc414651aUL, 0xe64c49e5UL, 0x511c86d7UL, 0x960d84f9UL, 0x262cded6UL, 0xb866c30eUL, 0xe431780fUL, 0x16535b2cUL,
  0xb902e91cUL, 0x673b6581UL, 0xccbb37ddUL, 0x938557d6UL, 0xc4af6932UL, 0x387186b2UL, 0xa8f2cf7UL, 0x32bdd3a3UL,
  0x1736ee06UL, 0x7e7cf6c5UL, 0x2367e43dUL, 0xe2cfd1a3UL, 0x1a304ffbUL, 0x94e4fbeUL, 0x4d4bd934UL, 0xb7ff1cfbUL,
  0x3d2f1cdeUL, 0x693886a7UL, 0x3eda9f97UL, 0x3ebe864UL, 0xd8a81e5UL, 0xc774d9faUL, 0x505a6432UL, 0x66100e99UL,
  0x5c0253aUL, 0xf61dd143UL, 0x2ff0064bUL, 0xca3f3b2dUL, 0x918733ffUL, 0x8bc141ccUL, 0x6196011cUL, 0xcbf6c9cfUL,
  0x57c6ebebUL, 0x18704e04UL, 0x58610519UL, 0x62231ad2UL, 0xa7b98d0UL, 0xe32d21d6UL, 0xbbbb4ae1UL, 0x2056c9cUL,
  0x7a3f20b2UL, 0x52ef36fUL, 0x174f636UL, 0xa01df9d4UL, 0xafdd827cUL, 0xf54e9505UL, 0xe715531dUL, 0x78cca28aUL,
  0x9446fef4UL, 0x6ecacdcfUL, 0x102d982cUL, 0xaf977d07UL, 0x71dd4affUL, 0x87565f09UL, 0xa9d0241dUL, 0x1ffa1a67UL,
  0x6a526b79UL, 0x64167b0dUL, 0x26e10d89UL, 0x6043a261UL, 0x412903d7UL, 0x87dd0399UL, 0x8edca4f0UL, 0x598778a0UL,
  0x442db0b2UL, 0xdd0224fdUL, 0xadee8115UL, 0x585f59eeUL, 0x694a24fUL, 0x2e8b9bc6UL, 0xf54b89e4UL, 0x31031a19UL,
  0xbf8b01f8UL, 0x941d6f4fUL, 0xebc690cbUL, 0x1f27a852UL, 0x67a6f55fUL, 0xcc596a6aUL, 0x9defe917UL, 0x9d504659UL,
  0x604aae35UL, 0xa7d343dcUL, 0x197b335cUL, 0x1b954036UL, 0xab00cf5bUL, 0xfd8d5300UL, 0x11cd8b90UL, 0x7987ee0UL,
  0x5bb98937UL, 0x373e340bUL, 0x13002e67UL, 0x6a3e20ddUL, 0x4204d70dUL, 0x22f2c2c2UL, 0x954a116UL, 0x1c5ea50cUL,
  0xb16fef03UL, 0x1d8dbec3UL, 0x5483a5fUL, 0x2c158f73UL, 0x628f56fcUL, 0x73b00b40UL, 0x9d0950caUL, 0x9a1e40c9UL,
  0xe483a578UL, 0xac3ee162UL, 0xcecb44c1UL, 0xb0ffa5e4UL, 0xfe42458aUL, 0x851fc97fUL, 0x8e173dc4UL, 0x698fc630UL,
  0x9e2fad83UL, 0x79389b48UL, 0x27af0878UL, 0x34171eceUL, 0xa5c85706UL, 0x52db6e41UL, 0x67659d8aUL, 0xac4ced9cUL,
  0x9e879675UL, 0x77156c66UL, 0x90253ccUL, 0x8c0a1d26UL, 0xc6dfac1bUL, 0x2defd603UL, 0xdac30572UL, 0xe4d5922fUL,
  0xc841fc69UL, 0x3a2d25fcUL, 0x1704ddd7UL, 0x4c564863UL, 0x5ed422d7UL, 0x8953a6dbUL, 0x7201ea16UL, 0x925a7d52UL,
  0x98580649UL, 0xc19e2203UL, 0x79862d18UL, 0xb8b190b0UL, 0x7f52afe3UL, 0xa5ed4c0eUL, 0x605da072UL, 0x3a379a6dUL,
  0xa023ae9UL, 0xea9a1fdUL, 0xaee879e7UL, 0x24ec3295UL, 0xa3c32a3eUL, 0xcc921d3bUL, 0x7cfbb85bUL, 0x7dd731fdUL,
  0xec6fe3bUL, 0x5cd4ba8fUL, 0xdf6e5e54UL, 0x44f71d92UL, 0x64f90e4aUL, 0x66cd8d4aUL, 0x1e1179bUL, 0x23460473UL,
  0x98705938UL, 0x11137e0dUL, 0xc1cd99b5UL, 0x403ea9e5UL, 0x66c8d0e6UL, 0xfce9fb7cUL, 0xb24b64b0UL, 0x2bd29d1aUL,
  0x32460ec2UL, 0xfb7a35d0UL, 0xda5c6e2eUL, 0xc674d6dcUL, 0xce3dc762UL, 0xda1e18d0UL, 0x4495fd48UL, 0x31ca844UL,
  0xc3c1f1a8UL, 0xef9a82f1UL, 0x2eec08d4UL, 0x6585efd0UL, 0xc644783cUL, 0x16eabe49UL, 0x50217af5UL, 0x5b8d8e51UL,
  0x4f58b6afUL, 0x81c2b6e1UL, 0xd126d27fUL, 0xea72c275UL, 0x864c85ccUL, 0x7261d435UL, 0x7aa2eed6UL, 0x397d68f9UL,
  0xa47c662fUL, 0xb8300aa3UL, 0xbc23fc6fUL, 0xc31d91f8UL, 0xa3f7ebd2UL, 0xb2d01d6fUL, 0xc6eb8fa9UL, 0x9bd4a978UL,
  0x1d64a985UL, 0x4ab4d86UL, 0x95e84277UL, 0x71021ea7UL, 0xd32a6c5UL, 0xe43651bdUL, 0xa80c1a3UL, 0x8866eff9UL,
  0xc06d545dUL, 0x4bb041eeUL, 0x73a4c8a7UL, 0x1ea9c814UL, 0x653d01e0UL, 0x4cf5d704UL, 0x701290cbUL, 0x7f69e34UL,
  0x554053eeUL, 0xab394e70UL, 0x3b719c9fUL, 0x5baba9e4UL, 0x6c7c925cUL, 0xe64bed9bUL, 0xb227a217UL, 0xa25f4d9eUL,
  0xffdd0ad0UL, 0x253b1a05UL, 0x61638847UL, 0x195cbfe4UL, 0x61dc26b0UL, 0x80c28a99UL, 0x3a8860beUL, 0x5e474f2cUL,
  0x2c708a52UL, 0x8baa3be6UL, 0x30371816UL, 0xd9881967UL, 0xb12e3f2bUL, 0x53b93e81UL, 0xcc7961aaUL, 0x93663b93UL,
  0x1fcc7b4bUL, 0x908175feUL, 0x296c858eUL, 0xef925fd0UL, 0xe3d50e3dUL, 0x1866517dUL, 0x60eb815UL, 0xe9179fc0UL,
  0x64a01a0cUL, 0xe281b1cbUL, 0x2edde431UL, 0xeab27dc7UL, 0x4df29095UL, 0x8e7dbdc9UL, 0xa992c95dUL, 0x8697a9f8UL,
  0x1b9226ecUL, 0xc7828e98UL, 0xe5864873UL, 0x1d8102c2UL, 0x7413b10eUL, 0x4aa466e0UL, 0x3578d5deUL, 0xb015e575UL,
  0x3476b2b4UL, 0xcf444315UL, 0x832ff2e4UL, 0x2a4d48abUL, 0xf7ae5d99UL, 0xcf04ec2fUL, 0xf7265d6UL, 0x146f6b2eUL,
  0x635886efUL, 0x65a03392UL, 0x680754d8UL, 0x3c16142aUL, 0x2f394107UL, 0x324317d5UL, 0xf41e35c7UL, 0xf38dc3f0UL,
  0xea0c088UL, 0xca4cb3ccUL, 0x4dbb9353UL, 0x6d24fdb0UL, 0x41fa237UL, 0x777b42b2UL, 0xdc07a0f1UL, 0x1698e9d2UL,
  0x82cb7c2aUL, 0x124a1b7UL, 0x5c0e2fffUL, 0x8e7f0cd8UL, 0x196ca195UL, 0x1fcd8004UL, 0x61cbade9UL, 0xdae1d10bUL,
  0xb3f7085aUL, 0xc047b035UL, 0x73d23c69UL, 0xbd2f799UL, 0xc5282485UL, 0xd70a16bfUL, 0x94f935c5UL, 0x707ed9fbUL,
  0xbe4b9588UL, 0xadf663cUL, 0x2c2bbe3cUL, 0x41f067daUL, 0xf261bf1cUL, 0xba01b707UL, 0x7c15ffe0UL, 0xc3e99b43UL,
  0xa8249b0cUL, 0x30fcb226UL, 0xc3e312f7UL, 0xb2b5a2d3UL, 0xbdcd8aaUL, 0x6442aa95UL, 0xdeecd1e6UL, 0x51291a7bUL,
  0xc68873f9UL, 0xb23cef72UL, 0x34eb10ccUL, 0x5631bfebUL, 0x1f5c8fa3UL, 0x5c00b3c5UL, 0xfd64e5b0UL, 0xf8ee5c78UL,
  0xca94fa98UL, 0x5183aa92UL, 0x905ba579UL, 0xf654f206UL, 0x8242e4beUL, 0x260dce29UL, 0xc0ff0d08UL, 0x56199cb4UL,
  0xb3f39394UL, 0x9dfd4fbeUL, 0x9d76b25cUL, 0x9d30c32dUL, 0x132c40d9UL, 0xfbccd3f4UL, 0x19d39c4fUL, 0x8509d15cUL,
  0x5b8b2bbbUL, 0xf1e5e78eUL, 0xd80213f6UL, 0x59290070UL, 0x3b3cd0c0UL, 0x6c742cfbUL, 0x21ff2764UL, 0x21f5200UL,
  0xf64a0df8UL, 0xaf7cc32fUL, 0xf4078c2bUL, 0x3b7ba225UL, 0xc07cd6d4UL, 0x1e0287d0UL, 0x46d20c52UL, 0x83848676UL,
  0xd6a27543UL, 0xdb9b7485UL, 0xb0f93b77UL, 0x307cebebUL, 0x27eb5143UL, 0x1b4088dbUL, 0x86e8373eUL, 0x27e32e72UL,
  0xb1cc67b4UL, 0xbe5319c6UL, 0xef5cc9e6UL, 0xa8d89145UL, 0xb9cdf43aUL, 0x708c2e59UL, 0x12e97dc9UL, 0x7ccb12faUL,
  0x3439d1ddUL, 0xe66925f3UL, 0x3ea861f2UL, 0x831788eaUL, 0x5b4d1cdcUL, 0xe0a64785UL, 0x9805f0e1UL, 0xbd10424bUL,
  0x960d7babUL, 0x21f8443UL, 0xe79077b5UL, 0xb795672aUL, 0xbe034f78UL, 0x9a4ab29eUL, 0xdca7a900UL, 0x74120916UL,
  0x25e99c82UL, 0xa5936847UL, 0xa13e6ff4UL, 0xd0f77ae5UL, 0x355e2c48UL, 0xeabc8943UL, 0x9c862c78UL, 0xe4f32620UL,
  0x47b19d08UL, 0x26cea6b0UL, 0x809d75b9UL, 0xef0edd0cUL, 0xf3889be5UL, 0xbfc77ac0UL, 0x6cd4ffbaUL, 0xf2a4f7b8UL,
  0xaab10548UL, 0x38ac34f5UL, 0x1739c4cbUL, 0xaed5a1ddUL, 0xe2af0c21UL, 0xf13ad226UL, 0x5f31281UL, 0x1b27a070UL,
  0x19fcfb93UL, 0xf1c53e88UL, 0x413d82caUL, 0x935d8a86UL, 0xf44f066eUL, 0x881fa95eUL, 0x6b5181a7UL, 0x222a860dUL,
  0xd1a74809UL, 0x7d61f9faUL, 0xecd0b2c7UL, 0x8ba19fb1UL, 0x4affc79fUL, 0x40d6b73cUL, 0xb24615e8UL, 0xdbfed5a0UL,
  0xe3708408UL, 0xc2ced5b7UL, 0x6ae30298UL, 0x229551a4UL, 0x5fbe78efUL, 0x61bf40deUL, 0x41717b88UL, 0x15187625UL,
  0xbf8efbf4UL, 0x2ae81617UL, 0x6a55a5b0UL, 0xd62b7b0cUL, 0x28f821acUL, 0xae198cbaUL, 0xff2714ffUL, 0x3c7fa9f2UL,
  0xa0422a73UL, 0x7a42715UL, 0xb751592fUL, 0x7464763cUL, 0x6fa0d05dUL, 0xf63eac36UL, 0xe24f0b1cUL, 0x59bc4909UL,
  0x3a36511aUL, 0x5fd92ccaUL, 0x58018f66UL, 0x1b24c901UL, 0xefce4cf2UL, 0x2d04548eUL, 0xa96d41b4UL, 0x80c26d8aUL,
  0xd349cc1bUL, 0x2876119dUL, 0xf83a646aUL, 0x984bb3a8UL, 0x583c34e1UL, 0x57a88f1bUL, 0x2e96c4c9UL, 0x6e0d9423UL,
  0xe68e63fbUL, 0x5d5ba962UL, 0x73de0176UL, 0x50b9e40eUL, 0xf3a25bc9UL, 0xa6d59bd6UL, 0xbae35218UL, 0x2b0e4355UL,
  0x3e17107eUL, 0x8c12021dUL, 0xdda7abbfUL, 0x8a01b66fUL, 0xcb8c0a2aUL, 0xa6cac52aUL, 0xe5091918UL, 0x713ebe61UL,
  0x3200d264UL, 0xd1caa9d3UL, 0xd3b57051UL, 0xc8728885UL, 0x82559c7UL, 0x3acaea3eUL, 0xf3e6b406UL, 0xae7b734dUL,
  0xe11827e3UL, 0xc4c3eUL, 0x9f9c13f4UL, 0x8cae11efUL, 0xbec73fb0UL, 0xc6d5417cUL, 0x99e7d83fUL, 0xfb3c42e0UL,
  0x2f134b3dUL, 0x12879484UL, 0xebaec0f9UL, 0x2c2c61a6UL, 0xef835717UL, 0x84833f4fUL, 0x733febf7UL, 0x89c87136UL,
  0xa39030a3UL, 0x5ee814c1UL, 0xafc08ba9UL, 0xff9ba5b9UL, 0x49916579UL, 0x7f790d00UL, 0x54279ad7UL, 0xc0cf4f18UL,
  0x74b75a35UL, 0x3e698d17UL, 0x2e876397UL, 0x60c260b3UL, 0x747da2b4UL, 0xfcbe39c8UL, 0xce230d20UL, 0x713b975aUL,
  0x9593731cUL, 0x8849f26dUL, 0x621417f2UL, 0xd55f715UL, 0xfa3da79aUL, 0x6bd04b07UL, 0xa83c1dbeUL, 0x1c005425UL,
  0xde2c1cfcUL, 0x46f3603bUL, 0xf4ba626UL, 0x5a1df7afUL, 0x29a35e1eUL, 0xc2f382aUL, 0x3ebf41d6UL, 0x6e683be3UL,
  0x1c306298UL, 0x95b1ed2fUL, 0x1a7293dcUL, 0x4d4ac375UL, 0xaa3daadbUL, 0x6b1ff603UL, 0x414359f7UL, 0x38184a79UL,
  0x1e04f69eUL, 0xaf611120UL, 0x73bc2b6cUL, 0x3d86aa8aUL, 0xdbb2a309UL, 0xc50046d6UL, 0x2bf73e46UL, 0xb7a1997fUL,
  0x37984e7UL, 0xa4090ed1UL, 0x205766c9UL, 0x5ae78077UL, 0xf1e87595UL, 0x128b33c5UL, 0xd40d04d8UL, 0x7bb67c6eUL,
  0xf9b7b8a8UL, 0x28246199UL, 0x49afefa7UL, 0x721cfd9cUL, 0x592130f2UL, 0x2c3f533dUL, 0x357b13d7UL, 0x79f55bdcUL,
  0x28bf5cbbUL, 0xd1c65591UL, 0x8a199e44UL, 0xcf7d5c7fUL, 0xad7d6cedUL, 0xb202a0caUL, 0x9a1082b3UL, 0x402711fdUL,
  0xf0df5249UL, 0x37c7a421UL, 0x166405a4UL, 0x7d72bef4UL, 0x7dc0024eUL, 0xb5b4c07bUL, 0xfefd6624UL, 0x85426511UL,
  0xb9559622UL, 0xdef72b8aUL, 0xdce577a9UL, 0x8dfdd4bcUL, 0x6be61c1dUL, 0x93769b93UL, 0xa7feb61eUL, 0xd8a16dedUL,
  0xea5035c2UL, 0x3321d959UL, 0xdcef258cUL, 0xa30b8e37UL, 0x9ddff9f3UL, 0x86c0d243UL, 0x40ec8906UL, 0xfe410f96UL,
  0x98e3888fUL, 0x332c9b79UL, 0xe6595afaUL, 0x4b5181b7UL, 0x1d9564f3UL, 0x71b88e1dUL, 0x2d3e24f6UL, 0x5ac7bf7dUL,
  0xaa39cadeUL, 0x1b904766UL, 0xb26ae73eUL, 0x3532570UL, 0x3bdef30fUL, 0x94c46c84UL, 0x24f87e1UL, 0x80d07a75UL,
  0x51febccbUL, 0x2b9eb1fcUL, 0xa0eafcfbUL, 0x4b269d8bUL, 0xa5a078e9UL, 0xb756e5aUL, 0xd08781f3UL, 0x98d3570dUL,
  0xc957fbfeUL, 0xf46cbcceUL, 0x14e4c6bcUL, 0x5c22b7faUL, 0x58bb4acfUL, 0x47149b7cUL, 0xf62146c5UL, 0xfa386495UL,
  0x561f0c5UL, 0x38f28834UL, 0x69ac5e67UL, 0x21acf0acUL, 0xfb7decdcUL, 0xd7d99c59UL, 0x371fe322UL, 0xdcfc6eb9UL,
  0x47f585a1UL, 0xc5608f8cUL, 0x40e5f846UL, 0x198669ebUL, 0xaee303c0UL, 0x894e9219UL, 0x63418c73UL, 0x55a9ad2aUL,
  0xcdf82d6bUL, 0x72f66004UL, 0x4cc1ca9dUL, 0x477ee668UL, 0x5d152b27UL, 0x49fab142UL, 0x689b7f0UL, 0xe19bb4daUL,
  0x9854a2a0UL, 0xc4b8a970UL, 0x2792daddUL, 0xb1b7ec27UL, 0x221e33fUL, 0xdad5f3ceUL, 0x21ed563bUL, 0x1a7accdcUL,
  0x6e3600abUL, 0x1a2ade59UL, 0xa6107339UL, 0xe9bccd9dUL, 0xff712630UL, 0x8fce98abUL, 0xe7d7f6ebUL, 0xda9aec6aUL,
  0xe494bf4cUL, 0x356da6c8UL, 0xa02e3ee7UL, 0x38096af5UL, 0x2c57a810UL, 0x1a2330daUL, 0xf9a64534UL, 0xb6c86208UL,
  0xd13f28abUL, 0x1eb74103UL, 0xe0314fafUL, 0x6a949ad6UL, 0xc906e5a7UL, 0x9de1fe4eUL, 0x671731dbUL, 0x8818326bUL,
  0x87b86800UL, 0xea1c2985UL, 0xcfe5a208UL, 0x156c403dUL, 0xef11eb44UL, 0xc031ff92UL, 0x686c7d6aUL, 0xc17b5c75UL,
  0x799e9954UL, 0x77100ff2UL, 0x17513f39UL, 0xe56c4bb0UL, 0xef94d543UL, 0xb942284aUL, 0x9ad637e5UL, 0x3ade2416UL,
  0x417b0f22UL, 0x1960dc40UL, 0x998e8a13UL, 0x9ec604deUL, 0xcc4b0618UL, 0x8139c535UL, 0x4d5ca455UL, 0xe2a98bd8UL,
  0xe0226e82UL, 0xf83391acUL, 0x1e4720b8UL, 0xc8976979UL, 0xeff2e609UL, 0xcfc17e42UL, 0x2497e701UL, 0x28af1a60UL,
  0xefe96c23UL, 0xc0308caaUL, 0x6f06d696UL, 0x200ed141UL, 0x3846158aUL, 0x603e468dUL, 0x7b6e8b79UL, 0x18f25011UL,
  0x28bd767cUL, 0xb2e2f3c7UL, 0xa2fc4924UL, 0xd1630179UL, 0xf0489f40UL, 0x6e19e31cUL, 0x9502495cUL, 0x3451fbabUL,
  0x5ef01d5dUL, 0x77839ce6UL, 0xcecaca6UL, 0x28e943bUL, 0xbb06bca1UL, 0xf7775b83UL, 0xcd9ff14cUL, 0xcef9bc21UL,
  0x293a4931UL, 0xe138ffdfUL, 0x90bbc630UL, 0x9c73b4e3UL, 0xf0558018UL, 0x4a53755fUL, 0x2f7c222eUL, 0x4038652cUL,
  0xa8b7e183UL, 0x71f92a9cUL, 0x56f8f18aUL, 0x334e180aUL, 0x98af40c7UL, 0x85edf93dUL, 0x602b88f1UL, 0xa4b19414UL,
  0x70cb5d96UL, 0xb975b8a5UL, 0x4e37185eUL, 0xdde97e7cUL, 0x4717ad2fUL, 0x1c059652UL, 0x18242a34UL, 0xe9c1887cUL,
  0x64770f4UL, 0xc615cdc4UL, 0xa2927482UL, 0x57f93a60UL, 0x4d54b610UL, 0xe2503681UL, 0x56ee2674UL, 0x785c4f74UL,
  0x28aa3e71UL, 0x2327c8f7UL, 0x91094ebeUL, 0xa46649d2UL, 0x1c7f8a00UL, 0x47d2adacUL, 0x52dcf845UL, 0xc6b6cfe1UL,
  0xc513b821UL, 0xa07ccc3dUL, 0x3c37c8bbUL, 0x3680db43UL, 0xe6f1f1ecUL, 0xd53cb061UL, 0x3a8c48ffUL, 0xa1f56a1fUL,
  0x69a8f3d8UL, 0x72dc488fUL, 0xd9e7d22fUL, 0x47ea52dcUL, 0x6589938cUL, 0x317a64afUL, 0xa33bdff9UL, 0xcbc09813UL,
};
#else
static const mp_limb_t ecc_unit[16] = {
  0x1UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
};
static const mp_limb_t ecc_table[4096] = {
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x3UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x5215f2a4UL, 0x89a589cbUL, 0xc235f5b8UL, 0x8028fe5fUL, 0xe3a41e9UL, 0x3d75e6a5UL, 0x4fd036e9UL, 0xdf1626beUL,
  0xcbefa921UL, 0x778064fdUL, 0xacf1abc1UL, 0xce5e1c93UL, 0xe25450e6UL, 0xa61b8816UL, 0x7a836ae3UL, 0x7503cfe8UL,
  0x1510b33aUL, 0xf09d8973UL, 0x15125d8aUL, 0x59909501UL, 0xf630e13aUL, 0xf29037e7UL, 0xd031d853UL, 0xe5caff31UL,
  0x17e3675aUL, 0x5dee8b49UL, 0xc6b5eda2UL, 0x7a956818UL, 0xe30a0b3aUL, 0xc2fdbb0aUL, 0x65445e33UL, 0xfc448915UL,
  0x73c034bfUL, 0xbb4b29eaUL, 0x8e23439bUL, 0x74ebb4e8UL, 0xf613096eUL, 0x96594d45UL, 0xc7c4b6dUL, 0x4029ea20UL,
  0xf15b4fabUL, 0x4d95af09UL, 0xefa4bc13UL, 0xc96e40c7UL, 0xc2cc8801UL, 0x87323dd1UL, 0xca792c90UL, 0x8cf28a47UL,
  0x4b5af16bUL, 0xf143a80eUL, 0xb0ccb6dUL, 0xf1470a8dUL, 0xd383cd2eUL, 0x8c869415UL, 0xb667805cUL, 0x25d30034UL,
  0x30136564UL, 0xc3423ee8UL, 0x51adbfe1UL, 0xf9eb2deeUL, 0x5d97a348UL, 0x1704532eUL, 0x94e59114UL, 0x73de4512UL,
  0xb91412eaUL, 0x28abff30UL, 0xa89dc402UL, 0xe73a34aeUL, 0x481c3ac6UL, 0x9348baf8UL, 0x5d8a4127UL, 0x153844abUL,
  0xe83bccdfUL, 0x9fbd304eUL, 0xd5555f07UL, 0xb9395802UL, 0x9517fc4bUL, 0xaa460afbUL, 0xdc8a2870UL, 0xfc162116UL,
  0x50b5a248UL, 0xb34a14d9UL, 0x51c0211dUL, 0x604fc0c8UL, 0x95b488d5UL, 0x391ca41aUL, 0x27292fd3UL, 0x6768a4d6UL,
  0xddfb3e54UL, 0xbc9bc22bUL, 0xd34ef1ebUL, 0x3b53bb28UL, 0xfa11b0bUL, 0xf0441f12UL, 0xa2822ea1UL, 0xb6cdd898UL,
  0xed50b9e6UL, 0xc494e3e4UL, 0xe8e83d3bUL, 0x7af5f010UL, 0xf9364e92UL, 0x3a9f348aUL, 0x7fc6dc63UL, 0x2852f040UL,
  0xc9ed22a1UL, 0xa6a1a672UL, 0x2f019540UL, 0xa2fcd8acUL, 0x6490a5bcUL, 0x5212bcbfUL, 0x716b20e0UL, 0x9dbce605UL,
  0x4460739aUL, 0xc7f0d39aUL, 0x87692558UL, 0x40e8cf50UL, 0x5c6ae5f3UL, 0xcfca7a74UL, 0x6c47ec01UL, 0x26b3c4cfUL,
  0xede974ddUL, 0x8afdbc42UL, 0x4e76d94dUL, 0x96c9db5bUL, 0x95f4fc72UL, 0xc630f3UL, 0xa1e31127UL, 0x898cc032UL,
  0x11bd0be1UL, 0xcd86e1f9UL, 0x1d20680cUL, 0x37df44f4UL, 0xbd9a3d0UL, 0xdcf2a51eUL, 0xe6a96e32UL, 0x1633d5dUL,
  0x2b7d1887UL, 0xa4164c03UL, 0x3d8bc5b0UL, 0x29b6ed83UL, 0x87d681caUL, 0x2684d018UL, 0x6b4c34bdUL, 0x13d1f187UL,
  0xe107462fUL, 0x874fbaa2UL, 0x417ad828UL, 0xd291f6f6UL, 0xa6fe73f9UL, 0xf8071115UL, 0x3e65fda6UL, 0x3237bf3cUL,
  0xcda4281UL, 0x2f227f68UL, 0x87926456UL, 0xa31f2828UL, 0x4af0f970UL, 0x61e3b0b9UL, 0x9a207266UL, 0xf4059f41UL,
  0xa80ece81UL, 0xaf26473aUL, 0xfd322c22UL, 0x50f291f7UL, 0xf85b4d31UL, 0xbb706b82UL, 0xb90b101aUL, 0xcb26510bUL,
  0xd5844659UL, 0x1b081512UL, 0x77bfaf8eUL, 0x3d0b1c43UL, 0x5e99f600UL, 0x2ea9eab6UL, 0x42ab277dUL, 0x929f168bUL,
  0x56dff90cUL, 0xa34e5213UL, 0x7e68d021UL, 0x4c4fe8fcUL, 0x256929d0UL, 0x7510a79UL, 0xddd08e2UL, 0x4858f3feUL,
  0xb92f9a5UL, 0x289f5d3eUL, 0xd32e0182UL, 0x46b793d7UL, 0xc1380b77UL, 0xd21a62cbUL, 0xb8acf806UL, 0x5a648ab4UL,
  0xfb76bf4dUL, 0xdf9f75d3UL, 0xa65ec6b9UL, 0xf10033afUL, 0x86c7da59UL, 0xf5181499UL, 0x9b8a4edaUL, 0xb39bec8cUL,
  0xa1f635abUL, 0x7fb448f5UL, 0xc898d92dUL, 0xf959af99UL, 0xc4098787UL, 0xc3926af6UL, 0xe6d0956UL, 0x26b80fd6UL,
  0x3fc60066UL, 0xdb27ffc8UL, 0x44870667UL, 0xacbcbfa4UL, 0x6b242b96UL, 0xbee2f3ebUL, 0xf49f98adUL, 0x394329a3UL,
  0x7b4c3678UL, 0x1bad186UL, 0xed8118f0UL, 0x9a8f9a4cUL, 0xe9441e53UL, 0x4a617a3dUL, 0xe22fccfdUL, 0xb2c4d3dUL,
  0x22305001UL, 0xdd096289UL, 0xc47b2126UL, 0x7b16bb81UL, 0x1c0a8d75UL, 0xe82f1129UL, 0x71be2e4eUL, 0xc53283d4UL,
  0xf3a93b88UL, 0xb6d6bbcbUL, 0xac2156c9UL, 0x73437122UL, 0xded27ca2UL, 0x451809fUL, 0xda9710cUL, 0x9c78e975UL,
  0x3e163a09UL, 0xc1515c0cUL, 0x3d3dd15cUL, 0xa006bc7bUL, 0x9cd3afa9UL, 0x13d5c0f5UL, 0x1c26b37fUL, 0x40cc395UL,
  0xf1787e7bUL, 0x31d10bd9UL, 0xe83844b4UL, 0x32e246dcUL, 0x27f36bbdUL, 0x4f9aa4eUL, 0x54491750UL, 0xa3323328UL,
  0x4c7ef142UL, 0xdd10ae18UL, 0x12218427UL, 0x613293dcUL, 0xd38b6672UL, 0xf30ab39fUL, 0x2c87d470UL, 0xfefdca53UL,
  0x6049b855UL, 0x8544dea8UL, 0x367fcb3aUL, 0x1c9699c7UL, 0x9511004bUL, 0x2b1c8524UL, 0x8f51e227UL, 0x5dece850UL,
  0xbba69a78UL, 0xe2e63648UL, 0x7c5fa46cUL, 0x83581fa4UL, 0x935378f6UL, 0xce6b680dUL, 0x8974211eUL, 0x56ab6bdUL,
  0x79b97ac0UL, 0x2bafe19UL, 0x8d35f156UL, 0x9613bef5UL, 0x17ed213fUL, 0x2e473164UL, 0xae84b639UL, 0xbc801d59UL,
  0x9767e068UL, 0x81c96ff7UL, 0xea6c83d5UL, 0xc1c6d2a9UL, 0xd1e3c922UL, 0x173eaf47UL, 0xbc8e01b4UL, 0x8fcebfcaUL,
  0x79513d4fUL, 0xf2777c8eUL, 0x192b0788UL, 0x570f674UL, 0x631ba1cbUL, 0x4e5dc57cUL, 0x3cee1b3dUL, 0x49603142UL,
  0xf8592903UL, 0xce427a7bUL, 0x5a34add7UL, 0xe61b7d48UL, 0xa0c24dfUL, 0x56724c01UL, 0x2a9bd31fUL, 0x924308d3UL,
  0x6f2cf552UL, 0x97c9e8edUL, 0x663cb4cUL, 0x75a30103UL, 0xb4dcee25UL, 0xd861c1eaUL, 0x75fb7c48UL, 0xd11f35c5UL,
  0x1200a5c4UL, 0xb861214UL, 0xdc2a83d0UL, 0xb170a13bUL, 0x4ab7bbb5UL, 0x7b3d408bUL, 0xb2a9b3c3UL, 0xb7f3d481UL,
  0x8e6f884eUL, 0x7c7d935dUL, 0x5ece3b0UL, 0x9cece57fUL, 0x5fee6870UL, 0x1de77a52UL, 0xfcc968adUL, 0xb6966926UL,
  0x239f272fUL, 0x6297cc40UL, 0xb57ee2c1UL, 0x90a425b0UL, 0x83d339d2UL, 0x24be8c2aUL, 0xfeea242aUL, 0x4adc8f4fUL,
  0x66c70182UL, 0xcb9dff2eUL, 0x78301bfcUL, 0x18d6a12cUL, 0xada93c85UL, 0x4d012bbfUL, 0x5595c112UL, 0xc19b31eeUL,
  0xb1acff2UL, 0x6a16d54eUL, 0x7ffe425dUL, 0x461c37b7UL, 0x73712396UL, 0x89de0435UL, 0xba282909UL, 0x98a1ee58UL,
  0x8131eea0UL, 0x90b0e153UL, 0x82ba555bUL, 0x90bcfd18UL, 0xc6c18cccUL, 0xcd86e5f8UL, 0x99fde693UL, 0xf66b402fUL,
  0x9ea0266bUL, 0xd980350aUL, 0x9f5402beUL, 0xa518c842UL, 0xae9a5702UL, 0x680b2a4dUL, 0x8c4ce366UL, 0xbe3c4f35UL,
  0xad4e2d8dUL, 0xf6d5af96UL, 0x94a6d54dUL, 0xfabdbbc0UL, 0x4ab5b599UL, 0x9c5540a0UL, 0xbef871dUL, 0x5020bcbfUL,
  0x27ccba4cUL, 0xc2ad99fdUL, 0xc492b7d5UL, 0x89420ee4UL, 0xf0479b8aUL, 0xb5b9e2a8UL, 0x91fd19c7UL, 0x8e401481UL,
  0xc3fbcc7aUL, 0x6735937UL, 0xf1a65f6dUL, 0x8ff82dcUL, 0x950a31faUL, 0xdaa08c51UL, 0xd154bda2UL, 0x6e724111UL,
  0xeca8807cUL, 0x548c96d5UL, 0xd45e19b6UL, 0x3ba3470aUL, 0x68233583UL, 0xc8e7b15cUL, 0xeca18747UL, 0x736b6c71UL,
  0x453fdbaaUL, 0x91c269fbUL, 0x865d3315UL, 0xeb3bb493UL, 0x49055d6fUL, 0x2dc3506aUL, 0xe070fc87UL, 0xc505c9e8UL,
  0x44a6e3a8UL, 0x450b4256UL, 0xf4a84f44UL, 0xf4fed6e0UL, 0x55d312a0UL, 0x99057259UL, 0x35e3aefaUL, 0x2bce3816UL,
  0x945d3fa0UL, 0xbae3050fUL, 0x6de8c6fbUL, 0xdda9e74aUL, 0xb10f4f7cUL, 0x7ac32f3bUL, 0x9a223b01UL, 0x8e718656UL,
  0x8363779eUL, 0xe924cca9UL, 0xb499421cUL, 0xb5d2f1a1UL, 0x2a2c8c2aUL, 0x7d0a75a0UL, 0xc6cb3123UL, 0xbeb7ed4cUL,
  0x22c8672bUL, 0x73348d95UL, 0x2c9a2d72UL, 0x6f201d28UL, 0x53c357ceUL, 0xce5ccc3eUL, 0x7770f5c3UL, 0xc9b656b6UL,
  0x87435794UL, 0xf08461beUL, 0x851d28c9UL, 0x5f1a4092UL, 0x8f03b2b7UL, 0xada298aUL, 0x5454f538UL, 0x22632a6eUL,
  0xca1341d9UL, 0x2d0e9cb9UL, 0xb14e1561UL, 0x1068131eUL, 0x7a0875f7UL, 0xab69672cUL, 0x2e71ec40UL, 0xdb1a4408UL,
  0xa6c2f690UL, 0x14396968UL, 0xc3902cf3UL, 0xb9f5f128UL, 0xb6ff7b04UL, 0x7c8b7cc6UL, 0x11ffb337UL, 0xd3a1d37dUL,
  0x1ff37a9UL, 0xa965477eUL, 0x1cbfeef1UL, 0xc5927444UL, 0xd5de63dUL, 0x30ce2407UL, 0xdf5a1030UL, 0xf5bd5046UL,
  0xb990d923UL, 0xc1dbe753UL, 0x85566adeUL, 0x77188157UL, 0x7849301UL, 0x773c2be5UL, 0x27927d70UL, 0x234b2b7dUL,
  0x87e22228UL, 0x7fe8e7c6UL, 0xef0b97ecUL, 0xfe831965UL, 0xfa6b836dUL, 0x7308a745UL, 0xa9c9da91UL, 0xcc2979d3UL,
  0x3006b588UL, 0x36cc8b35UL, 0xfb2d1f38UL, 0x178f9872UL, 0xc1a5c068UL, 0xae9f33a5UL, 0x4aa01a2aUL, 0x899c9022UL,
  0x1b26bc27UL, 0xacec7d92UL, 0xe6066809UL, 0xe288318dUL, 0x50800c0cUL, 0xcbd3fa4fUL, 0xa4ac356fUL, 0xca091ffbUL,
  0x74926b43UL, 0xb9097f6UL, 0xcd62e91fUL, 0x1fccd44eUL, 0xd7e51519UL, 0x87c14338UL, 0xb78be653UL, 0xfeba7acaUL,
  0x8616ad3UL, 0x9733f123UL, 0xd32e4bb8UL, 0x877ff5d6UL, 0xe2de87baUL, 0x75f4166UL, 0x22c73707UL, 0xea31abfaUL,
  0x816b73edUL, 0xfea5ba6fUL, 0xae733f3UL, 0xa16c13afUL, 0x57495c39UL, 0x727f6ba2UL, 0x24fb80d8UL, 0xeb4b05f4UL,
  0x533f400cUL, 0x3dd68fedUL, 0x8049706dUL, 0xc65e1079UL, 0xbb9dd117UL, 0xe4127472UL, 0x5d8271b6UL, 0x8b198d92UL,
  0xb06363e2UL, 0x809c7b5dUL, 0x37e536faUL, 0xe9ac961eUL, 0xd0ee7a97UL, 0xf2db6edbUL, 0x806fc957UL, 0xa8b076a2UL,
  0xf6ce9c26UL, 0xc17f16fUL, 0x6b09825fUL, 0x13f6bb76UL, 0x25d370adUL, 0x8fdb2639UL, 0xb955d8c1UL, 0x2d23b930UL,
  0x93fffe49UL, 0x9eac43a0UL, 0x5055ed05UL, 0x34e637e2UL, 0x4b7a40fbUL, 0xee9a9db6UL, 0x99474c73UL, 0x8e394b5aUL,
  0xf25ac823UL, 0x1bde98a3UL, 0x2b446c92UL, 0xa8ff251cUL, 0xacdf26ebUL, 0x96aef9acUL, 0xa78b7af5UL, 0x8c97634bUL,
  0x1a847be6UL, 0x2c2cf10fUL, 0xd0f25b9eUL, 0xcb363337UL, 0x99f3ca4aUL, 0xfbf7dd00UL, 0x3494818bUL, 0xc2ef54a8UL,
  0x39993c6UL, 0xc6862e60UL, 0x2d904b53UL, 0x4f35fc3aUL, 0x287097b1UL, 0x18c6af9fUL, 0xf73c6fc2UL, 0xe12fc820UL,
  0xf1698618UL, 0xe6961991UL, 0x552349d8UL, 0x3684d7baUL, 0x3a3b0531UL, 0xd2ab6eabUL, 0x9b484b49UL, 0x42638c92UL,
  0x9b9bd609UL, 0x4bbc1435UL, 0x874809b7UL, 0xa56d2f9UL, 0xfc148b2dUL, 0xc22a4232UL, 0xfceadd57UL, 0x72bb7b2fUL,
  0x56aa96adUL, 0xa17167f0UL, 0xa30f28d5UL, 0x84e3aa91UL, 0xef6347a7UL, 0xe9d10ad1UL, 0xf48c8162UL, 0xec6a6e07UL,
  0xb8fe93a0UL, 0x8cc420eeUL, 0x3b83e545UL, 0x1ec66cb6UL, 0xadddb0d7UL, 0xbcce7924UL, 0xd5ca9fd1UL, 0xf3ad3b1dUL,
  0x3505ee34UL, 0x4fba111cUL, 0xdb999eeaUL, 0xc140590fUL, 0x322aac49UL, 0x4533b329UL, 0x3b35083cUL, 0x51ca2ca4UL,
  0x87d3cd41UL, 0xa7eb81fbUL, 0xcacfde88UL, 0x6e3f753bUL, 0x12de103eUL, 0x6aaa507eUL, 0x499dac5cUL, 0xc2e18ba8UL,
  0x4781d611UL, 0xe7f470a3UL, 0xf56f0b7eUL, 0xd1e8268aUL, 0x529fe657UL, 0xb6cb9af6UL, 0x77c15de0UL, 0x29b91102UL,
  0x44030460UL, 0xd2ed14c4UL, 0x83493c33UL, 0xa373f042UL, 0xbf13d7ffUL, 0x4591c6a2UL, 0x90d9d462UL, 0x944dcf89UL,
  0x8f261718UL, 0xc69d60bbUL, 0x684c442eUL, 0xde3d9921UL, 0x27853374UL, 0x9541d1bcUL, 0x22ccf8d2UL, 0x377d8a63UL,
  0xe8d1eb4eUL, 0x59e8f38cUL, 0x832fc225UL, 0xd9ac73e2UL, 0xaec43e42UL, 0xf411f9b8UL, 0xa2d10860UL, 0x179374bbUL,
  0x8e109ea2UL, 0xb4a14414UL, 0xdc983cd1UL, 0x46c07fe6UL, 0x78a62c1aUL, 0xc41edd92UL, 0xf2d72d3bUL, 0x88230174UL,
  0x4125fcafUL, 0x3ace276cUL, 0x462da854UL, 0x1ed7ebc0UL, 0x98f9f98fUL, 0x34e3d84cUL, 0x1f03fda8UL, 0x91e7c847UL,
  0x2d96935dUL, 0x84a34252UL, 0x72d95b19UL, 0xa4d586ddUL, 0x26d9fa13UL, 0x6562f1ffUL, 0x8194120bUL, 0x6e22e7d8UL,
  0x62818193UL, 0x8f979892UL, 0x85305232UL, 0xae4bd596UL, 0x51f78c0fUL, 0xf32679d9UL, 0xf982d31cUL, 0x838165e2UL,
  0x610a50b7UL, 0x673dc19aUL, 0xb50bcfb6UL, 0x86a4b653UL, 0x86915223UL, 0xe20c234cUL, 0x174bb004UL, 0x61247e4cUL,
  0xa3189e6aUL, 0x5d9c81b1UL, 0x45673092UL, 0x2f3ec813UL, 0x4d2b70cUL, 0x56cab1e5UL, 0x5ec92b8fUL, 0x8d94856UL,
  0x82d9f4f2UL, 0xa55770c1UL, 0x8d8bc71aUL, 0xa4572421UL, 0x4029823fUL, 0x3000f02UL, 0x9cc4c131UL, 0x688b806dUL,
  0xa451b427UL, 0xd1fb98eUL, 0x4fc05c6bUL, 0xb59f87d3UL, 0xe9905edbUL, 0xd1cd5897UL, 0xfce43907UL, 0x484a127fUL,
  0x2bcf367dUL, 0xe4f4a92dUL, 0xbb5621baUL, 0x1a7baa3eUL, 0x2080ee84UL, 0x9f9aef05UL, 0xc08c09e7UL, 0xa5dfb60eUL,
  0xe1f3f037UL, 0xec09231cUL, 0x693d8610UL, 0x11750507UL, 0x7768a574UL, 0x2280b572UL, 0xcebd9c9aUL, 0x83229d39UL,
  0x76bbfd06UL, 0xd0b15778UL, 0xd32f5406UL, 0x59205104UL, 0xe4387577UL, 0xa7035a26UL, 0x833a9e8dUL, 0x5271a98eUL,
  0x20b12517UL, 0x690c7b51UL, 0x919772c5UL, 0x5a91f115UL, 0xa42ff04dUL, 0x12c638a8UL, 0x14db1586UL, 0xf93a9120UL,
  0xc3360fc7UL, 0xae6bc968UL, 0xf404688fUL, 0x406d69e7UL, 0x2e3cd0cbUL, 0x1f1fde79UL, 0x9bfa81baUL, 0x74be4e30UL,
  0x2b011447UL, 0x2f5a5654UL, 0xe1a739dfUL, 0x18ec4965UL, 0x4c44ae89UL, 0x188c8f60UL, 0x89d62199UL, 0xc322f6aeUL,
  0xcf02fb20UL, 0x7f34ed1bUL, 0x5a81d96aUL, 0xdc2d18a3UL, 0x145f3203UL, 0x30603144UL, 0xbb47c92UL, 0x489f3e60UL,
  0xd14d421eUL, 0xd71c6803UL, 0xda89c067UL, 0x37cbf2bdUL, 0xe6397a79UL, 0xf2a6dfa7UL, 0x1c88b98UL, 0x86249df5UL,
  0x2160b7dfUL, 0xfa36599fUL, 0xfe1fba78UL, 0x8073d6f7UL, 0x44f1bebeUL, 0x90d6c3abUL, 0xf5e9afcbUL, 0xe9bfb878UL,
  0x35eea7afUL, 0xd73a8c96UL, 0xe194bcf5UL, 0x9116211cUL, 0x3b4ad4d9UL, 0x3d34a826UL, 0x21d9c311UL, 0x5d438cf9UL,
  0xc96ea9a6UL, 0x644646ffUL, 0x6d2b3e00UL, 0xfd4801e7UL, 0x18d5811dUL, 0x1b12e36eUL, 0x734e6d25UL, 0xec4f9478UL,
  0x359a592cUL, 0x3e2d2668UL, 0x588f7647UL, 0xb7800f74UL, 0x3d213540UL, 0xe73635feUL, 0xa75e04e4UL, 0x881a8fc1UL,
  0x8b9cff09UL, 0xf80edfe1UL, 0x62b3899eUL, 0x9c1a5db3UL, 0x6edac689UL, 0xc714af77UL, 0x4d158e42UL, 0x7e7ecd98UL,
  0xa84372c8UL, 0xd982f8feUL, 0xd2fef8eeUL, 0xc3d8485dUL, 0x544dd5b0UL, 0xaa7a06ebUL, 0xcb848c85UL, 0x8e4efc92UL,
  0xe16b2dcdUL, 0xaadc73b3UL, 0x8d5380f5UL, 0xf0d4a16UL, 0x434197a2UL, 0x697a3503UL, 0x23556634UL, 0xfc03fd53UL,
  0x9718f6dbUL, 0xd1afd968UL, 0x12ab3f56UL, 0x389c4131UL, 0x68f1ebfeUL, 0x24fcb82cUL, 0x7d9e8006UL, 0x31ab6383UL,
  0xd2a0ce9UL, 0xb1ec3c37UL, 0x2ac7f99bUL, 0x2c4f68caUL, 0x5d97f8e1UL, 0x961f55c1UL, 0x424199c6UL, 0x9e770f31UL,
  0xc8fc02b5UL, 0xea7e616UL, 0xb51a74a2UL, 0xc182fb58UL, 0xad62f64aUL, 0x469503a5UL, 0x264a2699UL, 0x6b396065UL,
  0x5ec6efe0UL, 0xe7bf1262UL, 0xba79e93cUL, 0xaac820a6UL, 0x2a060e9dUL, 0x5052d90UL, 0x1a498617UL, 0x2b1c7df0UL,
  0x7fd871bfUL, 0xd9ae8241UL, 0xd3421483UL, 0x6558a25cUL, 0xa0915a39UL, 0x9f8fbf20UL, 0x8adee879UL, 0x641ad89fUL,
  0x90c5f92eUL, 0xfa122e4dUL, 0xf3552911UL, 0x4104e16bUL, 0x9d67421bUL, 0xce628fa0UL, 0x79652188UL, 0x81ccf397UL,
  0x631cc54bUL, 0xd0fe57e9UL, 0xaa5e93a7UL, 0xd65d4520UL, 0x3ecc908eUL, 0x9dd1c68bUL, 0xcd1ea333UL, 0x3c4f1df8UL,
  0x7237828eUL, 0xcb79291cUL, 0xb6f70fa6UL, 0xdb54c3a0UL, 0x10235a28UL, 0x35cc101eUL, 0x84e41906UL, 0xcf77c13cUL,
  0x6247bc49UL, 0xf2b04388UL, 0x65d69f35UL, 0x72830c3dUL, 0xfbb2da08UL, 0xc128f266UL, 0x394e90a7UL, 0x316ce785UL,
  0x3e69249aUL, 0x8729b0b1UL, 0x60aa2364UL, 0x5fcebae3UL, 0x4201e367UL, 0x7ee3bdb0UL, 0xfe4b5609UL, 0xd6cdf865UL,
  0x118ad798UL, 0x48da443aUL, 0xa907b8cbUL, 0x8a89848cUL, 0xfd6222adUL, 0xc256a23aUL, 0xbd1ec4e7UL, 0xd4fd513bUL,
  0x6cd2fb71UL, 0xbc2f618fUL, 0xb21d7cf9UL, 0xb5737961UL, 0xaae1f52UL, 0xfedb3824UL, 0x2cc5c01bUL, 0x664168d1UL,
  0x6eb3e1b1UL, 0xcf559a6fUL, 0xcfc8ef69UL, 0xe051ca99UL, 0x61bcf33aUL, 0x98274788UL, 0x41adf3b2UL, 0x352bd9abUL,
  0x78d0a8e2UL, 0xa25b7fa3UL, 0xddff1a65UL, 0x2db8fe2eUL, 0x488dd326UL, 0xf79a3868UL, 0x5610e753UL, 0xa5f67de0UL,
  0x34e5eeccUL, 0x77a1d91dUL, 0xb52bc7cfUL, 0x5c90c2fbUL, 0x41ed2f0UL, 0x675dadecUL, 0xf3b3a3aeUL, 0x8af860b9UL,
  0x57dbd4c0UL, 0x93c8e633UL, 0xd45d892fUL, 0x86d80bf0UL, 0xe98cdc94UL, 0x118fda9UL, 0x38bc69eaUL, 0x21819a82UL,
  0x1df9f5d1UL, 0xb99ab450UL, 0xe59ed22fUL, 0xa4eef5UL, 0x223b68f2UL, 0xdc76c6cfUL, 0xc4c7da1UL, 0x702de06fUL,
  0x9aec94fcUL, 0xed9d1a6fUL, 0x5f04f369UL, 0xe6845131UL, 0x8cc49da0UL, 0xe4491ebbUL, 0xffcd0152UL, 0x2dc301faUL,
  0x4dcb254dUL, 0x38f1ddaaUL, 0x7c619c07UL, 0x906c2639UL, 0xd8a03622UL, 0x5a75c15aUL, 0x7e3cf2aUL, 0xf13a7b92UL,
  0x4827d602UL, 0xc1c15156UL, 0x999f1d90UL, 0xa6dbea89UL, 0x9f5353c6UL, 0xa2ee8ed8UL, 0x1d51c60aUL, 0x6c4cdc83UL,
  0x2ab49dc4UL, 0x359d5972UL, 0x7ab23993UL, 0x6baa4569UL, 0x34f3286fUL, 0x6244aa32UL, 0xa37836cUL, 0x22d8a4d5UL,
  0xc65dfb99UL, 0xaaefb00fUL, 0xc69c48d5UL, 0xced887a2UL, 0x4acf161cUL, 0xdb5b5650UL, 0x1597d364UL, 0x4e22047UL,
  0xfe8b11a5UL, 0x8b7c8c42UL, 0xeec427b5UL, 0xa7ef4c9UL, 0x8ec1b6dbUL, 0x7fbceac3UL, 0x1c445e1cUL, 0x8ce13c9aUL,
  0xf9b1ee8eUL, 0xa0788969UL, 0xa8c5742dUL, 0xb4408b5cUL, 0xede8a427UL, 0xbe7f56d0UL, 0x4d688028UL, 0xcdbc7243UL,
  0xc894b9c5UL, 0x76a85fc1UL, 0xec31a564UL, 0x42773cb2UL, 0x50118243UL, 0x1e3c295cUL, 0x81a15eddUL, 0xc2244554UL,
  0xce7e55b4UL, 0x79da69d5UL, 0xcf73a620UL, 0x9055baf7UL, 0xc5afe6feUL, 0xb3f9e84aUL, 0xa6198a20UL, 0xb4bd071bUL,
  0x17737db0UL, 0x30ff44fdUL, 0x987843ffUL, 0x1d9a164fUL, 0x3d2be754UL, 0x3304b0e6UL, 0x9d82a80cUL, 0xce8a03b6UL,
  0x7770815UL, 0x15e89cd5UL, 0x8a0c9e04UL, 0x9869ce6cUL, 0x5aa7b72fUL, 0x12706a44UL, 0xc106d9dUL, 0x6ed89edUL,
  0x4ae9cc5bUL, 0x7e739fddUL, 0x68227041UL, 0x7ae4455bUL, 0xb7d7ccccUL, 0xf1fe0c25UL, 0x9e39cedbUL, 0x85a6cee9UL,
  0x8b61070bUL, 0x7bcb0f79UL, 0x63cbfe8cUL, 0x68958039UL, 0xb6c8e748UL, 0x5b81cc9bUL, 0x59e8b7eeUL, 0x19b68e5bUL,
  0x9dfa592fUL, 0xfbc837dfUL, 0x28221b0fUL, 0xefa21aefUL, 0xbff424c8UL, 0xa1452c62UL, 0xf698f4f3UL, 0xd74357a4UL,
  0x4846ca53UL, 0xb794affUL, 0xbf405fefUL, 0x85b371dcUL, 0x59ae29cUL, 0x7192f4a9UL, 0xa2dd7660UL, 0x901d8feaUL,
  0x1ab44efcUL, 0xceed62c1UL, 0xa8349573UL, 0x53b63579UL, 0x1dabf94fUL, 0x8ce395a7UL, 0x5727b83bUL, 0xeca0c872UL,
  0x36dafe0aUL, 0x97ae2f6eUL, 0xca1cca8bUL, 0xa5d47cabUL, 0x9687a068UL, 0x31b8a059UL, 0x2371ec06UL, 0xf7f49eedUL,
  0xe1ff5ccbUL, 0x7e64a26fUL, 0xe7cf270UL, 0xc0da6a4aUL, 0x28ef946fUL, 0xeaa52afbUL, 0xd9b940ddUL, 0xfcf34163UL,
  0xd37aa81dUL, 0x72957680UL, 0x40806710UL, 0xc25825b4UL, 0x9dc77589UL, 0x7367d48aUL, 0x65f3e8aaUL, 0x1119332bUL,
  0x32d986b9UL, 0x906795a7UL, 0x2adc9be2UL, 0x9761ddf4UL, 0xd4eba240UL, 0xfadf068cUL, 0xb91389c7UL, 0xaafcbcf3UL,
  0xff4c4fa6UL, 0xd97decd2UL, 0xe97a7428UL, 0xd2c3896cUL, 0x915808d6UL, 0x91a00cb6UL, 0xf0baec7bUL, 0x2e005b9fUL,
  0xf54c2385UL, 0x4ac855ebUL, 0xd4773235UL, 0xb14d35e8UL, 0xdd24d1ceUL, 0x86faf7f0UL, 0x54a4be1dUL, 0x694282fUL,
  0xa1ddfcb2UL, 0xd551884eUL, 0x2e91b3dbUL, 0xc68ec76UL, 0x27189904UL, 0x3100abddUL, 0x8c095b2UL, 0x2f0d6e03UL,
  0x9e3acfdeUL, 0xfd51ba5dUL, 0xbb071598UL, 0x1003f059UL, 0x6f9eef9UL, 0x9898712fUL, 0xfc68b7ecUL, 0x2ae0daecUL,
  0xe4edc5fUL, 0x6abeb3d0UL, 0x21960cefUL, 0xc03c3aeUL, 0x15fdc33fUL, 0x18456be7UL, 0x16d27ef3UL, 0xe9cfa155UL,
  0x9b04c324UL, 0x13b6fae9UL, 0x73413f8bUL, 0xe72347d0UL, 0xbdc4874cUL, 0xe96ee23dUL, 0xd485b848UL, 0x394f835fUL,
  0xd04bc256UL, 0x8f64edefUL, 0xeb786c2fUL, 0x441af841UL, 0xc5bbbe74UL, 0x949ea0a1UL, 0x198cecdbUL, 0xddd6c13dUL,
  0xef9f0881UL, 0xf8871a89UL, 0x89c8a613UL, 0xc79c9fbdUL, 0x98e8b33aUL, 0xee67b89aUL, 0x89482d41UL, 0x7f674cefUL,
  0x9f99b03eUL, 0xd6c8d1d3UL, 0xe73748ddUL, 0xa347e4e5UL, 0xdf454d65UL, 0xdd189176UL, 0xc318cb07UL, 0x156b23a6UL,
  0xbe245473UL, 0x6ab8df60UL, 0x44460665UL, 0x489e295eUL, 0xab4ebb4aUL, 0x2400fa3UL, 0xd477830UL, 0x472f0f31UL,
  0x32fedbb0UL, 0x15a50034UL, 0x9d2466d8UL, 0xf18b7f4eUL, 0xe8226217UL, 0xc5aeb632UL, 0xb684167aUL, 0xf9567166UL,
  0xd6e5b9cfUL, 0x42e9d48fUL, 0xf9fd44f9UL, 0x275e19a5UL, 0xfe288a40UL, 0x511698bbUL, 0xca708099UL, 0xaac2bc87UL,
  0x299c7ebcUL, 0x60abf55aUL, 0xdf983b19UL, 0x4a3abd73UL, 0x233b5904UL, 0x17bfb237UL, 0x10591ca6UL, 0xacdc596eUL,
  0x31f2f6aaUL, 0x63d784b0UL, 0xd82d3cb7UL, 0xa8d2b1b4UL, 0x4ef8d2bdUL, 0xea026ec1UL, 0x93424c7dUL, 0x69e20cdfUL,
  0x2766ef16UL, 0xd86663e2UL, 0x406bc165UL, 0x4d54a682UL, 0x6f6a64f7UL, 0xa2402b05UL, 0xc6c546caUL, 0xc86efd6eUL,
  0x4884b00UL, 0x5160119bUL, 0x68d849acUL, 0x86b4db23UL, 0xc72b3e07UL, 0x9d1eadaUL, 0x99d981b9UL, 0x201ac691UL,
  0xdc66b0d2UL, 0x278bba66UL, 0x290ce353UL, 0xae26c58aUL, 0x4e0216bfUL, 0xf1a77800UL, 0xf0a57df7UL, 0x7ce5a173UL,
  0x63e984c9UL, 0x73f97f20UL, 0xb0fcffdbUL, 0x89582c62UL, 0x7a3d6c8UL, 0x3eb93528UL, 0x359c3e7bUL, 0x3617f09cUL,
  0x8f28346aUL, 0x37afbd61UL, 0xa63e9c66UL, 0xf2149f20UL, 0xb2c91957UL, 0x638c332dUL, 0xbe64ad6bUL, 0x10c376eUL,
  0x68b38c7aUL, 0x926f584fUL, 0x3f07d3d8UL, 0x868b64f4UL, 0xf3f5f5a4UL, 0xe09b46fbUL, 0xfa837dfeUL, 0xd806ef96UL,
  0xf4f468e2UL, 0x539d574UL, 0xd901b287UL, 0xc78ef8d4UL, 0x56ea5ec5UL, 0x46d8e586UL, 0xa2bf27c1UL, 0x8e0505a5UL,
  0x9c1e0a5fUL, 0xf586ea97UL, 0xae81ee4aUL, 0xb0fdb723UL, 0x330a661fUL, 0xdf83e6d5UL, 0x204afabbUL, 0x10cfb926UL,
  0x91129e3fUL, 0xc4a7d0b4UL, 0x33bd34daUL, 0xb2d148d7UL, 0x96482adeUL, 0xc60a3e7fUL, 0xc6e539f7UL, 0xf9f42958UL,
  0x551d5b9aUL, 0xbc43ce10UL, 0xf639478cUL, 0xad8f10c3UL, 0xacb000c8UL, 0x16e88071UL, 0x8d4b3803UL, 0xd2574f31UL,
  0x2d533e33UL, 0xbf255c6eUL, 0x477a3023UL, 0xc95a6f2aUL, 0xb6a4621eUL, 0x21c92546UL, 0x4b9ddfbUL, 0x1d46c16aUL,
  0x216f22b4UL, 0x8351d787UL, 0x6ead1f45UL, 0x5cf319faUL, 0xad2b0964UL, 0x664d87adUL, 0xbd063222UL, 0xff9d3cfaUL,
  0x5913d42bUL, 0x32ec1b24UL, 0x8f22efa9UL, 0x588ada7eUL, 0x62639adeUL, 0x678f4a6dUL, 0x21a4b201UL, 0x59e8bb94UL,
  0x7da4a61aUL, 0xdf39bb44UL, 0x2053e5bUL, 0x72f8b70UL, 0xc61881bUL, 0x8a1d5707UL, 0xbb5cbe52UL, 0xfdaaece0UL,
  0x83a08870UL, 0x1f7a43ecUL, 0x91921115UL, 0x4be8e670UL, 0xf7defc1UL, 0x5501498eUL, 0x5fc93f69UL, 0x41a0bc13UL,
  0x8fd6b672UL, 0xac0424c0UL, 0xea3abbc7UL, 0x455bb4aUL, 0x7f6be9f0UL, 0x9f74e9eeUL, 0xd70fe0f9UL, 0xb93bb6abUL,
  0x4315b10aUL, 0x9bcaecd0UL, 0x771f4745UL, 0x256b5836UL, 0x2ca39dc9UL, 0x9442775eUL, 0x65bde132UL, 0x65f1cd0dUL,
  0xa4471f2fUL, 0x1428d979UL, 0x9d55b7d4UL, 0xf2a5ead8UL, 0x6a952f0dUL, 0xf453f8cfUL, 0xcedb9d69UL, 0x1153e3d9UL,
  0x11e2fa07UL, 0x2c191fd2UL, 0x3f9bf46aUL, 0x3a9622d4UL, 0x9ca19bf6UL, 0x4b8e897eUL, 0xa8d84441UL, 0x4310ad9dUL,
  0x8309c973UL, 0x25870803UL, 0xc073a035UL, 0xbd3d3e4bUL, 0x14b3fedaUL, 0xc6140944UL, 0xa705e251UL, 0x6d2d1b4bUL,
  0xd9a25006UL, 0x1fe112b7UL, 0x92cec768UL, 0xee018f5UL, 0x380f6894UL, 0x9e039161UL, 0x3fb9c871UL, 0x5e43caa4UL,
  0x1b8a7dcUL, 0x954ce50bUL, 0xf255d704UL, 0x6eed5748UL, 0xbbc21d15UL, 0x9ec2095aUL, 0xe461675cUL, 0x4d979cc4UL,
  0x75e5f74aUL, 0xc093b810UL, 0xf51b8156UL, 0x6ab8a57eUL, 0x607869UL, 0xda08a9dfUL, 0xe313934aUL, 0xa795ed5dUL,
  0x475f57b9UL, 0x439f3304UL, 0x649e21c5UL, 0xea49a581UL, 0xdf6c4ee3UL, 0xd618bb2fUL, 0x2043771eUL, 0xbf80e391UL,
  0xe36302d3UL, 0xc53e34d6UL, 0x27af9cb2UL, 0xc94af8c7UL, 0x1c09994dUL, 0x49787e9aUL, 0x410cb26fUL, 0xafde91d5UL,
  0x5d6b06aeUL, 0xac614cbfUL, 0x388bc318UL, 0x3e464b36UL, 0x5a067edeUL, 0x9080f267UL, 0xbe178ea9UL, 0xaf4e04a9UL,
  0x47b0e418UL, 0x2f377aa1UL, 0x1a174484UL, 0xed206452UL, 0x4ff62adcUL, 0x72936f2dUL, 0x3d017c5cUL, 0x43f33980UL,
  0x23163a2aUL, 0x33cff183UL, 0x418f6e33UL, 0x3bb05ac8UL, 0x476519bbUL, 0x51035d9eUL, 0xcda31e8cUL, 0xd15d722eUL,
  0xc7eb8cdfUL, 0x4fae1bdUL, 0x6a79780UL, 0xa1440d48UL, 0x52d594cdUL, 0xdfa599aUL, 0x8c3cbaa0UL, 0x77188155UL,
  0x8a1e12baUL, 0x140bc6c5UL, 0xc2830d6aUL, 0x859a64e6UL, 0x9491682cUL, 0xef3467e9UL, 0x3c2ab895UL, 0xcd6a8a02UL,
  0xa23e20a9UL, 0xfd47341fUL, 0x44a5891aUL, 0x2ba1b0b4UL, 0xcdd8c6fcUL, 0xf9e68142UL, 0x75c0d746UL, 0x2ce90574UL,
  0x2640aa47UL, 0x890a1ed5UL, 0xcfe65dc5UL, 0xb78b03a5UL, 0xf8210382UL, 0xe067ea1fUL, 0xcd2a1f50UL, 0x838f003fUL,
  0xa877cac8UL, 0x6a8bb7ceUL, 0x4e6637UL, 0xd64e59c7UL, 0x1ffedfe0UL, 0x2eab0ecUL, 0x13e53385UL, 0x93dfb4b8UL,
  0xb9eb2993UL, 0xe99aeddbUL, 0x27e8a566UL, 0x9818f9fcUL, 0x4a1d18baUL, 0x13f0e864UL, 0xe5226cefUL, 0x6e2941a6UL,
  0xed10b15fUL, 0x3948892dUL, 0xa4becf5UL, 0xe54fe9e0UL, 0x5a95d382UL, 0x9a118541UL, 0x29fc22c8UL, 0x2c7a308cUL,
  0xceb56fabUL, 0xfb98d821UL, 0xabc5831cUL, 0xefea73b2UL, 0x4a5b8be5UL, 0x753df3e5UL, 0x9145b046UL, 0xe93eaf96UL,
  0x5efaf3e1UL, 0x2d317061UL, 0x894f5157UL, 0xe7d74345UL, 0xd675990UL, 0x19cf2f9dUL, 0xa20f5b88UL, 0xf74e14aeUL,
  0xadbc3777UL, 0xb357e1a9UL, 0xd4873456UL, 0x253a890dUL, 0x6771e0eeUL, 0x296fa2b0UL, 0x49c10fe3UL, 0xcbcaa004UL,
  0x95390996UL, 0xc71ac078UL, 0xc2075515UL, 0x30a52318UL, 0x11bd3c3bUL, 0xb0ca3283UL, 0x8ac6bda7UL, 0x261d42a4UL,
  0x6e2fb517UL, 0xdbace7c0UL, 0x9f39c4b1UL, 0xf70364d0UL, 0x5a994984UL, 0xb18d0b82UL, 0x47be62b3UL, 0x6a7d92eUL,
  0x2707e8a6UL, 0x83f5d2b0UL, 0x78915c40UL, 0x5a92aedbUL, 0xdd41937eUL, 0xe5594532UL, 0xf744db4aUL, 0x376c9856UL,
  0xf2c7291fUL, 0xdb176d7aUL, 0xc08e2eb7UL, 0xfad3f6c1UL, 0xbdd6d803UL, 0xc9930e07UL, 0xeab6c289UL, 0xdec4e61bUL,
  0xdd92800eUL, 0xb17d481cUL, 0x9359127cUL, 0x52fd5cb2UL, 0x12d95875UL, 0x384f48f1UL, 0xfa538621UL, 0x5cd8fdafUL,
  0x7349c3a4UL, 0x4cd0fbbdUL, 0xefbf478dUL, 0x2fdb9aedUL, 0x90526f98UL, 0xa4fb65dfUL, 0x62c08065UL, 0x1adbb20bUL,
  0xeea66a51UL, 0xa611b08UL, 0xddd57a16UL, 0x54020ee8UL, 0x1cf2bb22UL, 0xa063d4a7UL, 0xcf0d374UL, 0x6e0f4fccUL,
  0x5dd48904UL, 0x87f6a54aUL, 0xde7396ffUL, 0xe9c35a42UL, 0x1acfa877UL, 0xb23daabfUL, 0x5d8eb953UL, 0xdb3b55d9UL,
  0x7b70bbe2UL, 0xf183a5adUL, 0xf7fedd2cUL, 0x6ba0e50eUL, 0x62caea49UL, 0xe454f6fUL, 0x9f6eb045UL, 0x4654d3f0UL,
  0x74e5f85dUL, 0xc87b30f3UL, 0x46a23f27UL, 0x74b8ffadUL, 0x7a587406UL, 0x1b2ea028UL, 0x641a9688UL, 0x3f1f6201UL,
  0x9d13bbfeUL, 0x402ec644UL, 0xbc656419UL, 0x78ebeed1UL, 0xd3100c0cUL, 0x12868ef0UL, 0x951109ddUL, 0x487183c6UL,
  0x7abac81UL, 0x34ae6731UL, 0xd9bfaf6fUL, 0x7125ea87UL, 0xb9885f83UL, 0xca5639e1UL, 0x7146f5fUL, 0xc36579cbUL,
  0x9ce0b663UL, 0x185887ccUL, 0xcd91540UL, 0x45bfaecbUL, 0x953e390dUL, 0x4001f9a2UL, 0xb94658bcUL, 0xe99017b5UL,
  0xefae03eeUL, 0xb14fb571UL, 0x985752ddUL, 0xff2cf81dUL, 0x9f4318efUL, 0x1cd94b4aUL, 0x6bd3322UL, 0x711d158bUL,
  0x12c7e27aUL, 0xc74b5ae2UL, 0x4e5791f9UL, 0xad53aa3bUL, 0xb7f00dd2UL, 0xe59ae047UL, 0x9bbf337cUL, 0x78d78c7dUL,
  0x9c8e1825UL, 0xcc40a019UL, 0x46458764UL, 0x7ca40418UL, 0x5c3be4eUL, 0x6542f490UL, 0xbd36c3f9UL, 0x7048237fUL,
  0x392af68UL, 0x50f2911fUL, 0x9892c8a2UL, 0x9a52e8f9UL, 0x6d09e1b6UL, 0x598d299aUL, 0xaf5c87e2UL, 0xbb203135UL,
  0xe8064669UL, 0x205b9975UL, 0x2d16f83fUL, 0x869b21edUL, 0x18b2bf34UL, 0x3cd9ecc3UL, 0x925bf314UL, 0xcea45956UL,
  0xdccab8e6UL, 0x7a11cfaeUL, 0xb2970e8cUL, 0x72572c06UL, 0xc742bbaeUL, 0xe12bdadUL, 0xeae1f47fUL, 0x9462c708UL,
  0x799ee589UL, 0xf38849e3UL, 0xc612caacUL, 0xeae43cadUL, 0xf8d64ed3UL, 0xcecd2e95UL, 0xd8e82173UL, 0xaef83394UL,
  0xef5c2ea6UL, 0x84fac72cUL, 0x5b9ec1ccUL, 0x47765097UL, 0x3a7f4566UL, 0xd4c6c423UL, 0xa485b874UL, 0xaa897370UL,
  0xb09be9a0UL, 0xee20921fUL, 0xd9ff1a47UL, 0x8c207f4UL, 0xda7068cUL, 0x56640dd9UL, 0x4078663dUL, 0xc6e2681fUL,
  0x6b345550UL, 0x365a2d1cUL, 0xda4efd75UL, 0xa81cd61dUL, 0xca4def0UL, 0x6f9ce958UL, 0xbc7277f8UL, 0x6d9f8a53UL,
  0x96601006UL, 0xc70baf22UL, 0xb45d1e58UL, 0xe264fb43UL, 0xf42d29b8UL, 0xc2eb98eUL, 0x4d819cadUL, 0xc2d38f18UL,
  0x4a0512beUL, 0x5a16bebdUL, 0xbb8745e6UL, 0xe139ce0bUL, 0x7790e95cUL, 0xca547d3eUL, 0x3593c629UL, 0x13fbb269UL,
  0xf1319212UL, 0x5267dae7UL, 0xd56832d8UL, 0xdaadff07UL, 0x544e1e2dUL, 0x5fe6374cUL, 0xb60fade1UL, 0x73a0ca1cUL,
  0x965b92c8UL, 0x4163b3b1UL, 0x49c36901UL, 0xcbba1a0dUL, 0x6e9ba425UL, 0x4913e021UL, 0xadfa5e32UL, 0x71b1eb2UL,
  0x5299bcb0UL, 0xac5afb1fUL, 0xf6b258f4UL, 0xfb0614bbUL, 0xdaa32efbUL, 0x9c01adf4UL, 0x557f57f7UL, 0x1da7164fUL,
  0xe4a2727UL, 0xddf037c2UL, 0x22614f52UL, 0x5470f67eUL, 0xd87b2364UL, 0x1a8b324fUL, 0xcc4996c0UL, 0xa87a810fUL,
  0x972cfef5UL, 0xde8f255fUL, 0x37d1cfe7UL, 0x76ac33ebUL, 0x5920a626UL, 0x2c06fe5bUL, 0xb572734eUL, 0xca9be990UL,
  0xe87e9ebbUL, 0xac2f0121UL, 0xa2a41faUL, 0x5f8d1fa4UL, 0x6585d2e5UL, 0x851e3ad0UL, 0x4d26f430UL, 0x21aadeeaUL,
  0x5b5bf122UL, 0xe052330fUL, 0x88d60ce3UL, 0x13c88642UL, 0x9589d255UL, 0x908c8b85UL, 0x23e46f4aUL, 0x3b166983UL,
  0x1dbc7351UL, 0x8b365e99UL, 0xa29158fUL, 0xabf54021UL, 0x9cbaa2c0UL, 0xc02d9e56UL, 0x915d04e2UL, 0x6220b87eUL,
  0x255fa5f9UL, 0xa1740d6bUL, 0x8bd82d6eUL, 0xeb1e7d55UL, 0x5b41c3b6UL, 0xa60db5a8UL, 0x271404c7UL, 0x832153aeUL,
  0xeff1fb3eUL, 0xebeb9a92UL, 0xafb53565UL, 0x2834dceeUL, 0x16155e23UL, 0x16a090fdUL, 0x51a1c6c3UL, 0x446ab84dUL,
  0x55ba824bUL, 0x2c18287bUL, 0xb541349cUL, 0x9a8f01ddUL, 0xb8ea7615UL, 0x3c57f0e5UL, 0x210d39e4UL, 0x7bc77a95UL,
  0xe799092eUL, 0xb3644701UL, 0x607bf2b7UL, 0x3a989e9dUL, 0x67fab219UL, 0x8fac5b8aUL, 0xbfa7af75UL, 0x48bc18b0UL,
  0x438edae7UL, 0x5efc98b1UL, 0x1584911aUL, 0x2715c213UL, 0x27f9e42cUL, 0x827d75e9UL, 0x51d4181dUL, 0xa523d515UL,
  0x7c11840dUL, 0x966d3e19UL, 0x5ea53629UL, 0xbb153662UL, 0xdf888316UL, 0x56bcf141UL, 0x80aaf9dbUL, 0x2d072903UL,
  0xed76b306UL, 0x21876f5eUL, 0x78f929e7UL, 0xea0713cbUL, 0xfb69a207UL, 0xdd40bb58UL, 0xdf9152bfUL, 0x1e9c975UL,
  0x40db3e80UL, 0x9cd86823UL, 0xdf466feaUL, 0xef03662bUL, 0xd3c73f0dUL, 0xcc7a9271UL, 0xe899db27UL, 0x79af7c4fUL,
  0xde3940abUL, 0x9aea0d47UL, 0xef36d448UL, 0x19550274UL, 0x923169ceUL, 0x9886257eUL, 0xfcd14b7bUL, 0x6f5eb64eUL,
  0xe89ff5faUL, 0x69d472d5UL, 0x882a3d59UL, 0x5cdd4d2eUL, 0x88da155eUL, 0xbb260026UL, 0x5edccfa6UL, 0xc94a0fd3UL,
  0x8994320dUL, 0x35d937aUL, 0x1dbebce5UL, 0xf3d5259fUL, 0xb05d73a1UL, 0x6fb55a40UL, 0x5c6c3bcdUL, 0x22852c6eUL,
  0xe2ba24cbUL, 0x680d338aUL, 0x1377ab3bUL, 0xf51fe122UL, 0xd6a52fe1UL, 0x153e9fd2UL, 0xb8c6b55dUL, 0xf534c99bUL,
  0xcba7525eUL, 0x1051686cUL, 0xa6a131ddUL, 0xb05d7cf1UL, 0x1a2ab9b3UL, 0xf71f3884UL, 0xd41c3391UL, 0x54afe5e5UL,
  0xce9e25cUL, 0x7b084d6UL, 0x14b122dfUL, 0x25f71393UL, 0x5c50f98cUL, 0xc532b9f6UL, 0xeeade3adUL, 0x7dd29a24UL,
  0x793b4422UL, 0x105505ceUL, 0x6f100d6dUL, 0x3570c72cUL, 0x6e7a700bUL, 0xedab0cb6UL, 0x92bd2e92UL, 0xa3adfa86UL,
  0xa02bced6UL, 0x7d0ace7fUL, 0xb507a21UL, 0xc22dd228UL, 0x356e0d9bUL, 0xaaf982a9UL, 0x3651b024UL, 0xceb698d0UL,
  0x490e3760UL, 0x1f606295UL, 0x2b1bd5a8UL, 0x870b340dUL, 0x5835b5ceUL, 0x4b9aa6dbUL, 0xcb5a9af7UL, 0xa99f9cf9UL,
  0xde359bbUL, 0x11b42605UL, 0x96cb18a1UL, 0x949a7b70UL, 0x7f867ec6UL, 0x29e3624eUL, 0x1e2f9742UL, 0x82520d93UL,
  0x47672783UL, 0xedb6bd0bUL, 0xb7f6daa0UL, 0xcd6686b3UL, 0x55ce4a12UL, 0xbda310dfUL, 0xab6d2c40UL, 0x72b44b56UL,
  0x1733fa1UL, 0x97a7e87fUL, 0xafa23869UL, 0x8bd977cUL, 0xc803978dUL, 0x952b1c4bUL, 0x99f65af7UL, 0xf7b2b59bUL,
  0x22d91a3eUL, 0xafde9be4UL, 0x9ff526cfUL, 0x22f1d450UL, 0x7c1892dfUL, 0x8c770cd8UL, 0x35c166deUL, 0x25f803dUL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL, 0x0UL,
  0x65fc8eb6UL, 0x11afd58eUL, 0xf8cbae38UL, 0xf44ec1c2UL, 0x1a21a82eUL, 0x669c168UL, 0xbc165dbeUL, 0x5225e682UL,
  0x165b7dddUL, 0x5fa769f7UL, 0xa62a1f66UL, 0xa5d71b9eUL, 0xe5227cfdUL, 0xa06bc899UL, 0xfaea47e3UL, 0x96c3ce19UL,
  0x25517ab2UL, 0x6c7c5acfUL, 0x7a5996a2UL, 0x1300f529UL, 0x3b5d1c75UL, 0x3f07c46cUL, 0x64fb4693UL, 0xa0e18448UL,
  0x8f8d32c4UL, 0x3b9ed5fbUL, 0x8bcbd9bfUL, 0x702f27b0UL, 0xb4fb0b9aUL, 0x656c9949UL, 0xe6d61f45UL, 0x162e7a80UL,
  0xafaeb34fUL, 0x22cac5eUL, 0xc2a70f8cUL, 0x64cc1aeeUL, 0xce0753acUL, 0xe1ad0ccdUL, 0x127dc737UL, 0xda216d97UL,
  0x105ef594UL, 0xdaa41ba3UL, 0x7a9eefd8UL, 0x336530a2UL, 0x9d40f29dUL, 0xff23a54fUL, 0x7a04eb31UL, 0x22ad2c5dUL,
  0x46b4c285UL, 0x425e1c9eUL, 0x28f8c2edUL, 0xb7282b98UL, 0xbf6dec11UL, 0x5d7d1cf0UL, 0x953081abUL, 0x80470733UL,
  0x1078712dUL, 0x4e5420dfUL, 0x1399d2e3UL, 0x239d7545UL, 0x57601468UL, 0xc343041bUL, 0x55cb12f7UL, 0x4a5f6987UL,
  0xb8e46c37UL, 0xef6b4338UL, 0x42feb0f5UL, 0xc2ec5d4dUL, 0x7069fe06UL, 0x3f2b8eUL, 0xd14cbfcdUL, 0xa40b02e5UL,
  0x7ea2c739UL, 0xf9d8944bUL, 0xaadc629eUL, 0x64c18ca9UL, 0x48908cc4UL, 0xe845a468UL, 0xb70f33c6UL, 0xcec701c0UL,
  0x59f9717fUL, 0x92d69a82UL, 0xb40b22d2UL, 0x3704904dUL, 0x120a9e51UL, 0x431b6f64UL, 0x55b025e2UL, 0x8ee5241cUL,
  0x8c3134b4UL, 0xd80b4e71UL, 0xcf989c23UL, 0x4cf98464UL, 0x37889d45UL, 0x38c63110UL, 0x37d9ea83UL, 0x896628b0UL,
  0x913d2469UL, 0xd14a2fddUL, 0xf3651eccUL, 0xb7ad834aUL, 0x583f68a0UL, 0xffb30bbdUL, 0xaaef0530UL, 0x93a59bbeUL,
  0x7d82f952UL, 0xf64dcac9UL, 0xbdd04d4eUL, 0x398f8b44UL, 0xa7d51c49UL, 0x52e00041UL, 0x2bdd03d1UL, 0x1dbb12daUL,
  0x95c7c4fcUL, 0x3265c3a9UL, 0x386351a5UL, 0x3c0bca65UL, 0x6862a0c2UL, 0x529dbfbUL, 0x4bd2d0ecUL, 0xbaa9ed33UL,
  0x931227f3UL, 0xc83eae8aUL, 0x5f6a250cUL, 0x864f225bUL, 0xd0ddd88fUL, 0xd6a77e4dUL, 0x8864c103UL, 0x13395470UL,
  0xad2dce2dUL, 0xdb7cdb2aUL, 0xae8bc8d7UL, 0x1d082dffUL, 0xca56c24UL, 0x4f3918c4UL, 0x91908e95UL, 0xde9dad55UL,
  0xedd21e0cUL, 0xac45fcceUL, 0x61139bd2UL, 0x94a30ac8UL, 0x60a4ee41UL, 0x24d46856UL, 0xc05d175bUL, 0xa5ae8fd3UL,
  0xef6e5a67UL, 0x233357c6UL, 0x6b079a01UL, 0x37812969UL, 0x4ee0e81fUL, 0x53b4c1d7UL, 0x930779f1UL, 0xd61cb0c4UL,
  0xec9cbeeaUL, 0x4a44893dUL, 0xff4fbda4UL, 0x2e01a3aUL, 0x1a115b94UL, 0x989936b8UL, 0xc7aa4e12UL, 0x4bf2627fUL,
  0xa152e9b5UL, 0x13de77fbUL, 0x734641b8UL, 0x5571f73bUL, 0x236ebcb7UL, 0xd3800865UL, 0x78ce4db2UL, 0x19c83daaUL,
  0xfec78b9aUL, 0x7ac68acUL, 0xde6c4d59UL, 0xbe778791UL, 0xd732781fUL, 0xf440434eUL, 0xde0167e0UL, 0xc0c8af4fUL,
  0x3644091cUL, 0x4d3bc7fdUL, 0xa0ff5b5dUL, 0x424ec2fbUL, 0x81c5d6dfUL, 0xfe86162eUL, 0x3332f3dfUL, 0x4e9020a9UL,
  0x7006ba49UL, 0x7f7cdbbaUL, 0xd714906dUL, 0xf4c6f64dUL, 0xed1b3a9bUL, 0x3bce01d1UL, 0x826af4e8UL, 0xb7a3294aUL,
  0x61e64d2dUL, 0xa2ef269bUL, 0x9f18905bUL, 0x3bdda9b3UL, 0x584be6d1UL, 0x14497513UL, 0xfcd26c10UL, 0x9b43a43UL,
  0x211f8086UL, 0x1a45561cUL, 0xacb43874UL, 0xb4de718bUL, 0x38068d23UL, 0x560ebacbUL, 0x214a2cb0UL, 0x1be84ff2UL,
  0x4acbc495UL, 0xd3e49dd5UL, 0x3779c704UL, 0xd9a8e02dUL, 0x77c3d5f1UL, 0xf0f47e52UL, 0x5a3e7297UL, 0x79079e1UL,
  0xc6ad171aUL, 0xcef9df55UL, 0x40defc27UL, 0x70c36128UL, 0xd4595778UL, 0xfcda2664UL, 0x2a706caaUL, 0xa3414aeUL,
  0x1d45e17bUL, 0x55517c44UL, 0x2740c5b9UL, 0x7c1a153fUL, 0x64032745UL, 0x1a86f24fUL, 0x3d52a93bUL, 0x25894ef5UL,
  0x80ed86a4UL, 0x2c7f538bUL, 0x5c446de0UL, 0x4bcc587cUL, 0x84bc3044UL, 0xea006dceUL, 0xa8bcdeb1UL, 0x1ac94d1eUL,
  0x6682830cUL, 0x350aea34UL, 0xea4e864cUL, 0xa833d3dUL, 0xecc57bc9UL, 0xebcd6500UL, 0xeba0f7afUL, 0xa7c9887cUL,
  0x6040a867UL, 0x3e929cf1UL, 0x7c683276UL, 0xbb01f175UL, 0x66f8c749UL, 0x9a0d682fUL, 0x302a0fb9UL, 0xd8fa2406UL,
  0xfb388bc8UL, 0x2b8f9d7fUL, 0xd78fd673UL, 0xcd3daae7UL, 0xf24806bbUL, 0x5482083UL, 0x291279d6UL, 0x7c58d8beUL,
  0xc146b859UL, 0x5b31170cUL, 0xc035d677UL, 0x8bcc4ac3UL, 0x846039a7UL, 0xedac5410UL, 0xb9bf8179UL, 0x9f37aa2eUL,
  0x6cbb6143UL, 0x5fec6b1aUL, 0x14d63ca5UL, 0xb5e560e5UL, 0x5ff395c6UL, 0x7fa3c0ccUL, 0xd29a5e71UL, 0xc6a578f4UL,
  0xb5f9bb21UL, 0x7f9cde3UL, 0x52becf82UL, 0xab9d1c29UL, 0xc8b2abe1UL, 0xc2d344dUL, 0xae450964UL, 0xccd57ef3UL,
  0x19e6fa61UL, 0xd20c2871UL, 0xf933f543UL, 0xd03be12aUL, 0x98b555dfUL, 0x38cf9814UL, 0x789006ffUL, 0x8221ef1cUL,
  0xec4e9281UL, 0x6cf40157UL, 0x6966aaddUL, 0x84559ea3UL, 0x9730ab79UL, 0xf609157aUL, 0x427ca199UL, 0x97256333UL,
  0xb47877a9UL, 0x4aba992eUL, 0xf382e22UL, 0x8e77a607UL, 0x8c42ae9UL, 0xbf099c97UL, 0xb6d68fa1UL, 0x408e8e3fUL,
  0x270f3eebUL, 0x5004b5ecUL, 0x28798ac3UL, 0x176b94baUL, 0xdb50920cUL, 0xbb8592f5UL, 0x99090040UL, 0x6e70cf16UL,
  0x42a25628UL, 0x14a748f9UL, 0xdecb0170UL, 0xc585c0aUL, 0xf81f3c74UL, 0xcaf0f1d6UL, 0xff5938daUL, 0x42bca277UL,
  0x79168fd0UL, 0x2f5cfb40UL, 0x29cce746UL, 0xa2261473UL, 0x4950e2d2UL, 0x1ac756f6UL, 0x7a7b8c86UL, 0x3e1976dUL,
  0xf3f26392UL, 0xa6c31aa4UL, 0x24a01eeeUL, 0x8d7e0837UL, 0xe69e57e6UL, 0x8e346c2eUL, 0x7e9cf87aUL, 0xff0ec8b8UL,
  0x3f8fcfa5UL, 0x7faa0643UL, 0xa98845e9UL, 0x263880bdUL, 0x7a4ad1a1UL, 0x94f720e8UL, 0x79cbbbf6UL, 0xd60fbbf2UL,
  0x4f65cce1UL, 0x568d2ccUL, 0x4e94ab62UL, 0x77466d0aUL, 0xcb1afb03UL, 0x44c0aaa3UL, 0x7b2d54ecUL, 0x9c1f5330UL,
  0xd7f0aaeaUL, 0x7452858fUL, 0xc75ab33aUL, 0x59bb702dUL, 0xcfc7917bUL, 0xee322869UL, 0xb12f5b8bUL, 0x3befd08cUL,
  0xb98102a6UL, 0x4bc2d8b4UL, 0x7cf97d65UL, 0x700fe452UL, 0x1acc709fUL, 0x23494b34UL, 0xc5b4a5e0UL, 0x950f77a7UL,
  0x47072115UL, 0x6da0a279UL, 0xf7043e82UL, 0x323eb2d9UL, 0xb885b639UL, 0x5a09becfUL, 0x467a0d4bUL, 0xb8e7e2eaUL,
  0x1bb45562UL, 0x7d85fca2UL, 0x3f7dbe2bUL, 0x56c52UL, 0xcd40d0d1UL, 0x6ccf757eUL, 0x68ab40aaUL, 0xd366730cUL,
  0x2b57473cUL, 0xb271ca8dUL, 0x53b1ddfdUL, 0xae5e7a21UL, 0x7bcc6a6eUL, 0x434c371aUL, 0xcb398401UL, 0x28d38f2aUL,
  0x1bf59d9fUL, 0x7e5b26feUL, 0x970f8cfeUL, 0x9ca0ffdbUL, 0x5f06be51UL, 0x4332c65dUL, 0xe20c566UL, 0xca37a403UL,
  0xeda4481UL, 0x601107c5UL, 0x43c634f0UL, 0x55614d0dUL, 0xe0442ed5UL, 0x1a33a6f6UL, 0xc7dff42eUL, 0xc53b8468UL,
  0x6d788067UL, 0x43be13c0UL, 0x7575fd1fUL, 0xe3112aUL, 0xaa8f6cd2UL, 0x83ad8441UL, 0xe7098861UL, 0x45acbe88UL,
  0x84e6de3aUL, 0xf4b94deaUL, 0xde8882b6UL, 0xe37622e4UL, 0x3f91a90eUL, 0x5813d8e4UL, 0xf0001f50UL, 0xd34eecbaUL,
  0xb3b328ccUL, 0xbae8a09cUL, 0xb3ec583dUL, 0xbce887a3UL, 0x5d885aeaUL, 0x3d921fadUL, 0x182e437fUL, 0xd518f167UL,
  0x1a83ee88UL, 0xad58252dUL, 0xec11c1f4UL, 0x61abf256UL, 0x638373fdUL, 0x10ba6043UL, 0x35fd364cUL, 0x8fb14481UL,
  0x6fa6f112UL, 0x6fed6384UL, 0xef436b30UL, 0xb790c7b6UL, 0x935a6266UL, 0xb26c0038UL, 0x3e17b33bUL, 0x17a1b177UL,
  0x3de0437cUL, 0x2bf372bfUL, 0xeec76d71UL, 0xd5e932e4UL, 0x54f21204UL, 0x40750ffcUL, 0x3a3539caUL, 0x3ea8677dUL,
  0x8ae2250bUL, 0x88fd9c28UL, 0x5c951d3fUL, 0x3fb54139UL, 0x739e7563UL, 0x474c1dbbUL, 0xa842611dUL, 0x85610bfdUL,
  0x4dab236cUL, 0xf042ba6eUL, 0xf4065fdfUL, 0xa94e9df5UL, 0x242473daUL, 0x3a54f7efUL, 0x9137cfbbUL, 0xb5d17d8fUL,
  0x6608da99UL, 0x5fe55ce4UL, 0x738b3426UL, 0x437ac292UL, 0xc58310c5UL, 0xe482a7bfUL, 0x6ec23bUL, 0xf35e4606UL,
  0xb55d520UL, 0x99a8e097UL, 0x57f59138UL, 0x183588f8UL, 0x3fb120c8UL, 0xa0ee057bUL, 0x679ca1bUL, 0x3cf918f5UL,
  0xb308ab62UL, 0xb425dc88UL, 0xce05ba50UL, 0xc01f2c55UL, 0x12f301e1UL, 0x7f1259e5UL, 0xa0df3b43UL, 0x88442ea9UL,
  0xa8be8052UL, 0x91eebee6UL, 0xd0546614UL, 0x649f88f0UL, 0x50015c8dUL, 0xaa9c47a7UL, 0x76de019bUL, 0x90c908e1UL,
  0x13d36637UL, 0x7206800dUL, 0x4339bedeUL, 0x175dc3cdUL, 0xd2fb7bbUL, 0x7f6066eaUL, 0xa5a48190UL, 0x1cf0e759UL,
  0xc97f31f3UL, 0xa19c1c34UL, 0xf893df1bUL, 0x3d7ec2e7UL, 0x77f86065UL, 0xa3449096UL, 0xae2930e3UL, 0xb0b49030UL,
  0xce14b85dUL, 0x396c7d0cUL, 0xbec2e831UL, 0xd0dec7aeUL, 0xf6651ad2UL, 0xb6f11252UL, 0x7ccdd525UL, 0x59541caUL,
  0x96b5371dUL, 0xc9ef702dUL, 0xb2dea96eUL, 0xd2fee636UL, 0xbfff9085UL, 0xb2305ba1UL, 0x2182db21UL, 0xcf5c40abUL,
  0x350f7e2cUL, 0x19c4ac2bUL, 0x3eadbbcbUL, 0xea15ec91UL, 0x8ec2419dUL, 0x6cae47dbUL, 0x6504282cUL, 0xca1e466aUL,
  0xec570e6aUL, 0xad9cf1e6UL, 0x2655f283UL, 0x3063a251UL, 0x22080a6aUL, 0x49812735UL, 0x9bc523ffUL, 0xdcfa2215UL,
  0x1a63e064UL, 0x14393209UL, 0x67b34e41UL, 0xdde82f6cUL, 0x8a95cba2UL, 0x642edad8UL, 0x14d28b12UL, 0x49b40e0UL,
  0x9e1a7743UL, 0x87284dc1UL, 0x6090aa23UL, 0x62d3f32UL, 0x9b8800b6UL, 0x4274b71bUL, 0xa2835cc2UL, 0x1d4ab4ddUL,
  0xac28acf1UL, 0xd794a2dcUL, 0x885c9654UL, 0xa6bdf6caUL, 0xadf565daUL, 0x9daa28beUL, 0x3b8ad113UL, 0xf026512fUL,
  0xa80e724aUL, 0xfb1a3cfbUL, 0xc20af6c7UL, 0x6a7b9deUL, 0x1298710cUL, 0xa8ec9d5dUL, 0xb2db3585UL, 0x2b200300UL,
  0x74192c08UL, 0xcae3733eUL, 0xa00ebb86UL, 0x1dcb57cUL, 0x41f00e1bUL, 0x7877243eUL, 0x1e408f04UL, 0x9d005dcdUL,
  0xd79ad65cUL, 0x92f2d2e8UL, 0xc47fd042UL, 0xc5ce2558UL, 0x7e2c3075UL, 0x50421874UL, 0xd8823b6fUL, 0xa43803dbUL,
  0xec3dc976UL, 0x71bc924eUL, 0xefb67fefUL, 0x75e54322UL, 0xf593a0a9UL, 0x6b421234UL, 0x8f89078UL, 0x8ba82418UL,
  0xa1fb1ed1UL, 0x16d7f9c0UL, 0x50cedeb5UL, 0xf00b960eUL, 0xf828014cUL, 0x942a9ebdUL, 0x6df7765eUL, 0x99a4805UL,
  0x2dcf798dUL, 0x8dc26c4aUL, 0x4aa91b45UL, 0x4f787df3UL, 0x10420d89UL, 0x615646e0UL, 0xe69e47d9UL, 0x65c60bdUL,
  0x384da286UL, 0x9f704f6fUL, 0x7dbdbb31UL, 0xdd7ec729UL, 0x506cd4a1UL, 0x1987cfb1UL, 0xc9c0e620UL, 0x967001aaUL,
  0xd2bf304dUL, 0x509f5c73UL, 0xd3a40f20UL, 0x7ff9ab63UL, 0xdee4dc3dUL, 0x483d65b1UL, 0xeb069b14UL, 0xbaef6a9dUL,
  0x2fb2382UL, 0xee80d5e6UL, 0x2843544dUL, 0x146203fbUL, 0xc4147ddcUL, 0xcd6b49c6UL, 0x262c8622UL, 0x2458991cUL,
  0xe68cbefbUL, 0x63f8010fUL, 0x22a34e59UL, 0xa69c2c99UL, 0x816e5fdaUL, 0xc14d505cUL, 0x3e70810fUL, 0xf4b58a9eUL,
  0x3fbfb47UL, 0xe4e3dfb5UL, 0xee70124UL, 0xa826ff06UL, 0xa1ec318UL, 0xdfa40e8dUL, 0x5024c881UL, 0x5ea048d4UL,
  0xe7a085abUL, 0x9835b955UL, 0x260c863dUL, 0x712d1501UL, 0x5a820f28UL, 0xf31e47dfUL, 0x77f5e308UL, 0xc7afcd66UL,
  0xf240c438UL, 0x32e94393UL, 0x5dcdda0eUL, 0x9fd14c3eUL, 0x9bbf0ea9UL, 0x84d309d1UL, 0xc121accfUL, 0xf64e5c9fUL,
  0x6d7ae8d7UL, 0x928c1d1bUL, 0x4a75bbd0UL, 0x68e5ca0aUL, 0xd3f847b8UL, 0x7b06ca0eUL, 0x850806ffUL, 0xa19e549eUL,
  0x578fb9d8UL, 0xcd49623aUL, 0xcf182eb3UL, 0x87fe1cadUL, 0x2a0cea87UL, 0x8ee9015cUL, 0x78b39f47UL, 0xfbad7c7cUL,
  0x96dff79eUL, 0x44385b08UL, 0xd0d71baeUL, 0xd5232112UL, 0x55e8df4eUL, 0xa7dc4934UL, 0xd4cbaf9cUL, 0x308dc7d4UL,
  0xa4b01871UL, 0xb19909efUL, 0x761b5ae2UL, 0xf1965fbaUL, 0x217fa0caUL, 0x21d3b0ebUL, 0x4cf1c2c7UL, 0xaf828dd5UL,
  0x25c7331dUL, 0x1e4dfa17UL, 0x214116feUL, 0xad3266cUL, 0xeddac03cUL, 0x3851ecceUL, 0xcadf9d45UL, 0x166cc5baUL,
  0x8e19a57eUL, 0x984cfc46UL, 0x8db0db70UL, 0xd81dca65UL, 0x14e0bd61UL, 0x85b9e15eUL, 0x707eebeeUL, 0x85885c66UL,
  0x398a012fUL, 0x9ac6f7edUL, 0x14c9c941UL, 0xd776d316UL, 0x5be9a04aUL, 0x84c159d9UL, 0x7fe5a3a8UL, 0xfc471da6UL,
  0xc47addaeUL, 0x98640a2eUL, 0x5b568450UL, 0x1cb74cf5UL, 0x2732b264UL, 0xd5443fd8UL, 0x9a9107fdUL, 0xbe035422UL,
  0x57d898a7UL, 0x3e177e96UL, 0x8a1c54b1UL, 0xb8b64372UL, 0xf001a87eUL, 0xf5ac097fUL, 0x20da4441UL, 0x70f4e3deUL,
  0xe9c1ac7fUL, 0x150465eUL, 0x33a8f96UL, 0x8fc05ac7UL, 0x28de0bfUL, 0x6adceb1bUL, 0xa6a1dccdUL, 0x427db327UL,
  0x8be06edeUL, 0x293ff499UL, 0xf210ecf0UL, 0x8735d4d7UL, 0x51e7a27dUL, 0x440aeba5UL, 0x99639eacUL, 0xa4d3eb0bUL,
  0xb35aa4c4UL, 0xb79a9726UL, 0x89cb373cUL, 0x3b553833UL, 0x11dee768UL, 0x464c61c8UL, 0x99d0e996UL, 0xbae46808UL,
  0x7e02595aUL, 0xefe474f4UL, 0x9f7e7e9aUL, 0x340e1d54UL, 0xe7624e19UL, 0x6dd21b1cUL, 0xd090c93dUL, 0x7dc5d93dUL,
  0xc237a2cfUL, 0x46c18052UL, 0xd09cfbc6UL, 0x257ac3a8UL, 0x6e2a33caUL, 0x9adb0664UL, 0x78a9d67fUL, 0x218c12cUL,
  0xe42e5931UL, 0xb5ab9c95UL, 0x6d946d87UL, 0x999801dUL, 0x576ada22UL, 0xd55c1c9bUL, 0x7a631719UL, 0x8166adc2UL,
  0xd73c111aUL, 0x9040d46eUL, 0x9d3b7a6dUL, 0xe54aa69dUL, 0x65390c9bUL, 0x14ff922bUL, 0x947c624bUL, 0x52fa114eUL,
  0x4b887f56UL, 0x6ca3b79cUL, 0xd8a0b2d9UL, 0x98aa392cUL, 0x59bd58d0UL, 0x58e3ecdcUL, 0x3c427202UL, 0x67039b43UL,
  0xd062687dUL, 0xfe330c9aUL, 0x523c89a8UL, 0x66a848c3UL, 0xc9954250UL, 0x70ed13ddUL, 0x9b2483bfUL, 0xdca2381bUL,
  0xc31b41e8UL, 0x8d40925dUL, 0x72f66936UL, 0xb2f4b5e7UL, 0xbaa3cf8eUL, 0x711c68e1UL, 0x6474eb32UL, 0xd350f82UL,
  0x9b371caeUL, 0xa4396674UL, 0xe769101eUL, 0xcff01dd3UL, 0x2a6bf360UL, 0xa57cfae7UL, 0xb3119fa2UL, 0x88461f6bUL,
  0xdf7e2280UL, 0xda1c9605UL, 0x9214016aUL, 0x6333efd5UL, 0x98d80f5bUL, 0x49a2ce54UL, 0x6fe2ae1aUL, 0x3b667d89UL,
  0xcd710b25UL, 0xd673630fUL, 0xcb3fcb1dUL, 0x8d4a4680UL, 0x408a4fe5UL, 0x39257b69UL, 0xd9a78046UL, 0xa79fcab8UL,
  0x50eebe3bUL, 0x2c72265bUL, 0xe24ebedbUL, 0x25b99faUL, 0xbcfa80cdUL, 0xb5dd126dUL, 0x59a4de09UL, 0x9d7494f8UL,
  0xd09222a3UL, 0xdfb9bc75UL, 0x5d9ca86UL, 0xe6274291UL, 0x1fda2140UL, 0x349fc645UL, 0x42669e19UL, 0xc22aae3cUL,
  0xc104947bUL, 0x3f11558bUL, 0xedc8fa6fUL, 0x93563bebUL, 0x30b22b1bUL, 0x32ad8f63UL, 0x365db12aUL, 0xe1021998UL,
  0x88cdb929UL, 0x692a0df7UL, 0x12197f7bUL, 0xa78cacd0UL, 0x605d5b61UL, 0x40898492UL, 0x3d8d3f46UL, 0x7019f6f2UL,
  0x2128387fUL, 0xff76d330UL, 0xf89ac4b7UL, 0x8c4a231eUL, 0xb9fced81UL, 0xac87f611UL, 0xf1a46ee0UL, 0xfef005d1UL,
  0xc1ce7ddeUL, 0x5a7c3b92UL, 0xfa52cc0bUL, 0x3fb7a833UL, 0x635316c3UL, 0xefcf1aebUL, 0xbc8515c5UL, 0x5578b267UL,
  0xb0d16684UL, 0xec8b2b02UL, 0x5d9ab553UL, 0x747f55a9UL, 0x64556b6aUL, 0xd1edb24bUL, 0xc8dc1767UL, 0x4b85ae0bUL,
  0xfc32a5d4UL, 0x76948839UL, 0x4d12f866UL, 0x3b27ad6UL, 0x44f63183UL, 0x21d9b3cdUL, 0xec8c8ffcUL, 0xd11e5480UL,
  0x8161415dUL, 0x4e126190UL, 0x6fcab634UL, 0x337ecd5dUL, 0xac0adb2cUL, 0x656cd5cbUL, 0x38d7d8e0UL, 0x42c67819UL,
  0x59abd274UL, 0xd3800354UL, 0xa4bfbc50UL, 0xfa1f072cUL, 0x31f11eeeUL, 0x73a4cb73UL, 0x17d5fb56UL, 0xe09f9e96UL,
  0x10531d5bUL, 0x732776c9UL, 0x874b65e8UL, 0x165eee90UL, 0x9b519dcfUL, 0xc279438dUL, 0xa580cbbdUL, 0x163b9ab1UL,
  0x5244956fUL, 0x3848860aUL, 0xd9b69f68UL, 0x3aaa418dUL, 0x15cb9111UL, 0x222ad381UL, 0x6ec2f292UL, 0x12c5df9fUL,
  0x867cfb46UL, 0x2d7e42d6UL, 0xfe97c60eUL, 0x6c77bbd2UL, 0x2f5d752bUL, 0xb6de1c4cUL, 0xf67700adUL, 0xbbd6002dUL,
  0x300678c6UL, 0xafa38b09UL, 0xaff50805UL, 0x3ec4b700UL, 0xcf915f6aUL, 0xba9ccc3eUL, 0xc0ba4a5eUL, 0x4b986607UL,
  0x14467facUL, 0xa64c38bdUL, 0xf927efc0UL, 0x23d4dd45UL, 0xf4584ff0UL, 0xc1c83918UL, 0x777646baUL, 0x263cdd4aUL,
  0x42ba717cUL, 0x75e881dbUL, 0x7c9d165cUL, 0xb0beb927UL, 0xf3602827UL, 0x473b2022UL, 0x8d4eb837UL, 0xbbc0059eUL,
  0x31179629UL, 0x1aecebfcUL, 0x20bb5d08UL, 0x43b9e92dUL, 0xb16f68d3UL, 0x459b5af8UL, 0x193f0430UL, 0x6f46d5fbUL,
  0x56f50e8fUL, 0x8d996588UL, 0x2f049b25UL, 0x7dd58b48UL, 0xca66cdefUL, 0xeea15784UL, 0x403c434eUL, 0x12f7a590UL,
  0x6f1d8805UL, 0x41480465UL, 0x3bd562f1UL, 0xdde36114UL, 0x74241ba0UL, 0x5e384307UL, 0xc03614faUL, 0xef2c92feUL,
  0xf95d56e0UL, 0x95b5b7a5UL, 0xd876dac3UL, 0x5f3fb3dUL, 0xe7c24aaeUL, 0x1f501a89UL, 0x1d7055c9UL, 0x49e36e95UL,
  0x77ed8740UL, 0xf40a6e55UL, 0x2aa61771UL, 0xfa848710UL, 0x7b64eb45UL, 0xb859d69cUL, 0xbe4d4205UL, 0x32840466UL,
  0x8c501866UL, 0x2a686853UL, 0x81336eeeUL, 0x3c9f7e33UL, 0x35b84473UL, 0xc3945d6UL, 0x6f69bd10UL, 0xc57b6a67UL,
  0xd146e999UL, 0xbea31eb3UL, 0xe5d5b368UL, 0x2c55145fUL, 0xdbdb4f1UL, 0x7358a923UL, 0x3a69ea6fUL, 0x5370963bUL,
  0x5c2357c6UL, 0x4ff24f25UL, 0x9a1c735dUL, 0x8005df80UL, 0x5d0c4218UL, 0xe2e47699UL, 0x9dd743fUL, 0x8ceab24UL,
  0x88e79884UL, 0xe030cf7UL, 0x540b2ca5UL, 0xe38f2cbaUL, 0x8bcf7a07UL, 0xf5ee7e44UL, 0xc946008cUL, 0x1b27efedUL,
  0x98535407UL, 0xbaecbea7UL, 0xdd942862UL, 0xc75f3d8cUL, 0x83fee7a2UL, 0x54953be7UL, 0xb38a871dUL, 0x16b027e9UL,
  0xdb0a2210UL, 0xcfce46c1UL, 0x4df867ecUL, 0x25b234afUL, 0xf49c6e6bUL, 0xf95fdb88UL, 0x9358433fUL, 0xf87ef7b8UL,
  0x7de5bcUL, 0xd4d4a6a4UL, 0x8cf0851dUL, 0x11f7279eUL, 0xc843aac6UL, 0xb344a447UL, 0x74b3b805UL, 0x870b03eaUL,
  0x4be832b4UL, 0xb412442aUL, 0xcf8593c1UL, 0x55f7dabaUL, 0xad674b73UL, 0x8d8e059eUL, 0x5d011cfeUL, 0x59d8a684UL,
  0xc5e4a7acUL, 0x125dfb01UL, 0x6c400edbUL, 0x31f41053UL, 0x30ec1941UL, 0xab9c134bUL, 0xdaddcf65UL, 0x99341faeUL,
  0xe0ee50e6UL, 0xab6e4e65UL, 0xdf04c0c7UL, 0x9fce4c35UL, 0x4d57e46dUL, 0x9afc7c8cUL, 0xbb51946aUL, 0xd85ad040UL,
  0x86709ef7UL, 0xa6211d27UL, 0x2ae66044UL, 0x8d9d96a8UL, 0x848e0f95UL, 0x54a47aa4UL, 0xed0d294dUL, 0x57bdd2b2UL,
  0x9246f2bUL, 0x8891148fUL, 0xa863a15eUL, 0x2dd2a929UL, 0x5cd115eUL, 0x397efce8UL, 0xbf993347UL, 0x260ca3caUL,
  0x3ae787fUL, 0x8ada24fdUL, 0x506ff6cdUL, 0x14c30cdbUL, 0xbc251f47UL, 0x2cd3d7b6UL, 0x25a565d3UL, 0x468c4501UL,
  0x5cc2edc7UL, 0xc3fffa04UL, 0x984d9345UL, 0x6c6eb373UL, 0x813aa3cUL, 0x6eb364d1UL, 0xf80a63acUL, 0x2165c31dUL,
  0xb6ce99bdUL, 0x65dc222bUL, 0xbca38b9bUL, 0x777aa71dUL, 0x2f375522UL, 0x3f51248bUL, 0x97fc6514UL, 0x4810786UL,
  0xac9cb8e1UL, 0xca36c8f4UL, 0x1268052dUL, 0x3a2bae80UL, 0x9e11b6e6UL, 0x2ec35ee2UL, 0x43fc0878UL, 0x9863addbUL,
  0xe7c9501aUL, 0x7fe7c32bUL, 0x9209ff2cUL, 0x1f3564c3UL, 0x898a1ffdUL, 0x8e4087d4UL, 0x56978a01UL, 0x56d36fb9UL,
  0xb2ed1bf3UL, 0x3f5195f3UL, 0xb53f001bUL, 0x5225e0eeUL, 0xa12e5fc9UL, 0xaa90a96bUL, 0xb3182834UL, 0xdd4d1daUL,
  0x6f61c366UL, 0x5a0f7918UL, 0xa21d1f29UL, 0x923a1870UL, 0x138ffcd0UL, 0x3fb0abc9UL, 0x5857e7baUL, 0x44753fb0UL,
  0xaf823909UL, 0xe5de9aedUL, 0x8f2e68f1UL, 0x629660d2UL, 0x516b4UL, 0x5dde7456UL, 0x5fc3fa4fUL, 0x845f62dcUL,
  0x3be4df40UL, 0x4273cd93UL, 0x16182e4UL, 0xb12532bbUL, 0x806cf5b6UL, 0x5620ef75UL, 0xed19db39UL, 0x2f4aa635UL,
  0xcb4144d5UL, 0x5416a132UL, 0x83845305UL, 0x6917de7dUL, 0x60592955UL, 0x6e8d73f8UL, 0x9b9ee7eaUL, 0x94f5cc6bUL,
  0x212b3259UL, 0x416b2ef8UL, 0x2c7381acUL, 0x3d728314UL, 0xeb3325faUL, 0xa53789e8UL, 0xdcece7c8UL, 0x7cb6ff78UL,
  0xe5f22626UL, 0x36a962f6UL, 0x26c131e4UL, 0xe4f437b5UL, 0x6cb71f7UL, 0x10a9c127UL, 0x5fc1587UL, 0x6a80ac5eUL,
  0x8221d382UL, 0x217a79b6UL, 0x687d75b5UL, 0x8447f35cUL, 0xd5483ab7UL, 0x1d251920UL, 0x40075b82UL, 0x760c263UL,
  0x19348563UL, 0x9ac09d63UL, 0x93349c94UL, 0x59e35116UL, 0x513d6cf8UL, 0x698669d8UL, 0x3542d9c2UL, 0xd9aa8021UL,
  0x49f09a48UL, 0xfb8b3860UL, 0x5ffc923aUL, 0xfac605e5UL, 0xc9dafbbUL, 0x87f678aUL, 0x27ec1547UL, 0xbe50fe64UL,
  0x305afd59UL, 0x9407bb24UL, 0xd5b5f855UL, 0x6c42a3c1UL, 0x30731decUL, 0x94e6f16aUL, 0x967846bUL, 0x7856be26UL,
  0xa8871931UL, 0xb1029b21UL, 0x17dfafbbUL, 0x71afbb62UL, 0x72ed7e1bUL, 0xf48a465aUL, 0x244a99eeUL, 0x68e2becfUL,
  0xdee4b333UL, 0x6d812a0eUL, 0x9e6ff946UL, 0xb33bf509UL, 0x5765c091UL, 0x9035ed8fUL, 0xbdaa0130UL, 0x4fcab2d3UL,
  0x13ea7c09UL, 0xbe405759UL, 0xb4b86ee7UL, 0x6d08b745UL, 0xa5944845UL, 0x53c3f506UL, 0xe1d64a7aUL, 0x6628944UL,
  0xae00b18aUL, 0x56a4b835UL, 0x87635463UL, 0x3d3e2856UL, 0x90276f8fUL, 0xafd32a7aUL, 0x5ad3019UL, 0x713454b5UL,
  0x60734f0aUL, 0x5fad2336UL, 0xde4d26c8UL, 0xdcf49088UL, 0x699478f0UL, 0x61a06ac6UL, 0xd6308078UL, 0x14b59524UL,
  0x9a7b2663UL, 0x38c93854UL, 0xe749c931UL, 0x362d19b3UL, 0x3a9ac73dUL, 0x2df3d440UL, 0x7dfde630UL, 0xb4c3394UL,
  0xc392de3aUL, 0xe01bb199UL, 0xa4ad57d5UL, 0x4b367a2dUL, 0x79a644fdUL, 0x292533c2UL, 0x51b5c7e7UL, 0x3f4230b4UL,
  0x5fc86fc4UL, 0x25320cfeUL, 0xf1f75be7UL, 0x10820623UL, 0xc1e8b896UL, 0xaf1259UL, 0x6d940fdbUL, 0x92f0b25UL,
  0x32ab0ce7UL, 0xf39d9198UL, 0xf45f3d33UL, 0x3194f627UL, 0xb0a82b58UL, 0x4ad4be81UL, 0x76823404UL, 0xa7ab8d3dUL,
  0xca4a05fcUL, 0x9114bbcdUL, 0xe3abdedaUL, 0xec00048cUL, 0x6d3a6e87UL, 0xfaae8999UL, 0x4cde996dUL, 0xff8099adUL,
  0x8586a3c2UL, 0x32f13b74UL, 0x4de01096UL, 0xf3fc8d66UL, 0x18031281UL, 0x12423d6UL, 0x62bb2ab4UL, 0xf1ab42fUL,
  0x993ce25aUL, 0x7c841a27UL, 0xe704bc24UL, 0x62daf827UL, 0xb7568748UL, 0x666bf22fUL, 0x9a0a1007UL, 0x7c035cfUL,
  0x46343198UL, 0x628e7869UL, 0xe9cfd16cUL, 0x8709dcfeUL, 0x961bc9a2UL, 0xb85fa35eUL, 0xf07904d2UL, 0xff52431fUL,
  0xf7ed723eUL, 0xe8515ba8UL, 0x66f8fed0UL, 0x7b65aa1eUL, 0x52f616f8UL, 0x5b834922UL, 0x99df8d50UL, 0x8b15b805UL,
  0x4840fc1bUL, 0x724ec4d5UL, 0xe49b26fUL, 0x2334bff6UL, 0xc3e47558UL, 0xbb287411UL, 0x220e8799UL, 0xd315f747UL,
  0x8a361b6bUL, 0x8a1d7585UL, 0x485ea4dcUL, 0x7f39581cUL, 0x25415888UL, 0x6db6446eUL, 0x1f2a1afdUL, 0xa7d29bf7UL,
  0x921d95cbUL, 0x1a10eb15UL, 0xf3ef5173UL, 0x7db43342UL, 0xcf22c4dUL, 0xd9590b95UL, 0x552c99a2UL, 0xa1adea34UL,
  0xa69b5f5dUL, 0x513654e7UL, 0x858aa423UL, 0x98eea7b5UL, 0x911b9441UL, 0xf64d8e8bUL, 0x967c764bUL, 0xed346903UL,
  0x53f90520UL, 0xcf488531UL, 0x253933bbUL, 0xc00166d6UL, 0x45931b68UL, 0x285b3f7dUL, 0xb283c9d0UL, 0x5b27f74cUL,
  0xdfa86fecUL, 0x5830e43dUL, 0x1c28734bUL, 0xe0413db1UL, 0xf2136f6bUL, 0xfa1a30bbUL, 0x5f665b38UL, 0x23c8644dUL,
  0x699e1c7eUL, 0x3bb7924UL, 0xafab4197UL, 0x613c22feUL, 0x2aeb6948UL, 0xa0887cdUL, 0x9437d25dUL, 0xca064843UL,
  0x871f99beUL, 0x46efe764UL, 0x916d1412UL, 0x9e87b9a9UL, 0x122fe8dcUL, 0x16e67d0bUL, 0xc9dfad0dUL, 0x15e192ceUL,
  0xfd4cdfa0UL, 0x9837a6bUL, 0x2fdca1c2UL, 0xd140f34aUL, 0x66c07fd7UL, 0xff53935dUL, 0xb6c466bfUL, 0xbb544246UL,
  0xfd333e9UL, 0xdd26fddbUL, 0xf3098b83UL, 0xc41815a3UL, 0x1ee7c938UL, 0xab904c25UL, 0x1174bd95UL, 0xb99f72d5UL,
  0xc5913b27UL, 0x753b2a7fUL, 0x7c3fa0daUL, 0xb549249cUL, 0x9a453603UL, 0x4fad655fUL, 0xcbd22284UL, 0x707011d3UL,
  0x40107943UL, 0xefc05725UL, 0x1aa08f05UL, 0x40bff9ecUL, 0x4a2d836UL, 0x26f15fb7UL, 0xf340253fUL, 0x9f0e36bcUL,
  0x686d95e3UL, 0xb2f73b30UL, 0x2a3ec616UL, 0xc02a118dUL, 0xdd8f8e7bUL, 0xb00bfc94UL, 0x33624b0fUL, 0x85eef11bUL,
  0x65c5b63eUL, 0x780a77cbUL, 0x704238aaUL, 0xdd6e5d42UL, 0xd7b9515UL, 0xe4fa4a2UL, 0xb8f0e76fUL, 0x44df5a2bUL,
  0xd9084106UL, 0xaab1ff30UL, 0x8d748a45UL, 0xe675ea70UL, 0xfb224b3fUL, 0x559256dfUL, 0xe6558951UL, 0xf0ae5d79UL,
  0xf4c724bfUL, 0xb2854f0cUL, 0x178833ffUL, 0x73d1b95cUL, 0x6f22b2e6UL, 0x1ecdd393UL, 0xa01b0215UL, 0x20e21fe7UL,
  0x521d26e9UL, 0x2724f509UL, 0x6d7d8ce8UL, 0xb26a670dUL, 0xc2db4c51UL, 0x509714ebUL, 0x81bf1ee6UL, 0x46f1343UL,
  0x93700279UL, 0xce65ce5eUL, 0xdd1c4397UL, 0x748c4b1eUL, 0x8991d792UL, 0x1512e9feUL, 0xde84b64fUL, 0xbb5c7475UL,
  0x7b291328UL, 0x3b685283UL, 0xb7a44b78UL, 0xc9ad3052UL, 0xaa0af83cUL, 0xf34789feUL, 0x7a981be4UL, 0x4ffa8fcbUL,
  0x8505028bUL, 0x4e5eecf7UL, 0x1cb05091UL, 0xd352a734UL, 0xf705c97dUL, 0x4ee92bf0UL, 0xa8a8aeefUL, 0x8b2a5d2dUL,
  0xee5a38e4UL, 0x514c2469UL, 0xe672b0d8UL, 0x6e67143UL, 0x168cfc34UL, 0x40f2f42bUL, 0x9718e20UL, 0x65aaef84UL,
  0x5889edadUL, 0xab1c203eUL, 0x79badfe5UL, 0x8f0e18b8UL, 0x92734b89UL, 0xe8abe404UL, 0x8f69471bUL, 0xb0f77f26UL,
  0xb906663UL, 0x3237c8cdUL, 0xe8e19d55UL, 0x8166aa68UL, 0x375f758aUL, 0x6b125b41UL, 0xb14f8e72UL, 0xc058a662UL,
  0x92d50c6fUL, 0x2faa7888UL, 0xd1238bf5UL, 0xf96873a0UL, 0xf141cb46UL, 0x7a1de5fbUL, 0x965494fdUL, 0x557cae42UL,
  0x16edaf0aUL, 0x3818f6e5UL, 0xd2fcdd27UL, 0x5dafaed9UL, 0x9628b624UL, 0x19b29e9bUL, 0xac70d8e1UL, 0x839b00afUL,
  0x8f73030dUL, 0xc1d9217fUL, 0x56b1b411UL, 0x2bba0883UL, 0xdc86eff2UL, 0xf3734a79UL, 0x58deaa29UL, 0xbbaef715UL,
  0x339a3aabUL, 0x705cd3f4UL, 0x71cc6c55UL, 0x6cb9be91UL, 0xabbe3991UL, 0x3b22e3bcUL, 0xa6802f76UL, 0x234ffdc8UL,
  0x2248fc40UL, 0xe7a8e6dfUL, 0xef769f70UL, 0xb2654586UL, 0x1381b5d0UL, 0xdd4d3a2aUL, 0xf906ea6UL, 0x579d7f71UL,
  0xf89d7e31UL, 0xc75096f3UL, 0x1cc05dcaUL, 0xf0936243UL, 0xdd4d072UL, 0xf1e4680UL, 0xdf1823d7UL, 0x3c0ad45fUL,
  0x774b1786UL, 0x8577092eUL, 0xda0a752cUL, 0xb5ae8d09UL, 0xfb983c5dUL, 0x3ae6afb4UL, 0xdd2e93a6UL, 0x6701ddUL,
  0xe354e548UL, 0x9ee31e6fUL, 0xe53b3718UL, 0xb86f2787UL, 0x500ffcacUL, 0x2f20be87UL, 0x11751e2UL, 0x7900bd66UL,
  0xcd028dd2UL, 0x20f1749eUL, 0x16fc8092UL, 0xd67726faUL, 0xf3ed86dUL, 0x45b5de2dUL, 0x4d65351fUL, 0xcc4ecde4UL,
  0x9d10a435UL, 0x3d9cea83UL, 0x4bb32c52UL, 0xab39c0ceUL, 0x126d0482UL, 0x8d82fae6UL, 0x3460dfd5UL, 0xc51f1e61UL,
  0x7ecb328cUL, 0x21838be9UL, 0x53a66265UL, 0xc46836b8UL, 0x4484b943UL, 0xb1611bc4UL, 0xe8049f4eUL, 0x1efb0c85UL,
  0xd68ed1e4UL, 0xe3ff76b3UL, 0x536bed8eUL, 0x630a9c43UL, 0x3c74dcabUL, 0xcbfb6318UL, 0x9902bdbUL, 0xcbd8e690UL,
  0x4a1f4b70UL, 0x3443e50bUL, 0x20949f1cUL, 0x597580e4UL, 0x1bf77016UL, 0xb7dec05cUL, 0x972b429fUL, 0x121a51bbUL,
  0x1b46c0a3UL, 0xe504c9a1UL, 0xeface8c2UL, 0xe85bf568UL, 0x5f20ad21UL, 0xf7e26a7bUL, 0xe5da58a6UL, 0x105ac363UL,
  0xd8829042UL, 0xd906ae31UL, 0x10cd29a4UL, 0xacd05fbcUL, 0xd4547f02UL, 0xf86e3c6fUL, 0xc4e8cbecUL, 0xf654067dUL,
  0xbb15b9b8UL, 0xccc7f7eeUL, 0xe2dbbbUL, 0xbcc7e4dfUL, 0xddf6352eUL, 0x68889e9eUL, 0xeda2aee9UL, 0xbef4c6abUL,
  0x366507c7UL, 0xb014683aUL, 0x4bc9f367UL, 0x6d054696UL, 0x1846058fUL, 0xf42544a9UL, 0xe96207caUL, 0x2484bfc7UL,
  0x303fed95UL, 0x9a90e742UL, 0x3d93dda8UL, 0xe698f91fUL, 0xcec17aUL, 0x9b101a71UL, 0xa49ed5c0UL, 0x5991494UL,
  0xcc591563UL, 0xd8c6c475UL, 0xe6ba21f0UL, 0xf3c136adUL, 0x4e4c8cfaUL, 0xdde8f610UL, 0x9d72aee1UL, 0x953a4170UL,
  0xa8367b58UL, 0xc6694d11UL, 0x7d5b2813UL, 0x39d603a1UL, 0x2f9378b0UL, 0x66ededabUL, 0x156a9633UL, 0xf49e439UL,
  0xe096c047UL, 0x2ac63319UL, 0x5f587d6aUL, 0x30ab0b6bUL, 0x175dd003UL, 0xd9fd87fcUL, 0x7d9deabUL, 0xc0cdf64dUL,
  0x107bfaafUL, 0xc77a5585UL, 0xefa9815eUL, 0x8db8bccdUL, 0x51903a37UL, 0x7d4cb2a3UL, 0x758b3c9UL, 0x64382748UL,
  0x7854e5e9UL, 0x63fd7c6cUL, 0x7ae86481UL, 0x11b774b2UL, 0x60ef92f5UL, 0x9fb68c79UL, 0x3ad9d1aeUL, 0x52886d98UL,
  0x210018dUL, 0x70b7b1b1UL, 0x520e6eb8UL, 0xdebadd57UL, 0x685e9703UL, 0xb8341b20UL, 0x2ea2f94dUL, 0xe10159aeUL,
  0x62ebd320UL, 0x957eda60UL, 0x135f83aaUL, 0xc944e3a4UL, 0xd1bb7357UL, 0x70f30918UL, 0x2cf4bb3UL, 0x2b62b6c5UL,
  0x2c2413f8UL, 0xeb912f35UL, 0xaa902c59UL, 0x72dd09caUL, 0x467c48bcUL, 0x8403349fUL, 0x7a0a7762UL, 0xc7dc0cbaUL,
  0x1ea592a1UL, 0x4ee7bcUL, 0x61d596ccUL, 0x837b8339UL, 0x83c2ad0dUL, 0x53214b42UL, 0xd14951feUL, 0x54e7fd1eUL,
  0x8b076983UL, 0xc87fca7cUL, 0xa8c61d6cUL, 0x5cd77700UL, 0x7d802effUL, 0xc431bc27UL, 0x787fcc44UL, 0x6ad8ba7bUL,
  0x541f5c3cUL, 0x551a9bd7UL, 0x1dd2de3aUL, 0xe281a02aUL, 0xb6d22ad3UL, 0x854072dfUL, 0x55209c27UL, 0x697e6817UL,
  0xcd3b4659UL, 0xe79f9e11UL, 0xb9281652UL, 0x4dbfe204UL, 0xfb5b1a49UL, 0xdc51e37cUL, 0x68a67f1aUL, 0xc0acd5bdUL,
  0x548e8ea0UL, 0xe1810696UL, 0x83dd1527UL, 0x2a832047UL, 0xa9635170UL, 0xa73c9b1bUL, 0x852c1639UL, 0x8bb4fb3aUL,
  0x8e0c4c4cUL, 0x43e0f0c7UL, 0x2787d3abUL, 0x10e5738dUL, 0x4eec9bb8UL, 0xf0832204UL, 0x81deb448UL, 0xdffcaf35UL,
  0x4f257b7dUL, 0x567915faUL, 0x1348db2cUL, 0xf256da75UL, 0x2e2b22a1UL, 0x1d07fcc5UL, 0xd88596f6UL, 0xb3f6375dUL,
  0xd513bf00UL, 0xca8ce6a0UL, 0xe9e8c2f8UL, 0xf315bd30UL, 0x30314d8fUL, 0x52fbd342UL, 0xd93ae2eUL, 0x2666ee57UL,
  0xab440815UL, 0x3189ed3aUL, 0xe877dd50UL, 0xc7c44eccUL, 0x38581febUL, 0x8162e03fUL, 0xb22b54d2UL, 0xfee06c31UL,
  0x5613cb3dUL, 0x1dc55725UL, 0x1820ce81UL, 0x871b1006UL, 0x904351a5UL, 0x940a8deaUL, 0xe4ebfdfaUL, 0xc6ae0999UL,
  0x5ac9434aUL, 0xe9ef182dUL, 0xd30ba65dUL, 0xfd76634dUL, 0x8147dd7cUL, 0x7f000945UL, 0x36df3703UL, 0xef57d4fcUL,
  0x7bbc3c42UL, 0x79938c29UL, 0xf8fcb421UL, 0xe990469bUL, 0x619f7d7dUL, 0x1b5fc389UL, 0xc6f54216UL, 0x4a2c88f7UL,
  0xcdbc7d2eUL, 0xd2e7dfdbUL, 0xb9ed8202UL, 0xad42d2beUL, 0x5e56c837UL, 0x9a1c7b88UL, 0x6f4d8005UL, 0x831331cbUL,
  0x7316ee88UL, 0xc629d32dUL, 0x45df0c0dUL, 0x9cb1f035UL, 0x5b0bbc23UL, 0xed3bd438UL, 0xd30530e9UL, 0xaae9c72dUL,
  0xc2a136c9UL, 0x108ae5c0UL, 0xabef9c81UL, 0x97086bf1UL, 0x7f543170UL, 0x780fac4bUL, 0x12818ab9UL, 0x6b93564bUL,
  0x2bd5cd9cUL, 0x36ef6db8UL, 0x23d5bcb7UL, 0x10285fbeUL, 0x43093275UL, 0xcec32ccfUL, 0x603d1e20UL, 0x611d843dUL,
  0x8f7947b9UL, 0x2d15c9daUL, 0x6fdc169bUL, 0x8f9ed5e5UL, 0x88d9e959UL, 0xf45924faUL, 0xf6fd97bdUL, 0xffdf0f04UL,
  0xe55f7e0bUL, 0x80ff36UL, 0x3495751eUL, 0xc4cc8572UL, 0x3417db82UL, 0xbe23f0b3UL, 0xfb3b6dddUL, 0xe0bece25UL,
  0x9c5ba7b6UL, 0xbd5fe17aUL, 0x588c5384UL, 0xf9bd2741UL, 0x7f4b9de1UL, 0x12559238UL, 0x53ddff52UL, 0x4686bd93UL,
  0x5eb1fe78UL, 0x96ee0820UL, 0xdcf2a53aUL, 0xf4013edUL, 0x747f9632UL, 0x6434c188UL, 0xe547033fUL, 0x21659ee1UL,
  0x14cf9fa3UL, 0x6cb14a2UL, 0x5380a24UL, 0x70c1cf6bUL, 0xe4ea160eUL, 0xff53c901UL, 0xdc249b0eUL, 0xb3e9cd67UL,
  0x5caf88bUL, 0x516b9ea0UL, 0x463d5024UL, 0xfb674bc5UL, 0x1f0406b3UL, 0x8516d5eeUL, 0x4559ccaaUL, 0x4068aff6UL,
  0x3b5c3035UL, 0xc399815fUL, 0xdfcd2c04UL, 0xbc109d0UL, 0x2a6400f0UL, 0xcdc76ba7UL, 0xd9131730UL, 0x367bb3a7UL,
  0x1df0a1bUL, 0xdcc575dbUL, 0x7869b90aUL, 0x4b0dabdeUL, 0x38a94b6aUL, 0xc7812b97UL, 0xaac750a9UL, 0x75f80bb0UL,
  0x2d9ba2a8UL, 0x3fa5cc89UL, 0xeae078e1UL, 0x6948afb9UL, 0xd4afed6fUL, 0xfcd5eb03UL, 0x72306bf3UL, 0x59724444UL,
  0x18d14fc3UL, 0x1bedce8UL, 0xa8125395UL, 0xe0c7f6deUL, 0xfe9f6b4dUL, 0xee95847aUL, 0xee8970fcUL, 0xb9ed33eaUL,
  0x2616d02eUL, 0x6487dc88UL, 0xaa383a03UL, 0x2ee18b10UL, 0x9cd67757UL, 0xef2382e9UL, 0xd893a5ceUL, 0x1ca247cbUL,
  0xd0f51c0fUL, 0x93e5a97dUL, 0x291457c6UL, 0x10963b29UL, 0x84d95963UL, 0xfc000283UL, 0x25629824UL, 0xa4a0f571UL,
  0x64576766UL, 0xb703300dUL, 0xd5181a4cUL, 0x67410bfUL, 0x2420fe12UL, 0x5fc773b9UL, 0xb5ead2a0UL, 0x727d3ce0UL,
  0x1bf74d0bUL, 0xacd3fa81UL, 0x46e41f2eUL, 0x156f4eddUL, 0x1ea4e459UL, 0xeafaf8a8UL, 0x6a532c13UL, 0x8839029dUL,
  0x204a4502UL, 0x985a33a6UL, 0xda502eb1UL, 0x8b918c4eUL, 0x80a17e66UL, 0x80265964UL, 0x9492eafbUL, 0x173aeb7dUL,
  0xebf08ccdUL, 0xfa5a5e9bUL, 0x1514341bUL, 0xf3fa901eUL, 0x7274c4deUL, 0x58450d39UL, 0x3d7994ddUL, 0x11e797e3UL,
};
#endif