-
Notifications
You must be signed in to change notification settings - Fork 21
/
Copy pathSFMT.86243.64.out.txt
672 lines (672 loc) · 41.8 KB
/
SFMT.86243.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-86243:366-6-7-19-1:fdbffbff-bff7ff3f-fd77efff-bf9ff3ff
64 bit generated randoms
init_gen_rand__________
2104628610238587407 13694220755261635206 15601263448723946841
3666639484074233485 901483253565879144 13336134737288077477
5858947779765386630 18414310212549312425 3829382022464379469
4875384161095880951 2777078813640513747 6356438040036560011
14147582175519934920 5809480734102819556 2228754195525872034
12792205087100062865 4424582728030157952 13031519911807084694
4838388315106700267 14355382617481872182 15145889610148344781
18070944147145643251 16409713417139934815 4638976615416863164
14101105191040988624 12011315053061398612 2966921981953604969
1532700516260496375 14720126683839859203 11597500447747999193
5754472076387045176 716234199119295351 12861766317446562977
8472207760887409681 14683409611141553983 4293817259373471757
11129205950944884210 3311617760801042326 8409295536953938779
16992853982747077885 3292585469359325575 15088279166584727114
17488108070534900977 10369508345434431205 17213951823013003263
7924165865091128372 11671284959662708584 7601300246742463362
173213306159022134 8145078672017946732 12277869120989709066
7205297206873297332 3331814602772520471 4412682585439867779
12946516657742446637 18262075638241844659 16746758313371294022
2249533683823435692 14306120107964961284 12228276337093482226
4155278831946412491 6215191294008615475 2250097971925835633
15434365349161720513 18216466630227288139 12852076826745981221
11850072759957559399 6628999136409062500 10897984185808654894
14228866074549022901 3861084666501483984 14576900271425383145
7685161091141636604 4597275702788094148 16728998424500363339
8055305152572046266 18251133681173745992 5282990477663589625
11506500238720410865 17847916902882156867 13571106835075437084
3293622599404112759 8602118246079624500 12491750937767664034
13276415033872506383 89925292104672784 9270978227975610237
16266240801130095859 10738134748148806596 12341668479683635325
11976592433832032963 3876697607490885628 1313564573940231862
16956302376183228038 650871581143229126 13356936645953702908
10522458764084008350 12914533950699159275 14599697806164117660
1436020157796142731 15262534568084242771 8484232867490187416
9263554179286012236 2369085866202848094 3533810065170190755
10187021997888164646 10417285478597085972 14131991712175534044
8697548728314077725 815294875626862864 5812775870646571093
6226885982082875762 13684916552046247792 9275201726633027005
1742966589727276389 15570577708876373 8700345308281256162
16815265690332875898 3133703995281453514 3947504600550363681
9515311397215811771 3120613548390194795 6958742616742879193
17170962989618034544 7051462873760754078 5572978802367014123
5718201288456068353 4810530218114220714 769302374899892892
13713972314842687250 3301801059737634922 510984946178513373
4971907529535588324 5916768476758106016 12320866747387965201
1313997558401841837 13103077414750558354 5903334973508838996
14000817156154589543 7119280332898038332 4058950495811667660
9914646984721209380 14121083002112138814 1341943316544692094
12242864361900279795 17553024596513297865 7162511446335296028
4320819123624403833 10653713295445490404 5219771936421926265
14672465437047293835 88561548535613443 7892023775406617376
6046268083058786429 14028460617667284313 6548241751122406064
18155096083547419494 11223466423036744932 14634620583826422977
18431095158177407348 8158377061425591248 10924636599920548037
9693366404595131448 6453657357637313417 9789454311054233157
17211264342810185626 4719647696047080995 16053741184570261237
3668332860151497194 1344902542378973931 14548977550756107059
4864874482903126256 13876923630568302821 4455755359289945670
9213494585777492244 11394384987382947325 1743061229277098913
12991078742082080675 11877662733896630770 13853765977025735100
9575443839389816921 5516560579982218007 2329584856933565409
1120444984829167079 10147390788546751431 11537973451319345878
12648405254920016826 10677493190583591997 3256213357299149395
11848681455079768073 5060358282053039746 17444677135477903907
5160067494667212475 14915186900112537499 13511213136080671824
14481583929454940149 6339489297493945340 15027041548389482914
9751092094297302929 12345009103889079206 7683128365883422797
788954928492010933 18222626446159875657 7779159055998983849
9871309931959887880 2939579917222891813 14261965141197732184
5234046849908375071 3339000867978958873 8973601453529816117
12158672489917033615 11188239922486905230 9084840426841948107
15747026555427459641 8289335408717528208 192665306331825076
3175800347178179733 8873860396200165741 18123466694759212486
4603535771924722175 12183917253366894153 13032908245759496947
8069478341544162885 3373367318727832036 13200479166395137238
14448918973091642108 17965434101837969616 1903002203035388203
15660066372983198969 11655643090371284200 4147751145275516046
418593037433712510 790805288775168609 10003577098886884470
10209094146782723232 2052057924185410575 5424270373360805459
3774031909401588827 6385611255475047433 10676121895163451433
17317444451927058828 966161500240387225 12614174500326901237
1302446288473238611 6760431350832864060 10255504001542066465
1606489924006233306 4696616710621618077 8937317478965412654
18422940525165033398 2951241890125208839 1557536866265131624
7547356202422461022 18083364341016939433 3814133775218862126
7889437146200437926 3889943144008605526 6465329822791855580
15948172392128472107 11840917129469859248 6661401237542656975
17724117464816690909 17895179103802200216 12737319893684979150
16981037650339252053 4983348290278357466 4436664081182926653
16723156721399794877 15570037351431545513 3168944446550772609
3820195902879252099 14654227620930621107 9848550411030072947
4336774170711013578 1835115928108289959 11999211997816016088
6928595939560888759 7759317873635671007 7962826474782329037
16215921465374005450 839875323005092896 16583648144425496457
4093111623219181182 9377577262391937211 17684323443456836207
14913908626651604191 10359152541962445774 4345429104525939903
7610799436752709549 2194822425035556533 15342374075597595284
14085551727098343575 9147236495470979748 7114629076239559069
8960093037170448645 2071754187393932363 3004549336065270289
4385685521852919251 15104862306936811003 4586404126258355292
8777538658284492692 12021870785251454737 13492832948554528383
6884828205413635456 9924696284864414643 13940162220233610053
478860078054072706 3464359548556642209 4293965495472480019
4459918264136889398 4485153234984974638 11079554431835626144
2004540380875693098 12645922764135445067 13173809550498402600
2914392307622001315 1056105686715975581 292656966321548276
5112335369188792488 11071117386380863316 9745000225245039973
10789136998409367403 18248810470835047319 13621223918798742906
10569890190847133111 5968264537068031645 3334886971968352999
595054115372935697 14987688304674962306 7834677385182093194
7084084304677990541 14854488989966263414 12291690301800495495
16179680400140105889 18343426199336197086 1872849459685740045
3656613216958765439 5613591132893109914 4492313349487658703
6832650763686063865 1840803578501519791 1499869114459760333
11526788923319646263 6608703592104088151 2782148014471663614
6079713491120232951 15591252199813243349 1091876865390151486
14363465196750464770 11133268181348830423 637328891898758307
7670082583296387479 13252220037715553742 3707669964063917995
17210624336113783710 4465994170143154297 7211869089143477276
2843936863003063625 9584753616248801447 5135273460132313622
15901183146780033448 8992003826494597352 16464441528619899235
8176965785815524412 15306317544210345838 13882528837409346761
10838938027653359092 17736518032021516399 8170909189263964721
344872078060152289 12472420501050871766 17675090853732029957
13752838298402849142 3697304317409211340 14359351158590996913
1087871334760239967 13634905086965865226 12393158145472005550
12759567968745206533 6306693180045402531 18222122345820637393
2118085249469510641 15731837667522684258 6232904711381723248
211893933013789685 13096970710193356771 15513333669553210236
15909099832545488623 12774112652925737810 2256694505332518440
18218642164920641724 13023637454581784746 11231512436947973410
1654106842686085980 9474806874776512910 10550457887515802028
5874697666422817069 14430499741925985913 17157010542100979549
6259782031900447995 5836885965048640590 14620907148582602816
17654192555794664721 12252784805997898144 7854798425538767256
12324511437811063781 10086403612508691798 9356185843812284901
1458379744213072388 1088567842931646671 7406550433965356067
15499981424641608201 4031398802185066284 2495001710354478372
12739054205857899263 16779522573412657048 5508332783377054107
14296715478144078294 7638562628449354689 500976279265603431
6921618353428235919 15985949960387381195 7641583999441655528
16545377960032579250 16759396489550303171 9236803661906433511
14726692462721049608 8679353348147332049 10492043494916022794
16204429784719926410 4682353972541447346 13322494080883709108
1226907379502911065 418044486148611302 3747705907063742833
17121963263374052865 2075726626903354585 1769386332808952047
6036734491265835097 10291223261993164405 10196499865064410899
9092473348528470950 13159785169994900760 9434960198553318270
3226137491011270164 8399327424248512974 8194882380868169239
10952536524351512197 172770497671177959 2826222529954045177
2577478455932218501 14664575260263889062 7059252346749191891
16147605844103423144 962074144810851982 5794413516115517065
1670357745232971829 11734362083241899385 16422068319762934082
8102475625824710784 1561435397966694328 96156850832406584
15593898296840590892 18191327495518348446 7129787487591396000
18125931291001329764 16706605327228103225 10392701925900840805
6486885667277716487 15132427647752224700 424638191784746743
17536684008575926840 16786264370823747259 14628263997376987082
133174489663032822 1267967789478303772 3608694891121222155
9836089538785675564 5144513521403219840 17102164701947481492
18431242285380425666 15041659068471151002 17160902069506265519
7675238827258844767 9578894232737648306 4710533301663329745
5597911811464561917 9611561053270085570 927216197264746044
11820006569475779053 701811585887569836 11930302756301096938
3829786541551657001 8997653244425735226 6769447247922230275
14564692859374996036 5984433899893069966 1362241970225384707
18248715205315144427 2985340953139305954 18210538462300423257
2980129622403381974 8074324143865676439 10174943078906016777
3355526358757554080 5329239569842680070 10176045795338310201
10975240786927153788 9538467820441242767 13342976828507135700
11224319848208483421 12946996702840527125 7741054270151304086
17005419516304606215 6946267938022046454 1208454750056472697
8363847235696731671 12821670224758163555 11471055619722965564
14923744768371723523 10795226623246066227 12531863358302742936
9134725800200042195 3068050838207072929 12285631727635609663
2445658407418685346 12690175783544705252 13872654206730217098
5518959722922840160 12385693650643143558 6612740532554456074
7132283084818834462 17329891973302808769 3263712814166869642
8739546923410012950 793924426557574739 13741771727360199038
17146527655484164657 132216231981052284 2761815720158982901
15168371981054955852 425922081576516553 5991840216734500918
10013456035456010253 17057914084279984274 15396468370187289308
3164288370287070053 2666196735502374846 1097928673646045449
3269079822319059306 15295394127171232842 14076967701499774769
8723931925728938862 1496967251534516673 10968887696588886855
4855880754802176850 8103508612822122912 825798903506702657
3327426823862477599 8041763322795389860 16719699960933889829
8284981068122211874 14410500351618461661 6316604653326564020
7963877451421162985 14992769156546345524 14748891352573409409
2932189996422445447 2981208188718706117 1701829519945911385
11053155519040722975 1137285657601325950 13269780036787362699
16565970242746356420 1208936688544698253 13441514171729429564
6919372180738325779 17757900812266738240 90339193808976682
10497768574550366023 1679939368951217282 8209007000101021591
4756633891575769360 5555062104190922305 7264528876763079176
14984175091920992231 8897036263005150998 5870051357755008105
9472596797456593227 18293164559658910016 10916578244227904386
1876293835260725596 1598748294347010964 3813692471597855799
1160878549774987895 2940864777682549499 7165095101559008387
5718953378475033145 8751149422507184005 10355380702108683833
9476986886852127129 9471987188516551304 9420026285262698441
3473479680980352384 18291074253187898289 9006318922265920400
13390034653925707418 15229897579385310519 13318705215078024363
1757157859907904244 13994426401709655065 14999260383788080802
7719234739260954406 14327163078893147382 9696800899799999339
17474056112379508631 6293101427266439311 16072106281137094305
17150202841904990400 8355289683957001479 5076012628440457065
10702219432509405438 17435295461836583704 1888637447740763860
1030703791547476749 1941007547271919023 11239174540007238569
655504866369079327 17874313917382545495 374953357370218488
8637295307070452452 13370696020897642588 11578400362764776980
7277618305350733431 10971304663420656441 10978938681581739795
17656226004112663644 8280212810540476960 12240461696598794866
10425244668898267775 11733107350260503101 6145698654507304211
3337108449785023829 2305851357731069197 6457721815257741592
8841285243353342559 6751800943122262702 6467561927484399130
18354395963973420744 12880993166422214283 7806108606242261886
11831564750733851416 6293661427771242914 1872379110530050078
5347237106800999144 14158892854162581956 1285028865728565559
9534129259423517010 8943001070654206217 7718602477808199733
5902741206066953446 11003870181767435445 8253375046002197791
792156489211643869 9636780577159444283 1683478950631924862
9641020650856797711 4597788760258920258 8363219513460047985
6761265063790997614 6042760179170047214 14520160148689587150
16966872291464620603 3927239897511470348 7447161955111078687
11357839382185385038 11023948162587199076 8029594966271128921
11470918260579074317 14798146799962955003 2840757986771906874
6524911715311560571 18011736583225049959 17345759190696707551
4988968216035982014 8867170033031897375 14127402882880485016
4256093311315966499 13276905012865533443 10965046934986947756
15295133194510097366 8074709250079728300 14509118990794538346
6952720941297139364 17379957713792829070 13567157441670483778
13195847986112345229 7217712798802417699 13624023116904048300
6206778291611619664 9144189765940690215 4016205440702767356
15627368574433621265 2349891633948950472 9225216772371645240
2836638231310704653 13641530859654353275 3616602831687684294
1006121617426684114 9536894348110188974 2687261703350150156
17143789051213218140 13319735321620126299 3917621971085752426
12338449977597898948 16279932118932442527 6667102948965628769
6233203622400735220 7159089637607923923 5681825326244277682
14117498834435169566 13384430495568774140 9369122565501491329
4189898720184179912 1921965508036623080 1132908683669093919
7500399674913773180 6076540696591417235 14805843348826720208
7971223217379129018 11877874862917170974 7675500963188042239
1541025688671913852 2868188973563684417 10700901582110271681
8002499423418377858 8969638297068297119 16853503968498813221
17726080392213091112 1523804042738419696 4205744181061338881
8425343100767411139 10315395317683269838 11524852883070445065
16287866186881992285 3518296087560154781 4393206522070273770
2328293341087510556 13174796450038998391 10604326075199635046
8733096459187427432 14825695243330419725 11214477944145515000
16222754098236914164 4050585126725640066 8326766976545302334
16115281509896505995 16439341141901605792 16305829336239417193
11840706938792888960 7388423331925876955 11664734080026167340
15188569830030051801 12347960547424523926 1216936287602351244
8795987898196573242 16325835089207754189 6724752108032314436
15363316416543042624 11719638986243938583 5825751455230688412
9866305318974630258 14068085898228378243 5264843371831562844
4389515022142597969 14649819228083254053 6868605669883911989
4537152944558010823 4597566057125622431 6893079865628198479
14710474240498943947 7262837980950213312 14938802304595544456
16525256360382667456 1710014087426863438 9229420697260287988
16771840176893022720 11725253286982062989 13185359482958289224
13335236818709715738 17008734855808399819 16210398054665396102
8417982636527911738 4673576838569611346 6556126145106695590
15436536842448450812 6713670514732260457 12915350785780273286
10591096443379294521 10804879760722727450 3534737817834532452
11895522778491519310 311450982128965469 13734463647679173038
8537646465327302161 14340642640422916534 4751121039112798493
7293421344433685226 6582665886088019133 10105015222668319337
10865462685821213656 14755796641054118994 9392366098590051325
11980209337853603488 10500897196477247999 15094044545361555426
17435053633629844179 1593306130678015796 10000797428150779564
1533134493059039542 10681585663793212602 2470134946335489772
3235903878385050393 3200668743011518020 14197748479033989638
14971756871098297174 692737861934446453 9802584713936804468
4944316958876735817 15621244331615840185 16023982153661641430
574791442061071380 11393760142830276150 16063778737090328676
3199603966114137863 15193828546582588525 12711859580639450161
11160999886029952069 5911703609298430321 7702549515791826584
11564707990617305513 4963209449144716500 4331011360597053020
17478304915937085194 769640078908419039 7280327015626607722
10246148833852416621 8946974811479023810 1972381106225894386
9688269490651872084 16980085828769161969 15971095085581721515
11845933028075650229 5183249799779514172 7195697889032920914
4166109652086118666 8714441084753820281 16294696771285994962
16055884623252746468 7441922834692882637 4516730565159923431
562868038924001631 17490996261345915523 17207544668040015209
14246324842699453598 18129725265466361530 2717593736367183173
4267195975226584817 12160521448161667587 18279475012207308318
13718605323526056943 11603960702667325663 15196885283119114827
12234740522118913075 7832979077983227274 16719190055928718694
4484646837705520633 17792871838908734809 17217843406108514183
9786282726919201741 13177036894113121819 1491903866413690650
4404625808773164115 2275858414850128974 10726001558428370480
2835440090582556408 4420415820019901033 5106391540331056704
15953997567136745840 10553480990517787961 15773854511960611896
15721581277247511690 9488137030046799134 6181981755268064306
16672005322994295864 1609983975070105967 7746716455128328442
13357490525145986 15058357169411711157 14765190129099478343
16739849131336129191 13374389990257203141 18168734519155306964
2871560934512365657 1060179963642212844 8605872519176294316
4875800071377832715 7804229940414479022 14062714587001354868
11051031223942010588 15238517214159373350 13119333694408784391
5788826610660238658 6161313401009842578 12547659144663449325
14049285536640893544 7962852286150852629 11497175368473020613
7321460140671102913 9273353036930295872 5419468835455541505
9127443423676355134 15845888365970479324 10718231861359884117
11887257170598002928 13519897521787101808 9792059870706781830
13942718186676130763 11679753564694047835 427848559407127921
7290287017682791623 2821802827499920071 2207331702861171619
4508613006745953309 12732637927672565296 17967849819729608825
8334341835484290938 12699604382181981995 17946284592766989015
16532807537165770049 10438645769669876977 5490761091439353273
7009850672162296367 9425084758756008541 2448082869686298957
5063973173156355531 7497075888408617446 3242878946211592253
9738411632203614065 18174834594698710378 6649639640022082853
2911468922202056374 2740580992493320041 3458584751120953322
621753621653261047 2310856191508625899 12567810133539996306
16643824688819409123 13538850636821719175 15832818927404313108
3929424563649998947 17229349024914173551 13371636496273217509
4972221674334662035 12609018936462704252 10893282774453398567
18211180605760781080 10938377731524751025 13935998956218600804
7369353759721730896 5880805525351286172 2668441724852936574
13489516613302072331 11895920067883413138 2406191297036559154
17694902836757290192 6687841956395318795 216296353000930050
12997464082933128608 178973692047922232 1869415913568047437
3063114597994549815 2757503846848254781 11739816241394903820
14997663361396431178 12211094783624601148 3803395860194300732
7047094165452332683 16174813816028311044 413839548446549344
250135615696586029 4836277875486422184 12389320296183057446
7983028875884559442 10079555227308335361 14829333386540244214
12159744972103351172 4932579842314286356 5200375244476537050
11795681221121010641
init_by_array__________
12051939372837576236 16746139805947180213 1373810194839085779
11037057372198512580 2813706247242838425 1235645984590828872
866051216973316281 7828454860793810763 17110895130186348896
2034253720381804743 11929981680734493986 14301744734516805696
12302345408625201867 11702054798983885842 4578062146824995140
9961548908827789085 15261650667492015716 5431449159070326187
15513356825355114894 18083657415271304893 11861110530972286689
5794998873898065788 9874107998093715473 7314599438353999059
12720449012900305226 15631001002044733287 12915138886492937923
17402447779300445292 10979981155349765661 10942038782640664652
13901324900261547762 1392429543285321219 2851641162529964743
12916753936655101246 17075583115935541723 12367160197319716577
12234920798151497589 14118328159245651504 6975659188522421557
269866552411732340 2357738402500444360 3166317093345634047
5123659737449798812 3400410938132949207 4038287623804000949
8645149960110247975 5717111392874736125 10698936903259831927
8565428504983201812 8265276011580787886 11691432505872806728
3557634871911079162 3768549762028159491 2029281263647785812
3555611197244071365 12169432236915997925 10715484820727961116
18045680906396930870 18225224791152782817 9416009583339588696
8210343939859781981 14602035725371793119 2259091066413403303
9370307075205864888 7730612862754578846 12454440824650771260
520136706868519366 3662191363548028360 7664665926952248037
16220412562323930026 1029758681443452100 16261544100058797121
9362722775349858085 3967160088740818970 16118161920436248490
2059901878154226944 7063439573377228029 625998449065185177
3000543078879559146 8249761132936048528 3896686352285656876
8336154217692087402 297298539774670084 13305726463116021803
8613724852551191253 10383011297350472006 6168889569470921249
16396567449825778602 10529780250606177720 12471986575896513659
15395071871730465170 2252137766891455052 4477607905369539714
7320744739136973521 17066899993908745142 3962131508575585941
15555132915815275117 10026862047428753090 14410320609698156623
16011570288740411256 17051542046168051440 11825837015564407789
5786935465062169409 11168919994598056173 5679799210315000528
17994183310499811598 9284736553208203810 1564158040784007739
13800098587492441509 4201489163124868560 1309565234534766157
11463591709523098788 5947127073333695600 8177613547766275580
12965175323290023578 620251968751314525 5205067961079245505
4364059310864710300 3293479005502723547 6860298936165799604
676442826767853333 12074340682867008100 10821875328295166371
825670714415605760 3291055997068314349 17866616247793570261
15316345235276267611 4503930814004314768 1789909730211417365
2632424007014002171 233045908320792609 10042802812364863533
15476289305629461178 248170406010361430 12462015217758199170
6110197535552671537 16473362020276469399 9458001620761600088
243441697471250189 16128668343692086513 14777062377265197602
7441177808511869488 13579920798449538154 7634338588544756953
9585177773079231430 10514523806804067838 8258770505364505019
14409521928537543973 31987826367256181 18138542485814591985
7459405260455044604 9525474728392200521 17960961256325250777
8425204414190698315 12580723621925157047 10117117209835393503
11493463538663034936 18234023336720814524 10077147342399797866
13578969416354718112 1424078475033088816 7830437099680461113
13275245362078770883 17060533958705808016 10136239417297943229
13247250801844975692 17576672824202371326 17490802535536089023
13794868422035653 17393711307756775024 9575597312656760583
16495888750093867339 325351548947036634 8093179096935766027
12242458464974671322 13978190327572465707 17773195325948769056
1413249754535104404 6443071996873780187 8266452388157200803
8136164346552146913 16958333166883414895 5018008035435800818
14776837619356523160 11054320826132773203 7494158988387947091
7036731425828031062 1654172127069764592 8069765972056527949
4224027674494422900 14620726870754079790 11399010255683485455
7321205571217483300 8337698502271522069 5050974016712986740
16063963039805096839 9499300775610997291 14630475929178011379
10453657180822958364 3050778998589984262 13784169134430297150
12774514559674247776 1737965195965395791 1029317661924738966
15252116966719930060 2554959697836573160 8573463395292200690
6715620711280777253 6744084360768909895 12466703510775090661
7440727466652838667 6674166387967572923 1454887264380735755
12603189037135064220 8202617163893129928 5822435752673119793
10755751300079720042 773424189813678825 4727729568554640662
10617030621027416683 8967128515407653483 7475573136975530591
10414154842912348302 16860511013369485274 7821153368996835971
16297600724448611070 5110733582967608530 4073258280236193183
13427858267757529544 16248802703158908336 8398166581741161451
4165757127689710837 14934923290213473948 4355717028449565459
3032719536708975755 1527941470624689822 12575802659102138489
5618651266927868692 9153209332547523390 7977365290404864094
16085603589572844366 17438577271632987895 4091820324326118900
13259779660848850585 3810416654709889217 18049424536412001061
7406885018451102980 12757579647368910559 13423500071283452654
1391088108983428610 13990504074871645309 10787498148005914998
5970959545562663986 7810452638224462516 16639257522004233199
4410327475514885615 15521452246888711314 6407914956997604263
16335764938140267252 17518614186375160667 16616238212548780701
2250204952670438282 16844258945693223648 8179416715295147619
3968074654198432491 17734976105715774606 14146645908688354369
10524885017886311717 16805222161474892077 8447241538143308912
2202917891738426511 17949702647981948492 2192040791995219918
13503261124100615644 11768559542735779885 1077101266607395475
7800607905808137328 13490821443595994679 790089289621411790
13161401966660621366 7912633685651556785 3269547677698130838
11824746645500692945 9292059493642826128 18019788295037403483
1715143802018871784 7395816354513381566 18393537665156705623
5873372189514785413 11900367499994205447 16516866962564482816
15335322135402989229 18113738680535691775 12259408678934717253
8209027977520457874 10967845943638578286 3572158277932530471
13679442378404926982 17257659373336230026 2376428052241612581
1262035934623910722 710606538797562268 1257013493108517869
1744729030641442871 6130714155185526687 3366945003257200425
5637278016654970284 17125070485070192837 14958832264983504988
1342934413669485065 12759282511653773 12436546103540280713
16200036402921204896 91906326140837079 14599847526633842970
12226678002840048374 2333039265939438286 16918302735540446273
18309579882919355760 5225758827331674758 12267522789943669280
11141266070699514281 9942543541867446196 10140993414228951420
14321495758075551574 3260742936560790207 16152115822834967429
755054047469579427 4865763931463678705 13311191876122833521
14973830917855558312 16849069530358388986 14228683471613535435
6742480589822668634 11215400690079343816 15776185964030923757
17803013038465929252 4750205471105399330 9644429305131542579
3928755062271274295 14250821894166285215 3838167756931853408
5056413511823303139 2184846893041697502 8656009435254622168
3539266643495518492 6806106065382634923 740951864867431433
1418555929340514255 8489816801868607641 17957045988755726670
4923960470252846459 17580281126394913581 16410110254529536372
16978388142811448545 18228471787436339424 13803706833753932111
99208201992940003 13363609305020242199 10001372212053777924
2011543417444948604 516753230607587540 8718347926482674116
8244026076060171917 13186702768335419382 15128858183417752821
4517477420809630711 11214735571771780431 12245205904332083016
439871895783133516 7644352465642135916 8462761217419625036
5764997410101721169 4564348616255655494 6120329118095653904
338747563961240033 17554030625399664615 13160221291325064558
4005835548061079662 14723189796237639558 13422108764094566858
794171189167816277 16246034600289105265 11478874165425479252
6796807389206488564 314912617231908741 11437667532645140568
13607802166430535 873850223580787564 5036635820824361046
7293158331207901322 11753039915051591928 12304812517176779942
1202946472675838817 13405752151838989829 8003845249935769222
14887960438508871409 18080251976740290620 453247488608250852
9104915879227197830 14262574867312220608 32582228839107926
2093606501722659437 17316145391824709967 6028332764992113930
9977073921720644747 11432301341815920207 6618346774545816185
14697577774599857960 14525237531871716055 15648896464154201842
5498577249576205018 7757611285857583465 6425825626001452357
14931731477092037654 10092746800454996100 12720296499478509858
12348280462029788957 4437930877040926703 472386160617624028
3022218644178298834 16259463649114856646 4891729173554668277
6832348352254324565 11016466663031175915 3906672471691147778
9241951052247118601 17386373442820506557 9050855999078416866
11768845202488508379 10571222474629733434 3238809650248276662
15418651977380962242 11757090157699242297 11205767081750861846
1790144206968416018 14877110936847478416 14677481955336890763
6109421750915407108 13944133969686654610 6984949521459547880
303202842372355639 11210269271476276221 11600649427492325385
3145116959549433959 14032222821422921991 14325306886017400632
2381929247307151065 9802935802810499595 16683588402470736094
7666939738818508796 18274869425837360357 4898395077551833033
6072435553258339021 8003451621006396719 18122887195174640462
8527641567185301232 13163613724320896105 7433735103679803287
7022857132268411971 14920271341782068318 3023346417013821445
15034402048867628498 4655934482519719427 10065139777863482238
4402216797429724681 481471857329184201 9387871802145590176
488848803479403511 15714121178340112182 18242758453377209776
14400246230511102034 4594319626967265893 14377022085897979235
13121461418931538499 16744075836678591354 5366659982960350002
5850662986610947226 5051478022213788188 8793314520870584363
8856851680769900975 2633325149769275913 17451883779006438697
9590146343300222777 17404071834656660335 12389928811205560986
1616745418395165313 16882538970141798776 488983120535461775
506630309026584865 2454749718166371548 9923961648139602017
12162366345717357908 3942487078372221675 10045373928420487202
12354828427255282718 690423862038624044 17328438314632732561
7662423796486181274 4506618697057068039 11105915020707996090
5811650950573963875 631714267147001516 11219748706423861245
18006213391628222866 2925830692778152519 14714276656611818649
8436985221872145872 3509983970214829412 4357596409327848566
7447011708221148647 7019047846599027806 5395024636901687350
11430324866655558847 7376197324257037845 17950249123851328328
18282031721079657238 17947490782454194703 15504515146341251555
6020692789426695638 7023956251312613757 71770387140435971
10407261506769514397 14525583559824073218 13319811711412098921
14760656219861913443 2007613508375161883 10376734646215514601
12811007686417231325 14726558117390326108 6187656334531649582
16903039823281585520 5530028849604134108 7703739689068679087
12566959928995515083 7017563025539388430 15454949032383496253
3769889683825185433 5995833349187209303 5404441658935018540
16290148351736525848 11842353683492428683 4881661133524012674
14466021587946621340 1380249538780479769 15331931155800448822
9392503505815173712 14828329072355005168 14298819261392164732
14537342235355861001 18052340866398829215 17116432910455029599
12935398568976317750 7960964743430650206 4764588541227477503
9578540917661395069 6208148756721362022 6253739203373500762
15362618690595927470 16600175672864931661 9939663987395145013
1559825012127458541 14762018308782515993 12188554686435024115
5707813686536888210 6433196093388577499 3384864015281368781
4497996893588362143 5358632476295292288 2661167595423440621
7730434672366398386 15451228638434702054 9835543726304292014
14076367667285913623 18175308852569997995 5003688137394436747
12400540355490759480 14235597707556599826 13952331831478222139
7843236865152819461 7185928468776325630 4672551848786348461
6327155671351693855 9353417521137896661 14418860774664229305
11438775098560266143 3529870306363182405 5008988983726171485
6926929603324992399 10104581758313202053 10653995561742883916
9509206282575402100 18363251651453364162 8066002830260689931
11724661709547142719 7245060765140043160 16398920174318327131
9541807489577457644 11858329027637872590 3489604152132562952
9612513815293874738 10697286496688897305 1661170542330965674
2999087995878798150 1330515302233967027 485084361560444373
5634329110543644494 8108587816438849631 4670345838337154506
8234604951409752159 11044804795033684358 3529568294007688583
16024302310083521046 6429601112215845689 14990342967731834162
4811461692242194347 13249790986174537239 8094500056103681765
14608345640647676412 5452311541057078601 7217895499652164948
10004938469746072167 7911897001382994013 2817595878569974571
9727826138832073737 4305387171896260664 16188583211205279282
18395711605197084470 257463738636917752 18164640949554878464
13599412999782408862 7016925895958266015 3627206139742906712
5227103505500613699 12471828047902722508 9869643529057348279
17293755884389571244 13193134450357820511 14273212947822519200
870489544057571401 2694318259690237500 6056213198262017167
10611393730198778822 17839386215697248722 17983117310687018687
7691647543499057797 13028818760536609902 7111058100424722659
1627355980677817597 2982622770037697089 11151216973750481989
4489469776085486879 10519757636196926028 17894339670828279227
14683933302082207368 13309216463339941139 9494122570961023200
15426897499822009668 7963725891305925657 5431137737620894941
1301741630200978856 2180902897728414406 16107342376095115377
16478578744186072427 15267091222227224615 7735482848749727777
8740735772479117114 11065905475542944472 10961155426929176001
10251861048451867303 13860917511419916423 15072174196808305769
12562308318678110110 96543064783930432 12630940414737307786
5716780269888785300 4172525564822417336 824125898246102962
13229275246861029444 5224107419830272437 5495624420307390103
2886578761066409625 9867705074604412801 2285253624483112344
836415843445335687 11364081984104527152 17076393993710533161
18254789061031598126 7410696992045558009 3213668332703355311
12161128575002663466 10820729059887695658 12734949511792698431
6758238782906141774 14703821858050196575 2174827907021813565
3949663741783479096 2494946065264508920 9529828019834841665
1078549555792820495 1818845857731431587 2025702391775806733
17910487808026985381 735609203107054854 14875871415293133760
16625514404289978432 296848188106916103 4722253479676455320
483494198111613157 750471793350046442 12408738531232838049
10679085226975194810 14055291293719538564 14070752150089477564
10547731479575874628 13662618561547781798 8249193614591184100
12657428688356935581 17777742704437023077 4121412159681581992
6650517529392749254 9465649122173175690 8806484751822375978
106847165573336503 295800464508698925 2431299546457687375
10254405656230315396 12968896542979136438 6455284693776509381
5578375332347293797 5281386374683454243 18188521999015317426
6723562982247373595 9158051435088499563 4614200946212824876
272219934517913087 8502670236977818554 546574248234808412
13765639493930132007 14905893090574188251 4317535167063291398
9511758428878357659 16891411208328428825 4646532622443655489
9236029106519356918 9250208368100969199 8367148800043979414
16682069665989754225 4964750908901292595 12215870969046933951
11896064858101627651 10555960520652668000 9679751774836418085
9234005098127854967 13964191631782643571 14832362765982240531
10005941366991099270 17910370126241944334 15641161183118780537
11046857619218132943 7329147471464979827 12855133835715621540
14470922772953734343 2173119042107119481 14618034189457303126
4090499073648286571 3793000627385121132 8499218341701391183
16712493947504808295 17864466454811124936 13981049388640586164
16404571499099716810 6098069939545041326 10824366403441033646
1668755340216294906 6679300352161289186 2375683865272949817
8267416766542255707 8814895070421584780 4445793993446090106
8954951495701561091 17142022149531381908 4028807505640675497
10242024236593503118 4771345059242800433 18389784913092953808
6643012305937241420 8933990822792110634 15861729310384989193
18239543729128654316 6720708151624601089 3722362494726657902
5030810435702306786 17678870563378216570 2207065328803028943
14598904873344349851 10407852854941507899 14364898807076441353
1376278858491876590 6143074311803607131 9898285816039979953
13500006003034990 18302749225360408056 13606585817848717441
72942374471386584 10817546448716744864 13596701663577111914
10225142837297737970 7247967902213013499 6574238117231684890
9822024781685090474 7383910337277925931 14687551486774666177
3038647362885315211 10402541612232002692 10756700413673869823
14316143705173664982 10403767734727665563 12305499956113122555
8503716280017517552 542719402200207937 13281936466517404236
11413891090821687089 2219435398817412997 18399510915003563109
12739523911575777073 4903842247680275291 18112241616983457784
6150540624473975526 5794926962043527588 11987980506392264560
13374619235109894541 11603471304597646107 1488148820745645526
917777089255734499 15526051836856827288 2661573076280207932
11834128689776146720 12241727183469123663 6884471174508883895
3890531936456908493 3928733057424791990 711201424487402557
2741223194079234385 2768950000527109236 14331678923863024018
2109568583261979674 7602622322357363023 12166588184846574121
8103351929967724762 5589724486414597091 18227636113237122624
16873335914584554226 14256116329293358633 957613703190113640
3002647477766492659 9149719273967013102 4017233131816436135
14246476300205286964 16855022833567112632 4617603230796846990
4591086960611652840 11528788100052842707 12094711045060626013
3420676512640307610 15159901087744579576 457610960641385466
10482164901293799656 4685510979308178508 17517385153400986658
13100481416512882366 1833020772186573101 14587726431960295502
5344441656010593812 1783016551874521527 2733685129456418589
11873131338802130702 14241055827911758812 5806252409668274119
11661136174678861250 13149614436435699953 16510547178104960745
6156534995004535438 9140404169117240619 15848714426386283471
18301282567274541676 10068808526681967351 4348409378902155941
14086437405165387871 15350821857860295522 12229148233522846871
16130231114198264698 11700310135657912528 338362785004390935
8905581923317546731 4765664302925283790 4428151249886733146
4191106052631638480 9590607112958042752 13664288482042476582
3063849420170154238 3268911636461207913 15305962355048947758
3648490875808115850 10482944063849086802 10768302698041339160
13287735056990739034 11272388677771957877 17550592445162422979
17288405500654080708 18135095647224145564 7283870015990867703
12798985535180602606 15641373950279388459 9555816696815962949
8030658025421990116 15475088257682728446 11779257206960867605
9983613593804995282 3361071267419278246 1698902147059730065
12038513395814273738 6126906319272654357 13618454448117418193
5173719588571954765 9431643317539607531 17602518899753911661
3434260093704358776 10835662460736738430 5403570473257040423
9157189530720778357 13334998546860817575 14408707859991488713
4987286919330217445 10171589145562197154 8648620691069472154
3898662096637850545 4943566565476849147 6252134835848916738
8484929197177486205 7857641317666483697 14215312304747217321
13242610998597821164 11969457479112155819 3647898188511154473
8871087569956591192 16014547858130327138 15536783589065129367
1212208307663825154 4303899343700880699 16895581631669240919
8169581364003546227 11926087747246512074 13187980249615891662
3854507480904718800 9391295506887329984 8733722713471809593
4524886617992948976 17691300357142622751 18208029127717942307
2763566429918021939 18154941701621515449 14865914919111994165
4535937379556159724 16091022428290590912 8054020668003655411
17240597293327852879 11069050043255905625 9256798397535839517
17695583798561303718 3922973928907854585 9881416938838404791
15064343788971827140 1176060646245665512 98665609175928258
14110556258155528389 7894935086652918189 8775200507790154775
18384199901368494365 10551404680946165309 4610494012506639375
9525431475657401814 8037811280783845613 3034051544797900864
12353031382964368336 8784515198094974949 11840860491287171004
14821290898110760225 15797217517082596149 9993538646752077687
15893657534792362981 12200907186580947404 16663567848991782135
16656622697997282226 592956753717311219 2410908905028253552
2742321678560659295 17718675254868823491 8955863236399711854
14040077039051776812