-
Notifications
You must be signed in to change notification settings - Fork 21
/
Copy pathSFMT.44497.64.out.txt
672 lines (672 loc) · 41.8 KB
/
SFMT.44497.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-44497:330-5-3-9-3:effffffb-dfbebfff-bfbf7bef-9ffd7bff
64 bit generated randoms
init_gen_rand__________
7539667780581492546 6066903483883516373 3740761489793866395
15732618997037794235 1040840040310421690 9943921094888497304
18382086250365435188 7753170581303562629 11716519941149011501
8233588878640363652 6234937513753658079 17051508710663439558
9052146240402004471 6541438319211383004 3198789462297978089
4190406159265670508 4324710582856546171 14990878327223978692
16334916510427402571 11451644919697936738 17309757194694596872
18379319475065264846 13802871095815387787 7721344823800996025
15205998032230191774 13302089084855918229 10391430016789666191
12002634297205765736 13167735664918765010 9457279564622389657
2711768976966778492 13780722327729887687 11852479337896562630
9582078996852656559 17455894429595188564 5845174053484088180
7307389502172862435 5026358384962691012 5335356381130378319
17542638269182870341 13710713776556387990 3530653253290536400
12488282067973485889 11430930501745598158 5595979453555447302
10617568360537117911 1476044777238335943 5459404788846654272
8864594566625291755 17311050894971345190 278200744792280322
12836508378956266536 6340351775903812007 12476521531239243373
15467026648724057381 3595246524665764015 6510906203663469702
14762640978344436907 10888756158500186941 3379336626915032077
6870440976764502750 15516456360675031548 10280941312592166587
10381553239566999 12076590223589955960 17649908695800306258
13168713533896654227 1209497848510586143 2230728545411037757
16823604122722967730 8406163230067531965 7842555582538187563
4994333629653778210 16349662385536217888 2163010678692228274
14260546024798507190 4286624092411157477 2966951049146570968
11448551782052993821 9291175864068856330 5345887331175954625
17250393455257148250 11733171869874968110 12432838899047061800
10240400366966974785 3439454110212755187 1998747814963669457
17416424029146639543 17930456300276382969 15070629092400596179
13147297725667282752 7874349937040933179 15695633816542429366
17458832306522317605 3258307963828096606 3399761994036689754
7093317153426175161 16270967579162765074 6506675710773611639
12174174993281442295 9882298603738402622 1793089853077644397
15100850681107656221 8646926413320537557 2572309018422013944
1678639723594533740 7782051784312000191 7340858874847459604
837404980132004160 16587920123239350086 8157409963290023774
748005849992342938 10341572675305920086 17610557667484655186
5852498975825683123 7419906251345296545 4998149895747812419
2492687443514046480 16531556442445715043 14436609346096764580
7410711909156941107 7831066947206905801 4587465598969672834
6850053445625139381 17472275256297794661 17180044632331027786
6191921956287126236 10632636626355687423 18396258727501143500
7442848819589458171 14219073868736775838 14328200839393436454
4142574434741797636 4951222567917555309 15382697777048757719
17262156364909000256 725601008156829564 14944191818048822034
7608301973162351247 4237676772099850764 6782867540216655426
13636231576252227957 10818462091342341163 850340724129373704
6157575356561433950 16652274234031166809 9680954486698449464
15270140453485602957 5240863649506192676 11721306487773888684
13964672640815989380 14993857088139808756 1005008752981741605
3553783127205194816 7118728786557197673 1792253001026476707
3210381963702837310 1272469442089926889 8508199231547660022
14868939056282743297 18396311200090259156 15861522311489401718
4065735904097287343 11011662686994184843 16953893882368446525
5268664669537497759 9471131474195992005 559219483997217102
1711203846554252427 722420589904766854 6635087208452829194
4132840988009834096 2911194026103385595 9037115905359464123
12211943172529013298 4649003659626386618 4339089568074767629
16649804717632256427 6789967883777045343 10310326211041874211
4931103862655466239 5091472052896479081 12166203668557719220
17069524286267774862 16041755584465966025 811900184287784201
4803158068178174483 16712399683206913658 11440546791508088185
278383761251610778 11956092571661497519 7353795761957540262
6747652527296413898 7501798202564829627 10288474141152629376
16846470086898317200 4758561986451391637 16340810431095186976
2514540010713032199 16819061664006264624 10787786559232749367
10444861059778380632 10368236736260225701 13452613892715228678
16671250994771354049 12012099233901665148 960777787258658678
14262581525809967395 12340490267920028444 11555799013027096686
13649023107874453627 6118567082922333695 1839046303634116520
5653619829999872803 16015992249168388715 14007829104234614096
1904669319282208097 6777667391429642315 2409763430203419738
3707870129672010880 7803615852927801822 11166769269405041074
5933418477446780768 4210836881657933619 14841449105334905827
9421850939967646726 7262263564120416598 1616872736197918116
1407400233129614466 4394017703389549638 32538005635254899
14299729362160998370 13107457161839541193 2624901900328117521
8092851080036934176 15755528905714510477 5104811794963437734
9255499947712451704 6465241923638548821 15691777325306425068
14881389787022690590 1889718449583570029 2453348410821450095
12388701686574052506 5452291495633196518 2028610293161321339
13109839044887896863 4278511494040842294 8872328751222685053
7598310622944065614 17773224875490753639 8011806233181400822
6862334791261480810 1013388532898454 778184761132638820
7953792658074169714 2423282644325639643 10062796364661706890
17362818418435400803 11227595504896770357 5461683036095657402
2893470215339734771 2921095402660512908 8072921024603025278
12610177650650254457 17684471461901723936 10959798131881664583
11154466930290420572 5365768188438395631 16436640243873124373
13479386633258462216 12831397617972901760 5337497975623493437
11616930886342195884 371525577900206450 14982211434309084830
240558809878711029 3379942884381248038 14509169512259885813
2528868167960645624 9909102145923671936 12413590593130768953
3595450438010190024 11685045486757313927 3596315308086010821
2744091416807617220 11255216710925303224 6845613789505152381
9330688755439808334 9213116910064660052 11485145997610216084
13120396350196065781 3721204043095321230 7771740917889097449
10402521115783880559 2096864497160171394 5974891622332408547
11100197835948693361 13881744756191484828 7739863417012042085
14567038200057595952 4997790465899223781 2593959497836433669
7571281813104974914 11250039130864748923 99068231346871160
14566466634159902263 6978992651343262775 16973216764191529273
15517720997616646961 16566255538675885364 9456147634199180994
17993305396678467391 5645999581139346801 1054724203951303836
12312033912244137403 12454473260114808059 5661758173218287199
2251846541838202572 7838343102629321846 16266765848169815952
6845316066787648866 11633280846560033780 10429122859397996449
4054667581032603194 8568303748236437094 12210292864894671583
2705774809016572667 3058684142021427933 10316464757089277558
4238728442362285428 3914793375553173568 4976964976934524717
6052565175560782792 15779416110551692926 16233155429477946442
16440661976749715120 9915515248490303095 9991567038535564335
12742688230142970490 6558651449176812296 13046983075995476013
15614213081962809606 15780237529671716162 17090323700622208246
1123381245051006043 298519339310568445 15407175517222883610
756797672667775268 4797109413764377767 3942686529647088722
1256570959570788286 11210940283964137112 17902479388739694915
17020940542394282599 14663604351435369760 10559231043346447320
10301683805468593571 3573871104544526438 14983628861843044234
9935898670454398276 9506040186440557274 12921634190834067289
16758909953181992960 4952132895699353842 3180218362334836139
13510648583221530218 1065723296946557164 6603318514338267601
3134093909407324476 17396032279404789555 2797665162005079006
6633183709119087905 1173847080214051679 10108685866685696956
16277922898655146287 4735120304096507706 3476916209327625682
9292895006128376427 10690475058033330489 2841460663359981346
6876615623981322665 9067654918578715305 4188186765410298035
17720467218667986634 9934914726246649337 18198605996655397299
8184446616948644343 10239295775902023866 1528509547207615366
3543209832839963424 5495185357343721848 2612597909083189398
10242289038559537240 9202797420167417932 9605437798699960392
5557302996067925789 1226482383858560011 7194441511618093716
16875623164406792422 1023080966466600734 2335712667193478245
15206056109042144029 16866733951266629171 6181595961429294733
7746596365281982124 15725614453582936685 10372274806295335868
3434582288869508211 17763563976499198316 16855412473472359110
14949364214394480676 10561024856951580047 15051303901996747891
15669577123257529499 16416988876201017750 356759389156451564
16722387973122228883 17628395278680106402 16057546338202242935
12066481988213541334 3222813827075624517 18197103518359904737
6711640111292907025 1033895355300277056 13005617387158985611
7607699447535048946 13644977761208785797 12174566640090402617
7246207669720222625 101457847673381959 6907044399286032790
5956456844252373796 12048543972537109333 3691662361679830198
12042709241730426172 14664270615943450326 16354072212751486322
4667118101917612581 9970858257499253309 12762437031061566352
613792462960062709 5655824083082020704 15394589770945310520
15009126779730009366 13580059753017751645 4469798268177546897
13875481815074528998 2929981757944607914 15066730426558341432
4013367477482089003 15695742483396947895 10474605245188516493
3672144484001346918 3354308415373157194 478364992487666715
16638290946064707993 18299075492538781900 15877857034731424524
2773965377057920115 9055089574420247489 9863164777889848299
2196903856648831202 738653656333979475 7768703203029250454
2945053051131550625 11525644974624689596 3357025949619958444
10575397552130186274 12514755912127213677 3742285884165456621
2215271704013049709 11333779208618991601 4586980489796293463
10146912397307973832 16325488866709047463 17996159103875257404
18253347642560597320 7134749337794793498 15968675924784118537
7082714019688066697 9586580382596748136 2376042038730301304
6329496874461796043 10486188757220978293 777901848839870515
3512758940581682035 9112340229750223913 16725353578638663080
5921546394905529025 14631605230116299535 18201002252220611921
14519612666790207160 3029104943555588708 6940789388347966559
12717529046314753067 2833817637216669328 11270392164796450519
10918592568416296221 4788907028043279410 4561966130215812149
10882009076950469099 12410696961108359413 15335548994230808634
3684334053948076907 1033628506425646050 17845882188795305708
17227604847769967614 13082243603185930075 14787453642135653835
1708639679977470609 8176135574802129150 10926750699892098416
5878853673359700058 2199904023831009932 14109151240318760601
2540946587330017439 4079892690185684043 12604426948590887651
703913466553757182 13633434138931230017 2013592836208658096
15362804148201093336 4096342103305439164 14570344876318992736
11945838224590517119 12796899389685720255 11322541815435233911
13421543974506863153 7379640276861304949 8016552762959520783
18106016341564592107 996121191638696999 12812826677512516451
10553247803729231182 2811710533873158277 10340456939992317915
13705455350940793449 15117140861871946814 12690170580093340875
1534464187533339623 13992483317035479207 5227214386412466837
5390263963429496489 18324222449074055047 11148650228931915342
15639347883335287762 4918077800409757932 14000258148892697695
10282557461153306232 11971890474497347957 1045736421741343714
1375067341436493445 8852115732802689004 17189299669521205633
14206084074577844259 18294168600976506893 18349150083358445635
748317061190421274 11142168882400552193 14349382621698529351
5953343776971801920 10327782642486259329 10901150195049635082
6905910786099297745 5198050825979169300 7500129379814133489
4949762392641180056 8013594575806012301 7478268750013085836
8520979632016255022 15408238794374335590 2736750302541559304
10627677729443044775 14316042359307179836 7364884636189685330
3008356651514674860 1471068902662248993 6058701940762248472
10222391918266281161 2875533636973325586 7622640248767326421
14777690226731441184 3168725672366698463 10619258955222117862
8503669855737423423 12175837930162347570 17004395277861256677
10544799750537526534 4337320304031220726 15003665497941222208
6260451532217260179 3095424864910997626 17441109659814161816
4782351894321620648 2216882024723727644 3102004535510282193
15434717165226341457 6693994484832498802 14009769099972078351
7683412051446946436 4190451134959951095 17728044960523688971
11890102927482817595 15589727674907333596 14450331025842753561
12284029589672971638 3122235344769182335 15562814775051521867
10183425777930181930 3056688729382785110 8128058889669247
18065151183741701108 1659698276587662928 18040348884063368496
10045367349049203250 10760041456190577174 17378617625882708456
3722272576032230956 4843287150879898256 14908368205270618391
14373513511930448199 8242611364394145007 1834526926103536956
16578556841420977519 16366266450346728125 13260980316800270270
17551617770744486260 14171108737852240233 1157864054938955971
13509046594340388935 13831680993885171235 6324593434145319740
9898977717871281341 9119818970377265006 7522983020573855056
17067904222669311960 2641044805663287918 11381520010132903824
13933025395395516697 16641074256543842913 5747215352178322149
1770426047330459414 8058278134887076716 17500308654654211543
11795111060306653924 8232925925267554609 13644167071540377071
13986906118957015211 7702126407288501138 7105629204734156559
6801160020156195419 3579232576296777869 9604676039131491477
11165272699941991744 13052232878510641764 11357066263531077880
15888775230571349286 9943448693413165902 4108057320566529152
14611692297887664649 6895655265582731669 10827893737586111129
13239497885425636645 17146762772639344694 2313419896062505158
7074931514251445494 4605072336095250487 345771156678292846
8730185337011228405 6285306180385532123 8457992152782983466
15196628414749452821 6537447376035082223 17749011265308968768
5604986390271308267 861268979599973624 2623473171348544797
4161371218646867548 9247488577988522053 14271491553215627729
1547969128358240127 16964826851576342734 17020848039687841839
9682519727715659709 9137264306148367143 9362741667211587124
18439870331222314878 7491177706154873984 9080766123511051824
3475368278297247690 877631237115674620 8282472910331939216
925067790528922077 3938032406976031291 12766758786861739242
18148325655027353857 16333353441761609197 8384099410987342121
1155853348165911612 2255620375163837866 312426621902203937
18141527059106848871 8212009567742133038 14881115310390432862
4220743143502311211 4998356672594464294 7684956021714569189
4861046316689820391 8100959345470004664 10974951935654527904
339143022129429626 17841407824170472078 3412370252249096385
512036761271950911 1460667536633481792 917473569665224300
15636022247830571082 17474370806253376520 4731233822029937996
3305432015043809359 441796172012765072 14477724053304969400
3326798455907486470 10017423131487910565 17174989284890925076
7946908497061393310 9625456129543725248 6060795946873483187
2454603306537893067 9319386156200264552 14299493596825144579
17758417416695264894 15704565589513251856 7239785542021410194
4816686387859149227 8823796283601416891 472295230509319561
5632683045354531899 17685583592251862995 13576382745746624546
1572398464241618874 15626736741451083350 5425614093375900984
15559263571874711620 10034747912103420567 16291683011106920059
9679054716981133004 14531216670543890902 6756441062539658430
1385150774901551456 2590697602321000663 383816923361077439
8302380549544574379 17944552201005592205 9929698180788820899
7063478119759501273 3986117342305121107 12389235287821962513
2142002583611759863 1613564846105172302 3578949892525837897
8037698610753437307 14359403866261084020 14442587868198459996
15117455855453181003 5636090602168100725 10800987759899362423
10777396241557531000 1057365542397088466 5214621583669793240
2132869556172966060 9735611953157086089 15597253879497875695
11719725657589777907 13159845180616800791 2840715057790207971
5201834816186929354 2672263075674984528 12822888500793729086
15629939057847028310 6571769621974442568 14607680993366646102
17824069376504833830 15269655632541586754 8478555618712900561
2993557294668906081 6077723811224749244 16349472871750317546
153531201859228905 6476449349312134806 17155080994151492104
13993319327315022707 17142444349976874353 9057740591526859490
12941851911209309359 4747481552311029411 15218576890854336734
1545117364581377151 15885926899112843790 13166931237362113406
8550547374286882613 1218832498794954024 17324984435334261317
17767383820956992480 11298404311758751967 13995524100036347109
14452145461946219632 6480233209276548395 203010734471612988
3503650588297795181 5826560795595725593 5360607383367511268
4383736295623434847 16549810941480415095 16501024754068077269
8935121773724335171 1638557274105161914 14983315901819342130
15568352429894681333 16289876550094451740 9101814920942578165
15499615871794591322 17641071492186155420 16572075342552954021
7797541018539705508 2715300815110641268 18426847188117690250
10685437204939450626 195719848323260169 6164020133488033216
8680500337940391370 3725123878877316441 9657350930780582510
15147540363484054033 7524147577931395572 8730007569699469635
17188271424747896116 8191956972794566443 13297662601599476588
5862282104607110321 14283243957369212024 2893821491604844600
14050849498398251348 14544373007518541492 15815658371850684335
13588083927843982989 3099373007580070746 12292284778926672662
13673425513226633348 1439718126711767371 4271217291424302951
10527021599287816553 5645124159915835246 17417547509113735787
5632294289628383479 11106082836159250742 10953496387951391241
18294524074176192095 5179645059967992889 11816402432571872400
3397698080781278157 16603519495024154502 14643817616038364519
17391503062752786455 16123226078946374037 5560290778022265954
4187188341111112053 17179665708761129708 3986674640335733869
7837073680199791340 11000973162567428020 1752700910997111823
16072629791946917379 16967941865234388422 6996370892376493935
11962659938069196088 13759169010106109352 6163711681508034554
15321760514617096183 2998157912815456171 8461776038190651146
18079446230283944842 13622885890498055874 3971329581540783717
3177033254235112651 5638113535455140604 12428897517627836185
16928665760768023795 6891653345454698128 11142408795705423093
6110585229441989659 702116209881129362 17964938261750133285
7447418142655470286 13520722382330652944 13144272675906703084
3450540129449231696 6906688512693217432 5330970443680313365
7110894947741505031 428040506580370033 13673304095171212953
3401543850213293838 11874095709964931790 13615175066764721086
17850489665718251384 10581238960235144897 8363798692806474783
5973203337070168443 1365299544612816070 14159061766606002735
15954904301321066554 4938049100428153526 14061651180103844857
11462257460781652511 4050919614995773748 289366289980494376
694215231801369144 8054846945378483065 16773491743711813409
17943546399687642883 3223534419250775614 1823228276130575146
10741703603668711146 14366971367055368826 12898702160734352453
4403082330895372186 9891417487297016194 15687833248115285933
11848099502418098091 18162480355423332213 17724624544447792274
3138918113607292708 11823371402600374012 18351283034440762658
18199128600650935265 2689318198360760441 12612225435481508327
9947338571106268982 15599673279816211080 990097844931734213
14538389246410387809 401267033536452179 13239589422967172672
11127411847743092505 15665359591638391467 8126137165791690116
7104856573026373901 12933925913862501824 12678195158922660463
5326695296684805230 10962444833104248532 5524752760658446919
932874850156657162 12576724174350625022 18070828408897108883
3299685843268727861 9799548595800560928 3390369751272258165
17932420903422493647 976622391225920742 1819174011636486030
13374416302581994836 7367220284233724000 16169360938744583879
5946293294805765759 10994088937059809660 14500394818423473640
11886520020102796395 2980015944582949814 13448247219707434186
1536359213215237963 6883688238674239089 16479615169697629996
16205908191832336721 5708311301047115510 8017938471030358013
784375506415426064 13783746472809317659 7615060474692796080
6178167821204647550 9897712844273457943 10394386597197967717
17329048139563352431 8336399699618472692 17236704533749921678
3971717193954247660 16658152361457048619 13262052741043990274
6246103978016445638 4198275826138953222 12473679170573289212
14745709982748360209 3630790792408208113 4195294399578350499
3742595698794327253 17388385867517445933 4261866397667814669
17394085161690598095
init_by_array__________
13233419221952392794 10697447992016178305 1371570614418651168
11717556724819604183 11671445583426021109 9398611238045173793
3253586760991680336 17505927398331064052 969865134288383199
8256009968182580084 6486905267459735380 1584184892901902626
12772926400947630398 891596990904357686 10731887184259099354
2635229182406212606 13238372947183397356 5226072355586248596
6034039691444484441 16959444934112619186 2005677358858970121
7296894984470583554 10958999808646947462 14677907662963362633
7805206468084464915 9958031724276922136 6002934828285924597
4992655433033051002 4174412890545963677 10321465511313903905
16548078234793025457 10189617541026431890 5862429443246708961
17707237415032270862 3958102696640815515 4298829483837719326
2693086274447934808 17190261945363053202 5067942185350079179
11586577803908038714 2103180720155998810 15529741616881116458
18090775567254954032 17581585570457115167 16940268244351551785
18012991666169714790 17204417792141366939 11255257184015664942
16967327227081706672 11765212544768079550 14539068512616099096
16358918535176514076 544993617826375781 6939126970946725142
6702051512667635558 8246715685467083748 2681612329445316369
17345006418321737894 872575272191038719 11459801431899877760
1705565414781219426 2156745393547909947 6547862743564900945
7218691559736694070 7213348084464045055 11423171970422909176
11628687891775658126 13950159914049873863 3744879739750045723
13152339011475732433 1012576981780865872 6455107693222318870
11487589943014028090 11571364669097348852 14616341890581982926
10194562803119087153 4146530529137858534 6424672694703057441
4477826850075633782 15706877195450188421 14473707757675366356
11000504327224803671 12557643952470957083 13847624186779908717
7465857126502744515 14117003569561589443 3088623571792611777
733145886095539618 5987849910775379562 10825637424851664917
16059597786460367206 15721672778583968179 2270312682919421014
10121121142594594436 1618466523243067054 1365388747545285921
16505964494823574364 1115402378356304506 11399766357861003088
15432720312910626114 15622670606439277229 5515378239396408055
5302356861282277659 15260019571109862653 13663424901773789715
8503029897190793413 7189449160328236116 12816970286960173611
12212763556992124453 11559843599614060246 12515303821279138363
3806060095090794651 9627302896155257257 9487052766499932735
5455120775697829196 11168839252585391330 7755162651842994496
5022364098111504779 13231950521857741564 11038113812872467200
4951112604105203006 8477002036926597620 11861824829503959483
18407398452186799244 3222798467483908417 6022624720825107938
18372275353657367507 17906362783703603743 2924159104121426361
11630298836352974835 1140909340119072381 6304426105886520926
7968132637468975155 13913333683815801433 10562736958496030253
5062489720178029775 7537303146165299261 17557108188127281389
8818037312300576122 4201219963024281743 14010061039387843816
1768026000643451948 344091256381776748 3528321433148515881
18276280025999702200 13951063963634095256 12023337098695395422
5738280359888750797 10208505792673478333 12987124921400538555
4240326676516745175 10702827333973692923 14339118644964952785
9740448510897457260 8838474735792816355 13049490085751473796
4534091146143997347 11736860036939427697 499917664145714086
15183730027011151759 2068246641393119123 14195318547043178109
546707239913475186 12182443960667555312 927087710959758763
8862271491848271560 12004589020233098001 4029099204503991331
5171420806609806525 5874158872647252524 16476462665853939208
8240328716007576213 5334333572267098455 10212851276382481965
12622170765907778629 189684454657620460 15669860085626598410
7134257625896915860 6603671097582866277 2328568307639994989
14472907070199782078 13532568071801689108 16761716201209882365
3404484918357749168 16924724635964615734 2250607282175080354
1771918463561947519 12101916015593867009 16810670073464955196
16769033038910005885 18377551580428822753 9606433850170105809
15179213142006436818 15252534238288160282 7427495764765170161
1463760644730228753 660149315373678136 2802390177503007234
1007093853252418365 1175217642094603807 7154789081384281950
8874335683952143420 17669485078538403069 11430747504254992108
17814391628053823152 16787496606584086945 11281019609504849957
2859611309243528355 8505453939267742917 4065449049655806518
10177688596707303960 12567428905142981928 8490071782397187100
4651038685091094313 5436874616312581093 6663061127504343767
8917422826565284338 3739039011452551167 4063798890552186304
9184857116958809685 18005675752196797046 4061232777059306206
6154237954439312027 17176152639944106110 8434768414054389834
15249121552100899618 7122556819067121321 8719664813147747677
12345133870986993419 7745384759244632352 8931513487908487361
5806765971840609401 589075836094444354 6754097345530236431
17007720182228911642 9362886786803980815 4814474593736352764
13532271673289414537 786039412316847539 6032170454894515138
3482488824812623792 11799812888538368154 3273450123337117292
3939122151947336170 1398663341730919245 7473949287397367515
10268665794644915634 8357120257108022555 5927052276042799763
843410598667084469 13310423926328877977 4294180033397500968
6817065796668021073 15060410594858723199 8626442595837748814
12368527516417513026 13154917860251442996 3064481879561857278
17156708074844278005 16675075875344371357 10768504843764041437
6259650294378074612 3017738578629592730 2969509517606425388
10957901587867381804 2421056758612353736 9286459020522804547
9988308789383560861 601038506408071890 11809152529834282979
7861422127085755292 4290498647417290595 210132069989625270
11846432681269300122 6576839401215322691 13661273823162070692
12034521425576269994 13295842326077977932 17372741546984347348
12054666645656775704 3708590517613399728 11530596351399048117
11675926071159121108 13153349465071418837 2009460643719701104
1152649666077298173 1395360082311073337 14072211588179368092
7888756176282715876 4206601525338607570 13699117852688088262
11662089460363311960 10544385682773442819 12951613880606588545
16260084083802094505 11420859094703413400 7422352834045629229
18033773003211030149 16629701062418370718 6142110131469934468
16676926805304924423 13886493222046382511 5451534403590822434
17682959879975627601 14399122908397868438 5586330354907555163
1365984393202185916 11847121488608163168 9097688257245038522
18237960981555936704 16868946595903931936 3862798797240366336
5862098452224732883 12783246701025743903 8299009310254646983
7436569893877233340 6639624728468282761 7874141768034699694
12238157377989288056 394121457362623590 18250933504986327573
18233530328273805320 4953285964877704883 9222926176756984204
14586754277844248643 12341573579819629561 12388609248219122844
8793029743644732978 2064343715632418783 10461804252766910091
3224916447334031054 10792251294642269588 6945126873011914603
17117494465820627637 13514245540393862458 9508791559775892403
12646720300924161651 16413867115748744504 1079886261026613166
8856194745141834476 9916567014635801025 8916762262802706346
3266799379796163439 5798634904630020989 17005869327884680343
2525614392109484413 18185130935747108731 5974889603363881168
18268049096397477510 5266309348177333887 4695225713638778993
15926327961847315173 11397389254857441625 3117774083544076046
16926360433507994461 2024791286080868804 12042970395750021954
3165618039441446879 10263311486150423623 722554658309417380
11994511644819983000 10341509669402640707 10094744004755569593
9470659673377701445 11680715622271615732 1690486331865459023
9295548843077781413 2493871928786865850 2802712098333934549
7185117862658646839 8130798312682759212 495826954782965608
9915278031774752154 2002844694092800473 1760552164615671535
1949630021895015309 15274190890054163001 5038236532852384134
4017996531180923670 11122535863224509192 11563571242887169189
13320828520138342224 13810267283590312563 5254048781365339880
17229351851322300330 16070056674699471903 11241234816776616171
6012007561255189892 17454520020534610991 14241240653185745365
9855408131406201051 7660888737871434139 10418431535127837053
15504958569983902046 10823922371168246386 7828654040283912243
1280699682500931505 6052377844361090063 11204880842901663055
4766354002309343715 16090648740878916039 9625637042488164266
8830116900064272937 13088606318670317389 366971253222606974
5319769530992895100 14169755914528557010 3010482278069366051
10426028624427982294 11462418730806423231 15974517072066239334
5824852778654752953 12852411254968929911 7356635900607561274
11344481480761396680 3812509392843373085 4552358718149626851
1190109676908119151 16278653375912197384 13658966004640520125
4746248881775629568 4808473254848553263 3943797860293058865
5301369222854400169 11938336696624527758 9704462495076233505
5296231953151205462 15458707928171199746 8563929159704955905
11950103005548673458 10852705723175920108 3869059973471957096
4622599341669060364 14273706458432074675 5574125076004319260
7524573794733021480 8283710258430549358 6303280256193682004
10847266551809842541 1280782683630734024 1331984337463592975
753109388056902490 5424396391986832328 8201316526771119917
2716727472266954091 2673591444888515398 11923319517572188926
18325329278924803818 229941981922547603 9803062088762316099
9908699503027424946 2820542723221072863 11240320132188179560
1636946187943692726 14467199174648231640 107163362559030388
2389505877341696970 13073333932457520695 484787337597182740
8891353789283474529 6041580889762388004 11683328739295908993
501145257114933722 10777285068924583149 6789004859502956652
5097150530988179569 7572210691830171518 2299435461969159764
971988296989716748 13365088012290478641 18433790698051436794
1486487008547408932 16186206417423536300 4550330401237946110
8661141280426142912 15928377116980694825 1930578097047329585
5205759008820069319 6781342341284714661 1754887853531802150
6542905662225282707 9373295215435195410 4787928674137313495
17269294129689492995 596737393684407325 9707560858756106527
15100146602964088354 2037458298663529030 16606162677550742367
6947289616024691498 13482006771465915979 12055999153295144897
15067083002534759609 14722853182211889674 5936107339398491179
9507365558851755780 1851492140821002712 13996984321183891441
1870630258299749390 5961291580475133872 18308472424432304197
8521186087707291106 820368374554608991 292345248861850698
15667547066931673787 1341779060181975407 9174998067621771717
11564116114948645782 7252143292259466158 17569872369887332265
37476632103243638 10234471056936258263 10983421370296837184
3276588980523936527 17840248770454168517 8066034377618475431
633121987787320615 6337297581091197547 10108288873620340693
15488879940506958913 11944392998988133465 12090449312971757163
7627530878333752875 14012836518636006448 11512238927274867552
17774941577188838796 4508497249373089236 2342374438329575617
1608962559159398061 6855204299663021974 6121372493770482693
13522520178785518435 16434092068352881744 3844386602151606678
2321731572899805208 5662991599465422404 14505001452539761682
10574838759093217068 15279935816540928994 2679216896321462783
10339685436647203043 17756689385510479128 7890340645060837096
9845517906852574297 4583358070530941766 14020448556965749804
4220974329315772231 7076408625531287678 1598867232402065562
18241452374373592317 18293231933062232931 3972439301286452233
5855979111894037333 15569264815119268730 5727707338758071263
17887618727395567071 11982051462750566319 18229795118672882016
14036942790066115864 17347126310244150646 7832261115551023829
7696425266530801444 12467286764091228925 11607114470151240372
1455478276015380374 3847781461886841749 7811214165871246587
6384528161213662297 17741986277028443246 7344656255983012891
10450975400295547314 2853695298929012345 1402956799559017476
11707228657237860157 16210927214156292087 15646818067849555563
1961438292383711250 8103362715490900755 17371753775986597698
10571713828772906329 11131952553418696393 6546261879546780576
1951214750416151285 12165824715418359075 9620926407754406379
7373671866388754312 17489680866714735083 3165388562463340131
630146884477965558 612999611876104597 5864261847496777924
7419906997848339817 3633909215160045509 15788505578612984968
9079868415770071815 3249613630785826020 1162541411638974121
4097960328364207101 17501529779003439522 18042517710055436903
6977212283817611089 11510778755295541274 17223873772243908415
10008599966213681415 14701693743707129102 8052905490340827120
3445462861714477693 18330869071367329553 15540767569025193269
6312238000980707015 13085929192555914713 5770758316955466150
15610537976345518636 14462232873519494984 11032480757223817111
18166020584943148436 4445485325333771258 2226143169759231933
6764076832564889275 4010742276120419396 17496612965886017952
2953371825152335141 10227561289529629144 12647720278688614585
12599091811159368156 17920627312218588281 1140855610153841025
5417165827607542223 8931339545891053073 304066119831758701
11778798658683423855 2987865262142265085 7841802858780152512
4145788071366462794 10716104527654541478 5123690151314036344
14522899454598256317 10600580420039183096 12319443428006482593
1740762840534176934 4704739632100233923 6322317051219602137
11255543976362089764 4813231396523079668 1760641294081683306
1856062041170297522 3398689472157800153 14383371368242578883
3998105041419638871 18141299533323597176 3178857613106753384
4371836796225787497 8201329131738885732 11529069922753923213
6401247087281718523 3565473169319033605 5601068042981695973
6910533585886924652 16641012327445970670 18023481602684300812
16793040696733885543 15101225486023660621 13889204169883528906
5139136398235851238 991143059933008711 18215763164108740191
13459928877893674820 12644226639676967135 9846351895490230883
504027441875505418 6268862761001787785 11585519210996349725
2683913431814510218 13387867354649262599 16911759806830545494
13520355212386343439 14715169266317126602 16532108971608307670
9202595019202266758 16880481805914738412 8318337626075181389
14384837726809696330 9996792743447607934 13072485261863419776
3520577845256561219 7192553086439776465 5011944041792338974
16047582072755561 5345508499032257398 10412436859838686434
713320986812296321 10321344109899195018 1513137038018946646
4646791020431465788 5619766727063469023 16948513928336725108
16848802657055591415 13246517946816313009 6402788326203962092
11120749826190926526 9488791514276067148 16756132854707465597
12374191757910093320 15310612261346780333 6781076740111855138
12624375753596190253 3553665632099351412 4013527353796477529
6885314548573969316 5123800327332624263 13228168328930762920
4401387444519323802 18098871359447281415 17597933580200609203
7456099475658551704 4332976610816709967 15863957606223934998
12893890690486759306 10411117108820880015 15369401043981605869
11745445697025087736 3783696281738342234 5913373984952665877
9153228784599557760 16797080181192774279 6764295604364606679
6018636404365779926 2051188512006496459 5064120802842378661
16706427217904423141 1351747750230288496 7158303276744459924
15258637323832212264 12498866785045468375 8144883769274244780
1282997679584862509 1494898671422617474 6223068203604753010
11898835997749810207 15338597166913168590 11215930881344529127
1864099026481056477 16292459067871519668 7015624848670764271
1246502889340814910 17398123359478840080 5410573277502646130
8164349754110563387 9422129630180404348 9118984772682962216
11303485937501996802 11158031131552141301 8988142166738478984
15801751618617968118 16685840903754602226 6452125610230882379
18261904629847124165 12577056996917616742 10167138563676124820
1113536655280700031 573209566029137862 1321840205312966558
4074865054867258841 958092629564933231 16737944228757239822
13408648427745976746 4758072052848343911 2600744890946300815
581401011361039226 18008768860513200341 1065891271226942680
7725246275641377516 7906060530766054351 17975858388436193334
4676813363583624738 6937060668096642198 2768382197871232576
17802680472846744237 18220278628269696219 17697707749150192726
12462262111475007362 9465823509877703138 13037516750511913728
3256739732675334168 14366145871698034772 15122566038195238374
3452360694917299278 18013599822660801375 13452177446478313383
13662913657443446332 5005018170083376156 8484260940263505896
13049715763655530756 3838389790650849345 516599798888744513
2699812020916219442 2566274066447790254 12326233817980669653
5234719386184223374 4672857352264546477 175368431909297797
14884163413408858610 683326579916983909 17415571534794176868
2308358267674459972 1718107138670081354 16660669728541886500
12944271836678663515 16482165612754794007 14825070205929772845
18329096517401579238 964616145875520394 6648922806162596174
6920540505808095579 6894749068253545619 11513397920237894657
8926716255701892277 18275605601251128048 10164559844676625318
1225624921604486791 1917502533861994182 3857875192731097675
11774654622228895857 6749796927349334329 17687379440342455432
4561074899513433029 1086023436483856889 11158151159805345986
10712988656559750366 16051268602358694800 313827931690847475
750438601623047439 6754124303350722424 6815340367159634510
9346715134464752494 11884149489981459062 6048327208239880029
14035845925198640087 12215305744404965473 14981650363932460663
9449551227799761231 18368516073965224940 16920180519868223672
509296498069874313 18012172609028985629 1790794896405140194
7973510045793422426 5682484551913463872 12842152601854093291
927657381566952609 13713122318715028229 3938156359256059389
13388332633015342409 8257690458869653142 3441313068893832783
9428473317379533403 13177913359832293029 11375233600299521521
3082928253244143266 3314941758610520499 17968755855139851284
5579871307778725046 9799111095377045339 18119103765156605608
16210085057846113422 6965258755175233510 2277933066945963000
3004637954503778214 4655962536020722007 11240273935089484186
693590581479718001 9004351846438786744 4875267343998288854
9141011059435466556 6002035771462338001 8252131080389551338
8968846035417292566 2120069620945802192 16277678117058323122
8964346408027985873 2780381340211974653 17713057123190675607
12742248640955720882 7107146654072728513 6129165329173168612
1108444047759164089 709958461586885131 15707264398728170328
1383353287617340735 17938464345008575496 6917169882060300870
9747801087820164815 9795840663981808744 14591891455296249158
15720855201313291553 8667488599255745797 1773171610422527984
4281549510461239317 9988202489880216929 13357830366563251897
2563025161731987895 18223675888716555455 10646778994300821373
17217274120243770919 9812466327141058590 13321163861579294447
17704163039362556951 13012017025647061803 13433575263462276730
15599557886310437945 12224229778253702857 11012228076355323692
3637899584739111955 155401592168492344 5080812603024102464
15573738077662054537 2361356258070013282 10198346983850340234
10988265787566429484 10102334819442636701 14367619035418180700
1724094472927264966 14902256433085821821 8515458208924623125
11590115302787003667 14432164050971366249 17295613949250845061
13491254007861706344 2117400879444380976 18072561717381310558
871887888612864145 3819129041939164571 3838687380305351965
8652456265716233395 2699810823246514589 4627553424879238899
2476346443729995698 16817467394097611193 18177507189132511647
11581837836303934197 11105832179994616842 3999962637084839594
18161960951787694398 1980179422131414112 3563149083574282703
2032619782700707427 3639266722830340129 4635807583915880972
8737314523248172763 9207639348307036259 15531462749683055237
7816020571030618175 11479871035639316359 12518379656292866798
8146669602272777274 8747034269225533396 9036065164165086477
13670665264461210462 16252721335200390658 12943457171936844370
13620507245144222771 2206729424547363259 11563395414316356385
13064530655232131329 15925652816773294807 11730164300257766367
6383043604768244295 12322756372220142650 14151536885262175923
437803617371743563 11368880239682700379 6249562636093928208
13019651001651423334 5268679019507824127 17157885629701185760
17797651312740899076 14748171661849321310 3861437747187474572
18323437088668218595 11708706661817328867 8734072238567528639
9507034300173778376 8125433984871445375 6856617056236501929
14481025653602684105 1302606325665280978 7472469160947828149
8138797675959454958 18009150506841204170 11069426098778985305
15681916443858232846 8902104655602360365 16717658818993176957
8400553756074598543 7159487053217714284 6391042492655296942
8665566709489627619 15308138787953810472 14882168223710475806
2998501000276486339