diff --git a/numpy/random/randomgen/generator.pyx b/numpy/random/randomgen/generator.pyx index 0ca02e9127fe..b05f490334fe 100644 --- a/numpy/random/randomgen/generator.pyx +++ b/numpy/random/randomgen/generator.pyx @@ -2557,8 +2557,8 @@ cdef class RandomGenerator: >>> def logist(x, loc, scale): ... return np.exp((loc-x)/scale)/(scale*(1+np.exp((loc-x)/scale))**2) - >>> plt.plot(bins, logist(bins, loc, scale)*count.max()/\ - ... logist(bins, loc, scale).max()) + >>> lgst_val = logist(bins, loc, scale) + >>> plt.plot(bins, lgst_val * count.max() / lgst_val.max()) >>> plt.show() """ diff --git a/numpy/random/randomgen/mtrand.pyx b/numpy/random/randomgen/mtrand.pyx index 4f81f92d1077..2f89f5eb0cd7 100644 --- a/numpy/random/randomgen/mtrand.pyx +++ b/numpy/random/randomgen/mtrand.pyx @@ -2573,8 +2573,8 @@ cdef class RandomState: >>> def logist(x, loc, scale): ... return np.exp((loc-x)/scale)/(scale*(1+np.exp((loc-x)/scale))**2) - >>> plt.plot(bins, logist(bins, loc, scale)*count.max(), - ... logist(bins, loc, scale).max()) + >>> lgst_val = logist(bins, loc, scale) + >>> plt.plot(bins, lgst_val * count.max() / lgst_val.max()) >>> plt.show() """ diff --git a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128-benchmark.c b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128-benchmark.c index 108058eeb103..9a7b52bfbf29 100644 --- a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128-benchmark.c +++ b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128-benchmark.c @@ -14,14 +14,16 @@ #define N 1000000000 -int main() { +int main() +{ uint64_t count = 0, sum = 0; uint64_t seed = 0xDEADBEAF; s[0] = splitmix64_next(&seed); s[1] = splitmix64_next(&seed); int i; clock_t begin = clock(); - for (i = 0; i < N; i++) { + for (i = 0; i < N; i++) + { sum += next(); count++; } diff --git a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128-test-data-gen.c b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128-test-data-gen.c index d95260eca176..d50e63f5e6da 100644 --- a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128-test-data-gen.c +++ b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128-test-data-gen.c @@ -21,50 +21,61 @@ #define N 1000 -int main() { +int main() +{ uint64_t sum = 0; uint64_t state, seed = 0xDEADBEAF; state = seed; int i; - for (i = 0; i < 2; i++) { + for (i = 0; i < 2; i++) + { s[i] = splitmix64_next(&state); } uint64_t store[N]; - for (i = 0; i < N; i++) { + for (i = 0; i < N; i++) + { store[i] = next(); } FILE *fp; fp = fopen("xoroshiro128-testset-1.csv", "w"); - if (fp == NULL) { + if (fp == NULL) + { printf("Couldn't open file\n"); return -1; } fprintf(fp, "seed, 0x%" PRIx64 "\n", seed); - for (i = 0; i < N; i++) { + for (i = 0; i < N; i++) + { fprintf(fp, "%d, 0x%" PRIx64 "\n", i, store[i]); - if (i == 999) { + if (i == 999) + { printf("%d, 0x%" PRIx64 "\n", i, store[i]); } } fclose(fp); seed = state = 0; - for (i = 0; i < 2; i++) { + for (i = 0; i < 2; i++) + { s[i] = splitmix64_next(&state); } - for (i = 0; i < N; i++) { + for (i = 0; i < N; i++) + { store[i] = next(); } fp = fopen("xoroshiro128-testset-2.csv", "w"); - if (fp == NULL) { + if (fp == NULL) + { printf("Couldn't open file\n"); return -1; } fprintf(fp, "seed, 0x%" PRIx64 "\n", seed); - for (i = 0; i < N; i++) { + for (i = 0; i < N; i++) + { fprintf(fp, "%d, 0x%" PRIx64 "\n", i, store[i]); - if (i == 999) { + if (i == 999) + { printf("%d, 0x%" PRIx64 "\n", i, store[i]); } } diff --git a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128.c b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128.c index 981aeab8478c..060eb8a518c1 100644 --- a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128.c +++ b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128.c @@ -1,4 +1,4 @@ -/* Written in 2016 by David Blackman and Sebastiano Vigna (vigna@acm.org) +/* Written in 2016-2018 by David Blackman and Sebastiano Vigna (vigna@acm.org) To the extent possible under law, the author has dedicated all copyright and related and neighboring rights to this software to the public domain @@ -6,29 +6,28 @@ worldwide. This software is distributed without any warranty. See . */ -/* This is the successor to xorshift128+. It is the fastest full-period - generator passing BigCrush without systematic failures, but due to the - relatively short period it is acceptable only for applications with a - mild amount of parallelism; otherwise, use a xorshift1024* generator. - - Beside passing BigCrush, this generator passes the PractRand test suite - up to (and included) 16TB, with the exception of binary rank tests, as - the lowest bit of this generator is an LFSR of degree 128. The next bit - can be described by an LFSR of degree 8256, but in the long run it will - fail linearity tests, too. The other bits needs a much higher degree to - be represented as LFSRs. +/* This is xoroshiro128+ 1.0, our best and fastest small-state generator + for floating-point numbers. We suggest to use its upper bits for + floating-point generation, as it is slightly faster than + xoroshiro128**. It passes all tests we are aware of except for the four + lower bits, which might fail linearity tests (and just those), so if + low linear complexity is not considered an issue (as it is usually the + case) it can be used to generate 64-bit outputs, too; moreover, this + generator has a very mild Hamming-weight dependency making our test + (http://prng.di.unimi.it/hwd.php) fail after 5 TB of output; we believe + this slight bias cannot affect any application. If you are concerned, + use xoroshiro128** or xoshiro256+. We suggest to use a sign test to extract a random Boolean value, and right shifts to extract subsets of bits. - Note that the generator uses a simulated rotate operation, which most C - compilers will turn into a single instruction. In Java, you can use - Long.rotateLeft(). In languages that do not make low-level rotation - instructions accessible xorshift128+ could be faster. - The state must be seeded so that it is not everywhere zero. If you have a 64-bit seed, we suggest to seed a splitmix64 generator and use its - output to fill s. */ + output to fill s. + + NOTE: the parameters (a=24, b=16, b=37) of this version give slightly + better results in our test than the 2016 version (a=55, b=14, c=36). +*/ #include "xoroshiro128.h" @@ -36,17 +35,20 @@ extern INLINE uint64_t xoroshiro128_next64(xoroshiro128_state *state); extern INLINE uint32_t xoroshiro128_next32(xoroshiro128_state *state); -void xoroshiro128_jump(xoroshiro128_state *state) { +void xoroshiro128_jump(xoroshiro128_state *state) +{ int i, b; uint64_t s0; uint64_t s1; - static const uint64_t JUMP[] = {0xbeac0467eba5facb, 0xd86b048b86aa9922}; + static const uint64_t JUMP[] = {0xdf900294d8f554a5, 0x170865df4b3201fc}; s0 = 0; s1 = 0; for (i = 0; i < sizeof JUMP / sizeof *JUMP; i++) - for (b = 0; b < 64; b++) { - if (JUMP[i] & UINT64_C(1) << b) { + for (b = 0; b < 64; b++) + { + if (JUMP[i] & UINT64_C(1) << b) + { s0 ^= state->s[0]; s1 ^= state->s[1]; } diff --git a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128.h b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128.h index 40cb39218908..0db82b173839 100644 --- a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128.h +++ b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128.h @@ -14,35 +14,41 @@ #define INLINE inline #endif -typedef struct s_xoroshiro128_state { +typedef struct s_xoroshiro128_state +{ uint64_t s[2]; int has_uint32; uint32_t uinteger; } xoroshiro128_state; -static INLINE uint64_t rotl(const uint64_t x, int k) { +static INLINE uint64_t rotl(const uint64_t x, int k) +{ return (x << k) | (x >> (64 - k)); } -static INLINE uint64_t xoroshiro128_next(uint64_t *s) { +static INLINE uint64_t xoroshiro128_next(uint64_t *s) +{ const uint64_t s0 = s[0]; uint64_t s1 = s[1]; const uint64_t result = s0 + s1; s1 ^= s0; - s[0] = rotl(s0, 55) ^ s1 ^ (s1 << 14); // a, b - s[1] = rotl(s1, 36); // c + s[0] = rotl(s0, 24) ^ s1 ^ (s1 << 16); // a, b + s[1] = rotl(s1, 37); // c return result; } -static INLINE uint64_t xoroshiro128_next64(xoroshiro128_state *state) { +static INLINE uint64_t xoroshiro128_next64(xoroshiro128_state *state) +{ return xoroshiro128_next(&state->s[0]); } -static INLINE uint32_t xoroshiro128_next32(xoroshiro128_state *state) { +static INLINE uint32_t xoroshiro128_next32(xoroshiro128_state *state) +{ uint64_t next; - if (state->has_uint32) { + if (state->has_uint32) + { state->has_uint32 = 0; return state->uinteger; } diff --git a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128plus.orig.c b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128plus.orig.c index c0293cc2b586..1b5f46e4bdb5 100644 --- a/numpy/random/randomgen/src/xoroshiro128/xoroshiro128plus.orig.c +++ b/numpy/random/randomgen/src/xoroshiro128/xoroshiro128plus.orig.c @@ -1,4 +1,4 @@ -/* Written in 2016 by David Blackman and Sebastiano Vigna (vigna@acm.org) +/* Written in 2016-2018 by David Blackman and Sebastiano Vigna (vigna@acm.org) To the extent possible under law, the author has dedicated all copyright and related and neighboring rights to this software to the public domain @@ -8,44 +8,45 @@ See . */ #include -/* This is the successor to xorshift128+. It is the fastest full-period - generator passing BigCrush without systematic failures, but due to the - relatively short period it is acceptable only for applications with a - mild amount of parallelism; otherwise, use a xorshift1024* generator. - - Beside passing BigCrush, this generator passes the PractRand test suite - up to (and included) 16TB, with the exception of binary rank tests, as - the lowest bit of this generator is an LFSR of degree 128. The next bit - can be described by an LFSR of degree 8256, but in the long run it will - fail linearity tests, too. The other bits needs a much higher degree to - be represented as LFSRs. +/* This is xoroshiro128+ 1.0, our best and fastest small-state generator + for floating-point numbers. We suggest to use its upper bits for + floating-point generation, as it is slightly faster than + xoroshiro128**. It passes all tests we are aware of except for the four + lower bits, which might fail linearity tests (and just those), so if + low linear complexity is not considered an issue (as it is usually the + case) it can be used to generate 64-bit outputs, too; moreover, this + generator has a very mild Hamming-weight dependency making our test + (http://prng.di.unimi.it/hwd.php) fail after 5 TB of output; we believe + this slight bias cannot affect any application. If you are concerned, + use xoroshiro128** or xoshiro256+. We suggest to use a sign test to extract a random Boolean value, and right shifts to extract subsets of bits. - Note that the generator uses a simulated rotate operation, which most C - compilers will turn into a single instruction. In Java, you can use - Long.rotateLeft(). In languages that do not make low-level rotation - instructions accessible xorshift128+ could be faster. - The state must be seeded so that it is not everywhere zero. If you have a 64-bit seed, we suggest to seed a splitmix64 generator and use its - output to fill s. */ + output to fill s. + + NOTE: the parameters (a=24, b=16, b=37) of this version give slightly + better results in our test than the 2016 version (a=55, b=14, c=36). +*/ uint64_t s[2]; -static inline uint64_t rotl(const uint64_t x, int k) { +static inline uint64_t rotl(const uint64_t x, int k) +{ return (x << k) | (x >> (64 - k)); } -uint64_t next(void) { +uint64_t next(void) +{ const uint64_t s0 = s[0]; uint64_t s1 = s[1]; const uint64_t result = s0 + s1; s1 ^= s0; - s[0] = rotl(s0, 55) ^ s1 ^ (s1 << 14); // a, b - s[1] = rotl(s1, 36); // c + s[0] = rotl(s0, 24) ^ s1 ^ (s1 << 16); // a, b + s[1] = rotl(s1, 37); // c return result; } @@ -54,14 +55,42 @@ uint64_t next(void) { to 2^64 calls to next(); it can be used to generate 2^64 non-overlapping subsequences for parallel computations. */ -void jump(void) { - static const uint64_t JUMP[] = {0xbeac0467eba5facb, 0xd86b048b86aa9922}; +void jump(void) +{ + static const uint64_t JUMP[] = {0xdf900294d8f554a5, 0x170865df4b3201fc}; uint64_t s0 = 0; uint64_t s1 = 0; for (int i = 0; i < sizeof JUMP / sizeof *JUMP; i++) - for (int b = 0; b < 64; b++) { - if (JUMP[i] & UINT64_C(1) << b) { + for (int b = 0; b < 64; b++) + { + if (JUMP[i] & UINT64_C(1) << b) + { + s0 ^= s[0]; + s1 ^= s[1]; + } + next(); + } + s[0] = s0; + s[1] = s1; +} + +/* This is the long-jump function for the generator. It is equivalent to + 2^96 calls to next(); it can be used to generate 2^32 starting points, + from each of which jump() will generate 2^32 non-overlapping + subsequences for parallel distributed computations. */ + +void long_jump(void) +{ + static const uint64_t LONG_JUMP[] = {0xd2a98b26625eee7b, 0xdddf9b1090aa7ac1}; + + uint64_t s0 = 0; + uint64_t s1 = 0; + for (int i = 0; i < sizeof LONG_JUMP / sizeof *LONG_JUMP; i++) + for (int b = 0; b < 64; b++) + { + if (LONG_JUMP[i] & UINT64_C(1) << b) + { s0 ^= s[0]; s1 ^= s[1]; } diff --git a/numpy/random/randomgen/src/xorshift1024/xorshift1024.orig.c b/numpy/random/randomgen/src/xorshift1024/xorshift1024.orig.c index e4f899fb7b09..03c1c17fe800 100644 --- a/numpy/random/randomgen/src/xorshift1024/xorshift1024.orig.c +++ b/numpy/random/randomgen/src/xorshift1024/xorshift1024.orig.c @@ -14,7 +14,7 @@ See . */ linear dependencies from one of the lowest bits. The previous multiplier was 1181783497276652981 (M_8 in the paper). If you need to tell apart the two generators, you can refer to this generator as - xorshift1024*φ and to the previous one as xorshift1024*M_8. + xorshift1024φ and to the previous one as xorshift1024*M_8. This is a fast, high-quality generator. If 1024 bits of state are too much, try a xoroshiro128+ generator. @@ -36,7 +36,7 @@ int p; uint64_t next(void) { const uint64_t s0 = s[p]; uint64_t s1 = s[p = (p + 1) & 15]; - s1 ^= s1 << 31; // a + s1 ^= s1 << 31; // a s[p] = s1 ^ s0 ^ (s1 >> 11) ^ (s0 >> 30); // b,c return s[p] * 0x9e3779b97f4a7c13; } diff --git a/numpy/random/randomgen/tests/data/xoroshiro128-testset-1.csv b/numpy/random/randomgen/tests/data/xoroshiro128-testset-1.csv index 8289ff27eb96..4ef7172e1735 100644 --- a/numpy/random/randomgen/tests/data/xoroshiro128-testset-1.csv +++ b/numpy/random/randomgen/tests/data/xoroshiro128-testset-1.csv @@ -1,1001 +1,1001 @@ seed, 0xdeadbeaf 0, 0x86f9f4feeebed928 -1, 0xcd2c9d2d1dc1c071 -2, 0x94741e0555641979 -3, 0x81eed88d38a9138e -4, 0x54b9f49cd0035507 -5, 0x8c112b85821a173a -6, 0x51f4c2eabf05c192 -7, 0xefa6a9ad4ca56d94 -8, 0xd3bd969b3aeb5457 -9, 0xcd4f28af5618e25a -10, 0xa20fd197fb60aad -11, 0x796b5146f61afc52 -12, 0xf6fe619effce6d62 -13, 0x763ed6613d00e8bd -14, 0x333d357571b249c -15, 0xc2a39f35ba8f4ce6 -16, 0xae35d916c6cf8a2b -17, 0xfdfaa6b7eb9591d3 -18, 0x52668584489de943 -19, 0xca982b4b760effb8 -20, 0x32c7256797c26f09 -21, 0x3115b9539d722cc -22, 0x5183f1d23dd2f56e -23, 0xa0a2a2c524e6650c -24, 0x3191f4b5260e5a2d -25, 0x1eebe2655fb4f190 -26, 0x5781c6b75a253a88 -27, 0xae45a39543b4140d -28, 0xfc62724b20d2df78 -29, 0x3770290ba157dc9c -30, 0xc4731569807dbff4 -31, 0xd42ec771a7a0a08f -32, 0x743276e0eb868d75 -33, 0x37f95d1ba1faebc6 -34, 0x3b4800b089a323cf -35, 0x437fa9c71af61839 -36, 0x1cab936dd28c6f1c -37, 0xe9d60347286dd9f0 -38, 0x716625cbd57bbd63 -39, 0xbd6c0f5e6aea7288 -40, 0x7c782d5b111a89f3 -41, 0xaeb1b9478b99970 -42, 0xbdffccb6a96cb533 -43, 0x9423e6ea789f29f1 -44, 0x53df9a7a0ea73fe6 -45, 0x7d9bec5c15c7e349 -46, 0xd1fc83fcf223aea5 -47, 0xd1dce35338ad3bab -48, 0x297bd5f1cf79e758 -49, 0x19ec39a6191419da -50, 0x45e57323ad58071b -51, 0x395bcbebe1ddf611 -52, 0x22d9065efb013222 -53, 0x4ea2d534fd9fecb3 -54, 0x9b9779e1edeb2e27 -55, 0x1ba777ba576a236e -56, 0x23cf95e34d62dd3f -57, 0x6d1689730795e6bd -58, 0x24e510f9d2f65379 -59, 0x1e12d607e78701e8 -60, 0x3347fe3ddc50a23e -61, 0x331754f825305d97 -62, 0xf21a675c0344709c -63, 0xcc9bd2062ae5fb39 -64, 0xd2dcd3a1ee6afe9e -65, 0xbdb0388382c408d1 -66, 0x19476497aaef64ad -67, 0x906dfff3b1181dd7 -68, 0x47edd3c528f4c753 -69, 0xba2a0f289279aec2 -70, 0x710bc73fd1c732a9 -71, 0xe0238b1ab604610d -72, 0x10f68d7eb0d19e19 -73, 0xc13654f8b8f3d9b7 -74, 0x112c76bf71ad04a9 -75, 0x4b9d965062e9a0fd -76, 0xe0b13496fec19aa8 -77, 0x999493dababe73c8 -78, 0x87104db5240f12fb -79, 0x8fc8dff016c96a13 -80, 0x3eff4853e8b167a8 -81, 0x438b6f5c3d10b85d -82, 0xc2f94a0707d949f5 -83, 0x87981b13beefb01f -84, 0x1718db5072923bb2 -85, 0xbe7ae4310234b5f1 -86, 0x3ad4306f2b2b3b47 -87, 0x9de166baaf152f81 -88, 0xebca2cf057a00802 -89, 0x99bfd19b5e0a87b2 -90, 0x5ae7b3ab9d2623c0 -91, 0x8de5811587a53d2e -92, 0x629a57a87d068ee4 -93, 0xfd80a82607740601 -94, 0x5758bfc8610d0b8b -95, 0x8f0c00fab932c1f5 -96, 0x3d49bd296a34582d -97, 0xc99c1bb8319ce526 -98, 0x1dd5ba47ac1443ba -99, 0xb5a40a33c9ca1cf9 -100, 0xa1025156b711394c -101, 0xdb3ef94ee8bc71a4 -102, 0x6d3292123ffa9bc9 -103, 0x4b9683ebf2f98d1f -104, 0x4d1a4709b547bfe7 -105, 0x3623a9c4054355b1 -106, 0xed15f8852d329b4d -107, 0x60ef76852f40e346 -108, 0xe64c2bfc6d0ef2dc -109, 0xf286f874cfb68ee2 -110, 0xb1b07a7ca9268329 -111, 0xf618a9bfe00b7cdd -112, 0x54a40c4f52cab527 -113, 0x5007a4d41eaf0af1 -114, 0x6fa7f2210a7b7f3a -115, 0x7b448faa473ad765 -116, 0x901b6276232cb3c2 -117, 0xd69d06b85d118dfd -118, 0xf8fb03c5dfef937a -119, 0x5a53e96d5ebc4689 -120, 0xe24e81bbd9772b3c -121, 0xa996ed94405e1811 -122, 0x7d8712833a4cbd96 -123, 0xd8b81a509f392481 -124, 0x76b52a270551424b -125, 0x4c854325eaa4ef23 -126, 0xc8823e5a74757b2f -127, 0x9ac8deb0aa215a3f -128, 0x89641160b3eeafdd -129, 0x17781aba3d908856 -130, 0xd12e5f215de0a3b4 -131, 0xd94cd412b8bef057 -132, 0x40e85ebd5844b9e8 -133, 0xa581cf7ef62e70a2 -134, 0x74953df639f8a9a2 -135, 0xaa92c9804434caa6 -136, 0xf186398542a15448 -137, 0xa0888e1233d64da3 -138, 0x277d14f22bc64c91 -139, 0x2851b3b5fc49ad5 -140, 0x68182666788909 -141, 0x5ea068625e49839 -142, 0x63bac5a5d225e8db -143, 0x2dd9db0ad24aff05 -144, 0x3f637e71528ad6ad -145, 0xe3b7ba911c4fe47 -146, 0xe4bcf50c8ada7ab6 -147, 0x4470ffb01cd6980c -148, 0x377cfdbe8e810731 -149, 0xdb33ff37954849c7 -150, 0xb622ead14010ad64 -151, 0x6c44d65c7a81a5cb -152, 0xd99a3fca5a5d9fce -153, 0x24e7360e1ee2efd4 -154, 0xbd927a3fb576d81 -155, 0x1ea3f2b7c909ffb7 -156, 0x48aedb2bec244a7e -157, 0xc17d9539cf53a5f7 -158, 0xe4ea45fcf4de590b -159, 0xe1d863ebb77cb7de -160, 0x8ecf0bc8d88fefe4 -161, 0xa881cef3b3209e05 -162, 0x8f34a14a6978afb6 -163, 0xed4e2e5e1f4966fe -164, 0xede897e11cbe230d -165, 0xd344af5e50042d6 -166, 0xb2739594ba906c81 -167, 0x83c0bbde6d95b632 -168, 0x6b7ae9d1c4af98b2 -169, 0xc4b8f6816eae17f -170, 0xf8e3a6bf7855bd3b -171, 0x9f64ff72d6357488 -172, 0x50b6a304f9543f58 -173, 0x330e8281e591cc6e -174, 0x15dfdd5af7b421e3 -175, 0x8d3224e62524222c -176, 0x90d89d139a75b44f -177, 0xf6efb68e15639dce -178, 0x98cf64777861f844 -179, 0xa031e78e4b3a7b3a -180, 0xa3647dbd85c538eb -181, 0x73656c8c77d9c56 -182, 0x88840b683d4fdb72 -183, 0x3b84749774eac55 -184, 0xb9b753a86ec15b39 -185, 0x31ab026ace06b686 -186, 0x4fd37ef5b5b1d284 -187, 0x7cc6c46fb114a76 -188, 0x463ff22f392dbd4c -189, 0x188c3718f2068889 -190, 0x769892f97d895302 -191, 0x9838246e76757b6f -192, 0x546a68f394c391ee -193, 0xc9e32a7d2a7fb559 -194, 0xd84ac91984217239 -195, 0x82ef273042519aaf -196, 0x79650a2c9bf2a812 -197, 0xb7aa6dc1c23eaecb -198, 0x60326b9e25b055d -199, 0x6b17c296feac0e6a -200, 0x7813f405baa0d85 -201, 0xb9d52400dcb399d2 -202, 0xfb588178727e0012 -203, 0x448763bafa3d9095 -204, 0xd63fd1757e94e19f -205, 0x2bc98e05f296e73 -206, 0x9e05ff0a641889cb -207, 0x1e1716c76c9a8990 -208, 0x9e2f67e555f5389 -209, 0x430a8a612033934b -210, 0xd49a74a4d8743bf -211, 0x7b08085a0b4aee34 -212, 0x2c0482984960e7c1 -213, 0xae26bcde5d8fe8fa -214, 0x8f40022b951f98c9 -215, 0xcc59b599dd0383a6 -216, 0xb6833d7a5e00c373 -217, 0x3e025759aba46bdb -218, 0x2558a3dd775dee09 -219, 0xdcd8370368d091a8 -220, 0x9e55348e5734fa9f -221, 0x1061a08056830eea -222, 0xdca96b36adc5ed23 -223, 0x8563d7d016fe5d7b -224, 0xa3fb6b79b0095ee3 -225, 0xb887cd180ae6f882 -226, 0x670e10186fda74a9 -227, 0xa25f08a01b69032e -228, 0x5d90bfde7e21c0c8 -229, 0xb1b154f328250786 -230, 0xe0050135775487f3 -231, 0xbd7001fa00656593 -232, 0xcb6136e259180b69 -233, 0xf7480387c0872215 -234, 0x2e478a3efc5a7ec4 -235, 0xeb1cad9cb7d82f45 -236, 0x5d4c127c6c060ca3 -237, 0x1f9efe7a0bc11db5 -238, 0x59b9712ac8f24207 -239, 0xb94edcfe7b8e7ded -240, 0x474b672b27aef61b -241, 0xc2150760d3da0859 -242, 0x1146d26c90b6becb -243, 0x52926b0e9e820413 -244, 0x24f2b065f78bdaa5 -245, 0xf94b5372ca68e5e -246, 0xfdf3e645313db1fa -247, 0x181af7ab689d2ec7 -248, 0x1e275b8f25520a3 -249, 0x1f287f3ff3d55dc8 -250, 0xa035801d4747cae9 -251, 0xba6ed878f55ebd -252, 0x74d6598302a5c786 -253, 0xe92ce6198f39ded4 -254, 0x7b811ab7cda273c9 -255, 0x9d17fb60483addd4 -256, 0xf2b457f77ba326f -257, 0x32e5956d2a580c90 -258, 0xcba559493cdd2b6 -259, 0x59276c178ca0e7a6 -260, 0x509681deb2f0160b -261, 0x1bc2df48eb8f2a3a -262, 0xbe7f17f92c808cd8 -263, 0xebbcd3a312ab80b7 -264, 0xef85e7595c591a83 -265, 0x914028c61432c620 -266, 0x7d8f67244eb3ea9e -267, 0xa0512684d8ca4355 -268, 0x5a12209ada976a9c -269, 0xfa0cf430c33df55c -270, 0xd514dc8064688736 -271, 0xc5020a78e10201f7 -272, 0x9df7e30707f4591b -273, 0xbc41eeb3c45f4ba2 -274, 0x2b5605d64a470e5d -275, 0x77753b9a125af99a -276, 0x7ba925c3af8e2a4 -277, 0x46c1dadcd05c1165 -278, 0xcb64cd52411f993 -279, 0xa6c3c1f065f7c758 -280, 0xad68088813a0068a -281, 0x6dd039e4b9d4631a -282, 0x528f220f2f54270e -283, 0xfe565ea36805959e -284, 0x3f2edbdc64385933 -285, 0xf0ea2fe07768bf3a -286, 0xd120fe046bfafc74 -287, 0x85c1b029a6d56aa1 -288, 0xb03c986da026593d -289, 0xd126fed2a4ca68a7 -290, 0x7e63d8216bc42201 -291, 0xadbfd88dcf50e179 -292, 0x6c1c1308ee42ca66 -293, 0xf5415a024cbf5458 -294, 0x4e50d4d388352815 -295, 0x38949c203a1a34ab -296, 0x3a35d5ff38274f23 -297, 0xc96c009af2982c00 -298, 0x581691437bf0b1e7 -299, 0x793d1a61f0b0dcf8 -300, 0xa36a3b1c3e39c61e -301, 0xff2938c1b78db0fc -302, 0x1e82a7fc6b7c4725 -303, 0xd91883febcf4672e -304, 0x22c55d5c95f1d985 -305, 0x3fc97236c50bfce1 -306, 0x28a3e0c7a4380bcb -307, 0x2c072113ce5f2570 -308, 0x9c816b6af1d912a3 -309, 0x83698f6af8e41daa -310, 0xa7b1b189d398eae5 -311, 0xb5b44ce05dd0867e -312, 0x5ceaebf68b501f84 -313, 0xdf384c2545db9168 -314, 0xa75eae42ad85396f -315, 0x88273ff551afa924 -316, 0xda2c47046eabd9f0 -317, 0x18d83b83988fa9bb -318, 0xeed5ad076674a6ac -319, 0x28d969bd36a0d5e8 -320, 0x9259eebb564cfd98 -321, 0xdc2e175377ffcd6a -322, 0xcdb19c84396bc51d -323, 0xeaa3a7674b5e5da8 -324, 0x9bd54f94110b36a -325, 0x88d96179c0a35528 -326, 0xea1536654ceee668 -327, 0xdd1cc9d40ad3ea60 -328, 0xe9106bddc3221293 -329, 0xe096d5b5acd9ff46 -330, 0x4cb27170156f9265 -331, 0xd0d3e5b9edadb2bb -332, 0xf75347484f2af9b4 -333, 0x6170333a4e6885d5 -334, 0x99a50b6b702b80ba -335, 0x10629a67c9781899 -336, 0x374a33743030da9d -337, 0x289fdbd0bc89f257 -338, 0xa67c56d1bc5dc5dc -339, 0x38e90cd1dd6d64f2 -340, 0xcc5ed5dc4955655e -341, 0x723d33bae999723d -342, 0x46af17f0c981605a -343, 0xd1d3a915f899b0ff -344, 0x9a60c9bee03dcb43 -345, 0x11753a29a1d9201 -346, 0x491c99adde4e0a73 -347, 0x634437d6dc4388ea -348, 0x5f4cf58d810069e0 -349, 0x8d950ed29ac1703d -350, 0xa6330099182b17e3 -351, 0xfc9bf9a5cd4ea35d -352, 0x4560dc5769ff741b -353, 0x374a9ff29ee966ba -354, 0x16a9bd5c9214e40d -355, 0x46fdfb2899af3e80 -356, 0xe2eff8b6ad57da07 -357, 0xa67c709690485024 -358, 0x87551c8907b62ead -359, 0xde03a75e08382365 -360, 0x6744ad2be09ed2c1 -361, 0xb34ec9f71efb1f48 -362, 0x4fb71847ea9a525a -363, 0x10ffcd51ebb2f5b9 -364, 0x489431753bfacc7b -365, 0x7a9cc00b29aa7802 -366, 0x8017011d2285ce9d -367, 0xd54d90e061d61b87 -368, 0xa41a40e4a81526a -369, 0x47b5ba075adc3b4c -370, 0xb8cbbc5498cc428b -371, 0x6165fcf1ef4795b -372, 0x57926a7aebb26866 -373, 0x226ec9794dd0714f -374, 0x2759cca87ce9a2ed -375, 0xb41a74ac376c84d3 -376, 0x3e8101b52e2518a6 -377, 0xc8f18bb165e3db1d -378, 0x187f3ef2ff1093d2 -379, 0xb5c1069cdbe57e46 -380, 0xd3f342f3104a5902 -381, 0xf32e59c6c7b8458 -382, 0xfdb39f79b5b1f574 -383, 0x526dce2fc3115682 -384, 0x1a2e8128c0180ae -385, 0x5eead6a0e587e4c6 -386, 0x450e7d15d282c580 -387, 0x931a6cd04be42fe5 -388, 0xb4d321f03fb71277 -389, 0x32479d856fd9bdfa -390, 0xa28dc713e419022a -391, 0x6c8dcea6b5adbb14 -392, 0x4ae7b8d58ef7aa3d -393, 0x49903e3fbd56493e -394, 0x5238b0c9ee856f3b -395, 0x77deab4c733cb2 -396, 0xea5d74aec663c8dc -397, 0x899afbc707b0899 -398, 0x56a9418f18219182 -399, 0xb42801a6445d852a -400, 0xd8462e581c7cd53b -401, 0x802701332acff0c8 -402, 0x309618a5c049ddaf -403, 0x66f6d281cd986fa -404, 0x53f089859dd3e861 -405, 0x497078aabbed67cd -406, 0x9cdc9d89a2e1cc9 -407, 0x871b1721c6f463c4 -408, 0xe9f8872d8f113d84 -409, 0x48e03acc1ff301b -410, 0x79d5f73993eb02ef -411, 0x5ac76f9f2329e39b -412, 0x878c2c8d84a9643a -413, 0xd1d0786d40a7391d -414, 0xf024ad81eea63787 -415, 0x9f96b1146e5354b3 -416, 0xa85fd9a5bc0fc195 -417, 0xafd0522c28edfd2f -418, 0x6c1aa508159a1fcd -419, 0x873f632373719c87 -420, 0x5db129eaa27ff3d1 -421, 0xd81037e5b49f399d -422, 0xa40a347abfc43a81 -423, 0x314452aabf5a95b1 -424, 0x6f8642230a3edee8 -425, 0x2aaa01f7cc73fb09 -426, 0xa0ebf15ee345343 -427, 0x19fddca117f16f35 -428, 0x111be87b23ca2143 -429, 0x46de5fd13663c896 -430, 0x2dacbe0fca5e4efe -431, 0xd534f9dce19043c7 -432, 0x7a548f9a35a6759b -433, 0x3c6f046dd15b6fe3 -434, 0x1f7a17cbfc090519 -435, 0xd8a282357a83d2ce -436, 0x96a8a5cfb5be2843 -437, 0xce416b54c95c6006 -438, 0xcda9d6127cb716cb -439, 0xb062a607b35aef78 -440, 0x141e913718707191 -441, 0xef829605cf4aa346 -442, 0xb9555c4c76d6a7c4 -443, 0xd41bd4a1593170ca -444, 0x2e00143ad3d88b4d -445, 0x1afa722d16ac1d47 -446, 0xa22530a5d53159c8 -447, 0x17f76921e5633a50 -448, 0x8e3ed4b11072799f -449, 0xedb6ace0cb513a05 -450, 0x8dbf3d235449385e -451, 0xd01fb688b01b798f -452, 0x8e3aa7aa93ab0436 -453, 0x8b18ef4c8cc20636 -454, 0xf40181de15f5029a -455, 0xfcf54366f31c924b -456, 0x7b16e64f5c3a1d71 -457, 0x6b5f96df49784c48 -458, 0xcb5914727615bb07 -459, 0xf228f7b32ec2d237 -460, 0x37c51a8a1b854a84 -461, 0x63484491b02c7fac -462, 0x526a9f0a571e170a -463, 0xeb8d59e7fbbe583a -464, 0x4fd1fa3bd32b8c84 -465, 0x825ba1ed08b31e1f -466, 0x644d2cadd8ddeeb2 -467, 0x3874924732d3c6d7 -468, 0xd2679fee287a403a -469, 0x17ddb27712b6cdb9 -470, 0xcce6bed3fa81f460 -471, 0x8a2df0f2ccb3f028 -472, 0x85d166e4456aae72 -473, 0x5dc4ce3fab56777 -474, 0x555b2c69b6eabb7 -475, 0x873bc152fdb3717d -476, 0x5670068eb7d52805 -477, 0x7f776ca61f79e219 -478, 0xa8b51d2bd8c8c939 -479, 0x50345828de969faa -480, 0xbefa083bfbd71b60 -481, 0x883809b883dffdca -482, 0x49ccf930ea76fce8 -483, 0x97cc45c4c2dcf12b -484, 0x4d3aef2e2a4a450b -485, 0xc7ed768e40efd44d -486, 0x5530c69ecdc47b2c -487, 0x2fbb8ad65b3e777a -488, 0x45234e14d9fd969d -489, 0xb6a758912ec87c9d -490, 0xb35f335efeac2d3b -491, 0x21efc82b1e65a1cf -492, 0x897db9fe20a2702f -493, 0x444042b714793c27 -494, 0x37356cc844e57cb7 -495, 0x602ecce617309266 -496, 0x4ea323a5d93363b7 -497, 0x2c2f0344303d7067 -498, 0x983de14baf7a9234 -499, 0xc4edde0900601361 -500, 0x12574e754cf862a8 -501, 0x82eb774465a3a83b -502, 0x115fd6ada32ab10 -503, 0xce23f43213ea118a -504, 0x912e289389130f18 -505, 0x977464bbb2fc0cd9 -506, 0xeb944201e2747c79 -507, 0xa41dae77205e05ee -508, 0x66c91981aba16d08 -509, 0xbd4aefbeb385af57 -510, 0xd7c7d36c0ec75862 -511, 0x492e43720ebee40c -512, 0xf44861d4636833df -513, 0xb9fb92c7203e2a1a -514, 0xd75f7f48e860938b -515, 0x8235d433d3e773f8 -516, 0x36cc65bb70a32774 -517, 0x3898d9516512bffa -518, 0x4f5c36707161dc35 -519, 0xa35e3d81512f0a8e -520, 0x4ae50933ef7bd3b9 -521, 0x641dc03f71dc81f3 -522, 0xc6002d833e1d768e -523, 0x6c7d94f79b7a1956 -524, 0x4027405ac3c6e666 -525, 0xab69f022928e86d8 -526, 0x90272e57839563ab -527, 0x56e78769f743d98 -528, 0xb5c7931145b93a39 -529, 0x253fbe3201939650 -530, 0x5325825cbe56c3a9 -531, 0x159aa2be6163c7bf -532, 0x56b8d5a5ed375c9 -533, 0xbd4b45a7cce10f56 -534, 0x2f799de5fd80339e -535, 0x40232bd30ebb82d2 -536, 0xc10e2198616b20a6 -537, 0x6a13ecc0b52813f -538, 0xfafd5d5b466ee59e -539, 0x810cbf398208d400 -540, 0x7137dc6f08e5b6d3 -541, 0xfe59d9caf7564d0c -542, 0x3117cae7c6ee6927 -543, 0x89e83cf15785a430 -544, 0x386b6daed57236e1 -545, 0xc2e6fb38df98a4dc -546, 0x496513da22e1e53e -547, 0x57efdf29edd94aab -548, 0x3433ac46ce163ef3 -549, 0x296565c39cba14f3 -550, 0x1ce89ad8ff370a6f -551, 0xcb12c5a7db52fd27 -552, 0x8125373ad475530a -553, 0x75ed8dda02fd5bbc -554, 0xaf2c279596340f93 -555, 0x18c7f80478479a56 -556, 0x14edf2ed871d9c41 -557, 0xf35731f0b8d26e4a -558, 0x2cace2d1996272bd -559, 0x84c3b017f5b12bb8 -560, 0x441c286a303c81c8 -561, 0x92a7c594c92b2353 -562, 0xb175a7a7e0cab31f -563, 0x501d7003cb9e530d -564, 0x1e9d3dea32bb5d6 -565, 0x60756fd6e4b239d2 -566, 0xf979b4c7ddf4bb22 -567, 0x1e5c0ba3d2797a7a -568, 0x94590d4209c70c70 -569, 0xc5dbc6ef6fd8c203 -570, 0x46a0eb4fc61727f2 -571, 0xe3ddaa7f4033fcb0 -572, 0x4fc177555a6b2f9b -573, 0xce0f6ab675596a18 -574, 0xe11a08478844ecec -575, 0x47054780433de44 -576, 0x89a3be9609dc2a34 -577, 0x9ea612c49a4c170f -578, 0x8212e9db2df9ca7d -579, 0xdf1cedac92affa7c -580, 0xc21b0ff068580e5a -581, 0x49168be340b1ade -582, 0xce3a5fd54225a6a9 -583, 0x80ecff24ec6cdb9f -584, 0xd14429e950a1a21e -585, 0xc66a1ad3cad8f9a6 -586, 0xcc76bdca3ded453c -587, 0x748165a5cb8b6bd -588, 0xcc77eb3966db7c5d -589, 0xbaceadcc1db342d6 -590, 0x33b42e3dc005fc38 -591, 0x43b5661eead65675 -592, 0x356821fd43c46e5 -593, 0x4efdd2444e0c5ffa -594, 0xf84ce60e2c0de959 -595, 0x14a4b1dd26583f04 -596, 0x6ffb885f5fe18b87 -597, 0x8233b6a95b1af132 -598, 0x7e2e9c449dd06b71 -599, 0x736bc96174cd4d97 -600, 0x86591ab3ab385777 -601, 0xb7696e3909a91039 -602, 0xda363e1a90c99d9c -603, 0x793cd7e1855b9a43 -604, 0xa9dbce0ccacd24c2 -605, 0x5d9a1d9b06fcf2f2 -606, 0xa7db7fd7c2b50d55 -607, 0x13c85aaefd37bf77 -608, 0xcba5689a383aa436 -609, 0x7dcbc3e297d2bd31 -610, 0x9860da13006164e8 -611, 0xda3be955750ba8a6 -612, 0x57f6a78ac6d2cb3 -613, 0x861ed21955702cef -614, 0x3cfdfb6fa0763186 -615, 0xd075f803b072f140 -616, 0x6b1622638e94a714 -617, 0x6f4b177c0213a295 -618, 0x26c113226bbfa72 -619, 0xbcb962e03d008ba7 -620, 0x1e50555d6e75d9b9 -621, 0xd67082f15ff0086 -622, 0x20766d0fc6bd729b -623, 0xeea24b2ecc4db639 -624, 0x3136637be559ec83 -625, 0xd3f2c641faccfcf8 -626, 0xe43f5bfe95bfb2c2 -627, 0xbc801108984335e3 -628, 0x19ff6b0c435e06a1 -629, 0x7b8f28c44eb5195d -630, 0x375460c52c467757 -631, 0x534f4697a2a2f0d3 -632, 0xbd1aed6c1a94e586 -633, 0x9dec33a59dd000e1 -634, 0x4611fc38e6902126 -635, 0x1296da2fca821b09 -636, 0xce4684ac8861a6b7 -637, 0x16bdaa7a0563d3c8 -638, 0x22a6a8b6de1fcd10 -639, 0xeed5c457b2d2a399 -640, 0xb66c697c0e328f69 -641, 0xe678d6d573b2dc21 -642, 0xd0a78328399774d2 -643, 0x7fee339fadd44eaa -644, 0x32c2da48753c8818 -645, 0x691f87af10bc6f5c -646, 0xe382722ac6ebdbb3 -647, 0x28bb87557931a39f -648, 0xc3aba948d7d22fa6 -649, 0x3ce7016f24e2f50b -650, 0x863b408ab8161d28 -651, 0x1e3d2d6746c16b31 -652, 0xe5a21dc5843a37d6 -653, 0x8ecb559ea375c81d -654, 0xff2681b83a599f98 -655, 0xcd9893140d02b725 -656, 0x80294d390a4e1a08 -657, 0x254166d362613f84 -658, 0xd2c336ba5b4ae618 -659, 0xef79a05286b75aaf -660, 0x704140e00e02ea9f -661, 0xa2623b124bb92365 -662, 0x2225846e393c249b -663, 0x95676d7c7aae81a3 -664, 0xe0cbe12ba194b3d9 -665, 0xda8ca3d800ea6152 -666, 0x8b2c2f63db05c887 -667, 0xf14012751ef435e9 -668, 0x33820fbd9a06d78 -669, 0xf37375a008192ae8 -670, 0xaa2c34f4b405589e -671, 0xd26bbda155ac158b -672, 0x418b108b101ea70d -673, 0xb9648a82ca0617d7 -674, 0xae6e2213c8c0d3e3 -675, 0xda7335c158d64615 -676, 0x78f175a4a89cdf5b -677, 0xac7a07b66a84f751 -678, 0x266019228d3bdb87 -679, 0x3a7798913c66d5a -680, 0x2aa9c173879dc048 -681, 0x67453dc96c3642da -682, 0xbe9ea095f8333cda -683, 0x10998be0d5702361 -684, 0x77a4e1af57a6b02e -685, 0x66356334d32ab0fe -686, 0x2df9585cb5ea1b34 -687, 0x51159b44acaa000f -688, 0xbc433d2fbb8a4953 -689, 0x5a533a3838335feb -690, 0xd57ffb6f839fc89d -691, 0xe7cd85b8d026e706 -692, 0xdd4acea5a81530e7 -693, 0xd7af04b51606fa0f -694, 0xe31e683c116deb37 -695, 0x4e2adf78e2a88fd1 -696, 0xc58b907a61dee8f -697, 0x673e1a4b00b0a2de -698, 0x36b639fa8091f63 -699, 0x7782c303339e2f0a -700, 0xfd84e0fb7774b0be -701, 0x2a6ac41e094d6e25 -702, 0xcf221a0187c8ca32 -703, 0x4e457ef8a6a528dd -704, 0x9a7714c8913ac3a2 -705, 0x5a6513aaec56ddf0 -706, 0x254fc4d74dc56a5 -707, 0x93e1bd37d16ee5f2 -708, 0xd1a16a2aa652c2ce -709, 0xa66ab34e5262848 -710, 0x5e6f429f482e4a2d -711, 0x198eeff9e36608ec -712, 0x3bea433a42228c7b -713, 0x1a85a30f51e1ad8 -714, 0xe80b6a4fdb0d0482 -715, 0xc3e8d0c13f8879e -716, 0xbaa3c52bb9413a89 -717, 0xc2d4614798d79e2e -718, 0xbbd3f6abc551b6a3 -719, 0x282e112e6bdf2de8 -720, 0x615cc8613f4d4518 -721, 0x53b2627138d76555 -722, 0x1b19126726fd77a1 -723, 0x915c0a108cd2d357 -724, 0x1061822da93d9907 -725, 0xe79aee77f55dc17a -726, 0x7b367a3165fbeba7 -727, 0x1894d6a0059bc074 -728, 0x876235ba0475437c -729, 0x2b8f64a5357907dd -730, 0xadabbbf775f4c3a2 -731, 0xf70d7e73e0914757 -732, 0x50c1494071662c91 -733, 0xae3cc90ade2512c8 -734, 0xd73f9d2b66333aa8 -735, 0x46342e130d23dc94 -736, 0x6c8307abda3d568a -737, 0x235d9a334f4eae0c -738, 0x33d0ccce19e66c93 -739, 0xd83559cfbc7acb8 -740, 0x430f65543bfcfad6 -741, 0x5dbe2eb34c5b25cd -742, 0xdcad606d1b515392 -743, 0x6376bc62812519c9 -744, 0xf292cdcbab076b52 -745, 0x5b6669c53c3e9b1 -746, 0xbd5a95d4d51f18ec -747, 0xf71d40c0b07b0a16 -748, 0xa51966e8052a050d -749, 0x7fd18ced5be2d350 -750, 0x82727df4050382b7 -751, 0x7c10a4e48f664caa -752, 0x3712f2d7d2e6bdba -753, 0x2535b833ad6b4ef6 -754, 0x420577375164ff95 -755, 0x68c40b08f579888f -756, 0x8922d2a586203dcd -757, 0xf317b95e3aff246a -758, 0xbbd1c166e380207d -759, 0x9303601189dfdda1 -760, 0xef342abd93377a47 -761, 0x499773d085e7de1a -762, 0xd204bb687ac202ea -763, 0x19ffb5b90619622a -764, 0xc59bff0531dfbe98 -765, 0x8c6d480a717445db -766, 0x8c3c030ca187e2f4 -767, 0x53f0740df18d7b6a -768, 0x1a5eed54662e3c6e -769, 0xbb29a94e32f03c3c -770, 0xdb0df407c4bbc009 -771, 0x6c0a9f4598ac0ba8 -772, 0x2e0ac7251648f892 -773, 0xb4555f7c1e3fe8ac -774, 0x2cd8ce106d8e441d -775, 0x608e38e439a239d5 -776, 0x1bb66d4c2a2ca5a8 -777, 0xc32ec47253591fa6 -778, 0xd3974f6f2b8b038a -779, 0xdcbfd9eb4a9b1626 -780, 0x8589b3e6fc1ba06b -781, 0x81f34f1da9f27f9a -782, 0xd3bdd7496dcc21bd -783, 0x7c963559e1c47305 -784, 0x5817e571d2fcc113 -785, 0x4f35fea60a0582c8 -786, 0xb851f167a0bda1c2 -787, 0xf57e13249380eddb -788, 0x570e69bf38151a56 -789, 0x117feac919f19d69 -790, 0x49ce46af93025c96 -791, 0x4220f6c18e8e1f9a -792, 0xf082699d8fd5070b -793, 0xccd31756abff1928 -794, 0xbf9d4ab46de14d1 -795, 0xf2e0be2c2bbbc823 -796, 0x6e9b495ef22563ed -797, 0x9a609cdcff6e3152 -798, 0xbbd2e5dafc83fcd4 -799, 0xac153055d6c5770c -800, 0x312bbcdd6b681016 -801, 0x3ed60c24fd5a2f3a -802, 0xc7f3b2948dcdf5c9 -803, 0x8cc631df1fac1c1d -804, 0x77f4aab62a657d61 -805, 0x2f43e30323829573 -806, 0x5b7d20ab0ef901b6 -807, 0x7fa99ec817785705 -808, 0x5c95cf94241f1e3c -809, 0xafa2d371f8f579e1 -810, 0xe4c314c4017e2e77 -811, 0xf672b575a585c0b3 -812, 0x6600a50a45d6ecdb -813, 0xe06c0d7edb63485b -814, 0xf1b45b82f4d0e8f1 -815, 0x41581d87cc1b759b -816, 0x8807b689eddf602e -817, 0x9e11d2949076d4c0 -818, 0x9f3b430319e48bb1 -819, 0xb27fa37d89396b64 -820, 0xd930a0cc6723c8b0 -821, 0x935fe6e9c7a57eaf -822, 0x184f5dba2f19591a -823, 0x513f86165d0adb73 -824, 0x4f2cd09cb85aef51 -825, 0xda66728c1901a11c -826, 0x2445b8938b33db42 -827, 0x98fd86e4b89be5e8 -828, 0x2f752d8769747705 -829, 0x2cb9b42b98ce0c0a -830, 0xf3314e0e0c57d31b -831, 0xf9c382d55868b2df -832, 0x83264a41539ec2c6 -833, 0xa2b3674f0adc1d0f -834, 0x2dd7ad1d92001e7e -835, 0xee210f6047a94713 -836, 0x71a18140729bbcfa -837, 0x415058c01e01384b -838, 0x6cc2e2079c9de72a -839, 0x8561a9093d2b5d72 -840, 0xd6c276d566895b2 -841, 0x57cb2804836f4867 -842, 0x78becdfda7fd91d6 -843, 0x4046a94c8377a3 -844, 0xadaaaa0d558d261a -845, 0x56ef182050db8865 -846, 0xbc28289519f6ebe5 -847, 0xbe7b95e4334540fe -848, 0x384b9838c105f8c8 -849, 0xecfb823fc8815c7e -850, 0xafdbbb2bfa8bdff8 -851, 0xed33653dbeb638b8 -852, 0xf4164289a7a6dc1 -853, 0x6e5cc51c2a3a8b20 -854, 0xdd59a99d16116f34 -855, 0xd48f95ba89787b5 -856, 0xacf9753586b8be7d -857, 0xc0430da7c73bf373 -858, 0x25320aec467ee989 -859, 0x5108e8f4be4f8d8 -860, 0x69b1c7d23ff502c1 -861, 0x7c08bd62caea3313 -862, 0x4285d5b8ce1d19fc -863, 0xbe03dc19cc3be0ad -864, 0x182cdb615e4d4147 -865, 0xf75270e6096d5d1a -866, 0x467b7ac524d17060 -867, 0xb0960b398a111ec3 -868, 0x126c099178f50090 -869, 0x19980d353ddb289d -870, 0xd4b394e2c0305403 -871, 0x5972d7c748938602 -872, 0x276461c9da39bec4 -873, 0x6b3a2046d6ebdce3 -874, 0x4c55d74597c27388 -875, 0x363bf469f4f673be -876, 0x9b26d4e69d36f584 -877, 0x21d441f573e56b6f -878, 0xc29509f2a1e9c4c8 -879, 0x5178088ff6e62d5e -880, 0x902f8ecd57128a7 -881, 0x479fddd275330bae -882, 0xf56ac8b6f6364526 -883, 0x4904060a896d759f -884, 0x1c0f1f4e800bbfe6 -885, 0x9b03bcb77880240d -886, 0x2f35904d9867379d -887, 0xf88a05a4dd6928e7 -888, 0xb5341282b6781021 -889, 0x225910a217522b71 -890, 0xa76bac3bf3675285 -891, 0xf19973940d9a57d -892, 0x9f6ef608ed4291d6 -893, 0xec63cdbf5911fb10 -894, 0x8a359dd4ec3b41ec -895, 0x8373d0d4e6af7261 -896, 0xfc6a14169335e7d5 -897, 0xf06ff499b6856cda -898, 0x71f5ce76943ec9e8 -899, 0x9417034d7879b92b -900, 0xfa0e3c78f47c0276 -901, 0xea9ebf817a3e3b93 -902, 0x7c08ff3d42e19a10 -903, 0x8697e5798f9bab52 -904, 0x10eb4dab88e4ce59 -905, 0xbd11bc073298b46c -906, 0xf46483b5fea2427b -907, 0xafed38960dd33a59 -908, 0xf7a00b0413eb47f6 -909, 0x4233464f10e7666c -910, 0x7ce6db32b60aba3a -911, 0xf9ae9414469308da -912, 0xf5c4e8e04c008924 -913, 0xb89c735c89bdafde -914, 0x8b815ec319546463 -915, 0xdd57dedbf1fa66e -916, 0xdc0bba0705548598 -917, 0x1ed685fb6c966b2f -918, 0xd9afc3ac4319d72a -919, 0xed7c7e9407e71351 -920, 0x585b44a509258719 -921, 0xdf9eac3020de19aa -922, 0x102102d94b983d57 -923, 0x85dbeaa806a02e79 -924, 0x4bacf4194786b961 -925, 0x32bf2fed8ab9b611 -926, 0xce94384eb215dd1f -927, 0xfd1da2a7795c4801 -928, 0x149b31c0a14f7d02 -929, 0x4e01962d69248840 -930, 0x41d509a1c742473c -931, 0x46105403c2b4e56d -932, 0xe6fca820341c56e4 -933, 0xf1982bf03572ac79 -934, 0x9f99e2fb3cc2715e -935, 0x6e3bd2ca3d50faf2 -936, 0xd0aea8d0fee1014 -937, 0xda0ededd067cc72b -938, 0x56c42899c5af28b7 -939, 0x8c4883568ff28ba2 -940, 0xad9019516b75c1d3 -941, 0x3aa1b33682aaf348 -942, 0x31187b962cf65f58 -943, 0x7f2cc27ce4c8459a -944, 0xb75ee9bbf97014c3 -945, 0x8eb8f42b9a9c3024 -946, 0x5b7dcf683a3c14c5 -947, 0xa258b18ccb7cb3c4 -948, 0x7587bc7015c145f5 -949, 0x7536427aff38edd3 -950, 0x437b33489ef425b7 -951, 0x22febd7e96538bfd -952, 0x9fefcc49d567b35e -953, 0xfd756268183d7d6d -954, 0x480df3a7112b2eea -955, 0xfd02a24b1eed9e6a -956, 0xcb3b6c96d65ab879 -957, 0x19f8b328f365f6c8 -958, 0x7d5d20e6328ef6cd -959, 0x8d74057415768152 -960, 0xcba11867467079a2 -961, 0xf86138cf35f091fb -962, 0xdb3204b36a02eb61 -963, 0x8974a7786d5f6894 -964, 0xc8445cca1175a023 -965, 0x1523bfeb2f088c15 -966, 0x4e39bb650d7c4de0 -967, 0x91c9e9ff5b823702 -968, 0x7c3a6850a7c143e7 -969, 0x131999c480253f47 -970, 0x3ac336af37f6a4e7 -971, 0xb057ae911b406d5a -972, 0xde0b70c5f9d5be60 -973, 0x93fd54e75618a86a -974, 0x3955e207acb1f65c -975, 0xa33450c2890b0b61 -976, 0xc6294720e971cd52 -977, 0x89cb13a5b1364169 -978, 0xa6fbc61118b44104 -979, 0xba0651279f93958b -980, 0x6995c30cf06ed3dd -981, 0xd75cd3472c5f86a9 -982, 0xb18d90ce11dfe2ad -983, 0xd69200ae86d53222 -984, 0xe73fc25107e53e90 -985, 0xc1edc96f67bcb096 -986, 0x587cc0fc53992abe -987, 0x2139d74bc6f3edff -988, 0x1b4609bbfa08b543 -989, 0x564e5d7acb190539 -990, 0x1099ce214921efbf -991, 0x7764cd537ccb1b55 -992, 0x4232db7dbdad3998 -993, 0x54c970b3ca338f24 -994, 0xf28c8f460244de6a -995, 0xbd37dcd3829c5a4b -996, 0xefbfe21ef1ab13ae -997, 0x6df8dfc0a865d4a3 -998, 0x5e65a5bfa3f4d555 -999, 0xf6affb932cc9f3f2 +1, 0xb3617382bfd2bb33 +2, 0x4314c03ca1908f7a +3, 0xfdbe2ea0213dab80 +4, 0x6076f6f829c64721 +5, 0x6587411cc85fa712 +6, 0x4778e74dc7f92125 +7, 0x6ada4530f4cf01c8 +8, 0xe0ddb30ce61b5172 +9, 0x2998c6e98e79ae50 +10, 0xfb8cb09917a0e99a +11, 0x7df546933cbeabcc +12, 0x972407f8132f16c2 +13, 0x6dcfab42a6d97aaa +14, 0xcbd39869fb69f683 +15, 0xaa789636ea4daf4c +16, 0xe364dbbff8064dbd +17, 0xf639489e242feaca +18, 0xa3454eb3b12942b7 +19, 0xbaa569d8f934bc14 +20, 0xbfe4a0166c493f06 +21, 0x96dec770408b339d +22, 0xc75a3b26b2702eec +23, 0x4752a021254c0915 +24, 0x35edf588263b9bbc +25, 0xa97342f217e541c2 +26, 0xea9bc6a01b4b7d83 +27, 0x93cec444361979b5 +28, 0x8ed5719f5ba9a424 +29, 0x8e1dead734d410b1 +30, 0x1f63a442ce77d4db +31, 0x3c36e0a05da986de +32, 0xc6c10658893be094 +33, 0x196ed853b1167184 +34, 0x8b06218d6a34950a +35, 0xac51e33319f103a4 +36, 0xdf47e4b0ef46c70 +37, 0xf34775455325aea0 +38, 0xf341953786525c76 +39, 0xe9b85d99c1115696 +40, 0x4432daff0305cfed +41, 0x34cc1bfed7b9676f +42, 0x87d19c7db528ca12 +43, 0xaa767030e19682b1 +44, 0xac39890dafd308ef +45, 0x92a6d833ca6a68c2 +46, 0x6626523fdceed4ba +47, 0xa609844feb22593c +48, 0x3d68f39a561a7c78 +49, 0xee2b74bafbe9a80e +50, 0x7f23ba8a58a0226a +51, 0x8900ca1c9d5550b6 +52, 0x781ff936e2d8abfc +53, 0x960fa9c6da5eeab3 +54, 0xdc316a7a5161cd +55, 0x61f6096510d22bdd +56, 0x1c1fc069b6643ce7 +57, 0x3105b8feea7651bb +58, 0x4ea8c76afedfa6e5 +59, 0x55cce3ba46b2ff82 +60, 0x32ce23a4e59a9ddb +61, 0x5d8b33b817a1e1c2 +62, 0x6861f95a5dbc833d +63, 0x1af405acc0346f1e +64, 0x4bea8e5e87e6b3cd +65, 0x6a79d9021478eb80 +66, 0xbd1512cd44c0d03e +67, 0x870719b2e322e44 +68, 0x10eaf80ea8e95a14 +69, 0xad85fdbe2e6d99ec +70, 0x47e9f8f63db20254 +71, 0x69ca77aa6a12ff2d +72, 0x385ec684f96ed9aa +73, 0x573a97f8103f9ea8 +74, 0x57a94ba1ca505197 +75, 0xcb4bbe5444b0b4ae +76, 0xcbe456413a8d1566 +77, 0x67a21dc37357827e +78, 0x992ea6028ade725c +79, 0x89cc89e9570792f2 +80, 0x2b4873ae2a6260c6 +81, 0xec8e07e9204eac1a +82, 0x6bc898204729c23c +83, 0x7d086557a49d391d +84, 0xfa16b7ede631dfd9 +85, 0xf2710cc7516fd414 +86, 0x9aef67d70498456d +87, 0x518f9fc570ea091e +88, 0xe765ca35b2293f35 +89, 0xb06015f656a5ce97 +90, 0xc0154acff67d930 +91, 0x1cb3b41de66b3964 +92, 0x41a024e712b0d577 +93, 0x921572c63007b7a7 +94, 0xb2864274d855fbb9 +95, 0xe555774f7bbf0590 +96, 0x2d15198702e750fc +97, 0x3fb422e738e347c8 +98, 0x8562515206baf50 +99, 0x13dcd174d6640321 +100, 0x2c2d1d739e2243c4 +101, 0xc41b5f458215c274 +102, 0xa6d7e86d348f1f4b +103, 0x9d78f189583149c7 +104, 0x685ac4ec5ac7c326 +105, 0xfb998afb22666cfe +106, 0x5b9df8c77816280b +107, 0x2ebad315b4a6de5e +108, 0xb70f296a67a1ee71 +109, 0x3b714a6ba151c3c0 +110, 0xa0b64d501736310f +111, 0x17f827804629ad52 +112, 0x46ed287bdea3217b +113, 0xb26d12305a6fb5eb +114, 0x184247bba474368b +115, 0x542b93986dd5ea3 +116, 0xb8a0cc8fbd9a193b +117, 0x7a89dcac9c85a621 +118, 0x48d466d072a44c78 +119, 0xada1f7e65a517caa +120, 0xf6febf549d553ec3 +121, 0x19cf94cb14dadd59 +122, 0x9087aeca4e923157 +123, 0x1afb1bb6e2fc9f3e +124, 0x6192b1b315392ddc +125, 0xedcd055d2840341f +126, 0x396cfce39b432fa7 +127, 0x183319afd1d0cf9 +128, 0x917409d968c3620a +129, 0x5868095709377c1b +130, 0x84e1f92faddbb86a +131, 0x45c5ecb0c1bf2a92 +132, 0xc5a7f84f16b52592 +133, 0xb389866b9cca1c35 +134, 0x7924255948cb4bb8 +135, 0x6b4a33d0810f1d99 +136, 0x749800294244b46 +137, 0x4ce2e9d74a34c543 +138, 0x3bf47c412961da25 +139, 0x35ecd46092b0d494 +140, 0x360703f0b4c8fd18 +141, 0xef4f039e6428f8bd +142, 0xfc63479c9833ab9f +143, 0xc660fc00994c3490 +144, 0x57a055abc0afd99c +145, 0xe83bee603058ba87 +146, 0xa6c06409fab71942 +147, 0x8ee4675a90f2eded +148, 0xef7240fbaaa4454e +149, 0x73d0378b4855e043 +150, 0x4039e6cd0da81154 +151, 0x3e4261378314b8ef +152, 0x5f891423c2a77d05 +153, 0xd57c43570ff9cc37 +154, 0x3c69a08bb46e066c +155, 0xe265cba3cabb6fd8 +156, 0xd9bed8fe0179a58a +157, 0x882255210140b153 +158, 0x7d212a20e03003a2 +159, 0x5821c48f435aa8db +160, 0x3ff2fc230e4fc421 +161, 0x7617ac677d8703e2 +162, 0x306c8cf9c6be23ef +163, 0xd7728cfebc614ab4 +164, 0xeddb425f79076eee +165, 0x76e61bc49c5b61e7 +166, 0x803610661e501d33 +167, 0x52c2968fd8b30ba9 +168, 0x56c3d2813aabf019 +169, 0x895c1923a0f7f8b8 +170, 0x2bb50b203d52d465 +171, 0x6987baec87355c0c +172, 0x1186c9e7e524b89a +173, 0xd72695cdee9d1e41 +174, 0x1aed250f3b25eb65 +175, 0x7a98d55cc9b790cf +176, 0xe3f84b1f0a3436a2 +177, 0x929f43e01cdb529b +178, 0xee439860101d371f +179, 0xc30f8f543ea1391 +180, 0x51470330a3a9555c +181, 0x13cbcd8728edb72b +182, 0xc2ff37a63d496acc +183, 0x38a775bab54c9e5 +184, 0xd3b9a106f7cae82e +185, 0x409dbb706362645f +186, 0x6756c88f065e228d +187, 0xfca59c508b33a615 +188, 0x4f1a85c2cf7f70b +189, 0xde05e1f080183683 +190, 0x58cc04c78668d30e +191, 0x29a6cdaabc128bd4 +192, 0x7fd48a7175d7080b +193, 0xf62615d9f1a4c0e0 +194, 0xc0bcdabf943a9882 +195, 0x2e17eaa18c30cbe9 +196, 0x23b0a7bf11059cdf +197, 0x980faafc56997e96 +198, 0x5df31ba1971bc9b +199, 0xf2918ccd892a579b +200, 0x863c265ba908fbd0 +201, 0x6c4d8604d73771f +202, 0x8231891e28337ca1 +203, 0xcf1bca7019e17620 +204, 0xc2914444386dd7b2 +205, 0xb2940f2f54af1342 +206, 0x5f94a7742182144 +207, 0xdd84510e416c55a9 +208, 0xed6cabbc034639b6 +209, 0x8ec7d280a1dc818e +210, 0xff9c27aafcdf6ad8 +211, 0xe4eb67cd34584e9e +212, 0xde9094e8bd9372fc +213, 0xf72c5d7a9f648bff +214, 0xab84eec6625de3ab +215, 0x31401a873557b3f0 +216, 0x3a92ea998fbe33e0 +217, 0x938f51440df1e372 +218, 0x1b8adb3266aa2b20 +219, 0x52614e3f539aa97e +220, 0x8c3910405c2b6db5 +221, 0x5678fa580938f1d0 +222, 0xaecec4c57c393677 +223, 0x25387b15ce263e99 +224, 0xa2064849456b89fc +225, 0xf3d6abe7c5ccbf89 +226, 0x71306e8ce5f15360 +227, 0x9100205404028ff +228, 0x473f2c3ee60b5ff8 +229, 0xa98cccbcb30fd354 +230, 0x150886f18c2a8abe +231, 0x73a10ec9d0a3e5b +232, 0xa04d37f64652298d +233, 0xc47af08c27df64bd +234, 0x127ec96954fef972 +235, 0xd8ce70375554f482 +236, 0xdb2e3388772bb0b3 +237, 0x843d9952b8e93044 +238, 0xb4c50aa1b3ff8dc0 +239, 0x41d43b3662be19e4 +240, 0x5de18309d9cb944c +241, 0xbfcbc63f45cf4998 +242, 0xc58ce67bd9f221ba +243, 0xeb3c7f7349d6876b +244, 0xbd38b8331d766037 +245, 0x5c0de7cf313bef77 +246, 0xe8984144d81c9ab8 +247, 0x42ba3a205f55572 +248, 0x316372b92fd6df46 +249, 0xe7c4b5535873e7fc +250, 0xec4b062406fad890 +251, 0xcb9254c0853f3bc6 +252, 0x6fbb40d1758c5a4c +253, 0xa17b63cb93c12094 +254, 0x3e00a27f4b51696a +255, 0x7dcec0f01bead947 +256, 0x1a8b827e9d0658c4 +257, 0x75929c838a9fc9eb +258, 0x165b162560d5bcc +259, 0x2320fd4ab2fbe43 +260, 0xf0ca89e97c60154b +261, 0x90a3b09348c0caf8 +262, 0xac1516105437f9d0 +263, 0x8f11e6454bea6007 +264, 0x19b8a0c5805ebeec +265, 0x3105e78b4e2f11b0 +266, 0x8c365bc66d26d165 +267, 0xdccf55c3bf85167a +268, 0x926c88470d3a703a +269, 0xe5421ab183b63c89 +270, 0x9fbcfd19c800e684 +271, 0x618b70d50ad85d44 +272, 0xcdc7b4b5f83386e1 +273, 0xb03b91dccaff6125 +274, 0xf470624fdbde22b7 +275, 0xac2f659be06a08ea +276, 0xa49f1af1a29abb77 +277, 0x5c2e94fe6a5d7978 +278, 0xf12b8c7cfa17f5f4 +279, 0xa8c4c5c917203a0e +280, 0xd1ea9aa8c49fa551 +281, 0x7363288bd7b40258 +282, 0xb3668a32f1b36dfe +283, 0xeebdb9e4377e3fc2 +284, 0xa07bf94365ce0a90 +285, 0x49a75731b3efe51b +286, 0x29af2e86886df8db +287, 0x84cab4d861631a0b +288, 0xec45e2345d9c1114 +289, 0x9e0aca51ba3aef2b +290, 0xef6db51f7d2239c0 +291, 0x6bd53260a01e4992 +292, 0x5ff887fc83732499 +293, 0xef39c88e15608f39 +294, 0x166883224e645f35 +295, 0xb296e3561ccc419c +296, 0x342081199780e04b +297, 0xdf24e8c78a472e +298, 0xa64a89e743ae2617 +299, 0x6cc623876bd66b3d +300, 0x45066f03a3fae72d +301, 0x99030d380d113008 +302, 0x891b6637052d6ed2 +303, 0x8ac4de1d3bacdd5c +304, 0x6bd4540970e747b5 +305, 0xb48125e69019055f +306, 0xefc03dc62eee31b8 +307, 0xbb61f62afc671564 +308, 0xf941c67dc61e4f9 +309, 0x58dfbb0f8cdf6857 +310, 0xfdd423db3734d952 +311, 0xddbef0ea939712bc +312, 0x64cb6c97a176d099 +313, 0x57d73985fa34a17e +314, 0xa5241bd90d5a351c +315, 0xc2669439928e2f29 +316, 0x4a00c61ffe77951b +317, 0x562532cdc210a37 +318, 0xe2fb88acfe451d04 +319, 0x8b4053716affaa4a +320, 0x208616d3e2ef242b +321, 0xf830a95da5ba3676 +322, 0xbf01348d4133f007 +323, 0xd44cd6d38e4b2c1a +324, 0xa577c236744b677e +325, 0x1a08ee02ccfaf7d4 +326, 0x94b364baa2e88b22 +327, 0x1278a7e8f3886173 +328, 0x5e5c595c284d8555 +329, 0xe81240395bfc355f +330, 0x5c72a5e76ba9777f +331, 0x30c5587516d5dd3b +332, 0x3a01ab159c61cc3 +333, 0x921a5153ca306f87 +334, 0x499d0410a755a3c3 +335, 0xe35523f8c25a0e36 +336, 0x923135834356ca2e +337, 0xf0d3cfbca4b9c1f6 +338, 0x523ba92f35c890b5 +339, 0x32791ee78e661d2d +340, 0xb8def8bec5d4833f +341, 0x8ddf479407495133 +342, 0x32af2693e93bea72 +343, 0xfe7c577a150a526b +344, 0x29f322d80b5d31e7 +345, 0x770f1c2f276aac75 +346, 0x710d900fa16454bc +347, 0xad35a054b19a6419 +348, 0xf8543705d2221c4d +349, 0x1a208f09dcd992e6 +350, 0xc6fe24f4478fae54 +351, 0x15af9b23589efa5c +352, 0x77c3cdaf72c7974a +353, 0x8b9ee62898b42805 +354, 0x24d86bd194b32df2 +355, 0x8947894a6f9e06bf +356, 0x8f74894e2ebc9e42 +357, 0x30a460a64ac97b89 +358, 0x985f3b650b19bfd1 +359, 0x6b68d65a7decd3b8 +360, 0x33ca1f7082b77691 +361, 0xe16c9da462bcc4c2 +362, 0x85512fb1e448efc1 +363, 0xd23729cdc1fbf8af +364, 0xb4c48c3dd40c6431 +365, 0xc408b5198e25d53d +366, 0x9c3ede789980eac6 +367, 0xea44b85282535bfc +368, 0x8a4ef27cc51a1368 +369, 0x92b1c10cd267b53c +370, 0xe262b216c571e216 +371, 0x9ab945ad23c45d33 +372, 0xf8a6ee8859691e81 +373, 0xb4387e4124b6ede6 +374, 0x67057ebcb0458cba +375, 0xcfea5995ea0d9036 +376, 0xf60e552368e88671 +377, 0x97a744db9ea2a465 +378, 0xf9bdfa8f7765704d +379, 0x4a092a7483623007 +380, 0xd1ec15e72770f23d +381, 0x9f4bddf29a1ec891 +382, 0x7574533dbfd85aef +383, 0xf336b164aa32c8c1 +384, 0xaecebdd3bb1f6273 +385, 0xcdee4c8c59b621f3 +386, 0x4e62a96f422f045e +387, 0x7954b5c0c33402d9 +388, 0x44284a788c4bd72b +389, 0x3f7f331379400e90 +390, 0xbe47722adce724fa +391, 0x202ec17f30c6dfd3 +392, 0x20e6bd8b12ae33ca +393, 0x56ba93c9a6aa537d +394, 0x2ffaed6a56011829 +395, 0x59bf8fb6387acb10 +396, 0x1d092715f75b4731 +397, 0x4f73c9b5945ea6c5 +398, 0x4f9965a9cef20ef1 +399, 0xcce9d598a9ee3128 +400, 0xad6bf86f41263232 +401, 0xb768dbb67c5e35c0 +402, 0xb5c06fa5f590c5c0 +403, 0x2849f01daca38cdb +404, 0xe31daf6540d3c5a2 +405, 0xa462464c813059e0 +406, 0x98cd0da9a864a13c +407, 0xa0bf6269bcb1c79b +408, 0x354467e29dd2415b +409, 0x8760ca9ca2ed96c1 +410, 0xdcbc0296a9d243e8 +411, 0x940f0679c02babd0 +412, 0x4f389795e70c9b32 +413, 0xcad57ca19c578c20 +414, 0x346870e71ed575ad +415, 0x4dc47ca3f25bc1bf +416, 0x636afe20b8e9f185 +417, 0xb47b4b4dbf6ec559 +418, 0x8634686a6ec85170 +419, 0xc176c9709a40fdc0 +420, 0xaf830009e390dfb0 +421, 0x65cb55acd3653031 +422, 0x52d53d142c15219b +423, 0xffe9258ae4b63350 +424, 0xa118cfbbb64e3f6e +425, 0xf0aa49900685c7bd +426, 0xf4a63180c7a493e0 +427, 0xb219297f315c3905 +428, 0xedbe04b3e65cee75 +429, 0x17578b66c9422dcb +430, 0x93341d13d6f3f307 +431, 0x4cb05e69da41bb0a +432, 0x1f1dad0ac8c3b625 +433, 0x4cc0d69392282fe4 +434, 0xa415bcab7a9e9030 +435, 0x49c4bce139b17cd7 +436, 0x70921ec48102ba98 +437, 0xcce784ad8ecc8ef1 +438, 0x1394434e6983851 +439, 0xdceea9694050de81 +440, 0xdd34ce31271e0733 +441, 0xaa722f329463f189 +442, 0xca65b550f35dd0c9 +443, 0x1477d0711156ff76 +444, 0xeff9d7e1e525c056 +445, 0xf425a4a41487a26c +446, 0xd7a62c18f2ce9451 +447, 0x178ad1414c520698 +448, 0xd5fb19755b8a9cd3 +449, 0xf9b662ac336df748 +450, 0x3ab374b95c09392 +451, 0xb1017e23e64343a2 +452, 0x4e38eaa252f0eda8 +453, 0xe50e9e51d4b9abce +454, 0xaa5d9bfb8193c02c +455, 0x823a22b374b70757 +456, 0x31cebbf89930801b +457, 0xd7c29187bcea4c72 +458, 0xe9118fc76c45cbf1 +459, 0x9c71d746e81ad2de +460, 0x61546ce34ed37e5 +461, 0x93cf2b2f08a9dd70 +462, 0xaa8a0e918d246f1a +463, 0xbd35895f4913143c +464, 0xdfe98084bcf724b5 +465, 0x3711d1a09d3b438c +466, 0xef7a4589307c37f9 +467, 0x174de3c95aad64d +468, 0xa66127748de17435 +469, 0xaa7789614da98e6d +470, 0xa01a9a6570b63f02 +471, 0x52e4422529cdf289 +472, 0x5fa480a033fa2eaf +473, 0x8d950f2a0362d44d +474, 0x264fa25f7b50b19e +475, 0x4f2ed2872e35635e +476, 0x1173eaed49ff03d +477, 0x7cbde5b17f7541b1 +478, 0x80913ce7ba0fd00f +479, 0xae85c98e607af8ab +480, 0xd4349f0a1a724b17 +481, 0x436510b9fdbb00b5 +482, 0x345d25f181b23831 +483, 0x360875f99d1dbc3f +484, 0x77657a493413286e +485, 0xdb45294b3f8dab13 +486, 0x25e84d1be5f5c6d6 +487, 0xbb44ba55be3f453 +488, 0x7d7b2c5077ddb248 +489, 0x4c7e02c08f79a63f +490, 0xea589769295ebac7 +491, 0xcf1159ed1fbbabb2 +492, 0x5f0c199a69956db4 +493, 0xb2c190830b28ba75 +494, 0xfef7b55986f49a19 +495, 0x961eb7b425de477b +496, 0xdb31045f05af950c +497, 0x13bc7a5600b306b9 +498, 0xe4834efcc7d8515c +499, 0x6d3ebda0630a9e64 +500, 0xcf453a9b686cbc0 +501, 0xe1048db43e9dc5ec +502, 0x95b3b95608ff12fe +503, 0xdaa8457f1d3bca37 +504, 0x3913e8473f5593ba +505, 0x3afceee33004c5dc +506, 0xd117393f5e9d11f6 +507, 0x7f462da9314f76e +508, 0xa4fc522c19f1f8d6 +509, 0x7429b79b76acdcfd +510, 0x5a570cb8d216a730 +511, 0x705c4c4af10c7ac7 +512, 0x4abf3a808087344e +513, 0xe6313ab9845d433c +514, 0xb038e24fbbfc7716 +515, 0x80a25d4531599d7c +516, 0xb2b75e488f81693b +517, 0x43b8d27a4dbba2a9 +518, 0xa611ff50d23f05e2 +519, 0x872da217d6fa41a6 +520, 0xb153855cda09b36f +521, 0x3c6f5d7d21da31a7 +522, 0x59a63c7ad79be63f +523, 0x27a4679e83422368 +524, 0x4e8bc4d771b0feaa +525, 0x6719469e9cf2c3d9 +526, 0xb56b708a9a915da5 +527, 0x2594e558e515d19 +528, 0xd6df1e4a0bf1b153 +529, 0x4f7f25d38191e1fe +530, 0xaaaf850ad5e538b0 +531, 0x6355175a813e200c +532, 0xbe7544f56eef5ae9 +533, 0x5c516d87bbf779cb +534, 0x23c180f962a3d2a5 +535, 0x5cb1ac1c4261b281 +536, 0x4717bb3567432de1 +537, 0xeb1285580fa935a0 +538, 0xc50894350d82d33a +539, 0xcd0e2cfea37c3245 +540, 0x298bc40ad881a2b5 +541, 0x466df434870604fc +542, 0xbc1eb2d8ebbd351f +543, 0x357534396e12e369 +544, 0x305a159545ad695a +545, 0x63775f2479bae51a +546, 0x44e266968147590e +547, 0xd733336da0cfd6b9 +548, 0x7b1668635266025e +549, 0xe25f2c506843c3de +550, 0xf9635d39029105fe +551, 0x4098dbd2e7b717fe +552, 0xd58848e50b96b32d +553, 0xdf776a82ade5f937 +554, 0xb86fe57c82d76cf3 +555, 0x8cb4f08fb1f46b4e +556, 0x5df5b1c00ab261ac +557, 0x6726d97935f08d31 +558, 0x4cbc02697842c6ac +559, 0x6c0440408a22bcae +560, 0x2327f06b5ef97cf8 +561, 0xabf95d4d77e37c76 +562, 0xc53b4d7aa97f77d6 +563, 0x6964842fd4206b42 +564, 0xee45d852faa5932a +565, 0x607e303bc41e73e8 +566, 0xe604d0952299ff3a +567, 0xd762802eed4cb935 +568, 0x4cf13e77ae1782aa +569, 0x6780f1ac226eb1e7 +570, 0xc102e38a0e8e8199 +571, 0xb97f0632dec2edb1 +572, 0x43b1a8890a987c2a +573, 0x5603f8d9115551a +574, 0xdd523847a2d2346a +575, 0xd9a6c2e9be51ec7e +576, 0x5c87bb42ff344def +577, 0x1c08b83d807a9322 +578, 0x6c79b279737cd049 +579, 0xc75ee98ecd59cd3c +580, 0x318284b03e77d76e +581, 0x6737a1e79456ce1a +582, 0xefe096a77d952f55 +583, 0x37f780c27a9fdd68 +584, 0xfefed1b3b932191e +585, 0xdf552be0dfc09adf +586, 0x4d210f71c1ccfe6a +587, 0xf524993a9f48c96e +588, 0x6fb8c3c46cb1e951 +589, 0x2ac8c28e67eb7b03 +590, 0xefcb311d060d2897 +591, 0x675c6ca4aba62734 +592, 0x1f5f1df09191b5ed +593, 0x177d32b3b4fe46da +594, 0x58f48456e4a88cf2 +595, 0xec0233251bedcbae +596, 0x11046407a9ce0c19 +597, 0x50eccedfa2531ef9 +598, 0x5769c9369f18c53a +599, 0x879442d615c8f67b +600, 0xc7aee966f982a0a7 +601, 0xaadf9a353e6dffd +602, 0x216d2fcfe81b00f7 +603, 0x8b17b3b2a61765b8 +604, 0x7cc969d82c53763e +605, 0x1b1a5d88afda0c8e +606, 0x21ea1e785061959c +607, 0xbbbf45849572539e +608, 0xf84972b569d342a6 +609, 0x85952fc81713400 +610, 0xf6bccc50b5741a48 +611, 0x35106a9ef28f5be +612, 0x785370b833caca28 +613, 0xc6c5c3d1bbe5b4ef +614, 0xda7658fec38bbb8c +615, 0xd3d1e9de94c6f41e +616, 0x73ad91859892dd7a +617, 0x35621a8da5e3fd19 +618, 0x5530b00cd5c63fb2 +619, 0xfa36112a09c088cd +620, 0x302b7f4fc815cd73 +621, 0x1fa4adb717689692 +622, 0x3a15fd5eb37c731a +623, 0xcc854934e21d4cd7 +624, 0x1d11465a34be290e +625, 0x213b3e59f10b1d60 +626, 0xf923efefe3fd28b8 +627, 0x81b56a961626ed7d +628, 0xe4f41f8c283c8fba +629, 0x374ade85b0260e4e +630, 0x4cf71f967d36fcca +631, 0x705b52b4a9d5d174 +632, 0xdc6f883cf909c428 +633, 0x44dd73ed064e8a3a +634, 0xdcff5a374c2641c1 +635, 0xe3177de93b2197ad +636, 0x71f40cde55876808 +637, 0x4c12e600bd6a1b3 +638, 0xc3940e86b962699c +639, 0x133569f533cf1540 +640, 0xcba6db36e8054239 +641, 0xc7c92f14ee34a962 +642, 0x133c8d42f4690453 +643, 0x2a62456f39aa3030 +644, 0x35354ef813ee1dec +645, 0x35e10f4c2f2fb795 +646, 0xf105e888f10c8397 +647, 0xaa22e206ac7652dd +648, 0x65121135905afd4c +649, 0xe2c49866de9626ca +650, 0xeb6ae66e1a605d02 +651, 0x7379ba1f2f16b81e +652, 0x4a3a91e2f22d4d19 +653, 0x30e4af3cd5e5a24 +654, 0xac59e67a483fa52 +655, 0xc4f027dd48c1e37d +656, 0x91263160b58e9e0d +657, 0xc7672b7fbd4ef6b2 +658, 0xf3262da8a7645caa +659, 0x7a5f4990cab96f40 +660, 0xcec55da0937d86a4 +661, 0xd25017295c98b613 +662, 0xc2c9ad08c34fd189 +663, 0xfb6ca6018b1e019f +664, 0x480ee3cc62324c8e +665, 0xab37c56a10ab0519 +666, 0x13fff4e20b1eb15f +667, 0xab25dc0f003e940e +668, 0xdbadd5f2b73aec35 +669, 0xa7b4d6770d19f43 +670, 0xd28144880c1c5434 +671, 0xa435c41dce914dc5 +672, 0x9883a2e3cddd7ad +673, 0xddb29b179c922b28 +674, 0xed3f6669842e0c39 +675, 0xb663238d46b213a7 +676, 0x6346ef1606873452 +677, 0xe7923ae257befe28 +678, 0x848ce090039c77 +679, 0xb77a6da428f4da49 +680, 0x6d9acffa8252ae03 +681, 0xd90d55fd8f8abf1c +682, 0x28718a78a031f802 +683, 0x8305f9005a1b1d6d +684, 0xd065b82167b53418 +685, 0xec65275154e9da5c +686, 0x292c7a783bc2dc04 +687, 0x71aa213998c2c31a +688, 0x114032c57e9fc4a0 +689, 0x67c3675a88faa9d3 +690, 0x7813f653eef4d4fc +691, 0x50004f43e4f4c43c +692, 0x43d3ac5d63714a93 +693, 0x4142e7030323e77a +694, 0x5da693da8e656d6f +695, 0xac696f7b0818c8b +696, 0x910b5df8803af3fb +697, 0x8d89168d50ded4d6 +698, 0x37c31ab0b2635495 +699, 0x66d97616af36f929 +700, 0x2ada02a3c0389bda +701, 0x62eea272c6334ef +702, 0xc8afae44f45ccc49 +703, 0x4978910fb289af22 +704, 0x64590f6a489183f9 +705, 0x594837052d1ee56f +706, 0x8553a88dd84e460c +707, 0x5c11e1d61832edfe +708, 0x7d5b6fde3c05ef8d +709, 0xfaf96bbdea0d6f11 +710, 0x2112b6f8f25fc3b7 +711, 0x6ce347dc5bd8d9f6 +712, 0xb072e2c4076aa185 +713, 0xf4162f4ab453ead3 +714, 0x369789462fc197c7 +715, 0xe732c5b207c55f3c +716, 0x4689ce674194c32c +717, 0x6bcf28130ebd7bbe +718, 0x4d7a25def10edb97 +719, 0xc4a2283e380f5239 +720, 0xab31536a95f7e336 +721, 0x50c1ecd9e4dec3e4 +722, 0x1bbea15462cfde71 +723, 0x1e7c73d56d6e939d +724, 0x7c46fb35982735db +725, 0x83c23f93c4221593 +726, 0xddc566e8005e0e6e +727, 0xd0551a666c088325 +728, 0x2c57b590ab686557 +729, 0xf2e9351a14724fe1 +730, 0x45d25cf2ebb2ee0d +731, 0xbe23d2a8fc7aea1 +732, 0xc721cb7b65d8dd7b +733, 0xe6642683775efcac +734, 0x6c29ca0adc0a83e0 +735, 0xd0de3128954b2eef +736, 0x7abea9b318f9a544 +737, 0x3a63475d59d64b22 +738, 0xb804c9cd589c817 +739, 0xfc4f880ac9dbc246 +740, 0x414d492c8870732f +741, 0x3ee15c71660a8129 +742, 0x57f4ab3a25da00eb +743, 0x5a1d89d6f9eaa29f +744, 0x60139567a3d66313 +745, 0x5759ec448bbaba05 +746, 0x44d3088d8cf1cc1 +747, 0x77d8019fadba610e +748, 0xcdc729417b13904e +749, 0xdc77421f8b2bfb0e +750, 0x47ae0c4222bc1d4a +751, 0x22768d4b89156cbb +752, 0xa60d3ef97eae8ddb +753, 0x7aa22493dbfceff3 +754, 0x2ee0ee06bf9a5fb +755, 0xd54b7701d7afc96f +756, 0x1aa49ed985a53efb +757, 0x97d6fad17caacdd3 +758, 0x1b2f6dcd1d10fe +759, 0x46347f5bcca0f422 +760, 0xb9dc35c224242d3c +761, 0xb5dd657190fa8a03 +762, 0x50ff9434c7862fae +763, 0x7a05cd5c25bc1209 +764, 0xd5aa141a498560a1 +765, 0x73c62b8d0206e8b1 +766, 0x740f369af4ac9f51 +767, 0xe7479d9a0716b94e +768, 0x8b3d0375452d633 +769, 0x6ed58c4d905dfe37 +770, 0xbefb7f1e9c79f6ed +771, 0xe2cd7ee311d7a8c7 +772, 0x932cfb8178492b88 +773, 0x8e39205fbe47711c +774, 0x149ea35973cc055e +775, 0x96b73b6cfad8ad7c +776, 0x572898ff1f967eef +777, 0x795e8172b62cbf69 +778, 0x4e3d34c5bb921c28 +779, 0x7a4c623c7295f4c3 +780, 0x15b7ca7ef7179a7 +781, 0x48340589636b223f +782, 0xfcd61c186913a7aa +783, 0xf4f7f0cb49d78f5c +784, 0xb9591798ca218218 +785, 0xe304bc438ae109a6 +786, 0xe65890c4bed537f4 +787, 0x54719032d537f085 +788, 0x927bbdd2931be349 +789, 0xfd4a852025d02c14 +790, 0x915a7c2bc713221c +791, 0x4adac4a960ecdf9b +792, 0x58133bde7f0edb25 +793, 0x73d00fa5f091794f +794, 0xcb2fe411bfb56cf3 +795, 0x54a4f66f2c5f6220 +796, 0x125bce09ee493ea +797, 0x766ba624e5f3b266 +798, 0x884478527221bba1 +799, 0x8a1920c18ba6676a +800, 0xb0c08f7fbca3cdbb +801, 0xd3b570c49c774405 +802, 0xae4a55264d8e012f +803, 0x91a25b7c5e5872a9 +804, 0xeb65375cda8296ef +805, 0x149f98de1b29f459 +806, 0xe00a81c67b8ba093 +807, 0xbd7da1f6c6be49f3 +808, 0x4ad7c327a630b482 +809, 0x7efc93c60449206a +810, 0xff182d272189a04c +811, 0x4e7892e8adc82e19 +812, 0x1327926bc36b7f99 +813, 0x9b6a8085d12fca4d +814, 0x34a29cb661d313b9 +815, 0x7b3398923572c6a4 +816, 0x8b3ff461c821a464 +817, 0x8e5581286f82448e +818, 0x82a8d223a7b6937a +819, 0x1a0c750d6029237a +820, 0xf19a0a7f578497a5 +821, 0x2e6a85391da4f651 +822, 0x98676879af572d0e +823, 0x50110f1f738507a0 +824, 0xbe88faea0d4f8cf4 +825, 0x183bdc54555acc08 +826, 0x1d4dd72e0c7a82f1 +827, 0xef500f1dd19059f1 +828, 0xad98db5c386d33a8 +829, 0xa17bbcaea00a9361 +830, 0x8b8967126839c74d +831, 0xcc9d0e484a9b1dfc +832, 0x4216966d5af86872 +833, 0xdc3f8b825876e2ef +834, 0x3ef820c11b63f9f9 +835, 0x78da1c113cdca011 +836, 0x7f74559d9177c87 +837, 0xfde51ee31804305a +838, 0xc491d970fa5ce907 +839, 0x89b0ff390723a6ff +840, 0x7452028822f2d7bd +841, 0x3e55cee332d78047 +842, 0x5dabead1e04596ed +843, 0xc4e878a6ba18aec7 +844, 0xa785fac229f7f353 +845, 0xd95155479c867ad0 +846, 0x678fdb174e3774e3 +847, 0x54106e733d27b887 +848, 0x60bdc0fa294764ec +849, 0x55f1d4270179bd54 +850, 0x80165190a3df59ba +851, 0x81b128a7508d2174 +852, 0x831d78b199fe132f +853, 0x80ee7eba239ed866 +854, 0x359f1906550f62bc +855, 0xe293dd490df5f745 +856, 0xf3362af4b0de9c01 +857, 0x9cdc46fbc7f9bee8 +858, 0xe577a13809850692 +859, 0x1490ed2b4ed8ce8c +860, 0x63b861e371a125f4 +861, 0x49916e67be281c2e +862, 0x1a3a8999e60fe603 +863, 0xa373c8ff642e222b +864, 0x8112bea03196843c +865, 0x29c507a4ee61f7c2 +866, 0x4eedd845cd786583 +867, 0x1d9bdbe51c1aa7c7 +868, 0x3e5d043d5ab768ad +869, 0x8a3c0e9801e39bee +870, 0xc49cd378bfb3c516 +871, 0x1b9ebe1f63af91d4 +872, 0xe44afa8dcf0f28f5 +873, 0xf5a7ab4f9a8d8cc5 +874, 0x8ba7cba3af03234 +875, 0xe79397a55e04d4b2 +876, 0xc49014ba09442ad4 +877, 0xe58a5dd949723f3b +878, 0xd67c781ca27169dc +879, 0x409f1435da244c9a +880, 0x7ec9df0b04c17696 +881, 0x8a34c51bafd6e390 +882, 0x2f60cc0ebb4a781d +883, 0x161283264abcb573 +884, 0x9c9db4bf55a46c8a +885, 0x381e6106ff6053cd +886, 0x6e8fd5a7b8ed1c18 +887, 0x89d0da00aecbae85 +888, 0x1baffa4542d298f9 +889, 0xbf53f2e1dc44d359 +890, 0x4c31d9bd148120a8 +891, 0xc36be4d6404a748b +892, 0x400584c614a63b32 +893, 0x6622b75443cfa5dc +894, 0xbbfcae44c8eec3d +895, 0x28dbf6790e9ad12b +896, 0x7779f5d56f2613c3 +897, 0xd221ad0b4c565a5f +898, 0x4949752332a98b9 +899, 0x5bd9931a164b2717 +900, 0xb5108565cbec069b +901, 0x2e8491298f41ecd8 +902, 0xc94483fba700a620 +903, 0x7c1299ec45d1e22 +904, 0xf37c3a7e7e020358 +905, 0x3635565fc484cbf6 +906, 0xa93b65e210af2a2b +907, 0xcf18d773960a3667 +908, 0xa7529ce40290e679 +909, 0xd539e8afab9ff21f +910, 0x44fa456fc4e2908a +911, 0x138e0dfef16de572 +912, 0xb55ac8aa42abe21f +913, 0xc8a7a9ed90a4920a +914, 0xcc0f0dff8f4f1fc0 +915, 0x78c99cc82195feac +916, 0xa7669ab9998bdb89 +917, 0x2bf510028d6ea80a +918, 0x8995287d2a60326c +919, 0xb3c5676e9772daa7 +920, 0xf210121d1f5cf3cf +921, 0x3ec0fa808fe50e83 +922, 0x42f5269fd9717a58 +923, 0x7603ca20951ebe1a +924, 0x7f75e4c3afca107 +925, 0xa08af524629c434d +926, 0x1d144241418f216e +927, 0x7cabc46fab0dfa3b +928, 0x317172e8fe407c21 +929, 0x2694bf3be80d8b3c +930, 0xdf18b4db02b875c5 +931, 0x5df0cb415bc5a2fd +932, 0x954386c3df63e124 +933, 0xf0ad49aa400ee528 +934, 0x2a941df25bb38eb8 +935, 0x3b43af03f2d3eefe +936, 0x7a58932cec64555d +937, 0xabb56ea03deeaec1 +938, 0x33673826e58f9a52 +939, 0x8cb6fb8e42cd9f80 +940, 0xda88c439fe3b9dbe +941, 0x31cb50c4a69d5883 +942, 0xe2164f69f02e57e4 +943, 0xb6ea04dd0ba2811f +944, 0xb3458306841de334 +945, 0xbc6cd1a3cf526a19 +946, 0x9424b50438e687e2 +947, 0xa668fa546aecdd82 +948, 0xb8783bd3623d86f5 +949, 0x6d4341f1dd170d5c +950, 0x1202c1b457913af9 +951, 0xf2b532602b908de1 +952, 0xb15f6354e6482108 +953, 0x4a542e16c973ef2f +954, 0xcef0b8ef4bcbbf64 +955, 0xdd7090f21726ab28 +956, 0xd53de858192a0094 +957, 0x58e723302bf4d675 +958, 0xc3ffb98f745409ec +959, 0x5489e4fa52210035 +960, 0x3a6a10b142c74d43 +961, 0x69436c7b12a2c4c7 +962, 0xccecdcc046f76f03 +963, 0xa6b9793a0660fc0f +964, 0xf114cd63b38756a5 +965, 0xa44ac409c2246f07 +966, 0x65dd5dde54b6aa26 +967, 0x5df21b90d999494a +968, 0xafc3d89336a6d356 +969, 0x1acc23065a7ba8bd +970, 0x87ff903278b23e2f +971, 0x58e4a44f7e4c012f +972, 0xb2eb460bab7744a1 +973, 0x9b1aa5a17ba581c2 +974, 0x90c87a15edc021b4 +975, 0x43369d9b481b28a5 +976, 0xd05dc8b00763dc1 +977, 0x40f058f20d77b5e6 +978, 0x2502c9829f78bdb4 +979, 0xa5ef6729f601b2d7 +980, 0xab49116e5d404023 +981, 0x6b77c686cd653da8 +982, 0xd99e324ce1468143 +983, 0xb338c64071fd5469 +984, 0x94f67b1e04fb4267 +985, 0x16f34d11e280c73f +986, 0x9a6c4cd947bed4e0 +987, 0xd1bf20f05cd068f0 +988, 0x2ced63b15eaa27e4 +989, 0x95989123251dec6a +990, 0x38906e5a3cb4fb01 +991, 0x4b02f03a01180ba3 +992, 0x67d5842c2b13960a +993, 0x45dc1d0f5981374e +994, 0xe6dbf0961817185a +995, 0xf5717f537c683578 +996, 0xf7a689617ffe5002 +997, 0xdbd1595a8ec1ac24 +998, 0x545db9592b492be4 +999, 0x9e1085dc2c3335ed diff --git a/numpy/random/randomgen/tests/data/xoroshiro128-testset-2.csv b/numpy/random/randomgen/tests/data/xoroshiro128-testset-2.csv index 6c513476bbef..2de341ecda94 100644 --- a/numpy/random/randomgen/tests/data/xoroshiro128-testset-2.csv +++ b/numpy/random/randomgen/tests/data/xoroshiro128-testset-2.csv @@ -1,1001 +1,1001 @@ seed, 0x0 0, 0x509946a41cd733a3 -1, 0x885667b1934bfa -2, 0x1061f9ad258fd5d5 -3, 0x3f8be44897a4317c -4, 0x60da683bea50e6ab -5, 0xd6b52f5379de1de0 -6, 0x2608bc9fedc5b750 -7, 0xb9fac9c7ec9de02a -8, 0xc1942c64262d8742 -9, 0xc2c334fa4c2214b4 -10, 0xe53cfba26ba5ce93 -11, 0xf01f0c9d5398a979 -12, 0x1bfa2ef194eeb86d -13, 0xc9df57572868239 -14, 0x728e35871474105a -15, 0xdc7b1e93de9e112a -16, 0xc4d930cafb32002b -17, 0xf18b0bd68577e055 -18, 0x4929ceed7e690239 -19, 0x3b7a547b356b29d8 -20, 0x660f1cebb7affd72 -21, 0xf850e6052cc5f5c3 -22, 0x931512b017c71f1 -23, 0x8d88b7af3b8731e7 -24, 0x3050de537e8e84e0 -25, 0xc917230b8bd3d552 -26, 0xf58da0814356b478 -27, 0xcfc06b804972be32 -28, 0xe3892682eff28645 -29, 0x55bc734a03ca4fa6 -30, 0xe2f7700a020152b9 -31, 0xcba5a308a8d40969 -32, 0x928b63592b6b2f55 -33, 0xa372b4e0293d90c1 -34, 0xd73e00b1c0fdbb6 -35, 0x43c712d398019cad -36, 0x295d994760c6501b -37, 0xe94236abdd256f1d -38, 0xed4566687d847ec0 -39, 0xd3a838dfcbcb5df1 -40, 0xf4ac54b3d79aae61 -41, 0xcabd8f089de74dc8 -42, 0xd58e132a2cd64b6d -43, 0x4eb8bc55f8993dd2 -44, 0x8e4ee152013579ca -45, 0x1aa7c7e058e02a75 -46, 0x5038184ea8f1dfbe -47, 0xa9af7da9879e99ed -48, 0x267567fe1128a585 -49, 0x3a3d637084865189 -50, 0x35179207577f3a88 -51, 0xc323e40ec505a4a7 -52, 0xd2ff171e3203c51f -53, 0xf524706a4db15f35 -54, 0xbff297a90126dd1c -55, 0xec7517f97c47dbf7 -56, 0xf56604fd9a8a7f3e -57, 0x2a63c3bb1635de13 -58, 0x9c22f64a9b9acfc -59, 0x6fc94c63f4e1b311 -60, 0x955820d474d00924 -61, 0x5a4d25256934ab74 -62, 0x95ea0cf2b73da09e -63, 0x8e21647894c89a8d -64, 0xa6ffd9037f6627ae -65, 0xca5d03082b0007fd -66, 0x2ee116ac7bdd65ce -67, 0xa9e6e172042fa80e -68, 0x4763c82d6e7c3d8d -69, 0x325169a3ff49a8fe -70, 0xe0be054ea126080c -71, 0x4ccc1794542607ba -72, 0x58c480dddafc29d4 -73, 0xedab421340a8d4d -74, 0xd28d8f3c2ab241cc -75, 0xb2a89fabba9566c3 -76, 0x1b12fc8b30a80b49 -77, 0x65e178e0065959ef -78, 0x4adc931b03e25f55 -79, 0xefb7b250b854feff -80, 0xe024be0a14bf3da2 -81, 0x60c2285324a5a642 -82, 0x280dfcde16655ff -83, 0x18c2cbf4c0ba9bb0 -84, 0xcbeea642049c68c -85, 0xa1b19b0b60833fa9 -86, 0x10f72a22ef81e27f -87, 0x5cc3db165dde75b2 -88, 0x947a3c40223e6bd0 -89, 0x5d469f487abb870f -90, 0x1b1f4fea711c039d -91, 0x63b22d9e9616b06c -92, 0x689aa9d9808ffa7c -93, 0x2164f59dcc5f3e03 -94, 0xbdfc99e1f2c1193b -95, 0xdc9e85a6a6b8f61e -96, 0x11ad0ede8657e961 -97, 0x73a69427c838bafa -98, 0xfa4b98f49849cc62 -99, 0x5ccb852e4e18aad9 -100, 0xae102d1e06ad3569 -101, 0x4be41a104f8d8463 -102, 0x723f50acab4314fc -103, 0xd3b7b694a6bb6c38 -104, 0x8bfd1fbedfb8f092 -105, 0x3d5d9aea4d80f37f -106, 0x28cd19af64bfc553 -107, 0xceba7e81e5ec8edc -108, 0xd8c0513fca3ca719 -109, 0xfefef4fd2a0896f0 -110, 0x1aa7320084a97662 -111, 0xf63c0bb8fdae24ea -112, 0x497a5e9d0a13c0d5 -113, 0x37fabc943a07639 -114, 0xb5be9f1d19096cc1 -115, 0x4385acd2ed447c52 -116, 0x8e146c6874b731fd -117, 0x553c3c72c9e05a64 -118, 0xb9cca017a8d4be34 -119, 0x8f8e09bbd56564ef -120, 0xcf6da1a96df67f67 -121, 0x5882a27646d3189e -122, 0x1554cc47896d846f -123, 0x105600be06e72171 -124, 0x95a04162a7ec3791 -125, 0xadeb00515f0d6be0 -126, 0x22ed3d1ca5ebc008 -127, 0x312629837e981334 -128, 0xca916e4cef410dd2 -129, 0x18556a16bdff0e5 -130, 0xfab80417581d6927 -131, 0x40f7ecce118881b5 -132, 0x6a12fe0d0c5f3ca2 -133, 0xd3e2ba4104a669f5 -134, 0xdeb3d714e1fd921b -135, 0x32cc61dc107d240a -136, 0x1a79efae30dbd860 -137, 0xebd6029e65fcefa9 -138, 0x94289c890d17c9b4 -139, 0xd91bbe374cb9f243 -140, 0x3352bdd3eccaa300 -141, 0x5cc9a4bf3127b238 -142, 0xebd9f454d96adb59 -143, 0xd5f61261bb7089ff -144, 0xa743f21be20ce5f2 -145, 0x3d2a78d45bfb1da9 -146, 0x9ebbad453112c987 -147, 0xff48b7b97e3f597b -148, 0x2b57be29ae160a9f -149, 0x90df488fada68e76 -150, 0x785b4250ae46cc0 -151, 0x1c4fdcb6c66db255 -152, 0x3567f33a12172e96 -153, 0xc173a5f010dbe48c -154, 0x859eac8b59dd2bc0 -155, 0x532809d8c8b5378b -156, 0x656f93a00428ed0e -157, 0xd4ee7e2199473a09 -158, 0x9bc701f16ecf35a4 -159, 0xcea39cb296d32304 -160, 0x43fbb2333d392310 -161, 0xc9d66a1062247d -162, 0x271a83a113c42b2f -163, 0xee17f7585ab05734 -164, 0x5e98cde55d0b8ae9 -165, 0x488cc07f036165b3 -166, 0xd78481d7416f6724 -167, 0x681436c7434b6260 -168, 0xc53bd2c997a04ce5 -169, 0x61b5951080b80e26 -170, 0x48f285546280fec1 -171, 0x87ff976327bf74ce -172, 0xc10c08c9bc8b05ee -173, 0xa62f879a73bf12a2 -174, 0x31d7cbb6f9c1acf -175, 0x3e522645e518ee29 -176, 0xb85967a95e811cf8 -177, 0x99f8643751545edd -178, 0x3f962076f920dd9 -179, 0xc92abe52da7ed89c -180, 0xc1fe02e7dba484c9 -181, 0x7904149975239b19 -182, 0x5bfaad7ac409b74b -183, 0xb915e6eba7685946 -184, 0x8b2291b29fd71d66 -185, 0xe57e5709ad0bd967 -186, 0x3fe55bb3338f0f1d -187, 0xf41f8f7a981c05d6 -188, 0x80d3d9160712aa45 -189, 0x2da872bdd8bbffe7 -190, 0x6698441241fe0a4e -191, 0x4870fc969dc6676c -192, 0xd420fc68814fe867 -193, 0x6aa0500b9d8bacb5 -194, 0x55078d31633dcd47 -195, 0x6d758a56c80bd405 -196, 0x122149ae571cb397 -197, 0x22d1134c99ac507b -198, 0xe7d9e27ae05a47d1 -199, 0xd18a73dc45e5a290 -200, 0xb5bc1909e08803e2 -201, 0xe9a1e3ee93f2e109 -202, 0xf040a8f79841c101 -203, 0x9a705a608899152d -204, 0x4f7783a0dab4290f -205, 0x11c5bad24bb23af3 -206, 0x58545a19a22fb881 -207, 0xeeaf5ab573077828 -208, 0x9e036466fd858142 -209, 0xef70bf26fdd6bc94 -210, 0xcc3a2971056cb9f7 -211, 0xef120c86e84d643f -212, 0xa499226ab42f6d7a -213, 0xa85cae4acfa0a29d -214, 0xc8280371e2c25d89 -215, 0x246336f7e63ac4e6 -216, 0x76561f7777c7b915 -217, 0x704f83c71583f0b8 -218, 0x489db8592a76cd3b -219, 0x268d584af17550c3 -220, 0x350e989762428fe -221, 0x6857adc12d13f1bb -222, 0xde62c7d9517260e2 -223, 0xc1f37ee8baac988e -224, 0x714732f71cdd5374 -225, 0x56f01487bfa58c5 -226, 0x5163b23d41d95f14 -227, 0x745150434b747a38 -228, 0xdcf7cd6c6b14b1b -229, 0xd853cc6bc2580f81 -230, 0x693562e66b579775 -231, 0x8f15d6369dbe6678 -232, 0x464c1791098ad19d -233, 0xeeba6610f16ac2b9 -234, 0x3b307cc3c5bf5859 -235, 0x7e82177c4dcb75e0 -236, 0xae5978c33dd3e817 -237, 0xec3c0128360b0b2 -238, 0x2c325b630e904749 -239, 0x237ff1d19b4e7ead -240, 0x3c82e47b67a33956 -241, 0xf38b46203355a168 -242, 0x4df09cfda8d5774c -243, 0x4b06980b33ad6226 -244, 0x7afc1e940df03034 -245, 0xaa093355c596ecb7 -246, 0xbbb5100165d1445f -247, 0x599c0f30608a36d -248, 0xd35999534e29986d -249, 0xd0cae757abc97c36 -250, 0x9ec9f2c24bbe3b70 -251, 0x76b96e93352c2960 -252, 0x4dd3acf1c01ae06c -253, 0x71ebb829cb09312a -254, 0x3234f4c24cdbb897 -255, 0x9b0930936363bc6 -256, 0x2ede98b9aacc3672 -257, 0x7388672bfb4c92c8 -258, 0x53011e6a80763bca -259, 0x69eb6ca56f23129a -260, 0x59d98a723f847ad5 -261, 0x234af2de04ba218 -262, 0x589b028bf0830748 -263, 0x525da4a281c641e5 -264, 0x47ceb48568778c5f -265, 0xa2d73af3a884d972 -266, 0xdc6fab52b39bfe68 -267, 0x7f1a5e5ea6139484 -268, 0x70571bee802a1fa1 -269, 0x489f1d18d9c61c4a -270, 0xd781c38aa8aafbc -271, 0x5aa610ad2539aa57 -272, 0xd71a2a69974ae4a0 -273, 0xe4479465870487bb -274, 0xf714dacd7fc4475b -275, 0x5cb9c32e10d39249 -276, 0x746650ada73de1a3 -277, 0xbdd059359907cd53 -278, 0x38352adeaf41c72a -279, 0x330a370593019b35 -280, 0xc75ff9305bdaf3c3 -281, 0xc64723389b0bd56e -282, 0xbafccbf3fae88f31 -283, 0x3fc2c4b1d35da1fc -284, 0xd9414b4382f59e69 -285, 0xec31e6d32a58f7e1 -286, 0x4763fb9ad6cadb98 -287, 0x5e9817762a380e57 -288, 0x9a670c79b387ff5b -289, 0x467beb71ab258339 -290, 0x23cafda15a336768 -291, 0xe42ebf79e2d170e0 -292, 0xced716e4bbfe75ea -293, 0x1057597f33a23633 -294, 0x563d3fb59a847744 -295, 0x1a3f85cf84ea5e0a -296, 0x7630855876b41b32 -297, 0xb59e3eecb52851b2 -298, 0x26aed463d3769fd2 -299, 0x530d3898b8d043c6 -300, 0x28fa6b7cdc76ae94 -301, 0x99591569d7464343 -302, 0xa46da7d9e275579a -303, 0x30f6e5979a92bcfe -304, 0xaf345d66f7e756d6 -305, 0xdfad061213a92b33 -306, 0x2843134719ff646 -307, 0xbc8699b6d3f04313 -308, 0xacb08fbaeaedce6 -309, 0xe8fd50dc65724bc7 -310, 0x956d0436e93242fd -311, 0xa9c3e3eee8a80b9 -312, 0x9bf71b03710af171 -313, 0xbd61bd65edf3d9ad -314, 0x531b6865fc4f810d -315, 0x58ca69e7da1ea2f2 -316, 0x4946f99ec03e8adf -317, 0x3b9d4f48b1eb484b -318, 0x605be28093b8144a -319, 0xa7a4c6c8f2ade7af -320, 0x729f97c8057a21f6 -321, 0xc97d9d778a4e2932 -322, 0xc173b6c3d0c5168f -323, 0xd400c6f451c927fa -324, 0x611d96eb9e70ecdf -325, 0x3ad1a1709255cd86 -326, 0xf85d02d9fd5678eb -327, 0x495bd5eb58af79ab -328, 0x977bc4282d97381e -329, 0x9a5b1811cde9f133 -330, 0x49b2b9d26ba0977b -331, 0xf6c4e846b99bb87a -332, 0xc399d5f8661b0c8 -333, 0xaf9a91415ddeb79f -334, 0xb93df0259e6f3c5e -335, 0x80ad075b109611b5 -336, 0xf3004a806f25186b -337, 0x89a86842ef14b472 -338, 0xba53e5942ca79cdd -339, 0xc4cd49237032e3a0 -340, 0xb39700c89fc1109d -341, 0xc35fd5106aa40bf7 -342, 0xa0ff3091df2010c7 -343, 0xd4970cd890097774 -344, 0x39e7db9319a17976 -345, 0x56306e9316a184b7 -346, 0xe4d218267f28a145 -347, 0xbaa24a30caf53ebe -348, 0xf4811ee0d51ce11d -349, 0xccb9ece4a25b129d -350, 0x132b2d1c4f092d60 -351, 0x7d5e7a59f14dd113 -352, 0x8ed30762f02d3098 -353, 0x8a92bb806bf9a4c0 -354, 0xd1957618db32f95 -355, 0x3ae37701b1db294a -356, 0xc29e705f675713ad -357, 0x3d12dc6fc3dcc569 -358, 0x7bc096e1e2ca2e43 -359, 0xf58f4f816e71b16d -360, 0x23e6f93c7d0f1050 -361, 0xacaf403b80890da3 -362, 0x7a5e19bf92de04ec -363, 0x72b3638076a857e8 -364, 0xb87601882acb1f3d -365, 0xb51d157f2576ac70 -366, 0x7ef0c2f1ae02af0f -367, 0xd519f6224fb2866 -368, 0xe00a80d729843eab -369, 0x3c95b55c523d0871 -370, 0x81dcfef1772a151f -371, 0xa5b20337760a602d -372, 0xf36049e3e0f98eac -373, 0x21bc3e0f1083016a -374, 0xd8f295098597530f -375, 0x78a2582906003e78 -376, 0x1c5cf0f434493262 -377, 0x2228d56b7da9cc80 -378, 0xc3d7eaedd0f36349 -379, 0xc9ca575c3b6dfe54 -380, 0xb5f03d2d974c91b3 -381, 0xb2f7ce70c56a865c -382, 0x98f33d64e66602ec -383, 0x559904911cb8b69c -384, 0x19c426ae3d196913 -385, 0x818fcd24869feeec -386, 0xf4c52f4b00f4295e -387, 0xbdb808d5fe34cb3f -388, 0x5014922c0ca80ee9 -389, 0x9f7e4c8068fb96d2 -390, 0xec99128e620a2df8 -391, 0xfcbb4fc594857a59 -392, 0x6aebf62bc7c79e4f -393, 0xde8cba80e35ed831 -394, 0x55bb9ced0fcb6fd7 -395, 0xbe7534a18c050ef7 -396, 0xed2e6d1767c7ed5c -397, 0xc88e18ac1064dd88 -398, 0xf71fbae1105d8324 -399, 0xb4431f0a4b807ea4 -400, 0x78de56556e1272d7 -401, 0x34d3e7e84ceed376 -402, 0x72f0ca866b3b182b -403, 0x4747a9b5faaa6dfe -404, 0x5a0f85d879e90288 -405, 0xbecbea458ec061f1 -406, 0x5e0bcff71b1911e3 -407, 0xc2e32dc60548a6ca -408, 0xfa76a9a3d449b8c2 -409, 0x81303b7e225dea8b -410, 0x4aa42b413ca5c63c -411, 0x4d7372d31df5b70d -412, 0x2a408f03bb0499d1 -413, 0xd75529b610d56d9c -414, 0xa6e9d1356654ffbd -415, 0xe10bdb510c440754 -416, 0x8fce6a25abf05e69 -417, 0x21aaf272093d6081 -418, 0xcc18cf69f0f0b2bd -419, 0xbb4e0a1cda31a035 -420, 0x70128e6522fe238d -421, 0xaaeae87b79d223da -422, 0x6882e6705d12bc8f -423, 0x8e110abf1ccb274e -424, 0xb7ebac3cfca55a39 -425, 0x909705e2a6e584ce -426, 0x3b54f18e8f7708cf -427, 0xcac28674d5caa98e -428, 0xdde0e042ad4107a5 -429, 0xfc2ca3a740f903ac -430, 0x9aae84ca64051770 -431, 0x858a0d2d879442e -432, 0x75b3e7d29e357b39 -433, 0x9f6f5487d5ec5ac1 -434, 0xfd95986f2765eed4 -435, 0x2899b60770693140 -436, 0xb8ab9650b7300ee8 -437, 0xaa772209ef643b16 -438, 0x9c98fb4b5946fc61 -439, 0x6f614d64e4a38b84 -440, 0xbe0099b53347a13f -441, 0xe8d05eabf7db8a0e -442, 0x4c849670c59692d5 -443, 0x421d2e32838ebba6 -444, 0x1fb1f7427466dd6b -445, 0xd79d9987fd12fa15 -446, 0xc195d5fedaa613c1 -447, 0xfecdf6c6fb6c4924 -448, 0xd8536233459d6d65 -449, 0xaed30f22454f593c -450, 0x14d427078bb818c1 -451, 0xf7235f42e291617a -452, 0xb1fc436bdb2efb83 -453, 0x21cc3fd0fb82e07b -454, 0x2df968f572e077bb -455, 0xe1b76c513528f8c3 -456, 0x955681442083db83 -457, 0x2e009197f295008c -458, 0x2c258d6b1935587a -459, 0xd10fda2d14ce8e70 -460, 0xd21cdc7f5db09825 -461, 0xe39168a7b3a080cc -462, 0xc82c2a353a812026 -463, 0x6adc63d4bb7f26b0 -464, 0x5d2acdd2deaed807 -465, 0x47c39719b79aee01 -466, 0x5b6351daac993e69 -467, 0x1e2d2cf25d029df -468, 0x671c43218ccc62b -469, 0x783093122682b9c8 -470, 0x8055e091219d2263 -471, 0xa6e7f6bc43717757 -472, 0x91855fe232480a87 -473, 0x554030e74824042 -474, 0xd0c14f8ff34b1a30 -475, 0x13aa852fdea8bca8 -476, 0x27ed292b1a4fa598 -477, 0x3e56548b7095af08 -478, 0x47432aa82a4bfcfc -479, 0xadddde35537dc4c8 -480, 0xadb0d103d29faa1f -481, 0x14818cb71d4cdaf9 -482, 0x31507bcc3d46a5d -483, 0x7407577173399611 -484, 0xac03706bbe4da972 -485, 0x4efb0cae8499469c -486, 0xc6d4bcbc4396a20b -487, 0xd7581757d38762c3 -488, 0x6308e217f7e69120 -489, 0x6931392a2fcf3756 -490, 0xb5a5b36744f09886 -491, 0x8da8292d0bf2ed08 -492, 0x13e0aa8d5a24bd3d -493, 0x1131dbe7a2b97139 -494, 0x2098efd4a1e7108c -495, 0x9c470e15e690e574 -496, 0xe60e3aeb65560eb8 -497, 0x4ae5444669ffc65f -498, 0x911fc7e6820923b8 -499, 0x25b3fbb125c1ae19 -500, 0xa8b6c812471f37f0 -501, 0xe6d9aec89655113e -502, 0x59d24e18c48dd532 -503, 0xc9b320756e0d6c35 -504, 0xb70a2316319c8e2a -505, 0x328a0b16ff39152c -506, 0xc2088e4c8a3298 -507, 0x10bce05ac0971264 -508, 0xe26b5b7655fd4ad5 -509, 0xfb1d818177211481 -510, 0x98d83c41a7196f86 -511, 0x45801b77072aace8 -512, 0x563268328ebfb870 -513, 0x4d26e320a51123fa -514, 0xf531c63a3438f527 -515, 0xd94525fda256c193 -516, 0x883de65d7957b025 -517, 0x7be095e05de1599b -518, 0xd27792977b3a11dd -519, 0xfd179d3c4a5f06fe -520, 0xfbe066b302e09da2 -521, 0xb841424fbd2c7249 -522, 0x566dc3e3f2345fc1 -523, 0x14e8cfa0ee0ab392 -524, 0xf1e11e1841884ad7 -525, 0xc895b028b3b7df26 -526, 0x70f727baee1dc909 -527, 0xc2f4bcd3f8c7905a -528, 0x6d294a99118f9f47 -529, 0x18a723a0ddcf902e -530, 0xac36efa0258143c4 -531, 0xc558a61c40490895 -532, 0x430341fd196a18e7 -533, 0x27fea5b52f4178c7 -534, 0xd0d628d45d51e088 -535, 0xc016cdc47158510a -536, 0x925a6cdd446f0555 -537, 0x5e5a30a2f1d9bd08 -538, 0x918ad9cea082da5b -539, 0x23bb26bfaa0e79d8 -540, 0xf667bd79197706ca -541, 0x9ae3d6e8290fa1d5 -542, 0x20a15e60e0007e64 -543, 0x7d88beb1713a320b -544, 0x2d8b1728e392a6c3 -545, 0xb4cc0ae2c22afad3 -546, 0x749fe3524435e61f -547, 0x137bc8f57e7060a3 -548, 0x8070ee0def7571b -549, 0x2d5cacc36c121329 -550, 0x8408aeea38281006 -551, 0xc05e54af2206ce49 -552, 0xd547b24a26ebd3c2 -553, 0xc66d83645d95b57d -554, 0x8f4187e81ac31f25 -555, 0xe2878187a7ffa7e2 -556, 0xf7802760e1a8b9e9 -557, 0xd7f135ce1d83b5d -558, 0x4e2d5eee2bbad34c -559, 0x9b73503bcada0bcc -560, 0xc3fb41b2fdd2b56e -561, 0xc5958ed587dca76f -562, 0x1029b90ef3fa1e44 -563, 0xeb52236cba057b2f -564, 0xd411396dfa523c6d -565, 0xccb05527609c690f -566, 0xe73e27fd2c6295e0 -567, 0x363628b4f2a7bd3a -568, 0x443bcaaab9b67c72 -569, 0x1142926c0ff02a91 -570, 0x6d7fe0d6fbcb7265 -571, 0xea31775a5191e8a2 -572, 0xc44a633ed2339375 -573, 0x261bfdb83fc7a23b -574, 0x4cb967260869e0e7 -575, 0xf3b7134ffac658c0 -576, 0x97b266a6b95e219a -577, 0x18a5be54082669aa -578, 0x9adbdbfe1ad667c -579, 0x6fd02995faae35b0 -580, 0x9e62832c534ef39f -581, 0xb89e8229d7a85aec -582, 0xa46c8670446a0539 -583, 0x6960eeea3b3a4c70 -584, 0x27901b708cbb4f97 -585, 0xde1abdbbffa9cf6c -586, 0xcadb304d56e1ad33 -587, 0x579b5110955d30c9 -588, 0x77b57f59d61ebdbb -589, 0x900adb153a8037c0 -590, 0x1f5200f1f8be5a4a -591, 0xc491a76e1cefe1f1 -592, 0x6724370243b5d0c9 -593, 0x6cc8e3b9fbb98c87 -594, 0xca1722c5183b2b57 -595, 0xe9a61a3f20c59fec -596, 0x91723ba5418ed1b5 -597, 0x4299a43bd28daf49 -598, 0x8dc266e15f1f32b1 -599, 0x91a22c16ad09703b -600, 0xfe36e6cd32ebd06c -601, 0x30c0d9f9a60a11ae -602, 0xfad538e8bf1a0f03 -603, 0x47c2a0261dc808f6 -604, 0x9148743d0cdc81a -605, 0x17c3f4257197c037 -606, 0xdc8b06b5220c01a7 -607, 0xf9ad586eb09e30f4 -608, 0x702600c123b400c6 -609, 0x9218eef469b0db7e -610, 0xce16c9bac0969bb4 -611, 0xa758408742a37457 -612, 0x2eb094509e812e4a -613, 0x28440b87ce1e0e21 -614, 0xab48eb01ee07e56a -615, 0x85e69345a3649100 -616, 0x517927d4a415e569 -617, 0xd02de9b703206f93 -618, 0x5cae9cf67b9d62a9 -619, 0x8b0e1e0c2623250d -620, 0xce893eb84c72510b -621, 0xd97bdcd1e00f8c3d -622, 0x106c1721a5e8546 -623, 0xb4fc0554e61e059a -624, 0x5fad1bc4c54c3136 -625, 0xd09dc05514ba4ad3 -626, 0xc934e2153df00372 -627, 0x3cff94fa0fa2967a -628, 0x4e7ca152c113e934 -629, 0xc5ccf2350fb82ffc -630, 0x10aa453d349b70df -631, 0xf8270070253de14 -632, 0x412b14bc12ef4538 -633, 0xaf83140fc27938c2 -634, 0xf342d1c8c97c7e74 -635, 0x693b4b07b79cfdc2 -636, 0xe859c76fde1be4aa -637, 0x90ac4aa1c012a971 -638, 0xeca381124c9bf23b -639, 0x1f544598d356ab2f -640, 0xbcd78485f20f8339 -641, 0x6b8eb4bf854dcdf5 -642, 0xdb231419a9323609 -643, 0xb2f0167ca051a61a -644, 0x9806e89e8d3ebd15 -645, 0x69ce87797a14c206 -646, 0x143ecc33c23e61f5 -647, 0x3be37d8fbcfc396f -648, 0x2a4336f50c851387 -649, 0xe665ed14a40c6400 -650, 0xc229fc93c03a6a24 -651, 0xb7f27088c74af74 -652, 0x8a8da4fbf5fb90a6 -653, 0x8c54684d5db6a600 -654, 0x11ef0e952c8ad4ec -655, 0x928a518e677b87a6 -656, 0x6b6c8ebe9db7253e -657, 0x9feecd8eaf8a8101 -658, 0x4f270f30f3ad2d0b -659, 0x23798146bff58d75 -660, 0x7d9134e4005b9246 -661, 0x18b5eb6833bb921e -662, 0xff0ef41f6c734814 -663, 0x388b18f678774f4e -664, 0xa51646467be5785e -665, 0x9f96bbe291c9361 -666, 0xce39cac00148c7b1 -667, 0x69d41ab8914f944f -668, 0x579ca60b75dbf4e5 -669, 0x352f2b89c968d81 -670, 0x181d45a561c05553 -671, 0x5a6aeaa048d6a494 -672, 0xd7938433b99408ca -673, 0x13bd6696806f0800 -674, 0x2ca8e35e87037dbb -675, 0x70d9d33ef79088a1 -676, 0xcdcb45940c9ba3e7 -677, 0x2546f21a69a29dc -678, 0xc674c5afa1f9abdf -679, 0x856dfa52fdff93b5 -680, 0x614b66daa02187bb -681, 0x55ce165aee2e205e -682, 0xf34d6cf856f941e3 -683, 0xa4a0ec51b4f25b25 -684, 0x83e6bf89bfe39762 -685, 0xb559b9a68edf3381 -686, 0x9259778b54c31479 -687, 0x4e4e21e81138cacd -688, 0xbbb990cd25c2fb2d -689, 0x38a85ad84d9e31e -690, 0x5b4f4081ffba398d -691, 0xfb12eb300dada910 -692, 0x6975328f3eebcb34 -693, 0x3db017218a6478f0 -694, 0x9397aca7eaa5de14 -695, 0x6f7318d0d9ffed6 -696, 0x40cf276103c34010 -697, 0xeacef8ae2095ec8a -698, 0x80f7593e9ddaa152 -699, 0x8d4bc01f7e5c6520 -700, 0xbbc9606e7518e199 -701, 0xfe71ef90abbaca29 -702, 0x528edfe3e467ed43 -703, 0x52b322c36f60627d -704, 0x9946be5ea3beac73 -705, 0x890745d71a02c404 -706, 0x5570d1bde8bb7993 -707, 0x563fceeff8466dcc -708, 0x62a9ca23db6e4d62 -709, 0x89d6038410c92e8 -710, 0x16bc3b1ea7b90a89 -711, 0x12ff3e9c30d8dde6 -712, 0xe78cb53e8dd40a77 -713, 0x643722181b85d5a -714, 0x73e26524635d78e3 -715, 0x941ccfc41d47c53b -716, 0xadbedec82c31e57c -717, 0x2addd39e7a36aad6 -718, 0xe64d81fa432bb65d -719, 0x1e2e63d01399ca82 -720, 0x760a3c0edbbef3a6 -721, 0x801131e88419a79c -722, 0xa2a75136213dbb6 -723, 0x83e576905753c3ff -724, 0xdbbdab8007c4ea0 -725, 0xbb73b13358898c2d -726, 0x5818372d8fe036f7 -727, 0x3aa052cd647e29d1 -728, 0x235219635ff4abb6 -729, 0xe24e07311fa76b65 -730, 0x4967574b62c3efb8 -731, 0xb04b4c210022e795 -732, 0x3d48e77713ef3fda -733, 0xf4ec1050775fd3b1 -734, 0x38953c604d35190d -735, 0xf731a6450c1e23fe -736, 0xac66ae73ecc6b9dd -737, 0x442e2bcbca5bbaa8 -738, 0xa74a741bd02570bf -739, 0xa85473cbf3b4c45e -740, 0x24d43199c69cdda -741, 0x59f78fa87f895d36 -742, 0x78f5513621dc1813 -743, 0x226c2606635698c9 -744, 0xea39babbad3df384 -745, 0x2f178b076f08f80d -746, 0xaee482470bd9acb5 -747, 0x48571d8c4235c1f6 -748, 0x6569395eec2df1d7 -749, 0xa9b7408c1d67a372 -750, 0x3b9c5ba01aecae9d -751, 0xb047b26325765767 -752, 0x9bb1968c8b6149d4 -753, 0xbba4038fdd341986 -754, 0xc1d23b5b89beaa88 -755, 0xaa9a341db334c8ac -756, 0xaa9337dd1fddf923 -757, 0x9fdf160ed939d68b -758, 0xbf48cdd432d0f148 -759, 0x2a01743f1f7b581b -760, 0xb68d5c631e9fb70a -761, 0xe9ab844ec026cc7b -762, 0x1fabd46f0d5266f0 -763, 0x29e53ae817eec5b -764, 0xeffbebc07500ad4d -765, 0x432ae3b596c1589b -766, 0x48d44f3895d6dc23 -767, 0xcc3a5576e24ec2bf -768, 0xc8f4a042462e95d9 -769, 0x24c12cd6ef57b6 -770, 0xa7896ae26675f69 -771, 0xb98a1790d429c90b -772, 0x71f7ac96dea8ffb6 -773, 0x7878c64cad319f72 -774, 0x65586d63156e1a05 -775, 0xa70ef198e61e2a11 -776, 0xf5a84f622d490449 -777, 0x7789e1c1927e82c6 -778, 0xfe053fdbb586b8fd -779, 0x59a94b735df951c3 -780, 0xdf5e72909ff2bfbd -781, 0x34dc2bd8876a92e5 -782, 0x7e408900bfa3b282 -783, 0x844176cb62d5008b -784, 0x7406e9e156cddc9c -785, 0x6a6d87de33056193 -786, 0x20c388365359e4c -787, 0xdbda2eee6499be64 -788, 0x3574cf8bc4840b47 -789, 0xc2d904ac50e44ee3 -790, 0xb9edf042b0d96102 -791, 0x2ac087f3922dd11e -792, 0xeaf244df29c2a8ae -793, 0xb4243528d8d0649c -794, 0xed67e39d9217e6cd -795, 0xcbdcd1620727437 -796, 0xcc00dec8485d0dfb -797, 0x2e5411679d89f548 -798, 0xdd355c299c05131e -799, 0x6fc81e1e9beb2c8 -800, 0x205ac04eedc0085c -801, 0x8bf73a08c5240640 -802, 0xec6f8daf06673cae -803, 0x6e29f78f0a59638e -804, 0x8c530fd613aeccda -805, 0x58b99ce19626ee04 -806, 0xb16f71c11f209bb9 -807, 0xea1d7ee0e82f9146 -808, 0x5641482551d357fa -809, 0x13fb8eff6efa4b89 -810, 0xca4bdfac87e46ce0 -811, 0x9e2babf08f33b6ad -812, 0x482633792e270729 -813, 0xd5c17bce83e146e9 -814, 0xf8df8169c7ff4df6 -815, 0xad974ea8b3bb7e7d -816, 0x8ad356322d6c0a26 -817, 0x5ba5a24cff70d235 -818, 0xb604ea125e469d44 -819, 0xecb90d0ca42445d9 -820, 0x9c499d3f441e6eb3 -821, 0x2aed9e67fc701d26 -822, 0xb3476334028bed9 -823, 0xba079723415a89fd -824, 0x8684b0e124ebd181 -825, 0x6effee2741402b37 -826, 0x15e734115d68f8a4 -827, 0xafc15b8a9fa93205 -828, 0x9749e35360fcd91 -829, 0x8ffbf6ba4b02bacd -830, 0x2f107b6a820f44ba -831, 0x230cdb06c5f7422b -832, 0x2149918883f7c858 -833, 0x3e8eb9dbfb832b71 -834, 0x871f0b4369d3dbc3 -835, 0x3553e06132e55fa4 -836, 0x1ec19fd1ce7a5823 -837, 0xf3908fc23446b3a2 -838, 0xe300b55305c8d7f3 -839, 0x61e4ab3372dce7dc -840, 0xb50f68be3632604f -841, 0xd6d2993fa6d155b9 -842, 0xf9c8d0fed0c90246 -843, 0xdd1b49530387141f -844, 0xd1db9818546e095c -845, 0xb91885ccff43ee8c -846, 0x8d704dca3b7fdb63 -847, 0x8309c9077939df4 -848, 0x6536739d7ae608f7 -849, 0xdab8a503cb9b94a6 -850, 0xc504248b8f69f733 -851, 0xb0ccfb81eb67e3e4 -852, 0x45ac4f949c418493 -853, 0x7763a70137c01376 -854, 0x7f08d6362b17c470 -855, 0xb190bb422946ad46 -856, 0xdafe7dfcb0d71320 -857, 0xec415ea4c54398f5 -858, 0x5955b81204c5657c -859, 0xff1f983c56d6d7cb -860, 0xb25b4a0de0bf393d -861, 0x3a90222bef45f3fc -862, 0xf0eb0903e3695f44 -863, 0x405ecabf26817b33 -864, 0xccf01a062f2351eb -865, 0xa62a5f63e31545b1 -866, 0x673d1baf237668d3 -867, 0xd15db3cddfb0a161 -868, 0xa8adebfc9b5351f6 -869, 0xc297fae49f0b2d08 -870, 0xe5ed1156ab569225 -871, 0xf4aa4bab70aa8c11 -872, 0x8e32dd1eb44c6363 -873, 0xc7aa250f1492e86d -874, 0xc645795d705914cf -875, 0xfdd8a48c0fb81c53 -876, 0x6ad1401f539799fe -877, 0xa157e71b6bdd4254 -878, 0x4cc09814465a6c9e -879, 0xed1f66bd824e39ec -880, 0x6b74f7f6f2d4c16b -881, 0xa3391c0100010ae4 -882, 0xe0f384530c0e7eb -883, 0xf6aeb9f0d64c7159 -884, 0x3d7f6bd980e07a17 -885, 0x8b4e1bd3e782ea4e -886, 0x7b005009d95b7d38 -887, 0xf43f001d5e7326c0 -888, 0x16600ff7361a1721 -889, 0x13778aceafd72087 -890, 0x85d3359c37907c58 -891, 0x7374f768c968d0f -892, 0x2373d89b9b8f9e9a -893, 0x21a3fe7e4dc5cc35 -894, 0xb02abcad4f4ae60 -895, 0xb9eb579582666e3b -896, 0x9c12186973b91695 -897, 0x1bd25ac6911295e7 -898, 0x9f5a90e0fc16ffa2 -899, 0xe3e8f10ce7fbb9e1 -900, 0x5867e566887d2d16 -901, 0xd569aaf2ffead057 -902, 0x678359b93dfd07f1 -903, 0x9fb73a4f1b777d94 -904, 0x5c6b0bcc70df3a54 -905, 0x66fd71a67ed5e59d -906, 0x62f21a6fe936b212 -907, 0x86922151e4b251c4 -908, 0xbfdee56cdeabe8bd -909, 0xbe3bc7c4c2380ffc -910, 0xd09ebebb0e786d49 -911, 0x4951a83005aa22de -912, 0xc1b7da6cf08630c4 -913, 0x8b294b5fef04b0af -914, 0xaca7a47f7fda4d5f -915, 0x70bbddc64b4b1a91 -916, 0xad306a764087085c -917, 0x19b9f11c14adb74a -918, 0xbf1a7d2c83fbbbe -919, 0xb78da8a53fa857 -920, 0x5b614c5060a543b7 -921, 0xb6f32557404d475f -922, 0x9fc53dfe5281f084 -923, 0x43ad9d302c10a475 -924, 0xa4575be2c10fbc13 -925, 0xe58c4c02d5b2bc8a -926, 0xaa838a3e5a16bb55 -927, 0x95c39373858011e1 -928, 0x17a6be18c1801fa -929, 0x835e6c3d99898c27 -930, 0x9af26334bd726505 -931, 0x7addf56712a22afb -932, 0xf619281f6d4d37d0 -933, 0x310c6b1e29ca7eaa -934, 0xe8106bbe1ea0f3c9 -935, 0xc89add421cfe7bb9 -936, 0xe01b7a6885180236 -937, 0xda8cd608ee0eee61 -938, 0x3bb2f5f40a8f4880 -939, 0xd434cddc85946350 -940, 0x6390806f8d1465f -941, 0x2a5f0150c8362cf3 -942, 0xcc6980e968b75f37 -943, 0xd86756899b2c95d2 -944, 0x95ab76b54f439605 -945, 0x1e0d6f6a99569ffc -946, 0xd47b20b72c0f02e3 -947, 0xcd9fff1462fe8a25 -948, 0x71867c57f009bc8b -949, 0x85238c818139a22b -950, 0x58247991b6447ce7 -951, 0x3b41a627153bcc9f -952, 0xa3ddf05f18153e13 -953, 0x21a3d47762fbdbe4 -954, 0x8ee55f20e5c5b14 -955, 0xc3ed8e23589b365f -956, 0xbd12efde1b5e8afc -957, 0x35b81175f738edc8 -958, 0x16b2627c28c952c0 -959, 0xb16a5009047b002b -960, 0x5e4c769bd80bed26 -961, 0x96174863aa73bf6b -962, 0xb3bfe6a2d7d05881 -963, 0x5c0a1757302c3fb6 -964, 0xfcc52e2da058ae67 -965, 0x12b26055c0ea26e8 -966, 0x87d8126b14b8417b -967, 0xc87745c58eaa597f -968, 0xb38b4b4b579ab55 -969, 0x559ece2bb0ca0b32 -970, 0xecbf6af7914a6435 -971, 0xd994b534e3f46c42 -972, 0x67301d5555cbaf1 -973, 0x4b2222c098aecb6a -974, 0x2f1b7acadaa10ffc -975, 0x4c48c65a542d56f4 -976, 0xf3fbde71409cd64c -977, 0xb32e3ef1dc24a7cb -978, 0x229321ce5bcd85 -979, 0xcad7e7dfee447d7a -980, 0x7fddd28936d166a5 -981, 0x928bfb0027da2715 -982, 0x97b17752c6aaa82b -983, 0x3eaca529c941d7c1 -984, 0x91937555520265e -985, 0x8e7e5c3786ee3588 -986, 0x27162348b08a9aca -987, 0x302165a3d76eab04 -988, 0x94111b7672c6bd95 -989, 0x7a471169035fc35a -990, 0xe850ed94b0be86e1 -991, 0xf7a3721d6c85c1cc -992, 0x6727a68e16268dfc -993, 0x65433e82f0e19d29 -994, 0x6109fd616c977544 -995, 0x7068ef83a29cdc70 -996, 0xcef2deae0fccb574 -997, 0xee2a2ee021a6ad5a -998, 0x5195005fba78706c -999, 0x31364d630d333f34 +1, 0xd805fcac6824536e +2, 0xdadc02f3e3cf7be3 +3, 0x622e4dd99d2720e5 +4, 0xaacfd52d630b52bd +5, 0xa94fc32eb4128023 +6, 0x9ee359839e68f625 +7, 0xd9f180e03b686e4f +8, 0xd6825e7d8fc65068 +9, 0x887f15071c20b9d +10, 0x6dc39f8336eeaa66 +11, 0x13d17509661b69b +12, 0xdbe703ea4e61caec +13, 0x1a4deda7c51c5b7b +14, 0xe2f2259fb30bafcc +15, 0x7eb5a4d5f053fcbf +16, 0x4704d55257921919 +17, 0xcfeb1c70eacd6734 +18, 0xed98c92a0d6b8b3e +19, 0x4efb928a052188b7 +20, 0x15617edcea5e98ab +21, 0x8ac022e71a4d1a40 +22, 0xe0ae2cdf81cc05bf +23, 0x11ae6d329bc72f19 +24, 0x5369885a834c1073 +25, 0x7a865692c8495a12 +26, 0xaf752d7df50f6968 +27, 0x4b81c799c968e005 +28, 0x4104e06972751b34 +29, 0x8600214cf598d6f6 +30, 0x444545884a4b0a80 +31, 0x2d13243847e43cfe +32, 0x6064921c3b70601c +33, 0x1b2c2f204185130e +34, 0xac1e21160f7e90f4 +35, 0xa718d564118e2bca +36, 0x25fb8750f330bdc1 +37, 0xcdd8329cb365e06 +38, 0xfdcfbff05c3470e3 +39, 0xcbce143aec5155a5 +40, 0x1d17b5b1e2c3c21 +41, 0x68fe2fbabc30aa23 +42, 0x19086e8dbd448c02 +43, 0xdb7d8126e6f3d1c6 +44, 0x1865e34fb131a69f +45, 0xce3be151debb3e9a +46, 0xdf573313ce569b70 +47, 0x3a7fcf8ef4fd495a +48, 0xe26450c5ec487bcc +49, 0xe99eaeeb35354e +50, 0x959e7e6cb8bf55d4 +51, 0x3ba4778a79b1b758 +52, 0x30e4f35a940c2e04 +53, 0x67717bb8a50f2c22 +54, 0xa9b3e9db4934cd8e +55, 0xe22bc184e5d2ad8d +56, 0x7390583f39dfbb76 +57, 0x19e7ba95b2482b72 +58, 0x549b0c65abc1615f +59, 0x43989e0d7268118a +60, 0x1376e3b4f7319b9c +61, 0x41bc4dd69e4a3eca +62, 0xdb5b777a0a90e830 +63, 0x4885cae86597a2fd +64, 0xe472ab9f66c240b5 +65, 0x387e53bf7d31a3c0 +66, 0xd8826e1be0364bef +67, 0x2a334c6d6f748f84 +68, 0x10c7d9da8f7ba2ce +69, 0x7b23655caa5a3872 +70, 0x4e52d38a6128c877 +71, 0x581cf9ba515b9abc +72, 0x464df6946cf89b19 +73, 0xaf0f20053d807827 +74, 0xddeb1fe3d90b8aa2 +75, 0xccb863176382287e +76, 0x831e79b8d6d91e8b +77, 0x88ed0822fceb3abc +78, 0x66adaa8387e19785 +79, 0x23a5005fb1c9c598 +80, 0x4ab28f3b1585657b +81, 0xd620ca461099e06f +82, 0xf056f4fdf816bab5 +83, 0xeaef5b9b3cdb015c +84, 0xee4f14793695313b +85, 0xaa406259c23ccb33 +86, 0x9ec3e4585b6d933f +87, 0xb5806dfe257e6c7c +88, 0x7bee992cfb5fd41 +89, 0x91a70b316b42bd18 +90, 0x874df34eea24edb5 +91, 0x379a0a3ad79d7db2 +92, 0xeaea9f7eb0292235 +93, 0xf4742d169fbb5198 +94, 0x57a84e20592727d +95, 0x5d8ec89195373de3 +96, 0x22eaeb51baa32533 +97, 0xc3cad6ca8be847bb +98, 0xf316a8b9b6172611 +99, 0xb687d7988a8a2ee5 +100, 0x8635d3f011c6253a +101, 0x2280ec837c98731b +102, 0x2f815c82713ebd61 +103, 0xb2b4c124ac4ea1a9 +104, 0x5db6c0a6a90a1866 +105, 0x3cc317501c96e9f8 +106, 0xd38b689a10819dac +107, 0x1b8a114bbc51341e +108, 0xa276c85761cf5978 +109, 0xe6b3d7d5b3b6dc0c +110, 0x14963fae33e6c2fa +111, 0x88f83f53a67231d7 +112, 0x77aec607b4aacad8 +113, 0x33cddae181b93178 +114, 0xf1bfcef2a7493c7d +115, 0xc4177359c975f669 +116, 0x9d603ef0b6bee8a2 +117, 0xc16ee77a4391d9b1 +118, 0xe93f0736cbd3f398 +119, 0x327500ca9afb0730 +120, 0xd8cba3672638e75d +121, 0xd87f00175eea9770 +122, 0x6680cfd0f0651f47 +123, 0x13287cbd1981e44d +124, 0x9da5fb61bd633e98 +125, 0x2d704f64c4ad5444 +126, 0x4c28b98c2f7349e +127, 0x42d156862c609af0 +128, 0xcbd49a9595d2964e +129, 0x8d54cf464a529131 +130, 0xd6b74f26dd0e313d +131, 0x4ef8b45baf3ec3a7 +132, 0xfc8be973c860481c +133, 0x6112312f08028018 +134, 0x78d492d0049b30bf +135, 0x3160db98b853a1a5 +136, 0x81eb3fabead6d97a +137, 0xfb54ee3224945380 +138, 0x3c62663cd2aa07dd +139, 0xeaa2eff9e2752bb4 +140, 0xbdecb6e8041eccf9 +141, 0x9a135a78514e92a2 +142, 0xacdbb7139969ae66 +143, 0xf71fc98126f511ba +144, 0x1bd6dc2853a20898 +145, 0x6fb80e8eff8b26a3 +146, 0xfff9ba38f9c3664f +147, 0xa4224ddddbe3a700 +148, 0xd76b8f1bc09e35ad +149, 0x1b6c5bdad062aae9 +150, 0xabc5a61088f2a3f4 +151, 0x5160b68fd92f30c +152, 0xb2cd4c619e1cb446 +153, 0xceffe90f16c69c0a +154, 0xd7845f2eb8b1bf67 +155, 0xb6ddd2d76e99be45 +156, 0xf6212b33d0bc1019 +157, 0xdebc75b6e2d6db50 +158, 0x7a6d61de4c4c3a9e +159, 0x473933055a8727a8 +160, 0x83ca458dff43a0aa +161, 0xde2b9e38b321aa3 +162, 0x78ba83864952e9de +163, 0xdb4c6db1049e8406 +164, 0x9c3a30ffdcfac7ee +165, 0xeab6e9a0cf1ecd0a +166, 0x3617b147dd5ce2ca +167, 0xe5c000907864b48e +168, 0x7dcb724b2767b90e +169, 0x4ecd7ad20e75e566 +170, 0xe03be67c421d2942 +171, 0x7e7a68988cd564d3 +172, 0xa8c25e5165919c51 +173, 0xa1d550ed4a39e690 +174, 0x6e7abdcf98453f72 +175, 0xe57eb7d34da3c5b +176, 0x8da6eebbab5ef00a +177, 0x7574363208ed2700 +178, 0xff06b2a934a953b9 +179, 0xf3c8951de92dcabf +180, 0x78b817c0dee711db +181, 0x358522c82c15f627 +182, 0x81d54c2d5ef396b8 +183, 0x1f98c21036a70b27 +184, 0x4d3692ad8d5e5112 +185, 0xb63674f55b06bd46 +186, 0xbf30a7aada9b1cc2 +187, 0x57f75205e81f6b47 +188, 0x37e9ab7e796bd0c9 +189, 0x34aad24654a70694 +190, 0x5602376e46ea14ea +191, 0x3761258bc9e79732 +192, 0xffe7d79561680d75 +193, 0x35b82f78a688b86e +194, 0x42d23cba46456a80 +195, 0xd64f0c226c84d855 +196, 0x6ef5d71859f03982 +197, 0xdb7dabdf5282c818 +198, 0x94ec7253c617acfe +199, 0xcc118236ff2009fd +200, 0x9f91eaee04579472 +201, 0xbf79aadb5a3a4a1e +202, 0xf6ac29ee74fae107 +203, 0xc82643f14e42e045 +204, 0xb08f864a06e4db72 +205, 0x7a2a402f1a000aaf +206, 0x2c2e03247fad91fd +207, 0xe70bb051040fd7bf +208, 0x8d42d479e23862ed +209, 0x3b2b368d659b45f8 +210, 0x96c8d7c31b396bc5 +211, 0x41664c476575aeea +212, 0x303ba0289cd281fa +213, 0x2936193bbe462f68 +214, 0x4a63581937611f45 +215, 0x10f69bed29c2a652 +216, 0xcda3073cb7dd2082 +217, 0x374da8d58157bbdb +218, 0xf3c040dd9a135d51 +219, 0x5ae628cef3e753da +220, 0xafdfa06ac9ed9eda +221, 0x94582756d1cc948b +222, 0xce387a039a43baa5 +223, 0xd9aab74b36032cb4 +224, 0x720e30cbfc81765f +225, 0xba42d487e461d31 +226, 0x445fa16350da585b +227, 0x43a3b57501104e19 +228, 0x55571957e6267eb3 +229, 0x8c1f8cc37a83b2cc +230, 0xdd433be6a0188876 +231, 0xdd0c1053757845fd +232, 0x47d17129bdec523 +233, 0x5fdc39aa7f38cf97 +234, 0x92ab54d8c66e4417 +235, 0xf46a39cdbdee494a +236, 0x6a226e83cc244891 +237, 0xdd2dde8767318719 +238, 0x794e882325646a7 +239, 0xf1d269b9fa82e09b +240, 0x5871ab313f97bbde +241, 0x30a0f742fe7a1746 +242, 0x8f3b8c2ef199341a +243, 0xf280d28fd6ab1ade +244, 0x8b5e8a112798cd0e +245, 0x80cc043e4ace43b +246, 0x1dcd69d6d8f6c527 +247, 0x467dc81c1f462ff8 +248, 0x47e98dba34af7440 +249, 0xae4599c86b11c6d5 +250, 0x4cc5574019676ca9 +251, 0x79b0a34fc332cfbb +252, 0xc5c778c13974e8 +253, 0xa1773cddcb7f3bd +254, 0xae20dcad57acc7e1 +255, 0x11e6e98c02b4ee9f +256, 0xfedb58925c42929 +257, 0x2ab56b3fccf3c5b6 +258, 0x5740e0a90920bbdb +259, 0xe02ea72778a4cc5c +260, 0x7fa9448e7563e3e +261, 0x907603f2ccd28776 +262, 0xc655d1fbe3fbf1e0 +263, 0x40bcc587212acc1b +264, 0x1af8bcb6c4902043 +265, 0xd47a71193454c4ba +266, 0x9e9cb523c3c9dfe9 +267, 0x4b9e107b36ba9f0b +268, 0xc89d86427a63c956 +269, 0x2353f37179b7147 +270, 0x7c6d3c3d67f1f245 +271, 0xf008463da2875270 +272, 0x4494eb9f1d83aca9 +273, 0x84dc57b61ca36077 +274, 0x461480c6f708fec3 +275, 0x6256b05de4b8233c +276, 0x2b02af1084a4dfd5 +277, 0xd4f3bb079fb41a61 +278, 0x83ee412671f4ef78 +279, 0x6c46e97c8f197f8c +280, 0x4d949413ea0d1e9d +281, 0xd7eef89a4d084d17 +282, 0x18f03d6a52592eec +283, 0xaf6fc843c53e63fd +284, 0x551f420f53de9097 +285, 0x4fa8dd599dd1365d +286, 0x399727713519d072 +287, 0xbdf7dbcc18541feb +288, 0x3f2336894ebad1fd +289, 0x903a74b979250389 +290, 0x733313e457a65fe +291, 0xd189b01b9258d1c5 +292, 0xb2d9533680f9a70b +293, 0x2a0929d54aaae5c6 +294, 0x9c6b844de0367b34 +295, 0x341d37b0d1e75bac +296, 0x5cd370014b87cc94 +297, 0x4bdb409173abcb35 +298, 0xafd38d4c9d91240f +299, 0x76d7d551533f344 +300, 0x3779e62cbdef738d +301, 0x211052148f86c129 +302, 0xf2f325e09a17da4e +303, 0x1e874c70b2d62dec +304, 0x412fb842edc1c3f0 +305, 0x23d9f5e6c9d83d27 +306, 0x8e58937e012d3c76 +307, 0xb0ab1175918a765 +308, 0xfc7991f83e0e06fd +309, 0x1066d7c10f16cf5e +310, 0x29a14ec418defe81 +311, 0x20f98e60c158d08f +312, 0x463c0497605efae6 +313, 0xdd02ac91db3f0cb9 +314, 0x434cbbb353edfa66 +315, 0x892ea5a463774836 +316, 0x8e00064e77225923 +317, 0xca7ec8ebe244a404 +318, 0xa9146f68a99e0a77 +319, 0xc85ab0fd6c4c8a99 +320, 0x4a1104cb1287380 +321, 0x25a570b6e2b45828 +322, 0x3e3f5935137b0d61 +323, 0x499d6aa0407317b9 +324, 0x4ab08263445a3fee +325, 0x2dcd45f060d8f5cf +326, 0xa73225adf6418dd1 +327, 0x738ff6caaffb838c +328, 0xa93e4a4d2330026e +329, 0x47421b8206cf7ba8 +330, 0x5d9ad2876b1a4e84 +331, 0x6557edadf965aad3 +332, 0xaeffe33ca45ac0bc +333, 0x2196b20f7074c7d2 +334, 0x351a0c784e1056b4 +335, 0xfefaa1eca46cba97 +336, 0xf58741e34d53876e +337, 0x5942f6de49d5cade +338, 0xe1b0d6514455ac99 +339, 0x456dc6a18b651d36 +340, 0xa8d240033f5c9074 +341, 0x7d758bc84ec678bf +342, 0x21ce28f61ecde645 +343, 0x83b8f058c1b36557 +344, 0xeaf452c4467ea627 +345, 0x60bb8582e53d2f9f +346, 0x9649572eaa40c725 +347, 0x59533356c226c99a +348, 0xc06b7f790fd4fda1 +349, 0xdb7d827921aa5962 +350, 0xd9be204c05438878 +351, 0x67f903bed4fb0450 +352, 0xf8e583b98827118c +353, 0x72c8508fca1e207a +354, 0xcab1df54ae1542dc +355, 0xaaa774d0c8833857 +356, 0x710c4b86e747bbcb +357, 0x8ffc4dd34d5f12db +358, 0x3b1d4fbe64743023 +359, 0x3ca88da03e8d8da2 +360, 0x970b522fdad62c7d +361, 0x7596d74c3e598a71 +362, 0x1e9c86f3b5d93e5b +363, 0x378a3fe78b730c3c +364, 0xfbc82d6ace6346 +365, 0x1eddf6aca48b7ff8 +366, 0xed12c2c2e137a0c6 +367, 0xd2001d92384c365d +368, 0x69a1bad8bc8742eb +369, 0xe1b460d2e65e9a74 +370, 0xeff030a0954e3832 +371, 0x23ac5413d4b3e60 +372, 0x802fffd55c4d2279 +373, 0x1776b952e25fcacb +374, 0x595f3f386b0f524 +375, 0x3f2d5e55b839c40e +376, 0x145202db5650c14d +377, 0xc28858131b702442 +378, 0xa1381d43a4f59fcc +379, 0xb3088835a18600fc +380, 0xca7830bf9187f705 +381, 0xa189dbff019ca64d +382, 0x82ad4b1f88491340 +383, 0x27262f1b70bcc1c7 +384, 0xaa52ad0b4cdc95b9 +385, 0x6898a6e5a791cca8 +386, 0x4c892bd369fb7c7c +387, 0x2c5040316ad789e4 +388, 0x25aceb42f6d853d4 +389, 0x8f3e09dd6e6fcacb +390, 0x35f4e10c7b4e29cf +391, 0x6156e9fcc26a6e83 +392, 0x8a8389e8a9c70fda +393, 0x81219b723a3dd912 +394, 0x631f0c99c62650e +395, 0x9cec1c4f650d6c4c +396, 0x1d3b402d466479aa +397, 0x6d2fc0877f6f8e46 +398, 0x2000b7178225c4c +399, 0xb01c45dca932ffb2 +400, 0x61f25ea549d3b3ef +401, 0xfc0733a134f7bb8c +402, 0xea3ab2a0cc6a366d +403, 0xe26bf2b8fe0db591 +404, 0x3186c9cdd8757ee3 +405, 0x9cb472c0c526cf7b +406, 0xdafe18916dbd33d2 +407, 0xe0b15a3aed330dec +408, 0x7079ae5641dd16cc +409, 0x49b6b9756c347b90 +410, 0xdda875fe11e94d34 +411, 0x8c77fb380278f362 +412, 0x602904b0cd3bc464 +413, 0xd2dc40f56fc531be +414, 0x753175bcc1a93ba0 +415, 0x333a71f4d2d756ea +416, 0x7b862ff73b46e03b +417, 0x9df539d017e9017e +418, 0x4113e5be11f63f2c +419, 0x422942050abc4fd6 +420, 0x737b754e2add8d6a +421, 0x313e6c1ecefdca96 +422, 0x5436d70ed2ee4cdd +423, 0x1db894fde99e34f6 +424, 0xd86bc0b79db9a96f +425, 0x9d904f0aca534217 +426, 0xfb14afbeabfc04df +427, 0x9c4ccba431333edb +428, 0xc7de0af1a5760939 +429, 0x735669225566ce71 +430, 0xf5815dabb0665733 +431, 0xf0a6b7c00d4d569 +432, 0x1448e6fe1432b7af +433, 0x2e0586f6c9e6e7b1 +434, 0x7b75aa00eb44d795 +435, 0x7ba5cfa018a44c87 +436, 0x5854a5f78e636c5e +437, 0xdcbe856037d0228e +438, 0xe8882d90f7259452 +439, 0xcb6ff056c4171c82 +440, 0x4a7bd2245f0e0e32 +441, 0x3e2a40308897a793 +442, 0xe404dfa4d3284167 +443, 0xab022bce6ad8cbc +444, 0xbb5a145064db9976 +445, 0xedd82ddea103ab7e +446, 0xcc906d55fb10a8cc +447, 0x63ba976a36e0cf56 +448, 0xb3ef5ad3129eedba +449, 0x409b01e4107e9dc4 +450, 0x41059d8141efd96e +451, 0x10bc4a29ac5cd941 +452, 0xe2fd0fb5c7787046 +453, 0xba24bd0f8d018cb3 +454, 0xc9cf71f73e6979f5 +455, 0xd79a917354d39e89 +456, 0x44fac8764c14e096 +457, 0x29c2cdcce0ce515c +458, 0x41c6704b232934ac +459, 0x2ace8d883c6ed401 +460, 0x76d37e5aa3c57f87 +461, 0xc7b7ae6275c47624 +462, 0x33e426b3e22bc96d +463, 0x77818a58fdc8b640 +464, 0x49c3b6b021037e35 +465, 0x8a941f067ca1c772 +466, 0x8dac8803caad398f +467, 0x2478a7f23abb4332 +468, 0x98ef79938ccc8b65 +469, 0xdddd5e6776f61726 +470, 0x8d9412cdc85ab90d +471, 0x901946d2c1a63b26 +472, 0xc93fbcced6bacc00 +473, 0xabc3dfbdcc9b8fc +474, 0x6b4ba01186620ec0 +475, 0xbb32573515ef782b +476, 0x174d712e47dc77ee +477, 0xd0528205819fe3ee +478, 0xab1f77e5dc7b0e95 +479, 0x7f86317fcf8bc84a +480, 0xa7806c55ff0b4f49 +481, 0xe8cdce88ac77263 +482, 0x2e497636f939d7c1 +483, 0x9ff5e2c32edc3ee +484, 0x71579e5276731bbf +485, 0x565c679f3f2eb61c +486, 0xc2a747df0c436c +487, 0xfc30f2f9d9489081 +488, 0x74548f1d9581fed5 +489, 0xb5819230ffd9afeb +490, 0x228ff1227ebe13cc +491, 0x38ac137ff54ff158 +492, 0x41ed776d549ca7da +493, 0xb4cfe4cc90297ff +494, 0x17988d6ed8190a5d +495, 0xe27817eb69723f90 +496, 0xbe1cee1533890e29 +497, 0x8ee48e99d9a74f22 +498, 0xa31a5dceb1db5438 +499, 0xeecbbf998e1c0d43 +500, 0x6f8e0b0b2b361b9b +501, 0x2a102fca177728ae +502, 0x55a27f350de42380 +503, 0xc45ace761d5cf37b +504, 0xe14d0182a002d8a6 +505, 0xc05841ad2de5d64 +506, 0xca6b7b7131476892 +507, 0xe4a92da10eada512 +508, 0xf7a33c11f8927959 +509, 0x7b47639e2bcd8c44 +510, 0xaed8ec8dc551d755 +511, 0xba4b5ffd28ad78b7 +512, 0xc30ddd4d1df6ce2b +513, 0xe1b9bd0020b56548 +514, 0x8f73edbced893634 +515, 0x738098d32669cab4 +516, 0x28c03717c5adc3c0 +517, 0xbc044ebe07a8f4f3 +518, 0xc3083814802950fb +519, 0x8639da9ccdd4068 +520, 0x2ac89cfb975e2c41 +521, 0x8e163ccdbc863461 +522, 0x4a60169f9a3648fe +523, 0x6694ab36d7d02548 +524, 0x6b4e5764db952413 +525, 0xbf842329b9a13bfa +526, 0x1c8639cae82e7d92 +527, 0xd5669e818fb34170 +528, 0x1f4df6bc59f9f6aa +529, 0x8b192245d457c5a0 +530, 0xdff62af9d9eb696d +531, 0x53dcf9276ae1ab0f +532, 0xc1c4052d4c9d3c16 +533, 0x5c5f7b33e6aa6e0e +534, 0x482c8e4be2a5d704 +535, 0xc5d1632e532ddf97 +536, 0x92a41d90396b49c6 +537, 0xf895429c172ec71c +538, 0xab3ed20fad9ae896 +539, 0xbecd1ee462ba9dee +540, 0x29e020d2bf854671 +541, 0x4a31b52b2b48d795 +542, 0x14b2c4bf2ff453a2 +543, 0xbd49a5992f3deac2 +544, 0xfe19fe4becf1b1c8 +545, 0xa90ede0ced2811cb +546, 0x409de5d1234b16fb +547, 0x4eb18dd87fdd6cd7 +548, 0x52387faf2214a168 +549, 0x18678b302a911d42 +550, 0x484ccf18cb491bbe +551, 0x8610462c7e48b54d +552, 0xb2b2712e35cc4282 +553, 0x754abdb493e3ce4f +554, 0x352745881ade5eea +555, 0x37d4c7cc6c238692 +556, 0xe7a8061b7c0259d2 +557, 0x187e5ee097b24be1 +558, 0x41af64f7cecc63e0 +559, 0x33612ca0ca35a2bf +560, 0xc8b652dc6cdd0829 +561, 0xd050306acf3314b4 +562, 0x7bb7c4114d5d2347 +563, 0xd583132ce17b2f9c +564, 0x1473fcb33448ece2 +565, 0x5f9d56e869d06300 +566, 0x45c27eae73dd6391 +567, 0x15164b3b33d2c145 +568, 0x32991907d6370c8 +569, 0x9445ff1373a9635b +570, 0xf33ffa711ebc9d97 +571, 0x38dc80e03d8badcf +572, 0xf346f6f42e3c396e +573, 0x47bae2fa3827f514 +574, 0xde0e4fc698e6a6d1 +575, 0xd26d4b4097367afd +576, 0x16dea3bef70fe858 +577, 0x226decb65f433fa0 +578, 0x2e4b7f4915de64c7 +579, 0x4f31a10935fcd415 +580, 0x5e3e420e134d2191 +581, 0x52bf5207327dfe09 +582, 0xd8c4ab9ec015b93a +583, 0x55154818bf1ca7c9 +584, 0xc121666af28dcc9a +585, 0x9904729e1a01bd3c +586, 0x6e9cae3d292339bc +587, 0xf6fb78d385e10840 +588, 0x8fb67f5e56ee1e0b +589, 0xba17083a33230c28 +590, 0x9994a47b97c3dc9f +591, 0x53391314bd23bebb +592, 0x9ad473ee0eacee3b +593, 0xaec807e5cb1f0f18 +594, 0x5d5838c5e16e82ba +595, 0x7c810095640d10df +596, 0x898b9da105d90061 +597, 0x9296de76fe275a73 +598, 0xb118361c5dad2c6d +599, 0x4b9051df7724b504 +600, 0xd91789023183a552 +601, 0xc35ca6285eea0aaf +602, 0xb6fb918229e8bb05 +603, 0x4f3f41b3fe26df66 +604, 0xb63885de73089f64 +605, 0xc55aad297e8db9cc +606, 0x7a5ebc6cbb977bf9 +607, 0x122478e8d6b4b5fa +608, 0x52f69dc782aba318 +609, 0xce068981160e9756 +610, 0x303897ea358b700b +611, 0x9963ff7db9effb75 +612, 0xa3e4224b2372dc4a +613, 0x68d78fde1f0b1e +614, 0xb895f75785c0ec92 +615, 0x3df2981af65f3be6 +616, 0x88b17d18c7584a58 +617, 0x560834beafb27138 +618, 0xfa1d9ee07edbf359 +619, 0xc27c98d528ba33f8 +620, 0x58873114fbc61614 +621, 0x3f8112bff34dd5fc +622, 0xbe7fbc694b26e7a1 +623, 0x323d8907780f85fb +624, 0x7e77f48feec1f69a +625, 0xf6d8ac3573ac4ba4 +626, 0xf013633aaba2cd2c +627, 0x5c3153cd6f9f2fd8 +628, 0x4c3ae3906dc4e92a +629, 0xd2f375cec67af24d +630, 0x31943d0c1139dced +631, 0x95ee9d16c2320163 +632, 0x1c0f03c058441f3b +633, 0xa4dd49a2abbb39a5 +634, 0xcf6c4c9c695783ec +635, 0xbb0ea4c9a55af9ac +636, 0xb6a7a4c82fb232d5 +637, 0xd090cc06191a5d2f +638, 0x653c0a506097397e +639, 0x5a5af47067bba201 +640, 0x23df206d3d6f105 +641, 0x8501560fac79fa17 +642, 0x2b95d59621a424c8 +643, 0xb20ca1d29061c6cd +644, 0x9824922790be5c12 +645, 0xdee7448af6c82ce +646, 0xb57c8ab1b2b0ddb1 +647, 0x9241c7effe12d339 +648, 0xf69967036e960af9 +649, 0xe2e14558fcf89166 +650, 0x23a16c73c276d451 +651, 0x9fdd05ed8828875b +652, 0xc3466fd3814d3253 +653, 0xdfc9c839dc99a11d +654, 0x16693a83f78664fe +655, 0x65da2039561d5402 +656, 0x20b0d78000a063fa +657, 0x6b1346e833500ca1 +658, 0x7aa4a72cf75d077b +659, 0x378c2101d36355d8 +660, 0x95910003849a5839 +661, 0x4ad588ff7fe780cc +662, 0xd64d44efcf333e82 +663, 0x2f16c1742dcd9e7 +664, 0xd52ee978f72d63c2 +665, 0xaebda4339041c968 +666, 0x909d2433eedf9e81 +667, 0x670d7dbb7420f9da +668, 0x2880a01109e20500 +669, 0x7b48c2a4e918f6a1 +670, 0xf38fac2caf78d1c +671, 0x426944a0a0fcca7f +672, 0x24331c63647d4d36 +673, 0xc8e11bd52e232844 +674, 0xe7fb6b0ccc6a867a +675, 0x5c797fb7a7603019 +676, 0x2f6b2971284d996a +677, 0x96a89cf3747fd01f +678, 0x9aaedf8572e12afe +679, 0xdf9e5a2214174223 +680, 0x163ed5bedfd06b59 +681, 0x6c45e87d73677bae +682, 0x97b415906449e5ce +683, 0x53f30cd13d0bca1c +684, 0x86b204c8a1775e1d +685, 0x7ab03915913dbaa3 +686, 0x30767dc8d5a8e96 +687, 0x4b4fd100a4d86d59 +688, 0x65a5dfabb1a06ea1 +689, 0x59632b7fec7ad10e +690, 0x2d436b149509d8 +691, 0x37a45927a3898861 +692, 0x396db74b149f86d4 +693, 0xa1fdf757db1de83 +694, 0x3a08d99d4a60dae3 +695, 0x9df8a778bfd97996 +696, 0xc7196b2c8db56799 +697, 0x9378d20ec50eeffb +698, 0xb9ecc104b558e25c +699, 0x2929a6ddc011e01d +700, 0x5c8e297d48eaa335 +701, 0x9e000149b1821081 +702, 0xa8d080481a874776 +703, 0xedb2e0fcc8695de1 +704, 0x31c38628250d2d1f +705, 0xd92b4c99893c21a0 +706, 0xa56a77e01dffa3e6 +707, 0xa607e4ebc9c39fb5 +708, 0x6c8f5f7df2cddeaa +709, 0x1180c33d565487aa +710, 0xf4c66f402b7c1a21 +711, 0x4bd81bbcbe186a4d +712, 0x623e742bf4cfc10c +713, 0x84074e36e58825dc +714, 0xaa70f6dfdd617ae3 +715, 0xe305ea5aaf5aea74 +716, 0xc4726917aa5914ec +717, 0x317bbc6430cf6442 +718, 0x5b8af46f34f146a2 +719, 0xe4552970afbf97bd +720, 0x20d7a393f8176838 +721, 0x5e4a65ab657c7d2b +722, 0x1e430b0ad9e6fe49 +723, 0xa51866b0155c88d4 +724, 0xf1e2cdf07c51638f +725, 0x50f57c27c4e00a44 +726, 0x23bd9255fbb896d0 +727, 0xa91748820079892f +728, 0xb4d156ae147d6fab +729, 0xb3a474a3480c38a9 +730, 0x45dbbb715f1e3085 +731, 0x585986863049a87c +732, 0x436045cd7d1a9172 +733, 0x236972e814d5a4d +734, 0x2249b5f676f29b8a +735, 0x67fdcd55de80a8a9 +736, 0xd4fe890341189ee6 +737, 0x70e1eac3eb0a498d +738, 0xce1c2beb72f7cff3 +739, 0x50d28189d52b5785 +740, 0x93c740175c287808 +741, 0xf29621c38e8a1044 +742, 0x32d50b2824a59d70 +743, 0x8d595966ab119908 +744, 0xa5750cc7ceb0823 +745, 0xbcdefc996aed9ceb +746, 0xc1d70bb5480e2778 +747, 0x942b3f26a50fec6d +748, 0xa7d4851f6990be3d +749, 0x4086348def6e7c11 +750, 0x18aa95009f903221 +751, 0x3010f2c49ca532ad +752, 0xe9e9b21cd5552b31 +753, 0xd90541d86fbd9566 +754, 0x9240f2d8ffffd945 +755, 0xc7815330b2fd5f62 +756, 0x89040a5ec01115f3 +757, 0x4da5e5bb136d77ec +758, 0xc6a489d50839194b +759, 0x37839dcfaa606c7f +760, 0x8177b7be1443adb8 +761, 0xf588b929a63b0790 +762, 0x900a6482fa22b6de +763, 0x845502c244d08f04 +764, 0xc0a8f114df2a3608 +765, 0x5e201627c73573b9 +766, 0xa371ef9c7fc8ac6c +767, 0xca8a07e82c615463 +768, 0xba00e6e8d1c033db +769, 0xcd76dbe8a10cf399 +770, 0x959fe93180800aec +771, 0x8e77fa85404e4cce +772, 0x7b34e8983b9be1b4 +773, 0x81c0125be3d132bf +774, 0xfdbc9bb181a67f5c +775, 0xf2d7962c98584eaa +776, 0x8922b4291b6d0d41 +777, 0xb8235b21de4093bf +778, 0xc94518b4e632edb7 +779, 0x757f43c099ff5783 +780, 0xc063132013dafb63 +781, 0xfd579036a7030019 +782, 0xa5f0638c9ead0004 +783, 0x7494b34172659deb +784, 0x481772ff25eadcfe +785, 0x72e37428f1e21d99 +786, 0x5cf98e5c40aa77e1 +787, 0xb3ce6c54df0aedf1 +788, 0xf00af8c613bcd8f8 +789, 0xd1237f23a07b0e3a +790, 0xa8fe00d99f32f731 +791, 0x8b85f312af567228 +792, 0xdc2515684772c84d +793, 0x7d11b82c9e31766f +794, 0xf09c8697b3ff95c4 +795, 0xd35ebc77a86212eb +796, 0xadb5a1e95afb5f6d +797, 0x6ed845ef3fcadff1 +798, 0xaeb029f4caacb130 +799, 0x7cce6f1bf0ed8e7c +800, 0x23b6201003d49e50 +801, 0x6dfbf0e3c21a03de +802, 0x4729d4f0e6a9240c +803, 0x40af60788c357e6 +804, 0xcd17f1e93dca508b +805, 0x24a823f6424d2821 +806, 0x35194e11b535d3ef +807, 0x948f055d9436932b +808, 0x4e733969108a5551 +809, 0x3c0816162700c63e +810, 0x7370a331ce8096a2 +811, 0xfcf5caf742e23baf +812, 0xe960bb3fe0308e95 +813, 0x8ef061808248efc7 +814, 0x16c6c5da0fcf1296 +815, 0x14a05c065cffe433 +816, 0x568dd4ba989a423 +817, 0xd20a156a56768914 +818, 0x9872a06bbf694ad8 +819, 0x8ac764e367433878 +820, 0x2453eb53416ca0c4 +821, 0xa59ef657a7de7140 +822, 0x43cb5c3119ddabac +823, 0x645ebee1c5d62133 +824, 0xacf017344a2a6031 +825, 0xc22ebb7b220dba01 +826, 0x9048e327d43fc69c +827, 0xca2319dcd6c49370 +828, 0x63844574971006d8 +829, 0x7ce248cd860d2997 +830, 0x4d5780b45f802359 +831, 0x99798ec46c6536c5 +832, 0x4a42d4a45bdc0a1c +833, 0x75f126405fa990ba +834, 0xa1cf7cf0ee32ac82 +835, 0x12b722bce6d8b9a6 +836, 0x85ace663a1f92677 +837, 0x5f0514135be46137 +838, 0xb86863169f76d2f4 +839, 0x1dfc6f087c8721df +840, 0xde984a38824ac47b +841, 0x249504789c3f7704 +842, 0xaab5d4d12f9df445 +843, 0x863caa50cd8764c9 +844, 0x24cf6ca7a6a8e5ab +845, 0xf293f7488a738c5d +846, 0x2936a321fe93cce5 +847, 0xf5b2504862ce0521 +848, 0x9d6f9350f3a2b4f3 +849, 0x5093102345eb9ef0 +850, 0x20aaace8135cecbb +851, 0x252a8e893ad79698 +852, 0x2c68c7a18c5bb936 +853, 0xf973af891f51cfc0 +854, 0xe5c661b55596bcfd +855, 0x98b08b4904602dbd +856, 0x9fcde37c43372b73 +857, 0xa5d05483d489e6ce +858, 0x8b359f723ae63264 +859, 0xadaa0de5bdbd2d33 +860, 0xa4976d2755a6096 +861, 0x7174d708c2537633 +862, 0x24d86478fd44e33e +863, 0x8a0abcdb74f29fcb +864, 0x1fbf39da74328bcd +865, 0x2c5973fdfcbbf09f +866, 0xe23b300ec45a7b8b +867, 0x69019e93b3633c1d +868, 0x749053f7f30d6029 +869, 0x84aa9ded82b4a5c1 +870, 0xb6bb6cb827d5bcb8 +871, 0x503002036e031d34 +872, 0xba06a59f171023a1 +873, 0x733ccfc01e97abba +874, 0xa34cc599a30202ea +875, 0x7581c12df8a4174 +876, 0x8ee2efea87ff8766 +877, 0x2cd79614de9ff639 +878, 0xb190669d3052a8f0 +879, 0x9f3d98c2c3fc3266 +880, 0x48555e89c5b6184e +881, 0x4b9c73be9c8e8ec2 +882, 0xeee8586bdb309974 +883, 0x823a9e3bb2741bbd +884, 0x94a1a50e42fed547 +885, 0x2d7fcb9382eb1ba1 +886, 0xece0e31c5bb89719 +887, 0x440c75600472ddb2 +888, 0x28990d7882d9563c +889, 0x4e9b55cfdbe05ae9 +890, 0x4dba7e062bc24994 +891, 0x71faedf4414cbab1 +892, 0xb12901b28a65ce11 +893, 0xc0834509da822274 +894, 0x7daf95e13d676f29 +895, 0x6bc8df584cd07431 +896, 0xc614bbb95c749cd6 +897, 0x11d888ab3d6e9f38 +898, 0x8f4b7c7b0bda401b +899, 0x5eae46c2079e6f7d +900, 0x9c6f616b61328d61 +901, 0x9415dd3fea046eeb +902, 0x2b04d5dc9a25c2b2 +903, 0x402fd8a16781cf56 +904, 0xdc0be7170faaf41e +905, 0x23d4fe72e8f2fa1d +906, 0x18909afc53a4bce1 +907, 0xc8cfb6a2c1f230bb +908, 0x8268ee65c393a138 +909, 0x9c6b4210f409a598 +910, 0xe3122eb7e28e1c8a +911, 0xe3f0903f892e2aee +912, 0xc51ead0ad0dd1fb8 +913, 0xb2e7343037d7e6f0 +914, 0x89376733a7d3d9b7 +915, 0x13e1f3b9da7cc130 +916, 0xe1911b0a3fa4089b +917, 0xfdc131f18d761b91 +918, 0x782dbb406f0453f9 +919, 0xa61c1d244fdbea55 +920, 0xa4d2ed4dfd8bf85a +921, 0x3459f746e0a71313 +922, 0xa4f67e188e38d8c9 +923, 0x271dd484aee01e22 +924, 0x1907c912ddab4c06 +925, 0xed295346066663cc +926, 0xbebf878973ec93bb +927, 0x464b6c605cf80b2f +928, 0x924f8c5d8af46c76 +929, 0x8a705a5045a54c51 +930, 0xbe630deef4598083 +931, 0x63a782885bf2ef56 +932, 0x5c408ad85ab683f8 +933, 0x5a35bf59ca6db7f0 +934, 0x995b786bc77fcae8 +935, 0x93ac6c1d806cfe6a +936, 0xdc8ad969faae9220 +937, 0x67eda7e6d2b41375 +938, 0x21d2eeb2f58da10e +939, 0x4209dff5fec899a2 +940, 0x1b30fe5b2d96eddd +941, 0x3959011cb1541a05 +942, 0xfd0400e18394ce3e +943, 0xfff052e033e0ce86 +944, 0x569bb5da57a3cf2e +945, 0x45e0ef9753a2731e +946, 0xf6c64d69371ef3ea +947, 0xff6e5d50e2b29841 +948, 0x57334a6acad31efd +949, 0x3f39b0989b465114 +950, 0x9bf7bda3bc70b5dd +951, 0x44adb420df4b19ae +952, 0xa32ca7df58be9881 +953, 0x1af3b91f5078f255 +954, 0x9b1c0f815dba0781 +955, 0x29a5f5869108b99f +956, 0x890ebd600b286b45 +957, 0x4fdbfbba80a094ba +958, 0xbb42ae41c9679296 +959, 0xf51a153b2e4ea0d2 +960, 0xcb01bcb495a01869 +961, 0x1005c4deb506d28e +962, 0x3e1213bfd6496f47 +963, 0x388f29b4151fb7aa +964, 0xe75b0d72872db802 +965, 0xc764bfae67627d2f +966, 0xb86fd279622fb937 +967, 0x3fc887ebd2afa4e6 +968, 0x850b7ec2436195dc +969, 0x11495c0c0e4d1d34 +970, 0xc98421a7c82ced +971, 0x8337132f8c2eea5a +972, 0x77eb95949a98f2f3 +973, 0xcb325cf4d527f0e3 +974, 0x483192546ec89241 +975, 0x957fba4dd4238c59 +976, 0x6b12c9edf75d9ac6 +977, 0x9e959f3749b97cc4 +978, 0x1d77ee83f6b337c1 +979, 0xf6cf70e9db6bee2a +980, 0x87155a5e5746a82b +981, 0x552b032dc590447e +982, 0xbb939df7cb2dc42d +983, 0x1db106ff15b953c7 +984, 0xcee301b609e43399 +985, 0xe9babbea0fc4b81c +986, 0x8ea4ec5562e67027 +987, 0x422d3637cfb0c29 +988, 0x534c6604cd9cc6c +989, 0x301f4f55a0fdac48 +990, 0xf6c4cc1ea05c27a5 +991, 0xa1f4a4d5b999fbb1 +992, 0x343425e806758ccd +993, 0x9641ccb506ca4b0f +994, 0xa94166fa9641d3f5 +995, 0xf344ca329bff56e1 +996, 0xbc49cac1233860fb +997, 0x9087c97dba7f230 +998, 0xf2acda7714a3d1f6 +999, 0x4d076fb8ea7d9b9a diff --git a/numpy/random/randomgen/tests/test_direct.py b/numpy/random/randomgen/tests/test_direct.py index 5bfc872cb188..6e856de414cb 100644 --- a/numpy/random/randomgen/tests/test_direct.py +++ b/numpy/random/randomgen/tests/test_direct.py @@ -9,7 +9,7 @@ from ...randomgen import RandomGenerator, MT19937, DSFMT, ThreeFry32, ThreeFry, \ PCG32, PCG64, Philox, Xoroshiro128, Xorshift1024, Xoshiro256StarStar, \ - Xoshiro512StarStar + Xoshiro512StarStar, RandomState from ...randomgen.common import interface try: @@ -51,14 +51,6 @@ def uniform32_from_uint64(x): out = (joined >> np.uint32(9)) * (1.0 / 2 ** 23) return out.astype(np.float32) - -def uniform32_from_uint63(x): - x = np.uint64(x) - x = np.uint32(x >> np.uint64(32)) - out = (x >> np.uint32(9)) * (1.0 / 2 ** 23) - return out.astype(np.float32) - - def uniform32_from_uint53(x): x = np.uint64(x) >> np.uint64(16) x = np.uint32(x & np.uint64(0xffffffff)) @@ -73,8 +65,6 @@ def uniform32_from_uint32(x): def uniform32_from_uint(x, bits): if bits == 64: return uniform32_from_uint64(x) - elif bits == 63: - return uniform32_from_uint63(x) elif bits == 53: return uniform32_from_uint53(x) elif bits == 32: @@ -102,16 +92,6 @@ def uniform_from_uint32(x): out[i // 2] = (a * 67108864.0 + b) / 9007199254740992.0 return out - -def uint64_from_uint63(x): - out = np.empty(len(x) // 2, dtype=np.uint64) - for i in range(0, len(x), 2): - a = x[i] & np.uint64(0xffffffff00000000) - b = x[i + 1] >> np.uint64(32) - out[i // 2] = a | b - return out - - def uniform_from_dsfmt(x): return x.view(np.double) - 1.0 @@ -185,15 +165,14 @@ def test_random_raw(self): uints = brng.random_raw(1000, output=False) assert uints is None - @pytest.mark.skip(reason='Polar transform no longer supported') def test_gauss_inv(self): n = 25 - rs = RandomGenerator(self.brng(*self.data1['seed'])) + rs = RandomState(self.brng(*self.data1['seed'])) gauss = rs.standard_normal(n) assert_allclose(gauss, gauss_from_uint(self.data1['data'], n, self.bits)) - rs = RandomGenerator(self.brng(*self.data2['seed'])) + rs = RandomState(self.brng(*self.data2['seed'])) gauss = rs.standard_normal(25) assert_allclose(gauss, gauss_from_uint(self.data2['data'], n, self.bits)) @@ -548,15 +527,14 @@ def test_uniform_double(self): assert_equal(uniform_from_dsfmt(self.data2['data']), rs.random_sample(1000)) - @pytest.mark.skip(reason='Polar transform no longer supported') def test_gauss_inv(self): n = 25 - rs = RandomGenerator(self.brng(*self.data1['seed'])) + rs = RandomState(self.brng(*self.data1['seed'])) gauss = rs.standard_normal(n) assert_allclose(gauss, gauss_from_uint(self.data1['data'], n, 'dsfmt')) - rs = RandomGenerator(self.brng(*self.data2['seed'])) + rs = RandomState(self.brng(*self.data2['seed'])) gauss = rs.standard_normal(25) assert_allclose(gauss, gauss_from_uint(self.data2['data'], n, 'dsfmt')) diff --git a/numpy/random/randomgen/tests/test_randomstate.py b/numpy/random/randomgen/tests/test_randomstate.py index 371be78de5bf..167d1b0aa545 100644 --- a/numpy/random/randomgen/tests/test_randomstate.py +++ b/numpy/random/randomgen/tests/test_randomstate.py @@ -1,5 +1,6 @@ -import warnings import pickle +import sys +import warnings import numpy as np from numpy.testing import ( @@ -7,7 +8,6 @@ assert_no_warnings, assert_array_equal, assert_array_almost_equal, suppress_warnings ) -import sys from ...randomgen import MT19937, Xoshiro256StarStar, mtrand as random