1/*
2 * This file derives from SFMT 1.3.3
3 * (http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/SFMT/index.html), which was
4 * released under the terms of the following license:
5 *
6 *   Copyright (c) 2006,2007 Mutsuo Saito, Makoto Matsumoto and Hiroshima
7 *   University. All rights reserved.
8 *
9 *   Redistribution and use in source and binary forms, with or without
10 *   modification, are permitted provided that the following conditions are
11 *   met:
12 *
13 *       * Redistributions of source code must retain the above copyright
14 *         notice, this list of conditions and the following disclaimer.
15 *       * Redistributions in binary form must reproduce the above
16 *         copyright notice, this list of conditions and the following
17 *         disclaimer in the documentation and/or other materials provided
18 *         with the distribution.
19 *       * Neither the name of the Hiroshima University nor the names of
20 *         its contributors may be used to endorse or promote products
21 *         derived from this software without specific prior written
22 *         permission.
23 *
24 *   THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
25 *   "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
26 *   LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
27 *   A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
28 *   OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
29 *   SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
30 *   LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
31 *   DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
32 *   THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
33 *   (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
34 *   OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
35 */
36#include "test/jemalloc_test.h"
37
38#define	BLOCK_SIZE 10000
39#define	BLOCK_SIZE64 (BLOCK_SIZE / 2)
40#define	COUNT_1 1000
41#define	COUNT_2 700
42
43static const uint32_t init_gen_rand_32_expected[] = {
44	3440181298U, 1564997079U, 1510669302U, 2930277156U, 1452439940U,
45	3796268453U,  423124208U, 2143818589U, 3827219408U, 2987036003U,
46	2674978610U, 1536842514U, 2027035537U, 2534897563U, 1686527725U,
47	 545368292U, 1489013321U, 1370534252U, 4231012796U, 3994803019U,
48	1764869045U,  824597505U,  862581900U, 2469764249U,  812862514U,
49	 359318673U,  116957936U, 3367389672U, 2327178354U, 1898245200U,
50	3206507879U, 2378925033U, 1040214787U, 2524778605U, 3088428700U,
51	1417665896U,  964324147U, 2282797708U, 2456269299U,  313400376U,
52	2245093271U, 1015729427U, 2694465011U, 3246975184U, 1992793635U,
53	 463679346U, 3721104591U, 3475064196U,  856141236U, 1499559719U,
54	3522818941U, 3721533109U, 1954826617U, 1282044024U, 1543279136U,
55	1301863085U, 2669145051U, 4221477354U, 3896016841U, 3392740262U,
56	 462466863U, 1037679449U, 1228140306U,  922298197U, 1205109853U,
57	1872938061U, 3102547608U, 2742766808U, 1888626088U, 4028039414U,
58	 157593879U, 1136901695U, 4038377686U, 3572517236U, 4231706728U,
59	2997311961U, 1189931652U, 3981543765U, 2826166703U,   87159245U,
60	1721379072U, 3897926942U, 1790395498U, 2569178939U, 1047368729U,
61	2340259131U, 3144212906U, 2301169789U, 2442885464U, 3034046771U,
62	3667880593U, 3935928400U, 2372805237U, 1666397115U, 2460584504U,
63	 513866770U, 3810869743U, 2147400037U, 2792078025U, 2941761810U,
64	3212265810U,  984692259U,  346590253U, 1804179199U, 3298543443U,
65	 750108141U, 2880257022U,  243310542U, 1869036465U, 1588062513U,
66	2983949551U, 1931450364U, 4034505847U, 2735030199U, 1628461061U,
67	2539522841U,  127965585U, 3992448871U,  913388237U,  559130076U,
68	1202933193U, 4087643167U, 2590021067U, 2256240196U, 1746697293U,
69	1013913783U, 1155864921U, 2715773730U,  915061862U, 1948766573U,
70	2322882854U, 3761119102U, 1343405684U, 3078711943U, 3067431651U,
71	3245156316U, 3588354584U, 3484623306U, 3899621563U, 4156689741U,
72	3237090058U, 3880063844U,  862416318U, 4039923869U, 2303788317U,
73	3073590536U,  701653667U, 2131530884U, 3169309950U, 2028486980U,
74	 747196777U, 3620218225U,  432016035U, 1449580595U, 2772266392U,
75	 444224948U, 1662832057U, 3184055582U, 3028331792U, 1861686254U,
76	1104864179U,  342430307U, 1350510923U, 3024656237U, 1028417492U,
77	2870772950U,  290847558U, 3675663500U,  508431529U, 4264340390U,
78	2263569913U, 1669302976U,  519511383U, 2706411211U, 3764615828U,
79	3883162495U, 4051445305U, 2412729798U, 3299405164U, 3991911166U,
80	2348767304U, 2664054906U, 3763609282U,  593943581U, 3757090046U,
81	2075338894U, 2020550814U, 4287452920U, 4290140003U, 1422957317U,
82	2512716667U, 2003485045U, 2307520103U, 2288472169U, 3940751663U,
83	4204638664U, 2892583423U, 1710068300U, 3904755993U, 2363243951U,
84	3038334120U,  547099465U,  771105860U, 3199983734U, 4282046461U,
85	2298388363U,  934810218U, 2837827901U, 3952500708U, 2095130248U,
86	3083335297U,   26885281U, 3932155283U, 1531751116U, 1425227133U,
87	 495654159U, 3279634176U, 3855562207U, 3957195338U, 4159985527U,
88	 893375062U, 1875515536U, 1327247422U, 3754140693U, 1028923197U,
89	1729880440U,  805571298U,  448971099U, 2726757106U, 2749436461U,
90	2485987104U,  175337042U, 3235477922U, 3882114302U, 2020970972U,
91	 943926109U, 2762587195U, 1904195558U, 3452650564U,  108432281U,
92	3893463573U, 3977583081U, 2636504348U, 1110673525U, 3548479841U,
93	4258854744U,  980047703U, 4057175418U, 3890008292U,  145653646U,
94	3141868989U, 3293216228U, 1194331837U, 1254570642U, 3049934521U,
95	2868313360U, 2886032750U, 1110873820U,  279553524U, 3007258565U,
96	1104807822U, 3186961098U,  315764646U, 2163680838U, 3574508994U,
97	3099755655U,  191957684U, 3642656737U, 3317946149U, 3522087636U,
98	 444526410U,  779157624U, 1088229627U, 1092460223U, 1856013765U,
99	3659877367U,  368270451U,  503570716U, 3000984671U, 2742789647U,
100	 928097709U, 2914109539U,  308843566U, 2816161253U, 3667192079U,
101	2762679057U, 3395240989U, 2928925038U, 1491465914U, 3458702834U,
102	3787782576U, 2894104823U, 1296880455U, 1253636503U,  989959407U,
103	2291560361U, 2776790436U, 1913178042U, 1584677829U,  689637520U,
104	1898406878U,  688391508U, 3385234998U,  845493284U, 1943591856U,
105	2720472050U,  222695101U, 1653320868U, 2904632120U, 4084936008U,
106	1080720688U, 3938032556U,  387896427U, 2650839632U,   99042991U,
107	1720913794U, 1047186003U, 1877048040U, 2090457659U,  517087501U,
108	4172014665U, 2129713163U, 2413533132U, 2760285054U, 4129272496U,
109	1317737175U, 2309566414U, 2228873332U, 3889671280U, 1110864630U,
110	3576797776U, 2074552772U,  832002644U, 3097122623U, 2464859298U,
111	2679603822U, 1667489885U, 3237652716U, 1478413938U, 1719340335U,
112	2306631119U,  639727358U, 3369698270U,  226902796U, 2099920751U,
113	1892289957U, 2201594097U, 3508197013U, 3495811856U, 3900381493U,
114	 841660320U, 3974501451U, 3360949056U, 1676829340U,  728899254U,
115	2047809627U, 2390948962U,  670165943U, 3412951831U, 4189320049U,
116	1911595255U, 2055363086U,  507170575U,  418219594U, 4141495280U,
117	2692088692U, 4203630654U, 3540093932U,  791986533U, 2237921051U,
118	2526864324U, 2956616642U, 1394958700U, 1983768223U, 1893373266U,
119	 591653646U,  228432437U, 1611046598U, 3007736357U, 1040040725U,
120	2726180733U, 2789804360U, 4263568405U,  829098158U, 3847722805U,
121	1123578029U, 1804276347U,  997971319U, 4203797076U, 4185199713U,
122	2811733626U, 2343642194U, 2985262313U, 1417930827U, 3759587724U,
123	1967077982U, 1585223204U, 1097475516U, 1903944948U,  740382444U,
124	1114142065U, 1541796065U, 1718384172U, 1544076191U, 1134682254U,
125	3519754455U, 2866243923U,  341865437U,  645498576U, 2690735853U,
126	1046963033U, 2493178460U, 1187604696U, 1619577821U,  488503634U,
127	3255768161U, 2306666149U, 1630514044U, 2377698367U, 2751503746U,
128	3794467088U, 1796415981U, 3657173746U,  409136296U, 1387122342U,
129	1297726519U,  219544855U, 4270285558U,  437578827U, 1444698679U,
130	2258519491U,  963109892U, 3982244073U, 3351535275U,  385328496U,
131	1804784013U,  698059346U, 3920535147U,  708331212U,  784338163U,
132	 785678147U, 1238376158U, 1557298846U, 2037809321U,  271576218U,
133	4145155269U, 1913481602U, 2763691931U,  588981080U, 1201098051U,
134	3717640232U, 1509206239U,  662536967U, 3180523616U, 1133105435U,
135	2963500837U, 2253971215U, 3153642623U, 1066925709U, 2582781958U,
136	3034720222U, 1090798544U, 2942170004U, 4036187520U,  686972531U,
137	2610990302U, 2641437026U, 1837562420U,  722096247U, 1315333033U,
138	2102231203U, 3402389208U, 3403698140U, 1312402831U, 2898426558U,
139	 814384596U,  385649582U, 1916643285U, 1924625106U, 2512905582U,
140	2501170304U, 4275223366U, 2841225246U, 1467663688U, 3563567847U,
141	2969208552U,  884750901U,  102992576U,  227844301U, 3681442994U,
142	3502881894U, 4034693299U, 1166727018U, 1697460687U, 1737778332U,
143	1787161139U, 1053003655U, 1215024478U, 2791616766U, 2525841204U,
144	1629323443U,    3233815U, 2003823032U, 3083834263U, 2379264872U,
145	3752392312U, 1287475550U, 3770904171U, 3004244617U, 1502117784U,
146	 918698423U, 2419857538U, 3864502062U, 1751322107U, 2188775056U,
147	4018728324U,  983712955U,  440071928U, 3710838677U, 2001027698U,
148	3994702151U,   22493119U, 3584400918U, 3446253670U, 4254789085U,
149	1405447860U, 1240245579U, 1800644159U, 1661363424U, 3278326132U,
150	3403623451U,   67092802U, 2609352193U, 3914150340U, 1814842761U,
151	3610830847U,  591531412U, 3880232807U, 1673505890U, 2585326991U,
152	1678544474U, 3148435887U, 3457217359U, 1193226330U, 2816576908U,
153	 154025329U,  121678860U, 1164915738U,  973873761U,  269116100U,
154	  52087970U,  744015362U,  498556057U,   94298882U, 1563271621U,
155	2383059628U, 4197367290U, 3958472990U, 2592083636U, 2906408439U,
156	1097742433U, 3924840517U,  264557272U, 2292287003U, 3203307984U,
157	4047038857U, 3820609705U, 2333416067U, 1839206046U, 3600944252U,
158	3412254904U,  583538222U, 2390557166U, 4140459427U, 2810357445U,
159	 226777499U, 2496151295U, 2207301712U, 3283683112U,  611630281U,
160	1933218215U, 3315610954U, 3889441987U, 3719454256U, 3957190521U,
161	1313998161U, 2365383016U, 3146941060U, 1801206260U,  796124080U,
162	2076248581U, 1747472464U, 3254365145U,  595543130U, 3573909503U,
163	3758250204U, 2020768540U, 2439254210U,   93368951U, 3155792250U,
164	2600232980U, 3709198295U, 3894900440U, 2971850836U, 1578909644U,
165	1443493395U, 2581621665U, 3086506297U, 2443465861U,  558107211U,
166	1519367835U,  249149686U,  908102264U, 2588765675U, 1232743965U,
167	1001330373U, 3561331654U, 2259301289U, 1564977624U, 3835077093U,
168	 727244906U, 4255738067U, 1214133513U, 2570786021U, 3899704621U,
169	1633861986U, 1636979509U, 1438500431U,   58463278U, 2823485629U,
170	2297430187U, 2926781924U, 3371352948U, 1864009023U, 2722267973U,
171	1444292075U,  437703973U, 1060414512U,  189705863U,  910018135U,
172	4077357964U,  884213423U, 2644986052U, 3973488374U, 1187906116U,
173	2331207875U,  780463700U, 3713351662U, 3854611290U,  412805574U,
174	2978462572U, 2176222820U,  829424696U, 2790788332U, 2750819108U,
175	1594611657U, 3899878394U, 3032870364U, 1702887682U, 1948167778U,
176	  14130042U,  192292500U,  947227076U,   90719497U, 3854230320U,
177	 784028434U, 2142399787U, 1563449646U, 2844400217U,  819143172U,
178	2883302356U, 2328055304U, 1328532246U, 2603885363U, 3375188924U,
179	 933941291U, 3627039714U, 2129697284U, 2167253953U, 2506905438U,
180	1412424497U, 2981395985U, 1418359660U, 2925902456U,   52752784U,
181	3713667988U, 3924669405U,  648975707U, 1145520213U, 4018650664U,
182	3805915440U, 2380542088U, 2013260958U, 3262572197U, 2465078101U,
183	1114540067U, 3728768081U, 2396958768U,  590672271U,  904818725U,
184	4263660715U,  700754408U, 1042601829U, 4094111823U, 4274838909U,
185	2512692617U, 2774300207U, 2057306915U, 3470942453U,   99333088U,
186	1142661026U, 2889931380U,   14316674U, 2201179167U,  415289459U,
187	 448265759U, 3515142743U, 3254903683U,  246633281U, 1184307224U,
188	2418347830U, 2092967314U, 2682072314U, 2558750234U, 2000352263U,
189	1544150531U,  399010405U, 1513946097U,  499682937U,  461167460U,
190	3045570638U, 1633669705U,  851492362U, 4052801922U, 2055266765U,
191	 635556996U,  368266356U, 2385737383U, 3218202352U, 2603772408U,
192	 349178792U,  226482567U, 3102426060U, 3575998268U, 2103001871U,
193	3243137071U,  225500688U, 1634718593U, 4283311431U, 4292122923U,
194	3842802787U,  811735523U,  105712518U,  663434053U, 1855889273U,
195	2847972595U, 1196355421U, 2552150115U, 4254510614U, 3752181265U,
196	3430721819U, 3828705396U, 3436287905U, 3441964937U, 4123670631U,
197	 353001539U,  459496439U, 3799690868U, 1293777660U, 2761079737U,
198	 498096339U, 3398433374U, 4080378380U, 2304691596U, 2995729055U,
199	4134660419U, 3903444024U, 3576494993U,  203682175U, 3321164857U,
200	2747963611U,   79749085U, 2992890370U, 1240278549U, 1772175713U,
201	2111331972U, 2655023449U, 1683896345U, 2836027212U, 3482868021U,
202	2489884874U,  756853961U, 2298874501U, 4013448667U, 4143996022U,
203	2948306858U, 4132920035U, 1283299272U,  995592228U, 3450508595U,
204	1027845759U, 1766942720U, 3861411826U, 1446861231U,   95974993U,
205	3502263554U, 1487532194U,  601502472U, 4129619129U,  250131773U,
206	2050079547U, 3198903947U, 3105589778U, 4066481316U, 3026383978U,
207	2276901713U,  365637751U, 2260718426U, 1394775634U, 1791172338U,
208	2690503163U, 2952737846U, 1568710462U,  732623190U, 2980358000U,
209	1053631832U, 1432426951U, 3229149635U, 1854113985U, 3719733532U,
210	3204031934U,  735775531U,  107468620U, 3734611984U,  631009402U,
211	3083622457U, 4109580626U,  159373458U, 1301970201U, 4132389302U,
212	1293255004U,  847182752U, 4170022737U,   96712900U, 2641406755U,
213	1381727755U,  405608287U, 4287919625U, 1703554290U, 3589580244U,
214	2911403488U,    2166565U, 2647306451U, 2330535117U, 1200815358U,
215	1165916754U,  245060911U, 4040679071U, 3684908771U, 2452834126U,
216	2486872773U, 2318678365U, 2940627908U, 1837837240U, 3447897409U,
217	4270484676U, 1495388728U, 3754288477U, 4204167884U, 1386977705U,
218	2692224733U, 3076249689U, 4109568048U, 4170955115U, 4167531356U,
219	4020189950U, 4261855038U, 3036907575U, 3410399885U, 3076395737U,
220	1046178638U,  144496770U,  230725846U, 3349637149U,   17065717U,
221	2809932048U, 2054581785U, 3608424964U, 3259628808U,  134897388U,
222	3743067463U,  257685904U, 3795656590U, 1562468719U, 3589103904U,
223	3120404710U,  254684547U, 2653661580U, 3663904795U, 2631942758U,
224	1063234347U, 2609732900U, 2332080715U, 3521125233U, 1180599599U,
225	1935868586U, 4110970440U,  296706371U, 2128666368U, 1319875791U,
226	1570900197U, 3096025483U, 1799882517U, 1928302007U, 1163707758U,
227	1244491489U, 3533770203U,  567496053U, 2757924305U, 2781639343U,
228	2818420107U,  560404889U, 2619609724U, 4176035430U, 2511289753U,
229	2521842019U, 3910553502U, 2926149387U, 3302078172U, 4237118867U,
230	 330725126U,  367400677U,  888239854U,  545570454U, 4259590525U,
231	 134343617U, 1102169784U, 1647463719U, 3260979784U, 1518840883U,
232	3631537963U, 3342671457U, 1301549147U, 2083739356U,  146593792U,
233	3217959080U,  652755743U, 2032187193U, 3898758414U, 1021358093U,
234	4037409230U, 2176407931U, 3427391950U, 2883553603U,  985613827U,
235	3105265092U, 3423168427U, 3387507672U,  467170288U, 2141266163U,
236	3723870208U,  916410914U, 1293987799U, 2652584950U,  769160137U,
237	3205292896U, 1561287359U, 1684510084U, 3136055621U, 3765171391U,
238	 639683232U, 2639569327U, 1218546948U, 4263586685U, 3058215773U,
239	2352279820U,  401870217U, 2625822463U, 1529125296U, 2981801895U,
240	1191285226U, 4027725437U, 3432700217U, 4098835661U,  971182783U,
241	2443861173U, 3881457123U, 3874386651U,  457276199U, 2638294160U,
242	4002809368U,  421169044U, 1112642589U, 3076213779U, 3387033971U,
243	2499610950U, 3057240914U, 1662679783U,  461224431U, 1168395933U
244};
245static const uint32_t init_by_array_32_expected[] = {
246	2920711183U, 3885745737U, 3501893680U,  856470934U, 1421864068U,
247	 277361036U, 1518638004U, 2328404353U, 3355513634U,   64329189U,
248	1624587673U, 3508467182U, 2481792141U, 3706480799U, 1925859037U,
249	2913275699U,  882658412U,  384641219U,  422202002U, 1873384891U,
250	2006084383U, 3924929912U, 1636718106U, 3108838742U, 1245465724U,
251	4195470535U,  779207191U, 1577721373U, 1390469554U, 2928648150U,
252	 121399709U, 3170839019U, 4044347501U,  953953814U, 3821710850U,
253	3085591323U, 3666535579U, 3577837737U, 2012008410U, 3565417471U,
254	4044408017U,  433600965U, 1637785608U, 1798509764U,  860770589U,
255	3081466273U, 3982393409U, 2451928325U, 3437124742U, 4093828739U,
256	3357389386U, 2154596123U,  496568176U, 2650035164U, 2472361850U,
257	   3438299U, 2150366101U, 1577256676U, 3802546413U, 1787774626U,
258	4078331588U, 3706103141U,  170391138U, 3806085154U, 1680970100U,
259	1961637521U, 3316029766U,  890610272U, 1453751581U, 1430283664U,
260	3051057411U, 3597003186U,  542563954U, 3796490244U, 1690016688U,
261	3448752238U,  440702173U,  347290497U, 1121336647U, 2540588620U,
262	 280881896U, 2495136428U,  213707396U,   15104824U, 2946180358U,
263	 659000016U,  566379385U, 2614030979U, 2855760170U,  334526548U,
264	2315569495U, 2729518615U,  564745877U, 1263517638U, 3157185798U,
265	1604852056U, 1011639885U, 2950579535U, 2524219188U,  312951012U,
266	1528896652U, 1327861054U, 2846910138U, 3966855905U, 2536721582U,
267	 855353911U, 1685434729U, 3303978929U, 1624872055U, 4020329649U,
268	3164802143U, 1642802700U, 1957727869U, 1792352426U, 3334618929U,
269	2631577923U, 3027156164U,  842334259U, 3353446843U, 1226432104U,
270	1742801369U, 3552852535U, 3471698828U, 1653910186U, 3380330939U,
271	2313782701U, 3351007196U, 2129839995U, 1800682418U, 4085884420U,
272	1625156629U, 3669701987U,  615211810U, 3294791649U, 4131143784U,
273	2590843588U, 3207422808U, 3275066464U,  561592872U, 3957205738U,
274	3396578098U,   48410678U, 3505556445U, 1005764855U, 3920606528U,
275	2936980473U, 2378918600U, 2404449845U, 1649515163U,  701203563U,
276	3705256349U,   83714199U, 3586854132U,  922978446U, 2863406304U,
277	3523398907U, 2606864832U, 2385399361U, 3171757816U, 4262841009U,
278	3645837721U, 1169579486U, 3666433897U, 3174689479U, 1457866976U,
279	3803895110U, 3346639145U, 1907224409U, 1978473712U, 1036712794U,
280	 980754888U, 1302782359U, 1765252468U,  459245755U, 3728923860U,
281	1512894209U, 2046491914U,  207860527U,  514188684U, 2288713615U,
282	1597354672U, 3349636117U, 2357291114U, 3995796221U,  945364213U,
283	1893326518U, 3770814016U, 1691552714U, 2397527410U,  967486361U,
284	 776416472U, 4197661421U,  951150819U, 1852770983U, 4044624181U,
285	1399439738U, 4194455275U, 2284037669U, 1550734958U, 3321078108U,
286	1865235926U, 2912129961U, 2664980877U, 1357572033U, 2600196436U,
287	2486728200U, 2372668724U, 1567316966U, 2374111491U, 1839843570U,
288	  20815612U, 3727008608U, 3871996229U,  824061249U, 1932503978U,
289	3404541726U,  758428924U, 2609331364U, 1223966026U, 1299179808U,
290	 648499352U, 2180134401U,  880821170U, 3781130950U,  113491270U,
291	1032413764U, 4185884695U, 2490396037U, 1201932817U, 4060951446U,
292	4165586898U, 1629813212U, 2887821158U,  415045333U,  628926856U,
293	2193466079U, 3391843445U, 2227540681U, 1907099846U, 2848448395U,
294	1717828221U, 1372704537U, 1707549841U, 2294058813U, 2101214437U,
295	2052479531U, 1695809164U, 3176587306U, 2632770465U,   81634404U,
296	1603220563U,  644238487U,  302857763U,  897352968U, 2613146653U,
297	1391730149U, 4245717312U, 4191828749U, 1948492526U, 2618174230U,
298	3992984522U, 2178852787U, 3596044509U, 3445573503U, 2026614616U,
299	 915763564U, 3415689334U, 2532153403U, 3879661562U, 2215027417U,
300	3111154986U, 2929478371U,  668346391U, 1152241381U, 2632029711U,
301	3004150659U, 2135025926U,  948690501U, 2799119116U, 4228829406U,
302	1981197489U, 4209064138U,  684318751U, 3459397845U,  201790843U,
303	4022541136U, 3043635877U,  492509624U, 3263466772U, 1509148086U,
304	 921459029U, 3198857146U,  705479721U, 3835966910U, 3603356465U,
305	 576159741U, 1742849431U,  594214882U, 2055294343U, 3634861861U,
306	 449571793U, 3246390646U, 3868232151U, 1479156585U, 2900125656U,
307	2464815318U, 3960178104U, 1784261920U,   18311476U, 3627135050U,
308	 644609697U,  424968996U,  919890700U, 2986824110U,  816423214U,
309	4003562844U, 1392714305U, 1757384428U, 2569030598U,  995949559U,
310	3875659880U, 2933807823U, 2752536860U, 2993858466U, 4030558899U,
311	2770783427U, 2775406005U, 2777781742U, 1931292655U,  472147933U,
312	3865853827U, 2726470545U, 2668412860U, 2887008249U,  408979190U,
313	3578063323U, 3242082049U, 1778193530U,   27981909U, 2362826515U,
314	 389875677U, 1043878156U,  581653903U, 3830568952U,  389535942U,
315	3713523185U, 2768373359U, 2526101582U, 1998618197U, 1160859704U,
316	3951172488U, 1098005003U,  906275699U, 3446228002U, 2220677963U,
317	2059306445U,  132199571U,  476838790U, 1868039399U, 3097344807U,
318	 857300945U,  396345050U, 2835919916U, 1782168828U, 1419519470U,
319	4288137521U,  819087232U,  596301494U,  872823172U, 1526888217U,
320	 805161465U, 1116186205U, 2829002754U, 2352620120U,  620121516U,
321	 354159268U, 3601949785U,  209568138U, 1352371732U, 2145977349U,
322	4236871834U, 1539414078U, 3558126206U, 3224857093U, 4164166682U,
323	3817553440U, 3301780278U, 2682696837U, 3734994768U, 1370950260U,
324	1477421202U, 2521315749U, 1330148125U, 1261554731U, 2769143688U,
325	3554756293U, 4235882678U, 3254686059U, 3530579953U, 1215452615U,
326	3574970923U, 4057131421U,  589224178U, 1000098193U,  171190718U,
327	2521852045U, 2351447494U, 2284441580U, 2646685513U, 3486933563U,
328	3789864960U, 1190528160U, 1702536782U, 1534105589U, 4262946827U,
329	2726686826U, 3584544841U, 2348270128U, 2145092281U, 2502718509U,
330	1027832411U, 3571171153U, 1287361161U, 4011474411U, 3241215351U,
331	2419700818U,  971242709U, 1361975763U, 1096842482U, 3271045537U,
332	  81165449U,  612438025U, 3912966678U, 1356929810U,  733545735U,
333	 537003843U, 1282953084U,  884458241U,  588930090U, 3930269801U,
334	2961472450U, 1219535534U, 3632251943U,  268183903U, 1441240533U,
335	3653903360U, 3854473319U, 2259087390U, 2548293048U, 2022641195U,
336	2105543911U, 1764085217U, 3246183186U,  482438805U,  888317895U,
337	2628314765U, 2466219854U,  717546004U, 2322237039U,  416725234U,
338	1544049923U, 1797944973U, 3398652364U, 3111909456U,  485742908U,
339	2277491072U, 1056355088U, 3181001278U,  129695079U, 2693624550U,
340	1764438564U, 3797785470U,  195503713U, 3266519725U, 2053389444U,
341	1961527818U, 3400226523U, 3777903038U, 2597274307U, 4235851091U,
342	4094406648U, 2171410785U, 1781151386U, 1378577117U,  654643266U,
343	3424024173U, 3385813322U,  679385799U,  479380913U,  681715441U,
344	3096225905U,  276813409U, 3854398070U, 2721105350U,  831263315U,
345	3276280337U, 2628301522U, 3984868494U, 1466099834U, 2104922114U,
346	1412672743U,  820330404U, 3491501010U,  942735832U,  710652807U,
347	3972652090U,  679881088U,   40577009U, 3705286397U, 2815423480U,
348	3566262429U,  663396513U, 3777887429U, 4016670678U,  404539370U,
349	1142712925U, 1140173408U, 2913248352U, 2872321286U,  263751841U,
350	3175196073U, 3162557581U, 2878996619U,   75498548U, 3836833140U,
351	3284664959U, 1157523805U,  112847376U,  207855609U, 1337979698U,
352	1222578451U,  157107174U,  901174378U, 3883717063U, 1618632639U,
353	1767889440U, 4264698824U, 1582999313U,  884471997U, 2508825098U,
354	3756370771U, 2457213553U, 3565776881U, 3709583214U,  915609601U,
355	 460833524U, 1091049576U,   85522880U,    2553251U,  132102809U,
356	2429882442U, 2562084610U, 1386507633U, 4112471229U,   21965213U,
357	1981516006U, 2418435617U, 3054872091U, 4251511224U, 2025783543U,
358	1916911512U, 2454491136U, 3938440891U, 3825869115U, 1121698605U,
359	3463052265U,  802340101U, 1912886800U, 4031997367U, 3550640406U,
360	1596096923U,  610150600U,  431464457U, 2541325046U,  486478003U,
361	 739704936U, 2862696430U, 3037903166U, 1129749694U, 2611481261U,
362	1228993498U,  510075548U, 3424962587U, 2458689681U,  818934833U,
363	4233309125U, 1608196251U, 3419476016U, 1858543939U, 2682166524U,
364	3317854285U,  631986188U, 3008214764U,  613826412U, 3567358221U,
365	3512343882U, 1552467474U, 3316162670U, 1275841024U, 4142173454U,
366	 565267881U,  768644821U,  198310105U, 2396688616U, 1837659011U,
367	 203429334U,  854539004U, 4235811518U, 3338304926U, 3730418692U,
368	3852254981U, 3032046452U, 2329811860U, 2303590566U, 2696092212U,
369	3894665932U,  145835667U,  249563655U, 1932210840U, 2431696407U,
370	3312636759U,  214962629U, 2092026914U, 3020145527U, 4073039873U,
371	2739105705U, 1308336752U,  855104522U, 2391715321U,   67448785U,
372	 547989482U,  854411802U, 3608633740U,  431731530U,  537375589U,
373	3888005760U,  696099141U,  397343236U, 1864511780U,   44029739U,
374	1729526891U, 1993398655U, 2010173426U, 2591546756U,  275223291U,
375	1503900299U, 4217765081U, 2185635252U, 1122436015U, 3550155364U,
376	 681707194U, 3260479338U,  933579397U, 2983029282U, 2505504587U,
377	2667410393U, 2962684490U, 4139721708U, 2658172284U, 2452602383U,
378	2607631612U, 1344296217U, 3075398709U, 2949785295U, 1049956168U,
379	3917185129U, 2155660174U, 3280524475U, 1503827867U,  674380765U,
380	1918468193U, 3843983676U,  634358221U, 2538335643U, 1873351298U,
381	3368723763U, 2129144130U, 3203528633U, 3087174986U, 2691698871U,
382	2516284287U,   24437745U, 1118381474U, 2816314867U, 2448576035U,
383	4281989654U,  217287825U,  165872888U, 2628995722U, 3533525116U,
384	2721669106U,  872340568U, 3429930655U, 3309047304U, 3916704967U,
385	3270160355U, 1348884255U, 1634797670U,  881214967U, 4259633554U,
386	 174613027U, 1103974314U, 1625224232U, 2678368291U, 1133866707U,
387	3853082619U, 4073196549U, 1189620777U,  637238656U,  930241537U,
388	4042750792U, 3842136042U, 2417007212U, 2524907510U, 1243036827U,
389	1282059441U, 3764588774U, 1394459615U, 2323620015U, 1166152231U,
390	3307479609U, 3849322257U, 3507445699U, 4247696636U,  758393720U,
391	 967665141U, 1095244571U, 1319812152U,  407678762U, 2640605208U,
392	2170766134U, 3663594275U, 4039329364U, 2512175520U,  725523154U,
393	2249807004U, 3312617979U, 2414634172U, 1278482215U,  349206484U,
394	1573063308U, 1196429124U, 3873264116U, 2400067801U,  268795167U,
395	 226175489U, 2961367263U, 1968719665U,   42656370U, 1010790699U,
396	 561600615U, 2422453992U, 3082197735U, 1636700484U, 3977715296U,
397	3125350482U, 3478021514U, 2227819446U, 1540868045U, 3061908980U,
398	1087362407U, 3625200291U,  361937537U,  580441897U, 1520043666U,
399	2270875402U, 1009161260U, 2502355842U, 4278769785U,  473902412U,
400	1057239083U, 1905829039U, 1483781177U, 2080011417U, 1207494246U,
401	1806991954U, 2194674403U, 3455972205U,  807207678U, 3655655687U,
402	 674112918U,  195425752U, 3917890095U, 1874364234U, 1837892715U,
403	3663478166U, 1548892014U, 2570748714U, 2049929836U, 2167029704U,
404	 697543767U, 3499545023U, 3342496315U, 1725251190U, 3561387469U,
405	2905606616U, 1580182447U, 3934525927U, 4103172792U, 1365672522U,
406	1534795737U, 3308667416U, 2841911405U, 3943182730U, 4072020313U,
407	3494770452U, 3332626671U,   55327267U,  478030603U,  411080625U,
408	3419529010U, 1604767823U, 3513468014U,  570668510U,  913790824U,
409	2283967995U,  695159462U, 3825542932U, 4150698144U, 1829758699U,
410	 202895590U, 1609122645U, 1267651008U, 2910315509U, 2511475445U,
411	2477423819U, 3932081579U,  900879979U, 2145588390U, 2670007504U,
412	 580819444U, 1864996828U, 2526325979U, 1019124258U,  815508628U,
413	2765933989U, 1277301341U, 3006021786U,  855540956U,  288025710U,
414	1919594237U, 2331223864U,  177452412U, 2475870369U, 2689291749U,
415	 865194284U,  253432152U, 2628531804U, 2861208555U, 2361597573U,
416	1653952120U, 1039661024U, 2159959078U, 3709040440U, 3564718533U,
417	2596878672U, 2041442161U,   31164696U, 2662962485U, 3665637339U,
418	1678115244U, 2699839832U, 3651968520U, 3521595541U,  458433303U,
419	2423096824U,   21831741U,  380011703U, 2498168716U,  861806087U,
420	1673574843U, 4188794405U, 2520563651U, 2632279153U, 2170465525U,
421	4171949898U, 3886039621U, 1661344005U, 3424285243U,  992588372U,
422	2500984144U, 2993248497U, 3590193895U, 1535327365U,  515645636U,
423	 131633450U, 3729760261U, 1613045101U, 3254194278U,   15889678U,
424	1493590689U,  244148718U, 2991472662U, 1401629333U,  777349878U,
425	2501401703U, 4285518317U, 3794656178U,  955526526U, 3442142820U,
426	3970298374U,  736025417U, 2737370764U, 1271509744U,  440570731U,
427	 136141826U, 1596189518U,  923399175U,  257541519U, 3505774281U,
428	2194358432U, 2518162991U, 1379893637U, 2667767062U, 3748146247U,
429	1821712620U, 3923161384U, 1947811444U, 2392527197U, 4127419685U,
430	1423694998U, 4156576871U, 1382885582U, 3420127279U, 3617499534U,
431	2994377493U, 4038063986U, 1918458672U, 2983166794U, 4200449033U,
432	 353294540U, 1609232588U,  243926648U, 2332803291U,  507996832U,
433	2392838793U, 4075145196U, 2060984340U, 4287475136U,   88232602U,
434	2491531140U, 4159725633U, 2272075455U,  759298618U,  201384554U,
435	 838356250U, 1416268324U,  674476934U,   90795364U,  141672229U,
436	3660399588U, 4196417251U, 3249270244U, 3774530247U,   59587265U,
437	3683164208U,   19392575U, 1463123697U, 1882205379U,  293780489U,
438	2553160622U, 2933904694U,  675638239U, 2851336944U, 1435238743U,
439	2448730183U,  804436302U, 2119845972U,  322560608U, 4097732704U,
440	2987802540U,  641492617U, 2575442710U, 4217822703U, 3271835300U,
441	2836418300U, 3739921620U, 2138378768U, 2879771855U, 4294903423U,
442	3121097946U, 2603440486U, 2560820391U, 1012930944U, 2313499967U,
443	 584489368U, 3431165766U,  897384869U, 2062537737U, 2847889234U,
444	3742362450U, 2951174585U, 4204621084U, 1109373893U, 3668075775U,
445	2750138839U, 3518055702U,  733072558U, 4169325400U,  788493625U
446};
447static const uint64_t init_gen_rand_64_expected[] = {
448	KQU(16924766246869039260), KQU( 8201438687333352714),
449	KQU( 2265290287015001750), KQU(18397264611805473832),
450	KQU( 3375255223302384358), KQU( 6345559975416828796),
451	KQU(18229739242790328073), KQU( 7596792742098800905),
452	KQU(  255338647169685981), KQU( 2052747240048610300),
453	KQU(18328151576097299343), KQU(12472905421133796567),
454	KQU(11315245349717600863), KQU(16594110197775871209),
455	KQU(15708751964632456450), KQU(10452031272054632535),
456	KQU(11097646720811454386), KQU( 4556090668445745441),
457	KQU(17116187693090663106), KQU(14931526836144510645),
458	KQU( 9190752218020552591), KQU( 9625800285771901401),
459	KQU(13995141077659972832), KQU( 5194209094927829625),
460	KQU( 4156788379151063303), KQU( 8523452593770139494),
461	KQU(14082382103049296727), KQU( 2462601863986088483),
462	KQU( 3030583461592840678), KQU( 5221622077872827681),
463	KQU( 3084210671228981236), KQU(13956758381389953823),
464	KQU(13503889856213423831), KQU(15696904024189836170),
465	KQU( 4612584152877036206), KQU( 6231135538447867881),
466	KQU(10172457294158869468), KQU( 6452258628466708150),
467	KQU(14044432824917330221), KQU(  370168364480044279),
468	KQU(10102144686427193359), KQU(  667870489994776076),
469	KQU( 2732271956925885858), KQU(18027788905977284151),
470	KQU(15009842788582923859), KQU( 7136357960180199542),
471	KQU(15901736243475578127), KQU(16951293785352615701),
472	KQU(10551492125243691632), KQU(17668869969146434804),
473	KQU(13646002971174390445), KQU( 9804471050759613248),
474	KQU( 5511670439655935493), KQU(18103342091070400926),
475	KQU(17224512747665137533), KQU(15534627482992618168),
476	KQU( 1423813266186582647), KQU(15821176807932930024),
477	KQU(   30323369733607156), KQU(11599382494723479403),
478	KQU(  653856076586810062), KQU( 3176437395144899659),
479	KQU(14028076268147963917), KQU(16156398271809666195),
480	KQU( 3166955484848201676), KQU( 5746805620136919390),
481	KQU(17297845208891256593), KQU(11691653183226428483),
482	KQU(17900026146506981577), KQU(15387382115755971042),
483	KQU(16923567681040845943), KQU( 8039057517199388606),
484	KQU(11748409241468629263), KQU(  794358245539076095),
485	KQU(13438501964693401242), KQU(14036803236515618962),
486	KQU( 5252311215205424721), KQU(17806589612915509081),
487	KQU( 6802767092397596006), KQU(14212120431184557140),
488	KQU( 1072951366761385712), KQU(13098491780722836296),
489	KQU( 9466676828710797353), KQU(12673056849042830081),
490	KQU(12763726623645357580), KQU(16468961652999309493),
491	KQU(15305979875636438926), KQU(17444713151223449734),
492	KQU( 5692214267627883674), KQU(13049589139196151505),
493	KQU(  880115207831670745), KQU( 1776529075789695498),
494	KQU(16695225897801466485), KQU(10666901778795346845),
495	KQU( 6164389346722833869), KQU( 2863817793264300475),
496	KQU( 9464049921886304754), KQU( 3993566636740015468),
497	KQU( 9983749692528514136), KQU(16375286075057755211),
498	KQU(16042643417005440820), KQU(11445419662923489877),
499	KQU( 7999038846885158836), KQU( 6721913661721511535),
500	KQU( 5363052654139357320), KQU( 1817788761173584205),
501	KQU(13290974386445856444), KQU( 4650350818937984680),
502	KQU( 8219183528102484836), KQU( 1569862923500819899),
503	KQU( 4189359732136641860), KQU(14202822961683148583),
504	KQU( 4457498315309429058), KQU(13089067387019074834),
505	KQU(11075517153328927293), KQU(10277016248336668389),
506	KQU( 7070509725324401122), KQU(17808892017780289380),
507	KQU(13143367339909287349), KQU( 1377743745360085151),
508	KQU( 5749341807421286485), KQU(14832814616770931325),
509	KQU( 7688820635324359492), KQU(10960474011539770045),
510	KQU(   81970066653179790), KQU(12619476072607878022),
511	KQU( 4419566616271201744), KQU(15147917311750568503),
512	KQU( 5549739182852706345), KQU( 7308198397975204770),
513	KQU(13580425496671289278), KQU(17070764785210130301),
514	KQU( 8202832846285604405), KQU( 6873046287640887249),
515	KQU( 6927424434308206114), KQU( 6139014645937224874),
516	KQU(10290373645978487639), KQU(15904261291701523804),
517	KQU( 9628743442057826883), KQU(18383429096255546714),
518	KQU( 4977413265753686967), KQU( 7714317492425012869),
519	KQU( 9025232586309926193), KQU(14627338359776709107),
520	KQU(14759849896467790763), KQU(10931129435864423252),
521	KQU( 4588456988775014359), KQU(10699388531797056724),
522	KQU(  468652268869238792), KQU( 5755943035328078086),
523	KQU( 2102437379988580216), KQU( 9986312786506674028),
524	KQU( 2654207180040945604), KQU( 8726634790559960062),
525	KQU(  100497234871808137), KQU( 2800137176951425819),
526	KQU( 6076627612918553487), KQU( 5780186919186152796),
527	KQU( 8179183595769929098), KQU( 6009426283716221169),
528	KQU( 2796662551397449358), KQU( 1756961367041986764),
529	KQU( 6972897917355606205), KQU(14524774345368968243),
530	KQU( 2773529684745706940), KQU( 4853632376213075959),
531	KQU( 4198177923731358102), KQU( 8271224913084139776),
532	KQU( 2741753121611092226), KQU(16782366145996731181),
533	KQU(15426125238972640790), KQU(13595497100671260342),
534	KQU( 3173531022836259898), KQU( 6573264560319511662),
535	KQU(18041111951511157441), KQU( 2351433581833135952),
536	KQU( 3113255578908173487), KQU( 1739371330877858784),
537	KQU(16046126562789165480), KQU( 8072101652214192925),
538	KQU(15267091584090664910), KQU( 9309579200403648940),
539	KQU( 5218892439752408722), KQU(14492477246004337115),
540	KQU(17431037586679770619), KQU( 7385248135963250480),
541	KQU( 9580144956565560660), KQU( 4919546228040008720),
542	KQU(15261542469145035584), KQU(18233297270822253102),
543	KQU( 5453248417992302857), KQU( 9309519155931460285),
544	KQU(10342813012345291756), KQU(15676085186784762381),
545	KQU(15912092950691300645), KQU( 9371053121499003195),
546	KQU( 9897186478226866746), KQU(14061858287188196327),
547	KQU(  122575971620788119), KQU(12146750969116317754),
548	KQU( 4438317272813245201), KQU( 8332576791009527119),
549	KQU(13907785691786542057), KQU(10374194887283287467),
550	KQU( 2098798755649059566), KQU( 3416235197748288894),
551	KQU( 8688269957320773484), KQU( 7503964602397371571),
552	KQU(16724977015147478236), KQU( 9461512855439858184),
553	KQU(13259049744534534727), KQU( 3583094952542899294),
554	KQU( 8764245731305528292), KQU(13240823595462088985),
555	KQU(13716141617617910448), KQU(18114969519935960955),
556	KQU( 2297553615798302206), KQU( 4585521442944663362),
557	KQU(17776858680630198686), KQU( 4685873229192163363),
558	KQU(  152558080671135627), KQU(15424900540842670088),
559	KQU(13229630297130024108), KQU(17530268788245718717),
560	KQU(16675633913065714144), KQU( 3158912717897568068),
561	KQU(15399132185380087288), KQU( 7401418744515677872),
562	KQU(13135412922344398535), KQU( 6385314346100509511),
563	KQU(13962867001134161139), KQU(10272780155442671999),
564	KQU(12894856086597769142), KQU(13340877795287554994),
565	KQU(12913630602094607396), KQU(12543167911119793857),
566	KQU(17343570372251873096), KQU(10959487764494150545),
567	KQU( 6966737953093821128), KQU(13780699135496988601),
568	KQU( 4405070719380142046), KQU(14923788365607284982),
569	KQU( 2869487678905148380), KQU( 6416272754197188403),
570	KQU(15017380475943612591), KQU( 1995636220918429487),
571	KQU( 3402016804620122716), KQU(15800188663407057080),
572	KQU(11362369990390932882), KQU(15262183501637986147),
573	KQU(10239175385387371494), KQU( 9352042420365748334),
574	KQU( 1682457034285119875), KQU( 1724710651376289644),
575	KQU( 2038157098893817966), KQU( 9897825558324608773),
576	KQU( 1477666236519164736), KQU(16835397314511233640),
577	KQU(10370866327005346508), KQU(10157504370660621982),
578	KQU(12113904045335882069), KQU(13326444439742783008),
579	KQU(11302769043000765804), KQU(13594979923955228484),
580	KQU(11779351762613475968), KQU( 3786101619539298383),
581	KQU( 8021122969180846063), KQU(15745904401162500495),
582	KQU(10762168465993897267), KQU(13552058957896319026),
583	KQU(11200228655252462013), KQU( 5035370357337441226),
584	KQU( 7593918984545500013), KQU( 5418554918361528700),
585	KQU( 4858270799405446371), KQU( 9974659566876282544),
586	KQU(18227595922273957859), KQU( 2772778443635656220),
587	KQU(14285143053182085385), KQU( 9939700992429600469),
588	KQU(12756185904545598068), KQU( 2020783375367345262),
589	KQU(   57026775058331227), KQU(  950827867930065454),
590	KQU( 6602279670145371217), KQU( 2291171535443566929),
591	KQU( 5832380724425010313), KQU( 1220343904715982285),
592	KQU(17045542598598037633), KQU(15460481779702820971),
593	KQU(13948388779949365130), KQU(13975040175430829518),
594	KQU(17477538238425541763), KQU(11104663041851745725),
595	KQU(15860992957141157587), KQU(14529434633012950138),
596	KQU( 2504838019075394203), KQU( 7512113882611121886),
597	KQU( 4859973559980886617), KQU( 1258601555703250219),
598	KQU(15594548157514316394), KQU( 4516730171963773048),
599	KQU(11380103193905031983), KQU( 6809282239982353344),
600	KQU(18045256930420065002), KQU( 2453702683108791859),
601	KQU(  977214582986981460), KQU( 2006410402232713466),
602	KQU( 6192236267216378358), KQU( 3429468402195675253),
603	KQU(18146933153017348921), KQU(17369978576367231139),
604	KQU( 1246940717230386603), KQU(11335758870083327110),
605	KQU(14166488801730353682), KQU( 9008573127269635732),
606	KQU(10776025389820643815), KQU(15087605441903942962),
607	KQU( 1359542462712147922), KQU(13898874411226454206),
608	KQU(17911176066536804411), KQU( 9435590428600085274),
609	KQU(  294488509967864007), KQU( 8890111397567922046),
610	KQU( 7987823476034328778), KQU(13263827582440967651),
611	KQU( 7503774813106751573), KQU(14974747296185646837),
612	KQU( 8504765037032103375), KQU(17340303357444536213),
613	KQU( 7704610912964485743), KQU( 8107533670327205061),
614	KQU( 9062969835083315985), KQU(16968963142126734184),
615	KQU(12958041214190810180), KQU( 2720170147759570200),
616	KQU( 2986358963942189566), KQU(14884226322219356580),
617	KQU(  286224325144368520), KQU(11313800433154279797),
618	KQU(18366849528439673248), KQU(17899725929482368789),
619	KQU( 3730004284609106799), KQU( 1654474302052767205),
620	KQU( 5006698007047077032), KQU( 8196893913601182838),
621	KQU(15214541774425211640), KQU(17391346045606626073),
622	KQU( 8369003584076969089), KQU( 3939046733368550293),
623	KQU(10178639720308707785), KQU( 2180248669304388697),
624	KQU(   62894391300126322), KQU( 9205708961736223191),
625	KQU( 6837431058165360438), KQU( 3150743890848308214),
626	KQU(17849330658111464583), KQU(12214815643135450865),
627	KQU(13410713840519603402), KQU( 3200778126692046802),
628	KQU(13354780043041779313), KQU(  800850022756886036),
629	KQU(15660052933953067433), KQU( 6572823544154375676),
630	KQU(11030281857015819266), KQU(12682241941471433835),
631	KQU(11654136407300274693), KQU( 4517795492388641109),
632	KQU( 9757017371504524244), KQU(17833043400781889277),
633	KQU(12685085201747792227), KQU(10408057728835019573),
634	KQU(   98370418513455221), KQU( 6732663555696848598),
635	KQU(13248530959948529780), KQU( 3530441401230622826),
636	KQU(18188251992895660615), KQU( 1847918354186383756),
637	KQU( 1127392190402660921), KQU(11293734643143819463),
638	KQU( 3015506344578682982), KQU(13852645444071153329),
639	KQU( 2121359659091349142), KQU( 1294604376116677694),
640	KQU( 5616576231286352318), KQU( 7112502442954235625),
641	KQU(11676228199551561689), KQU(12925182803007305359),
642	KQU( 7852375518160493082), KQU( 1136513130539296154),
643	KQU( 5636923900916593195), KQU( 3221077517612607747),
644	KQU(17784790465798152513), KQU( 3554210049056995938),
645	KQU(17476839685878225874), KQU( 3206836372585575732),
646	KQU( 2765333945644823430), KQU(10080070903718799528),
647	KQU( 5412370818878286353), KQU( 9689685887726257728),
648	KQU( 8236117509123533998), KQU( 1951139137165040214),
649	KQU( 4492205209227980349), KQU(16541291230861602967),
650	KQU( 1424371548301437940), KQU( 9117562079669206794),
651	KQU(14374681563251691625), KQU(13873164030199921303),
652	KQU( 6680317946770936731), KQU(15586334026918276214),
653	KQU(10896213950976109802), KQU( 9506261949596413689),
654	KQU( 9903949574308040616), KQU( 6038397344557204470),
655	KQU(  174601465422373648), KQU(15946141191338238030),
656	KQU(17142225620992044937), KQU( 7552030283784477064),
657	KQU( 2947372384532947997), KQU(  510797021688197711),
658	KQU( 4962499439249363461), KQU(   23770320158385357),
659	KQU(  959774499105138124), KQU( 1468396011518788276),
660	KQU( 2015698006852312308), KQU( 4149400718489980136),
661	KQU( 5992916099522371188), KQU(10819182935265531076),
662	KQU(16189787999192351131), KQU(  342833961790261950),
663	KQU(12470830319550495336), KQU(18128495041912812501),
664	KQU( 1193600899723524337), KQU( 9056793666590079770),
665	KQU( 2154021227041669041), KQU( 4963570213951235735),
666	KQU( 4865075960209211409), KQU( 2097724599039942963),
667	KQU( 2024080278583179845), KQU(11527054549196576736),
668	KQU(10650256084182390252), KQU( 4808408648695766755),
669	KQU( 1642839215013788844), KQU(10607187948250398390),
670	KQU( 7076868166085913508), KQU(  730522571106887032),
671	KQU(12500579240208524895), KQU( 4484390097311355324),
672	KQU(15145801330700623870), KQU( 8055827661392944028),
673	KQU( 5865092976832712268), KQU(15159212508053625143),
674	KQU( 3560964582876483341), KQU( 4070052741344438280),
675	KQU( 6032585709886855634), KQU(15643262320904604873),
676	KQU( 2565119772293371111), KQU(  318314293065348260),
677	KQU(15047458749141511872), KQU( 7772788389811528730),
678	KQU( 7081187494343801976), KQU( 6465136009467253947),
679	KQU(10425940692543362069), KQU(  554608190318339115),
680	KQU(14796699860302125214), KQU( 1638153134431111443),
681	KQU(10336967447052276248), KQU( 8412308070396592958),
682	KQU( 4004557277152051226), KQU( 8143598997278774834),
683	KQU(16413323996508783221), KQU(13139418758033994949),
684	KQU( 9772709138335006667), KQU( 2818167159287157659),
685	KQU(17091740573832523669), KQU(14629199013130751608),
686	KQU(18268322711500338185), KQU( 8290963415675493063),
687	KQU( 8830864907452542588), KQU( 1614839084637494849),
688	KQU(14855358500870422231), KQU( 3472996748392519937),
689	KQU(15317151166268877716), KQU( 5825895018698400362),
690	KQU(16730208429367544129), KQU(10481156578141202800),
691	KQU( 4746166512382823750), KQU(12720876014472464998),
692	KQU( 8825177124486735972), KQU(13733447296837467838),
693	KQU( 6412293741681359625), KQU( 8313213138756135033),
694	KQU(11421481194803712517), KQU( 7997007691544174032),
695	KQU( 6812963847917605930), KQU( 9683091901227558641),
696	KQU(14703594165860324713), KQU( 1775476144519618309),
697	KQU( 2724283288516469519), KQU(  717642555185856868),
698	KQU( 8736402192215092346), KQU(11878800336431381021),
699	KQU( 4348816066017061293), KQU( 6115112756583631307),
700	KQU( 9176597239667142976), KQU(12615622714894259204),
701	KQU(10283406711301385987), KQU( 5111762509485379420),
702	KQU( 3118290051198688449), KQU( 7345123071632232145),
703	KQU( 9176423451688682359), KQU( 4843865456157868971),
704	KQU(12008036363752566088), KQU(12058837181919397720),
705	KQU( 2145073958457347366), KQU( 1526504881672818067),
706	KQU( 3488830105567134848), KQU(13208362960674805143),
707	KQU( 4077549672899572192), KQU( 7770995684693818365),
708	KQU( 1398532341546313593), KQU(12711859908703927840),
709	KQU( 1417561172594446813), KQU(17045191024194170604),
710	KQU( 4101933177604931713), KQU(14708428834203480320),
711	KQU(17447509264469407724), KQU(14314821973983434255),
712	KQU(17990472271061617265), KQU( 5087756685841673942),
713	KQU(12797820586893859939), KQU( 1778128952671092879),
714	KQU( 3535918530508665898), KQU( 9035729701042481301),
715	KQU(14808661568277079962), KQU(14587345077537747914),
716	KQU(11920080002323122708), KQU( 6426515805197278753),
717	KQU( 3295612216725984831), KQU(11040722532100876120),
718	KQU(12305952936387598754), KQU(16097391899742004253),
719	KQU( 4908537335606182208), KQU(12446674552196795504),
720	KQU(16010497855816895177), KQU( 9194378874788615551),
721	KQU( 3382957529567613384), KQU( 5154647600754974077),
722	KQU( 9801822865328396141), KQU( 9023662173919288143),
723	KQU(17623115353825147868), KQU( 8238115767443015816),
724	KQU(15811444159859002560), KQU( 9085612528904059661),
725	KQU( 6888601089398614254), KQU(  258252992894160189),
726	KQU( 6704363880792428622), KQU( 6114966032147235763),
727	KQU(11075393882690261875), KQU( 8797664238933620407),
728	KQU( 5901892006476726920), KQU( 5309780159285518958),
729	KQU(14940808387240817367), KQU(14642032021449656698),
730	KQU( 9808256672068504139), KQU( 3670135111380607658),
731	KQU(11211211097845960152), KQU( 1474304506716695808),
732	KQU(15843166204506876239), KQU( 7661051252471780561),
733	KQU(10170905502249418476), KQU( 7801416045582028589),
734	KQU( 2763981484737053050), KQU( 9491377905499253054),
735	KQU(16201395896336915095), KQU( 9256513756442782198),
736	KQU( 5411283157972456034), KQU( 5059433122288321676),
737	KQU( 4327408006721123357), KQU( 9278544078834433377),
738	KQU( 7601527110882281612), KQU(11848295896975505251),
739	KQU(12096998801094735560), KQU(14773480339823506413),
740	KQU(15586227433895802149), KQU(12786541257830242872),
741	KQU( 6904692985140503067), KQU( 5309011515263103959),
742	KQU(12105257191179371066), KQU(14654380212442225037),
743	KQU( 2556774974190695009), KQU( 4461297399927600261),
744	KQU(14888225660915118646), KQU(14915459341148291824),
745	KQU( 2738802166252327631), KQU( 6047155789239131512),
746	KQU(12920545353217010338), KQU(10697617257007840205),
747	KQU( 2751585253158203504), KQU(13252729159780047496),
748	KQU(14700326134672815469), KQU(14082527904374600529),
749	KQU(16852962273496542070), KQU(17446675504235853907),
750	KQU(15019600398527572311), KQU(12312781346344081551),
751	KQU(14524667935039810450), KQU( 5634005663377195738),
752	KQU(11375574739525000569), KQU( 2423665396433260040),
753	KQU( 5222836914796015410), KQU( 4397666386492647387),
754	KQU( 4619294441691707638), KQU(  665088602354770716),
755	KQU(13246495665281593610), KQU( 6564144270549729409),
756	KQU(10223216188145661688), KQU( 3961556907299230585),
757	KQU(11543262515492439914), KQU(16118031437285993790),
758	KQU( 7143417964520166465), KQU(13295053515909486772),
759	KQU(   40434666004899675), KQU(17127804194038347164),
760	KQU( 8599165966560586269), KQU( 8214016749011284903),
761	KQU(13725130352140465239), KQU( 5467254474431726291),
762	KQU( 7748584297438219877), KQU(16933551114829772472),
763	KQU( 2169618439506799400), KQU( 2169787627665113463),
764	KQU(17314493571267943764), KQU(18053575102911354912),
765	KQU(11928303275378476973), KQU(11593850925061715550),
766	KQU(17782269923473589362), KQU( 3280235307704747039),
767	KQU( 6145343578598685149), KQU(17080117031114086090),
768	KQU(18066839902983594755), KQU( 6517508430331020706),
769	KQU( 8092908893950411541), KQU(12558378233386153732),
770	KQU( 4476532167973132976), KQU(16081642430367025016),
771	KQU( 4233154094369139361), KQU( 8693630486693161027),
772	KQU(11244959343027742285), KQU(12273503967768513508),
773	KQU(14108978636385284876), KQU( 7242414665378826984),
774	KQU( 6561316938846562432), KQU( 8601038474994665795),
775	KQU(17532942353612365904), KQU(17940076637020912186),
776	KQU( 7340260368823171304), KQU( 7061807613916067905),
777	KQU(10561734935039519326), KQU(17990796503724650862),
778	KQU( 6208732943911827159), KQU(  359077562804090617),
779	KQU(14177751537784403113), KQU(10659599444915362902),
780	KQU(15081727220615085833), KQU(13417573895659757486),
781	KQU(15513842342017811524), KQU(11814141516204288231),
782	KQU( 1827312513875101814), KQU( 2804611699894603103),
783	KQU(17116500469975602763), KQU(12270191815211952087),
784	KQU(12256358467786024988), KQU(18435021722453971267),
785	KQU(  671330264390865618), KQU(  476504300460286050),
786	KQU(16465470901027093441), KQU( 4047724406247136402),
787	KQU( 1322305451411883346), KQU( 1388308688834322280),
788	KQU( 7303989085269758176), KQU( 9323792664765233642),
789	KQU( 4542762575316368936), KQU(17342696132794337618),
790	KQU( 4588025054768498379), KQU(13415475057390330804),
791	KQU(17880279491733405570), KQU(10610553400618620353),
792	KQU( 3180842072658960139), KQU(13002966655454270120),
793	KQU( 1665301181064982826), KQU( 7083673946791258979),
794	KQU(  190522247122496820), KQU(17388280237250677740),
795	KQU( 8430770379923642945), KQU(12987180971921668584),
796	KQU( 2311086108365390642), KQU( 2870984383579822345),
797	KQU(14014682609164653318), KQU(14467187293062251484),
798	KQU(  192186361147413298), KQU(15171951713531796524),
799	KQU( 9900305495015948728), KQU(17958004775615466344),
800	KQU(14346380954498606514), KQU(18040047357617407096),
801	KQU( 5035237584833424532), KQU(15089555460613972287),
802	KQU( 4131411873749729831), KQU( 1329013581168250330),
803	KQU(10095353333051193949), KQU(10749518561022462716),
804	KQU( 9050611429810755847), KQU(15022028840236655649),
805	KQU( 8775554279239748298), KQU(13105754025489230502),
806	KQU(15471300118574167585), KQU(   89864764002355628),
807	KQU( 8776416323420466637), KQU( 5280258630612040891),
808	KQU( 2719174488591862912), KQU( 7599309137399661994),
809	KQU(15012887256778039979), KQU(14062981725630928925),
810	KQU(12038536286991689603), KQU( 7089756544681775245),
811	KQU(10376661532744718039), KQU( 1265198725901533130),
812	KQU(13807996727081142408), KQU( 2935019626765036403),
813	KQU( 7651672460680700141), KQU( 3644093016200370795),
814	KQU( 2840982578090080674), KQU(17956262740157449201),
815	KQU(18267979450492880548), KQU(11799503659796848070),
816	KQU( 9942537025669672388), KQU(11886606816406990297),
817	KQU( 5488594946437447576), KQU( 7226714353282744302),
818	KQU( 3784851653123877043), KQU(  878018453244803041),
819	KQU(12110022586268616085), KQU(  734072179404675123),
820	KQU(11869573627998248542), KQU(  469150421297783998),
821	KQU(  260151124912803804), KQU(11639179410120968649),
822	KQU( 9318165193840846253), KQU(12795671722734758075),
823	KQU(15318410297267253933), KQU(  691524703570062620),
824	KQU( 5837129010576994601), KQU(15045963859726941052),
825	KQU( 5850056944932238169), KQU(12017434144750943807),
826	KQU( 7447139064928956574), KQU( 3101711812658245019),
827	KQU(16052940704474982954), KQU(18195745945986994042),
828	KQU( 8932252132785575659), KQU(13390817488106794834),
829	KQU(11582771836502517453), KQU( 4964411326683611686),
830	KQU( 2195093981702694011), KQU(14145229538389675669),
831	KQU(16459605532062271798), KQU(  866316924816482864),
832	KQU( 4593041209937286377), KQU( 8415491391910972138),
833	KQU( 4171236715600528969), KQU(16637569303336782889),
834	KQU( 2002011073439212680), KQU(17695124661097601411),
835	KQU( 4627687053598611702), KQU( 7895831936020190403),
836	KQU( 8455951300917267802), KQU( 2923861649108534854),
837	KQU( 8344557563927786255), KQU( 6408671940373352556),
838	KQU(12210227354536675772), KQU(14294804157294222295),
839	KQU(10103022425071085127), KQU(10092959489504123771),
840	KQU( 6554774405376736268), KQU(12629917718410641774),
841	KQU( 6260933257596067126), KQU( 2460827021439369673),
842	KQU( 2541962996717103668), KQU(  597377203127351475),
843	KQU( 5316984203117315309), KQU( 4811211393563241961),
844	KQU(13119698597255811641), KQU( 8048691512862388981),
845	KQU(10216818971194073842), KQU( 4612229970165291764),
846	KQU(10000980798419974770), KQU( 6877640812402540687),
847	KQU( 1488727563290436992), KQU( 2227774069895697318),
848	KQU(11237754507523316593), KQU(13478948605382290972),
849	KQU( 1963583846976858124), KQU( 5512309205269276457),
850	KQU( 3972770164717652347), KQU( 3841751276198975037),
851	KQU(10283343042181903117), KQU( 8564001259792872199),
852	KQU(16472187244722489221), KQU( 8953493499268945921),
853	KQU( 3518747340357279580), KQU( 4003157546223963073),
854	KQU( 3270305958289814590), KQU( 3966704458129482496),
855	KQU( 8122141865926661939), KQU(14627734748099506653),
856	KQU(13064426990862560568), KQU( 2414079187889870829),
857	KQU( 5378461209354225306), KQU(10841985740128255566),
858	KQU(  538582442885401738), KQU( 7535089183482905946),
859	KQU(16117559957598879095), KQU( 8477890721414539741),
860	KQU( 1459127491209533386), KQU(17035126360733620462),
861	KQU( 8517668552872379126), KQU(10292151468337355014),
862	KQU(17081267732745344157), KQU(13751455337946087178),
863	KQU(14026945459523832966), KQU( 6653278775061723516),
864	KQU(10619085543856390441), KQU( 2196343631481122885),
865	KQU(10045966074702826136), KQU(10082317330452718282),
866	KQU( 5920859259504831242), KQU( 9951879073426540617),
867	KQU( 7074696649151414158), KQU(15808193543879464318),
868	KQU( 7385247772746953374), KQU( 3192003544283864292),
869	KQU(18153684490917593847), KQU(12423498260668568905),
870	KQU(10957758099756378169), KQU(11488762179911016040),
871	KQU( 2099931186465333782), KQU(11180979581250294432),
872	KQU( 8098916250668367933), KQU( 3529200436790763465),
873	KQU(12988418908674681745), KQU( 6147567275954808580),
874	KQU( 3207503344604030989), KQU(10761592604898615360),
875	KQU(  229854861031893504), KQU( 8809853962667144291),
876	KQU(13957364469005693860), KQU( 7634287665224495886),
877	KQU(12353487366976556874), KQU( 1134423796317152034),
878	KQU( 2088992471334107068), KQU( 7393372127190799698),
879	KQU( 1845367839871058391), KQU(  207922563987322884),
880	KQU(11960870813159944976), KQU(12182120053317317363),
881	KQU(17307358132571709283), KQU(13871081155552824936),
882	KQU(18304446751741566262), KQU( 7178705220184302849),
883	KQU(10929605677758824425), KQU(16446976977835806844),
884	KQU(13723874412159769044), KQU( 6942854352100915216),
885	KQU( 1726308474365729390), KQU( 2150078766445323155),
886	KQU(15345558947919656626), KQU(12145453828874527201),
887	KQU( 2054448620739726849), KQU( 2740102003352628137),
888	KQU(11294462163577610655), KQU(  756164283387413743),
889	KQU(17841144758438810880), KQU(10802406021185415861),
890	KQU( 8716455530476737846), KQU( 6321788834517649606),
891	KQU(14681322910577468426), KQU(17330043563884336387),
892	KQU(12701802180050071614), KQU(14695105111079727151),
893	KQU( 5112098511654172830), KQU( 4957505496794139973),
894	KQU( 8270979451952045982), KQU(12307685939199120969),
895	KQU(12425799408953443032), KQU( 8376410143634796588),
896	KQU(16621778679680060464), KQU( 3580497854566660073),
897	KQU( 1122515747803382416), KQU(  857664980960597599),
898	KQU( 6343640119895925918), KQU(12878473260854462891),
899	KQU(10036813920765722626), KQU(14451335468363173812),
900	KQU( 5476809692401102807), KQU(16442255173514366342),
901	KQU(13060203194757167104), KQU(14354124071243177715),
902	KQU(15961249405696125227), KQU(13703893649690872584),
903	KQU(  363907326340340064), KQU( 6247455540491754842),
904	KQU(12242249332757832361), KQU(  156065475679796717),
905	KQU( 9351116235749732355), KQU( 4590350628677701405),
906	KQU( 1671195940982350389), KQU(13501398458898451905),
907	KQU( 6526341991225002255), KQU( 1689782913778157592),
908	KQU( 7439222350869010334), KQU(13975150263226478308),
909	KQU(11411961169932682710), KQU(17204271834833847277),
910	KQU(  541534742544435367), KQU( 6591191931218949684),
911	KQU( 2645454775478232486), KQU( 4322857481256485321),
912	KQU( 8477416487553065110), KQU(12902505428548435048),
913	KQU(  971445777981341415), KQU(14995104682744976712),
914	KQU( 4243341648807158063), KQU( 8695061252721927661),
915	KQU( 5028202003270177222), KQU( 2289257340915567840),
916	KQU(13870416345121866007), KQU(13994481698072092233),
917	KQU( 6912785400753196481), KQU( 2278309315841980139),
918	KQU( 4329765449648304839), KQU( 5963108095785485298),
919	KQU( 4880024847478722478), KQU(16015608779890240947),
920	KQU( 1866679034261393544), KQU(  914821179919731519),
921	KQU( 9643404035648760131), KQU( 2418114953615593915),
922	KQU(  944756836073702374), KQU(15186388048737296834),
923	KQU( 7723355336128442206), KQU( 7500747479679599691),
924	KQU(18013961306453293634), KQU( 2315274808095756456),
925	KQU(13655308255424029566), KQU(17203800273561677098),
926	KQU( 1382158694422087756), KQU( 5090390250309588976),
927	KQU(  517170818384213989), KQU( 1612709252627729621),
928	KQU( 1330118955572449606), KQU(  300922478056709885),
929	KQU(18115693291289091987), KQU(13491407109725238321),
930	KQU(15293714633593827320), KQU( 5151539373053314504),
931	KQU( 5951523243743139207), KQU(14459112015249527975),
932	KQU( 5456113959000700739), KQU( 3877918438464873016),
933	KQU(12534071654260163555), KQU(15871678376893555041),
934	KQU(11005484805712025549), KQU(16353066973143374252),
935	KQU( 4358331472063256685), KQU( 8268349332210859288),
936	KQU(12485161590939658075), KQU(13955993592854471343),
937	KQU( 5911446886848367039), KQU(14925834086813706974),
938	KQU( 6590362597857994805), KQU( 1280544923533661875),
939	KQU( 1637756018947988164), KQU( 4734090064512686329),
940	KQU(16693705263131485912), KQU( 6834882340494360958),
941	KQU( 8120732176159658505), KQU( 2244371958905329346),
942	KQU(10447499707729734021), KQU( 7318742361446942194),
943	KQU( 8032857516355555296), KQU(14023605983059313116),
944	KQU( 1032336061815461376), KQU( 9840995337876562612),
945	KQU( 9869256223029203587), KQU(12227975697177267636),
946	KQU(12728115115844186033), KQU( 7752058479783205470),
947	KQU(  729733219713393087), KQU(12954017801239007622)
948};
949static const uint64_t init_by_array_64_expected[] = {
950	KQU( 2100341266307895239), KQU( 8344256300489757943),
951	KQU(15687933285484243894), KQU( 8268620370277076319),
952	KQU(12371852309826545459), KQU( 8800491541730110238),
953	KQU(18113268950100835773), KQU( 2886823658884438119),
954	KQU( 3293667307248180724), KQU( 9307928143300172731),
955	KQU( 7688082017574293629), KQU(  900986224735166665),
956	KQU( 9977972710722265039), KQU( 6008205004994830552),
957	KQU(  546909104521689292), KQU( 7428471521869107594),
958	KQU(14777563419314721179), KQU(16116143076567350053),
959	KQU( 5322685342003142329), KQU( 4200427048445863473),
960	KQU( 4693092150132559146), KQU(13671425863759338582),
961	KQU( 6747117460737639916), KQU( 4732666080236551150),
962	KQU( 5912839950611941263), KQU( 3903717554504704909),
963	KQU( 2615667650256786818), KQU(10844129913887006352),
964	KQU(13786467861810997820), KQU(14267853002994021570),
965	KQU(13767807302847237439), KQU(16407963253707224617),
966	KQU( 4802498363698583497), KQU( 2523802839317209764),
967	KQU( 3822579397797475589), KQU( 8950320572212130610),
968	KQU( 3745623504978342534), KQU(16092609066068482806),
969	KQU( 9817016950274642398), KQU(10591660660323829098),
970	KQU(11751606650792815920), KQU( 5122873818577122211),
971	KQU(17209553764913936624), KQU( 6249057709284380343),
972	KQU(15088791264695071830), KQU(15344673071709851930),
973	KQU( 4345751415293646084), KQU( 2542865750703067928),
974	KQU(13520525127852368784), KQU(18294188662880997241),
975	KQU( 3871781938044881523), KQU( 2873487268122812184),
976	KQU(15099676759482679005), KQU(15442599127239350490),
977	KQU( 6311893274367710888), KQU( 3286118760484672933),
978	KQU( 4146067961333542189), KQU(13303942567897208770),
979	KQU( 8196013722255630418), KQU( 4437815439340979989),
980	KQU(15433791533450605135), KQU( 4254828956815687049),
981	KQU( 1310903207708286015), KQU(10529182764462398549),
982	KQU(14900231311660638810), KQU( 9727017277104609793),
983	KQU( 1821308310948199033), KQU(11628861435066772084),
984	KQU( 9469019138491546924), KQU( 3145812670532604988),
985	KQU( 9938468915045491919), KQU( 1562447430672662142),
986	KQU(13963995266697989134), KQU( 3356884357625028695),
987	KQU( 4499850304584309747), KQU( 8456825817023658122),
988	KQU(10859039922814285279), KQU( 8099512337972526555),
989	KQU(  348006375109672149), KQU(11919893998241688603),
990	KQU( 1104199577402948826), KQU(16689191854356060289),
991	KQU(10992552041730168078), KQU( 7243733172705465836),
992	KQU( 5668075606180319560), KQU(18182847037333286970),
993	KQU( 4290215357664631322), KQU( 4061414220791828613),
994	KQU(13006291061652989604), KQU( 7140491178917128798),
995	KQU(12703446217663283481), KQU( 5500220597564558267),
996	KQU(10330551509971296358), KQU(15958554768648714492),
997	KQU( 5174555954515360045), KQU( 1731318837687577735),
998	KQU( 3557700801048354857), KQU(13764012341928616198),
999	KQU(13115166194379119043), KQU( 7989321021560255519),
1000	KQU( 2103584280905877040), KQU( 9230788662155228488),
1001	KQU(16396629323325547654), KQU(  657926409811318051),
1002	KQU(15046700264391400727), KQU( 5120132858771880830),
1003	KQU( 7934160097989028561), KQU( 6963121488531976245),
1004	KQU(17412329602621742089), KQU(15144843053931774092),
1005	KQU(17204176651763054532), KQU(13166595387554065870),
1006	KQU( 8590377810513960213), KQU( 5834365135373991938),
1007	KQU( 7640913007182226243), KQU( 3479394703859418425),
1008	KQU(16402784452644521040), KQU( 4993979809687083980),
1009	KQU(13254522168097688865), KQU(15643659095244365219),
1010	KQU( 5881437660538424982), KQU(11174892200618987379),
1011	KQU(  254409966159711077), KQU(17158413043140549909),
1012	KQU( 3638048789290376272), KQU( 1376816930299489190),
1013	KQU( 4622462095217761923), KQU(15086407973010263515),
1014	KQU(13253971772784692238), KQU( 5270549043541649236),
1015	KQU(11182714186805411604), KQU(12283846437495577140),
1016	KQU( 5297647149908953219), KQU(10047451738316836654),
1017	KQU( 4938228100367874746), KQU(12328523025304077923),
1018	KQU( 3601049438595312361), KQU( 9313624118352733770),
1019	KQU(13322966086117661798), KQU(16660005705644029394),
1020	KQU(11337677526988872373), KQU(13869299102574417795),
1021	KQU(15642043183045645437), KQU( 3021755569085880019),
1022	KQU( 4979741767761188161), KQU(13679979092079279587),
1023	KQU( 3344685842861071743), KQU(13947960059899588104),
1024	KQU(  305806934293368007), KQU( 5749173929201650029),
1025	KQU(11123724852118844098), KQU(15128987688788879802),
1026	KQU(15251651211024665009), KQU( 7689925933816577776),
1027	KQU(16732804392695859449), KQU(17087345401014078468),
1028	KQU(14315108589159048871), KQU( 4820700266619778917),
1029	KQU(16709637539357958441), KQU( 4936227875177351374),
1030	KQU( 2137907697912987247), KQU(11628565601408395420),
1031	KQU( 2333250549241556786), KQU( 5711200379577778637),
1032	KQU( 5170680131529031729), KQU(12620392043061335164),
1033	KQU(   95363390101096078), KQU( 5487981914081709462),
1034	KQU( 1763109823981838620), KQU( 3395861271473224396),
1035	KQU( 1300496844282213595), KQU( 6894316212820232902),
1036	KQU(10673859651135576674), KQU( 5911839658857903252),
1037	KQU(17407110743387299102), KQU( 8257427154623140385),
1038	KQU(11389003026741800267), KQU( 4070043211095013717),
1039	KQU(11663806997145259025), KQU(15265598950648798210),
1040	KQU(  630585789434030934), KQU( 3524446529213587334),
1041	KQU( 7186424168495184211), KQU(10806585451386379021),
1042	KQU(11120017753500499273), KQU( 1586837651387701301),
1043	KQU(17530454400954415544), KQU( 9991670045077880430),
1044	KQU( 7550997268990730180), KQU( 8640249196597379304),
1045	KQU( 3522203892786893823), KQU(10401116549878854788),
1046	KQU(13690285544733124852), KQU( 8295785675455774586),
1047	KQU(15535716172155117603), KQU( 3112108583723722511),
1048	KQU(17633179955339271113), KQU(18154208056063759375),
1049	KQU( 1866409236285815666), KQU(13326075895396412882),
1050	KQU( 8756261842948020025), KQU( 6281852999868439131),
1051	KQU(15087653361275292858), KQU(10333923911152949397),
1052	KQU( 5265567645757408500), KQU(12728041843210352184),
1053	KQU( 6347959327507828759), KQU(  154112802625564758),
1054	KQU(18235228308679780218), KQU( 3253805274673352418),
1055	KQU( 4849171610689031197), KQU(17948529398340432518),
1056	KQU(13803510475637409167), KQU(13506570190409883095),
1057	KQU(15870801273282960805), KQU( 8451286481299170773),
1058	KQU( 9562190620034457541), KQU( 8518905387449138364),
1059	KQU(12681306401363385655), KQU( 3788073690559762558),
1060	KQU( 5256820289573487769), KQU( 2752021372314875467),
1061	KQU( 6354035166862520716), KQU( 4328956378309739069),
1062	KQU(  449087441228269600), KQU( 5533508742653090868),
1063	KQU( 1260389420404746988), KQU(18175394473289055097),
1064	KQU( 1535467109660399420), KQU( 8818894282874061442),
1065	KQU(12140873243824811213), KQU(15031386653823014946),
1066	KQU( 1286028221456149232), KQU( 6329608889367858784),
1067	KQU( 9419654354945132725), KQU( 6094576547061672379),
1068	KQU(17706217251847450255), KQU( 1733495073065878126),
1069	KQU(16918923754607552663), KQU( 8881949849954945044),
1070	KQU(12938977706896313891), KQU(14043628638299793407),
1071	KQU(18393874581723718233), KQU( 6886318534846892044),
1072	KQU(14577870878038334081), KQU(13541558383439414119),
1073	KQU(13570472158807588273), KQU(18300760537910283361),
1074	KQU(  818368572800609205), KQU( 1417000585112573219),
1075	KQU(12337533143867683655), KQU(12433180994702314480),
1076	KQU(  778190005829189083), KQU(13667356216206524711),
1077	KQU( 9866149895295225230), KQU(11043240490417111999),
1078	KQU( 1123933826541378598), KQU( 6469631933605123610),
1079	KQU(14508554074431980040), KQU(13918931242962026714),
1080	KQU( 2870785929342348285), KQU(14786362626740736974),
1081	KQU(13176680060902695786), KQU( 9591778613541679456),
1082	KQU( 9097662885117436706), KQU(  749262234240924947),
1083	KQU( 1944844067793307093), KQU( 4339214904577487742),
1084	KQU( 8009584152961946551), KQU(16073159501225501777),
1085	KQU( 3335870590499306217), KQU(17088312653151202847),
1086	KQU( 3108893142681931848), KQU(16636841767202792021),
1087	KQU(10423316431118400637), KQU( 8008357368674443506),
1088	KQU(11340015231914677875), KQU(17687896501594936090),
1089	KQU(15173627921763199958), KQU(  542569482243721959),
1090	KQU(15071714982769812975), KQU( 4466624872151386956),
1091	KQU( 1901780715602332461), KQU( 9822227742154351098),
1092	KQU( 1479332892928648780), KQU( 6981611948382474400),
1093	KQU( 7620824924456077376), KQU(14095973329429406782),
1094	KQU( 7902744005696185404), KQU(15830577219375036920),
1095	KQU(10287076667317764416), KQU(12334872764071724025),
1096	KQU( 4419302088133544331), KQU(14455842851266090520),
1097	KQU(12488077416504654222), KQU( 7953892017701886766),
1098	KQU( 6331484925529519007), KQU( 4902145853785030022),
1099	KQU(17010159216096443073), KQU(11945354668653886087),
1100	KQU(15112022728645230829), KQU(17363484484522986742),
1101	KQU( 4423497825896692887), KQU( 8155489510809067471),
1102	KQU(  258966605622576285), KQU( 5462958075742020534),
1103	KQU( 6763710214913276228), KQU( 2368935183451109054),
1104	KQU(14209506165246453811), KQU( 2646257040978514881),
1105	KQU( 3776001911922207672), KQU( 1419304601390147631),
1106	KQU(14987366598022458284), KQU( 3977770701065815721),
1107	KQU(  730820417451838898), KQU( 3982991703612885327),
1108	KQU( 2803544519671388477), KQU(17067667221114424649),
1109	KQU( 2922555119737867166), KQU( 1989477584121460932),
1110	KQU(15020387605892337354), KQU( 9293277796427533547),
1111	KQU(10722181424063557247), KQU(16704542332047511651),
1112	KQU( 5008286236142089514), KQU(16174732308747382540),
1113	KQU(17597019485798338402), KQU(13081745199110622093),
1114	KQU( 8850305883842258115), KQU(12723629125624589005),
1115	KQU( 8140566453402805978), KQU(15356684607680935061),
1116	KQU(14222190387342648650), KQU(11134610460665975178),
1117	KQU( 1259799058620984266), KQU(13281656268025610041),
1118	KQU(  298262561068153992), KQU(12277871700239212922),
1119	KQU(13911297774719779438), KQU(16556727962761474934),
1120	KQU(17903010316654728010), KQU( 9682617699648434744),
1121	KQU(14757681836838592850), KQU( 1327242446558524473),
1122	KQU(11126645098780572792), KQU( 1883602329313221774),
1123	KQU( 2543897783922776873), KQU(15029168513767772842),
1124	KQU(12710270651039129878), KQU(16118202956069604504),
1125	KQU(15010759372168680524), KQU( 2296827082251923948),
1126	KQU(10793729742623518101), KQU(13829764151845413046),
1127	KQU(17769301223184451213), KQU( 3118268169210783372),
1128	KQU(17626204544105123127), KQU( 7416718488974352644),
1129	KQU(10450751996212925994), KQU( 9352529519128770586),
1130	KQU(  259347569641110140), KQU( 8048588892269692697),
1131	KQU( 1774414152306494058), KQU(10669548347214355622),
1132	KQU(13061992253816795081), KQU(18432677803063861659),
1133	KQU( 8879191055593984333), KQU(12433753195199268041),
1134	KQU(14919392415439730602), KQU( 6612848378595332963),
1135	KQU( 6320986812036143628), KQU(10465592420226092859),
1136	KQU( 4196009278962570808), KQU( 3747816564473572224),
1137	KQU(17941203486133732898), KQU( 2350310037040505198),
1138	KQU( 5811779859134370113), KQU(10492109599506195126),
1139	KQU( 7699650690179541274), KQU( 1954338494306022961),
1140	KQU(14095816969027231152), KQU( 5841346919964852061),
1141	KQU(14945969510148214735), KQU( 3680200305887550992),
1142	KQU( 6218047466131695792), KQU( 8242165745175775096),
1143	KQU(11021371934053307357), KQU( 1265099502753169797),
1144	KQU( 4644347436111321718), KQU( 3609296916782832859),
1145	KQU( 8109807992218521571), KQU(18387884215648662020),
1146	KQU(14656324896296392902), KQU(17386819091238216751),
1147	KQU(17788300878582317152), KQU( 7919446259742399591),
1148	KQU( 4466613134576358004), KQU(12928181023667938509),
1149	KQU(13147446154454932030), KQU(16552129038252734620),
1150	KQU( 8395299403738822450), KQU(11313817655275361164),
1151	KQU(  434258809499511718), KQU( 2074882104954788676),
1152	KQU( 7929892178759395518), KQU( 9006461629105745388),
1153	KQU( 5176475650000323086), KQU(11128357033468341069),
1154	KQU(12026158851559118955), KQU(14699716249471156500),
1155	KQU(  448982497120206757), KQU( 4156475356685519900),
1156	KQU( 6063816103417215727), KQU(10073289387954971479),
1157	KQU( 8174466846138590962), KQU( 2675777452363449006),
1158	KQU( 9090685420572474281), KQU( 6659652652765562060),
1159	KQU(12923120304018106621), KQU(11117480560334526775),
1160	KQU(  937910473424587511), KQU( 1838692113502346645),
1161	KQU(11133914074648726180), KQU( 7922600945143884053),
1162	KQU(13435287702700959550), KQU( 5287964921251123332),
1163	KQU(11354875374575318947), KQU(17955724760748238133),
1164	KQU(13728617396297106512), KQU( 4107449660118101255),
1165	KQU( 1210269794886589623), KQU(11408687205733456282),
1166	KQU( 4538354710392677887), KQU(13566803319341319267),
1167	KQU(17870798107734050771), KQU( 3354318982568089135),
1168	KQU( 9034450839405133651), KQU(13087431795753424314),
1169	KQU(  950333102820688239), KQU( 1968360654535604116),
1170	KQU(16840551645563314995), KQU( 8867501803892924995),
1171	KQU(11395388644490626845), KQU( 1529815836300732204),
1172	KQU(13330848522996608842), KQU( 1813432878817504265),
1173	KQU( 2336867432693429560), KQU(15192805445973385902),
1174	KQU( 2528593071076407877), KQU(  128459777936689248),
1175	KQU( 9976345382867214866), KQU( 6208885766767996043),
1176	KQU(14982349522273141706), KQU( 3099654362410737822),
1177	KQU(13776700761947297661), KQU( 8806185470684925550),
1178	KQU( 8151717890410585321), KQU(  640860591588072925),
1179	KQU(14592096303937307465), KQU( 9056472419613564846),
1180	KQU(14861544647742266352), KQU(12703771500398470216),
1181	KQU( 3142372800384138465), KQU( 6201105606917248196),
1182	KQU(18337516409359270184), KQU(15042268695665115339),
1183	KQU(15188246541383283846), KQU(12800028693090114519),
1184	KQU( 5992859621101493472), KQU(18278043971816803521),
1185	KQU( 9002773075219424560), KQU( 7325707116943598353),
1186	KQU( 7930571931248040822), KQU( 5645275869617023448),
1187	KQU( 7266107455295958487), KQU( 4363664528273524411),
1188	KQU(14313875763787479809), KQU(17059695613553486802),
1189	KQU( 9247761425889940932), KQU(13704726459237593128),
1190	KQU( 2701312427328909832), KQU(17235532008287243115),
1191	KQU(14093147761491729538), KQU( 6247352273768386516),
1192	KQU( 8268710048153268415), KQU( 7985295214477182083),
1193	KQU(15624495190888896807), KQU( 3772753430045262788),
1194	KQU( 9133991620474991698), KQU( 5665791943316256028),
1195	KQU( 7551996832462193473), KQU(13163729206798953877),
1196	KQU( 9263532074153846374), KQU( 1015460703698618353),
1197	KQU(17929874696989519390), KQU(18257884721466153847),
1198	KQU(16271867543011222991), KQU( 3905971519021791941),
1199	KQU(16814488397137052085), KQU( 1321197685504621613),
1200	KQU( 2870359191894002181), KQU(14317282970323395450),
1201	KQU(13663920845511074366), KQU( 2052463995796539594),
1202	KQU(14126345686431444337), KQU( 1727572121947022534),
1203	KQU(17793552254485594241), KQU( 6738857418849205750),
1204	KQU( 1282987123157442952), KQU(16655480021581159251),
1205	KQU( 6784587032080183866), KQU(14726758805359965162),
1206	KQU( 7577995933961987349), KQU(12539609320311114036),
1207	KQU(10789773033385439494), KQU( 8517001497411158227),
1208	KQU(10075543932136339710), KQU(14838152340938811081),
1209	KQU( 9560840631794044194), KQU(17445736541454117475),
1210	KQU(10633026464336393186), KQU(15705729708242246293),
1211	KQU( 1117517596891411098), KQU( 4305657943415886942),
1212	KQU( 4948856840533979263), KQU(16071681989041789593),
1213	KQU(13723031429272486527), KQU( 7639567622306509462),
1214	KQU(12670424537483090390), KQU( 9715223453097197134),
1215	KQU( 5457173389992686394), KQU(  289857129276135145),
1216	KQU(17048610270521972512), KQU(  692768013309835485),
1217	KQU(14823232360546632057), KQU(18218002361317895936),
1218	KQU( 3281724260212650204), KQU(16453957266549513795),
1219	KQU( 8592711109774511881), KQU(  929825123473369579),
1220	KQU(15966784769764367791), KQU( 9627344291450607588),
1221	KQU(10849555504977813287), KQU( 9234566913936339275),
1222	KQU( 6413807690366911210), KQU(10862389016184219267),
1223	KQU(13842504799335374048), KQU( 1531994113376881174),
1224	KQU( 2081314867544364459), KQU(16430628791616959932),
1225	KQU( 8314714038654394368), KQU( 9155473892098431813),
1226	KQU(12577843786670475704), KQU( 4399161106452401017),
1227	KQU( 1668083091682623186), KQU( 1741383777203714216),
1228	KQU( 2162597285417794374), KQU(15841980159165218736),
1229	KQU( 1971354603551467079), KQU( 1206714764913205968),
1230	KQU( 4790860439591272330), KQU(14699375615594055799),
1231	KQU( 8374423871657449988), KQU(10950685736472937738),
1232	KQU(  697344331343267176), KQU(10084998763118059810),
1233	KQU(12897369539795983124), KQU(12351260292144383605),
1234	KQU( 1268810970176811234), KQU( 7406287800414582768),
1235	KQU(  516169557043807831), KQU( 5077568278710520380),
1236	KQU( 3828791738309039304), KQU( 7721974069946943610),
1237	KQU( 3534670260981096460), KQU( 4865792189600584891),
1238	KQU(16892578493734337298), KQU( 9161499464278042590),
1239	KQU(11976149624067055931), KQU(13219479887277343990),
1240	KQU(14161556738111500680), KQU(14670715255011223056),
1241	KQU( 4671205678403576558), KQU(12633022931454259781),
1242	KQU(14821376219869187646), KQU(  751181776484317028),
1243	KQU( 2192211308839047070), KQU(11787306362361245189),
1244	KQU(10672375120744095707), KQU( 4601972328345244467),
1245	KQU(15457217788831125879), KQU( 8464345256775460809),
1246	KQU(10191938789487159478), KQU( 6184348739615197613),
1247	KQU(11425436778806882100), KQU( 2739227089124319793),
1248	KQU(  461464518456000551), KQU( 4689850170029177442),
1249	KQU( 6120307814374078625), KQU(11153579230681708671),
1250	KQU( 7891721473905347926), KQU(10281646937824872400),
1251	KQU( 3026099648191332248), KQU( 8666750296953273818),
1252	KQU(14978499698844363232), KQU(13303395102890132065),
1253	KQU( 8182358205292864080), KQU(10560547713972971291),
1254	KQU(11981635489418959093), KQU( 3134621354935288409),
1255	KQU(11580681977404383968), KQU(14205530317404088650),
1256	KQU( 5997789011854923157), KQU(13659151593432238041),
1257	KQU(11664332114338865086), KQU( 7490351383220929386),
1258	KQU( 7189290499881530378), KQU(15039262734271020220),
1259	KQU( 2057217285976980055), KQU(  555570804905355739),
1260	KQU(11235311968348555110), KQU(13824557146269603217),
1261	KQU(16906788840653099693), KQU( 7222878245455661677),
1262	KQU( 5245139444332423756), KQU( 4723748462805674292),
1263	KQU(12216509815698568612), KQU(17402362976648951187),
1264	KQU(17389614836810366768), KQU( 4880936484146667711),
1265	KQU( 9085007839292639880), KQU(13837353458498535449),
1266	KQU(11914419854360366677), KQU(16595890135313864103),
1267	KQU( 6313969847197627222), KQU(18296909792163910431),
1268	KQU(10041780113382084042), KQU( 2499478551172884794),
1269	KQU(11057894246241189489), KQU( 9742243032389068555),
1270	KQU(12838934582673196228), KQU(13437023235248490367),
1271	KQU(13372420669446163240), KQU( 6752564244716909224),
1272	KQU( 7157333073400313737), KQU(12230281516370654308),
1273	KQU( 1182884552219419117), KQU( 2955125381312499218),
1274	KQU(10308827097079443249), KQU( 1337648572986534958),
1275	KQU(16378788590020343939), KQU(  108619126514420935),
1276	KQU( 3990981009621629188), KQU( 5460953070230946410),
1277	KQU( 9703328329366531883), KQU(13166631489188077236),
1278	KQU( 1104768831213675170), KQU( 3447930458553877908),
1279	KQU( 8067172487769945676), KQU( 5445802098190775347),
1280	KQU( 3244840981648973873), KQU(17314668322981950060),
1281	KQU( 5006812527827763807), KQU(18158695070225526260),
1282	KQU( 2824536478852417853), KQU(13974775809127519886),
1283	KQU( 9814362769074067392), KQU(17276205156374862128),
1284	KQU(11361680725379306967), KQU( 3422581970382012542),
1285	KQU(11003189603753241266), KQU(11194292945277862261),
1286	KQU( 6839623313908521348), KQU(11935326462707324634),
1287	KQU( 1611456788685878444), KQU(13112620989475558907),
1288	KQU(  517659108904450427), KQU(13558114318574407624),
1289	KQU(15699089742731633077), KQU( 4988979278862685458),
1290	KQU( 8111373583056521297), KQU( 3891258746615399627),
1291	KQU( 8137298251469718086), KQU(12748663295624701649),
1292	KQU( 4389835683495292062), KQU( 5775217872128831729),
1293	KQU( 9462091896405534927), KQU( 8498124108820263989),
1294	KQU( 8059131278842839525), KQU(10503167994254090892),
1295	KQU(11613153541070396656), KQU(18069248738504647790),
1296	KQU(  570657419109768508), KQU( 3950574167771159665),
1297	KQU( 5514655599604313077), KQU( 2908460854428484165),
1298	KQU(10777722615935663114), KQU(12007363304839279486),
1299	KQU( 9800646187569484767), KQU( 8795423564889864287),
1300	KQU(14257396680131028419), KQU( 6405465117315096498),
1301	KQU( 7939411072208774878), KQU(17577572378528990006),
1302	KQU(14785873806715994850), KQU(16770572680854747390),
1303	KQU(18127549474419396481), KQU(11637013449455757750),
1304	KQU(14371851933996761086), KQU( 3601181063650110280),
1305	KQU( 4126442845019316144), KQU(10198287239244320669),
1306	KQU(18000169628555379659), KQU(18392482400739978269),
1307	KQU( 6219919037686919957), KQU( 3610085377719446052),
1308	KQU( 2513925039981776336), KQU(16679413537926716955),
1309	KQU(12903302131714909434), KQU( 5581145789762985009),
1310	KQU(12325955044293303233), KQU(17216111180742141204),
1311	KQU( 6321919595276545740), KQU( 3507521147216174501),
1312	KQU( 9659194593319481840), KQU(11473976005975358326),
1313	KQU(14742730101435987026), KQU(  492845897709954780),
1314	KQU(16976371186162599676), KQU(17712703422837648655),
1315	KQU( 9881254778587061697), KQU( 8413223156302299551),
1316	KQU( 1563841828254089168), KQU( 9996032758786671975),
1317	KQU(  138877700583772667), KQU(13003043368574995989),
1318	KQU( 4390573668650456587), KQU( 8610287390568126755),
1319	KQU(15126904974266642199), KQU( 6703637238986057662),
1320	KQU( 2873075592956810157), KQU( 6035080933946049418),
1321	KQU(13382846581202353014), KQU( 7303971031814642463),
1322	KQU(18418024405307444267), KQU( 5847096731675404647),
1323	KQU( 4035880699639842500), KQU(11525348625112218478),
1324	KQU( 3041162365459574102), KQU( 2604734487727986558),
1325	KQU(15526341771636983145), KQU(14556052310697370254),
1326	KQU(12997787077930808155), KQU( 9601806501755554499),
1327	KQU(11349677952521423389), KQU(14956777807644899350),
1328	KQU(16559736957742852721), KQU(12360828274778140726),
1329	KQU( 6685373272009662513), KQU(16932258748055324130),
1330	KQU(15918051131954158508), KQU( 1692312913140790144),
1331	KQU(  546653826801637367), KQU( 5341587076045986652),
1332	KQU(14975057236342585662), KQU(12374976357340622412),
1333	KQU(10328833995181940552), KQU(12831807101710443149),
1334	KQU(10548514914382545716), KQU( 2217806727199715993),
1335	KQU(12627067369242845138), KQU( 4598965364035438158),
1336	KQU(  150923352751318171), KQU(14274109544442257283),
1337	KQU( 4696661475093863031), KQU( 1505764114384654516),
1338	KQU(10699185831891495147), KQU( 2392353847713620519),
1339	KQU( 3652870166711788383), KQU( 8640653276221911108),
1340	KQU( 3894077592275889704), KQU( 4918592872135964845),
1341	KQU(16379121273281400789), KQU(12058465483591683656),
1342	KQU(11250106829302924945), KQU( 1147537556296983005),
1343	KQU( 6376342756004613268), KQU(14967128191709280506),
1344	KQU(18007449949790627628), KQU( 9497178279316537841),
1345	KQU( 7920174844809394893), KQU(10037752595255719907),
1346	KQU(15875342784985217697), KQU(15311615921712850696),
1347	KQU( 9552902652110992950), KQU(14054979450099721140),
1348	KQU( 5998709773566417349), KQU(18027910339276320187),
1349	KQU( 8223099053868585554), KQU( 7842270354824999767),
1350	KQU( 4896315688770080292), KQU(12969320296569787895),
1351	KQU( 2674321489185759961), KQU( 4053615936864718439),
1352	KQU(11349775270588617578), KQU( 4743019256284553975),
1353	KQU( 5602100217469723769), KQU(14398995691411527813),
1354	KQU( 7412170493796825470), KQU(  836262406131744846),
1355	KQU( 8231086633845153022), KQU( 5161377920438552287),
1356	KQU( 8828731196169924949), KQU(16211142246465502680),
1357	KQU( 3307990879253687818), KQU( 5193405406899782022),
1358	KQU( 8510842117467566693), KQU( 6070955181022405365),
1359	KQU(14482950231361409799), KQU(12585159371331138077),
1360	KQU( 3511537678933588148), KQU( 2041849474531116417),
1361	KQU(10944936685095345792), KQU(18303116923079107729),
1362	KQU( 2720566371239725320), KQU( 4958672473562397622),
1363	KQU( 3032326668253243412), KQU(13689418691726908338),
1364	KQU( 1895205511728843996), KQU( 8146303515271990527),
1365	KQU(16507343500056113480), KQU(  473996939105902919),
1366	KQU( 9897686885246881481), KQU(14606433762712790575),
1367	KQU( 6732796251605566368), KQU( 1399778120855368916),
1368	KQU(  935023885182833777), KQU(16066282816186753477),
1369	KQU( 7291270991820612055), KQU(17530230393129853844),
1370	KQU(10223493623477451366), KQU(15841725630495676683),
1371	KQU(17379567246435515824), KQU( 8588251429375561971),
1372	KQU(18339511210887206423), KQU(17349587430725976100),
1373	KQU(12244876521394838088), KQU( 6382187714147161259),
1374	KQU(12335807181848950831), KQU(16948885622305460665),
1375	KQU(13755097796371520506), KQU(14806740373324947801),
1376	KQU( 4828699633859287703), KQU( 8209879281452301604),
1377	KQU(12435716669553736437), KQU(13970976859588452131),
1378	KQU( 6233960842566773148), KQU(12507096267900505759),
1379	KQU( 1198713114381279421), KQU(14989862731124149015),
1380	KQU(15932189508707978949), KQU( 2526406641432708722),
1381	KQU(   29187427817271982), KQU( 1499802773054556353),
1382	KQU(10816638187021897173), KQU( 5436139270839738132),
1383	KQU( 6659882287036010082), KQU( 2154048955317173697),
1384	KQU(10887317019333757642), KQU(16281091802634424955),
1385	KQU(10754549879915384901), KQU(10760611745769249815),
1386	KQU( 2161505946972504002), KQU( 5243132808986265107),
1387	KQU(10129852179873415416), KQU(  710339480008649081),
1388	KQU( 7802129453068808528), KQU(17967213567178907213),
1389	KQU(15730859124668605599), KQU(13058356168962376502),
1390	KQU( 3701224985413645909), KQU(14464065869149109264),
1391	KQU( 9959272418844311646), KQU(10157426099515958752),
1392	KQU(14013736814538268528), KQU(17797456992065653951),
1393	KQU(17418878140257344806), KQU(15457429073540561521),
1394	KQU( 2184426881360949378), KQU( 2062193041154712416),
1395	KQU( 8553463347406931661), KQU( 4913057625202871854),
1396	KQU( 2668943682126618425), KQU(17064444737891172288),
1397	KQU( 4997115903913298637), KQU(12019402608892327416),
1398	KQU(17603584559765897352), KQU(11367529582073647975),
1399	KQU( 8211476043518436050), KQU( 8676849804070323674),
1400	KQU(18431829230394475730), KQU(10490177861361247904),
1401	KQU( 9508720602025651349), KQU( 7409627448555722700),
1402	KQU( 5804047018862729008), KQU(11943858176893142594),
1403	KQU(11908095418933847092), KQU( 5415449345715887652),
1404	KQU( 1554022699166156407), KQU( 9073322106406017161),
1405	KQU( 7080630967969047082), KQU(18049736940860732943),
1406	KQU(12748714242594196794), KQU( 1226992415735156741),
1407	KQU(17900981019609531193), KQU(11720739744008710999),
1408	KQU( 3006400683394775434), KQU(11347974011751996028),
1409	KQU( 3316999628257954608), KQU( 8384484563557639101),
1410	KQU(18117794685961729767), KQU( 1900145025596618194),
1411	KQU(17459527840632892676), KQU( 5634784101865710994),
1412	KQU( 7918619300292897158), KQU( 3146577625026301350),
1413	KQU( 9955212856499068767), KQU( 1873995843681746975),
1414	KQU( 1561487759967972194), KQU( 8322718804375878474),
1415	KQU(11300284215327028366), KQU( 4667391032508998982),
1416	KQU( 9820104494306625580), KQU(17922397968599970610),
1417	KQU( 1784690461886786712), KQU(14940365084341346821),
1418	KQU( 5348719575594186181), KQU(10720419084507855261),
1419	KQU(14210394354145143274), KQU( 2426468692164000131),
1420	KQU(16271062114607059202), KQU(14851904092357070247),
1421	KQU( 6524493015693121897), KQU( 9825473835127138531),
1422	KQU(14222500616268569578), KQU(15521484052007487468),
1423	KQU(14462579404124614699), KQU(11012375590820665520),
1424	KQU(11625327350536084927), KQU(14452017765243785417),
1425	KQU( 9989342263518766305), KQU( 3640105471101803790),
1426	KQU( 4749866455897513242), KQU(13963064946736312044),
1427	KQU(10007416591973223791), KQU(18314132234717431115),
1428	KQU( 3286596588617483450), KQU( 7726163455370818765),
1429	KQU( 7575454721115379328), KQU( 5308331576437663422),
1430	KQU(18288821894903530934), KQU( 8028405805410554106),
1431	KQU(15744019832103296628), KQU(  149765559630932100),
1432	KQU( 6137705557200071977), KQU(14513416315434803615),
1433	KQU(11665702820128984473), KQU(  218926670505601386),
1434	KQU( 6868675028717769519), KQU(15282016569441512302),
1435	KQU( 5707000497782960236), KQU( 6671120586555079567),
1436	KQU( 2194098052618985448), KQU(16849577895477330978),
1437	KQU(12957148471017466283), KQU( 1997805535404859393),
1438	KQU( 1180721060263860490), KQU(13206391310193756958),
1439	KQU(12980208674461861797), KQU( 3825967775058875366),
1440	KQU(17543433670782042631), KQU( 1518339070120322730),
1441	KQU(16344584340890991669), KQU( 2611327165318529819),
1442	KQU(11265022723283422529), KQU( 4001552800373196817),
1443	KQU(14509595890079346161), KQU( 3528717165416234562),
1444	KQU(18153222571501914072), KQU( 9387182977209744425),
1445	KQU(10064342315985580021), KQU(11373678413215253977),
1446	KQU( 2308457853228798099), KQU( 9729042942839545302),
1447	KQU( 7833785471140127746), KQU( 6351049900319844436),
1448	KQU(14454610627133496067), KQU(12533175683634819111),
1449	KQU(15570163926716513029), KQU(13356980519185762498)
1450};
1451
1452TEST_BEGIN(test_gen_rand_32)
1453{
1454	uint32_t array32[BLOCK_SIZE] JEMALLOC_ATTR(aligned(16));
1455	uint32_t array32_2[BLOCK_SIZE] JEMALLOC_ATTR(aligned(16));
1456	int i;
1457	uint32_t r32;
1458	sfmt_t *ctx;
1459
1460	assert_d_le(get_min_array_size32(), BLOCK_SIZE,
1461	    "Array size too small");
1462	ctx = init_gen_rand(1234);
1463	fill_array32(ctx, array32, BLOCK_SIZE);
1464	fill_array32(ctx, array32_2, BLOCK_SIZE);
1465	fini_gen_rand(ctx);
1466
1467	ctx = init_gen_rand(1234);
1468	for (i = 0; i < BLOCK_SIZE; i++) {
1469		if (i < COUNT_1) {
1470			assert_u32_eq(array32[i], init_gen_rand_32_expected[i],
1471			    "Output mismatch for i=%d", i);
1472		}
1473		r32 = gen_rand32(ctx);
1474		assert_u32_eq(r32, array32[i],
1475		    "Mismatch at array32[%d]=%x, gen=%x", i, array32[i], r32);
1476	}
1477	for (i = 0; i < COUNT_2; i++) {
1478		r32 = gen_rand32(ctx);
1479		assert_u32_eq(r32, array32_2[i],
1480		    "Mismatch at array32_2[%d]=%x, gen=%x", i, array32_2[i],
1481		    r32);
1482	}
1483	fini_gen_rand(ctx);
1484}
1485TEST_END
1486
1487TEST_BEGIN(test_by_array_32)
1488{
1489	uint32_t array32[BLOCK_SIZE] JEMALLOC_ATTR(aligned(16));
1490	uint32_t array32_2[BLOCK_SIZE] JEMALLOC_ATTR(aligned(16));
1491	int i;
1492	uint32_t ini[4] = {0x1234, 0x5678, 0x9abc, 0xdef0};
1493	uint32_t r32;
1494	sfmt_t *ctx;
1495
1496	assert_d_le(get_min_array_size32(), BLOCK_SIZE,
1497	    "Array size too small");
1498	ctx = init_by_array(ini, 4);
1499	fill_array32(ctx, array32, BLOCK_SIZE);
1500	fill_array32(ctx, array32_2, BLOCK_SIZE);
1501	fini_gen_rand(ctx);
1502
1503	ctx = init_by_array(ini, 4);
1504	for (i = 0; i < BLOCK_SIZE; i++) {
1505		if (i < COUNT_1) {
1506			assert_u32_eq(array32[i], init_by_array_32_expected[i],
1507			    "Output mismatch for i=%d", i);
1508		}
1509		r32 = gen_rand32(ctx);
1510		assert_u32_eq(r32, array32[i],
1511		    "Mismatch at array32[%d]=%x, gen=%x", i, array32[i], r32);
1512	}
1513	for (i = 0; i < COUNT_2; i++) {
1514		r32 = gen_rand32(ctx);
1515		assert_u32_eq(r32, array32_2[i],
1516		    "Mismatch at array32_2[%d]=%x, gen=%x", i, array32_2[i],
1517		    r32);
1518	}
1519	fini_gen_rand(ctx);
1520}
1521TEST_END
1522
1523TEST_BEGIN(test_gen_rand_64)
1524{
1525	uint64_t array64[BLOCK_SIZE64] JEMALLOC_ATTR(aligned(16));
1526	uint64_t array64_2[BLOCK_SIZE64] JEMALLOC_ATTR(aligned(16));
1527	int i;
1528	uint64_t r;
1529	sfmt_t *ctx;
1530
1531	assert_d_le(get_min_array_size64(), BLOCK_SIZE64,
1532	    "Array size too small");
1533	ctx = init_gen_rand(4321);
1534	fill_array64(ctx, array64, BLOCK_SIZE64);
1535	fill_array64(ctx, array64_2, BLOCK_SIZE64);
1536	fini_gen_rand(ctx);
1537
1538	ctx = init_gen_rand(4321);
1539	for (i = 0; i < BLOCK_SIZE64; i++) {
1540		if (i < COUNT_1) {
1541			assert_u64_eq(array64[i], init_gen_rand_64_expected[i],
1542			    "Output mismatch for i=%d", i);
1543		}
1544		r = gen_rand64(ctx);
1545		assert_u64_eq(r, array64[i],
1546		    "Mismatch at array64[%d]=%"FMTx64", gen=%"FMTx64, i,
1547		    array64[i], r);
1548	}
1549	for (i = 0; i < COUNT_2; i++) {
1550		r = gen_rand64(ctx);
1551		assert_u64_eq(r, array64_2[i],
1552		    "Mismatch at array64_2[%d]=%"FMTx64" gen=%"FMTx64"", i,
1553		    array64_2[i], r);
1554	}
1555	fini_gen_rand(ctx);
1556}
1557TEST_END
1558
1559TEST_BEGIN(test_by_array_64)
1560{
1561	uint64_t array64[BLOCK_SIZE64] JEMALLOC_ATTR(aligned(16));
1562	uint64_t array64_2[BLOCK_SIZE64] JEMALLOC_ATTR(aligned(16));
1563	int i;
1564	uint64_t r;
1565	uint32_t ini[] = {5, 4, 3, 2, 1};
1566	sfmt_t *ctx;
1567
1568	assert_d_le(get_min_array_size64(), BLOCK_SIZE64,
1569	    "Array size too small");
1570	ctx = init_by_array(ini, 5);
1571	fill_array64(ctx, array64, BLOCK_SIZE64);
1572	fill_array64(ctx, array64_2, BLOCK_SIZE64);
1573	fini_gen_rand(ctx);
1574
1575	ctx = init_by_array(ini, 5);
1576	for (i = 0; i < BLOCK_SIZE64; i++) {
1577		if (i < COUNT_1) {
1578			assert_u64_eq(array64[i], init_by_array_64_expected[i],
1579			    "Output mismatch for i=%d", i);
1580		}
1581		r = gen_rand64(ctx);
1582		assert_u64_eq(r, array64[i],
1583		    "Mismatch at array64[%d]=%"FMTx64" gen=%"FMTx64, i,
1584		    array64[i], r);
1585	}
1586	for (i = 0; i < COUNT_2; i++) {
1587		r = gen_rand64(ctx);
1588		assert_u64_eq(r, array64_2[i],
1589		    "Mismatch at array64_2[%d]=%"FMTx64" gen=%"FMTx64, i,
1590		    array64_2[i], r);
1591	}
1592	fini_gen_rand(ctx);
1593}
1594TEST_END
1595
1596int
1597main(void)
1598{
1599	return (test(
1600	    test_gen_rand_32,
1601	    test_by_array_32,
1602	    test_gen_rand_64,
1603	    test_by_array_64));
1604}
1605