-
Notifications
You must be signed in to change notification settings - Fork 21
/
SFMT.1279.64.out.txt
672 lines (672 loc) · 41.8 KB
/
SFMT.1279.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-1279:7-14-3-5-1:f7fefffd-7fefcfff-aff3ef3f-b5ffff7f
64 bit generated randoms
init_gen_rand__________
6791552698498011266 904382185440667838 227322498148972513
1821361912827400194 6645211369687260111 8596545728297537490
1425827565699122275 1169674327633188900 12080605801413777237
16190525531697776662 249189444074031690 13135482890639389059
2267160017667559708 7602223178085384365 3440816228037792874
5055903038735997737 12373332617993580209 1896716873742157359
5931730091397918412 124800080257977635 3311086821902462669
1927153835523761872 7731860127870854202 12962678988004089890
4866401822680795029 10931334622501894037 10861061567858471603
8320379887710687740 5092203592190106035 3332776563501539982
5639560583100550532 12902176262166586146 8945824361769118480
13026873021442265490 5930573486862645354 7986587297165606050
2771124014613667958 7944697380039121487 11848262011314349996
5222845157095261038 15373343880541099308 17953738036806823928
10614930555030884508 8212448714071084902 16221842306258794877
7316154535924692815 16640839623206117962 1625336206194227441
3090032575202041422 1832873124329320166 4665943532382229615
12288591741137093150 8194326375704606622 4341907192065063688
7025525063355234318 15649245173024814262 6665792219618261088
1579785674814016294 18332712962924914280 10902419312031731449
9695134903505722964 3010921861212058496 8311787413582726139
15387816477024256062 11436875704118935378 9859423207021997124
6393009697597363193 5860758273149084366 1049251964359006636
2173929867884670219 10222847318070333572 7801034067575551580
11704977653879312602 2245619391733493419 17644429321481397715
14508754105449955717 2379933222643645556 18135486398544144220
18420823131246698569 9404051700770617068 17630942878336260164
3334094113484683106 8038193002077132858 1958254877834750292
8738846800067625418 16152994502627363637 15997880496236738977
8399043992767468372 15730655076444912236 8500398725823263419
224332792345264049 10434559688347936783 652584506979637421
3362647775396690476 11116608705099619837 10740965681172483554
3259517673064145489 15057931230785995166 2286402112876877009
10393018923031183513 17830353033993327115 2208217124012792957
10187292526874142654 4246442586767478781 18102707486048824956
10884208082350101555 14271508236338311702 7551456557303374171
4187519927358594559 16464144536531598291 6967081761831046002
5578404460396324466 17880656495936094496 16480533088873952815
7457436066279978971 6197631161225789562 9562934395966404937
16633240358753755065 7926807032924042031 8713746615624061446
13517677173537721486 9521762162425745666 55477983190101765
3537714577850928538 3964037582492203689 2025598707411128270
13591251199411875549 13964621374319332171 12722969101868848765
14918064331447548415 11269365616410326857 16665068891565277132
8035275638638278530 16958198043952367062 18091103959359887901
83760385915510376 6654045057718878342 9019425844049879452
45164962396417929 13875853622019975130 17896006922531746654
9473844086952704383 17181603531253414318 17061941927426316521
3560853198389403750 6790613382591449054 730958974205552572
11922552979933757770 12410470393274114512 16776677538885135983
3723305151109206959 10757063072404022567 7718280439842542494
11217314302004708154 16126300887269669890 6742364076538789117
15441928176202338568 1273339865092667676 11133902666832683369
7919844596256184138 8982149629252887151 13766446285178033154
232397138666944775 3145572607001462055 4687274096635942669
8009283995510409473 6633016234400914388 14456791178013549068
17402827765190801935 9916611945345803798 11803055285754531468
17474471401758823771 7905916116369375224 49075033328437659
7602535452050443228 12160128287522272633 18214647583027329539
10758640899302993984 5158254738093243743 5188188666500279138
3734132244577573193 5061607128830250904 190965550601082666
3300547308552013165 12934116870637541436 5571956122485383583
16287493031180859147 15545607572606614080 17935022260589532782
14648562253694157471 11963974361371658042 6681059955234447437
257035265698999766 9685090686080924479 16023491996094920490
18047580944968983788 436635535510848663 616632691842718228
4532625804265018692 17896712590151377810 11169249855936912692
16649265161704411496 17425402010158994779 16406494330320303340
14097889439538366793 4536387388053847076 16660004352332287607
8388762186331499827 7864965397679964303 13544803898564012219
12016475906433412924 14935831088603556690 5748269531489373095
9509060517397083346 16263097209317300161 9124468609429161571
17118005496189428709 75318819104488199 12666689473267110926
6782290721306105837 5569360742494755755 8597987461203594629
4676586602124238930 14191796419630016597 2843929873048047154
12535436187564724821 16894734675208570826 174013164257017870
16732560801805180161 5814104532971207443 18258897710864323402
119086354949360217 15936374754497720966 7953395999480761757
6348398658316017146 12506562974638476049 13311159575414301583
2268004325393425927 16156887869169081735 4732571333774687700
7828035877308068005 2790760005460217891 11251778573101652819
15269938294186194890 12969286322081864494 876827673746396672
9586421819715369748 14484156468261546527 18079622184704049730
10625754993145507076 12908909652965412776 17966147941623975713
15013135646628576732 14584650071969287808 15596982011860087973
12666228003441846012 13941722642950669583 3336548554325991501
5539381985316088223 13535729089512522381 17717027623441315653
8631537051692650097 701457518480011218 8357233085288647762
17765712735790477013 11594923681806086003 1537785502153537923
427729442235083887 14764342151657559952 12285812754879985265
7671777525425484197 6848404960027691102 1919092723748079111
11987047899488431434 9202387869870259112 5430654798194245915
3781130678014194180 8547468667024525584 10945113435347814228
17852419339645940720 1269721151139167914 7107120782430526134
11539412063766650181 2376962829926494906 15097201834588014035
2882379210868340043 7600447941447551851 13593425995022524999
17993744432330076669 6047570350860132139 10334165535101931778
748427560394307127 953286521223942191 10567507469810595963
18253625115402599924 6551370760063946855 7154636530747647004
14427917464162199967 14300351889075764136 12551797393242943033
7090850323305972323 17058758585330790056 5218166948339930654
365383697616992994 14018958116127214540 3878998134232625949
18193072554866972972 7797025112408178367 7934609347223700678
4964372252226719760 11741430801368034375 15180942799570868933
7828138817947409314 18393699512707532831 12069829458695076092
5183590496976330650 6110596938865503975 5012971754875033249
6168371893081618381 17891088169204296808 10928150602429279560
2009806396291123136 3898860050148729692 11360597928981572060
14059504188874383069 5527612155369484001 7293607294991232999
16900303409965339759 11621036695540326528 9119165593079071125
6676899859620741340 12347674797429590679 8858958296515861823
5396152118622109279 10491027505401060152 17264963475984629945
7227046890415545150 6844485357323732664 9931293259269628287
81410506180761455 18110052658068807882 1478111941954701716
2409994393685436132 17219598709187409910 4854605863950576308
12094946814951032503 7227437360394754373 18060169833179137933
1895625677555335391 1653702904177110683 9172307393273912528
12153166765404003832 16550731916403453047 11681050700151828250
9743990576792010976 18027382808064076557 13871468544772314998
17900407492165354904 5507353087912445214 12193404421146142198
1467142227133087832 23061154619178653 16527485310849928792
6486874234287217722 14466079945258185948 2962709419482306848
15517200317161609483 6204425296988747110 13101847316199397019
12927105044221498494 2512100075770069613 17491613830063072080
5893982755898813673 13227000656874980775 17865848911749514134
3899564582101886614 5537525650974619915 13334312614116319644
16416004781787146104 2640191453229304177 14842721550459518205
588281555075780126 4042199128197440247 11462461283159215891
17321726241507545945 1791286287030969906 8290145198596073164
4826276029254735090 1262206323166419229 11789996988946032956
8269103581619604563 8525717833758427824 618825083859103684
16752148412374524811 724477147324214162 9611820443150162411
10290533875416267396 1587351340863770516 9478984254131170799
15843981595459517609 14007071784334400731 12780913388020888878
16308196291072334670 16885070725216878869 8226774008861140520
10020360610311096000 10784048743595123635 16426302211699693849
620932015903203427 1256476846722361267 17443702980984888641
13398353809284177822 9474130139880807737 17651335283130486950
285875513577321038 14545089570218474389 14888096040525997745
1378234870586018602 12577127432051538228 10390501680466133706
13858257448984936173 2959882835678372644 12339559831034005186
5781853554324667348 13200226312636304287 4352184682622274346
5967940896432510528 12833782460529388888 16079709384880825308
12208845818233056664 8770033706115998667 15552419988120417233
7595338879325134250 5222157667165421630 10641392157841898609
2291123375464504616 17343068152584338672 12318609227577437520
18097225995207665893 13059593575099198968 13628213245959031536
15512673361421223243 6157189972444723279 8989681037694076671
12759207183649499536 11618626560215093727 8903400753966659117
17997297776448603926 12759076304886184053 17417302426108608804
935716636429324337 16861898818695258931 2543174394375159843
12125872992321995991 12014104493601453728 8705571546251222547
1447011065702989233 7322900558102650809 17682154343991766802
10602691415751806659 6094526176355470456 17981070579320224135
4077011890550027213 6727027959078445623 8779446596775757348
2606676918282787295 2979289246558197631 3798236569320553155
9241453771396399 3814484440879238132 12386025065765029911
13358388403650266258 8439841121126690831 3864868706160933985
4866639936333295681 18074201774487635236 16441720366604751425
4590762741622823345 5617018630766469794 5918198020934965316
5273791064826283498 18059035424211364716 15858165917265716607
12691149595423698902 15890236517686783668 18283877375719469930
7520484102790188855 6961342222658450232 16834768503327842088
13544334690913265516 18318628891116816749 1149669517795817402
16708507892842265129 13039769726995423113 16153804097485478769
11238074893175200175 10402778205493866610 3955560397375390314
14979349499121442408 15505778638996224073 8754870285159816707
1297191550600462054 10662747580960420832 14084831776334252024
13596694890336797851 13190641274848769699 12341654823534761204
1890149361318381992 1989933764040512113 15464361569155792185
15161615743461288413 4845078356587607057 9570914857105833566
9589746977980204722 7087590037852382985 7334329910390796069
9683760817180699136 4513007269103672731 543248835979427455
914520970238214788 4764452370664830929 9603299707224883790
15183316965376816654 5998350505751490470 8839391248244633565
8562724793730402588 6279472687641023294 17299074661512090056
8986509628458373294 10778502440607373991 13124175883970051826
7034005254371964777 16687466384096214871 16356022162388176222
17071041683327022066 4617422335883856746 15300224969487514186
1459535824024366412 14847688034950984820 12088224637560391012
6689345153910887734 3551480759848935172 12825775903590191082
801075784356994291 7678526389003069609 15670145963487609083
7142009310573160344 15218540036733915335 451996684570951035
10279575541039120318 7520282725566344528 18414396157075901134
4891138105100257558 15973039987930273965 16165110010389306230
9956791259959185688 8187446728533410283 6921538165265303443
11874610327464357799 7982939847171657765 17628173627921945326
11248560072590941912 6595815334084306248 11420497920922590416
16496067348594167686 1359994009206874559 7446344196986756712
13088061763039839982 9454450342660720220 9171929166535588137
17830053232710959858 950082568181178476 2071657859840797473
3658482621548067763 6965567527363360644 914672780147217136
303928090069148437 5674943720846037196 9861773942682170825
5566940521619624189 13569374559360986865 4209397203943114629
13337817476732112485 8474971179537493069 16358689811210277124
238729838974315826 15573461693931666003 7538240126251006724
14522532749417845180 14474534063366905682 11496271278405770560
18050561199430898988 3266023642760377824 11721308248293914165
5150603070079232468 11006878473542933365 7975318372620982152
7414972907311310103 6568142115209035149 8195548757813536344
4839856254050241002 6242728199523611681 1282129026973457892
13725742728181155505 13042406291346851553 7784678161480803977
8574765909557080643 3668202429347262895 4265636885009604567
14085978964089378023 4723259817501933063 16248234968194369308
16415834291222496111 5256653970710455827 6801997910000686358
16365030421868253067 15134608529047849019 16147287344037691084
11001248075510810049 17395832895461770461 143135596641936842
17435122594093174908 7282139080090119200 10262048405938202442
8150702987577795752 7215348095213615312 5924973672360625027
2266401599986904443 11738154073796870802 276950819776656115
7862870075896133601 9723902974417010388 16391721374217777905
2950840605317593480 5000292715107221365 5365091370355348591
4191144741701817908 9588467876882816493 6733973762961709099
7834939333571880141 551803408304653349 13552180146465717959
6427521342190755465 17051581114583294363 5981818688015281453
6945014890493909077 905387338143550524 5529720849503301328
2309416310481444811 3136648892926184875 4566454089845052484
6666158612374001534 2696514996214725071 8157662281958315876
9047152238676610461 1429426577263697998 14734841631473103597
12326473605624081006 5523736464458270954 12014682517102975799
4355697888423758651 11009426309729010697 5775387302631247188
1359350717475117943 12396915875312993699 179785686638575928
3081192345650198888 3926263301907160767 6498206534187165990
11483674275950554560 15635322300189688208 2447650137784670756
789745012782608175 2088990598183439950 3628419134037002261
10700375887135096267 5728156777122914254 1322965611917239837
3149773263908311067 13151546361002205945 9931947573081681700
10584528151383652813 15784867198226139320 12063110685014368297
16796679926389402380 1705683663919657639 7530506848328791065
7665127737438723337 18300742551446738568 8293532578758892727
5701787942322009724 15481658065976985534 7895165721540735321
9596422779761433670 2400366650496361431 17147901065697465810
13984872759866061518 5030835417548544316 17110930643066495536
5299505541515298928 9872049968849537098 4145010713329141735
11271127626725197838 7214560652385763061 12307798997972606165
9774231189541718376 622089657941003857 4168900879423588916
8423931523822970388 4077192810633882949 7403080158866895894
7555080610162954286 979641623540054991 7655961464314256633
15277517175579022355 1890760862542422392 13771996181348810709
4152466532039157982 12360525361222018808 6851274285891067146
3415247212374856725 6220086736705292309 1616471280027121556
6784992388538038520 17798273012966007028 13021754462126364509
14152344420252833222 16001160094836695511 17432089710075460872
10962743541509514180 6266372646630115270 8915445105367067315
13449660044185880414 10111751666042587254 4544706589530544444
16734524034812742888 14333693995998015278 5308167532250478838
17662102252375771289 7765487824206246509 18437862202040191667
11431563877638086767 8165078171617093861 13527965447560974353
10739900884088206778 4225774501623738437 7264745117925668347
12949743523850700478 17245753802105963896 1871420853678812493
1938557368312637470 5430551408415701079 12791811781252590262
6152422452549463076 10832771354474174141 7501837773362775728
3644065656487474628 10295408797867270490 13776301217773895706
5445613392982540910 10184779805950478067 17713540557251224906
12579762041977867913 10460043463017643702 4272346331513142204
15973315916603652281 8992177542012894528 10289039362356473381
5581560587641506231 14192803107098491321 17469840964445979070
5269495997428047007 6078348773590366231 10292753000504026313
9531998183153779249 1457498081354324637 9899651409620667185
14664621441300371400 9195713078136752920 319933924265187858
7735348308590510697 10691931759828483026 796181503040035739
16035052851386060440 10825651272347747622 1430520170543422462
3414233063107734346 14792015451638240916 658974871377658478
601011084774638009 16662873614925428668 4016048356359830849
8621932066243991181 3389660015345339102 14830017398482905047
4853790022319655064 7064571192740909402 4835861727755278152
3436239761561258507 3129791878098025840 10858322305085192388
1007584888376534587 9463406463140612505 12149168801271130437
16497604834997861582 4013902159971692675 6837014097343506247
7828858093398052934 15328296627738827870 337568757172948133
11637753776419277631 6310814162316928254 4524836635398692201
15874413079474789329 12195580771601715132 4865572344317322199
9065576904312060382 11735330696332155090 18087621234239802221
2301764732397087540 15142310335771919808 8352178529964713535
12643971207599714142 3731321508216528238 17773228443990883794
11243539383884518456 16320325209204888068 15934598898151044062
2631113982458648283 4539298198170227350 17922779592995587649
17016790330959287031 18272975322210143023 13571721261289880687
17196003242641213006 1878232160953136121 2466694956007281509
9514204656846164255 8528463016085739378 9333954223127468359
322670361351751715 6614971838065420218 12477793680053111056
6155318780215854615 15322710218787311715 16327894036266565924
17733656963183289420 10177513577493692692 11091591714485483075
16513549745477244543 12800370709608279268 13155038793256802430
13494929980818618553 2994957073579541271 11839062249334970322
2530334727341987755 18256464619656184952 6345079718462491370
14567657208913935776 17970633764890594215 13658762830538922139
12488026299992214999 6627482729713430540 2043312412758474188
11853943738396872022 2986972991799406471 6376960484133214328
15152317992977591004 1905128852135542094 1433387560338863041
2859218006508060180 13264862000693625125 6271637789608717957
3050312684454310317 13202438146633175044 2075867792328397240
10952300559731920550 9418813003534752623 16472545523332007876
6652832693103389324 3878167771312153109 10037368129490370733
4554212051631671230 3559446199081855537 18090084946781888136
6414999670167516408 10945724811064096879 10594245461209757744
13415731791757235757 16354390988224847236 2305855910533350232
10388002686784992833 9413429274491259282 8204752781585172516
13159828825885496822 10644474279960434841 11531785974991504439
3560672980460488310 15093519470566529629 14415184171452784745
17315259878839508988 17050928115539605866 16353765821017559749
108525591661179181 17386494362146416903 596784396655012454
5450292841364176768 9705160629133931724 17504527397891845904
18204621058368531175 8406094358432224175 334225799426995501
8608224644203924417 9230890394683576016 12112483592865393693
14904288267194123105 5132947334591850849 12601952476124597875
13202620053628856621 11926869669481158255 15054230464697324597
1171344689109938582 475521526375430309 3169780193642302775
13410258928058578330 7409773099284378456 13809613551780608409
11049014424839276761 2309480944890108896 16492558226747536239
15846571949450155962 14454803259626652173 4347529731163984726
2134096890827186667 7079587951950603159 9815903258161963735
2514998571968706895 17218932830984705190 6395512042549549846
2017711474843373986 17731535814240546320 14659496374135476810
3364194508644689782 6610971301739642023 9414535564668135916
13700346863822616392 10194231357604612814 15216523831804188013
10148438430127176112 5413181148223690257 1688357775921375037
16828635471497632055 17884395380478650939 2110658341493776529
7085205302498547133 3245195294980512961 13750456099328235356
9965770243856591902 1477278435097293202 10983505501814786262
2093227718944235690 15203943856108852113 13938737725151278719
15037550055986115466 3612022393593366592 6891550969343052219
8147770280431014333 17854394931093051245 7373232039621052809
4491265930630256762 13181929441116760108 3350941940932979053
12803703543796503807 13193307709865293136 6549851514154528985
14076153923790906847 8948192850813061257 10751819251457403662
12812358045876713735 1886973986785707137 4348977510778103334
5502600262400009527 17610321553068283714 9579921514526787854
2436736570409997550 16518823216680006913 15670419735405617371
14516931708502458172 4154092672697542373 863497956817161084
16431921382083697129 3107599092104940900 4055245506102959965
16096064917153424198 14429331498726837109 9539664361920633782
1435296568185387099 15922567183295047131 641988285517426228
15936274870984512675
init_by_array__________
9481935684383187250 556383642415148820 1995472269040096341
15795462032230094451 9101003408709621697 8028395869146403836
1069588782708933835 15581123687640870027 3331930000256134440
9208520365098629559 17628479726175259116 13827766569674985833
12853037160174280910 9859880182493371516 9140437926597093916
15401569382456018394 5184573941767092791 14840199053343128858
17213632981305418893 17190843567863072838 1779732698946713688
8288115637509956957 10657268304966553056 10025992330646481284
14698334974909483357 3849571311960290969 6938511708010571398
12902406444867347257 13763181273068552012 11781605987792593577
855446047323365954 18106241076943411662 16420749500496457925
15440255195870025326 16621117388974844742 11767919220181742029
3043417090357050519 11709240322411403788 14000592062637953250
3123961928067950047 6952713670861611708 10846381571972215208
172255573216759892 17015625391203078664 5989833697259372218
7760779133468122751 14065370265786640131 1047257059588359789
4338941901596222706 13352113934211933571 31785149898479184
11616420112912286236 17777482075253402777 16845204731572898944
6615931963254236341 335012571758996465 3603732006570950731
2477823285883432883 13259295424293873762 4877337102894554056
8078668567215006617 17737139597392865368 15579344888848380
8641733990165463575 15841970070779082008 10191622481315333539
1545377407313690304 5667367477206900758 11993337590406068794
18096379970892150546 5006882575028637510 18350724084939627069
2869044812928407383 3098202473520011514 5452192114471369131
16760278850001132112 7232651151733678180 2236621868944050493
18092692959849536163 9656901595018722031 9759893813464614836
9458314309005154481 4532571675759208999 11174825046081594685
1062322523951379594 1361255505028890711 3757328230910925591
17440134388190244542 2568638982965035487 13326229929893276191
13793272561067939065 13481790149839538004 15290005828905549198
12677119537561736320 9915999761345917299 13173430534965483156
3086112980883109884 18192287795116855450 1054394363255108350
12289033286191565365 15133393597298935882 11299581282554057166
13929795738350225192 13347777358669615006 5897163737151139223
9905428868878669303 704000236917990096 17050512753689118473
2185983039746201739 15888243390261964309 7957815330771433015
10503975285605746864 9098551901618678082 13887596298143982741
2655006149181650497 6766303316764131417 14263703948372613092
839911183646926952 17649348259070327936 18053382124079647463
3829256812650956781 5540824200128778873 6558339614142987305
5606946966669562244 18026773120509066868 7492082175691194205
996795524613115793 11666108188369390359 16880290653313037268
7388124660751985613 3068013435743547465 13256540708132724951
18243989051037181133 12202420160672647402 1798867280826427245
13050372430418804381 12856629838080937344 14128991967328297725
3317926423879252163 10066875515016979978 16795721541612051545
2816952317636004463 17147383685151525949 3641016526020473682
16114773770565415980 13225612403364199889 12443765800374635133
9410665567187933859 11373534934460182209 149315253858716668
14076320657845200866 11902801939749675174 3280058089990355506
2213123936672663711 13749974860127947070 9751323565629512318
18263539280402272711 9118381689820094940 11027848300885305691
14235232173017947568 4846210436530457409 8871366449093974846
9965397631539892056 6181860108342026175 13071837933816974127
4830996635379600458 2171819942580993130 3700406266241404358
16638547382219321266 17487453748983658404 17314959616595073415
1390662552527753066 4310075845627558908 5294523434233198045
9666914941925763674 16705650853359628853 16157364946659466800
3641657384805179826 12120668797465687596 9890009700502368229
1421860666660520527 11647652996933085884 17121338594401220575
7024363232516858601 10829939988870233628 8985644330991645408
12042814540671709197 608993728393788011 11127212187005142128
11439983071681272127 7219507514368130823 10766930494021180767
1280085187287844536 13700935955432976352 13852896487256699012
17530098614529207270 337916166476640718 17632019327476452938
7126927794118100777 9297567553798398773 1895498980434835578
17475155679192070811 17252143391805157076 5661163265820393998
18392986916625036509 10235786820052423406 17072200379988894178
12110812279527114961 15897658510095786672 17016568733028123505
10543735593757688898 1399583815430047383 7098962185566160919
442129593463516451 9353821099429702741 9883400407645226148
681439025167001062 16559817968493537879 16842864780079126725
18367367574084699383 8570415922192904191 669851425841818814
1471746229826827297 5104317082491039797 5521602996977283830
16229474159250948833 4213689495961960363 11031726637061888871
10385239901388421923 15145075441118180710 12531460584242486952
9300856683823029124 6298163115662617553 6202367299908874457
6821084141410433170 887950624493811238 12493897766176834744
18262997665685825934 5009208174915896353 5493877495425759783
3972591391757510271 15018373767293608029 939816322796162624
16869600574115196658 76525604136651761 1456772196834057724
8914543451669235604 12633329988991899843 8235316124081060568
12601805915102624260 91088147899667826 14396381650099222978
5465918038477238807 17253180000547236596 14554019933389887891
10123658964753731540 1911478563492079587 17988204473972890199
7162039456961233704 10126681500112619831 11529009691036867220
14331859464193752067 2069728559160839934 9730131240949856140
16860329152155504178 11464166710700427414 143031619717368334
2489948843079300102 10104229623171777763 11024278196040020680
7765579749506732041 10400619447189707438 14141086047437301827
13360887232794770353 12218937616623737190 7117103888617198492
10415119154425141963 1608585209676192790 8260576737124162161
1689226904052808917 7682162494189427399 12506586420081660678
14146941597815451184 6666038366743205175 16625424462988481465
15897448089239490383 16336193787176705140 11907923293912275629
18400569354083984641 6393947149546773121 11491583545691220168
3106804266518449135 517935981711742919 18422625502582272964
4822672351101883494 12785472957838953440 9560364981029665240
7616329712552747541 1959980558348127833 5874156582562736694
11873769994341741855 17508211778831793725 11322064953822852850
11845606290067325061 12604759520619619772 1223168734033741631
10870613316595199338 16228200076293232333 11033472024181354961
15755315138209773430 13769259486935394888 12215710665749962062
18289850352531574943 648008767403292177 6721205153088664512
15204279819461219156 9061089930739218968 17675115020150613620
8872652754680923438 13602823156988473962 5445995189262917369
10718765470353673115 16282525810563903719 11860166105687674058
18418386155573086987 11502216215632234109 13347776229894759407
2090474855908426928 10249871829801716319 14805533708208682194
3728695104438005171 8720539819051855749 7521173210297856200
16682450604721462041 9309894352300857981 15683337256972428505
17688105524469488005 1774434808702751846 4303590302923304048
3298349952197905448 13190335778002127089 8234128654338417254
7318300856708413703 17896500209861726979 17563456409236816674
7157871601699377150 479158742017516307 11945204472456305763
17902989556899725780 14354932703158626265 3070072553038079369
459863568484848922 6594986672147196049 16334852706186400206
10152511913869202068 13459152050402687569 5031339059825478209
3895297894516923161 5094916450353501030 6775658967368303024
1944808056792905839 16959147152278235667 6569532382830162948
6426100051368440137 9563195532357590211 12287330728981315895
14663873335148104870 15757170498762783826 14565627974139716776
15452459701262701728 2647446479236628513 17565564024598899001
17681477790288520656 4754336099472749473 3930197769182521777
8554991812770770346 7294767016182956389 11835093990630384459
7109523392308306531 2027318413561588679 5327643049022139235
1140770387257096197 11501002914024586223 11101636842606881682
15607754672813177081 11815745568531630874 4093507266778922756
12849689901479044914 8046808384029592461 4142777175718791542
11234401437581201819 1867989076475530136 18106587076892487203
2446594739625405227 4644793094505169852 14875143511365042484
16000065526574991623 3123042216854416203 7139469363088711185
10910821630717623814 4544936145010117303 6167544038585456240
2228638081854102137 11050081125907615027 16751644457297309507
3125642183625533214 6014823624702633739 8080992817082611395
15727851808216089011 9565759817809517241 16809615692566450628
3040823706338368778 12930007092981359514 1751427046972938306
16048496019388720864 7508994696414705698 11924090925352725736
2316458294138024349 8288770663842925163 10191948646061741889
1445661267391343150 12709366744681428763 15921461018409176662
10034199009948183838 628549032350925816 468112959622528216
3928618066787209812 10902019388200642212 13200968940919496832
12664368447782641056 17627383653550052171 2188534206406828298
11567929791225765802 5612569391629529142 12286578900985332535
9187626778552322584 13674683029530132975 16968919643538966660
16184431481222126805 12364778516097043883 9162045683690425590
2867717885716622534 9955555547735837831 5996295288331751411
9603464777840386512 9585864490940771735 61398923060888317
13570269639320640524 16417507795561967621 8999142575206991601
6368217524108461701 9312171400821135542 10908412086074041551
13177442293809838874 17274011554181091249 8438580028441449029
102015801944489151 11205302990361335489 10708144125005251326
7799665789003514183 496735492453794871 7022269814324608226
18102661000702432928 11191012569881957561 5980034513979643457
17206004104864755197 1273881786227548490 16936595455129459166
3267687948097280422 12771317717041501709 15555138917744623828
4378711075750250356 15629715389989599774 5939677409293505588
11490370675530712252 15955563956325615727 10959560462117591937
5375090308963543680 12591815379649386986 15242901545517042454
697948111931800905 4584221609419650697 5401157073945157925
11768258341929362420 6523723356411618801 2899951761798528522
7162670086774914115 10663047713282657141 9217900658591169482
14414342545950329540 17136777237779735301 4123442206029135803
14840844772202911621 3333507278809337986 3904616384743541507
9734096564293996473 14974245227267925646 18337192290888757123
9464162681135359581 5858234195892063232 5374559668097425847
5808522103807126919 7168547048520454391 4294569573458608967
18391824955261391968 12949554540622205292 6918122098666173918
8570201850134606640 6465787027473603163 4322363191106502400
429470857392115025 17126855034363309203 891466897055384755
12208594977818692769 9649465297138471582 12631651319750178454
12607265855843323234 16764196955470942175 4998434820624224170
4267846993564767462 11207747971719396590 15932375122550673721
8493271118738214545 12850698931696939814 1478710829609722977
4228407554304452345 8956196082577133557 14638490524377223825
1976015595448007947 14039028538450914344 16278319695340569919
3197219604376083839 4735266448983523763 7831551894512290745
12114900470374755443 9870506904324038179 6783551429827582026
7187035479988734654 11057086313172926923 6844579369889138340
17070464687665510615 3360715308239364457 6388112332234765776
14884261141705381020 1948622384968896149 11466642868888525954
13583605547335163140 3805368248578092674 9734243880887330473
886799735318279143 6419587724782347606 13842530760562743104
11647756760632217213 4212420527874774005 8017377702818826595
5938485616806502254 6937181424575109676 13262538912539386003
17103372519154400499 8318681390580625549 10732941637137481284
10663319456639424395 4622683932376019773 9291201543009280842
17255383326233713486 5709257759600834676 8012315803856998727
11859037551105803572 10379825040158478571 5897527302893423230
5556900065917345439 12426917271694642355 6279637995606900517
5188861532123969459 2461093568972168952 14173405968640413827
17484038364400591655 16226641867480953168 3353399451591435924
17457068207573376066 2480966656783873170 16604307190425874031
319606939402967746 9278009113813421646 16812596151152716942
7184170179606686551 8085296125307046905 11542195332608506111
694904134212318867 521216556812108780 12456389428772695856
2892706926394316418 13533265923544413582 7077954314255347190
15811577200701838371 1922265849021372549 14060148226379959083
9146156508551117953 5599895605846360748 10620675784574245982
1597587443448790904 9385944435089708221 8941015707724422873
14178100117888827918 9146517192090877220 9088058769630153398
4552685964478762014 17713675581089689701 9516896912953651738
6233447131961772797 5304176703569519893 16103209520603085275
17164206654064355036 1194313755428062574 6058929635274413142
4873736112600336554 10938798595597427429 2852396139126072612
1736617716108012492 12006146678916189166 1007651450457451962
12094069348482235224 427101557309036903 9627493059065708274
11278094087015527445 15641719981724587366 18124359002700416170
4913760350835110242 1831446902981399207 4206057123741510096
1342593170748688945 15911022595108884281 5524802101564895467
14654289462384233679 690914626695615369 17371382665106479567
11681116967380353988 17122708875329039610 11787511191318503450
7816999048958562981 4135103365933961637 13812758533030513887
9986430541968184923 6665648731830201689 3218744720283822340
16352907906790227753 1044734654014915633 894110629819276865
11247675720964865150 12699534742832989726 14089788188304449789
7652181549104491143 5899939458481134006 15346278494065754161
9899063378560653768 12706234375983096458 5275668358363978456
10059097178144291271 7947018313435295566 1552369686617972576
4532767707539628275 13931942957395747236 12274705112726728480
7008061190743501925 17284187914088580764 10642457071470020212
13445119176578051163 10369471344909416260 4479948969460702849
15072696761970994302 14627201855142336229 14067348476819180728
1665470981795290568 8906991533327995372 13693502148448387242
10616205561814438828 10167688785455101808 920610940059412035
8615773379032315682 13774006454943040967 1613679034403857089
5596220547837090943 1255213829499609710 10766637103800010385
2081141465151160839 8493467148670665667 16145121424371846701
458748310724651401 10970071762393443922 9081516435332264624
13022633754027520891 3100897615369459533 14137056932061053079
14272670987666635235 7709373828199193513 9887767075163547257
3724855442029288937 15065499914537752099 7179554379965857469
9588416439786003598 540831520574519297 9251316101251687146
10918125267184182397 2739392022873625110 16822033940914444362
4594806547246364982 7206263295345613065 2883322944198830002
18281433724670737515 10107828924349301535 5356377732719810914
6294002561734613907 15238889769922350627 5843359297375021175
9415939440458468305 13506686077317123656 357887014732648302
15218308053973421263 6399957270078558919 16486023535124709605
16592792371471209746 17930953040485786367 4298642983345207318
5128673218588715593 6635446501910344331 2486354225526076237
1632173111903014809 10234494423633412421 365196731630118105
6387967927509889869 8833131914355670713 785417118913676261
8846111565223796283 10402589701349918119 9484408286878305547
10209733784931089202 3418911747611132677 5242375571982434541
14528493475519752507 14127531091979650244 6074884859858151673
17431135995633941590 7945829685262662503 12414442166549950547
3714041223039023018 16548080791727874432 3489251077149550951
6555110680372705779 16970270353487129847 13441327284874292382
9623814698384471277 17381656670856052870 15430828757601288222
11875076524551797687 4644634689021109722 8066136600094100981
13973490481599327136 12141307485941656568 2208033990804065886
14524457055053009543 1606323035108906110 7666365833740805057
11762837884261096308 15004172454926107615 6724727398397914190
5597865961726110363 8122401614830962205 15190095260210669793
12175815189713185282 14899032334852752232 6299475263522273931
12126947236395964050 5507577273203429572 7683969801589991139
14221633703888271472 6285928491891464630 17852452708727468644
9168273156762325925 13007176239019181410 8916509863452101034
5678533756466421901 194345906570148945 4105552902596161824
1635872817432158325 10344231536942582919 15055091564585513389
13396139910013640808 7049501679750599602 5368721002488773255
137988538709009461 16150903884134230287 6971709356099943543
14408654566832212607 11978207406002844994 4995530522216569229
3954786179166655823 8709389429179632422 3211161978452924052
6904927790698713642 1273992214411482128 5464021724051673866
1866636149274172697 12758301277015898795 6426117005928411023
17809503460708604933 6552000665650969671 8497346799459344650
6103155831389913235 7970366794825209102 7622470909055121202
17115905644925859918 14251077832500128604 17343172533371549538
17666982465069020707 4961386829379105181 5354469476013481709
5630516438007259857 6880718873342860303 8052851818550362850
8165200455355699332 15477715616379007780 10255741404025077864
11842192184734067261 16903675321589997224 8050871947420219747
14201197188955969042 11753806291605770681 9711610986798278317
6705151084837908454 3389580769590825087 11355649831707135062
9555233496852881635 15770969895222046528 14085213049199382165
13991011674799563820 18130747920065197805 9437258089691918942
5856215169872799066 7846062680766312702 11893816483416554684
7427731825323744439 2820932412568372510 3906659335719373277
12844943217453358805 15904885128446837754 14105319540700655427
11057166898268544277 3597773042438358451 13924036731767732777
11310317706915163549 8426166062609969494 2981658713788322115
4345921861520713234 6406189483914600488 10300265289593501772
409030079416662238 16940401403476358192 12797559996837144592
15764403421608193654 3663888161118408469 6054954326062149059
2115568486791497898 3616809404461515986 8821761834115108903
17196629647673876646 17129483756296152883 11955384599149122813
13682592505578151636 15162337142809408365 1094724360936548006
1772306366922223559 12559506631128244197 7506216387613906692
3224835517398940456 308134802759342650 10332590070906134992
4362916480175618587 11059866398026432049 7395065601555530516
14960084933035252932 12047106234587841448 8410591370924773086
17364795488850766977 13872299200612416310 13254257948178467901
4789686901144487016 4625909404188578188 14401801398514789079
5988834508826618693 6082026571057251274 12469911618706602295
18357381333317164307 2969026104065508771 6401873778979065741
16966919956054290075 7095793809325400293 9112846909010082327
3190836844174496103 12440023196843190039 4280215977296992212
8653060040784452902 12074433947747406819 3401850950262318710
2190959216439677967 4867719722994200728 7597519621166840336
3711528519781517443 2336918983477886740 8987540659615661828
4351736951347306701 13649089272361217467 17178862628396166906
13008932929353529496 17602669088548357068 11311894279888611854
17526065429061628950 13153353638873726658 6350053480714977670
1601682774188806777 301860688901449961 3234790255357177992
771013523168952026 13545915182185300816 2169564776400990182
16554670359557706681 5422204450023618420 15154768913863302340
12519150729665504626 12877645056651268367 12892652777820441837
971283853485758842 11261283035563000938 6983058608694417901
12911782796119948584 3089783109445411295 12043109688740697182
12115981302905139922 14804804817070824705 10600018073330096725
18271406406236890053 11137363956394230 18252606812274919213
9927804840430516062 2564654077114938607 11386227799189992833
12169781020055012333 3822835336207632438 414710040777713841
17595870836437444866 9354133990779984604 8771793417388458846
18109076249684993324 11084628082254178245 12653565181519340537
9189191168727793172 5199221079137243824 4259255572199637677
10717401692879610007 11237142255710852183 6746652389458455260
6717352869992583428 17783533141887050953 9706061330319677983
11503306926784005988 4469363515750925552 707654990091564702
13769601442490649252 1390612693778212512 18354021850792453398
15310439289420306758 16056021657205946865 8856310198005176085
14223682558108040821 2999980995069462167 16807340692090596357
14848439854892906173 2357455583160588702 10046971138950305411
12636342957423150218 5096415511544525383 5958672488546264125
6869239884222039870 14391904500898467735 3748893705407951737
16221765430538473392 15048475679399860181 10992898548635101066
5200421659331098649 3165315352224702565 6455043825102347039
4456042771197828331 8570270206078412321 17399780931581060329
1613647280977036519 11104311820284252312 11162291798549204456
453070462627239007 10705802857557954475 15002159175033142143
633937058088086819