-
Notifications
You must be signed in to change notification settings - Fork 21
/
SFMT.216091.64.out.txt
672 lines (672 loc) · 41.8 KB
/
SFMT.216091.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-216091:627-11-3-10-1:bff7bff7-bfffffff-bffffa7f-ffddfbfb
64 bit generated randoms
init_gen_rand__________
8838442148931866564 1945500481627781753 9382364440016647694
11709972419180773400 15581366131621881915 15134859189269930832
14448206895511872722 1892462183405251566 6055966248566426396
1939485372260438050 2883323088114726903 17855530699830140708
7264109000358348976 10542101681538711972 5989479766246587224
757683870750891620 6521599511670964249 10015045245642466282
12600337681933392941 8894608777291027975 17214942802790872889
6761948442734276124 123827193027395960 3704661762528957241
3317684782695545952 10427182137221081394 7653843409335145525
1408649866633497457 5568316593797229092 3871925285069324637
7548143848171507380 445863033299851645 12582312393841145730
16386811632239271994 5221442094213478531 9475347085665773438
9804123211492847906 11481714657804450150 16097011631306464960
17464704212091619517 4096051665748121750 12025845644098650859
14501345397801689747 11717076751467550131 9510117171226790884
11296651963591681086 9096577013033378418 1011119195742664352
1974409659669849537 14510429196280043799 12845365137490413497
5669735890868496905 6755909660586369222 11421611313058117920
3277293673461589906 11019280124562263183 8354715108666909298
10550535938688737609 8445529010200691087 17141129490251741145
9913401099226455147 510963383198059396 11210653391699537052
5789177282630757019 13097145685374625107 5361017944479347092
14019957200451188380 13812758360412946036 10673587288670038905
8527725078844370883 14841608013242782020 9799228473607027757
2249671625454188843 10859218304406329743 3142153490126253687
300945806936224095 16014744684721518342 18171928372556966252
7590591177913810583 15593421629578757545 1863296348605149542
14299526194468600140 1318422868818064810 15000101973597816690
10674223777137473977 16628817269064561079 16303645182067268688
3254899692010983264 6101135368169132307 13415574946223004331
5499759576428244522 2613253836454452459 1163553606786812259
8889057341221993322 11806284460035037445 9539172424727634081
878656539813435934 829563766809779036 6277643367078798517
9810662673419786407 10162572833756468132 3829899247843708698
17019053893175696409 5802816131089868801 8744138505310864886
3098375614173284393 4526306703608888330 8205561797558584151
7930364824459498388 6742768230350471981 12193213720261449745
6061797804441864697 1118664726301344570 5090603907170782477
16095954807936026360 13971041326548262294 11061054597940398793
16525076093361646152 18212641864627104360 4382486969661607796
4212584817141559604 16911396622433868429 1018731898469559265
4623150524747821699 116546986659227776 5272481324343193408
9574319644852413270 178294536719160814 9691839620737433667
15981852128267117952 9066866778361293461 8653663423312130959
2028853804789744673 2381393328496078638 3825162847160541261
1888948666945564925 13362760513185398781 9909154903953552977
16209081813036237866 17683118876014546268 13114062986903040844
15870499164209515745 1543985172588474184 6200095193769241597
6971351134971919515 14360995839468631820 16989526694768716458
6102695866690533792 7625443067944265225 6219486826895040763
13447464765468327326 378750607786557512 461991884689174680
4549334622153036675 6150242190180752012 2400965088174066075
17367338360386994222 9642427637491833800 11103196713761769960
9013288915932382427 668109680795305464 13456874309646822158
10128928592901062353 1753552725714313676 2562043561272206661
18255934910312908500 16233000325283388000 17625594031023995601
18085605430500544158 2816688474404488975 13566962888149062356
14852752289160012765 3090075701298921111 12316246763242032101
16798841984790257307 10220674798506929129 432990390697313012
5653855643044131852 12030905065219008778 15732502240612302652
3027420578968307017 912242239783235391 9885389369940951157
9090012976248026247 4456202127865550427 12022540121935945247
5690177668583082585 5356714058960819894 16460044876548610518
5209787267193004537 4881225111508582334 8855698953501646194
6239182409434671372 9794363843887476444 13301950936501331643
10250145504141843186 2103241518034915091 2726179346462734470
13945099872030152843 2005407609831954589 1550271107254755246
1786358788368436881 13996907762215967980 17837357693063418641
1477236823240083502 12153333011323136088 3473207817931875725
6414002445682963329 12699666543160058083 430265035071189024
6170271797796171879 11210765280527011596 15560798492482103153
8511816332440596224 9306044384198072852 883656260612839735
13873223881078402857 711630165982466639 3446249825800304883
17531592806427678678 8681429819937699589 10487399934672122077
13354435709792596397 3469940343259483313 6591269690219667236
17438785012069970695 17957588251660036755 6217500606138512647
5693753301307064553 13102092736308628846 4866435040368673667
14326804703059108707 15168003383157602787 8260741561345097474
9740208060932176221 8637263554944159200 7109289035321616900
4130667188221929390 12305223133585757047 5701758448635164451
8987203820796083255 2837497449796148845 9053822957719093077
16896430381011865375 11843156407568553575 9267054809981873856
9403095244915100245 7408991851643488705 7392924820497920956
10808486821712160381 3340072653459497550 13461572240041260894
10108270420564579568 7905978066539909925 9541765568639217125
15258391183210248730 9295591223908383929 4772034516511770676
4917085467175369587 2503308066661081126 5113967249903192148
13725692500000441658 10454492083590458198 12641411919495306955
6170103239536982597 10257326798822186200 9910864531262366328
18276247165434684164 17133049027779893334 12626825770258595715
1917271150388369762 16877913994725064519 9604260518033604056
3506709092627612952 6379775673185417586 13490131868201534104
4876332356731807095 7439336643008652512 10634481956506711135
1276648205209009976 5762106697141333044 8339150553513392559
10914105903221538551 18334639775387211766 12044707287140523567
17197540281374480218 2304398553885623935 15148923612647418134
10322436350608614001 4718229051490160548 6613991347500348995
11074070645892327166 13532979396443865318 15091415626541648806
12141330471076799454 2114966139096421210 3409777785561866010
17806232113247202811 1496730948439036891 14531303644932794588
5046243476774277775 7244228000401940928 10320546665019506461
9773854758959845881 3309766145746191679 4519892790779112494
13689473012438327462 9578933884164149277 11792331583188304375
13105218507816530279 16109285367199454036 10389904099648651661
15051582909656316939 12353530472939056176 12532655862470279090
16534725073308235873 18405021995937289534 12462342187935060737
7342183804649782976 2826289127745931901 18031582722376980069
94762039972132795 15646098822838636395 14557631052133498495
11214275130214116386 6442027331802942323 9515740936478644252
14803658290797948602 5027996710938349329 13231188589069430181
6071667466103360188 2812869805658788313 9922205574931479523
15206547659209944957 15110102140393279673 15761998701715033376
8898574783021814346 5724864526829321158 7169620011624567425
1517740348619610859 1098944359812496634 3415923447237207401
7756195783842942033 5092330072439517600 12682851011526135533
915505471591740548 5428612976157346117 9444200950908743474
2392806853709832030 8992481003602649897 15652898723238088194
2185553511210227718 12536649117429287528 8294475090164595223
681061032694654332 1883770153863263832 861173763478456955
14028901717714073993 9926621306556523531 10681658679816179066
8787818375337998940 11239980252344486840 2346158175471905164
8569190229654651687 10360178218458857780 7031933678861194439
1545672582171125556 4143046991632830971 5557088462421449918
729303531422651858 15012680876940038892 12775211754758064551
17111924705382374281 11466955877528508323 12126842464902680849
18313088031515147153 18119129141362272212 2669492635339983385
1027847741826075115 14069946003808887566 17881667962651039709
14349147563662132904 11360565522007941094 14133537289269111939
17269247686050251686 16827249559183492512 13995582865738987069
8755720816003949876 15562138825259128954 3722336880186679396
2831719582574834978 12222860750673548292 2093690709167046098
329517598665811630 16678663652992527784 15319123574584394241
10818300638865011341 8888502605964418419 5498200239262637949
1754235669743897467 4798194657494158054 11826600218912128162
635615583259659888 16384173460936902059 8412358725804707673
3121818322725929847 8725484596682400161 7519994745547989648
5816073000434217579 16970309232903877989 14834294194600594308
778639188642536705 977807413136481688 5513492001477393500
17236188662009450501 16235059607210227015 1742298975984253664
16631441449464457852 14007376697832946537 12247418319939112355
6437051684213212358 5367257118145644954 17482485827142998824
2887202344610360066 17904688587570331776 11208247990395333405
10515016051008731293 8026278524068143110 11565932352155226063
15514052940970836992 18340453382172226235 12247854071078748942
3354056928792307735 10682770080722907908 4861257842628090525
5173211623766122300 11690563789014943556 5908123878900414838
4805569727800759680 4190022285662002700 8807454400731058551
7821159610658151687 12689279783419702615 10951148050045333807
6359854384971764222 15758114637595081307 266786911245455340
14853058215430791233 2168675502238851814 14198126752895508441
5635917087599770519 13007740993530973169 11241494197017796549
3327567824273984110 2007686974549462563 4001067073994150759
8315797318955155111 2058403302108454691 8015435068320471979
2255759420603231244 16513152793332650191 4024779025769199623
3918347125192671727 13918326279614687644 16240899575455084336
6802515869066078486 13021401349872837842 1051342316826046848
12709484997278500451 14377846213883559266 4599821770406996597
16840227394573978444 2537320751101154455 5538861470395167871
8579176500245174430 17928262052785068303 10578845518181121768
14064472812532429729 17205529770079941939 1103481330925229826
1795949334142315352 13033330659610651085 2180450779769245619
825561247806813856 4608851465458714947 6271015821042638652
3656733185135602386 2274967357600853462 82231230039522867
1055132267376853899 18221274493531104482 11354887108066344749
9381169003198802390 2155074001911960611 5251372485374586934
12910242435960445779 634232466006931522 13883244126869917785
778398228918305610 10831044545498512810 17597553684551483001
11938492484213105670 12928207767736243067 4939682882664110237
15489543203500381872 18361414787609489378 1779457751217381484
11713491318057360708 1914466756291062899 6499218134918542694
5624818873301059162 6459445583595581484 8142488896544081457
6569007669928464434 13409830991442231028 13775763607606902518
1247675878135089597 3162741779663097521 14068250294008188888
4038534282604296533 718829339230564880 9030733520975324030
7211740470450592121 15710168921271776906 14317489583713993097
10626016306470590889 981882523142827670 11321859113274160866
2565938191164559730 4057620646790495611 11769658023547060010
5347220599649751181 6123029297240068168 8079693071887968666
1101860085551534544 2002695040834020461 14402371121077814836
479638304520012549 794487076434239959 3902749876270671181
14988947755692386409 10045952477613871278 2649187866552001995
6655385608486055999 2672757603285399710 2809206262493016981
6782192320812211428 17343031482426620451 2245308274302526609
8083004265614533297 11749305501641109795 13583120199378385514
11255991847061827661 12517967359888499171 15616265540152829486
6394282286716479539 6255488385614576415 12876575653301211532
8206374505132127303 15569894593233529524 17932760694642900000
11348362988333036412 15396649088140347157 3451067965753054069
13374521452836651132 9572226584917023339 2662042049346631437
18126306881895549342 7484022585216603129 11351916954223806899
2096681283714594316 8991975232795071956 17786613873391428466
7375711199853564736 815313772015696796 15555442481275491197
17307966859668486367 15173606475014851415 6749631553255309981
11221777974606996504 16156856838330915245 932497524295759664
17945574339105262708 10759864056741291921 415258637057464705
11301657913530491454 6590076516868238262 10909709052110404471
8886591404581510888 8896308746101421528 5649839607622239554
6949732472848907197 7543815045020490760 13648507355245547759
8481728124613514727 1616679007973093039 18299487920204189083
8220774265216865701 12678057282339847180 12982436981519115293
3409365964131665800 2372867298779651258 3455555298229180051
10492358561042858734 17137010444473773665 9952137001851630320
12270140167378122551 15145048198296955467 266456365326359396
10895356942169227810 2977585182459902856 724171560467082631
1474671139619456180 8231321956598978539 5064214096379556418
13120867908217362776 6750410180979200432 2959557489226899706
15071079884250063999 17692366798506722185 7819945883691067071
11450782078067098478 9205976316559766477 13556906810895078405
3594129847041548638 15236111987766134216 3610284610103631671
1967517078680547417 10424560175202553709 1362978907671054141
9525203089072077565 17292560035139887039 6019409623033220153
12362376155791760541 8955552317250289532 4264534585148245332
16014103095411329058 6746665079113973792 2863214934402871463
5925087393186416221 16897063964087885166 13073754024063776330
7133799992062601680 17125296618144259533 16892555186333237763
1438936815746991058 12263931812453619763 773232595389405391
1364322286926513688 1820012856476360208 12173593025984979421
986988796872743479 7951499440738560130 15751350825149076865
12445436920978981325 15857155682775992887 15661517406270824572
511309580607795392 9795939914841284252 7894891548781998368
11496345621838906413 18287134286562226812 17897315569036420422
464144616441656199 14265833020136877515 5817100961333644215
15899665262990592181 17225105822296081543 16214179362517371323
15765042428469898194 9542296210258868604 1452572561115646352
8047341047831872826 12894304733458185461 18342956454953235434
10714910332994606613 3450999567194997281 430744247591867013
8361590477840148010 16111365269605685672 15480090739617390658
12034883546065624730 6677826033375736846 6926882356327413986
161154413530067505 17392096648413773946 3706725815630016013
14946244233196750383 8297209531901226473 16112025173084130968
602473915461536833 526188453976415096 5206711231834737766
16351422994638032390 1149985933094153175 8402387567669575248
6063598017965567389 10421990524581899286 7764356423002310217
5770127025387790162 9113327157225529934 8919236724693635596
13381772687555858570 12144450281656074982 10278515552821661220
16076958900652652361 16337401040223771148 14331047508863904761
17770138279828604633 10075682029148906763 5259245394436533662
16546432094292957492 13228775633210218093 5319198398411202072
5420825652798101862 5480733795682636370 1447755522161577616
16976618397726087592 6458637638189014769 7549467957816861737
8001074941449224910 13277774969624832183 5223289942879364312
752690651859789332 17348262349143320861 13073441567363123402
17465097166822755609 11911234964010646328 6774041218319618661
9506584118218659184 9829130563501807683 6487583265887370636
12869695046909386738 15627192256022025856 8086265705393763605
13798906230875394396 6761528941422627438 6503518952590052760
10231831629364046139 10615455540612763388 9712858059689212364
13452681211386367581 18045787007059862322 10468421991922427640
5786317093286275802 18331023938484731096 13318805428990071692
11337391783811483699 9221827490184436956 17232124797215024030
3064068521404971064 9868251102373196089 3487356539467085380
3441856022222505112 11885624705418649775 8838005770233090060
13045809764196047461 11849897970460009668 17637602504718598433
11612220949943174914 4041679118848161985 1414239888275808291
6929497500517891553 17524397876295858883 18031421840000605086
5769394235109191884 3526116063087490006 6431783189448512352
15869065294669246000 1006245774192592166 9145519143403008294
1300685866739548330 8347264862946482875 6288291091824952176
8080655057890550121 13361281573355683099 18103426063640566589
12947060903349237500 7522610642849466544 9789764837533609255
4504453680438804499 7902343166783013802 102897750970858447
5087839047352267392 3216431121564981832 16789358816187843785
11151409274133159948 6731619465692069921 11392376783553953617
4098406396687280374 5615356370575173744 16781599654197114186
16053267423857671159 16525311477553347458 10338807308623820155
6376736701782473611 5682464481901318341 1302506920941780516
5534322048999694136 13603410618561558584 275406989716657031
9862009296945040566 813626779631507313 4158273738921285546
10478114201632360235 17320165180585750681 8266156364188318885
2752645766671273445 14361498872469926137 10313508358250753913
2322832996090056960 15303940829673161668 848328851503681906
16950363501403796748 11156217835855908082 15682678629282698877
5479674453611967049 13449017889384540492 2554152780180493049
16520912812559123439 127550316753307424 2947344505619967316
11306888631754799234 9827296552363085306 18179259189537359210
9479656112195417902 10696172285145694963 604709195231215208
8310320068579483030 14027388650131747704 10844472091978352976
5856842318488464906 3953318221130081890 17038382184054534506
16992955488618586159 4939609145596233677 2536699454061442991
11914051680279489566 15343751827524444363 15543737188801851872
15948336941063663731 13062435441863976684 1788635138819438021
18171857354053327358 17918367535827841518 10856426980044436912
722928704291455928 12101136107463227215 1348612363745386291
10054553737664473818 2621167204288753831 3887659655840208944
7586360630054384560 1857623355981441501 12750409040869305644
4068608407655569397 16959657798757181447 9331794801385900831
13892503251179567148 17899226764276987573 3771207394078137566
15200943834029448446 5173757726067724127 5139882692942881579
2277164640794434972 14169619137051317061 919527839139158953
5260637144484361474 10722815200664139803 6859683790143037511
6606986284010424551 5583862903679338049 10734083012683029288
4336818371186425303 3929966245165333531 14732937889768536799
11481870790907364157 7080184331623820561 7685384254792062133
3795669356199970875 17435026477210991647 6613973745521284020
17610237020593313333 11156313794934672604 4049895224467107033
12654106244779272396 3974818560745797859 14362527117163097813
286236927016067445 9052613565815566673 10828713987968082039
5782642168732911316 12361234077959229766 7396639019785691548
7573016086364963340 1436594958721237111 10787713008290445718
1940567414314959336 13929911769990991383 5834128941185150274
6361535890528232684 10069580458480927405 15822692588741008240
9535272189775797060 12010878740764230585 7003652345423000653
1370860053381348179 12263140935043126471 7802539586923264964
203269031297556817 8167806361892541964 10715221603729484039
12013185575604364365 7885176003132267612 14646772146222973982
5305958130804288663 2997905783573165259 8420974226715528219
4042498802119199456 14379428236140707214 2209122566384188766
6699861079363250211 166093385660581628 7490183437784066770
5092658131720588486 7391230324275820913 13479369873072271331
1382666293761212813 4627857221596145059 15347821841695533057
3875814442280662039 12053247184379522832 6996324468320498064
8626527272896021635 7359029297685020746 5249992127624979086
10420389798020599901 7023670595577727642 12371762752406986680
16044209584679332060 1993950900233239653 13107983582654141854
13868886798380106891 4921377803522986265 1587786650254225472
11497806526376087833 3661798149621271245 17959565270788652390
13017610746870891712 13731270076570234945 8473228511868938856
5967915526558615356 488819560285232051 3823517096917096644
13307790895373560291 7241334829534092394 8371785516198602515
11357206622823586187 682526434679355807 6383182918391463280
8092267676602125188 18219432110160762352 6761230305687838426
17179062870003832022 2152219056282958637 2132739414109576401
16924947051332847971 10041799106859786985 10624838362834812045
3808592110011543951 9735513775646396292 1284633161255805207
9427734334058558539 11234888940508360175 10024240560678114637
10844379332135988974 9226614244412237638 4751156002513556132
99216428706972899 14374705087631436296 9746623374717933996
3898645918801089270 8022917084827487180 9248937194586416580
12499111830406450612 7597913863963920566 7434267997954492813
2813737834558705088 16639820553550566915 833120273148556129
11322404276387828766 9653391575000195546 1767839622905368464
1690838241348740821 817628268513271254 15111277786569319196
15817118810543358764 5639001693408668083 9959854003669400568
13675983279642398887
init_by_array__________
14576161598344661627 7331533283996064765 8573645526845649513
2594347596827693718 15994460281681913653 7116911651353631143
1106065516688876030 9555544524080900565 893978376038249720
1847446280324818895 1533909519837715464 7715348555637703025
3488876634102494198 7815168393609350754 13174554113923682242
4431956057640930108 6671058850126494143 14800990658540452525
2701548204238851374 12296070696813599094 15693001397897412159
4467509280471269549 15654563049649830635 17992175100478233212
9909170906840196846 1975348800844056337 15338920552127676308
5513659801962482957 14863237190433013736 16665422890543796202
2185747441196960831 13688627435721446039 15447421373065549896
1041972182624474492 6929705919364555725 11112339302300795055
10101051786211845722 5795738075593665089 10212470311663317793
7504824924024537216 3135518836351661324 2360747348959251862
17294164188727532831 174391489162575781 9565422022515818064
9858330975506041817 11449881038187104765 10965911453786716824
545957283453917754 6880074460434138998 17268501885416767613
9697935366669591296 3471730675693508943 13808141521057645607
11789064513431214041 1487263428278095615 16313923679858296961
12397889614390250354 7481364390057121180 17045313021619344254
4674800175095859546 3299535709451295622 7417017169227685035
8847716335469222745 9668423552224349141 10540699554812539055
5474069430832532944 3632424982293850360 837362947481695646
15289420295436261917 5369714294886828952 3868282733282650270
10981317738840562597 2141494784807320511 15707982638494755512
2986334661425500660 9836967714732655103 17663273544545726479
10907873802098068871 1970945215308943461 12601922641734771778
16544550118834594344 10569207779762629978 14412812543725378515
17697669675983771833 9325991778089422838 16650683933069025970
16032503713918722056 6963776268227430106 13878272708442632770
2167744545668819646 4211126160447287884 5081873161702883377
3753288467098397617 7170809862316307255 5187216309668485648
15650436135921695140 3552158337714614837 4455257103886162939
611424646632265586 17766265368617476847 16220573779103831533
810116914892316508 17188935597694479894 17501610285784150566
12951966168817973804 13456259577485994892 17387420880524462177
9819246552696160309 1494648373605796536 2235653814357741424
16469911021838152239 4591430638854188894 7754573963464287948
12086024507375700389 1740570646298849380 5717992386993132397
15340082642027815098 5577722337201599710 10093968100448036515
17349336864861053796 11990862614216997066 18242213518686116772
13849621301236096953 4100112088792728256 577232514447375231
11498304847855141841 3648118574906776987 10399172676706737587
202136856900771576 6455940165896424270 7547842640742019918
13052289334277369770 3634058724479280809 9534338896230036082
2641199265323414969 11125082451987634928 13744559786155746034
4393229280205137399 7987718651031196231 2745719799961839085
15972093852130827650 12083628701305148489 795542843322462086
8706801055730083619 12435724707971584553 2668480713857661722
16369233459642605824 477866681099811943 12368374633343308385
2967688259504521614 12923093019304540628 4755533588016376811
247229815184324550 17174156981481821057 9226875613241746403
17116355558730283072 6258890279502424983 9180416688024902519
13084178331963387811 5793162506091122740 17992522420065363443
15478276074992958147 9887890998608521043 4116085610700797665
10734936713933092751 11387110795646442265 16262640257915898856
6080646974942014207 14332392202088472688 14843494581343462995
16240082278505692042 8163300409153176520 5318694275306628556
9629282640219024669 14523011234286583702 2341353898964197258
5263490499917923653 11895479145835854616 1082473180423467352
1572167148348209814 4232953533133178051 15385953808554876520
3214637872254117667 18178257685886881874 17835088390180701177
11881824773795038800 9172070702588894063 396245028974434702
12945466586182209155 12722257572365400748 5706288607213663037
17799946053840461633 10555677615811168253 14874227336268462027
17330277697585554584 10889012772198206782 13262098711390186463
16129308869524916920 13584270729321044315 3540794601822708791
8143904590298864678 3354395904632641360 3261132011487870523
10191062426574076992 3790303462583890113 7696912720914603752
186198667689302801 13684160821855850463 1383167008925040833
17310007209451108679 17589136553577894193 17887110033007342191
3921755342183070011 515324399502044105 8116221134359304697
5671514496176355540 163569797498565697 10278552038170673539
857432087846444431 5552585610039296277 5571145761071865792
10924650023953812881 15121064178706064597 2824715065824378670
6310773459435048699 7364389492625515425 1739706258765353443
17436141635404200063 10783798879998283471 8160214062798027300
16318080913025625039 5155374837230799457 7863588479145573293
7271159421429242221 650998951000927302 998595833417440786
3232628753213060044 750102393111892916 6465748131641681294
1213581177907388600 11863708287280871684 8095211857015653339
15351485044870827930 9440242259663824167 18361929113162138478
10964015667340136391 3527038884403474518 327009024549179966
11441337458636170353 18417243392068119271 11766871830552795417
4863713010294635689 4374528879099226057 3337803212369744827
2185261885388787074 13461383377716704125 17251315293403506995
12349518638168834922 8868900969214363559 13154261851060181232
312972179686080236 17184544754305998363 9258714096070597805
6648274789022108859 5156678154908530442 14158504121198982138
11429654476809692387 16401638012997930963 835379686692671420
6045013237716791375 11994613860806510357 12254794911377125976
9214928644529106933 6140714761612488705 5292032501935426406
156633923265502576 14725927179416643740 10579113177511200308
6512729993641632077 10224452277215396252 16037966974277360190
12252372781618432343 15548270367298862112 6136103487430995889
10521027466778802016 6879234543588596181 496105913693421042
14254041043676049156 7915218078960743875 17932439267435954384
11442850841890610692 17790148630696506919 2968035820307356078
5756992137886210243 3374358539854453631 17197000881804954221
8987791944220420588 12726937546016225090 14504010129302955723
942759843736941786 16126295065037304704 9036081012050150736
14190518325312572571 4551319818781561071 16927225301719675497
5637576004627780661 507846812170383749 16791231100948848852
7269805605053020637 11317759569563677763 3361740684782872239
17743998013111318113 4074894406747570427 7173976354521249645
16740358624247397001 6440983518608040711 11564706791950383922
15590940951613228522 8058307009164832115 7972348171702518032
15739402132003370835 3136558449357459265 6276377198318664627
14607770689119693149 9048850221361575374 5699144514395193460
9610605328725027541 6127883230927243527 17255125970666624804
5326143004526763937 4319631720200976585 169703515379309564
12289959245516447780 15282580831198780570 15706773806990359194
998669768109321830 5440248841906567017 16159236401195172604
14651485168425648945 15264513671712545700 5931390804924053255
5634178006253271690 5544263108746749667 6980277087041733715
346098631317392588 13356687884323424960 7787537592139517285
10455056905018047568 15377026741166869313 10033899404832528495
440615637391684006 9198213449407439851 11201336340033483835
15960133025433178109 2940614878984250902 9457703651268348952
15550256951120481137 8113108935471227452 2758684155854925989
12857770118977759153 5973295557047255339 14725978588180344316
1874409225059699593 13069032324243000715 2376914082967896793
5588577586673613746 1531274021146273147 11257390606758850554
1184967408349047385 10227428231037416356 1492157585046403009
9235136543498124344 10247904108869200723 10631339031791453891
12367326787331660277 18091168803338757658 376719021696260196
16719078755035910796 17918309379576942563 13866665045071168603
1818625706565499802 16435737539331047553 15746605163577668281
5961706417659124394 8832534451889805822 3492254859284247654
9188061653884958554 11024854568611855918 2844582244796334245
4081042455311668274 11800506086843713386 12480697378967794372
9965441677752089040 7882521647162564329 4064267861381052310
6601060842225763201 17237915908784969768 1354010028753454338
5293241699362987235 12031183734761421263 8813880586126184384
528155562525428910 4581619698891377353 16851251557512296544
8863914686878738126 967703819968725760 12497804032418799840
10187289102274029819 12456342304912743643 13094945330892246697
16693935351921767484 11365263413853948828 2114532140808055081
16187488118030861505 8156652902312952980 10804129024003511366
7991816937834663151 16097854762026694828 10616306813293705902
2490491165589957292 7480386810566164731 15803747884894293733
1602199175899350663 7291349180705149282 17945035949503431021
7856619888199414607 17584016575716405042 1780298719386672836
6753910191829595871 11711758033452992065 16963724984403574579
16383458142256777876 18015514217451188847 17664944501466796779
6495464940757394674 10178198864923285109 1958223277055701872
11894750786520836542 9290371332948477677 5694010364891647007
5130018738046424870 13330158137341283482 1316772544542300374
9071638526684915005 8291282499797446512 11891600309168476517
8050675670646666660 6596807520077086858 8145840310324061680
1138323376695449043 5195094276321104169 10625765083179249111
8070235934674299698 16169794869352752303 6035474363292126254
1597136449171522290 933342378545116713 3798636947732176509
17772881098403493582 2621994819053005173 1431334000531440043
2396144136631855730 10335215544888403954 13745169155051881786
17445428658697016568 523184025514205258 992753455988875344
4635821301864623241 12580160916511719874 6627572392195294549
13105198644447375086 10468623249942692428 2184312909943291678
6767473395545732127 14980044628136763783 8094191740181200549
15889760599079269619 12671570139395388825 17329445164623259659
14931233219376483590 5537961311127080824 13365705710196090536
3798696003035111898 17490792297599988170 7963744914791164988
17712892798406776913 1540010062639304243 2627253919003738607
16416022237068678359 10223673416166892571 16585383011160210237
4997498538920357736 3546354411738300998 14803258470086297524
14176632786717264540 12759458658458534169 11235378232113809396
13242632784085030959 16871750847227112308 9665865533568588988
5408643649358871714 5912089021209363838 3807041088936020576
663861762541857435 8184620110027864219 10497004446211566748
3301085917285734097 15823386286484978662 3028147512091365295
13937306971252626229 3774600549637986176 9588914116508045293
2476550652879570090 1907336350634817103 1400314406175268315
15320841353604107543 16817608814550102968 14202871717712345614
7168885827313026170 4437030739362184223 1501676413233962577
12961451135922872161 12862743477505779341 11469150551201525924
18211945388839162032 7958237926646854905 13603178597792630459
17367113464550856835 17930938489967048319 12451999418725265808
17272461973428277712 16278418118695009530 11014100253757278554
9100767753548264888 12862898446994489790 4629435028923205080
3896805701891293638 9907127929734712379 10238887702563031708
11190757006327356602 4295510061630122224 3527297675552411555
6851901828610776961 3383698118054765020 10646034147165566705
961025145047451958 15812456591826509825 11097152020847066024
14957649425189776413 2163166752864317073 2561873366956204170
9134965499505691679 7692158868577432619 12382204916886818526
5889810635192359986 14086027505407424549 10515262315185471216
488496820708674715 11961683712915476423 5059974021077177963
1542506039444223831 6885397486079021213 18026897337450456150
13270518023570057520 11824050511704392416 9034841968564608116
11014368303359768642 10989642344443675997 12158972968854064875
3851666513814975201 9881846487995024665 3789727236761010067
2734155499686609785 2580438067357463854 13933760570596811400
8574616311113045061 6090114340033102686 9493440613028406195
15811644251190953684 2268323225856413319 3048964110104744956
16870861028647561373 6076328407551745242 2595971671034036251
13794659183252908575 11796348902004993768 17574703803930937616
3576690318018733452 8612100670632025808 3315490495799904446
9904703700667738981 13076758181526121437 14423409147020877322
10693285869929342828 172521020590652430 2627458473200091786
11236593931290217616 9978093927484968452 4202790732245826455
13538092209930319383 8176954731248516848 3972108227392302648
10351792108725676949 5877602452213710458 7160252787584121519
4265099974163071700 13128166201544284865 10612643548792004225
5508402776228042634 7902842073376041107 9067201337217437653
7234607229203886192 7627557700050957403 14738646158315923444
11250981287302368663 3416044161936791754 8202109196901807743
3108786004306685363 544036257158602237 4196657961898307799
10158980548661131399 17846773647844584512 17350267788146644089
14102982136182034986 2922710511321772540 6333611834526948063
3854341151461140594 9406341223752366399 8431308858693757109
11789912568394334041 11014588471282168447 8375606597980892522
11489623087216190434 16714697475677546626 6934377185320467286
7938319622674812922 11759789659878036358 6668465788443097202
15303295488750698062 16184087641788946446 3943693444212558705
6646921119860079613 2544375771167598346 779119522658465713
104539468040995740 7748329734704753397 5418681580201823931
6004209036712125775 16957363120832131839 16336338583860171473
11288462995362276770 14586020746287236898 14975081948875248317
13895574033439088529 10546134447306024970 963492019158361031
7766401018034249703 10284140822502393564 1913973916212578730
8654885428595687470 10056657769833313444 4709637362840133983
14200620359207590867 6449622450001633298 7429372004082180805
3795219762555598970 17143781342075226197 810199492904473900
3584287413774876796 4328714252468580635 2055014520256449818
14163501293883901247 15492487617030461285 422984961180005815
7045536614393795737 3549053256248131493 6528255738786057267
3571416263372751592 4925950680822455179 1737387237303422162
1689176648605630306 4262555186133229567 18293855065576676882
408212300389010739 15036898453686203374 7514693877192835225
18000132160367088037 6421350698833146411 2994232284581978837
4636426344312775212 25206839755793140 13113852016041001607
16618765363457901223 4300084077243842888 8579478695805720506
12538828332005995906 1747278159048182002 16265927915010458936
18143778554723445275 9925151152507502119 17229651924935807669
6917335378354311597 9238566291721059576 1140773365770856800
6531064991283415945 12627877364319216152 13633551269781774161
7550836617995364265 6756673624347320198 4851148310333957289
12613105800805569016 18268359265983694351 11893466318316366210
15855744840656523038 11945828047075441143 4976699801957965535
15233350546605135942 8412732820673805731 12769208324128784803
6048292835434546422 1743872975458166465 6796538827118107129
13488052064735323685 9366022633252503312 12820876627557891121
12701161550939862637 16035574641527677318 1166229600843806503
13266330811415382612 1758714592408596058 9666389034740374157
16144761594230511230 14191549174367464028 2104384562508321135
5907185699796760533 1283339873001303783 14918619158292980816
13037428916644873799 10351957989833982150 6918416453887648798
11837772422103288031 2076225601654364698 8938563716210465274
7802278394519796494 15853565694934776919 5650887660054801481
4831763275791091053 15189239378580686308 11069765745019378638
14948603576780615709 17908110454153291670 3474506718397233047
13887255640316062175 501484695530266088 8812967898564879046
6116217418086786202 15079651311068775480 10602451202690366058
17732267553961471337 13380857434568431529 2899783191793021368
2529762064737831787 7033865869897733354 18307614792536734900
11792344396585147165 16034395815262202738 5216390939303942814
13762112868651472715 1940788133296706250 9870332985292939443
18281646912711249278 7229527625318666360 2573569036619289558
10468031324748285158 14700831426476921470 17558439645886163516
3873833376074550814 11692859472832675923 11557772271416906096
5113007009748374507 7490101121221281670 9175189179014516615
16505756599100857504 14225358433942750501 7420138255310834751
13567896359347939785 16547991320841428778 4095516996275088162
17286461850213747575 13279381109861195946 11964442981227874224
5330116147113091728 9902028008184655766 18031865944389226227
2225448745888508340 8798927467520694199 16774833242084188624
3219142333934791184 11627614169605541114 9899208390549309342
14041256668859077843 4727335369405185250 4852220557324690085
10930555028531691400 5942875619041354456 11094144144285667140
6122669506345995345 11155335002543912132 13002980938101024536
16528252429033102365 2623603720813604462 4232315866162148223
11137139210503738423 14017508093412559904 1279127942215593467
1412707098141653478 10762870007685078423 15928123075532828929
12123384187548585838 1434717972874305346 6761327122809893548
4782108363111942045 10758986059856993290 17722337468109503556
15637533155972873711 14286057532296345340 1775200533439206415
416929322623021845 3806287787015863932 14579338192366272060
15018410410214460833 14335783817115064869 16133205936967246586
1929217856524424060 571702121696585680 18147617726890355161
11141249152550305451 14312794925318058860 14482892936480484372
13540551369592231439 17894718897603052851 11800945256094556597
16243350568023321183 18319592415022772702 7760658378352904215
13805609913759108336 3489202571868142107 12892622443842403603
4244513786574181480 12248451247891434691 11175646933390146411
14864549003454815928 11579413615731612398 16247205161888368902
1006055177540319541 9945629605293837485 7247184404615375185
12196064912265450709 10814532306148787593 1352742778178073099
2845243765531982433 633364719544958784 14510261896243133051
11215627281306498466 12612209890525220378 3746237544162082225
6642041849584003129 12649367299599470321 2365615455321662209
12181239243486589931 1734397399217458771 5919397300826017351
13843432386817332534 16798413972463372692 5396348002762179605
17547087663792730888 1668119442542893944 9354583454594992572
1255538011274027487 16979256281764370275 3605919065496119832
18354719252650579510 6601118588810594806 4371616702788402506
16029643519137962309 3057568553601931131 12267999621057125028
14732274554067881752 187300017101257443 11213973430159895530
4710189493187598128 16390721016263226803 6563268504489742548
14450239929779663790 2911952288201419091 8887291990032549533
10329801235170620217 13669354964934961943 3673024738709383674
449054472074130204 6295574321808465799 9407415430415467102
7048276990730370633 11619648808142308 2298816597849098294
15145416181280005120 18251114604348875947 17665471521531479195
17264978871125576071 1253592911941421539 2752818593234469311
7549821977733977793 17844701362032235420 9489259700948320271
9353641057919362111 5269576409276329341 6482158121831036822
14297233166405671375 15817707235961766200 7427585347226104325
14739659695069919695 12288229513913721861 11772704977381666278
1181064489429227731 17706711239822330920 6875290321704647667
917017890858199127 7904252107177706914 16573193453015284768
1431388075692080809 3083830036663136118 1135340383607640084
6208764782204578478 3557235749948720135 11902684971478745308
1804710868227598997 14472112521975235650 4998047649151070851
10605115047177067798 13688738013040623928 2814869222240660714
16407879002604439963 3162736257605002168 7207379490856125474
293197794387562186 5161127542765043336 13461664362843892067
11216676149800823872 7805022320979387431 13326466216471958250
116181127043969455 15317517536018007915 12253007796447079905
13260218069462741804 2451634289968696622 14063828491649982935
1462523087173330743 11868688137502394713 11293658830194337289
15330899106633359480 17917110276316354579 9916190803589961677
15583205132127539008 199420081640538952 845188695575235271
10348028851609654850 7297752129283803668 1463787254871694631
4348180204838788521 16751449712675519039 3281977528248075310
5925136376298408266 3227163877607693351 469022285998598854
16946084179334001694 9533489147899400952 2053585423771517936
2301121025460878220 10318544252791935622 6994456247101834458
3668425580013476548 1653349840465190989 4737546316831245180
6496820338438369346 4653985647277246377 10064795886392134293
574492091520143119 2081434525623258973 14359809184585037945
5927058313481839479 5635641125576006134 2715267808866793552
3662629754252975265 2607296031764524756 11786841767940894135
17301567146617726921 3846853616803103885 1005273153641087637
5968817717494337114