-
Notifications
You must be signed in to change notification settings - Fork 21
/
SFMT.4253.64.out.txt
672 lines (672 loc) · 41.8 KB
/
SFMT.4253.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-4253:17-20-1-7-1:9f7bffff-9fffff5f-3efffffb-fffff7bb
64 bit generated randoms
init_gen_rand__________
4518338382841413928 16431122026310366639 4409785762761086695
12433613834492891776 8141527363464334994 11301447521226764067
6285943282809210542 6330820853802164853 17353009946154943125
8591769139001471707 9162961240396659788 7997345055649250674
174587894941140225 3257810912044690413 2119520878594581654
17422935492454878729 9512129355091997074 5347457846464130837
5517012502226142971 17770186529960856658 4143990553872984939
6933740868665286509 14075586417113666824 1792406682126671210
1373358606665444970 15486905521274393654 3617954772227610785
65422598485867449 4531779360995984829 4373596325834906968
5435097135347095246 6716108749444688426 506020022684043814
4313039492678918566 5504368344508261112 15132169407232654318
9154501782934758245 11912133229669373567 13330243823979977633
8668480064684703433 9478985275520570040 7685527649860638644
16726165367665825362 5970323483480849512 17241117503842270547
12927536159665768131 2508494080871147198 1048510903581036172
370201325416429116 6505176651549756657 2264462669814313982
5565021604191782108 15576198910671990218 14499247464166388191
11073368386760932721 16908244120498715998 4723253467282158224
16795051646169700464 11266040257221866061 17818160346452526226
4915215745279034527 2987784508380356005 5406022404364042643
16214262676805602641 18069636676622258485 7641760318314541171
18105913272079007120 8032494868395979683 18057903163635104380
11149632045820891026 6377992525278527004 1506771010332103398
17974960984123970655 5652651128306325349 12698936734932428213
9836468140963225883 13577667253280060333 3553161657807116548
5401893473817980243 5216566590251141861 9022807832696524671
7046883311859155951 12436618169513623319 14633836166664225671
10362062740879690490 4063045992522135387 5206507384916223647
538020915823553278 5712691837835585627 12289244944261577241
9532602185162818635 8377502845622731443 13168159939430586790
15857745716731075030 10346767706896908460 10647437302127604338
12275122083489770151 3643022920388247973 12880096006457420588
9919997709421326259 1718099807476842679 8392478983225710915
4005145938451723879 16235328609590772758 567274449575424025
6974883109791258552 9223893051553814527 513898264759190495
3113487085114093379 8670301113495095074 7602450535030433570
479349586356862705 14883024202183918694 782188165629749178
16585080067601863943 13593871882100619731 4232460643187667590
4295391868392591312 2961539473212046462 13063576018209958288
2744269431664287797 12424984958229758745 989375311050340573
15181648531580626782 12420046383239106232 3684671647022982899
8947008517917759750 16541202843967705882 963635959065471376
15806565997441803431 784235239918311583 11913645571360345674
298026213921448714 4564522109536122038 2337469746677294857
2077008506558133668 1436304594845665907 7171410919227934292
662742519109221467 9138970134531825056 6013371500801711354
8286559570663706713 12942037577964660247 7659494007871164412
2435757223808061375 12474218923665855569 9518518678284371197
7835318930107812651 4488119823162146714 18104713618804420085
281627671269813494 1083728719594206459 1882542723536385277
9463696385026949546 15570097163943800051 12308229702381186816
3226879717031376478 18208392605899894301 3405029582272516026
9218911347081061073 10379000139111001442 13781600567360408812
1412033052469536688 1901041921037387670 15447993310108148859
361823931912216411 6557105836850142285 7784300000423358767
14694054750980011165 3884244536275091424 14040819899102598575
1417832970448452632 917547914619616789 15199859252485380795
1642751721008180051 15077029905617648323 4308497713082224497
14293742440834351048 10876325250182154262 10488913925751330378
1127954848489104416 7666869740801537753 5303581445227300336
892354682111714104 17049582645566243259 15714215208611000117
11075530069887443410 5257046898670913881 17974900720971804397
5140885272748210634 2381640685668354896 2143006794027312706
11778406450198036681 14141155978429648807 17380497665461706647
14827338661333162969 2161179180959882655 1790409458508590574
16187649628809095304 1078476606015541281 10477500778798437359
3154774133219915965 9762525152246109064 16893582713823161071
1107179274230017931 1869378739800370887 1068562468700278708
5426658461465723122 6478579405274493955 6729012682494488853
4681633372784931398 3913969622754495860 17565673140938968219
15787108339692762985 190675829136798343 16625950222186301003
13017870035023457437 7020570361304874878 11279767053889986887
4374457435316677476 13868061237378897746 14675254883236458333
12313569388572673103 14762847345643606336 15601666273063583647
18042955641050950998 2500990494684870847 14295471022669723060
1661507621522315618 10252235613082911522 17946089927782264051
7263610983533379883 10139888971113046707 8908725132607663662
8867943680567635334 1132555673353711493 3683235487643899288
9652074453701674068 3327569545764835997 6306976355418428140
10281025329011632159 4259472818055246834 10910033426965616809
1360031986202240101 11136927902905556285 5024092191890181530
885145903311970647 10632795154426568914 9967729942424154392
6948938729381788115 15691731894922343496 82410314918699179
1312266153183020296 13111789708266659954 3896435199210985992
5330837100225224250 5415762813128262368 2302406586928097265
7967930642942991541 580144388667011175 5509397660270423546
11035577100228561544 6498107317607807929 16710666136920013274
14455817643956064555 11909646615769794811 9588403539806695926
18344263700116810912 12584818924930867557 5273854542203654847
9136880641266850834 8482673841664659148 7300950377999780751
14333098109447375227 17081092445400641912 5238191034084123537
8821055495895286265 10385438836138592909 15807686424790296141
13701172702520416844 5452050183943575000 12827168430463100561
14271919153311201411 5073425152233573792 2392310075962587168
15816040786492376877 11584361255513321333 6658960616535511861
3064821037458704926 8465327844925656802 11142497909172072357
110571456078006130 1383519732430593132 15926015909534917152
1741379276872248971 10779185669802495040 14620325959963246025
865937889126524196 18025083137165036351 8526760247640550735
5235311640230501165 17020593312579153118 2870447943465127119
1150373517239886258 16425591810170736827 6853028923821517842
8842334382343106118 5122090004214249841 12992447233763152045
4394707739619174995 10385234335017043972 18015940799508605338
9186275825752003169 6237677220973230618 10228911848582859124
18120125931210238206 10937752496231462843 16668706036020533752
15861867012118151281 1846191280887350672 2155900340247551841
10432214558622265115 756869414105048476 1015986298839063120
8225716294447254624 14905377660946442143 8883794694267352808
11857751267329079443 16517169451158690027 11659016256281337275
9550241427280872308 6292348304810055090 12703982293721445221
8469723222670411444 17203517184852089859 7684968868882212585
552683211107704975 11431493182912642004 4426309783274746991
16888211988122525068 8592665721192525939 11145609576760751447
1387916146158391085 8383617880204192113 11565969160143102169
3567777625720133905 17321575818733882918 3979727827900380878
7232844323595280298 16534293274753619858 9274362575862502370
17144282549393540067 18149021584419083519 303660053544326736
17222793496068054744 2852026126540885004 9581636545385253761
16564298678843522606 14876381841778153059 15480791739023863151
7570139572663007946 17959073344434708092 13970628191337896236
2575593931693183822 1689192692897683445 11006268739574124123
17050931225131862016 15140763988486148335 10105424173825438594
1383662274246094353 14282925895861719366 16211607926452138166
6321139390584206304 8954317431758217316 6221235574982594295
6314398602060600913 15203767312146572288 13865089944636698325
14040827734532667275 16342271141762547118 8186206877359915097
6255732132348703522 3106181841360505212 13718300304314853989
9284649273854330204 11740304849477929695 12497500684922657297
10895836559678667790 9403088095923144153 14947650426652552468
2955708756502204433 11175489113201096542 15556672590011046985
1657990596914646234 1794325114139141325 17313987471242763367
10690133272561358917 5857160280538127856 15265720167519604799
547938389277851826 13068340013775109997 5624882330841271864
14005967350763970484 5055848461329933215 9548976927840147602
10216785688431979004 12801780899073235543 12910414900754318802
5345946126245342198 2924939143910014305 6366097043454567551
12070611389962114366 18041060758369503261 7103463252834276343
4503768004339049858 3383795602592549257 7045255439305322672
1384833885826964597 15730427515378126285 12789581770117281211
1590784532553338235 13720973802597981583 17859721118837164574
13651911223860086988 7549010691280988972 5372120228513049309
16360982843406349713 12589728241138502128 9925461607307459560
17434409018431319495 18045447546407861993 17869007832836333373
5663541762747645934 6444584693476625376 7111845569487401152
17769374813557623364 14810709442617809538 2582669359802362581
16733673776127118343 15831767368843851433 5948415535372750
17402439072483832850 9925607152025444140 15297533662923030923
5710516930643648017 13147676924784660057 15991269860208083972
13957507737581812814 13904522279746374476 17548415732168945422
16995131340038927641 3285257545034800266 621088123989645644
850481640616679131 10524173323946829310 16941719896908078084
15628508474711664788 17976480768381172177 17581549658844554466
3173205234304605498 9776703090998179402 13937490873577460007
18387937947534841182 1701115116789938169 12313431565548822222
3046249077711272847 8954063960438276373 12377273608602455493
18271548913796659730 14704323491446907366 1687019368241521280
7768421579024445697 1566911168064596912 16258646544916846448
10358748052846713990 10921862033942536634 12406277780961448931
4960410365136145855 9525919272851494239 9958874419851482271
14645818142555613254 10345071284575213560 4619679183029233857
16312215648316368057 490696304875912946 4559975791432330042
17701660419321004567 5841328052348116204 15815328976573445006
15822043376739457482 11418786545522069837 13867247041821228948
13643307696888282838 9004096431929168534 4215362248068198188
9779064275407045774 4233353847530998204 8108190198289593655
6133650113754683579 5494310502498637232 5033882496491902373
5992996311092073280 8508909708151577964 616324799229415664
9445447088111261330 17735135390566995945 11585291189385010701
15349110999271655227 8280915523618434145 9487672257493934726
9304818078886034453 2717561396483562718 6661315091601472727
13338719282151499677 152260666741316904 1999252553108218660
12660701274162360097 2533979033930613920 11430346829314588217
12859728317741346896 14503338419780398119 3069208535065477806
11045897929569476967 13361116319121561749 1066107698945032474
691642684887755440 12536774664153264446 8107792095415438768
13268816251215557909 3803021635987111619 9341507079503662908
5542027048167345889 13315110416201953610 12635313022300886256
13290287908432929137 880052989964118677 18109424211392103577
16460170566037844270 9176097118587457484 18042756081695591511
4588448254516656648 12847882305225203806 1148802412793260113
9975659995775706488 267389798790942177 888670496530965642
10950736322810681422 12644633413333718133 5440887394403505073
3402952112719031253 10128955997780975623 17043937278777632484
6986276565462582109 15869074773171182391 6919972679109528431
4028965615822765502 8195669176845130063 7430171627641273531
10139836238978448388 16838174135980899622 11878419302103884269
16873609485068324940 10721565625384105530 10939588298694721776
13469314440277903235 8025955051233662148 6485190070541863215
14681909334008407244 4305592268854926752 10680856246073782784
4301315312476519852 16613382660040801728 16206657993062680720
10413603091361004288 9149950411651546244 1954493514155512422
17229778376852831417 4554608466301767109 4923125647848143474
1676107955184368452 11682227353424059675 1169781150695671972
16438108330515516405 17947529288795336590 18383799143223519036
16475058234543793550 5659521882392171124 7429054061935986259
10659025367003007574 7419560504412829433 17406059320569315015
18054248956737843187 15448012869812186728 12486735062348091058
8746430176885092675 4833354679159635922 15124685466178415767
10793405002325352756 2728118858191443586 12671107264462796534
16013466874160315188 17959740850608849632 775950970207015900
2973140234832128251 18361632273659652633 18428596196812503148
3015347208274637518 17758805398589291250 6498473027055254811
14478424435789133689 7046735370793426010 16091732669282363350
5211478478447939048 4621328939417392524 17945026142914963048
17849733064364371412 16490992130329940395 14798083503664573200
10903741110073574319 14788815438828113678 7561673970651551848
3669946669043412724 109875421193750840 10303101501905796280
9888357786507166954 17888018830474843391 10571631706520753681
6980425805188046927 3700847591792380619 9646551296259194631
14140449648341518069 12903918533857692038 15103495300849727140
15546458703065994984 10537946677615839583 15510184643447290846
17959723291804487281 4803486552798387004 5141341589697148081
17303214271795111536 6570335149369364923 14908626263972969034
11907318603522999370 5489692133644497620 800767512035822608
15419542545090846107 11449100033594399981 15475950013305287769
15734862489344131419 13998523553112634048 14032335936370235466
1882739585276911436 17116857071112529530 2017950126582894553
2675383504930548764 5840033932458934747 6306702665405206114
17209542435445351452 3424794496585948770 5485150674984569450
12573320922357211338 5984660383219003136 18345227729581084552
16087516741486520155 4877087591387369018 3372179154015264601
17764518053952855264 5141139014371424861 5611439845873404584
3349637324161869138 18341757894169440732 13643645914248020729
5155978431128444090 4271420466135791679 8735350577794566748
11538235230721895337 8792166391469366671 11028457400267870394
14964466566305290120 13131116919421678055 15064882174552920076
17804104151279575484 9126737290135940093 7361663460122187389
8149920905309485643 10255968222281815663 16432127174832072392
13632131129043899604 13699181036430595658 3177020166874543433
1924804923418009730 14142231126715827749 9532596884186331072
286395005328573011 7406364901975878320 1448309320913325825
2817053254948588835 9330712692890082876 650036634147781251
4366219512998182775 4306735180372409360 14979539081250228823
6242657036567006128 16046774141701233209 7334743468791637614
7675749943947037326 13985612448883627971 1127269908397745757
18301567447182949897 14553461629677545160 7872990825087066790
16266738408218350518 7605329098243834113 3400369291064357845
2460071437520725551 10373068512178013271 10214091332039599117
3150511037646071553 17767818591354295128 16926266097669431330
16961736072489570515 14484190893905930490 3964691148420946979
12992564558454871668 12809161467996456499 17367776988330438827
6501142957483732881 9365214699354420371 5285530449750688985
10122990098716579332 7337546593913273661 13931445460157519849
15353023932306452043 2236646818462322486 14512126996077994981
13265595730728750572 5593836974175684177 9444965744413757024
5258606417505229427 14852105979859246491 9309833050753526803
565545628678804862 7271660312801052986 970008393307479940
586448393392585382 278043986200599478 6641829383577782147
8498655613715740692 4344803626336853178 5110105093835924734
13637121025910442738 10937705077492965937 125779151585415281
6220429967196593658 7585669971626909411 1348204382311522179
3699252053360587362 12809028479465201346 917438540848779344
9110706570239125953 6596626959664068013 5661555273714164128
13521805914039950569 2626255346754420070 3658908781139460972
12162162880387616593 9876461479640874435 4634213145760097433
8776461861291698132 12171426130251997816 8426079561796634881
1670801912012594451 18189006218108714109 17999903656489711922
9948457163836371026 13493419497723424744 7112065823536786087
3022863182285751927 16524653071573248611 13750474839269347463
6016775611786450084 2254969326657672842 11453737526805741564
5853929898188786092 2354168940869510348 17434872251405917018
14638573329161213511 12913756087914246950 6595247690611613066
13846414671807304817 8755407252382643217 8629687465744453065
5470119222144630094 574038848968923293 17038584670506782350
2472522377853419719 16946111413534911389 5775543754921069487
11447596818823444789 3556290518020387542 16247867229766971611
11804149004326879713 2951746572872435283 10233687055320282903
5766006541189483955 5934768503166081750 2456943360585964493
6487260490632840150 7700269856595739390 14948890232238410558
17446339245926252148 8950541657150209195 9599622243896767728
13463112983665310740 9434131179633352916 15720283770319241309
2811627810679776113 40422019381371565 3011255421788230299
16553985389854908094 2194636285852524222 2615917466989454907
3701348119580190794 1668756840182381468 1641896419758339732
12382241441654854668 3096953013936016770 18306059013111011335
13265505322962207942 2701054139928667182 13159921947127983987
8118105590456212886 3376727927500956122 9255413708086425190
14760837318921084941 5390611995419501262 12007406379928008121
10385987858483355229 5922538327126674938 3945403652773705268
11419455229210225023 1016027895276147155 5684274754650338522
9758150123897183366 11509877197253953330 5132747790994239485
17585331103888892286 9372357644541192134 9760436909191542562
10095536713281835574 3593947232090879451 13729340412513421076
9421387075781886430 11563420905875736785 2558963310386712335
16564316485654321186 3766652491738349147 9921069476975774801
13635746865213792883 3945027339380358272 10032902814287209131
2776347507969833706 7475490778621008101 7464264493279963295
6373819451195535841 2745927558837662661 8051495386108595758
9459367883429850184 16134403393242884650 13556315814020528562
3535767993443850806 15887141406683735083 14021698825422318786
6986677536338300247 6657953463820527237 18344889590927947891
3979259719189986619 9586884745715627680 2861992216361103708
351387528152633850 8089038949708581839 8953808689109304300
3752001283597575243 16978486060496846766 6588751366755529553
13818545142783257347 7749451719655420476 500743853522660473
4463789486356284051 10858897075147518910 1853887697454740804
16938244346152481563 3471903669728767122 14588205752618326736
1550099846069860466 10373363337753909935 9938625039350488987
3930279771883433053 15378470231561455016 5995567407700301849
8945891188913542169 8949884892034102780 541813599967509532
10009591273600788137 8200097543976854681 15003282794509762886
6914860642061607007 1529075851846376410 17536188698837411862
17344287346215498940 11320598949371865664 8844244032860049402
1475819901522533560 7893885197917322485 11800359506184191107
18441935647306123774 13921178917250265014 4255075153150352438
5244064296451573633 3711629289426571262 9278817846672439253
7712804675189283863 16448257031820609933 3132451858632534701
5751125995552231686 7155006493678379931 9414914087449948579
10339530550771413478 14699505100352400650 16463577532505736179
2195633114915334187 17978664556110739281 10718135448088025927
18421962260429826158 17618918812989671150 10667749536415949115
14801425714427436233 14312061625252233036 13822893141590968377
2646135995843780153 11007178326933830558 18375662754591633049
11822448019057692125 1715905201185250264 14690880821373202964
7311000595121709666 12447369437956128424 11578113033013324159
6423396700383448772 13319784956737691309 10355567936763802922
7600406283175623115 8905075246176222160 7615340339900068061
14303693637846637414 1131097062737036115 14596555302334160571
5228828753968325730 16993906780438127613 8908932949308646786
13807072061916646063 10201219354404808039 4305651538327162827
6093438827134325660 17818679914870324801 6457345739339945819
10134440217503426897 18291253082132582159 4244887605859340842
1541655335613425301 7055459695763904076 10912202443325282011
6516882090880689371 203927953748221161 12147319921581007230
15730886446837764810 8611420008009472745 2150275023409360800
13910854545714703877 4354042984882912437 5075470322792179551
5766561576027427996 13843073829436082032 250501832809721688
14505674814935940987 6340976094267181584 17323429219452217265
8329786395488280824 11820576715266641628 16956902654311455263
11570915401962514263 206693220452528225 16553299974633247759
1069562842508952901 7203975672387749585 7552781925224963166
16865729458807008705 7848963629493506078 9282397173969292817
10738488504584559289
init_by_array__________
4143077423571880753 15246320137337132795 11988157908092457624
16724688734110848262 3587635965158809861 6233322098647722229
280677424058511495 9304330985500018839 2990588993661613568
15615080619683685404 815342610101213562 15249407428899795692
14174629688123958061 11751070726313858569 11510667922770141702
12315417287408448705 15659278137753722120 7473571174754738217
4848210823232080234 13554825044338511211 16058773721006074151
1163883759568518742 9889734041482862380 16610008855679139748
6777186985120447006 16928026767723636321 4189841513717381109
17679688624622048357 10439165535912175718 1581850353381477672
8838854301428085009 1685414821056118496 17040122211878404330
8333151366420032210 12005350308404490727 12315304265064061175
15360415525717088720 13230696928734312708 17859454992656064971
14764264013697110156 1121844176876369376 6212263650928057468
458964791771186068 3756303132021420279 12218537508890561223
18305498449010335229 15928532480412707023 8325689275914722304
4527377418715553260 1901191461921749099 2579709701703896805
1214793937476848553 942838724056414224 15860125128988150115
11284443162912042915 7840565713927258597 1882011459658804072
14854237701270778987 6227566205855925392 1769726547395021910
13129814784511245061 11451607469340699828 818017315353886827
16696765661277401188 1213822304960581346 4969554836464478048
14060194413315426883 8498041215686929042 11689148442402145244
17306079732834703828 4789910701765924257 5635994966056052920
14637747918663285253 17162567889396650364 18177321724171170553
10908404641392881668 14498197888368822525 7515542302295170693
9003266175576227677 7817389212693666860 10989864715421584948
10848038204820372587 8508492049540739586 15548496640358585650
2693586951728789915 7310795997867397343 9915378256655287784
182982750990639151 2533821919323967361 7716932561003112667
9234196620813958143 12823820029012566629 14304893368077437272
14062709816225621327 8081618268865664376 3398488169793364580
14961752073827403183 5252061492867457341 10719504685230839193
6169611618753703026 16280494599813835451 507636184550190222
13229709791416919733 9606895882941916814 11459053691254762321
16543775829686358060 7538999955581765017 17289274074056208575
4260758336754984686 1385375205192623491 17588352351871459584
7174133890404518264 12593492654923487263 13312679960921859209
9568873136368158898 14289387973861828012 1540040833682095504
15233050632954936603 7807762250541218974 7383610850032160974
16487989552563714982 7608778181724856147 8833010621037573248
6064086940147498936 15205790226780888804 9576016142192871022
11027385891438827382 16801181516060083317 13753370006151858353
16960185395024397636 13191615356414087799 13636296952430687337
681155970664136385 1049558482114423341 10323171883051961412
16449193262294259836 15297849294859460335 13494030638415246357
5257398157303223483 12536892999088541826 9357604915401111504
2223004867503598754 9069591284698362016 14409761283843846691
14566937695634568072 4369820927094673778 2784548292168771549
11423549526677154539 6208162066267517078 9264621662539044841
11616004642411035806 15322449106361559508 14390151124477403602
8386659949805751948 11947227568698690979 16444966314198124213
14135378368842302345 7528170017332510285 3017785758085434831
12440906731765607595 5603518388863351925 5065125614272859839
15658745388735292452 651110010294371506 5486237663541999543
18117192670166226260 7222730891338428928 16192659354223643058
17073953491063595540 1402022763972668234 9140915170128329146
1308397311982335192 965807536539102362 13065991271799071929
16386926597344738191 11333139878945476602 5559341125293989731
4689408196305286780 17131725951990060124 1319380728285969889
14418174780938886799 7286756882277277952 17860593400443982727
11905221090149711038 8833766538623128439 14704290387746619004
17603565660588496654 3661665225125484423 10649661747285431470
7974993854379411904 5130001548686687440 11075237429732292077
14246149353353227755 4410374901743686317 12123859312654511730
668078185484784320 6022374527186324180 7840567009888035553
4520004940013249654 2551738844566928614 1417410645741608431
1200930410502247125 6656948495010811300 6810798226179025565
18114072034473577473 17401284912378544762 16940130906595787439
15119177979117056105 15196629023011733803 207568290970700218
10395939028133539356 15729869743397557894 17184023432114688161
809016316635817034 11625816273551624462 6255817532889721817
2172021066494887265 2107545165102028130 6221303991637481649
7186883739098765286 2311646678573804729 2133917604123361141
7577579436166933522 17354365251118340820 2226817362620729372
7190325748566511965 17593097523534890360 13264945545744825145
2161619314783833569 15554117603601896194 8797217184055148724
4075106537206954129 10086820626453614770 7651198244763099698
10919667327226524155 1373556922773293775 1540192540746731103
14753675758015927829 11887155720795865107 7306470731932197612
17062057837455087825 2392950383289898242 15503035210408033741
11624192349797436776 17182834291052288935 9312974667876625293
5703306713784117376 898904344712283145 2364087343687631622
12763651729668686960 17126605895968999653 803426672961019111
5254690469254172869 6382798559592593257 14829326739160644127
17706414651227064661 10444798097348865510 16630461380992137301
3160495304117596026 7103528332969983041 9079709732412282188
16032456116093277794 1700519892796409030 15255325880733459958
18414187549870565888 4889220359294020501 1423891152184704083
5388149786173591293 18125941290367191846 6962734470752405692
13434277318844512068 8811160234212370215 7240932118203921802
17645039436613672648 10109385910588678633 6766232985693281551
17341927017652524069 3668553342602171436 12686108778654477578
10226860109550381464 8105714820812667876 9256062713986871928
16457539462418420261 13397760348607777049 10092022804841571211
11743304166680219447 1004367618989246658 5905503973141048659
12893067407899153134 9860201186293894664 1444731157624091393
12509956026147746464 9542278968731687568 90055294490530037
12777784276798753953 11712268045806323543 16598460091785574706
6241570139267002500 109738936798065836 11134973742891925503
1954460825267050035 13662192631959851984 16086710590619611737
11641421021052009398 4268523506906874919 6391564176846529369
11347182899592213386 6769365542067184650 15550934702948199254
17663594477123769847 12826698986863984470 16822093211200337203
81842603673054550 17642210376689376293 7846380619598257032
17999943796766691219 15225525273103642959 14487806360307489438
4261602600694052473 6828064780016242911 3858994117982536293
5147570048830205473 13008856124385978188 4023091903960578128
11028880047275171522 6972584174665289034 11075969631976601640
8339558058055412787 14934455026166296843 6630013383530821851
14355688089903659148 14273394808273261484 14714983264650648344
1725730823266480425 9844550890412164871 18254784205403742622
12806441484415055385 11037865774799890949 13725503753847200523
4218812551355374014 10597774022214104155 10495896125592644430
14824432345511729636 2660430281944607409 9186018176238590447
2962186704763393949 11681593261554857801 12748360439992352442
2468917795716741066 10515155660255512580 9366527393213957040
3703252182147692978 17787916106377429328 15680437055124340178
13286142186396100229 223403765165246975 3662223899128188577
6249019283028175799 13078910299450605338 12665368585445270759
12061043967433032878 16685528879856326594 18291321690052066876
12180036896419785459 4486433453778696967 4113992556538249046
4719383698607261796 8916615001648085814 12975748127699748550
14132779643587973943 3866193600089403261 12481151820234009858
10998830552014269527 13571479875123276418 14330580449061163085
18249115891960207464 12323935495736879177 17804319638878517147
8880893623341034677 18149443987965780722 16298126836611196880
5957038037092393386 4412914980907366859 6643138219766104013
2302650327040061807 8506259243259662687 6333248223939351490
5072623293956909216 11332293971873529561 7559370570065346198
14499132437296257666 10694700670310477663 4799654896818464834
18153075309842921572 13379622926715494075 1434588935842288750
7619909290580232415 12660037712946723773 2475519290205645028
48540852462439109 13623966984556247616 16067937702425127532
1056730175806202402 2993607915461164286 4828262657148510141
6798904897563132164 14946836438839853361 5212562681356701933
14755842536014091300 15755238840000380268 1325529312607397173
7706490712969746631 17742826875416232610 8389012423070956382
9871977114276469731 9134044952305332035 15097398612201339643
3145487209750545126 18310923416530394697 7520579466797027582
13166950572284896141 4031023027761365175 6556856496731859558
4283121189910621230 8485690958514029431 12623082930032117663
13092467056176277344 6545229908565631630 14895763449429527184
6281971693058368074 13444706870666383754 2279558899662418399
3272563090981169628 14215548637218510939 5584559608923832641
11998265710373681110 9961131303119308459 10705017155715264098
9680031064580360579 6843978124522940802 6302023264084483091
17777595896816518229 3012159862850773612 16805300806562667197
10371469709230311519 2459128306385685957 3800840380211368402
7401962189847947041 14638804869599488623 3427955529256158879
10950695711810092975 15810967979162525206 10294086013774886969
220356590624405799 12621636138522972538 17376329364086686632
953092331447725557 8591412319112583466 5834354730739601301
13921150253024713246 6431464903822521633 15119680235002699966
9189690146181317153 12261264981715730701 1024587544329193929
2788522593862711447 8836130746010943029 9628547581909004438
15644097688454135499 12934139255018878402 14764742800665560337
1349232181726404312 17594323224576699856 18197918971984127841
489578300365774028 17376934989752078196 2866649270976490829
1923425373397214390 2838900159230251449 9963065273654907201
12766175349462410284 12555573091486937350 14163685435654092838
1149190779913952082 2262614212925203744 7168632905747542462
757620578040242817 12425640066937235497 1007850879939873930
1982210652810187315 4457556339929710431 16926416803039123566
4081913616614138084 16642166178763859656 9662469678389263605
1279020821588434146 8196053899564290100 10522473712250642784
8412438474712945765 15857448309302565320 16434847200252513968
1195948517597549942 16366569810747243176 16730759782299915113
593615296080275695 10188924208300369348 12055539302371109730
17008510388702864029 17854563443249954882 11546335394696133437
1500513883612202525 18184707646278724543 746225308301013436
17802734881391894419 14620368782737760476 10287418021791044508
13978970324871980846 13763310606628475193 9548542835582356357
1280280725293924977 13627813904569910107 9557794906350839080
9158429390448874664 7578609399129618853 8069565962933650888
6717205606603707506 13106371766121599488 2290490150126907454
10513008959745693085 5204113963601807370 10856127770051655699
2513155795795230656 6291662206076441844 14663805950633574242
10146794348196272656 14408610377144921465 15799783050257771370
7057003976160064326 18162198246941085402 10496725016689214130
16819125540602808749 14581783339476194663 16689239948507633666
13596598523598835458 18202138427084294728 10372529254510913879
9730662478383990402 14887334262250227282 15155482329047647783
7770711850788180733 8511711956505666478 2948954251956882802
5406181466169763057 13505709901060141939 3203288382549007652
7240908244896673124 6783167125138651207 7143009011777148478
17128378140599067849 80744975340172694 3530528011799985656
13867037885954423302 5653557987520002298 8723534496338900865
6343334345946734137 1415521991187275280 9512184978991783284
15062237324198117169 18188795124208013850 11054168943229071062
13722382245770902115 487560136535038871 18224228299348773856
9171860901708422179 977354651229990219 690808659538399435
3737192769344950521 8135794822936277516 15894097136193554724
14183028814198810793 10257264879140004577 4470056324335338019
9770063470541591193 155125306390493151 15184540700003032459
7220624864809426656 17127110652097551006 15287474797555594016
14158578618694061116 8454115553579277009 5034932171562522498
10470820042453736769 9302382286692011213 5810136854440184940
2420864081448335212 15950764312581592230 2931198794025453088
9957502928588888188 14186213756929175768 4620545557677664570
11387811048316856584 15106669355880416279 8812168062118920900
9871232226889749445 5416762953736907511 1738420285484327466
7406620694654004431 18061262156491467045 1062872541609891869
8458131838846159693 1268374355256499983 3312949377629635756
10863086788387672898 2512454071252549681 16021152801024210456
3315816386874613137 12158622066066406033 16869574510875408708
6654177402634340451 10299991109528930464 4150093818504520318
7112377964045247779 8979386034955627572 18011907093611498289
6869693737769609674 2473015587786714751 9877447750289529980
13162694685850947112 6288738811537099711 2397041600884422001
8774200473438903914 7109658268656926769 12513831408233303379
18416418596131030831 4865595803371497848 16512223198894549437
11603072356021247826 14481955016957705294 2403687546596636767
1695625325263658496 9985315371759433638 1548012724834062001
16951120131114357571 14602258466529072458 13869273020487127216
15262953149542257784 16228918620160248401 6932908881472035488
10810322948606235229 577462748729896386 520880660184772134
15023654734036127280 718242950389947401 13249938409044320334
1217053754017605876 3510642941026021961 9866701547701690296
15378182647361222055 16095233585145324729 11864894387264587118
2702475306082530730 15675152281909938368 4092220145765703263
13760175377076487528 10191216498919698921 15246052938510216988
16474818532896905628 11224968056974145777 9876978488953993643
18052614075163772405 17893254129188146019 4179044962798402623
3450501915327759230 930417651781725404 14046350314365878571
4758979741958340134 9236174732914293048 13288680722594757125
1388225734871105327 16049062002004104939 3232690488255522223
8147472172893697004 5694889184441514243 472865133573210370
10390426830484712 12851447811807454471 12031247313990247778
4927766145978297405 11358550290616163099 14224905627030055519
714412862042687086 5471735432133432394 18166142160658954648
6059383996757039296 8097246975077041873 457862888663062372
16306752088921176570 1845726558280406772 5951063190238383183
11673164486496276101 3863625860256247833 18372852278155165605
17448978337019794247 9191927022861398331 10824274825752330612
13590291875679874856 9857088724358152010 4088264145838902857
12607388058950338917 9774630604231987308 10920976228770866830
412493701308580063 8448659668354909255 10330474278622960961
13043838201774687868 3423541487285028130 9932028156713372395
14307525527416936395 8126170495290043401 368150011725681592
7252384164966646985 12777767426262998408 427738298595783982
8437671301929837978 17760553633769089648 12289029363511169562
10340743572976867839 9036254558264239397 9896979513457700429
14568193390648677469 17302246937352483637 11532938939711957212
6956765222070415775 16933913416377359580 14675360678964483535
15348864305833807942 16862968346204898556 10477413229672987586
3169846283581150772 4287854851888425741 16779290662672928260
12815127919116022032 2261238370747261295 16673825024298858479
4143665815336606203 16893283186195451253 11448460652761522694
11396557130080937205 2359189713092574586 2685853651177767431
15815110838972870964 10576875907199033858 15803083818121950285
2478461731164712742 244903457174384026 1901553820023341250
4362988558919312005 9031156523365818214 1134694315346568279
8431466191296922147 7445187707604531721 2202672080984966057
16217751755293661481 3781945484387915454 8305466336907404518
3712465086497718212 6974415826663548085 7657340941448665080
14826259243365019158 8528470833975913935 8001383696217020138
11385143456365729133 8025744624539455094 6665686517472531201
17040533990348465984 17009896242608766710 8054536303778201577
9827569437139666746 10338682063720184474 1777026151391504812
8734338738255194876 17167330043697248506 12695287729526784764
1620215832727446718 2984929966853952355 15186011155475026874
10801398186009163555 15300747626630313206 2156939736443681665
3200371585892593214 14452870151774466460 9049715604810619729
4544650978414524995 16679662467792378178 2374797215377360122
1179425256767849586 308074289479768581 8533653556001836260
7045449806185597176 11988787655862798675 8897893575278295180
5141771372053629211 9298198523720870939 753803168887754527
10402329152525268393 5256746347392510731 4407937258680633860
15386465425112016715 560507694585716287 2644297137151782058
1836196989636923354 6932048855211253085 11905947135884818832
13968638594828939699 11488755769967023004 11209643066484587015
576015274716781190 872169414197497823 813078735580176513
5479440900240748928 7378838413172946937 7057755772261014747
9391379664264533325 10262133605577906472 5389061768264462417
16902796048472193652 3061671835548069174 13972382497284058311
11873591202775250608 8254471464731389564 12940176430414636976
2988840784140751402 10638658484052217537 6510036846516553355
4104265650599021667 17214058853379229784 18155410537570630528
15565147290672516190 12079491005855227085 12806129679868673304
13969240476147663641 17092516813644036712 16989669824650751648
17585734384708855806 3117136381349673525 12192805728325374869
13464457609864046407 8344366872750676711 1588071723294943457
9685897915499453408 1455633049849109550 16671875578369796815
10179819883970001482 377561068396597867 9189828482705857360
6917371599360988848 15896108901016938193 5360102158111963203
14384540105613183975 7143187985796160639 2125219149952606527
12007460518373640924 1325091002504195996 6152232180068586198
3221137939304081707 17445050716957444362 1059500180880713034
10739873276652751017 10835065400813068797 16105363626185465
654922008263385993 484409973405687566 3853436292634658737
4536828313781869363 6973007114338813281 9723172562725578009
7068225825096089893 14549642129570464509 7221052069166673003
3792784900104587330 3086685768512205087 14354697659402106789
7555605505988092961 2125180236236184483 3334367574331070159
10746263587356581950 4312264996376755345 1895902528896511984
15920717660894772569 511018413290540596 2518640499622653756
17017065090427352949 10759480613367502075 5780629969231313992
10059746780795723867 16346213987278279691 5575074255165216315
5728909553828413061 7713442164486087426 11250641365125373663
16041728713163814237 16722392243326498743 12080107864488424579
17921966471625988319 1824514584361768050 195093841796672168
9153207334746915190 14176989176802038229 3207230002963800711
5790160233586921673 1297871185453295907 8695958529496955077
14960293135246434319 11515887083960330814 10497936861342781452
15834263672312306318 13736277638616076809 4852288200336514735
5930331768227416531 2182307676248939649 3625629359837949025
17030175765311656227 6676352420538545379 14600616196399034443
15550710718831361699 15609034108080348004 13682253743954565562
11518234837261978288 1325532107494324609 15875052769785544626
522356351457263785 8241400481220121143 12168820914667863444
10058927407171607776 17183436288662587552 5618270189860882462
7955850481691999145 10949507252993046594 13603698966141791977
15228974401555599966 14982814223641118600 3559493825183592733
11045590138941726026 11914737300693390410 8344459011964074480
4953091832497561439 10179471139443901174 4316015123549735650
6019882568896619334 18362477308688428385 16509576841230783623
11442312271045319864 14059317500925259391 10495050168480878404
17804884737438417501 15906919209780436021 17013419454693832862
13435250259436213703 1085010592480936771 5429015345955857721
13023318887143687728 11691760255744938073 15106981289317646955
11119853954165818270 4418057962357209084 5402975858007816568
8925298820963098427 2396364889991170126 5117586498791579643
7759686073932429120 5820972295515782699 6617109039391624768
18371645334721715504 12656473916283531558 1869057477665650119
5030332321722430726 1504353385566483168 4825556277859225724
9293859397919661989 14682521400750955544 10457531432389361080
17979452434691222256 17248279421419060501 17271888988568639001
14196938364816224413 3186498844035548098 9615449742004677746
3141445660961827103 12117297400608269333 4063460584714618154
8737347898482664830 12249687956899446357 10065559386237591809
7128490773652678460 14281004348357712019 10356043244546559763
6255971204360417892 8502136817629198212 16279120201685288030
12331711790131515213