-
Notifications
You must be signed in to change notification settings - Fork 21
/
SFMT.11213.64.out.txt
672 lines (672 loc) · 41.8 KB
/
SFMT.11213.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-11213:68-14-3-7-3:effff7fb-ffffffef-dfdfbfff-7fffdbfd
64 bit generated randoms
init_gen_rand__________
13610699029048603287 2139471239080732957 415865048097390128
7432795050428992553 14555182419759284595 7427523193236281565
12888197719010639337 11694066494668374751 13970003415240794042
7730116834353297478 14264209979394634383 2096855488327449864
10809751370446077911 12670940175470789072 16515744309049961902
7856931021879245550 14730262263391622753 14865716655538623323
263833031954855495 17820775294584528997 5079801732481259141
2668383933274992971 4113350874752742195 9829737383024092695
15589449856675931789 5966873605037367411 13028815820894158307
1212031054801496136 13859656212385185664 3331504637328902671
15781590846214630604 2375597743165164162 11617209191738772839
10879698639043779487 7924674608701897621 15272313814944403539
462039553260016313 17019216142028515243 10073031084900198184
6029221004904989340 17115829538126468835 6403147862855676086
17486955372658877438 11742747844472019402 14506010336450577139
16161408537423785984 5227760689074468783 1660337475766840171
18089807075875546511 2718036745009739937 9772344418764386753
12656472735650478862 196879952113345286 15863182262512795208
3037528970671462088 14109151025289206779 884563870717026374
9233586015475095898 6945593799766208479 12011236508385667619
16241660940892830826 1514344120759721986 2356253412521440957
16872915041152943668 13939713628364701493 15581591583113921893
18207592059359563224 13054081335997889091 12235543865271080211
12252434542738784643 15308241762664192191 1910301230918781775
13472806952817881411 14489499886068811913 7168714778851107752
15732253098403897297 11565989219567702892 10965456640879619228
9759586300771590144 17122793806938856553 2276025986392131062
16793539613202126272 4167058421841033696 16829696662018633073
14703415765616139432 8842058116130100601 17316525637356139496
6190403526362081713 10581758964031171322 14521169852082396902
3405245851713070445 3131863342128195454 3400228840171205061
18174465292693101701 18017469986270218516 5549252534317347705
13681088313857847898 13590320176635884250 12540241231442795213
3562435819690839469 16832018835673992247 1367776528595905795
1694589455128776058 12823660609839312587 1630492124667581354
11841688284621267166 8898582256997686504 416227366737159640
9616270984285572293 17567145599249161603 5895124476417811934
1064661005170394909 12128061988838279946 2463460030087760363
10523080894181246775 1608526107238197418 716639008697653817
6103797823911632637 3613780641509508350 15698952961670306635
15000842896625701359 2228225896260478480 5356974899647139440
14187315213769431635 9991272740093897696 15204000244679942003
14323247304309717845 9440519832515447859 12824499668234065287
14611911454252083885 18242924897518981933 15266875663261096958
15274631767288904014 3053550098691228631 11969663974966557478
7016979393486712178 5788479263717594189 7754062951730457505
13676556015765014049 3158897299986652367 11934072906697907125
5687907547919954195 10272802812852923946 5574169751779471935
17834197979927811023 4969473504343315731 10834601576671530611
17836559444358100059 5020665790800502780 15162539084545747342
12072278784985188984 10325581640417166828 1045725376492059352
14333392007331535143 13864952841237174344 12583101976664416742
4920602427829922231 70706783622609533 17155620967871211931
3894699960780557197 4201967859000724401 2831552841899889042
7931335249054280495 17756595660909055777 16561193914551485039
6109394919570233120 12423089955709567324 2231468832262553759
8285748406550571390 189635436488867989 17228926956656417488
1604021095743868649 18033074725955344344 18315616948904340802
13350661485815256176 7221192409495633586 5626319614012615999
7621336017172236929 11342949047309212490 14691450687932645317
7131128832474253154 4285198469714201787 17002027910559630511
2549873107801212105 6803253638253043602 11224601346194135139
17483942247060487873 11156686534566013355 10823543887247747428
8822351283735793857 1839534139631664835 11281488392980626227
12302475426448756978 13831203992738944608 4249457666591951799
15240912155348684957 16748556150276561605 10343683016569314312
2477564867090966865 10441912558438757262 10061354678431187875
17619959868618653557 7507828151179458307 7541919810845668869
14418552505019882959 7899101212092950175 5220127761601549743
6988546645455808779 6596513656323027064 13948762963239579135
13287619743154053524 5890747957195659389 4815609331277638635
872161518544236135 17447396165547304429 9131117462653546883
6605092882979154710 6477255623012897468 16568112818110549378
11884755998874585739 2850895619000510639 6378811424917204475
16796061667188126260 12802164310249085757 14434072494721626562
13508582751223302457 7204163463943002474 4891058365356021774
8144541987792672554 14244630724788806861 15755259291898704765
2188588937516141871 17842798549050052527 15415295469134406959
14664232009620910609 15575555491441604917 8639041252679341209
4543580928370785907 2172708007819248658 13610498248473025042
8588759836853401183 12224351998223118559 7534862278174135132
2155759780890214487 15592092589079904936 6142229678692729811
10684894136027946502 11979504173761588104 8128184993937697614
5170406226268021339 7425698891750976763 3725909722729624171
4497410406996298975 7663756611710062584 8586304189465464768
1938776743240311550 11548931117552254962 6784810947272581314
10725069647563256945 428192711193324990 16968940266181755236
4009063647716035272 14177533199448090062 11711479715127054497
271200278309821013 2415940281750529549 12137045448951113247
18375041438186445221 11689295195628159796 5273454209176880018
9786287998309111833 5677022727067669298 6103835326793714051
13440052493288858656 11639211332806491277 11114275832220178473
13645686897418513531 16626333538346581481 14594707654566240847
17858584233435958872 2268268931116937006 18423076517929360066
16574749755772371821 7698771484090332180 6255043838188922994
14672237286408895134 12582542874722337007 1447222129833110406
10967131405922194357 11456444875177774491 14881790629759251260
12911455267429501007 1694497394347746279 3564765186083506596
1535867517741493481 8568878078188377304 14090578111531935594
773495211640175906 18216599482014871841 13865249358353733138
14236212624131648715 12191294915359959866 16624903474179284875
5532355589345849457 16048100625695547471 9109324947244919097
18361302237234787062 16272613304813795300 4946512523501319894
8358435143814951564 9980989631261091105 4418948454208848941
13059509984513145070 10491160770867392223 5556708506104378750
8412115898196493889 18010438434801490578 18300957985106973381
2638542285334457592 1406441948807518817 13594936251020657110
13568034707721171917 8539233905562018027 8265830702600736956
1326788439216313454 12524197922481857050 6136118634890351091
18228955962776216752 9185089512037578544 4733143638557711391
11231190223347411430 15845396461295820976 18362812442171426543
18113665881423766348 4525034591216024817 16617609873241450030
15218331850430196047 1075896752486263185 22548643168190496
14817178950855424520 922514723338674852 6241744213586672570
12199692513755212925 14032813575311626514 2013538323451165934
14593799552130216166 18241456306823072618 4791522556912730100
4777211319077624431 15559988615564166765 6001013421804197923
5992018433542855211 9592930162315323908 3010389494232828532
4881454556199585458 9779702716359722787 5586680333919185508
7607452268785614162 15357804568258504895 17423056737871805210
12708718847486550041 2809855188282585673 16975567669020223932
8631424741908271560 14841236187955920522 18023010763486323449
14652359367842345636 15036525618920860130 16031065664429337178
7010625145165292112 11854676617782974925 12010587334920290924
1434400266647016279 16386346211466239723 9706190812340693010
5409549964073677583 11011591450423539110 8396067936813838519
10405141402751486784 5049561883925351643 11421787355900419584
3980140700578541174 17247365217795447275 6335424941878618669
15130183910651430849 4482269328915215550 16599372437005196920
5851298316559699856 14166496998762545375 13058910648041302257
12428792440418655775 3352755980440147308 5523979516810562380
3031567776579441330 14045392364778971189 12373198580724759863
816253043090432273 17454036290933162072 9036156728016753740
6966130659832211273 15952905396443272810 16239729514909163652
11924930162259961501 3362334764413101239 6379263660817836361
12858171765400590729 2623979317374668328 5565262872473838320
8064710717987998928 12203560530351283304 323612713838352836
1969664990114305491 13075453312178917090 11472012006444186082
7525938606104214583 9680692604744257304 10983064335211808393
15572174912752470318 6365959572780563980 15752121270273409366
9789431881080956133 13648469399415089204 5196138828530851579
8311660045705302983 12342197173258741157 7678670067528419592
12295402073815376565 1335508187678014163 2755800049137656109
5251466312886302993 15376067512310800556 760828358291321739
4395689829150405336 416337113343884461 5134125187351076720
14713789099534092288 554670337719725087 7747835726499373842
10060148727415644574 1698497016057473529 1350167087223550530
5986324708356194963 3751551282811920419 14322220367901666272
1570063813704612115 5648665075867545710 5305864158189387361
6664049069642835033 516315095724331592 17168758223261189587
16907017228546649769 9971159458191892082 3258665954293708402
10374073200321429361 9834059227676149537 5488948740951041719
16551752673741738800 12657926521225643097 12577883404911436448
14688572005503923735 12410849646920143131 14646467072364983917
8706920376313476142 7061653694378081128 17899604076683360747
8523669041111524524 4963134701015069576 1338306156104534251
2702069199006893303 11150834999625142756 17684751117573749074
12609889774206149115 8094567357768985798 1564662412999930924
4772734602044613643 11997275687452153302 9216452550580959505
3698066560648376427 11067093996581677226 16059760414998265536
2247175415047399329 6247744724877787365 15706837038217608364
7584227256950271129 8807612804817027437 3223050332920042571
6508238172453618054 12536528163091262630 797627802839921320
2219645960228173933 7883198311062160025 15255728393791746556
9572000659869547457 6974710393150276431 8637418487889911842
6532074714928975621 11796731167471916101 13177497350416560653
12990091366218989345 12822585024048125030 11770460657233660151
13086146717706945565 15251678616611606768 17621179727717896941
16618662703407324462 10302670429696054291 4404008732813547806
7404248779706911972 2403018169221696000 10884585378678608192
9265331993410270952 12765473240148076012 3154680232152496027
8013631907492833286 17516392442776369369 9538071292670666036
4237198735432278959 11416501408942444850 9453130406271042910
13394392456431510181 12088042162885275769 650531367240587440
12879523212124888858 16869186827170912253 17270616093677356321
4192900867828830246 16249834093138327503 6742194949814480752
3517810217526429702 2866688717113916094 2572375106363794975
7611781203623572711 17086053180242479909 9202894037739334813
13525313697846496452 17589859154905856024 2556494518008632772
11633317794002896788 18397008962839445413 1359119272899113957
8610538703527719355 1450420932628681622 14159188972920358938
9864990779971475576 7776265440770735724 15246814743928656993
3878114141706330193 14552420783645574976 1853557669058471179
14457301525821560138 16649457246090964029 16986262049951487570
8310324870662346351 17108275791427482414 7500381456960106281
12902113850087834672 6145192974985232216 13126473387605088720
9491973592600108583 11235953387891313581 10018135790673544479
9422494123190570372 5794756756009687902 6537062053624983856
1019501774892989839 12468078926230401110 966708583973558821
153843868450233551 13079487495024212776 6549872848874709468
16969170057921448 5933379290627902582 17192406228342515618
10628040614397047337 12871780716678461852 1486953607653566238
14834274687113818331 13672381672290757014 13771519843282012762
738725074691663617 4249712681209778595 13015981955689123862
5181768772287417484 15506309998520265312 3403083035788014656
6010083308865162204 6950766688705446144 14056692613882234959
15793799410112604041 7210148676996562088 15604250157011096171
14097147037174159194 3508833693818565700 9648398315159290280
10914698052113987740 8246117978976507753 6166415874267558776
2379492451847370105 14492033524973482113 15985800275852043396
15183207186290263588 16971300135203304443 5038758360027813630
445664660593229366 12172098492308364351 6057970002719291391
6828042982018795954 15578583370900686518 3125382482633622975
17051481321622564022 5966547284070736405 4021173897430061949
7166693859124854860 7247871530309477438 6078126684713886311
8788051089231574444 7617599431233117108 10657379160265513092
6840838912428426885 16961079209571339023 691797521254063387
14735825308032279870 12536385674227369956 373273376078523863
3087087288164527750 14245856077086963624 15778396196176308020
16564560096302058049 6575320424251026536 6580402915131595335
17686350230101576879 1412122086312170641 5051974829450768835
9404378283844041154 17265174583313052839 7302380904000570209
3947512469575079482 2997702774241974603 2205332731699792456
9504042108849049861 12996565479789700732 16880368595747417864
18094458159652629829 10256614112393849995 10284222949187420733
8369482046781538149 14105265627640023584 14421212528007959506
13990641629834613360 11875722155302092635 16984118166934571445
14478578406388662898 6165222919088891487 5591872168399007887
7116793491930560345 5256449452203242129 1602110608442935063
4901414536874606324 7146724194116002655 13686243900762406560
11242083895526583676 14789104809751171203 14764277734676873004
110502174741128971 2645774002646177945 546345048601684311
14213172655442036703 13209746348097704111 141389065080086758
15765787502252311226 15603245910250876161 15548925488591289425
11537126356288982561 9967759057148354634 8546968993032976151
12920707133899362897 52097547627390636 5357127827238918828
11403239633275016976 8765478210580385509 13345344194753322221
16910530671254620978 13760856513488492618 18408929793624511399
650765699756846501 5079238483810360501 4345285291837269051
12874618968544283533 13788594782539112453 6347297257272400417
13961675548740536849 4884274629440974516 836717473248018986
1070763412326286465 16813219209593034571 5107632046644103877
17894934754028038953 11560374825449574121 15530875996048615342
5578348361051323189 4747686155915844887 13109672884095819895
17389726249925422622 8277009319383621585 14299767478483717947
7127365861896767515 7956763206726439848 11199960028483262579
11987848815934176121 12706957992824134124 10900941379016660428
5394039219261080997 17787188752285854602 11181971004360671472
8557730482254911098 4719241738675630431 5445344803091196814
13020647059448254503 1896893956073899734 17907511636272142460
13782384909248603838 17906249817317017739 7796236443334251741
11536237585511289392 2300779604781772625 15515660919879663423
12234912862713589848 1178411248741090276 2149715599534758630
9096696839684821278 9722245334572897382 18363769416254081872
16525892026966186734 303307296781969035 14010886878972961551
17016209963649037282 13065941856077020378 10824067280711958442
16203721980267679140 11842883295754396984 8124339763845881726
9371469431327487490 6667281557588833852 11915418669633749111
2920689888578986568 18007827812491697485 15715040017173275762
9068499426900768078 13417441713782225659 4689088853800236619
13497242962056944009 14332503242641261151 266390718727271008
15885011678775199234 13022453962011514906 4116371232316084224
34790713627681137 520220378042831915 5293865810581739752
1372983394687879438 2291138300924947254 14693109154398975894
840713758042531889 12432037558838080508 8137542590273008798
13762358719632151359 4850445270786384482 2868518551290463219
13037655141217840760 7021156297607580808 1181492393262869459
16510637694124703890 13878450900279308813 9389927654801024833
10216240192826134566 10795396137223060765 9080749926568925146
6363857177826816681 15168997785348871092 11473161066528716312
15540364390557441222 18240402815795959613 6984966008898184360
7737448543473783039 10152767992057934036 4183935551088092161
10488784460609643293 8732519200529197925 2921432615043679432
12497170550516114745 4894589922426966088 2914047650403161821
9482370385657528818 4786088755420917518 4495949995157191354
11594825514770722353 5331175175233583128 9341805440933704278
8610231634387165792 2144342643295963997 7244220233350376751
15339816103541413629 3238266045133142805 4609038954239983843
170856109016835250 7652828704254589873 10352879301494859635
10257890885364479688 2736561196490845006 7847095720713537055
8120343578568552196 4933213810341659782 6074714182577278108
8070737019818474003 7617311920810790142 3632486255957983915
10564515124716596339 7814013076444685035 15616376780235712521
9423922799191925635 6445818434446614244 18314646679223411382
1931523500333934753 529563088385018783 14070677235999918054
11333746361926991536 9993788719490117287 17437953260014978856
10204172381137769814 6013461970894750581 13102249377879012832
11753118910980212696 12181237112063615584 1456590485906259384
5986387511428089433 6513841675031799492 9001542535735337793
14972851064369189727 3615934119890301598 13107391783493811718
6749016828142940474 6392350303525627505 12511379438719327782
7761983939521551720 5602591079817341455 17226855945137130684
14154177689219191421 791423788845714122 4453907917805095373
7742482393273545995 6462249240681876744 12184620061422919199
1870112918608107122 3983005715851766612 5868615036897075233
1933164669120124806 13820937537266885822 1729519784553339687
16195101874882799487 18297317043333839281 10450171847011397295
8272628307560842157 14979342875017695227 11420162244675361857
1003183667948071904 4949660558827375678 214441973198894674
9902963997979016416 14836078270703999516 3555209632516609246
3643436132158527109 11980905038189140604 10919874890312927480
2977565896229668246 9658326726200049509 10856302911336848289
7056029436100764545 16626692308142585694 6075247641374299960
1497908991362103958 7872787523984346086 8530996038236518365
16518533691142187682 15997280615350816456 6958112690707456038
4152804270428718342 14599644105135430890 3729258297292986046
12458930251219103485 14308345304919273747 17096754207863759741
5093985375810205692 15307578296712979591 7590056726485425350
17702698162947086349 6857554649130042780 12568760227301882476
1534832813433238300 11848252444771548839 7138207583543920465
15204972246062595887 12788390611574168672 6656550979551084576
9767918403760657742 761891978013714815 5582248300333617335
10111511301154827547 757430993314571496 7203079895842000252
16044953567031138220 6629367536587232297 16941260621336600015
15603237795768314427 11330507279732392645 14612274044099398225
13408716902677805030 12335486328662783151 2112199637735604802
16320289513050941177 9343933572775099766 8524906957935489652
1288759713844314192 13957549187842770899 17647297810495226584
15104821807050362400 14153828055735640485 10568115489770693260
1895736771528241500 13513596138607461669 16772166009627245290
13743443195299141481 5125973134890681045 17196906120487035583
7910170638541030518 1262790354118412918 12151592538074654154
6347263791424613925 17163513482156846876 368284623046922043
11936055583007446061 2472713622687435419 12801559810312768821
5361360269548641334 6617431308760124659 13151578863505681021
7471503729203733071 14107058233116114274 7134381609853900334
17588337694237929165 7699012911776087314 2415256157468900340
2016184285616330125 3414088319871489452 9260528804228194014
9078742607083593503 12531574616298839069 367755333383348782
229156620536856158 10977101518201421351 10867456575127535352
12008973803400590926 3523338694765884948 2030416807463131897
15027450767640410113 16351939921358790548 14227006255871387493
5247035775132706723 15051957552134409496 1587130342012676761
14758578687854941196 1245593328444974940 13801300685531060859
12316304240181161678 628992497068129330 462038790330084116
17374006041013181305 17384517613966376666 11117870701987472882
8797780445304195453 2014651885577778442 16989605857184554632
2118625611509162801 8240967208353820933 5765468618782214464
12912442381469760825 6094748638024522534 12056908361367873805
12639418406204328721 1750696864009696791 17349497325566128541
373867573626408653 4732829340233638861 16174630176505735656
10063018133994900869 17308645173308419196 11091353816581371951
15078420471318089727 17965717592743818706 12301543162252389155
1724943167823308511
init_by_array__________
10584597800832250963 2548328615141470319 2318206789153718958
5852523638611088019 9697968129116894576 58966826565151415
11788829807435064401 18240184799785265533 15276433274284553110
3419355190372850580 13074039025374591750 4304232146061991964
10282628152697377460 10658050055441029724 6245494920149721146
5608984543731905844 13766090107608722554 27345703335951513
7747815476759171465 1343137581254345048 7945538340538993695
6452970867341103086 1851815250426729540 663053850616753705
18263260729444912632 11131924906586036357 17966552150854809827
14413452581326141875 1944495770330314478 4458158518360098586
10855725793317229851 13881661609657056963 7816037805274230866
13057915119808529847 9210820344218329847 6399237545610572673
9315165469277520466 974126211016299059 8921261631067951857
12547451418480349209 18332668667502190761 7723139032326931299
5041331979386229599 4177136444403754546 8369535461183352084
15164559436496690453 14819763948407922746 17573172683719982660
9940493569944500805 13267527237479601692 2234287735376802881
14037467632879087051 4889476229593736732 3300518871216620515
10678485609168564136 13316419557137961504 5206007890473496521
13186890028597366003 16540482843536718270 11161249662872880708
2190152296462751186 1204821834729042580 16657753998587470788
4520844646093757867 18029610764524050646 4325752234892338556
10654329824448952747 7804914631722627699 13803607474020670956
9793404124078343326 2451807615361598162 15895816658478021864
4803532440392365744 6073150642105856802 11702843575511421589
11448671423649126081 1230746210016817152 1311351909532548089
8010131807232645441 2106965105403138916 1108355542755179054
6802249727079496346 362532393240766756 10260899354480877574
2132024938224682286 10260093683063848333 6271508140329246102
2936245434350830301 8905046413342804369 10855855228056250387
7393354725583558153 7362514864856225634 11305827068341513053
15374457147817477517 17588081475113065956 6063235105507327443
10026135653524842010 17201177626324130497 18029853940405262552
1329972548296462672 2862562221224915995 250866034237836648
9011552215372308592 4083367278160410887 1079006923724476278
10798911699820943197 4126250194458987442 12260244457570946780
14333957382695209976 17981130279283279942 17132290962123173146
14484402867920758791 15681322805636261720 3557815730076540880
14955596996443755356 9268070041264507954 5477146620026738177
17181836447210672461 8145478453784546677 11396846227348136847
1076357823113130972 942315690470070884 14692630078114923442
837096596597808127 11220815047432397888 9744268820418742230
15665702362488944407 13549709631402461041 9682466252281230891
12338384892617205419 4336877167092672795 6948680520525860531
16859167137600782162 18264833568143647148 3705899574273482985
5165551550115781784 13496181502934134800 8963038781067161727
7024619292290337671 18357535655489620375 14942984965523151899
12598620482073706675 1071631604665273297 16074638276860279002
16219349919398410459 11520298608544633488 6138340348141349564
18361451680137590575 137619270367414318 10273152341517007402
4063303741848575588 4385454530644514411 16347593734556123149
1498702305748822327 7983427124845483528 11169339727442312326
2420356443858038484 2414876167544926198 5067577798115435106
7823924708409151589 17415496858366205179 9331271316640000921
11229623463233731106 12002855816431292985 5446961993559146981
2683790702424434588 13365327674630900598 1270128881291638300
7274505365314980667 8034177947551586287 10669969130647650455
15512427525691410503 3644148119603151079 5558103022192100425
13634039691057963140 6011903757995157650 12819819851298502770
15615810982361450914 9266207468833012450 14795917814315460963
7008773297249242057 8040340282915818271 12923290224202922736
15161439235428360690 10649334319109446882 6034527169185091006
7952785167821460817 15265481809280615620 11024215771393868196
16483216858181794401 18401479956233182708 18282589301007771963
15082183874325023919 17760866748215820194 898514750358361029
4726508102301657336 1288140207302782956 8272975152124779486
11139004408523117740 2305311453750709568 5317057423322894036
11909331860272579050 597104190537442954 10668392059744280205
2046166436892048346 16086974520240161770 8908272101112916235
8470383358870004707 2010156285758487366 2145105129489647553
9265310385855112147 13957595671258399113 305607127369550472
8681616404884571687 15669556443500118650 16751815430272014087
18398377303089754994 17630429793146646216 12873888346394964524
13332527269634554376 16935662148249735469 956366562268162866
2535148046296358735 17018427291284503775 1383243279721842386
7241835230200579838 9670153518603548555 13394273138762215358
3089341592329939130 13849724745103610653 1797717031818263524
13204828984284237380 13152825734100410808 1564019132052083628
7081663193500348989 15302121592877274700 15024004518368464896
52231957634008299 5818222055166444310 1901004685589140663
11658676596194532618 17153573800015361828 973846527612836068
9455774252456941198 14745911371357536276 14246961600575730056
15043329809842844760 254666176095357004 15291962035421049625
3536386472956673964 2033706278855234436 7989066029300117930
7360675524151468641 4083496641675026365 2008003246904838313
6551562803745868213 10213741361801222735 13629356646677160988
4518357352330979883 6545382474747085315 2902502785150976749
2449704193009065728 10739689284427566389 4989742932578271861
2748280033069903540 10265782232344299151 13445768206968234462
18237715747326720877 1609350889271795334 15935252456763343410
10278794078471129883 4151333718829065756 2318972361824512691
2651389181327725904 1891144990907649662 554472208447042514
18207387614617567525 3395898134344726678 11842706293021256971
17793440553168074486 8350991776596507997 15145544771267955635
4519378545906326477 4135930677367280476 13604930218954923014
3552346020252727618 12931512389695082160 9102741292457005744
14420529533462090500 7272441938447043215 15817656812029317603
2358223278257430278 13037098916708925658 6687684640359181887
15868535548149738944 526779203223217232 15391931422201173828
17540451564258136207 1978434447405311719 17058047464301192637
17348296091687203674 14767086956193272336 11036366540462564701
7825859171629783587 3518717187318268705 15585000213293821254
17684354890493734511 4427285265218387192 14334751039147957988
11473595595069772002 5618702859996553530 1907554153563463588
16064612751386892369 850689290775981992 11593247739987748475
289519523020623718 6344890865777259501 1759496868182575481
123498533192749020 4124568117315413729 17260331980250115216
5219377126369965920 7985511751083387254 5137737491828997441
7224451513519433394 1492203302412425853 3962268159314942868
14018211014818508458 14287021112702651615 8526118660499872815
1610489498558276855 6936173303632362904 17742032832678825668
13430391410814805352 17699459030297296821 16730188291525542093
13467524256646443640 3908442121578108234 14336003571086261938
504117057286569996 7141041217767101598 17796086116623122078
4729240240524150749 8363025474677978218 10281452225729395118
17571539911541861636 10028821219998553598 15839691062876525647
4000144172908246327 8429753869920573677 1828175849142420219
17207023350401463561 11800221659295618750 7689568604314011451
3232244848050398849 11820898657530641881 11714639364213775259
11370851813783926327 18427374979882260992 3288747526970290944
5735766860992824684 15078143400514819179 17843592927030848745
1504871786680824396 1205485426465547386 1891595338706724024
5243027965267538443 17608286772139421667 6576691054187812084
10277272504290416650 13400800556487808085 6908483030654930405
17458186828135826359 10740175737686571614 1815391809223649756
11712865094172500291 12789987860425348749 9405314317181798733
16369268290579692063 209206856652028210 14185862619533270701
1833482484248249690 18322508367026843837 14533839151199761942
5455021943479986376 8669281754810524406 14996303851362465802
5877117540027252618 3558543519430382173 9998848934740952919
6657454576969549407 5453842820520193587 6148607706410245698
8401165424599211946 7553119023058705061 16873361153486468999
1665686993747358405 14995129465157171472 10905839849821992900
13975031478326052838 9786994058029166265 17475419518893790617
18024379918430685443 9780197828748392125 12646544593489056261
671755091168392811 18349508179638309338 16862858350145982426
7088511041731336482 3715155706285954276 13172954425768651303
17277317829346837066 14725328567734848871 16610044870288896573
8600988759996387587 387245119414607582 15041220995858377043
7098351037541022210 12839789798510759704 10117223346455041239
2359418769244393059 3771361896976659569 4254146848142376083
3441797592145891642 7666790003263655545 2124936207506186995
15337089725600565037 376143528282272076 15389816995497415801
11812016950181711622 9221894856862774071 16087182243536177406
16364657470633085233 6678688661477310464 7108301049081755809
2914690988869365076 8614393142874609564 1754888119394153568
11353490585154029909 2398371826185537037 16172550225140700489
3298902953722066975 5569167829733317860 2855077099800947701
8174048648023159383 11683443922401171551 12794248871084593105
14274266309418049996 5408817854601471099 6153011494850888279
10124284163743855254 8617255274193003110 4365642372673919425
15819915155594588945 6844751401983625160 17756278128320694128
16195080094382830744 15368458104194366419 7006433562165931844
16071960431596515704 4883816945390055800 1725883263168247324
8126265483027614262 6936672926385157749 9241488847168710270
968687200543395521 11272885294324650243 17188498174095424955
6880482143915533673 10869302671438025171 12519035756245027403
238289055028854093 12104549892587364193 10723744335860296480
11106920027129873435 13787758219327053094 8299130345360472528
7600843234640375526 10447632318076452258 18402589222405558172
16553704948933461656 1101720025595162986 12160615013514838032
14334627443789302736 11103587150790261145 5620276164550668089
6926035647965277427 12703835403533987973 15966173320282218550
3009860860218182835 12078487823689645816 3976382495338763455
9971755244539416455 12771435810060768495 5676075160173741837
12758915143903162467 12459899401841394440 12638275543087283865
16201242415825986900 5403782914592994648 11115982973231339719
7943760867113984934 9931377639712094767 2099875093973417760
16816918187831451927 15676667055661581496 2894980775475763436
1310726294181671232 12664262339273847548 5142069402964849917
12325672855300691700 7444115019252516881 3805002406716972696
16286992888279469331 13407060469399200231 865808529374229724
12572843486126396312 87364068154887821 9702768351884154302
12795311636478559355 10905828382920762568 384278687557843792
11641193561123593833 10229105602540952781 1101105539884447549
5355216542758319044 13042663103644093470 2226253516177664997
16700546856533541483 13980507994643531619 1633829758768160281
4043911636091903702 15111301980995348602 5841249317776267228
14814378241781251664 5555042744035547987 11484512127250981952
9758963482683388281 16000175238220396798 5595554004136961301
15193987837880156136 3678445303363534800 10373686209384283825
8001540996600931845 17366742792624229568 11597951181915656378
8730151478703887317 16537532093269064772 1590187315859343813
4539645391429166215 10451486425749494926 2265685163034240506
1715245948210565372 6653907876330796047 15907039094975007993
6815444397740261850 13185047947594876715 15508244839329836065
12099189937086338442 7648445824905286999 17564222520749890111
9621292798629139395 5925354879106840716 9190782229122647292
16033336770129347966 12033064856126437722 6195945793230948774
17290744547382510581 14451738551207355353 4643740293045618958
12280776581235925128 283179706278005907 14562489753788273374
11397636095940251118 4831973444975955782 17666712193262476491
12455021790498114530 13004047047667062721 14017484103088879421
8457738202102580405 5539839263187575114 4643478524068547631
5283535463705817090 9628577486731936617 11958480641643089624
13374594534365403451 5713594340261682892 17179089049420325178
10947835479610016798 3469571725237340447 16322175265758848491
18320908521499259919 11488379172317738407 17764319241920553777
11648629057351406324 7632174789651703726 13788862803984561875
2861612457837307220 2833367745123914659 2086529115883342100
4045348316665397921 1249683855986342350 5608279878282059794
9167815139119754241 7846664791016950188 15001445942759082596
7999861587421909117 3399829946482964996 9961698381560239142
588841405463744116 6825653397866595306 15384752748245763023
5374174067362943021 918961785365724146 5428940862784144308
7716420037110572243 6962385121371473388 6951608095923520698
10887982416690479102 2092170680310376229 12016689921672300089
14024566324913182381 12355481887950253978 189233375033245606
16174945388194166383 2045056647177109499 18413192822071351183
1316342332267504264 2271601117687487877 18035193998163643419
8557515070568998399 7948060409550675348 4554068749520678824
12052277661847275501 2144795645720756240 10476202719390768409
16000188520381064736 289275489626123803 6292750478307303079
14670488762469734168 15351426090605865015 17277610421283503774
9113128531845127028 8281602460481707390 8407083431351883348
3178233892174679061 16305034693469810990 8621737217969847017
12837718658918072155 11011151658360707215 9533858330083093474
7802134901412012490 2943921848893125143 9211748056876684930
4636526347922156254 3979637474507453791 9293635729182245858
3020158799848687155 17606708294309262348 2571546124434434
10504954482696657828 6930576843950089095 15819523759646659682
15785744344164246143 7542181228328523292 2751496981944836362
14983370412206085650 2971395728573426087 10091833711880180558
11955001774609514860 16495357558392497259 2610518771821667112
13894138904317497243 10397357899191730802 5857920613708454859
1192809426277095403 670389743077872020 7564800483262301034
5073761678764698336 13652355504306883232 18405633833021503910
14016391713222275541 8545448488101327799 9434772953005548934
7297514856670581991 7262759612623073105 12085129384229071197
17052023200128348178 88254045948289476 7159572374157670008
17404941771862410271 12951978272800560292 14476713907949606826
9445782818118049343 15258909173846802799 2284943042586430561
9222484513940287333 344959756963254222 1632004284433442406
13132758607011400759 12876199321594374777 7172107819905058005
14653014774117995851 14180857688805597458 4988004844606803359
1221350272512512115 3924355563539747810 14679015035084090301
3347699484451194588 10062330387434634348 15966580699833581009
11081793494955261049 17626197167156548322 10322538995426305296
8800883564670726662 12990039859507816181 18204775941067284946
14512369115211364679 2053057656164451189 15614958367291662904
9283253480063049693 6469592438540660416 4297932181012090685
1314747271457065853 8565302644684333979 16956195340549363975
1116168277173659465 10957075615268650701 14032011072402275685
9202859798522566315 15667605049591761303 438317413323345221
18352508679660251326 1732505420080822518 14854620800926972094
6369984446818622018 8607538422133003753 17896444603271520364
16773817814090643092 18200561490282518947 6324338709546587703
4981614089770944657 6828970585035592355 17267866107835678456
15286214903505439023 9447149351016630201 18328315319333520101
12836115450454983355 3763839979601531988 18004811055269137498
14851082868975420377 12338646563452467701 14376580735706316620
13417574071182118262 1289265855230745354 5937209076058021964
7794542064241336885 1253119994661872111 10659819559799891690
5757198554400308961 8999754743116437806 883111171007634182
9764598041747379073 14606364928155191167 7495800432314020556
2805081611620917750 18435906756150624053 12512627804699193051
11029760032200783750 13798976476006171349 7601022577058465671
1358264023030562075 6268041929858345255 1769868977217042024
1965358224496513625 14183210451965752255 8313053810653915504
17337246786028963422 16642502437212534672 11887316259041138994
7596308228178749810 4970626389994551137 16928640454325001387
12800996358534414886 289095541660643484 13531939334693731786
9316682313455992257 1079169542524873804 17562863865794227471
12427529788400984482 15059858190503421685 10713508056721298410
17191355334541299921 6619759059063455445 1164049341266372376
13654856882766527908 12935836716104692267 17589261859827129019
13182049222144368268 11935383557675937186 10460846459702224274
17512045688626893446 17874153142943423805 11645468138184091062
6537740047108088836 15700524469614462304 15030468740652110095
7356270422246279020 6205447070243701110 11926123000459626195
7145648645223037397 14490513413672991862 17152773174739615348
12324322349979684511 15329550409246607459 3828513329959396051
17741127518131850588 12264084338544050429 4092842789524716458
5554480488855326016 15554960538178100279 10446774333712056528
15143832628896700056 13717968772595492881 6333711267074059431
10285906726251496560 2715625598920639302 10288900166262570865
10056018520938514378 1351354753514247179 7225299924813830025
4241901308616494091 7927818933479481488 15321556049608544254
1451753070350063440 9893771066202136302 12433704790901820105
16548820309395997541 10128846579787886480 5509436108878817819
15918866440558761760 10819031931597203139 7688705269355527308
13797100219658246698 4826519502542524062 3109932888928571867
6212088848180397555 17708310211968099165 17099821710276433787
6440773309735119269 16561932295667481932 4983971517405301052
9561769965973704391 4314463553982388497 1146125232056378237
4685612823714608291 98905208845661721 7681289420855644525
3992968586253526968 15714357978068297020 1958035493627703728
2445633195528866776 9270648409731537010 291232794453408999
894004130412555482 17060883274576079860 18283499552332426958
3803116462524851168 14991214106310739645 3961340757686979222
4322811020123598535 16720451902244518060 16912062476888371362
12233413346150388305 10179681489354526457 11249547129932400788
3656564483295598442 16767990812681931223 10041365383530095563
15913631426139285154 15252290938577308416 12615143282680041087
16609210308177755890 15232522871247128900 16354289401880420137
10774700596447804399 7230933674984167928 4261033391421390746
3806590985827141945 9751285803592747675 15246853683611078463
4101114107641756100 2873367688226964880 11419808918987612596
6322194586080708078 17047495086077320925 9123771820623100792
7287961795836964188 16521717448459920190 13571244199502034934
7512507957573619827 10930329666623990104 4082067533495761331
13054991319507786878 16773125903793103755 7885171167303025642
9671072806821368205 3124720382412536784 792674504934340851
15517663588255843554 3632923305066623496 3986681690295864933
5648525926009444153 10907945186898601748 14009080264378611963
17338589482140732254 14860400408337723537 1789860329860841948
3623754074217067028 16532665951748682360 14091474042525233082
4564379729358700936 13960947282841649815 13120681489438517940
1465196503616138804 4303380112486265393 13560840280434700427
3258355251952391154 10285247165681360602 4344710285157699321
16305819253756169451 9224583519232342603 7793776403003562631
18285856927826609732 9060073985684516038 13930557889340289453
8312979675315938235 3527425569119155477 16524618862020394336
12957304969403227671 11163284118968466320 11308049817892301048
3019153771772765185 10198142028473084951 13788614719312725616
9511678417767385431 8490816537374497372 17112819761072659389
2337487986809164903 5818233067763526483 16226103508251034162
12047102121634878797 14093462580907694298 1168488193548564078
5310644031713045939 5874240708849633035 94119375238590741
5100099263235709012 11593350224218202837 2426770486606854246
5435862127417235312 18240315742340409971 3062848526727811471
5982732463506771197 2350456020403304103 7527657079838846504
17387401144422487024 11770648084111694809 15762526561421073268
18351304373490927908 15510105898248970733 8862410590219273213
401669262087464050 16934879085534476239 3755193424379923128
10263577235757444801 14915046803771900418 15366510219146708775
5647808424591620300 94953313262135371 5766998834962339972
6687385051068798607 6655152637831663740 653374991552161228
12462666515933435084 6535244763256508833 8343712231971248546
10567272372522486628 3073373635232437584 15380183042740947719
9296396639435790989 18017376172948664016 6401697957520261699
13062150268843486959 426126220038608201 6614098836103648433
12415846605205808184 556261064672289451 7912436126268026319
6615343805102599265