-
Notifications
You must be signed in to change notification settings - Fork 21
/
SFMT.19937.64.out.txt
672 lines (672 loc) · 41.8 KB
/
SFMT.19937.64.out.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
SFMT-19937:122-18-1-11-1:dfffffef-ddfecb7f-bffaffff-bffffff6
64 bit generated randoms
init_gen_rand__________
16924766246869039260 8201438687333352714 2265290287015001750
18397264611805473832 3375255223302384358 6345559975416828796
18229739242790328073 7596792742098800905 255338647169685981
2052747240048610300 18328151576097299343 12472905421133796567
11315245349717600863 16594110197775871209 15708751964632456450
10452031272054632535 11097646720811454386 4556090668445745441
17116187693090663106 14931526836144510645 9190752218020552591
9625800285771901401 13995141077659972832 5194209094927829625
4156788379151063303 8523452593770139494 14082382103049296727
2462601863986088483 3030583461592840678 5221622077872827681
3084210671228981236 13956758381389953823 13503889856213423831
15696904024189836170 4612584152877036206 6231135538447867881
10172457294158869468 6452258628466708150 14044432824917330221
370168364480044279 10102144686427193359 667870489994776076
2732271956925885858 18027788905977284151 15009842788582923859
7136357960180199542 15901736243475578127 16951293785352615701
10551492125243691632 17668869969146434804 13646002971174390445
9804471050759613248 5511670439655935493 18103342091070400926
17224512747665137533 15534627482992618168 1423813266186582647
15821176807932930024 30323369733607156 11599382494723479403
653856076586810062 3176437395144899659 14028076268147963917
16156398271809666195 3166955484848201676 5746805620136919390
17297845208891256593 11691653183226428483 17900026146506981577
15387382115755971042 16923567681040845943 8039057517199388606
11748409241468629263 794358245539076095 13438501964693401242
14036803236515618962 5252311215205424721 17806589612915509081
6802767092397596006 14212120431184557140 1072951366761385712
13098491780722836296 9466676828710797353 12673056849042830081
12763726623645357580 16468961652999309493 15305979875636438926
17444713151223449734 5692214267627883674 13049589139196151505
880115207831670745 1776529075789695498 16695225897801466485
10666901778795346845 6164389346722833869 2863817793264300475
9464049921886304754 3993566636740015468 9983749692528514136
16375286075057755211 16042643417005440820 11445419662923489877
7999038846885158836 6721913661721511535 5363052654139357320
1817788761173584205 13290974386445856444 4650350818937984680
8219183528102484836 1569862923500819899 4189359732136641860
14202822961683148583 4457498315309429058 13089067387019074834
11075517153328927293 10277016248336668389 7070509725324401122
17808892017780289380 13143367339909287349 1377743745360085151
5749341807421286485 14832814616770931325 7688820635324359492
10960474011539770045 81970066653179790 12619476072607878022
4419566616271201744 15147917311750568503 5549739182852706345
7308198397975204770 13580425496671289278 17070764785210130301
8202832846285604405 6873046287640887249 6927424434308206114
6139014645937224874 10290373645978487639 15904261291701523804
9628743442057826883 18383429096255546714 4977413265753686967
7714317492425012869 9025232586309926193 14627338359776709107
14759849896467790763 10931129435864423252 4588456988775014359
10699388531797056724 468652268869238792 5755943035328078086
2102437379988580216 9986312786506674028 2654207180040945604
8726634790559960062 100497234871808137 2800137176951425819
6076627612918553487 5780186919186152796 8179183595769929098
6009426283716221169 2796662551397449358 1756961367041986764
6972897917355606205 14524774345368968243 2773529684745706940
4853632376213075959 4198177923731358102 8271224913084139776
2741753121611092226 16782366145996731181 15426125238972640790
13595497100671260342 3173531022836259898 6573264560319511662
18041111951511157441 2351433581833135952 3113255578908173487
1739371330877858784 16046126562789165480 8072101652214192925
15267091584090664910 9309579200403648940 5218892439752408722
14492477246004337115 17431037586679770619 7385248135963250480
9580144956565560660 4919546228040008720 15261542469145035584
18233297270822253102 5453248417992302857 9309519155931460285
10342813012345291756 15676085186784762381 15912092950691300645
9371053121499003195 9897186478226866746 14061858287188196327
122575971620788119 12146750969116317754 4438317272813245201
8332576791009527119 13907785691786542057 10374194887283287467
2098798755649059566 3416235197748288894 8688269957320773484
7503964602397371571 16724977015147478236 9461512855439858184
13259049744534534727 3583094952542899294 8764245731305528292
13240823595462088985 13716141617617910448 18114969519935960955
2297553615798302206 4585521442944663362 17776858680630198686
4685873229192163363 152558080671135627 15424900540842670088
13229630297130024108 17530268788245718717 16675633913065714144
3158912717897568068 15399132185380087288 7401418744515677872
13135412922344398535 6385314346100509511 13962867001134161139
10272780155442671999 12894856086597769142 13340877795287554994
12913630602094607396 12543167911119793857 17343570372251873096
10959487764494150545 6966737953093821128 13780699135496988601
4405070719380142046 14923788365607284982 2869487678905148380
6416272754197188403 15017380475943612591 1995636220918429487
3402016804620122716 15800188663407057080 11362369990390932882
15262183501637986147 10239175385387371494 9352042420365748334
1682457034285119875 1724710651376289644 2038157098893817966
9897825558324608773 1477666236519164736 16835397314511233640
10370866327005346508 10157504370660621982 12113904045335882069
13326444439742783008 11302769043000765804 13594979923955228484
11779351762613475968 3786101619539298383 8021122969180846063
15745904401162500495 10762168465993897267 13552058957896319026
11200228655252462013 5035370357337441226 7593918984545500013
5418554918361528700 4858270799405446371 9974659566876282544
18227595922273957859 2772778443635656220 14285143053182085385
9939700992429600469 12756185904545598068 2020783375367345262
57026775058331227 950827867930065454 6602279670145371217
2291171535443566929 5832380724425010313 1220343904715982285
17045542598598037633 15460481779702820971 13948388779949365130
13975040175430829518 17477538238425541763 11104663041851745725
15860992957141157587 14529434633012950138 2504838019075394203
7512113882611121886 4859973559980886617 1258601555703250219
15594548157514316394 4516730171963773048 11380103193905031983
6809282239982353344 18045256930420065002 2453702683108791859
977214582986981460 2006410402232713466 6192236267216378358
3429468402195675253 18146933153017348921 17369978576367231139
1246940717230386603 11335758870083327110 14166488801730353682
9008573127269635732 10776025389820643815 15087605441903942962
1359542462712147922 13898874411226454206 17911176066536804411
9435590428600085274 294488509967864007 8890111397567922046
7987823476034328778 13263827582440967651 7503774813106751573
14974747296185646837 8504765037032103375 17340303357444536213
7704610912964485743 8107533670327205061 9062969835083315985
16968963142126734184 12958041214190810180 2720170147759570200
2986358963942189566 14884226322219356580 286224325144368520
11313800433154279797 18366849528439673248 17899725929482368789
3730004284609106799 1654474302052767205 5006698007047077032
8196893913601182838 15214541774425211640 17391346045606626073
8369003584076969089 3939046733368550293 10178639720308707785
2180248669304388697 62894391300126322 9205708961736223191
6837431058165360438 3150743890848308214 17849330658111464583
12214815643135450865 13410713840519603402 3200778126692046802
13354780043041779313 800850022756886036 15660052933953067433
6572823544154375676 11030281857015819266 12682241941471433835
11654136407300274693 4517795492388641109 9757017371504524244
17833043400781889277 12685085201747792227 10408057728835019573
98370418513455221 6732663555696848598 13248530959948529780
3530441401230622826 18188251992895660615 1847918354186383756
1127392190402660921 11293734643143819463 3015506344578682982
13852645444071153329 2121359659091349142 1294604376116677694
5616576231286352318 7112502442954235625 11676228199551561689
12925182803007305359 7852375518160493082 1136513130539296154
5636923900916593195 3221077517612607747 17784790465798152513
3554210049056995938 17476839685878225874 3206836372585575732
2765333945644823430 10080070903718799528 5412370818878286353
9689685887726257728 8236117509123533998 1951139137165040214
4492205209227980349 16541291230861602967 1424371548301437940
9117562079669206794 14374681563251691625 13873164030199921303
6680317946770936731 15586334026918276214 10896213950976109802
9506261949596413689 9903949574308040616 6038397344557204470
174601465422373648 15946141191338238030 17142225620992044937
7552030283784477064 2947372384532947997 510797021688197711
4962499439249363461 23770320158385357 959774499105138124
1468396011518788276 2015698006852312308 4149400718489980136
5992916099522371188 10819182935265531076 16189787999192351131
342833961790261950 12470830319550495336 18128495041912812501
1193600899723524337 9056793666590079770 2154021227041669041
4963570213951235735 4865075960209211409 2097724599039942963
2024080278583179845 11527054549196576736 10650256084182390252
4808408648695766755 1642839215013788844 10607187948250398390
7076868166085913508 730522571106887032 12500579240208524895
4484390097311355324 15145801330700623870 8055827661392944028
5865092976832712268 15159212508053625143 3560964582876483341
4070052741344438280 6032585709886855634 15643262320904604873
2565119772293371111 318314293065348260 15047458749141511872
7772788389811528730 7081187494343801976 6465136009467253947
10425940692543362069 554608190318339115 14796699860302125214
1638153134431111443 10336967447052276248 8412308070396592958
4004557277152051226 8143598997278774834 16413323996508783221
13139418758033994949 9772709138335006667 2818167159287157659
17091740573832523669 14629199013130751608 18268322711500338185
8290963415675493063 8830864907452542588 1614839084637494849
14855358500870422231 3472996748392519937 15317151166268877716
5825895018698400362 16730208429367544129 10481156578141202800
4746166512382823750 12720876014472464998 8825177124486735972
13733447296837467838 6412293741681359625 8313213138756135033
11421481194803712517 7997007691544174032 6812963847917605930
9683091901227558641 14703594165860324713 1775476144519618309
2724283288516469519 717642555185856868 8736402192215092346
11878800336431381021 4348816066017061293 6115112756583631307
9176597239667142976 12615622714894259204 10283406711301385987
5111762509485379420 3118290051198688449 7345123071632232145
9176423451688682359 4843865456157868971 12008036363752566088
12058837181919397720 2145073958457347366 1526504881672818067
3488830105567134848 13208362960674805143 4077549672899572192
7770995684693818365 1398532341546313593 12711859908703927840
1417561172594446813 17045191024194170604 4101933177604931713
14708428834203480320 17447509264469407724 14314821973983434255
17990472271061617265 5087756685841673942 12797820586893859939
1778128952671092879 3535918530508665898 9035729701042481301
14808661568277079962 14587345077537747914 11920080002323122708
6426515805197278753 3295612216725984831 11040722532100876120
12305952936387598754 16097391899742004253 4908537335606182208
12446674552196795504 16010497855816895177 9194378874788615551
3382957529567613384 5154647600754974077 9801822865328396141
9023662173919288143 17623115353825147868 8238115767443015816
15811444159859002560 9085612528904059661 6888601089398614254
258252992894160189 6704363880792428622 6114966032147235763
11075393882690261875 8797664238933620407 5901892006476726920
5309780159285518958 14940808387240817367 14642032021449656698
9808256672068504139 3670135111380607658 11211211097845960152
1474304506716695808 15843166204506876239 7661051252471780561
10170905502249418476 7801416045582028589 2763981484737053050
9491377905499253054 16201395896336915095 9256513756442782198
5411283157972456034 5059433122288321676 4327408006721123357
9278544078834433377 7601527110882281612 11848295896975505251
12096998801094735560 14773480339823506413 15586227433895802149
12786541257830242872 6904692985140503067 5309011515263103959
12105257191179371066 14654380212442225037 2556774974190695009
4461297399927600261 14888225660915118646 14915459341148291824
2738802166252327631 6047155789239131512 12920545353217010338
10697617257007840205 2751585253158203504 13252729159780047496
14700326134672815469 14082527904374600529 16852962273496542070
17446675504235853907 15019600398527572311 12312781346344081551
14524667935039810450 5634005663377195738 11375574739525000569
2423665396433260040 5222836914796015410 4397666386492647387
4619294441691707638 665088602354770716 13246495665281593610
6564144270549729409 10223216188145661688 3961556907299230585
11543262515492439914 16118031437285993790 7143417964520166465
13295053515909486772 40434666004899675 17127804194038347164
8599165966560586269 8214016749011284903 13725130352140465239
5467254474431726291 7748584297438219877 16933551114829772472
2169618439506799400 2169787627665113463 17314493571267943764
18053575102911354912 11928303275378476973 11593850925061715550
17782269923473589362 3280235307704747039 6145343578598685149
17080117031114086090 18066839902983594755 6517508430331020706
8092908893950411541 12558378233386153732 4476532167973132976
16081642430367025016 4233154094369139361 8693630486693161027
11244959343027742285 12273503967768513508 14108978636385284876
7242414665378826984 6561316938846562432 8601038474994665795
17532942353612365904 17940076637020912186 7340260368823171304
7061807613916067905 10561734935039519326 17990796503724650862
6208732943911827159 359077562804090617 14177751537784403113
10659599444915362902 15081727220615085833 13417573895659757486
15513842342017811524 11814141516204288231 1827312513875101814
2804611699894603103 17116500469975602763 12270191815211952087
12256358467786024988 18435021722453971267 671330264390865618
476504300460286050 16465470901027093441 4047724406247136402
1322305451411883346 1388308688834322280 7303989085269758176
9323792664765233642 4542762575316368936 17342696132794337618
4588025054768498379 13415475057390330804 17880279491733405570
10610553400618620353 3180842072658960139 13002966655454270120
1665301181064982826 7083673946791258979 190522247122496820
17388280237250677740 8430770379923642945 12987180971921668584
2311086108365390642 2870984383579822345 14014682609164653318
14467187293062251484 192186361147413298 15171951713531796524
9900305495015948728 17958004775615466344 14346380954498606514
18040047357617407096 5035237584833424532 15089555460613972287
4131411873749729831 1329013581168250330 10095353333051193949
10749518561022462716 9050611429810755847 15022028840236655649
8775554279239748298 13105754025489230502 15471300118574167585
89864764002355628 8776416323420466637 5280258630612040891
2719174488591862912 7599309137399661994 15012887256778039979
14062981725630928925 12038536286991689603 7089756544681775245
10376661532744718039 1265198725901533130 13807996727081142408
2935019626765036403 7651672460680700141 3644093016200370795
2840982578090080674 17956262740157449201 18267979450492880548
11799503659796848070 9942537025669672388 11886606816406990297
5488594946437447576 7226714353282744302 3784851653123877043
878018453244803041 12110022586268616085 734072179404675123
11869573627998248542 469150421297783998 260151124912803804
11639179410120968649 9318165193840846253 12795671722734758075
15318410297267253933 691524703570062620 5837129010576994601
15045963859726941052 5850056944932238169 12017434144750943807
7447139064928956574 3101711812658245019 16052940704474982954
18195745945986994042 8932252132785575659 13390817488106794834
11582771836502517453 4964411326683611686 2195093981702694011
14145229538389675669 16459605532062271798 866316924816482864
4593041209937286377 8415491391910972138 4171236715600528969
16637569303336782889 2002011073439212680 17695124661097601411
4627687053598611702 7895831936020190403 8455951300917267802
2923861649108534854 8344557563927786255 6408671940373352556
12210227354536675772 14294804157294222295 10103022425071085127
10092959489504123771 6554774405376736268 12629917718410641774
6260933257596067126 2460827021439369673 2541962996717103668
597377203127351475 5316984203117315309 4811211393563241961
13119698597255811641 8048691512862388981 10216818971194073842
4612229970165291764 10000980798419974770 6877640812402540687
1488727563290436992 2227774069895697318 11237754507523316593
13478948605382290972 1963583846976858124 5512309205269276457
3972770164717652347 3841751276198975037 10283343042181903117
8564001259792872199 16472187244722489221 8953493499268945921
3518747340357279580 4003157546223963073 3270305958289814590
3966704458129482496 8122141865926661939 14627734748099506653
13064426990862560568 2414079187889870829 5378461209354225306
10841985740128255566 538582442885401738 7535089183482905946
16117559957598879095 8477890721414539741 1459127491209533386
17035126360733620462 8517668552872379126 10292151468337355014
17081267732745344157 13751455337946087178 14026945459523832966
6653278775061723516 10619085543856390441 2196343631481122885
10045966074702826136 10082317330452718282 5920859259504831242
9951879073426540617 7074696649151414158 15808193543879464318
7385247772746953374 3192003544283864292 18153684490917593847
12423498260668568905 10957758099756378169 11488762179911016040
2099931186465333782 11180979581250294432 8098916250668367933
3529200436790763465 12988418908674681745 6147567275954808580
3207503344604030989 10761592604898615360 229854861031893504
8809853962667144291 13957364469005693860 7634287665224495886
12353487366976556874 1134423796317152034 2088992471334107068
7393372127190799698 1845367839871058391 207922563987322884
11960870813159944976 12182120053317317363 17307358132571709283
13871081155552824936 18304446751741566262 7178705220184302849
10929605677758824425 16446976977835806844 13723874412159769044
6942854352100915216 1726308474365729390 2150078766445323155
15345558947919656626 12145453828874527201 2054448620739726849
2740102003352628137 11294462163577610655 756164283387413743
17841144758438810880 10802406021185415861 8716455530476737846
6321788834517649606 14681322910577468426 17330043563884336387
12701802180050071614 14695105111079727151 5112098511654172830
4957505496794139973 8270979451952045982 12307685939199120969
12425799408953443032 8376410143634796588 16621778679680060464
3580497854566660073 1122515747803382416 857664980960597599
6343640119895925918 12878473260854462891 10036813920765722626
14451335468363173812 5476809692401102807 16442255173514366342
13060203194757167104 14354124071243177715 15961249405696125227
13703893649690872584 363907326340340064 6247455540491754842
12242249332757832361 156065475679796717 9351116235749732355
4590350628677701405 1671195940982350389 13501398458898451905
6526341991225002255 1689782913778157592 7439222350869010334
13975150263226478308 11411961169932682710 17204271834833847277
541534742544435367 6591191931218949684 2645454775478232486
4322857481256485321 8477416487553065110 12902505428548435048
971445777981341415 14995104682744976712 4243341648807158063
8695061252721927661 5028202003270177222 2289257340915567840
13870416345121866007 13994481698072092233 6912785400753196481
2278309315841980139 4329765449648304839 5963108095785485298
4880024847478722478 16015608779890240947 1866679034261393544
914821179919731519 9643404035648760131 2418114953615593915
944756836073702374 15186388048737296834 7723355336128442206
7500747479679599691 18013961306453293634 2315274808095756456
13655308255424029566 17203800273561677098 1382158694422087756
5090390250309588976 517170818384213989 1612709252627729621
1330118955572449606 300922478056709885 18115693291289091987
13491407109725238321 15293714633593827320 5151539373053314504
5951523243743139207 14459112015249527975 5456113959000700739
3877918438464873016 12534071654260163555 15871678376893555041
11005484805712025549 16353066973143374252 4358331472063256685
8268349332210859288 12485161590939658075 13955993592854471343
5911446886848367039 14925834086813706974 6590362597857994805
1280544923533661875 1637756018947988164 4734090064512686329
16693705263131485912 6834882340494360958 8120732176159658505
2244371958905329346 10447499707729734021 7318742361446942194
8032857516355555296 14023605983059313116 1032336061815461376
9840995337876562612 9869256223029203587 12227975697177267636
12728115115844186033 7752058479783205470 729733219713393087
12954017801239007622
init_by_array__________
2100341266307895239 8344256300489757943 15687933285484243894
8268620370277076319 12371852309826545459 8800491541730110238
18113268950100835773 2886823658884438119 3293667307248180724
9307928143300172731 7688082017574293629 900986224735166665
9977972710722265039 6008205004994830552 546909104521689292
7428471521869107594 14777563419314721179 16116143076567350053
5322685342003142329 4200427048445863473 4693092150132559146
13671425863759338582 6747117460737639916 4732666080236551150
5912839950611941263 3903717554504704909 2615667650256786818
10844129913887006352 13786467861810997820 14267853002994021570
13767807302847237439 16407963253707224617 4802498363698583497
2523802839317209764 3822579397797475589 8950320572212130610
3745623504978342534 16092609066068482806 9817016950274642398
10591660660323829098 11751606650792815920 5122873818577122211
17209553764913936624 6249057709284380343 15088791264695071830
15344673071709851930 4345751415293646084 2542865750703067928
13520525127852368784 18294188662880997241 3871781938044881523
2873487268122812184 15099676759482679005 15442599127239350490
6311893274367710888 3286118760484672933 4146067961333542189
13303942567897208770 8196013722255630418 4437815439340979989
15433791533450605135 4254828956815687049 1310903207708286015
10529182764462398549 14900231311660638810 9727017277104609793
1821308310948199033 11628861435066772084 9469019138491546924
3145812670532604988 9938468915045491919 1562447430672662142
13963995266697989134 3356884357625028695 4499850304584309747
8456825817023658122 10859039922814285279 8099512337972526555
348006375109672149 11919893998241688603 1104199577402948826
16689191854356060289 10992552041730168078 7243733172705465836
5668075606180319560 18182847037333286970 4290215357664631322
4061414220791828613 13006291061652989604 7140491178917128798
12703446217663283481 5500220597564558267 10330551509971296358
15958554768648714492 5174555954515360045 1731318837687577735
3557700801048354857 13764012341928616198 13115166194379119043
7989321021560255519 2103584280905877040 9230788662155228488
16396629323325547654 657926409811318051 15046700264391400727
5120132858771880830 7934160097989028561 6963121488531976245
17412329602621742089 15144843053931774092 17204176651763054532
13166595387554065870 8590377810513960213 5834365135373991938
7640913007182226243 3479394703859418425 16402784452644521040
4993979809687083980 13254522168097688865 15643659095244365219
5881437660538424982 11174892200618987379 254409966159711077
17158413043140549909 3638048789290376272 1376816930299489190
4622462095217761923 15086407973010263515 13253971772784692238
5270549043541649236 11182714186805411604 12283846437495577140
5297647149908953219 10047451738316836654 4938228100367874746
12328523025304077923 3601049438595312361 9313624118352733770
13322966086117661798 16660005705644029394 11337677526988872373
13869299102574417795 15642043183045645437 3021755569085880019
4979741767761188161 13679979092079279587 3344685842861071743
13947960059899588104 305806934293368007 5749173929201650029
11123724852118844098 15128987688788879802 15251651211024665009
7689925933816577776 16732804392695859449 17087345401014078468
14315108589159048871 4820700266619778917 16709637539357958441
4936227875177351374 2137907697912987247 11628565601408395420
2333250549241556786 5711200379577778637 5170680131529031729
12620392043061335164 95363390101096078 5487981914081709462
1763109823981838620 3395861271473224396 1300496844282213595
6894316212820232902 10673859651135576674 5911839658857903252
17407110743387299102 8257427154623140385 11389003026741800267
4070043211095013717 11663806997145259025 15265598950648798210
630585789434030934 3524446529213587334 7186424168495184211
10806585451386379021 11120017753500499273 1586837651387701301
17530454400954415544 9991670045077880430 7550997268990730180
8640249196597379304 3522203892786893823 10401116549878854788
13690285544733124852 8295785675455774586 15535716172155117603
3112108583723722511 17633179955339271113 18154208056063759375
1866409236285815666 13326075895396412882 8756261842948020025
6281852999868439131 15087653361275292858 10333923911152949397
5265567645757408500 12728041843210352184 6347959327507828759
154112802625564758 18235228308679780218 3253805274673352418
4849171610689031197 17948529398340432518 13803510475637409167
13506570190409883095 15870801273282960805 8451286481299170773
9562190620034457541 8518905387449138364 12681306401363385655
3788073690559762558 5256820289573487769 2752021372314875467
6354035166862520716 4328956378309739069 449087441228269600
5533508742653090868 1260389420404746988 18175394473289055097
1535467109660399420 8818894282874061442 12140873243824811213
15031386653823014946 1286028221456149232 6329608889367858784
9419654354945132725 6094576547061672379 17706217251847450255
1733495073065878126 16918923754607552663 8881949849954945044
12938977706896313891 14043628638299793407 18393874581723718233
6886318534846892044 14577870878038334081 13541558383439414119
13570472158807588273 18300760537910283361 818368572800609205
1417000585112573219 12337533143867683655 12433180994702314480
778190005829189083 13667356216206524711 9866149895295225230
11043240490417111999 1123933826541378598 6469631933605123610
14508554074431980040 13918931242962026714 2870785929342348285
14786362626740736974 13176680060902695786 9591778613541679456
9097662885117436706 749262234240924947 1944844067793307093
4339214904577487742 8009584152961946551 16073159501225501777
3335870590499306217 17088312653151202847 3108893142681931848
16636841767202792021 10423316431118400637 8008357368674443506
11340015231914677875 17687896501594936090 15173627921763199958
542569482243721959 15071714982769812975 4466624872151386956
1901780715602332461 9822227742154351098 1479332892928648780
6981611948382474400 7620824924456077376 14095973329429406782
7902744005696185404 15830577219375036920 10287076667317764416
12334872764071724025 4419302088133544331 14455842851266090520
12488077416504654222 7953892017701886766 6331484925529519007
4902145853785030022 17010159216096443073 11945354668653886087
15112022728645230829 17363484484522986742 4423497825896692887
8155489510809067471 258966605622576285 5462958075742020534
6763710214913276228 2368935183451109054 14209506165246453811
2646257040978514881 3776001911922207672 1419304601390147631
14987366598022458284 3977770701065815721 730820417451838898
3982991703612885327 2803544519671388477 17067667221114424649
2922555119737867166 1989477584121460932 15020387605892337354
9293277796427533547 10722181424063557247 16704542332047511651
5008286236142089514 16174732308747382540 17597019485798338402
13081745199110622093 8850305883842258115 12723629125624589005
8140566453402805978 15356684607680935061 14222190387342648650
11134610460665975178 1259799058620984266 13281656268025610041
298262561068153992 12277871700239212922 13911297774719779438
16556727962761474934 17903010316654728010 9682617699648434744
14757681836838592850 1327242446558524473 11126645098780572792
1883602329313221774 2543897783922776873 15029168513767772842
12710270651039129878 16118202956069604504 15010759372168680524
2296827082251923948 10793729742623518101 13829764151845413046
17769301223184451213 3118268169210783372 17626204544105123127
7416718488974352644 10450751996212925994 9352529519128770586
259347569641110140 8048588892269692697 1774414152306494058
10669548347214355622 13061992253816795081 18432677803063861659
8879191055593984333 12433753195199268041 14919392415439730602
6612848378595332963 6320986812036143628 10465592420226092859
4196009278962570808 3747816564473572224 17941203486133732898
2350310037040505198 5811779859134370113 10492109599506195126
7699650690179541274 1954338494306022961 14095816969027231152
5841346919964852061 14945969510148214735 3680200305887550992
6218047466131695792 8242165745175775096 11021371934053307357
1265099502753169797 4644347436111321718 3609296916782832859
8109807992218521571 18387884215648662020 14656324896296392902
17386819091238216751 17788300878582317152 7919446259742399591
4466613134576358004 12928181023667938509 13147446154454932030
16552129038252734620 8395299403738822450 11313817655275361164
434258809499511718 2074882104954788676 7929892178759395518
9006461629105745388 5176475650000323086 11128357033468341069
12026158851559118955 14699716249471156500 448982497120206757
4156475356685519900 6063816103417215727 10073289387954971479
8174466846138590962 2675777452363449006 9090685420572474281
6659652652765562060 12923120304018106621 11117480560334526775
937910473424587511 1838692113502346645 11133914074648726180
7922600945143884053 13435287702700959550 5287964921251123332
11354875374575318947 17955724760748238133 13728617396297106512
4107449660118101255 1210269794886589623 11408687205733456282
4538354710392677887 13566803319341319267 17870798107734050771
3354318982568089135 9034450839405133651 13087431795753424314
950333102820688239 1968360654535604116 16840551645563314995
8867501803892924995 11395388644490626845 1529815836300732204
13330848522996608842 1813432878817504265 2336867432693429560
15192805445973385902 2528593071076407877 128459777936689248
9976345382867214866 6208885766767996043 14982349522273141706
3099654362410737822 13776700761947297661 8806185470684925550
8151717890410585321 640860591588072925 14592096303937307465
9056472419613564846 14861544647742266352 12703771500398470216
3142372800384138465 6201105606917248196 18337516409359270184
15042268695665115339 15188246541383283846 12800028693090114519
5992859621101493472 18278043971816803521 9002773075219424560
7325707116943598353 7930571931248040822 5645275869617023448
7266107455295958487 4363664528273524411 14313875763787479809
17059695613553486802 9247761425889940932 13704726459237593128
2701312427328909832 17235532008287243115 14093147761491729538
6247352273768386516 8268710048153268415 7985295214477182083
15624495190888896807 3772753430045262788 9133991620474991698
5665791943316256028 7551996832462193473 13163729206798953877
9263532074153846374 1015460703698618353 17929874696989519390
18257884721466153847 16271867543011222991 3905971519021791941
16814488397137052085 1321197685504621613 2870359191894002181
14317282970323395450 13663920845511074366 2052463995796539594
14126345686431444337 1727572121947022534 17793552254485594241
6738857418849205750 1282987123157442952 16655480021581159251
6784587032080183866 14726758805359965162 7577995933961987349
12539609320311114036 10789773033385439494 8517001497411158227
10075543932136339710 14838152340938811081 9560840631794044194
17445736541454117475 10633026464336393186 15705729708242246293
1117517596891411098 4305657943415886942 4948856840533979263
16071681989041789593 13723031429272486527 7639567622306509462
12670424537483090390 9715223453097197134 5457173389992686394
289857129276135145 17048610270521972512 692768013309835485
14823232360546632057 18218002361317895936 3281724260212650204
16453957266549513795 8592711109774511881 929825123473369579
15966784769764367791 9627344291450607588 10849555504977813287
9234566913936339275 6413807690366911210 10862389016184219267
13842504799335374048 1531994113376881174 2081314867544364459
16430628791616959932 8314714038654394368 9155473892098431813
12577843786670475704 4399161106452401017 1668083091682623186
1741383777203714216 2162597285417794374 15841980159165218736
1971354603551467079 1206714764913205968 4790860439591272330
14699375615594055799 8374423871657449988 10950685736472937738
697344331343267176 10084998763118059810 12897369539795983124
12351260292144383605 1268810970176811234 7406287800414582768
516169557043807831 5077568278710520380 3828791738309039304
7721974069946943610 3534670260981096460 4865792189600584891
16892578493734337298 9161499464278042590 11976149624067055931
13219479887277343990 14161556738111500680 14670715255011223056
4671205678403576558 12633022931454259781 14821376219869187646
751181776484317028 2192211308839047070 11787306362361245189
10672375120744095707 4601972328345244467 15457217788831125879
8464345256775460809 10191938789487159478 6184348739615197613
11425436778806882100 2739227089124319793 461464518456000551
4689850170029177442 6120307814374078625 11153579230681708671
7891721473905347926 10281646937824872400 3026099648191332248
8666750296953273818 14978499698844363232 13303395102890132065
8182358205292864080 10560547713972971291 11981635489418959093
3134621354935288409 11580681977404383968 14205530317404088650
5997789011854923157 13659151593432238041 11664332114338865086
7490351383220929386 7189290499881530378 15039262734271020220
2057217285976980055 555570804905355739 11235311968348555110
13824557146269603217 16906788840653099693 7222878245455661677
5245139444332423756 4723748462805674292 12216509815698568612
17402362976648951187 17389614836810366768 4880936484146667711
9085007839292639880 13837353458498535449 11914419854360366677
16595890135313864103 6313969847197627222 18296909792163910431
10041780113382084042 2499478551172884794 11057894246241189489
9742243032389068555 12838934582673196228 13437023235248490367
13372420669446163240 6752564244716909224 7157333073400313737
12230281516370654308 1182884552219419117 2955125381312499218
10308827097079443249 1337648572986534958 16378788590020343939
108619126514420935 3990981009621629188 5460953070230946410
9703328329366531883 13166631489188077236 1104768831213675170
3447930458553877908 8067172487769945676 5445802098190775347
3244840981648973873 17314668322981950060 5006812527827763807
18158695070225526260 2824536478852417853 13974775809127519886
9814362769074067392 17276205156374862128 11361680725379306967
3422581970382012542 11003189603753241266 11194292945277862261
6839623313908521348 11935326462707324634 1611456788685878444
13112620989475558907 517659108904450427 13558114318574407624
15699089742731633077 4988979278862685458 8111373583056521297
3891258746615399627 8137298251469718086 12748663295624701649
4389835683495292062 5775217872128831729 9462091896405534927
8498124108820263989 8059131278842839525 10503167994254090892
11613153541070396656 18069248738504647790 570657419109768508
3950574167771159665 5514655599604313077 2908460854428484165
10777722615935663114 12007363304839279486 9800646187569484767
8795423564889864287 14257396680131028419 6405465117315096498
7939411072208774878 17577572378528990006 14785873806715994850
16770572680854747390 18127549474419396481 11637013449455757750
14371851933996761086 3601181063650110280 4126442845019316144
10198287239244320669 18000169628555379659 18392482400739978269
6219919037686919957 3610085377719446052 2513925039981776336
16679413537926716955 12903302131714909434 5581145789762985009
12325955044293303233 17216111180742141204 6321919595276545740
3507521147216174501 9659194593319481840 11473976005975358326
14742730101435987026 492845897709954780 16976371186162599676
17712703422837648655 9881254778587061697 8413223156302299551
1563841828254089168 9996032758786671975 138877700583772667
13003043368574995989 4390573668650456587 8610287390568126755
15126904974266642199 6703637238986057662 2873075592956810157
6035080933946049418 13382846581202353014 7303971031814642463
18418024405307444267 5847096731675404647 4035880699639842500
11525348625112218478 3041162365459574102 2604734487727986558
15526341771636983145 14556052310697370254 12997787077930808155
9601806501755554499 11349677952521423389 14956777807644899350
16559736957742852721 12360828274778140726 6685373272009662513
16932258748055324130 15918051131954158508 1692312913140790144
546653826801637367 5341587076045986652 14975057236342585662
12374976357340622412 10328833995181940552 12831807101710443149
10548514914382545716 2217806727199715993 12627067369242845138
4598965364035438158 150923352751318171 14274109544442257283
4696661475093863031 1505764114384654516 10699185831891495147
2392353847713620519 3652870166711788383 8640653276221911108
3894077592275889704 4918592872135964845 16379121273281400789
12058465483591683656 11250106829302924945 1147537556296983005
6376342756004613268 14967128191709280506 18007449949790627628
9497178279316537841 7920174844809394893 10037752595255719907
15875342784985217697 15311615921712850696 9552902652110992950
14054979450099721140 5998709773566417349 18027910339276320187
8223099053868585554 7842270354824999767 4896315688770080292
12969320296569787895 2674321489185759961 4053615936864718439
11349775270588617578 4743019256284553975 5602100217469723769
14398995691411527813 7412170493796825470 836262406131744846
8231086633845153022 5161377920438552287 8828731196169924949
16211142246465502680 3307990879253687818 5193405406899782022
8510842117467566693 6070955181022405365 14482950231361409799
12585159371331138077 3511537678933588148 2041849474531116417
10944936685095345792 18303116923079107729 2720566371239725320
4958672473562397622 3032326668253243412 13689418691726908338
1895205511728843996 8146303515271990527 16507343500056113480
473996939105902919 9897686885246881481 14606433762712790575
6732796251605566368 1399778120855368916 935023885182833777
16066282816186753477 7291270991820612055 17530230393129853844
10223493623477451366 15841725630495676683 17379567246435515824
8588251429375561971 18339511210887206423 17349587430725976100
12244876521394838088 6382187714147161259 12335807181848950831
16948885622305460665 13755097796371520506 14806740373324947801
4828699633859287703 8209879281452301604 12435716669553736437
13970976859588452131 6233960842566773148 12507096267900505759
1198713114381279421 14989862731124149015 15932189508707978949
2526406641432708722 29187427817271982 1499802773054556353
10816638187021897173 5436139270839738132 6659882287036010082
2154048955317173697 10887317019333757642 16281091802634424955
10754549879915384901 10760611745769249815 2161505946972504002
5243132808986265107 10129852179873415416 710339480008649081
7802129453068808528 17967213567178907213 15730859124668605599
13058356168962376502 3701224985413645909 14464065869149109264
9959272418844311646 10157426099515958752 14013736814538268528
17797456992065653951 17418878140257344806 15457429073540561521
2184426881360949378 2062193041154712416 8553463347406931661
4913057625202871854 2668943682126618425 17064444737891172288
4997115903913298637 12019402608892327416 17603584559765897352
11367529582073647975 8211476043518436050 8676849804070323674
18431829230394475730 10490177861361247904 9508720602025651349
7409627448555722700 5804047018862729008 11943858176893142594
11908095418933847092 5415449345715887652 1554022699166156407
9073322106406017161 7080630967969047082 18049736940860732943
12748714242594196794 1226992415735156741 17900981019609531193
11720739744008710999 3006400683394775434 11347974011751996028
3316999628257954608 8384484563557639101 18117794685961729767
1900145025596618194 17459527840632892676 5634784101865710994
7918619300292897158 3146577625026301350 9955212856499068767
1873995843681746975 1561487759967972194 8322718804375878474
11300284215327028366 4667391032508998982 9820104494306625580
17922397968599970610 1784690461886786712 14940365084341346821
5348719575594186181 10720419084507855261 14210394354145143274
2426468692164000131 16271062114607059202 14851904092357070247
6524493015693121897 9825473835127138531 14222500616268569578
15521484052007487468 14462579404124614699 11012375590820665520
11625327350536084927 14452017765243785417 9989342263518766305
3640105471101803790 4749866455897513242 13963064946736312044
10007416591973223791 18314132234717431115 3286596588617483450
7726163455370818765 7575454721115379328 5308331576437663422
18288821894903530934 8028405805410554106 15744019832103296628
149765559630932100 6137705557200071977 14513416315434803615
11665702820128984473 218926670505601386 6868675028717769519
15282016569441512302 5707000497782960236 6671120586555079567
2194098052618985448 16849577895477330978 12957148471017466283
1997805535404859393 1180721060263860490 13206391310193756958
12980208674461861797 3825967775058875366 17543433670782042631
1518339070120322730 16344584340890991669 2611327165318529819
11265022723283422529 4001552800373196817 14509595890079346161
3528717165416234562 18153222571501914072 9387182977209744425
10064342315985580021 11373678413215253977 2308457853228798099
9729042942839545302 7833785471140127746 6351049900319844436
14454610627133496067 12533175683634819111 15570163926716513029
13356980519185762498