Gitiles
Code Review Sign In
review.blissroms.org / platform_external_arm-optimized-routines / refs/heads/q / . / math / exp_data.c
blob: cba76832566f04cc100bd153da745a6a57d30faf [file] [log] [blame]
Szabolcs Nagy872aa772018-04-27 16:17:24 +0100[diff] [blame]1/*
2 * Shared data between exp, exp2 and pow.
3 *
4 * Copyright (c) 2018, Arm Limited.
Szabolcs Nagy11253b02018-11-12 11:10:57 +0000[diff] [blame]5 * SPDX-License-Identifier: MIT
Szabolcs Nagy872aa772018-04-27 16:17:24 +0100[diff] [blame]6 */
7
8#include "math_config.h"
9
10#define N (1 << EXP_TABLE_BITS)
11
12const struct exp_data __exp_data = {
13// N/ln2
14.invln2N = 0x1.71547652b82fep0 * N,
15// -ln2/N
16#if N == 64
17.negln2hiN = -0x1.62e42fefa0000p-7,
18.negln2loN = -0x1.cf79abc9e3b3ap-46,
19#elif N == 128
20.negln2hiN = -0x1.62e42fefa0000p-8,
21.negln2loN = -0x1.cf79abc9e3b3ap-47,
22#elif N == 256
23.negln2hiN = -0x1.62e42fefc0000p-9,
24.negln2loN = 0x1.c610ca86c3899p-45,
25#elif N == 512
26.negln2hiN = -0x1.62e42fef80000p-10,
27.negln2loN = -0x1.1cf79abc9e3b4p-45,
28#endif
29// Used for rounding when !TOINT_INTRINSICS
30#if EXP_USE_TOINT_NARROW
31.shift = 0x1800000000.8p0,
32#else
33.shift = 0x1.8p52,
34#endif
35// exp polynomial coefficients.
36.poly = {
37#if N == 64 && EXP_POLY_ORDER == 5 && !EXP_POLY_WIDE
38// abs error: 1.5543*2^-60
39// ulp error: 0.529 (0.533 without fma)
40// if |x| < ln2/128+eps
41// abs error if |x| < ln2/64: 1.7157*2^-50
420x1.fffffffffdbcdp-2,
430x1.555555555444cp-3,
440x1.555573c6a9f7dp-5,
450x1.1111266d28935p-7,
46#elif N == 64 && EXP_POLY_ORDER == 6 && EXP_POLY_WIDE
47// abs error: 1.6735*2^-64
48// ulp error: 0.518 (0.522 without fma)
49// if |x| < ln2/64
500x1.5555555548f9ap-3,
510x1.555555554bf5dp-5,
520x1.11115b75f0f4dp-7,
530x1.6c171a6b6303ep-10,
54#elif N == 128 && EXP_POLY_ORDER == 5 && !EXP_POLY_WIDE
55// abs error: 1.555*2^-66
56// ulp error: 0.509 (0.511 without fma)
57// if |x| < ln2/256+eps
Szabolcs Nagy2117b832018-06-14 10:54:06 +0100[diff] [blame]58// abs error if |x| < ln2/256+0x1p-15: 1.09*2^-65
Szabolcs Nagy872aa772018-04-27 16:17:24 +0100[diff] [blame]59// abs error if |x| < ln2/128: 1.7145*2^-56
600x1.ffffffffffdbdp-2,
610x1.555555555543cp-3,
620x1.55555cf172b91p-5,
630x1.1111167a4d017p-7,
64#elif N == 128 && EXP_POLY_ORDER == 5 && EXP_POLY_WIDE
65// abs error: 1.5542*2^-60
66// ulp error: 0.521 (0.523 without fma)
67// if |x| < ln2/128
680x1.fffffffffdbcep-2,
690x1.55555555543c2p-3,
700x1.555573c64f2e3p-5,
710x1.111126b4eff73p-7,
72#elif N == 128 && EXP_POLY_ORDER == 6 && EXP_POLY_WIDE
73// abs error: 1.6861*2^-71
74// ulp error: 0.509 (0.511 without fma)
75// if |x| < ln2/128
760x1.55555555548fdp-3,
770x1.555555555658fp-5,
780x1.111123a859bb6p-7,
790x1.6c16ba6920cabp-10,
80#elif N == 256 && EXP_POLY_ORDER == 4 && !EXP_POLY_WIDE
81// abs error: 1.43*2^-58
82// ulp error: 0.549 (0.550 without fma)
83// if |x| < ln2/512
840x1p0, // unused
850x1.fffffffffffd4p-2,
860x1.5555571d6ef9p-3,
870x1.5555576a5adcep-5,
88#elif N == 256 && EXP_POLY_ORDER == 5 && EXP_POLY_WIDE
89// abs error: 1.5547*2^-66
90// ulp error: 0.505 (0.506 without fma)
91// if |x| < ln2/256
920x1.ffffffffffdbdp-2,
930x1.555555555543cp-3,
940x1.55555cf16e1edp-5,
950x1.1111167a4b553p-7,
96#elif N == 512 && EXP_POLY_ORDER == 4 && !EXP_POLY_WIDE
97// abs error: 1.4300*2^-63
98// ulp error: 0.504
99// if |x| < ln2/1024
100// abs error if |x| < ln2/512: 1.0689*2^-55
1010x1p0, // unused
1020x1.ffffffffffffdp-2,
1030x1.555555c75bb6p-3,
1040x1.555555dec04a8p-5,
105#endif
106},
107.exp2_shift = 0x1.8p52 / N,
108// exp2 polynomial coefficients.
109.exp2_poly = {
110#if N == 64 && EXP2_POLY_ORDER == 6 && EXP2_POLY_WIDE
111// abs error: 1.3054*2^-63
112// ulp error: 0.515
113// if |x| < 1/64
1140x1.62e42fefa39efp-1,
1150x1.ebfbdff82c58fp-3,
1160x1.c6b08d7045cf1p-5,
1170x1.3b2ab6fb8fd0ep-7,
1180x1.5d884afec48d7p-10,
1190x1.43097dc684ae1p-13,
120#elif N == 128 && EXP2_POLY_ORDER == 5 && !EXP2_POLY_WIDE
121// abs error: 1.2195*2^-65
122// ulp error: 0.507 (0.511 without fma)
123// if |x| < 1/256
124// abs error if |x| < 1/128: 1.9941*2^-56
1250x1.62e42fefa39efp-1,
1260x1.ebfbdff82c424p-3,
1270x1.c6b08d70cf4b5p-5,
1280x1.3b2abd24650ccp-7,
1290x1.5d7e09b4e3a84p-10,
130#elif N == 256 && EXP2_POLY_ORDER == 5 && EXP2_POLY_WIDE
131// abs error: 1.2195*2^-65
132// ulp error: 0.504 (0.508 without fma)
133// if |x| < 1/256
1340x1.62e42fefa39efp-1,
1350x1.ebfbdff82c424p-3,
1360x1.c6b08d70cf4b5p-5,
1370x1.3b2abd24650ccp-7,
1380x1.5d7e09b4e3a84p-10,
139#elif N == 512 && EXP2_POLY_ORDER == 4 && !EXP2_POLY_WIDE
140// abs error: 1.4411*2^-64
141// ulp error: 0.5024 (0.5063 without fma)
142// if |x| < 1/1024
143// abs error if |x| < 1/512: 1.9430*2^-56
1440x1.62e42fefa39ecp-1,
1450x1.ebfbdff82c58bp-3,
1460x1.c6b08e46de41fp-5,
1470x1.3b2ab786ee1dap-7,
148#endif
149},
150// 2^(k/N) ~= H[k]*(1 + T[k]) for int k in [0,N)
151// tab[2*k] = asuint64(T[k])
152// tab[2*k+1] = asuint64(H[k]) - (k << 52)/N
153.tab = {
154#if N == 64
1550x0, 0x3ff0000000000000,
1560xbc7160139cd8dc5d, 0x3fefec9a3e778061,
1570x3c8cd2523567f613, 0x3fefd9b0d3158574,
1580x3c60f74e61e6c861, 0x3fefc74518759bc8,
1590x3c979aa65d837b6d, 0x3fefb5586cf9890f,
1600x3c3ebe3d702f9cd1, 0x3fefa3ec32d3d1a2,
1610xbc9556522a2fbd0e, 0x3fef9301d0125b51,
1620xbc91c923b9d5f416, 0x3fef829aaea92de0,
1630xbc801b15eaa59348, 0x3fef72b83c7d517b,
1640x3c8b898c3f1353bf, 0x3fef635beb6fcb75,
1650x3c9aecf73e3a2f60, 0x3fef54873168b9aa,
1660x3c8a6f4144a6c38d, 0x3fef463b88628cd6,
1670x3c968efde3a8a894, 0x3fef387a6e756238,
1680x3c80472b981fe7f2, 0x3fef2b4565e27cdd,
1690x3c82f7e16d09ab31, 0x3fef1e9df51fdee1,
1700x3c8b3782720c0ab4, 0x3fef1285a6e4030b,
1710x3c834d754db0abb6, 0x3fef06fe0a31b715,
1720x3c8fdd395dd3f84a, 0x3feefc08b26416ff,
1730xbc924aedcc4b5068, 0x3feef1a7373aa9cb,
1740xbc71d1e83e9436d2, 0x3feee7db34e59ff7,
1750x3c859f48a72a4c6d, 0x3feedea64c123422,
1760xbc58a78f4817895b, 0x3feed60a21f72e2a,
1770x3c4363ed60c2ac11, 0x3feece086061892d,
1780x3c6ecce1daa10379, 0x3feec6a2b5c13cd0,
1790x3c7690cebb7aafb0, 0x3feebfdad5362a27,
1800xbc8f94340071a38e, 0x3feeb9b2769d2ca7,
1810xbc78dec6bd0f385f, 0x3feeb42b569d4f82,
1820x3c93350518fdd78e, 0x3feeaf4736b527da,
1830x3c9063e1e21c5409, 0x3feeab07dd485429,
1840x3c9432e62b64c035, 0x3feea76f15ad2148,
1850xbc8c33c53bef4da8, 0x3feea47eb03a5585,
1860xbc93cedd78565858, 0x3feea23882552225,
1870xbc93b3efbf5e2228, 0x3feea09e667f3bcd,
1880xbc6367efb86da9ee, 0x3fee9fb23c651a2f,
1890xbc781f647e5a3ecf, 0x3fee9f75e8ec5f74,
1900xbc8619321e55e68a, 0x3fee9feb564267c9,
1910xbc7b32dcb94da51d, 0x3feea11473eb0187,
1920x3c65ebe1abd66c55, 0x3feea2f336cf4e62,
1930xbc9369b6f13b3734, 0x3feea589994cce13,
1940xbc94d450d872576e, 0x3feea8d99b4492ed,
1950x3c8db72fc1f0eab4, 0x3feeace5422aa0db,
1960x3c7bf68359f35f44, 0x3feeb1ae99157736,
1970xbc5da9b88b6c1e29, 0x3feeb737b0cdc5e5,
1980xbc92434322f4f9aa, 0x3feebd829fde4e50,
1990x3c71affc2b91ce27, 0x3feec49182a3f090,
2000xbc87c50422622263, 0x3feecc667b5de565,
2010xbc91bbd1d3bcbb15, 0x3feed503b23e255d,
2020x3c8469846e735ab3, 0x3feede6b5579fdbf,
2030x3c8c1a7792cb3387, 0x3feee89f995ad3ad,
2040xbc55c3d956dcaeba, 0x3feef3a2b84f15fb,
2050xbc68d6f438ad9334, 0x3feeff76f2fb5e47,
2060x3c74ffd70a5fddcd, 0x3fef0c1e904bc1d2,
2070x3c736eae30af0cb3, 0x3fef199bdd85529c,
2080x3c84e08fd10959ac, 0x3fef27f12e57d14b,
2090x3c676b2c6c921968, 0x3fef3720dcef9069,
2100xbc8fad5d3ffffa6f, 0x3fef472d4a07897c,
2110x3c74a385a63d07a7, 0x3fef5818dcfba487,
2120x3c8e5a50d5c192ac, 0x3fef69e603db3285,
2130xbc82d52107b43e1f, 0x3fef7c97337b9b5f,
2140x3c74b604603a88d3, 0x3fef902ee78b3ff6,
2150xbc8ff7128fd391f0, 0x3fefa4afa2a490da,
2160x3c8ec3bc41aa2008, 0x3fefba1bee615a27,
2170x3c8a64a931d185ee, 0x3fefd0765b6e4540,
2180x3c77893b4d91cd9d, 0x3fefe7c1819e90d8,
219#elif N == 128
2200x0, 0x3ff0000000000000,
2210x3c9b3b4f1a88bf6e, 0x3feff63da9fb3335,
2220xbc7160139cd8dc5d, 0x3fefec9a3e778061,
2230xbc905e7a108766d1, 0x3fefe315e86e7f85,
2240x3c8cd2523567f613, 0x3fefd9b0d3158574,
2250xbc8bce8023f98efa, 0x3fefd06b29ddf6de,
2260x3c60f74e61e6c861, 0x3fefc74518759bc8,
2270x3c90a3e45b33d399, 0x3fefbe3ecac6f383,
2280x3c979aa65d837b6d, 0x3fefb5586cf9890f,
2290x3c8eb51a92fdeffc, 0x3fefac922b7247f7,
2300x3c3ebe3d702f9cd1, 0x3fefa3ec32d3d1a2,
2310xbc6a033489906e0b, 0x3fef9b66affed31b,
2320xbc9556522a2fbd0e, 0x3fef9301d0125b51,
2330xbc5080ef8c4eea55, 0x3fef8abdc06c31cc,
2340xbc91c923b9d5f416, 0x3fef829aaea92de0,
2350x3c80d3e3e95c55af, 0x3fef7a98c8a58e51,
2360xbc801b15eaa59348, 0x3fef72b83c7d517b,
2370xbc8f1ff055de323d, 0x3fef6af9388c8dea,
2380x3c8b898c3f1353bf, 0x3fef635beb6fcb75,
2390xbc96d99c7611eb26, 0x3fef5be084045cd4,
2400x3c9aecf73e3a2f60, 0x3fef54873168b9aa,
2410xbc8fe782cb86389d, 0x3fef4d5022fcd91d,
2420x3c8a6f4144a6c38d, 0x3fef463b88628cd6,
2430x3c807a05b0e4047d, 0x3fef3f49917ddc96,
2440x3c968efde3a8a894, 0x3fef387a6e756238,
2450x3c875e18f274487d, 0x3fef31ce4fb2a63f,
2460x3c80472b981fe7f2, 0x3fef2b4565e27cdd,
2470xbc96b87b3f71085e, 0x3fef24dfe1f56381,
2480x3c82f7e16d09ab31, 0x3fef1e9df51fdee1,
2490xbc3d219b1a6fbffa, 0x3fef187fd0dad990,
2500x3c8b3782720c0ab4, 0x3fef1285a6e4030b,
2510x3c6e149289cecb8f, 0x3fef0cafa93e2f56,
2520x3c834d754db0abb6, 0x3fef06fe0a31b715,
2530x3c864201e2ac744c, 0x3fef0170fc4cd831,
2540x3c8fdd395dd3f84a, 0x3feefc08b26416ff,
2550xbc86a3803b8e5b04, 0x3feef6c55f929ff1,
2560xbc924aedcc4b5068, 0x3feef1a7373aa9cb,
2570xbc9907f81b512d8e, 0x3feeecae6d05d866,
2580xbc71d1e83e9436d2, 0x3feee7db34e59ff7,
2590xbc991919b3ce1b15, 0x3feee32dc313a8e5,
2600x3c859f48a72a4c6d, 0x3feedea64c123422,
2610xbc9312607a28698a, 0x3feeda4504ac801c,
2620xbc58a78f4817895b, 0x3feed60a21f72e2a,
2630xbc7c2c9b67499a1b, 0x3feed1f5d950a897,
2640x3c4363ed60c2ac11, 0x3feece086061892d,
2650x3c9666093b0664ef, 0x3feeca41ed1d0057,
2660x3c6ecce1daa10379, 0x3feec6a2b5c13cd0,
2670x3c93ff8e3f0f1230, 0x3feec32af0d7d3de,
2680x3c7690cebb7aafb0, 0x3feebfdad5362a27,
2690x3c931dbdeb54e077, 0x3feebcb299fddd0d,
2700xbc8f94340071a38e, 0x3feeb9b2769d2ca7,
2710xbc87deccdc93a349, 0x3feeb6daa2cf6642,
2720xbc78dec6bd0f385f, 0x3feeb42b569d4f82,
2730xbc861246ec7b5cf6, 0x3feeb1a4ca5d920f,
2740x3c93350518fdd78e, 0x3feeaf4736b527da,
2750x3c7b98b72f8a9b05, 0x3feead12d497c7fd,
2760x3c9063e1e21c5409, 0x3feeab07dd485429,
2770x3c34c7855019c6ea, 0x3feea9268a5946b7,
2780x3c9432e62b64c035, 0x3feea76f15ad2148,
2790xbc8ce44a6199769f, 0x3feea5e1b976dc09,
2800xbc8c33c53bef4da8, 0x3feea47eb03a5585,
2810xbc845378892be9ae, 0x3feea34634ccc320,
2820xbc93cedd78565858, 0x3feea23882552225,
2830x3c5710aa807e1964, 0x3feea155d44ca973,
2840xbc93b3efbf5e2228, 0x3feea09e667f3bcd,
2850xbc6a12ad8734b982, 0x3feea012750bdabf,
2860xbc6367efb86da9ee, 0x3fee9fb23c651a2f,
2870xbc80dc3d54e08851, 0x3fee9f7df9519484,
2880xbc781f647e5a3ecf, 0x3fee9f75e8ec5f74,
2890xbc86ee4ac08b7db0, 0x3fee9f9a48a58174,
2900xbc8619321e55e68a, 0x3fee9feb564267c9,
2910x3c909ccb5e09d4d3, 0x3feea0694fde5d3f,
2920xbc7b32dcb94da51d, 0x3feea11473eb0187,
2930x3c94ecfd5467c06b, 0x3feea1ed0130c132,
2940x3c65ebe1abd66c55, 0x3feea2f336cf4e62,
2950xbc88a1c52fb3cf42, 0x3feea427543e1a12,
2960xbc9369b6f13b3734, 0x3feea589994cce13,
2970xbc805e843a19ff1e, 0x3feea71a4623c7ad,
2980xbc94d450d872576e, 0x3feea8d99b4492ed,
2990x3c90ad675b0e8a00, 0x3feeaac7d98a6699,
3000x3c8db72fc1f0eab4, 0x3feeace5422aa0db,
3010xbc65b6609cc5e7ff, 0x3feeaf3216b5448c,
3020x3c7bf68359f35f44, 0x3feeb1ae99157736,
3030xbc93091fa71e3d83, 0x3feeb45b0b91ffc6,
3040xbc5da9b88b6c1e29, 0x3feeb737b0cdc5e5,
3050xbc6c23f97c90b959, 0x3feeba44cbc8520f,
3060xbc92434322f4f9aa, 0x3feebd829fde4e50,
3070xbc85ca6cd7668e4b, 0x3feec0f170ca07ba,
3080x3c71affc2b91ce27, 0x3feec49182a3f090,
3090x3c6dd235e10a73bb, 0x3feec86319e32323,
3100xbc87c50422622263, 0x3feecc667b5de565,
3110x3c8b1c86e3e231d5, 0x3feed09bec4a2d33,
3120xbc91bbd1d3bcbb15, 0x3feed503b23e255d,
3130x3c90cc319cee31d2, 0x3feed99e1330b358,
3140x3c8469846e735ab3, 0x3feede6b5579fdbf,
3150xbc82dfcd978e9db4, 0x3feee36bbfd3f37a,
3160x3c8c1a7792cb3387, 0x3feee89f995ad3ad,
3170xbc907b8f4ad1d9fa, 0x3feeee07298db666,
3180xbc55c3d956dcaeba, 0x3feef3a2b84f15fb,
3190xbc90a40e3da6f640, 0x3feef9728de5593a,
3200xbc68d6f438ad9334, 0x3feeff76f2fb5e47,
3210xbc91eee26b588a35, 0x3fef05b030a1064a,
3220x3c74ffd70a5fddcd, 0x3fef0c1e904bc1d2,
3230xbc91bdfbfa9298ac, 0x3fef12c25bd71e09,
3240x3c736eae30af0cb3, 0x3fef199bdd85529c,
3250x3c8ee3325c9ffd94, 0x3fef20ab5fffd07a,
3260x3c84e08fd10959ac, 0x3fef27f12e57d14b,
3270x3c63cdaf384e1a67, 0x3fef2f6d9406e7b5,
3280x3c676b2c6c921968, 0x3fef3720dcef9069,
3290xbc808a1883ccb5d2, 0x3fef3f0b555dc3fa,
3300xbc8fad5d3ffffa6f, 0x3fef472d4a07897c,
3310xbc900dae3875a949, 0x3fef4f87080d89f2,
3320x3c74a385a63d07a7, 0x3fef5818dcfba487,
3330xbc82919e2040220f, 0x3fef60e316c98398,
3340x3c8e5a50d5c192ac, 0x3fef69e603db3285,
3350x3c843a59ac016b4b, 0x3fef7321f301b460,
3360xbc82d52107b43e1f, 0x3fef7c97337b9b5f,
3370xbc892ab93b470dc9, 0x3fef864614f5a129,
3380x3c74b604603a88d3, 0x3fef902ee78b3ff6,
3390x3c83c5ec519d7271, 0x3fef9a51fbc74c83,
3400xbc8ff7128fd391f0, 0x3fefa4afa2a490da,
3410xbc8dae98e223747d, 0x3fefaf482d8e67f1,
3420x3c8ec3bc41aa2008, 0x3fefba1bee615a27,
3430x3c842b94c3a9eb32, 0x3fefc52b376bba97,
3440x3c8a64a931d185ee, 0x3fefd0765b6e4540,
3450xbc8e37bae43be3ed, 0x3fefdbfdad9cbe14,
3460x3c77893b4d91cd9d, 0x3fefe7c1819e90d8,
3470x3c5305c14160cc89, 0x3feff3c22b8f71f1,
348#elif N == 256
3490x0, 0x3ff0000000000000,
3500xbc84e82fc61851ac, 0x3feffb1afa5abcbf,
3510x3c9b3b4f1a88bf6e, 0x3feff63da9fb3335,
3520xbc82985dd8521d32, 0x3feff168143b0281,
3530xbc7160139cd8dc5d, 0x3fefec9a3e778061,
3540x3c651e617061bfbd, 0x3fefe7d42e11bbcc,
3550xbc905e7a108766d1, 0x3fefe315e86e7f85,
3560x3c845fad437fa426, 0x3fefde5f72f654b1,
3570x3c8cd2523567f613, 0x3fefd9b0d3158574,
3580xbc954529642b232f, 0x3fefd50a0e3c1f89,
3590xbc8bce8023f98efa, 0x3fefd06b29ddf6de,
3600x3c8293708ef5c32e, 0x3fefcbd42b72a836,
3610x3c60f74e61e6c861, 0x3fefc74518759bc8,
3620xbc95b9280905b2a4, 0x3fefc2bdf66607e0,
3630x3c90a3e45b33d399, 0x3fefbe3ecac6f383,
3640x3c84f31f32c4b7e7, 0x3fefb9c79b1f3919,
3650x3c979aa65d837b6d, 0x3fefb5586cf9890f,
3660x3c9407fb30d06420, 0x3fefb0f145e46c85,
3670x3c8eb51a92fdeffc, 0x3fefac922b7247f7,
3680xbc9a5d04b3b9911b, 0x3fefa83b23395dec,
3690x3c3ebe3d702f9cd1, 0x3fefa3ec32d3d1a2,
3700xbc937a01f0739546, 0x3fef9fa55fdfa9c5,
3710xbc6a033489906e0b, 0x3fef9b66affed31b,
3720x3c8b8268b04ef0a5, 0x3fef973028d7233e,
3730xbc9556522a2fbd0e, 0x3fef9301d0125b51,
3740xbc9ac46e44a2ebcc, 0x3fef8edbab5e2ab6,
3750xbc5080ef8c4eea55, 0x3fef8abdc06c31cc,
3760xbc65704e90c9f860, 0x3fef86a814f204ab,
3770xbc91c923b9d5f416, 0x3fef829aaea92de0,
3780xbc897cea57e46280, 0x3fef7e95934f312e,
3790x3c80d3e3e95c55af, 0x3fef7a98c8a58e51,
3800x3c56f01429e2b9d2, 0x3fef76a45471c3c2,
3810xbc801b15eaa59348, 0x3fef72b83c7d517b,
3820x3c6e653b2459034b, 0x3fef6ed48695bbc0,
3830xbc8f1ff055de323d, 0x3fef6af9388c8dea,
3840x3c92cc7ea345b7dc, 0x3fef672658375d2f,
3850x3c8b898c3f1353bf, 0x3fef635beb6fcb75,
3860x3c957bfb2876ea9e, 0x3fef5f99f8138a1c,
3870xbc96d99c7611eb26, 0x3fef5be084045cd4,
3880x3c8cdc1873af2155, 0x3fef582f95281c6b,
3890x3c9aecf73e3a2f60, 0x3fef54873168b9aa,
3900xbc9493684653a131, 0x3fef50e75eb44027,
3910xbc8fe782cb86389d, 0x3fef4d5022fcd91d,
3920xbc98e2899077520a, 0x3fef49c18438ce4d,
3930x3c8a6f4144a6c38d, 0x3fef463b88628cd6,
3940x3c9120fcd4f59273, 0x3fef42be3578a819,
3950x3c807a05b0e4047d, 0x3fef3f49917ddc96,
3960x3c89b788c188c9b8, 0x3fef3bdda27912d1,
3970x3c968efde3a8a894, 0x3fef387a6e756238,
3980x3c877afbca90ef84, 0x3fef351ffb82140a,
3990x3c875e18f274487d, 0x3fef31ce4fb2a63f,
4000x3c91512f082876ee, 0x3fef2e85711ece75,
4010x3c80472b981fe7f2, 0x3fef2b4565e27cdd,
4020x3c9a02f0c7d75ec6, 0x3fef280e341ddf29,
4030xbc96b87b3f71085e, 0x3fef24dfe1f56381,
4040xbc803297e78260bf, 0x3fef21ba7591bb70,
4050x3c82f7e16d09ab31, 0x3fef1e9df51fdee1,
4060xbc95b77e5ccd9fbf, 0x3fef1b8a66d10f13,
4070xbc3d219b1a6fbffa, 0x3fef187fd0dad990,
4080xbc91e75c40b4251e, 0x3fef157e39771b2f,
4090x3c8b3782720c0ab4, 0x3fef1285a6e4030b,
4100x3c98a911f1f7785a, 0x3fef0f961f641589,
4110x3c6e149289cecb8f, 0x3fef0cafa93e2f56,
4120xbc61e7c998db7dbb, 0x3fef09d24abd886b,
4130x3c834d754db0abb6, 0x3fef06fe0a31b715,
4140x3c85425c11faadf4, 0x3fef0432edeeb2fd,
4150x3c864201e2ac744c, 0x3fef0170fc4cd831,
4160xbc979517a03e2847, 0x3feefeb83ba8ea32,
4170x3c8fdd395dd3f84a, 0x3feefc08b26416ff,
4180xbc800e2a46da4bee, 0x3feef96266e3fa2d,
4190xbc86a3803b8e5b04, 0x3feef6c55f929ff1,
4200xbc87430803972b34, 0x3feef431a2de883b,
4210xbc924aedcc4b5068, 0x3feef1a7373aa9cb,
4220xbc954de30ae02d94, 0x3feeef26231e754a,
4230xbc9907f81b512d8e, 0x3feeecae6d05d866,
4240xbc94f2487e1c03ec, 0x3feeea401b7140ef,
4250xbc71d1e83e9436d2, 0x3feee7db34e59ff7,
4260x3c914a5432fcb2f4, 0x3feee57fbfec6cf4,
4270xbc991919b3ce1b15, 0x3feee32dc313a8e5,
4280x3c79c3bba5562a2f, 0x3feee0e544ede173,
4290x3c859f48a72a4c6d, 0x3feedea64c123422,
4300xbc85a71612e21658, 0x3feedc70df1c5175,
4310xbc9312607a28698a, 0x3feeda4504ac801c,
4320x3c86421f6f1d24d6, 0x3feed822c367a024,
4330xbc58a78f4817895b, 0x3feed60a21f72e2a,
4340xbc9348a6815fce65, 0x3feed3fb2709468a,
4350xbc7c2c9b67499a1b, 0x3feed1f5d950a897,
4360x3c835c43984d9871, 0x3feecffa3f84b9d4,
4370x3c4363ed60c2ac11, 0x3feece086061892d,
4380xbc632afc8d9473a0, 0x3feecc2042a7d232,
4390x3c9666093b0664ef, 0x3feeca41ed1d0057,
4400xbc95fc5e44de020e, 0x3feec86d668b3237,
4410x3c6ecce1daa10379, 0x3feec6a2b5c13cd0,
4420xbc7ea0148327c42f, 0x3feec4e1e192aed2,
4430x3c93ff8e3f0f1230, 0x3feec32af0d7d3de,
4440xbc7a843ad1a88022, 0x3feec17dea6db7d7,
4450x3c7690cebb7aafb0, 0x3feebfdad5362a27,
4460x3c892ca3bf144e63, 0x3feebe41b817c114,
4470x3c931dbdeb54e077, 0x3feebcb299fddd0d,
4480xbc902c99b04aa8b0, 0x3feebb2d81d8abff,
4490xbc8f94340071a38e, 0x3feeb9b2769d2ca7,
4500x3c73e34f67e67118, 0x3feeb8417f4531ee,
4510xbc87deccdc93a349, 0x3feeb6daa2cf6642,
4520xbc75a3b1197ba0f0, 0x3feeb57de83f4eef,
4530xbc78dec6bd0f385f, 0x3feeb42b569d4f82,
4540x3c81bd2888075068, 0x3feeb2e2f4f6ad27,
4550xbc861246ec7b5cf6, 0x3feeb1a4ca5d920f,
4560xbc896be8ae89ef8f, 0x3feeb070dde910d2,
4570x3c93350518fdd78e, 0x3feeaf4736b527da,
4580xbc88e6ac90348602, 0x3feeae27dbe2c4cf,
4590x3c7b98b72f8a9b05, 0x3feead12d497c7fd,
4600xbc91af7f1365c3ac, 0x3feeac0827ff07cc,
4610x3c9063e1e21c5409, 0x3feeab07dd485429,
4620xbc943a3540d1898a, 0x3feeaa11fba87a03,
4630x3c34c7855019c6ea, 0x3feea9268a5946b7,
4640xbc951f58ddaa8090, 0x3feea84590998b93,
4650x3c9432e62b64c035, 0x3feea76f15ad2148,
4660xbc82e1648e50a17c, 0x3feea6a320dceb71,
4670xbc8ce44a6199769f, 0x3feea5e1b976dc09,
4680x3c95f30eda98a575, 0x3feea52ae6cdf6f4,
4690xbc8c33c53bef4da8, 0x3feea47eb03a5585,
4700x3c917ecda8a72159, 0x3feea3dd1d1929fd,
4710xbc845378892be9ae, 0x3feea34634ccc320,
4720xbc9345f3cee1ae6e, 0x3feea2b9febc8fb7,
4730xbc93cedd78565858, 0x3feea23882552225,
4740xbc85c33fdf910406, 0x3feea1c1c70833f6,
4750x3c5710aa807e1964, 0x3feea155d44ca973,
4760x3c81079ab5789604, 0x3feea0f4b19e9538,
4770xbc93b3efbf5e2228, 0x3feea09e667f3bcd,
4780x3c727df161cd7778, 0x3feea052fa75173e,
4790xbc6a12ad8734b982, 0x3feea012750bdabf,
4800x3c93f9924a05b767, 0x3fee9fdcddd47645,
4810xbc6367efb86da9ee, 0x3fee9fb23c651a2f,
4820xbc87557939a8b5ef, 0x3fee9f9298593ae5,
4830xbc80dc3d54e08851, 0x3fee9f7df9519484,
4840x3c51ed2f56fa9d1a, 0x3fee9f7466f42e87,
4850xbc781f647e5a3ecf, 0x3fee9f75e8ec5f74,
4860xbc88e67a9006c909, 0x3fee9f8286ead08a,
4870xbc86ee4ac08b7db0, 0x3fee9f9a48a58174,
4880x3c86597566977ac8, 0x3fee9fbd35d7cbfd,
4890xbc8619321e55e68a, 0x3fee9feb564267c9,
4900x3c92c0b7028a5c3a, 0x3feea024b1ab6e09,
4910x3c909ccb5e09d4d3, 0x3feea0694fde5d3f,
4920x3c8a30faf49cc78c, 0x3feea0b938ac1cf6,
4930xbc7b32dcb94da51d, 0x3feea11473eb0187,
4940xbc92dad3519d7b5b, 0x3feea17b0976cfdb,
4950x3c94ecfd5467c06b, 0x3feea1ed0130c132,
4960x3c87d51410fd15c2, 0x3feea26a62ff86f0,
4970x3c65ebe1abd66c55, 0x3feea2f336cf4e62,
4980xbc760a3629969871, 0x3feea3878491c491,
4990xbc88a1c52fb3cf42, 0x3feea427543e1a12,
5000x3c8b18c6e3fdef5d, 0x3feea4d2add106d9,
5010xbc9369b6f13b3734, 0x3feea589994cce13,
5020x3c90ec1ddcb1390a, 0x3feea64c1eb941f7,
5030xbc805e843a19ff1e, 0x3feea71a4623c7ad,
5040xbc522cea4f3afa1e, 0x3feea7f4179f5b21,
5050xbc94d450d872576e, 0x3feea8d99b4492ed,
5060x3c7c88549b958471, 0x3feea9cad931a436,
5070x3c90ad675b0e8a00, 0x3feeaac7d98a6699,
5080x3c931143962f7877, 0x3feeabd0a478580f,
5090x3c8db72fc1f0eab4, 0x3feeace5422aa0db,
5100x3c93e9e96f112479, 0x3feeae05bad61778,
5110xbc65b6609cc5e7ff, 0x3feeaf3216b5448c,
5120xbc8dac42a4a38df0, 0x3feeb06a5e0866d9,
5130x3c7bf68359f35f44, 0x3feeb1ae99157736,
5140x3c8b99dd98b1ed84, 0x3feeb2fed0282c8a,
5150xbc93091fa71e3d83, 0x3feeb45b0b91ffc6,
5160xbc7885ad50cbb750, 0x3feeb5c353aa2fe2,
5170xbc5da9b88b6c1e29, 0x3feeb737b0cdc5e5,
5180xbc82d5e85f3e0301, 0x3feeb8b82b5f98e5,
5190xbc6c23f97c90b959, 0x3feeba44cbc8520f,
5200xbc51669428996971, 0x3feebbdd9a7670b3,
5210xbc92434322f4f9aa, 0x3feebd829fde4e50,
5220x3c71f2b2c1c4c014, 0x3feebf33e47a22a2,
5230xbc85ca6cd7668e4b, 0x3feec0f170ca07ba,
5240xbc9294f304f166b6, 0x3feec2bb4d53fe0d,
5250x3c71affc2b91ce27, 0x3feec49182a3f090,
5260xbc8a1e58414c07d3, 0x3feec674194bb8d5,
5270x3c6dd235e10a73bb, 0x3feec86319e32323,
5280xbc79740b58a20091, 0x3feeca5e8d07f29e,
5290xbc87c50422622263, 0x3feecc667b5de565,
5300x3c9165830a2b96c2, 0x3feece7aed8eb8bb,
5310x3c8b1c86e3e231d5, 0x3feed09bec4a2d33,
5320xbc903d5cbe27874b, 0x3feed2c980460ad8,
5330xbc91bbd1d3bcbb15, 0x3feed503b23e255d,
5340x3c5986178980fce0, 0x3feed74a8af46052,
5350x3c90cc319cee31d2, 0x3feed99e1330b358,
5360xbc89472975b1f2a5, 0x3feedbfe53c12e59,
5370x3c8469846e735ab3, 0x3feede6b5579fdbf,
5380x3c7d8157a34b7e7f, 0x3feee0e521356eba,
5390xbc82dfcd978e9db4, 0x3feee36bbfd3f37a,
5400x3c8c8a4e231ebb7d, 0x3feee5ff3a3c2774,
5410x3c8c1a7792cb3387, 0x3feee89f995ad3ad,
5420xbc888c8d11a142e5, 0x3feeeb4ce622f2ff,
5430xbc907b8f4ad1d9fa, 0x3feeee07298db666,
5440x3c889c2ea41433c7, 0x3feef0ce6c9a8952,
5450xbc55c3d956dcaeba, 0x3feef3a2b84f15fb,
5460xbc7274aedac8ff80, 0x3feef68415b749b1,
5470xbc90a40e3da6f640, 0x3feef9728de5593a,
5480x3c85c620ce76df06, 0x3feefc6e29f1c52a,
5490xbc68d6f438ad9334, 0x3feeff76f2fb5e47,
5500xbc8fda52e1b51e41, 0x3fef028cf22749e4,
5510xbc91eee26b588a35, 0x3fef05b030a1064a,
5520xbc32141a7b3e2cd8, 0x3fef08e0b79a6f1f,
5530x3c74ffd70a5fddcd, 0x3fef0c1e904bc1d2,
5540xbc302899507554e5, 0x3fef0f69c3f3a207,
5550xbc91bdfbfa9298ac, 0x3fef12c25bd71e09,
5560xbc80dda2d4c0010c, 0x3fef16286141b33d,
5570x3c736eae30af0cb3, 0x3fef199bdd85529c,
5580xbc8a007daadf8d68, 0x3fef1d1cd9fa652c,
5590x3c8ee3325c9ffd94, 0x3fef20ab5fffd07a,
5600x3c836909391181d3, 0x3fef244778fafb22,
5610x3c84e08fd10959ac, 0x3fef27f12e57d14b,
5620xbc811cd7dbdf9547, 0x3fef2ba88988c933,
5630x3c63cdaf384e1a67, 0x3fef2f6d9406e7b5,
5640xbc7ac28b7bef6621, 0x3fef33405751c4db,
5650x3c676b2c6c921968, 0x3fef3720dcef9069,
5660xbc7030587207b9e1, 0x3fef3b0f2e6d1675,
5670xbc808a1883ccb5d2, 0x3fef3f0b555dc3fa,
5680xbc8cc734592af7fc, 0x3fef43155b5bab74,
5690xbc8fad5d3ffffa6f, 0x3fef472d4a07897c,
5700x3c87752a44f587e8, 0x3fef4b532b08c968,
5710xbc900dae3875a949, 0x3fef4f87080d89f2,
5720x3c85b66fefeef52e, 0x3fef53c8eacaa1d6,
5730x3c74a385a63d07a7, 0x3fef5818dcfba487,
5740x3c5159d9d908a96e, 0x3fef5c76e862e6d3,
5750xbc82919e2040220f, 0x3fef60e316c98398,
5760x3c8c254d16117a68, 0x3fef655d71ff6075,
5770x3c8e5a50d5c192ac, 0x3fef69e603db3285,
5780xbc8d8c329fbd0e03, 0x3fef6e7cd63a8315,
5790x3c843a59ac016b4b, 0x3fef7321f301b460,
5800xbc8ea6e6fbd5f2a6, 0x3fef77d5641c0658,
5810xbc82d52107b43e1f, 0x3fef7c97337b9b5f,
5820xbc63e8e3eab2cbb4, 0x3fef81676b197d17,
5830xbc892ab93b470dc9, 0x3fef864614f5a129,
5840xbc8b7966cd0d2cd9, 0x3fef8b333b16ee12,
5850x3c74b604603a88d3, 0x3fef902ee78b3ff6,
5860xbc776caa4c2ff1cf, 0x3fef953924676d76,
5870x3c83c5ec519d7271, 0x3fef9a51fbc74c83,
5880xbc81d5fc525d9940, 0x3fef9f7977cdb740,
5890xbc8ff7128fd391f0, 0x3fefa4afa2a490da,
5900x3c855cd8aaea3d21, 0x3fefa9f4867cca6e,
5910xbc8dae98e223747d, 0x3fefaf482d8e67f1,
5920x3c8269947c2bed4a, 0x3fefb4aaa2188510,
5930x3c8ec3bc41aa2008, 0x3fefba1bee615a27,
5940xbc83b6137e9afe9e, 0x3fefbf9c1cb6412a,
5950x3c842b94c3a9eb32, 0x3fefc52b376bba97,
5960xbc69fa74878ba7c7, 0x3fefcac948dd7274,
5970x3c8a64a931d185ee, 0x3fefd0765b6e4540,
5980x3c901f3a75ee0efe, 0x3fefd632798844f8,
5990xbc8e37bae43be3ed, 0x3fefdbfdad9cbe14,
6000xbc516a9ce6ed84fa, 0x3fefe1d802243c89,
6010x3c77893b4d91cd9d, 0x3fefe7c1819e90d8,
6020xbc699c7db2effc76, 0x3fefedba3692d514,
6030x3c5305c14160cc89, 0x3feff3c22b8f71f1,
6040x3c64b458677f9840, 0x3feff9d96b2a23d9,
605#elif N == 512
6060x0, 0x3ff0000000000000,
6070xbc75d87ade1f60d5, 0x3feffd8c86da1c0a,
6080xbc84e82fc61851ac, 0x3feffb1afa5abcbf,
6090x3c9bffdaa7ac4bac, 0x3feff8ab5b2cbd11,
6100x3c9b3b4f1a88bf6e, 0x3feff63da9fb3335,
6110x3c75c18e5ae0563a, 0x3feff3d1e77170b4,
6120xbc82985dd8521d32, 0x3feff168143b0281,
6130xbc705b1125cf49a5, 0x3fefef003103b10e,
6140xbc7160139cd8dc5d, 0x3fefec9a3e778061,
6150x3c9f879abbff3f87, 0x3fefea363d42b027,
6160x3c651e617061bfbd, 0x3fefe7d42e11bbcc,
6170x3c9b14003824712a, 0x3fefe57411915a8a,
6180xbc905e7a108766d1, 0x3fefe315e86e7f85,
6190x3c61cbf0f38af658, 0x3fefe0b9b35659d8,
6200x3c845fad437fa426, 0x3fefde5f72f654b1,
6210xbc9a3316383dcbc5, 0x3fefdc0727fc1762,
6220x3c8cd2523567f613, 0x3fefd9b0d3158574,
6230x3c9901c9e0e797fd, 0x3fefd75c74f0bec2,
6240xbc954529642b232f, 0x3fefd50a0e3c1f89,
6250xbc89b3236d111646, 0x3fefd2b99fa6407c,
6260xbc8bce8023f98efa, 0x3fefd06b29ddf6de,
6270xbc8cb191be99b1b0, 0x3fefce1ead925493,
6280x3c8293708ef5c32e, 0x3fefcbd42b72a836,
6290xbc9acb71e83765b7, 0x3fefc98ba42e7d30,
6300x3c60f74e61e6c861, 0x3fefc74518759bc8,
6310x3c5cd3e58b03697e, 0x3fefc50088f8093f,
6320xbc95b9280905b2a4, 0x3fefc2bdf66607e0,
6330xbc8bfb07d4755452, 0x3fefc07d61701716,
6340x3c90a3e45b33d399, 0x3fefbe3ecac6f383,
6350x3c8aedeb3e7b14cd, 0x3fefbc02331b9715,
6360x3c84f31f32c4b7e7, 0x3fefb9c79b1f3919,
6370x3c9a8eb1f3d914b4, 0x3fefb78f03834e52,
6380x3c979aa65d837b6d, 0x3fefb5586cf9890f,
6390xbc85b9eb0402507b, 0x3fefb323d833d93f,
6400x3c9407fb30d06420, 0x3fefb0f145e46c85,
6410xbc93f0f225bbf3ee, 0x3fefaec0b6bdae53,
6420x3c8eb51a92fdeffc, 0x3fefac922b7247f7,
6430xbc9c3fe7282d1784, 0x3fefaa65a4b520ba,
6440xbc9a5d04b3b9911b, 0x3fefa83b23395dec,
6450x3c9c8be44bf4cde8, 0x3fefa612a7b26300,
6460x3c3ebe3d702f9cd1, 0x3fefa3ec32d3d1a2,
6470x3c820c5444c93c44, 0x3fefa1c7c55189c6,
6480xbc937a01f0739546, 0x3fef9fa55fdfa9c5,
6490xbc84c6baeb580d7a, 0x3fef9d8503328e6d,
6500xbc6a033489906e0b, 0x3fef9b66affed31b,
6510x3c8657aa1b0d9f83, 0x3fef994a66f951ce,
6520x3c8b8268b04ef0a5, 0x3fef973028d7233e,
6530x3c62f2c7fd6ee145, 0x3fef9517f64d9ef1,
6540xbc9556522a2fbd0e, 0x3fef9301d0125b51,
6550xbc6b0b2789925e90, 0x3fef90edb6db2dc1,
6560xbc9ac46e44a2ebcc, 0x3fef8edbab5e2ab6,
6570xbc93aad17d197fae, 0x3fef8ccbae51a5c8,
6580xbc5080ef8c4eea55, 0x3fef8abdc06c31cc,
6590xbc989c464a07ad70, 0x3fef88b1e264a0e9,
6600xbc65704e90c9f860, 0x3fef86a814f204ab,
6610xbc72c338fce197f4, 0x3fef84a058cbae1e,
6620xbc91c923b9d5f416, 0x3fef829aaea92de0,
6630xbc6dca724cea0eb6, 0x3fef809717425438,
6640xbc897cea57e46280, 0x3fef7e95934f312e,
6650x3c464770b955d34d, 0x3fef7c962388149e,
6660x3c80d3e3e95c55af, 0x3fef7a98c8a58e51,
6670xbc962811c114424f, 0x3fef789d83606e12,
6680x3c56f01429e2b9d2, 0x3fef76a45471c3c2,
6690x3c8ec58e74904dd4, 0x3fef74ad3c92df73,
6700xbc801b15eaa59348, 0x3fef72b83c7d517b,
6710x3c8d63b0ab2d5bbf, 0x3fef70c554eaea89,
6720x3c6e653b2459034b, 0x3fef6ed48695bbc0,
6730xbc9ca9effbeeac92, 0x3fef6ce5d23816c9,
6740xbc8f1ff055de323d, 0x3fef6af9388c8dea,
6750x3c8bda920de0f6e2, 0x3fef690eba4df41f,
6760x3c92cc7ea345b7dc, 0x3fef672658375d2f,
6770xbc9a597f9a5ff71c, 0x3fef654013041dc2,
6780x3c8b898c3f1353bf, 0x3fef635beb6fcb75,
6790x3c50835b125aa573, 0x3fef6179e2363cf8,
6800x3c957bfb2876ea9e, 0x3fef5f99f8138a1c,
6810x3c8aaa13d61aec1f, 0x3fef5dbc2dc40bf0,
6820xbc96d99c7611eb26, 0x3fef5be084045cd4,
6830x3c8a4f81aa7110bd, 0x3fef5a06fb91588f,
6840x3c8cdc1873af2155, 0x3fef582f95281c6b,
6850xbc6817fd6a313e3e, 0x3fef565a51860746,
6860x3c9aecf73e3a2f60, 0x3fef54873168b9aa,
6870xbc96236af85fd26a, 0x3fef52b6358e15e8,
6880xbc9493684653a131, 0x3fef50e75eb44027,
6890x3c7795eb4523abe7, 0x3fef4f1aad999e82,
6900xbc8fe782cb86389d, 0x3fef4d5022fcd91d,
6910x3c8fe58b91b40095, 0x3fef4b87bf9cda38,
6920xbc98e2899077520a, 0x3fef49c18438ce4d,
6930x3c91ecaa860c614a, 0x3fef47fd7190241e,
6940x3c8a6f4144a6c38d, 0x3fef463b88628cd6,
6950xbc3e45c83ba0bbcb, 0x3fef447bc96ffc18,
6960x3c9120fcd4f59273, 0x3fef42be3578a819,
6970xbc29fd3bea07b4ee, 0x3fef4102cd3d09b9,
6980x3c807a05b0e4047d, 0x3fef3f49917ddc96,
6990x3c87f1c7350e256d, 0x3fef3d9282fc1f27,
7000x3c89b788c188c9b8, 0x3fef3bdda27912d1,
7010x3c420dac6c124f4f, 0x3fef3a2af0b63bff,
7020x3c968efde3a8a894, 0x3fef387a6e756238,
7030xbc99501d09bc09fd, 0x3fef36cc1c78903a,
7040x3c877afbca90ef84, 0x3fef351ffb82140a,
7050x3c73baf864dc8675, 0x3fef33760c547f15,
7060x3c875e18f274487d, 0x3fef31ce4fb2a63f,
7070x3c91b0575c1eaf54, 0x3fef3028c65fa1ff,
7080x3c91512f082876ee, 0x3fef2e85711ece75,
7090xbc90364bc9ce33ab, 0x3fef2ce450b3cb82,
7100x3c80472b981fe7f2, 0x3fef2b4565e27cdd,
7110xbc7548165d85ed32, 0x3fef29a8b16f0a30,
7120x3c9a02f0c7d75ec6, 0x3fef280e341ddf29,
7130x3c7c3b977a68e32c, 0x3fef2675eeb3ab98,
7140xbc96b87b3f71085e, 0x3fef24dfe1f56381,
7150xbc93a255f697ecfe, 0x3fef234c0ea83f36,
7160xbc803297e78260bf, 0x3fef21ba7591bb70,
7170x3c8d2d19edc1e550, 0x3fef202b17779965,
7180x3c82f7e16d09ab31, 0x3fef1e9df51fdee1,
7190xbc76b2173113dd8c, 0x3fef1d130f50d65c,
7200xbc95b77e5ccd9fbf, 0x3fef1b8a66d10f13,
7210x3c811aa5f853590b, 0x3fef1a03fc675d1f,
7220xbc3d219b1a6fbffa, 0x3fef187fd0dad990,
7230x3c61d61a34c8aa02, 0x3fef16fde4f2e280,
7240xbc91e75c40b4251e, 0x3fef157e39771b2f,
7250xbc91f892bf6b286d, 0x3fef1400cf2f6c18,
7260x3c8b3782720c0ab4, 0x3fef1285a6e4030b,
7270x3c7590c65c20e680, 0x3fef110cc15d5346,
7280x3c98a911f1f7785a, 0x3fef0f961f641589,
7290x3c86fe320b5c1e9d, 0x3fef0e21c1c14833,
7300x3c6e149289cecb8f, 0x3fef0cafa93e2f56,
7310xbc903cd8b2f25790, 0x3fef0b3fd6a454d2,
7320xbc61e7c998db7dbb, 0x3fef09d24abd886b,
7330x3c7b3bf786a54a87, 0x3fef08670653dfe4,
7340x3c834d754db0abb6, 0x3fef06fe0a31b715,
7350x3c74bb6c41732885, 0x3fef05975721b004,
7360x3c85425c11faadf4, 0x3fef0432edeeb2fd,
7370xbc99d7399abb9a8b, 0x3fef02d0cf63eeac,
7380x3c864201e2ac744c, 0x3fef0170fc4cd831,
7390xbc5451d60c6ac9eb, 0x3fef001375752b40,
7400xbc979517a03e2847, 0x3feefeb83ba8ea32,
7410x3c8787a210ceafd9, 0x3feefd5f4fb45e20,
7420x3c8fdd395dd3f84a, 0x3feefc08b26416ff,
7430xbc888d1e4629943d, 0x3feefab46484ebb4,
7440xbc800e2a46da4bee, 0x3feef96266e3fa2d,
7450xbc93369c544088b6, 0x3feef812ba4ea77d,
7460xbc86a3803b8e5b04, 0x3feef6c55f929ff1,
7470x3c85373ce4eb6dfb, 0x3feef57a577dd72b,
7480xbc87430803972b34, 0x3feef431a2de883b,
7490x3c83adec8265a67f, 0x3feef2eb428335b4,
7500xbc924aedcc4b5068, 0x3feef1a7373aa9cb,
7510xbc835388bcac6bc5, 0x3feef06581d3f669,
7520xbc954de30ae02d94, 0x3feeef26231e754a,
7530x3c727cdb4e4b6640, 0x3feeede91be9c811,
7540xbc9907f81b512d8e, 0x3feeecae6d05d866,
7550x3c86c2696a26af35, 0x3feeeb761742d808,
7560xbc94f2487e1c03ec, 0x3feeea401b7140ef,
7570x3c888f6ff06b979a, 0x3feee90c7a61d55b,
7580xbc71d1e83e9436d2, 0x3feee7db34e59ff7,
7590xbc89d5efaabc2030, 0x3feee6ac4bcdf3ea,
7600x3c914a5432fcb2f4, 0x3feee57fbfec6cf4,
7610xbc76b8867f91c9d6, 0x3feee4559212ef89,
7620xbc991919b3ce1b15, 0x3feee32dc313a8e5,
7630x3c94c9c0b5157fe6, 0x3feee20853c10f28,
7640x3c79c3bba5562a2f, 0x3feee0e544ede173,
7650xbc62455345b51c8e, 0x3feedfc4976d27fa,
7660x3c859f48a72a4c6d, 0x3feedea64c123422,
7670xbc93331de45477d0, 0x3feedd8a63b0a09b,
7680xbc85a71612e21658, 0x3feedc70df1c5175,
7690xbc95f84d39b39b16, 0x3feedb59bf29743f,
7700xbc9312607a28698a, 0x3feeda4504ac801c,
7710xbc72ba4dc7c4d562, 0x3feed932b07a35df,
7720x3c86421f6f1d24d6, 0x3feed822c367a024,
7730xbc844f25dc02691f, 0x3feed7153e4a136a,
7740xbc58a78f4817895b, 0x3feed60a21f72e2a,
7750xbc888d328eb9b501, 0x3feed5016f44d8f5,
7760xbc9348a6815fce65, 0x3feed3fb2709468a,
7770x3c7f0bec42ddb15a, 0x3feed2f74a1af3f1,
7780xbc7c2c9b67499a1b, 0x3feed1f5d950a897,
7790xbc615f0a2b9cd452, 0x3feed0f6d5817663,
7800x3c835c43984d9871, 0x3feecffa3f84b9d4,
7810xbc8c2e465a919e1d, 0x3feecf0018321a1a,
7820x3c4363ed60c2ac11, 0x3feece086061892d,
7830xbc865dfd02bd08f1, 0x3feecd1318eb43ec,
7840xbc632afc8d9473a0, 0x3feecc2042a7d232,
7850xbc8e68cec89b1762, 0x3feecb2fde7006f4,
7860x3c9666093b0664ef, 0x3feeca41ed1d0057,
7870xbc48ae858eb682ca, 0x3feec9566f8827d0,
7880xbc95fc5e44de020e, 0x3feec86d668b3237,
7890x3c5dd71277c0915f, 0x3feec786d3001fe5,
7900x3c6ecce1daa10379, 0x3feec6a2b5c13cd0,
7910x3c92001325ecd7fb, 0x3feec5c10fa920a1,
7920xbc7ea0148327c42f, 0x3feec4e1e192aed2,
7930x3c65ace6e2870332, 0x3feec4052c5916c4,
7940x3c93ff8e3f0f1230, 0x3feec32af0d7d3de,
7950xbc9595c55690ffaf, 0x3feec2532feaada6,
7960xbc7a843ad1a88022, 0x3feec17dea6db7d7,
7970xbc8b401ba9fb5199, 0x3feec0ab213d5283,
7980x3c7690cebb7aafb0, 0x3feebfdad5362a27,
7990x3c6df82bf324cc57, 0x3feebf0d073537ca,
8000x3c892ca3bf144e63, 0x3feebe41b817c114,
8010x3c97cae38641c7bb, 0x3feebd78e8bb586b,
8020x3c931dbdeb54e077, 0x3feebcb299fddd0d,
8030x3c62d80c5c4a2b67, 0x3feebbeeccbd7b2a,
8040xbc902c99b04aa8b0, 0x3feebb2d81d8abff,
8050x3c8f39c10d12eaf0, 0x3feeba6eba2e35f0,
8060xbc8f94340071a38e, 0x3feeb9b2769d2ca7,
8070xbc80b582d74a55d9, 0x3feeb8f8b804f127,
8080x3c73e34f67e67118, 0x3feeb8417f4531ee,
8090xbc6b4e327ff434ca, 0x3feeb78ccd3deb0d,
8100xbc87deccdc93a349, 0x3feeb6daa2cf6642,
8110xbc592dca38593e20, 0x3feeb62b00da3b14,
8120xbc75a3b1197ba0f0, 0x3feeb57de83f4eef,
8130xbc85daca9994833e, 0x3feeb4d359dfd53d,
8140xbc78dec6bd0f385f, 0x3feeb42b569d4f82,
8150xbc980b4321bc6dae, 0x3feeb385df598d78,
8160x3c81bd2888075068, 0x3feeb2e2f4f6ad27,
8170xbc8390afec5241c5, 0x3feeb24298571b06,
8180xbc861246ec7b5cf6, 0x3feeb1a4ca5d920f,
8190x3c8f15cdafe7d586, 0x3feeb1098bed1bdf,
8200xbc896be8ae89ef8f, 0x3feeb070dde910d2,
8210xbc910aa91ae9b67f, 0x3feeafdac1351819,
8220x3c93350518fdd78e, 0x3feeaf4736b527da,
8230x3c957e1b67462375, 0x3feeaeb63f4d854c,
8240xbc88e6ac90348602, 0x3feeae27dbe2c4cf,
8250x3c8124d5051552a7, 0x3feead9c0d59ca07,
8260x3c7b98b72f8a9b05, 0x3feead12d497c7fd,
8270xbc3ca103952ecf1f, 0x3feeac8c32824135,
8280xbc91af7f1365c3ac, 0x3feeac0827ff07cc,
8290x3c773345c02a4fd6, 0x3feeab86b5f43d92,
8300x3c9063e1e21c5409, 0x3feeab07dd485429,
8310xbc909d2a0fce20f2, 0x3feeaa8b9ee20d1e,
8320xbc943a3540d1898a, 0x3feeaa11fba87a03,
8330xbc924f2cb4f81746, 0x3feea99af482fc8f,
8340x3c34c7855019c6ea, 0x3feea9268a5946b7,
8350xbc943592a0a9846b, 0x3feea8b4be135acc,
8360xbc951f58ddaa8090, 0x3feea84590998b93,
8370xbc956bc85d444f4f, 0x3feea7d902d47c65,
8380x3c9432e62b64c035, 0x3feea76f15ad2148,
8390x3c914d1e4218319f, 0x3feea707ca0cbf0f,
8400xbc82e1648e50a17c, 0x3feea6a320dceb71,
8410x3c971c93709313f4, 0x3feea6411b078d26,
8420xbc8ce44a6199769f, 0x3feea5e1b976dc09,
8430x3c7f88303b60d222, 0x3feea584fd15612a,
8440x3c95f30eda98a575, 0x3feea52ae6cdf6f4,
8450x3c70125ca18d4b5b, 0x3feea4d3778bc944,
8460xbc8c33c53bef4da8, 0x3feea47eb03a5585,
8470x3c9592ea73798b11, 0x3feea42c91c56acd,
8480x3c917ecda8a72159, 0x3feea3dd1d1929fd,
8490xbc9371d6d7d75739, 0x3feea390532205d8,
8500xbc845378892be9ae, 0x3feea34634ccc320,
8510xbc8ac05fd996f807, 0x3feea2fec30678b7,
8520xbc9345f3cee1ae6e, 0x3feea2b9febc8fb7,
8530xbc91f5067d03653a, 0x3feea277e8dcc390,
8540xbc93cedd78565858, 0x3feea23882552225,
8550x3c917339c86ce3ad, 0x3feea1fbcc140be7,
8560xbc85c33fdf910406, 0x3feea1c1c70833f6,
8570xbc77e66065ba2500, 0x3feea18a7420a036,
8580x3c5710aa807e1964, 0x3feea155d44ca973,
8590x3c964c827ee6b49a, 0x3feea123e87bfb7a,
8600x3c81079ab5789604, 0x3feea0f4b19e9538,
8610xbc928311a3c73480, 0x3feea0c830a4c8d4,
8620xbc93b3efbf5e2228, 0x3feea09e667f3bcd,
8630x3c882c79e185e981, 0x3feea077541ee718,
8640x3c727df161cd7778, 0x3feea052fa75173e,
8650xbc8b48cea80b043b, 0x3feea0315a736c75,
8660xbc6a12ad8734b982, 0x3feea012750bdabf,
8670xbc4f4863bc8e5180, 0x3fee9ff64b30aa09,
8680x3c93f9924a05b767, 0x3fee9fdcddd47645,
8690x3c954835dd4b7548, 0x3fee9fc62dea2f8a,
8700xbc6367efb86da9ee, 0x3fee9fb23c651a2f,
8710xbc8bf41f59b59f8a, 0x3fee9fa10a38cee8,
8720xbc87557939a8b5ef, 0x3fee9f9298593ae5,
8730xbc8f652fde52775c, 0x3fee9f86e7ba9fef,
8740xbc80dc3d54e08851, 0x3fee9f7df9519484,
8750xbc7b0300defbcf98, 0x3fee9f77ce1303f6,
8760x3c51ed2f56fa9d1a, 0x3fee9f7466f42e87,
8770xbc89dab646035dc0, 0x3fee9f73c4eaa988,
8780xbc781f647e5a3ecf, 0x3fee9f75e8ec5f74,
8790xbc91f0c230588dde, 0x3fee9f7ad3ef9011,
8800xbc88e67a9006c909, 0x3fee9f8286ead08a,
8810x3c9106450507a28c, 0x3fee9f8d02d50b8f,
8820xbc86ee4ac08b7db0, 0x3fee9f9a48a58174,
8830xbc9129729a10f3a0, 0x3fee9faa5953c849,
8840x3c86597566977ac8, 0x3fee9fbd35d7cbfd,
8850x3c781a70a5124f67, 0x3fee9fd2df29ce7c,
8860xbc8619321e55e68a, 0x3fee9feb564267c9,
8870x3c941626ea62646d, 0x3feea0069c1a861d,
8880x3c92c0b7028a5c3a, 0x3feea024b1ab6e09,
8890xbc940b9f54365b7c, 0x3feea04597eeba8f,
8900x3c909ccb5e09d4d3, 0x3feea0694fde5d3f,
8910x3c873455e0e826c1, 0x3feea08fda749e5d,
8920x3c8a30faf49cc78c, 0x3feea0b938ac1cf6,
8930x3c94f006ad874e3e, 0x3feea0e56b7fcf03,
8940xbc7b32dcb94da51d, 0x3feea11473eb0187,
8950xbc8f6d693d0973bb, 0x3feea14652e958aa,
8960xbc92dad3519d7b5b, 0x3feea17b0976cfdb,
8970x3c58c5ee2b7e7848, 0x3feea1b2988fb9ec,
8980x3c94ecfd5467c06b, 0x3feea1ed0130c132,
8990xbc88b25e045d207b, 0x3feea22a4456e7a3,
9000x3c87d51410fd15c2, 0x3feea26a62ff86f0,
9010xbc69cb3314060ca7, 0x3feea2ad5e2850ac,
9020x3c65ebe1abd66c55, 0x3feea2f336cf4e62,
9030x3c87a0b15d19e0bb, 0x3feea33bedf2e1b9,
9040xbc760a3629969871, 0x3feea3878491c491,
9050x3c94aa7212bfa73c, 0x3feea3d5fbab091f,
9060xbc88a1c52fb3cf42, 0x3feea427543e1a12,
9070xbc81e688272a8a12, 0x3feea47b8f4abaa9,
9080x3c8b18c6e3fdef5d, 0x3feea4d2add106d9,
9090x3c4ab7b7112ec9d5, 0x3feea52cb0d1736a,
9100xbc9369b6f13b3734, 0x3feea589994cce13,
9110x3c8a1e274eed4476, 0x3feea5e968443d9a,
9120x3c90ec1ddcb1390a, 0x3feea64c1eb941f7,
9130x3c94a533a59324da, 0x3feea6b1bdadb46d,
9140xbc805e843a19ff1e, 0x3feea71a4623c7ad,
9150x3c7a56d2760d087d, 0x3feea785b91e07f1,
9160xbc522cea4f3afa1e, 0x3feea7f4179f5b21,
9170x3c91682c1c6e8b05, 0x3feea86562ab00ec,
9180xbc94d450d872576e, 0x3feea8d99b4492ed,
9190x3c89ea99cf7a9591, 0x3feea950c27004c2,
9200x3c7c88549b958471, 0x3feea9cad931a436,
9210xbc59e57d8f92ff8e, 0x3feeaa47e08e1957,
9220x3c90ad675b0e8a00, 0x3feeaac7d98a6699,
9230x3c909b176e05a9cd, 0x3feeab4ac52be8f7,
9240x3c931143962f7877, 0x3feeabd0a478580f,
9250x3c711607f1952c95, 0x3feeac597875c644,
9260x3c8db72fc1f0eab4, 0x3feeace5422aa0db,
9270x3c869608f0f86431, 0x3feead74029db01e,
9280x3c93e9e96f112479, 0x3feeae05bad61778,
9290xbc7f1ced15c5c5c0, 0x3feeae9a6bdb5598,
9300xbc65b6609cc5e7ff, 0x3feeaf3216b5448c,
9310x3c614b97be3f7b4e, 0x3feeafccbc6c19e6,
9320xbc8dac42a4a38df0, 0x3feeb06a5e0866d9,
9330x3c81c1701c359530, 0x3feeb10afc931857,
9340x3c7bf68359f35f44, 0x3feeb1ae99157736,
9350xbc8edb1bf6809287, 0x3feeb2553499284b,
9360x3c8b99dd98b1ed84, 0x3feeb2fed0282c8a,
9370xbc8ba58ce7a736d3, 0x3feeb3ab6ccce12c,
9380xbc93091fa71e3d83, 0x3feeb45b0b91ffc6,
9390xbc93fc025e1db9ce, 0x3feeb50dad829e70,
9400xbc7885ad50cbb750, 0x3feeb5c353aa2fe2,
9410xbc8d737c7d71382e, 0x3feeb67bff148396,
9420xbc5da9b88b6c1e29, 0x3feeb737b0cdc5e5,
9430x3c6ae88c43905293, 0x3feeb7f669e2802b,
9440xbc82d5e85f3e0301, 0x3feeb8b82b5f98e5,
9450xbc93d1f7661fe51b, 0x3feeb97cf65253d1,
9460xbc6c23f97c90b959, 0x3feeba44cbc8520f,
9470x3c651b68797ffc1c, 0x3feebb0faccf9243,
9480xbc51669428996971, 0x3feebbdd9a7670b3,
9490x3c54579c5ceed70b, 0x3feebcae95cba768,
9500xbc92434322f4f9aa, 0x3feebd829fde4e50,
9510x3c87298413381667, 0x3feebe59b9bddb5b,
9520x3c71f2b2c1c4c014, 0x3feebf33e47a22a2,
9530xbc905000be64e965, 0x3feec01121235681,
9540xbc85ca6cd7668e4b, 0x3feec0f170ca07ba,
9550xbc89fb12e3454b73, 0x3feec1d4d47f2598,
9560xbc9294f304f166b6, 0x3feec2bb4d53fe0d,
9570x3c7be2a03697693b, 0x3feec3a4dc5a3dd3,
9580x3c71affc2b91ce27, 0x3feec49182a3f090,
9590x3c90622b15810eea, 0x3feec581414380f2,
9600xbc8a1e58414c07d3, 0x3feec674194bb8d5,
9610x3be9a5ecc875d327, 0x3feec76a0bcfc15e,
9620x3c6dd235e10a73bb, 0x3feec86319e32323,
9630x3c88ea486a3350ef, 0x3feec95f4499c647,
9640xbc79740b58a20091, 0x3feeca5e8d07f29e,
9650xbc7a2ee551d4c40f, 0x3feecb60f4424fcb,
9660xbc87c50422622263, 0x3feecc667b5de565,
9670x3c89c31f7e38028b, 0x3feecd6f23701b15,
9680x3c9165830a2b96c2, 0x3feece7aed8eb8bb,
9690xbc5fac13f4e005a3, 0x3feecf89dacfe68c,
9700x3c8b1c86e3e231d5, 0x3feed09bec4a2d33,
9710x3c7d8aced7162e89, 0x3feed1b1231475f7,
9720xbc903d5cbe27874b, 0x3feed2c980460ad8,
9730xbc848f50cea7269f, 0x3feed3e504f696b1,
9740xbc91bbd1d3bcbb15, 0x3feed503b23e255d,
9750x3c821eb9a08a0542, 0x3feed625893523d4,
9760x3c5986178980fce0, 0x3feed74a8af46052,
9770xbc6133a953131cfd, 0x3feed872b8950a73,
9780x3c90cc319cee31d2, 0x3feed99e1330b358,
9790x3c89e95e6f4a0ae4, 0x3feedacc9be14dca,
9800xbc89472975b1f2a5, 0x3feedbfe53c12e59,
9810xbc90260cf07cb311, 0x3feedd333beb0b7e,
9820x3c8469846e735ab3, 0x3feede6b5579fdbf,
9830x3c1bca400a7b939d, 0x3feedfa6a1897fd2,
9840x3c7d8157a34b7e7f, 0x3feee0e521356eba,
9850x3c9140bc34dfc19f, 0x3feee226d59a09ee,
9860xbc82dfcd978e9db4, 0x3feee36bbfd3f37a,
9870xbc8c9b1da461ab87, 0x3feee4b3e100301e,
9880x3c8c8a4e231ebb7d, 0x3feee5ff3a3c2774,
9890x3c8c115f23ebea8e, 0x3feee74dcca5a413,
9900x3c8c1a7792cb3387, 0x3feee89f995ad3ad,
9910xbc6dcab99f23f84e, 0x3feee9f4a17a4735,
9920xbc888c8d11a142e5, 0x3feeeb4ce622f2ff,
9930x3c60a43e8b7e4bfe, 0x3feeeca868742ee4,
9940xbc907b8f4ad1d9fa, 0x3feeee07298db666,
9950x3c915b1397075f04, 0x3feeef692a8fa8cd,
9960x3c889c2ea41433c7, 0x3feef0ce6c9a8952,
9970xbc839f7a1f04d2b0, 0x3feef236f0cf3f3a,
9980xbc55c3d956dcaeba, 0x3feef3a2b84f15fb,
9990xbc86a510f31e13e6, 0x3feef511c43bbd62,
10000xbc7274aedac8ff80, 0x3feef68415b749b1,
10010xbc92887ea88e7340, 0x3feef7f9ade433c6,
10020xbc90a40e3da6f640, 0x3feef9728de5593a,
10030xbc6e57ac604759ba, 0x3feefaeeb6ddfc87,
10040x3c85c620ce76df06, 0x3feefc6e29f1c52a,
10050x3c8e6c6db4f83226, 0x3feefdf0e844bfc6,
10060xbc68d6f438ad9334, 0x3feeff76f2fb5e47,
10070xbc8d1bf10460dba0, 0x3fef01004b3a7804,
10080xbc8fda52e1b51e41, 0x3fef028cf22749e4,
10090x3c8e5d80813dddfc, 0x3fef041ce8e77680,
10100xbc91eee26b588a35, 0x3fef05b030a1064a,
10110x3c8caff9640f2dcb, 0x3fef0746ca7a67a7,
10120xbc32141a7b3e2cd8, 0x3fef08e0b79a6f1f,
10130x3c7a77557fd62db3, 0x3fef0a7df9285775,
10140x3c74ffd70a5fddcd, 0x3fef0c1e904bc1d2,
10150xbc651ba6128db749, 0x3fef0dc27e2cb5e5,
10160xbc302899507554e5, 0x3fef0f69c3f3a207,
10170xbc7c0ffefdc5e251, 0x3fef111462c95b60,
10180xbc91bdfbfa9298ac, 0x3fef12c25bd71e09,
10190xbc8b6cd058bfd6fa, 0x3fef1473b0468d30,
10200xbc80dda2d4c0010c, 0x3fef16286141b33d,
10210x3c923759b8aca76d, 0x3fef17e06ff301f4,
10220x3c736eae30af0cb3, 0x3fef199bdd85529c,
10230xbc895498a73dac7d, 0x3fef1b5aab23e61e,
10240xbc8a007daadf8d68, 0x3fef1d1cd9fa652c,
10250x3c851de924583108, 0x3fef1ee26b34e065,
10260x3c8ee3325c9ffd94, 0x3fef20ab5fffd07a,
10270xbc8c5fe4051ba06c, 0x3fef2277b9881650,
10280x3c836909391181d3, 0x3fef244778fafb22,
10290xbc6d1816c0a9ac07, 0x3fef261a9f8630ad,
10300x3c84e08fd10959ac, 0x3fef27f12e57d14b,
10310xbc7af5c67c4e8235, 0x3fef29cb269e601f,
10320xbc811cd7dbdf9547, 0x3fef2ba88988c933,
10330xbc8304ef0045d575, 0x3fef2d89584661a1,
10340x3c63cdaf384e1a67, 0x3fef2f6d9406e7b5,
10350x3c8725f94f910375, 0x3fef31553dfa8313,
10360xbc7ac28b7bef6621, 0x3fef33405751c4db,
10370x3c7b53e99f9191e8, 0x3fef352ee13da7cb,
10380x3c676b2c6c921968, 0x3fef3720dcef9069,
10390xbc810a79e6d7e2b8, 0x3fef39164b994d23,
10400xbc7030587207b9e1, 0x3fef3b0f2e6d1675,
10410x3c840635f6d2a9c0, 0x3fef3d0b869d8f0f,
10420xbc808a1883ccb5d2, 0x3fef3f0b555dc3fa,
10430x3c549eeef9ec910c, 0x3fef410e9be12cb9,
10440xbc8cc734592af7fc, 0x3fef43155b5bab74,
10450xbc8335827ffb9dce, 0x3fef451f95018d17,
10460xbc8fad5d3ffffa6f, 0x3fef472d4a07897c,
10470x3c645563980ef762, 0x3fef493e7ba2c38c,
10480x3c87752a44f587e8, 0x3fef4b532b08c968,
10490xbc8cd0205eb2aab2, 0x3fef4d6b596f948c,
10500xbc900dae3875a949, 0x3fef4f87080d89f2,
10510xbc8aab80ceab2b4a, 0x3fef51a638197a3c,
10520x3c85b66fefeef52e, 0x3fef53c8eacaa1d6,
10530xbc8f870f40a8ba1b, 0x3fef55ef2158a91f,
10540x3c74a385a63d07a7, 0x3fef5818dcfba487,
10550x3c83c119f18464c5, 0x3fef5a461eec14be,
10560x3c5159d9d908a96e, 0x3fef5c76e862e6d3,
10570xbc5a628c2be4e7c7, 0x3fef5eab3a99745b,
10580xbc82919e2040220f, 0x3fef60e316c98398,
10590xbc72550d76be719a, 0x3fef631e7e2d479d,
10600x3c8c254d16117a68, 0x3fef655d71ff6075,
10610xbc82090274667d12, 0x3fef679ff37adb4a,
10620x3c8e5a50d5c192ac, 0x3fef69e603db3285,
10630x3c75f7d28150cac4, 0x3fef6c2fa45c4dfd,
10640xbc8d8c329fbd0e03, 0x3fef6e7cd63a8315,
10650x3c890de9296f4cd1, 0x3fef70cd9ab294e4,
10660x3c843a59ac016b4b, 0x3fef7321f301b460,
10670x3c832ff9978b34bc, 0x3fef7579e065807d,
10680xbc8ea6e6fbd5f2a6, 0x3fef77d5641c0658,
10690xbc7303b63dda1980, 0x3fef7a347f63c159,
10700xbc82d52107b43e1f, 0x3fef7c97337b9b5f,
10710xbc81f2ba385f2f95, 0x3fef7efd81a2ece1,
10720xbc63e8e3eab2cbb4, 0x3fef81676b197d17,
10730x3c768d9144ae12fc, 0x3fef83d4f11f8220,
10740xbc892ab93b470dc9, 0x3fef864614f5a129,
10750x3c853687f542403b, 0x3fef88bad7dcee90,
10760xbc8b7966cd0d2cd9, 0x3fef8b333b16ee12,
10770xbc736ed2de40b407, 0x3fef8daf3fe592e8,
10780x3c74b604603a88d3, 0x3fef902ee78b3ff6,
10790xbc614ef56c770f3b, 0x3fef92b2334ac7ee,
10800xbc776caa4c2ff1cf, 0x3fef953924676d76,
10810x3c8df7d1353d8e88, 0x3fef97c3bc24e350,
10820x3c83c5ec519d7271, 0x3fef9a51fbc74c83,
10830xbc850bed64091b8a, 0x3fef9ce3e4933c7e,
10840xbc81d5fc525d9940, 0x3fef9f7977cdb740,
10850x3c89d852381c317f, 0x3fefa212b6bc3181,
10860xbc8ff7128fd391f0, 0x3fefa4afa2a490da,
10870x3c68a00e3cca04c4, 0x3fefa7503ccd2be5,
10880x3c855cd8aaea3d21, 0x3fefa9f4867cca6e,
10890xbc5a1f25ce94cae7, 0x3fefac9c80faa594,
10900xbc8dae98e223747d, 0x3fefaf482d8e67f1,
10910xbc6fb5f3ee307976, 0x3fefb1f78d802dc2,
10920x3c8269947c2bed4a, 0x3fefb4aaa2188510,
10930x3c737e8ae802b851, 0x3fefb7616ca06dd6,
10940x3c8ec3bc41aa2008, 0x3fefba1bee615a27,
10950x3c875119560e34af, 0x3fefbcda28a52e59,
10960xbc83b6137e9afe9e, 0x3fefbf9c1cb6412a,
10970xbc7431c3840929c6, 0x3fefc261cbdf5be7,
10980x3c842b94c3a9eb32, 0x3fefc52b376bba97,
10990xbc8cb472d2e86b99, 0x3fefc7f860a70c22,
11000xbc69fa74878ba7c7, 0x3fefcac948dd7274,
11010x3c83f5df2fde16a8, 0x3fefcd9df15b82ac,
11020x3c8a64a931d185ee, 0x3fefd0765b6e4540,
11030x3c8eef18336b62e3, 0x3fefd35288633625,
11040x3c901f3a75ee0efe, 0x3fefd632798844f8,
11050x3c80d23f87b50a2a, 0x3fefd916302bd526,
11060xbc8e37bae43be3ed, 0x3fefdbfdad9cbe14,
11070x3c8302dee657c8e6, 0x3fefdee8f32a4b45,
11080xbc516a9ce6ed84fa, 0x3fefe1d802243c89,
11090xbc7b0caa080df170, 0x3fefe4cadbdac61d,
11100x3c77893b4d91cd9d, 0x3fefe7c1819e90d8,
11110x3c7617a9f2fd24e5, 0x3fefeabbf4c0ba54,
11120xbc699c7db2effc76, 0x3fefedba3692d514,
11130x3c75f103b8fd5ca7, 0x3feff0bc4866e8ad,
11140x3c5305c14160cc89, 0x3feff3c22b8f71f1,
11150x3c8e70b094fa075a, 0x3feff6cbe15f6314,
11160x3c64b458677f9840, 0x3feff9d96b2a23d9,
11170xbc72ec9a3e5d680a, 0x3feffceaca4391b6,
1118#endif
1119},
1120};