-
Notifications
You must be signed in to change notification settings - Fork 21
/
SFMT.607.64.out.txt
672 lines (672 loc) · 41.8 KB
/
SFMT.607.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-607:2-15-3-13-3:fdff37ff-ef7f3f7d-ff777b7d-7ff7fb2f
64 bit generated randoms
init_gen_rand__________
2057530549844848623 13048562677020070454 4925347748766473243
13498305202304918499 1787780005235677048 1003808140187140784
13551874025478007777 5433103522271923856 6954693469298868433
2324257737669598194 14677024238448356108 11367110088513278407
8426504418902410089 11538212561111212966 9567516760470400362
15642475658412395216 13043448198775410786 801598335546887798
3481624034886097619 15413661209430974276 5311732306624233443
15147938252354229378 13439279161813446613 13106271140100076847
11369841526182365308 640719378043927402 14533879151236387698
6774286618846510502 17448371123202399106 7889499390911674162
11951239878009466588 15535636394971521648 15141495545979748274
5326977951009016245 7464926275004236914 8415720703800351952
13284856990736612173 14228180398799584577 12351818941544787123
15811462982380336957 6887714714184131072 16578982090309614143
2687542892786997253 4671546515589519329 18182440648845437944
5038847600768236413 6467079326198620087 13811424252797312290
9265480661759234629 1203761929914139653 12371451230862622821
17774648308021775056 10931831826110146690 10448138556726276629
7238370657828295091 16758046337996622183 7871572706156997314
15278473018060599997 8750541123032761814 964816081963099012
263044860686780513 6585070164067430950 829397735961890899
6262859836263686593 12279769792035688204 11617653182398457095
624461577273095077 10367063555578620703 9175206497016541539
9984473907089639407 12837708635048489080 14602522463750542476
13172733568417211385 14577256528252398657 13841086712644724657
14826106179437459154 17996074865292067058 11180553199534241185
3000386872793361334 3615850581521573628 1669170374760934098
1219768617227747800 11874687220113003962 16206822011432992947
7005119855655378871 14988806128969808038 11686134643908828558
653679845519268858 1213320033614867149 16952934956311825651
14094539694497202907 9145538261261423593 1310982557932340554
11322199177176262221 18095919930026549617 6236716800764625475
2944437752963366006 17315539943829728800 2500127234352276558
18237398278377800472 18329441625156717252 14522544599287942698
323801445437880689 10121775682398436361 14656547458002152656
6279536761744059755 7529495800097143631 10711919154309542795
10028157540849419908 15455691885724939116 3575695229843150265
5040402849888635914 9715853678654630715 6532874996076517789
2393038984171099887 9993229117066761234 3009284766366252042
12225751634648169668 16670201756431705968 8902193503660478113
10136330409735330270 10578586788723937034 3682091972890899960
3513382018683462926 6167352713415674586 6919524293081520229
1223794767339661852 8414501737562166039 16259891689146870082
9275034504832287299 6000908449384200137 17682459461173453213
15215786467526729816 4582121885498370989 2288365384073854330
13052936057580822305 10658821981487314824 7440851989748934738
10883346426680043787 12007009120974715460 12185686817430239598
9173238005555350388 5599292130548423824 6763809980495836791
4938093003308343892 7660648549872202725 17286060034847519229
1943852362284080587 8564551687293768381 8280729736162119312
4333088131091229952 11934130046604303081 2460930555594525736
5518176305453054405 9158904560329339958 7994375984333151071
1292007005309758969 12329839939972660233 1204631784035486113
10556748234074275824 3158059745413266099 2658766384376986038
9433803032312103907 13445313157763461748 1306438108572060586
6373787463043180644 4935671365714840431 12444776118106509023
3208060461493102509 6361176538460542671 1790939154780274054
7805613658359978904 5148884273060821442 2312132333707979313
11616509889578870176 11093484370258185818 18049778515063327787
11647393954670881277 11249699246010611234 17155774171319718793
18356462462190010807 17202814005828044354 5037411147617133312
7886799179143606534 15002028691933518958 2213131976496204786
5889953070881457908 17949266698129167879 17691645097837635625
1575613321918577401 13012420803187604080 496982737989807899
2137593271955405966 12528715585603432444 1048692598996843602
12113179617147712255 6767807902589943974 6574997758198198708
1381601839358735789 7560572915785419521 2376635675238961704
7684409095335754325 14430875770095212194 11277686225218094279
8386038552778846634 3963867591993810607 15847218736045211568
14223810910640349498 13205049062097241814 18078356541653878439
5130369417236904110 12529011033237422869 13270046288143386916
13594600124076471703 10588248442070428536 8767477579918473653
3411877388839514706 5178366734636399752 1446394047354092289
2857388343128684347 8560861385834439083 3975734271876502309
15078731730091845530 2814765099642331967 17852891602066333687
1689644314047906055 419559049259088968 3854179293841503322
8200445673768025474 14802563893455125186 10969971716890070888
15284959720194343165 12725078922793574649 6630282963247890026
12998921767532855013 2722334656363164032 12783777733731353327
5097368228677246220 6507285747887772461 2078216870581126250
6207319492232156769 10548530983580506716 3522383554210078015
10481275942480323612 5447912051406600408 12391386897989277504
11803701562909854248 11924341758039086130 3585448736779338918
14240930623664009935 2963265001296964421 7033978430780723200
13232150730333072299 13438512724235802491 1894319877777099153
9856041210028139438 17512432728735315046 15813699485198018375
10532963706966562726 17510233811782769458 13024079464498185604
1195007765732151332 9073571854286071129 7471981504346461589
6103382162304748464 3298042267725740887 3453040134249891210
4701347658450885257 17129353705200975703 6235859685081215542
13576559241939907979 3998249848237086605 6580726703243523289
11615798220346392142 4592141612769430884 1675422602435606124
10281266490156310899 12509210959175383650 8808548466351390251
15866957405245385997 4386964108703695035 6486300521693379386
9129370311934823149 12321336616950615122 13458816679584679172
18051552179427709604 1955394517468129778 4983628573230473217
2217598668780064386 16045892020520294906 9027355220096311640
10773262615323331529 4437512021668099327 15955511610789216869
110640005375355769 4955429864333085204 15007494638424888599
1285826861437851363 7370217601028006211 1139548902055492176
5287208129542205392 17267404293819406568 5940505839988291645
9880019115937388099 2482486277340805198 46351366413159889
4635462846517326864 17307612273488324844 7556508960287697286
13931746554865530956 17777532046627196049 10989500497202292208
8181358715207148608 14210515550750830607 9526881930339224761
11571524164691213362 2937170569309872445 9114945897657710468
9793116012224396771 668256891128718423 1831707620215146773
17489786890921738646 13619061269442029395 4981611505933951562
15808079958776015379 6153818714766653997 13958729552908444168
2198760416501875025 15645212375332804771 15792969862445508916
14663173261526224374 9412861024404329236 2940505960580547319
11088984542858466025 17493345049749363808 3418734816996088139
16129349770021918534 656902819853844467 3360241252908497312
6177160656537397037 357241579437871210 8015973506186374459
5133689120632815154 1423230502432249227 4375370967620747082
3950694298177607703 3941904291526760998 8973395515505957254
9226871423909821412 5040331657562496459 12797799630237066682
7832579381127720440 1665877289401549546 18340994586666420487
10503695163007473871 10966702124131396600 17663104583583227027
1701048449888236155 9883561385668539188 2214787466674406303
12589241844930301121 6830415564880488470 7453596916840760708
15652093634474633728 13193027266507341122 6232598892740856686
8745089013231423314 14642738830729821948 1723235378639021292
15233238313957200165 281951393025553072 3488514009837032770
1327273338552901952 4234002304326865069 2917988728941326402
16499490815792073852 10640364141981441885 5933930575458974199
7755739686584643412 11367452136181103010 13120097704056261746
10709099263227824099 12538612671678304929 13689314112800704046
8858613189714561865 9598022551015860979 7560329792607219722
13421044982640309233 16592080860813465925 8138130421725655365
5444469584285031325 12084111348256998057 17812092368883151359
11849074625729545740 4175822394559984672 153254492880746448
18400890667186345673 14665911238967367313 12383729689695144802
1479169083689757876 10769655392848104630 1204944852915609242
9586462186838718473 6540127070567683811 7784571919148864714
13649631644745667058 6458902312422270780 14400759928740314018
10233795049497964544 9672698086884066887 17415725766883254478
14754427095095126834 14715092261031382891 10451889592110413586
5521133192858937115 6703737060527202043 16163804224225742910
2748491769708196987 1810057996804318717 7066438732363374452
7211380556814502504 990829623847627701 15426258556462641249
13045085909015322528 18122280208524532917 12824348541650838220
4615258977807424595 825278805365519339 10088910470519587545
659976029812569842 17691579811581427092 2057712246518949906
8499330115908574169 760932818542357028 4784165737743054381
915094625142486343 10645697081833680787 3520234812902071276
16186184192449770205 10055733823291578970 7130792298391792646
17010285949739196197 4055045775898736850 80156320432838810
1657080528140109474 15635290396187970188 17449491345422175296
248541539434662256 8847862525669352458 6227071487858497318
12317157750981402997 11402949481525567093 17312322865973034784
837872074702770972 3575928559962796446 4776870161899246815
16111104478602823126 6404928594179073656 6115521120313016771
11582164323750584252 10226146749458005698 12961489621586886487
1043577779706651396 486418731323825803 8710225964842679576
6169070974582648201 2961209072790126685 13792892593652826713
6372769581344746303 12647643070361271796 6861297648981237260
3063089330132777205 13027809321562589937 7443121915992265629
17771013890580591950 12367626410504502069 15194484076999493662
5935227381143634469 8958860699185918895 16694032929126043088
11240869975529531675 2416960389834185167 14550311630522944284
17826076251721961207 14278708747374701462 7131106425854854783
17262205280167073799 16932580398479948301 7580714635557823469
3003793924805495260 1875715883717952286 5016331579633962642
17112404567407518000 15823477438579702295 2788778090538902313
14239567748690182193 18429592750653633898 5741693038005020732
16373969869190702841 14623544670461377177 3351233692000019138
1864233610000455308 12684184199293055095 12973817678842658568
835515623436085982 9864152016442220444 4346253733248610793
7701791505122257056 3920829063075212667 10206156169125099968
4846645430122663264 5257457850303116661 6957032628765095395
15841561774787423533 14422546281165404369 3726329999681059556
9851824820123030739 12771908940953426914 17421284311933633149
896790513272421502 6103053330592142493 4805130174816741079
9926491654121010182 18116606666255241288 3335771653792539896
15645268556024765165 16857136916939273330 11978401044151070344
999470527914459480 16013915260328119506 6915815500946342636
4634906084193064624 18194795025037266970 198354124366196381
7383523677263477760 6634831810099203896 1009228475924433094
4252555448005902354 17923368863114643533 14201214944111698627
10827432778557314693 12279910350827684383 10171786909936431544
9511882023879278138 14943481105345872645 4887087443449646900
13163414929809119037 12336138290869992903 504045038511761847
7439742789120650286 1436485912297390967 8053739932901917336
13344257601735322051 11031875504268102220 18286761289775571679
17074628230660425920 9218115775185859573 6967729065724455225
13472158876343442733 17103476414156671696 13204885966077048126
4841718986605085857 12478912911644443728 6171658235650653560
11556792867018899608 1500251373632117582 16434744872393214501
3516161626213540193 9119733527351064626 3912639140837656719
15156687586996417699 13363239748282475011 14192869971255735827
14056634334388320507 1893939908116527557 2386598212509654539
1200124725875512162 2118927075137397555 14718356807104763878
6897420823111342213 6105192450026397957 4705850835847280350
2399351309894134071 17694255339146587689 16845684386281304436
240845233099287263 1346935237614010228 4331477130067418659
6718843531067523401 15110923165545635611 1057665733256381041
4757268504787643809 4014432062923709766 1538431892470906854
5657164330804004277 13269316134237166902 11287680182322284709
13143766654673977585 12157922295761623328 6517820976462689083
15468186244813419758 4310915141762771470 2876462782497837201
854686408502042577 12852242146321796958 4189569561638862178
18147263963742463170 13834820161022980080 67250920372271392
7820795764629992317 16205292863518773078 14322780028617996487
5370321251546704749 10881420007004246608 16134926567378918278
2549163156545287420 11884369291055221966 2604552828630115788
16120669797129077180 13704895788079035677 15250879933026553138
9453603257344917679 13882521916367554768 13119937195695286159
3675349274462213476 17388229770013781102 2513070558669335791
7550460576028958174 10106301810306999755 16882183372122854921
386018852853682416 6367523972200764728 3990355727936863351
1531498291451181471 440125595102080383 6113847193264520937
13264217292412391408 15336465115329626990 605634731645833386
13149202017431869426 12315874301702360542 11851803048137663002
15028364956939824824 9923765047613596524 9045382681596302000
15002898771815101026 4628531992423682219 10414247370784467457
6798641037147811309 5501410914377419505 12776923096082616077
14438173780786462507 3374561583806159248 7744706962188871965
12398474581826239077 9041342166507350068 14742744115806057176
17898487902636124711 8017168359873597259 4727731941391600983
8614617660910867723 7304693201691737640 9785153012975967455
2627350910434062638 13452919394151232149 12518224531928236166
17504142603032851371 14401343168869091665 17978027268316673263
10075975853436767626 18290639714880938771 2436898162428960093
7311176104700650546 5989571518040653463 8326962824062568788
15228457228605468013 3622020322546490611 11831840061560342188
4032766755647928032 13645508094400352583 4595772515591207173
11300202357941334799 4834006569664441942 17135499517306255582
1572251724066646657 4194383695386828110 8265584355140821872
14252990607644057376 5823985483148737537 9834467507566678742
2054812989954434935 3941542690554149910 12163471401022177141
9089044784683672222 12046054229474463086 16627160479353537597
16716599061994682512 8199049795209621802 5574423363037226968
17263387971666496979 9564429166216267631 16782410093358840660
6595860652150852217 16268095979171058677 15546771532595316826
5458145863665486718 5624794147153804321 13095226236895944083
7382753265430168088 13975438666556177411 14694880711923834146
11910567423658615066 464832584450795168 10585633166655639201
13181451657338092632 2991161552513409017 15838239008201027161
789170798580553059 11523117528655385096 8410048529342002454
5118223384954470218 7892874016786283810 3518108840946042317
6541039138445249020 15642109379634623979 9525749574091182787
12562211531874260431 9470607873857761848 4038329497384898302
14797726417978063099 9692568016449313935 9148300018595245539
16316079969308899478 10318907103428763602 8965929297911754968
5692585149984077810 16877301683424148182 4357768343890061687
1939219146882481074 17890147447663520378 8917261257239984377
5941554081142744154 14971569256142259832 9835119410266659026
15951574177732418168 16861077371804059094 5939664627936190879
5645533696969641394 11820829176674147468 15164053118830389595
17918773491936525014 7173004656357472860 955606334280648565
11967982253903257363 17999362075670005255 643247167308765685
10314488957105053699 1208426888585216112 2605585483311266473
12868670894025774728 2390906366370071447 9324151605150547302
2478570406659932452 15006495299480493036 13333647575037071168
643278478190568101 14663975460915385014 8910685406223880345
6132071041504403353 14068367206964422682 668380409894997035
9948781250964814024 1381727910014577122 12842019453788596454
14541301709460737256 6095842072073673806 383056418782982378
3828893944839810390 17178837759585986118 15541128824768498025
1482061479189144865 14628211784689647064 7424475033428301529
17981348150017627509 790891898973556047 1130725593675747143
5165994461944092390 7420802005324663392 15612486807785720224
8847197574220202685 13816335565223641826 1296117018166811836
8783647042380900391 8918897750068287184 4106292861616965515
14224631094986166563 3747119761043608165 8711673961957178788
5210264915126212497 2440601853534263254 8159846230109278235
18399380596648183578 15476118824836254498 11062196283235707967
15055680168702589038 3497221124708578930 1030373211085271791
7437155776518874748 7911021225209990924 6867738422505752444
17722538316066437794 6461211150321698205 9878909465558265462
2015643112657514089 5228080869193718429 11934791154359095826
17418103230087532676 15274936966968662165 5044517986001051668
6271968228713531390 4455863870034485916 6316803562534161197
7900656205279681648 4979839935829899293 3920115691865905970
1080531115556755597 11255419429664145965 9699316734986619576
570746673198240474 18029220309261794902 10498035946439005227
6686154074099206925 1479324410334412402 12846714804436584191
13676064983482698764 315397602167322960 7621378116077150902
16918307020608836613 7807113100033602116 5788098479746821713
15574406796493739336 5917422672956629924 6895091296560344045
14611454644019430632 5884523770604616849 6814147802047984014
17047616215426548117 2902030516236091019 16002149723201175984
13580445472313853057 12797574963299411116 8372601410518564882
9519819188710186377 16569887128989497484 2087875155700732756
317433663613855454 4569319865397828511 12151887106859883872
8614670955816699338 11413406048875082457 11305509544395794112
11775984874418344350 8775219613657144169 3575415320441137497
9757851521305430520 1076720802871829960 375819938503841466
18157598600009956959 429785256004228912 10744997221220137260
6802026153407859644 9912796861941761673 8573518441555378846
15124869666011880660 13871815142901411874 17946032657918569921
14427227202038028748 14702087141938064349 4668056769873081908
13341367889904562253 14774539788981390340 13250920081142435106
11923603988490589803 6820996805406396131 11979776347175644611
16281673344850529321 8261520376544456318 11497684680268697775
943471684532201670 3280149882133585593 5269691583873908463
11233147254900140589 4971238452180438356 4163902180891989503
17316540147828613092 15433189513840498023 11540388446304879542
659211665169868236 1478883332254399342 2526581727854627116
16307764361662647293 7937573348666087087 16160802692641276741
3988330415648876573 17837107797585528098 8989065434525999143
3995884202307627576 4961193250463328757 3261571191424209531
5448729167728202958 17493165560549636683 7697307180787631844
3010038579431826870 8975784076240845547 17362223630847046597
3192455129974245941 14263008462673317028 5589545678983739714
15477230043941996363 269822026746999317 2857350083021524666
4559014452415567762 8273030677095574766 2083052776011158052
6273973748738035816 1461845889621542512 4367492623478169170
11615857856769077226 1702472896467059939 6845522084747427600
17364161342955429207 6138098187734853540 7434089533302922455
1843236090795040135 5340160865643866279 4437941764236741436
6245082363020949050 15137124725261542857 5677004223693938865
11636615548954669605 15024800102735433278 6551445080964094853
4527482446863669479 15615221564788133368 9039717035072133964
10108052802215098729 17365434647853530212 17075101439957945038
15346633081635143176 16747034807129740254 12305797583588525169
8667689891440992396 2028344905447437881 8506523191703877489
5121763615684341684 7684314362210206357 810678837203122363
12958057310490501490 6369246502718320663 12044535518794580511
16398472771810761746 1494797306270315819 3767840941901821873
17937422762727538446 17006967355389523639 1956649946344898130
6725779672847003 9128538084568403237 17621890444843975226
1223247921427879780 7566226745277101775 14018927850354387587
14698852674139285756 10517618927973662717 255981154504541089
15138363819828806400 8230095308357231077 6460508982795619157
1849534808499794998 13493246166614083763 16565408270466750133
9927368214089716423 10837822247924458239 12476541577793551578
566423528676503404 12114993848350203398 10155586672686140359
7222750151946113096 341766237323990034 8126786663340384202
15510024334182072935 5793753331747412752 16198353238554625740
2233208824926016498 3566091399820823780 16608268514591292798
10684941689666043359 12463424292910456802 5902567440240131366
7228030834036501150
init_by_array__________
17916376008136406634 10374147845387565056 5374907714212087223
597055648831068669 4061908206002260958 9285319561160640251
13493947663903443816 8090278130635699953 10084586764886572263
1799259640546950445 9269252408584658556 3405239638362529927
6682123559235902382 1224169384952210303 13697646762476022526
18365855865307061122 5184759080957944535 4068067610259192427
17090222310840070293 5923849479716841397 16498017841499419955
11049029687620143955 11507584707574721705 9642383572747998648
6769616143528291181 3809790154601599621 6350801092471379331
4869836158091630148 14920708209211758274 8386670221967701978
15196396009934872871 15324750718883388093 5624795710007798764
8755433413714160711 10241263834866610633 512279203237188840
10160728549418795697 10458172948362742492 1061877202268308861
2879351698439038560 18285961135226530619 9265241238221008866
3430095923071478184 7728882579842575450 15638564829065156470
9179608453446575796 15448221663759242516 3495961434831215115
16719555331970047491 2992000938877143834 5194776283184883896
10163835366388608636 10414502707814736588 3727917699700903477
17965830029471855184 2550047591876886778 4536377685199235840
11307652627472586171 410852479662895787 4971631254971554554
2283438597727655244 9471506334651994053 7273548754872182780
10398893220987224240 6958672793456901898 13866333538997261749
8790236157878153974 3882460970511501950 13706515739634241264
12625706940504095511 5796805841754731181 10807447812709210427
13182013012802127596 4322550383517952172 9676839352079568343
5133365868330357397 11140359166359267587 3160337890447242014
9014027790608741695 15993461829325957498 1351919655931482202
856079064198308221 10038419191247889001 2618634926482349754
8665178576203889570 16810802952960298855 2592298038830136771
5112233248943994867 7538889662928532001 3497656582794243472
3171837012005741343 4791721667009227794 813292630305142149
9044240680691519761 7710449990288702321 1357748680981471868
3814805102195424027 10642534970825733196 1106155035310747143
16244349520324727628 9904538364678463703 17827129024842400466
11338315268787291386 15077559266307253139 3192770472808038492
694289924940003155 7558945887038670331 17756259202828997213
7453061190033451420 4625956487125526952 9961787928934440012
14648291030616703818 280228949819452499 146181860113658659
4767229986373146302 11559529385220367495 13248921890205568112
9522122208409741076 11725893888124503447 396920991157853526
11284628650588356034 14744468106047770602 16701105116318049788
14796674143733954845 4215572890041219596 3975875355531188490
14992624381826512283 11841689373306764810 1548991517067461641
11277738738691090100 11308838353925134400 1889519381741470479
12274580755352400667 315676626133106019 17027179642386537938
7217140540755226154 8547240448326712424 3269621040014611922
13639504943900912311 4503152055468895407 11129069623758950142
17551830051222584086 8810071983474502343 7805978110968794062
13179990073500837177 4793472584948009187 652007855694435092
14182443943217036022 10587915695185521262 14211462263669255308
18182186841173503938 2550890483128878497 7092944371648001014
11316983412803860546 15648527121764232957 12246301731182650166
14881841097983760138 10841401650070231226 13392615060730969835
6165277015982981219 12696004335301343438 17947843688318752469
1768871955855573558 3417276066569718454 347258749675315350
7980192704307744752 16208311188493187242 7009263925131269890
1931127706645866424 7372962469232614840 3092588625759865368
4904424544606591939 15811884088594946525 6296389866073299169
10168964755792219273 4031717758518394385 15614309338200302516
14016786333130211861 18055140055940211720 18121316039994970337
5439220061719495878 10024947309688942408 10748445688615682642
10118179852252850367 803542423616732809 13272333550684374180
3368254048818660225 4891681635993891972 17363361485119034267
5282236664264840039 12222092972140902374 16036475344752032570
3633121376421487645 18112895045874194909 7059776953841345225
4926389832125331060 17713145428323312903 14017024895788921611
9702673813411609717 4017370272531475958 4835561737040293199
14593741441951745362 5469994532450859363 6480184666007290501
1876463004373922417 2958964509616537867 1599812909761112270
1107014288108848904 10639934455810762003 13712238345787900438
15290851482906474043 11220371910426881607 8041594384681171330
11907670547289166910 5568433802480311015 16709909998165567262
4640351636180165489 7866166380252885833 1430328436164631264
13826103078377176735 7859768875825564910 4755304648194577509
5269305272882972848 18339624906166897550 823714467652360559
14732002239050232392 12947455904932657970 9417766281930353391
11944239674493204754 10472492592861329363 7797059064769775310
13959392138208201882 4624585093612687285 10185596651939138740
6108740734161748892 8560997810725527528 5732242929457814132
7535565763698869809 11946032149191016144 14757810282249097822
3684497641682186570 15138090053331706411 634278163751254348
1979612952645210619 35384078102012289 3450062744233175993
2996570841119513266 13942995826289133547 9142877502056803852
3626679699122555544 10574632659383573302 2749028218877052275
12243548831785327917 2864670300268115203 17992875030933828080
5456344183131729283 13246450155442485188 9213518284211740360
7111196724494534938 13110512548885215364 17778712213920249495
5576277559728861076 12538265523889156903 2841269241780543422
10013128173802582706 8084993289517441842 18238666960002233109
13472259825305598014 12100857985197644590 10152314614550880018
900887289021695635 9953225372360373236 13689135683218587363
1148125890027621745 13007232514943608018 9550537789915736425
17345897079153194313 9054591362122632713 13909652610861438787
17997351845348537625 1853926503040506845 10364792862539335624
6454175961913419723 17585739744806517710 8661731307702789111
10151049968784876375 8605863221116731764 4640123568274135465
2831395520942217587 6635465774048517293 4107627406783672108
5345472695794844149 9139904149230771271 11271018175017426473
2179998372027424209 18197796979338798320 16245972005015122059
5375102986162457828 10377280384819388746 12888149374474136402
18306165287266004327 11638824944128962148 16487725525846195703
8716015028644254038 3527466154580131125 15274159509895172644
15039051904802448004 13760433309918736003 6524108749074610153
5772928930379183954 11899503123411242022 17779420824364792145
17759610384700778988 11331686250455666328 16300110416892474038
16736013026548526718 10432916803771366093 12675091062029132672
2644910091209128826 7686704586186887175 1891092630260201108
12133262126004169184 3663294880483379434 497877937400044411
10486596562765318667 12521887742531014141 15386616512544125442
15200566352361679719 7804788358470413768 15243017481019042586
17534041552855078781 4602052650219736019 17970256886916252462
13622959351721780384 18035760352579242828 2285532541738034077
16398554917810555253 13156701126971806333 10234712621167232813
10241553015306904782 13072084731100717958 1759430894366616158
9943199178910786230 9788221530300758536 13507427564604002705
18209393104797004533 6470309649165648191 2311081790523053582
2477291454716521891 17647009935629247405 17659980106240507795
7561598749474010539 16463642228808356661 2347822749079230
6091601875089315188 6501859417171819093 3317872654382024523
1989007408514673487 16553983592530652454 15195072793541808282
5268753114953777239 5192526505070588468 16855724146556993205
10570084472893824991 13433784558135790863 15481160204719927719
3677268569426762092 13269640963386972977 11658930573102602305
9091480081630323931 10288738095635775937 11974848843915690897
4801203138599118899 15794282065995545156 7701353029330776568
13821386943198538833 15113339665128999756 3005214659951470652
677979966074063637 15881425288984252741 2757677815547857185
2432603583889302760 14036229478930997631 3188894437441171973
16607994582183344216 1200524991639272623 15544662817919178469
7611809913291506954 6596717473166048040 13704178650782362713
17060814456014947669 12755259672639461815 15924970379422680164
5809666954528129279 1615102185331627568 324907592620163628
12108400472634662287 9656022243923788937 16719076225079966354
15323175611108565184 16524292504183034828 14630616059423808683
17763472151638146768 3544011902372481584 11544400550373910803
15089345273255442824 16806373229827780814 11240162392185264475
6288215026654375764 6264046248313385926 7746811950376328633
3407110064279183957 8381664576773393120 230858378957523496
6173098091199608247 5989559494459456270 1018671122305901047
2821371565577878962 13859150515830017745 5336646665567710924
7272686294701630571 7773741142818783213 18402226860272380439
10084327662320012502 3661768978924443491 12545676286125437650
5927026897750556970 14101744346666795711 4107078934445565928
3382528619069906634 1313755970370492757 11090287617080524457
15707324110835538195 5868640555746063771 7057086748387413949
9106645674936141277 10068525456134782014 11648784819987823926
2225775046721803300 10625238054621161092 11052999752981987889
8863102763234721271 7875809062746702579 2595094959023282993
4336456318411128631 5831805427964424817 16174899057985533607
17066041188324542751 16567645533161236832 4993337279788373267
7371375427254102945 9855830594937862990 4698169197859813274
4717729677972003250 1920703543988805421 3209682346585424232
1355108398129773763 7843517265364262211 453686533715639271
7723372851806676368 14247474841958044005 5383529343494185539
17524390428776496464 8452986679661945790 16586772222708202805
13793080327011686104 12042467272021107237 7422277623698106373
3757250290733116660 5077968018392217245 14478719958239246832
7502439430526467293 11270111900713371248 17173607694327828718
5083058886266951959 12786735019987134269 9942131745872964714
9683480039400647020 12167195848122592174 1492921707534757893
10986762953275956978 8628868982478545673 17216871795613784468
2903424781219317247 3261307023702826145 17664907739437910665
3903517944967684849 7060684772112774229 13015783468392947415
4401066523511878846 5608603090309820174 3881481651457705615
7755077750630146629 13378829624582473305 14153296492809371793
11059869873381737860 3286021094178808363 4853604172867132090
9069744135471965226 3016069019035451788 9589087872935123998
6305555004479215589 4959143165582919980 18092519414515741314
8572453012511387386 5864585937184831497 5046872138278281075
11254168813714310454 17117731930481953712 9919540982359529777
10603870724794263493 3256512496196177211 1288182994609606988
14836399314246594048 14945363127038375169 4227577994452955327
17748381231972585601 15808909761641967058 5180102465904913422
4455989673304876797 14343801170868242295 11295381634956302330
1933068129940244836 18218228063646274358 9287278673240325398
16272091509974882668 8163208911441599250 8837534374304503078
10290428342492956410 6866051376165082954 3195063443012665905
15134558948244605219 6219141729595687212 8794339039456209048
134847520684416985 30922665770105860 11154420897706179624
2597754110548438428 567070911994765075 10359312134469980301
3798694913502377703 3071057396985784058 9928347093344021376
17450541787426295357 9167899226335825188 7197625334633934391
18271972841261853474 3502902908004461810 4946638328517385898
7494342540844178531 7364937057646483721 16467167056184605381
4748994282503247240 3372317115981316463 13223088313118974556
637100860326331496 7333047094686800298 2723593973492265073
16009600190328969759 12585502012919718583 17896442127250481810
9506121090934312164 2225692227176765790 16219647275420546027
1596137068509269354 3608164614528762281 14063152126050828465
1108689509032572375 6986223326428729050 11912491986013085368
11817322683416091005 10484920623426833523 6935726358245520579
6201080732381202558 17734259144298590567 18339487832467938598
15921686231245308407 5396515013553800696 4036910698986545629
16079227109147575977 17071587624226081060 2378214516995826104
12235613631473345662 14594442526909165283 12327519360928816979
776681404187654449 14780795820921299773 3692145579452726963
7668735177772248451 10596584399801869860 13091311949887476443
17371361470396800633 1806164134776009648 5862349656846446433
12441095862595899778 754927926148932682 1577584419082474434
16283297113538513397 1328201827378788878 4567505148737196858
12191983481100578191 5585943785568954654 13886852142920483134
257483548635595869 5441816507705264047 11058818216815240594
14661321721828471408 18046652767732518915 14782292232512119554
14935817318561658254 17008215279728350664 6762201922814937898
16438053187006727293 18061684809931989945 254758541855755873
17678826248091976164 4348557714596045088 1054679835475093236
8275050588188982360 313987365028853416 8142839695422017559
5694619179942650102 12996610037902186635 17698617687502581330
10272775354571698740 3797998263193227775 2014020183968644595
3456446476813485168 7557844403086458574 4463112011999335476
976574982220475077 11699335195637471580 944347522209447645
14395735861368754538 191477658288222904 10249337601835468117
12201535854527437529 10745113042317813797 2665289131630277153
11544253959676936535 10098906300534192605 5427858674336749263
3337293148995499185 7629231280193664595 911022884827963614
10111428178812199644 17225053571566831475 8500350979957154640
5940076830503259980 14397962384792227353 9606524852081429686
1502407459997538037 2743373683061408249 14673131615605535762
5274296396335149358 6976007118325385959 12241283371676229934
13313783482829870816 13188545151614087093 4708502296233423686
17846520959412758346 8203748585765240068 2516849936276464696
8444695303641068146 2115145494100550043 2981992460609281851
6397399835896937833 2606049705044221206 15383060406555137196
16366158503134161113 6320648327355246535 10194175416579029176
4230783435536682448 12138004972567964890 15310887658129693447
1371259808896641564 6231857356926734964 11156907028631779945
4025103556898080476 3792604347299262107 16084767709279030665
1043940421822118664 3652329157138809363 17815641460761222250
6330299729928665427 8874375380568156939 15149220308722148362
4669423571559893255 4275752470684788228 3752746659070968407
3976232688805787629 8195544114898185558 17734585828467610090
5092508243986941585 4052487780440194112 317927750726339268
8393578825971251695 9199516290189023735 13366076781854642109
11503930209794973247 7616726320314534540 10892030662342959706
11510363010068068312 2376730537196173609 873059044349097895
8453591191917855595 13192202737499049991 13022902315755146913
1223436136336182202 6825379191696484020 2512087939198289644
17726014144190697257 9789116038083886151 5603340189569182553
6987698015503362533 11181983864630476548 11259773728584144988
3268554776632347653 12488498573321865644 8536746555030313906
11347748868820802638 5297961265045170416 1552031229627187483
7703700226079572406 1123744206469682775 788027297518765394
12298157789474063690 13581562110314227391 16438459156905721511
434124414327346516 6537723691993032085 15136523352188747537
2410569666982560069 4408593327962346483 18171708266186139748
10387966590705538480 15648598204221322587 14396981004229403435
13371109916025883601 17307181894626321846 12299970249124793809
11804118761642999123 1339394805008167475 2935389039393735330
16195984796505181450 5754711979330183275 10063336656881334387
6497955664895663285 11753598405826503433 8966087908725257507
12597133981282017405 2477433035672990139 1668374111301602433
2434452962657616954 541909795969664787 3811894815127148774
17168495151603835082 3231795415863465718 5198867726088991016
15912208369334952708 9194548869046616150 15615145397894344472
9551677669300476041 2446741058000977365 12712758906746129005
6826118308618808626 7594206177450809487 9024548276944714531
16736720465033075339 4118747939089805939 13881720462091206218
9565016801188155037 10183684855377575500 14166628907124758328
14091513026564607535 14788119420868688276 6672997305234850455
6852688669937941188 1145804169380907250 9700413150929206937
6000528275996216965 18155236896188375528 6565197138769168706
549706278675849817 14854955526875771406 17830923446559648767
1745942387545117335 4893725689765560617 16726876117980714445
15849954977538491675 13193367140188877413 1351149191174355855
7318457106121018104 16901498727720623139 2802732181093105820
9779054753957673774 7490791227483379234 14042854192692387972
3490566267871401549 15420632371373469806 4687321691414964351
11431972175305285327 5975843677497838135 2520394286832753812
3807967301248474508 16546263589939517946 5843557473800247745
12610717337468349810 15848722710987749280 9574264013579129115
3091342377742186011 14869926299043216127 1761576479536647257
2988229451283720032 11861296072745549477 15960566735632250666
1897135826518123307 11307306914133425828 3881900392800275255
3443535360547601344 3974084669301815378 1406751612996811938
16871404897631594858 1687180384204899869 641620415604998050
4004384281435999261 15325073909994282745 1225183870995720323
619531426056410496 6388129186941480312 8860061950648056034
12165507707735219737 16542290772841227101 13969202346410867307
9352187878155672366 4034391032539452809 16139974818413153400
12168941906054118035 6336680712821863901 11308477198760860382
10414444450348456979 9308657663674024832 5651604673871239555
4257325949763641793 10715950385985642757 17622836022164454971
12002854881012166123 16828110498824616726 10702577589909081124
4515894497883772302 8257973627835458721 9603183201797321452
6123411536714942169 17306754685887564517 17336499232587757244
17457504153255255691 11953554805947851249 9124901936366410164
7023798424209452097 3803904607781765908 10445302184370460167
12450745285044725432 15362039336151787426 13137606282426998081
4666877488994078620 7598855409303029206 7853687718491534227
14908515208766427096 17786271687099888353 17671650762092476772
11937204112158928536 6502020090865638505 4954040259662339831
1221131681414908081 4768618898726455849 17937194952234301773
4661914324612335950 9439393664801491485 14412294709332519972
17519173244031441857 12784430053605046323 14226146239183610342
12300075887251318229 7924207909425094221 14060556005818420228
465406775032020349 3416796542633514808 13703271737093507569
13935167316518673248 3105220539418320769 1796927146873425956
11396380113256311302 14853409406993740239 9198777749803023445
17342912435830383076 13211867727920759679 9289590118873438907
5278262455679891578 11286967008438308945 10964939684618390762
1890577093588143219 7961342668980258895 17522039801642910662
17331702417206731260 15440823434771315793 5506091266178907894
8444182721399935456 4451738784945139460 13049804318501694456
17591774449408829734 11797131003140939461 15230478225059039494
9977701986540901512 13136186191246133370 14867068277594660316
1455868277666708511 12605342353935880674 14939039899416307183
15375322095109868671 5541527597361696587 10471853218402340715
3019753591336439201 16629943426205850372 2353693735049712261
9025186543743600930 10944237487245639692 18134635857233348867
12900686632558916484 8174203489449005776 9846470679425168442
10724396226643765170 1567599940630010034 13575430223193987950
5047501787510936455 14346541801211279347 13799088057175980989
17171519680269115548 10198847311916671948 4797980649945376698
12135494293499250680 14534212263549669363 3823115745669191255
6907892550224380182 6038765892542954526 4004572612948953641
14231297288632527653 10183479375610305622 14491598764311503124
3300984074201833786 3109516334526462909 4234453019852310271
3065566997300544817 12406262028123505024 5481458981601669750
1501266969836198950 13272120831791069264 17304053410365135370
9730615156965080869 8138153437244227096 9353098340051185225
11733767004844876 12329334003727170532 16536115865798278888
16228308484540831814 697332549424366631 8040181971090062966
2361623535374380800 5933529292916622538 6534946233607829649
17572451767917906366 168845362005930637 12183119870106289206
11717863552547108529 16543438865937818300 16199745280655274418
9511671543594414463 3254892681416735903 4132688297370399873
6361292490057234593 1542383824376782501 3880987019089008289
9436081932105928372 4494922153520029880 14101560476890724212
5932925405455884765 4394870576327335915 13206864201363786540
18362016696324916309 6680308515079431301 9333135794330550882
13108146099988947635 18295863146417458937 17058909296642614019
12872130491049056634 9291407639418797777 14036578522371537650
2085725359920878246 16141792215885749617 4954730892727854664
11165103014880530548