-
Notifications
You must be signed in to change notification settings - Fork 0
/
witness.json
8215 lines (8215 loc) · 392 KB
/
witness.json
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
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
[
"1",
"0",
"306845423937114702604354499644741670745",
"1373446734609233393811066276484679687334044956209",
"281571370616079535932056900071184574686",
"321196111147736815898224992597889712520",
"8750637479307834043908622094094933883421252327535515457889749221792017984777",
"56124615155183671769646770533161679893",
"218326970899483631877459576413455089795",
"21652229209894468584441435320056425451625750763803523727030723780063742629418",
"52062175991764000464811911028325534222",
"308793996087219908550599696449490751721",
"134257031062735442888681831522495144303",
"8112728444998241536123054636308403230394015130482007056694576317355072927832",
"4657112615823965347131658845218272536335159596669619205408659156798469088478",
"10590828490731987628828790696080526883999495290558920788964517818055606171074",
"1",
"1",
"1",
"1",
"0",
"0",
"0",
"1",
"1",
"1",
"0",
"0",
"1",
"1",
"0",
"1",
"0",
"0",
"1",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"1",
"1",
"1",
"0",
"1",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"1",
"1",
"1",
"1",
"1",
"0",
"1",
"1",
"1",
"0",
"1",
"0",
"1",
"0",
"1",
"1",
"1",
"1",
"0",
"1",
"0",
"0",
"1",
"0",
"0",
"0",
"1",
"1",
"1",
"0",
"0",
"0",
"1",
"1",
"1",
"1",
"0",
"0",
"1",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"1",
"0",
"0",
"0",
"0",
"0",
"1",
"1",
"1",
"0",
"1",
"0",
"0",
"1",
"0",
"1",
"1",
"1",
"0",
"1",
"0",
"1",
"0",
"1",
"1",
"0",
"1",
"0",
"1",
"0",
"1",
"1",
"0",
"1",
"1",
"1",
"1",
"0",
"0",
"1",
"1",
"1",
"1",
"1",
"0",
"0",
"0",
"0",
"1",
"1",
"1",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"0",
"1",
"1",
"1",
"0",
"0",
"0",
"1",
"1",
"0",
"0",
"0",
"0",
"1",
"1",
"1",
"0",
"0",
"0",
"1",
"1",
"1",
"0",
"0",
"1",
"0",
"0",
"1",
"0",
"1",
"1",
"0",
"0",
"0",
"1",
"1",
"0",
"1",
"1",
"0",
"0",
"0",
"0",
"1",
"0",
"1",
"0",
"1",
"1",
"0",
"1",
"0",
"1",
"0",
"1",
"0",
"0",
"1",
"0",
"1",
"1",
"0",
"1",
"0",
"1",
"1",
"0",
"0",
"1",
"0",
"1",
"0",
"0",
"0",
"0",
"1",
"0",
"1",
"1",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"1",
"0",
"1",
"1",
"0",
"0",
"1",
"1",
"1",
"0",
"1",
"0",
"1",
"0",
"0",
"1",
"1",
"1",
"1",
"0",
"1",
"1",
"1",
"0",
"1",
"0",
"0",
"0",
"0",
"1",
"0",
"1",
"0",
"1",
"0",
"0",
"0",
"1",
"0",
"0",
"0",
"1",
"1",
"0",
"1",
"1",
"0",
"1",
"0",
"0",
"1",
"1",
"0",
"0",
"0",
"1",
"1",
"1",
"1",
"1",
"0",
"0",
"0",
"1",
"0",
"1",
"0",
"1",
"1",
"1",
"1",
"1",
"1",
"1",
"1",
"0",
"0",
"1",
"0",
"0",
"1",
"0",
"0",
"1",
"1",
"1",
"1",
"1",
"0",
"1",
"0",
"1",
"1",
"0",
"0",
"0",
"0",
"1",
"1",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"1",
"1",
"0",
"1",
"0",
"0",
"1",
"1",
"1",
"0",
"0",
"1",
"1",
"0",
"1",
"1",
"0",
"0",
"1",
"0",
"0",
"1",
"1",
"1",
"1",
"1",
"1",
"0",
"1",
"0",
"1",
"1",
"0",
"1",
"1",
"0",
"1",
"1",
"0",
"0",
"1",
"1",
"0",
"0",
"0",
"1",
"1",
"0",
"1",
"1",
"1",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"1",
"0",
"1",
"0",
"1",
"1",
"1",
"0",
"0",
"1",
"0",
"1",
"1",
"0",
"0",
"1",
"0",
"1",
"1",
"1",
"0",
"1",
"1",
"1",
"0",
"1",
"0",
"0",
"1",
"0",
"0",
"1",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"0",
"1",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"1",
"1",
"1",
"0",
"0",
"1",
"1",
"1",
"0",
"1",
"0",
"0",
"0",
"0",
"0",
"0",
"1",
"0",
"1",
"1",
"1",
"1",
"0",
"0",
"1",
"1",
"0",
"1",
"1",
"0",
"0",
"0",
"1",
"1",
"0",
"0",
"0",
"0",
"1",
"1",
"0",
"1",
"1",
"1",
"0",
"1",
"1",
"0",
"0",
"0",
"1",
"1",
"0",
"1",
"0",
"1",
"0",
"0",
"0",
"1",
"1",
"0",
"0",
"1",
"1",
"0",
"0",
"0",
"0",
"1",
"0",
"0",
"1",
"1",
"14247078522238938840253790478700046872152393687165646899441457423168549210830",
"17487505840720594709788001042923727977440265344224689410742334620253158604788",
"14606131146687563593201887812411598986085518590662668530678332223831476292966",
"18446706546794652269066524485571580552419327164209441305396814952792663585310",
"7055217401809645892102351065641791089196726965829594229516463778711167487463",
"14833025470029629330144054679615483999351637434586440114181740407864641008154",
"0",
"6272620276926304003284744801543699191891215763637870417754382535388009375883",
"2186601309743264351150189125528984196321354184812149184445868163779446235113",
"2186601309743264351150189125528984196321354184812149184445868163779446235113",
"0",
"16009587496143738494615506445862890504414109453324698414516745158305966197664",
"9683639420550038597647425308038415012666228698231821253440665316407382912941",
"6110413561147568790626766901824167200982081016911078779163877220134546830744",
"19682524408854078964450960484842702633735661489761204676406328659981791759240",
"13834913410336610756108713373303835205681462514733164537678417865935452454257",
"8053329461502664466137692371953439882866901885682869806019786320640356041360",
"0",
"15779941378382722462163280999691508127122423372093256398456962543216261308171",
"19267627245939769089866549407583990722041074449724308880305184344079348736385",
"7493285243575890851352600330077139988710445440550454276916284140861096482449",
"1833648664391662895741971796528553956602715866580631797249506627297527692735",
"19685684632467766762206635400532409457660113392909488247840973011379396349779",
"2202558239371508460039770344724865630888251007506546095857231175196412145838",
"0",
"16518522045851125853376515630619902468793307205218352118179475322925163553242",
"8096649476619980982706390038286755161309021521930722373108319435114904448784",
"3703690437448087390912418050111526774243145001271867212407573514010066102225",
"6370671404254796128251326137041514805178015966071232796252502672834330040802",
"21758833932120048829579881097710756705742456685705336600517049760768037433437",
"21758833932120048829579881097710756705742456685705336600517049760768037433437",
"0",
"5754162529894323315034041787315405228818189272515626747663249792428830372941",
"4175209043938860543394444047619438990446840473795427273839924550269192149476",
"2638472109153348003799281886529352711773051379753149601168113313187914664783",
"9169273707930321555223729405101685735765383364260575760990334070404459286297",
"727843269909475339744033941383940832011571904270859061655512063113603890066",
"21160399601929799882502371803873334256536792496145175282042692123462204605551",
"0",
"2035335213608582119907568268518752051026141576629893144174130147170212389913",
"7591216096991460488909894502140382751812851569662773103037642271066494893103",
"11619786973820529074289538784310188942171904148282468933698187499329100484002",
"7480414698730146231502375397927347897869377947583205943131245359061516919650",
"10174166667235544733842695964759660892712035994001448639625202811307328861782",
"11714076204603730488403709780497614195836328406414585704073001375268479633835",
"0",
"17649328421455796521131771398155183939012259419301475587959101045176265650060",
"4158758522009401659726603901879734512564895361456967511001842600594583106923",
"5741019342423708494311704620406619106314688133725418441907932890834108857340",
"3720471005981164011166942930114708593584902533510009523931095476086010076133",
"13428587187573715397666365434597898509114486095594959078060616311969915587289",
"13428587187573715397666365434597898509114486095594959078060616311969915587289",
"0",
"15741612759389625187350360127990752781483343870536750883647777478861579934155",
"6235553966149709953468951103065259666882781542942499722597506876705752390987",
"14901458096563495723511122522486325789564877306552487941561312431314979354282",
"16523304354690241911001408063087578642328688751428633524920015058520273168320",
"14846720765374834041501251009604307335384750745523574625217778563034376709199",
"14846720765374834041501251009604307335384750745523574625217778563034376709199",
"1",
"10269031178051532045120540434433356585265031895425670282991878852593902740949",
"16023737404313745015179430108934284471538704938118152743787571087823219389333",
"10582026854756877874156362708076371995652234539849973924189837930887975675372",
"7494306128341627200241397850860056792917353039029330735071599142339417967869",
"3743914896068549454612269658172506834488775761203369555983850334568014605004",
"3743914896068549454612269658172506834488775761203369555983850334568014605004",
"0",
"12280426447509248198855153625066795019803977969182899300996647649110121015297",
"13624223855405430565641519289871517668703066077299555569832852816547347381912",
"14091291475164202748463930634826718331562089349221760633671398590314543013077",
"14227399838839892749854348463677547152057095649385943394207724574629268900981",
"17440416095071850111356240941413269705225415218313874036518854032704969627094",
"17440416095071850111356240941413269705225415218313874036518854032704969627094",
"0",
"1859533157635042219784435363558125924636110316608256713296800077628514007518",
"11885376044646662560297103284579565732964410927889810606509932079308182156434",
"20621750794214889522366517500245842980935511297957966653121804444144450957040",
"17482160438935870304375539164620828026683160818242214801868047737780534880474",
"270151019955464956512140640283863938234124998036199975309983797878312222140",
"21618091851883810265734265104973411150314239402379834368388220388697496273477",
"0",
"16445333260222472009174013781779937172097201025689848087385478808268556446805",
"12787169870200220586435149342721953148625737446750711651888380502186781216565",
"3281315211746328883970794700987892078424941157733888693763395498431041562163",
"21387051076945598174770188879105739005381252651177993925644506956120899251534",
"5872642332728047068287623177885661862348074130934004356348145927720246904464",
"16015600539111228153958782567371613226200290269482029987350058258855561591153",
"0",
"17669379535736140890250914285347511933237250794290740591267487376555992693775",
"6118448362767061169262867186803810834720189643998734502912523498121543488864",
"3492895757639031615583146715586121234046728406939139231284941796290252945484",
"8007940887380723065708797942962422269255036395762414988074154196447429486942",
"9716368425059276822540149638456268765266833805761000212730856019537656927574",
"12171874446779998399706256106801006323281530594655034130967348167038151568043",
"1",
"9227528377947745274528212144564789502355948344602911786666834243551236700553",
"18093614682162838893418704385782883864693398553885586708240659282780094626239",
"3238611353097542042745026892029667317389156371054013978986998384165238461012",
"11658806537876231210430195643609050263492878421469336154699670150793585246490",
"19724349469357113619514100838892175710222686095243694648226544411419994605431",
"2163893402482161602732304906365099378325678305172339695471659775155813890186",
"1",
"12235759189808141602788527307595537420583863447447209305660347620726566628649",
"5039597289119267102728094624113477487219189167811743789527757379077588857078",
"7401397509511431578842860159444810778498921371457406609312132778202065479807",
"5784473979086575287731306059340638411142467501135901915616230953929257416072",
"11133151943146891559238953403529318062821312001279183805938900496533622193749",
"11133151943146891559238953403529318062821312001279183805938900496533622193749",
"0",
"10719921371455319479027479461180892271956437102696824412730078099857110515683",
"14886277082408761943923355694791414214321069670940175991528818165825015665654",
"20600449326684495534979044385373877517577674719062121848353307073005051511194",
"11722214316053963940685268906553794735737667891047238096159645037796093309797",
"449614603286662733455230744679553844340519153750990876624778875502945232511",
"449614603286662733455230744679553844340519153750990876624778875502945232511",
"1",
"7648372051024857924824636556459465515298749082709258143052511094116982985817",
"1499637322245676669223388516224800753139948219971249156562369128226616231816",
"19474511120299694552430914262318228907608291915461041294261307264715648043700",
"17461082323623860993218474035157303205211141924893486589026898771042336455241",
"8364411979215697290337208720052880791319417239494642137174331264289646481609",
"13523830892623577931909197025204394297228947160921392206523872922286162014008",
"0",
"7663589521262104399689140185678191359586488789416995455060898881960731579768",
"7456209912241400070451664247324147376915297694816766154761927983126588786284",
"6946680294327360735458987689156090878177732262466896194973897820881865315718",
"17210217530915610398614836314305079072638080405297119469077765878219423375200",
"10687095835680842282119211939761744902077222998997121155829764901247265664656",
"10687095835680842282119211939761744902077222998997121155829764901247265664656",
"0",
"16327925009742467596263391747859534533029101663658299240753789985516980655809",
"21045730010390228808230334216324043447381957567379252980481853274760062051235",
"9773708919982584150640352819789787608957531515592260408667090687919215383802",
"4571099286096760029081288435813889943069661563656797668341178776344106814092",
"13956779342567560005829268998267800296255312590515198614819723941925637998160",
"7931463529271715216417136746989474792293051809900835728878480244650170497457",
"0",
"7694696558663313480817945108528978495985176185231656470097678664149444272560",
"8392585467579718778005530170120943895895626692062604779082941086903724223311",
"16325571577253309908811285491174911526385041743607755485834585814455943619705",
"6552981807974145776262563609144260739977571210713041660884875034724745910936",
"11185258854301788082063307512949234654264572963744518140529128928740418731759",
"10702984017537487140183098232308040434283791436671516203169075257835389763858",
"0",
"13477661000694187920334854161960762075073534948153716106493449312128181060931",
"2656821134550858602886889484602577496945651960791955560336182277184845961529",
"16233850142217662801218206605285970911253705393111791617684532605062371963158",
"5733302475480572969147294503028003079388179475487860726586249785843188806400",
"2091803530423282187866537231557833363342352471300881730214141991239707693332",
"2091803530423282187866537231557833363342352471300881730214141991239707693332",
"1",
"16159340306540011233936692729926267758026159100343109716306547709104866408464",
"13655405023342680321413302827517488170377390650324475726291671209942664496339",
"6301467495019165250970153509668937826100783538883002910786501069619752578846",
"3476293841458082378404077067788379720353909725803631774825270351494366019378",
"3861903642680323295857095496640023393867018823329538820235626867188772658064",
"18026339229158951926389310248617251694681345577086495523462577319387035837553",
"0",
"16566627048881971119515208417199482246721017300657734438687945545731021784084",
"1201166902716282781570791698597587898340400157701083895410522020522714084673",
"1439627478846141964124392304149050448251699087133281695609268863523243534883",
"10559989789839157092630688602520251370087195156931897438007776170712518559188",
"5326429558331193166225435800666251424491718705935624034728597460142787128298",
"5326429558331193166225435800666251424491718705935624034728597460142787128298",
"1",
"3493982537184141499302687882818012079540013482853919869960459770527061844031",
"21336003890938606144617989901989888320179921859788890078707789704617650050596",
"16953830473278219147219761527918083161073891573507995677085821851386493834973",
"9993977036359302133151696422322861672142789696207876514569089308243014994141",
"13003702830129600237647230411301427465500513772458735663717650890633423812134",
"13003702830129600237647230411301427465500513772458735663717650890633423812134",
"0",
"10232924570191891894638757931390926578353709819407725683657038145386218386736",
"8838653944539930852260854251872199809732000372662569575295517874109623747767",
"5743596180763351680917845176772177596484452037435143524519301576943900162856",
"5328695440348569856531257395415158864273307779077538102139357290908348059185",
"12127789962542509667440504718593561342228753257908625802757891554901235299844",
"12127789962542509667440504718593561342228753257908625802757891554901235299844",
"1",
"13644862210029732748146017779045762909470963894947326122793546156095667456859",
"11736422881903127217726881121343298770305928240420016104370130756725301038702",
"15512472275200758563227646214500870582855136727930095135706551740767609240810",
"19850204058500331201875075234558946421667127058395130326617041616666510831903",
"12086416390839061730273536926344945677157778309524843898063255565265003322133",
"9801826481000213491972868818912329411390586090891190445634948621310805173484",
"1",
"15556141854657894850504102494079733962157049249098226337415055367747927162719",
"13660387282876027884227797463841671063982557253841554788077966768423753265676",
"17799631870085407278246986950851547438779724653567362622027992272077901895906",
"7439282816568963635668681650336595878657500040332239568285775942273895340534",
"367738783453008668935447399601884674426924333413785897053458504378678457992",
"21520504088386266553310958345655390414121440067002248446644745682197130037625",
"0",
"306351941725586138262629435428859645223823272332163060805061906266613809306",
"18835903180558680504120855395504936744859454713236359267782355921279469539426",
"2471303833711408203535149905040847566602441900129386909365567441292614912364",
"21704372430397697643824561384924976138603897157443173104926096026952883642411",
"3472876057692882605596432880526399657202546031894391808635246263463528406817",
"18415366814146392616649972864730875431345818368521642535062957923112280088800",
"0",
"1652005826003678081364140947907010811756168329800420798624972985355911043771",
"14805734342180357546381820127424834759155420032958410673118296287259736528325",
"16743817585324554538040728047196504884359939342836660606808622169059987082616",
"303208660660788034908731256574651332110313231468900308502160340766562390976",
"13566724628652357483898190531922536383036709051895692970160539809124171568524",
"13566724628652357483898190531922536383036709051895692970160539809124171568524",
"0",
"9428021343580617844833478570000383596263621695212479432761047004991560181956",
"17458720726079743177384958814189328881304483843136755704749574571298582777193",
"10446176482266672271560295482534873878711248727636369271529141013548138160754",
"6177832852891036450672949739581517467094031890437918594597615941086924724663",
"14783597475740726489889666866760305540299671887619922954936585197351473981132",
"14783597475740726489889666866760305540299671887619922954936585197351473981132",
"1",
"9664136814411036045576613342552260322048103112686572228621142285055885727395",
"6272039632009496593964701197731360578714157699794680104316877357995299891428",
"12316284842567407212825443006515733726341232439125298104411978237417217281463",
"15570722914792238645129189119603070851151670449706720684864855135514053897078",
"18369370859672196547043094198189779082644415593162204980482464650332772173041",
"18369370859672196547043094198189779082644415593162204980482464650332772173041",
"0",
"11124876582990098448707083724684849255503730882816420964927757855249865212906",
"11648470288105276024900600893196808995365882688634209584400398973973182323116",
"21631997824095716474169165717880921034630513004373473250531602161090498310992",
"14313143783113555327340272776332005920500824780078907721280467615951276835987",
"20684755643843747797651863687230502782717927523682821018869589204084700550678",
"1203487227995527424594542058026772305830436876733213324828614982491107944939",
"0",
"8466558381470320664050993881042890000263437845069091099593459120155302416002",
"15083965235053012876423585909237101776464971846567834429413951795860347424218",
"13272760617737708556347421573700411324209216732573016708468950463112240671493",
"2556725371050104550335406608267468101097260299571425438607704716593956303317",
"7342114777197114658168975357676461836181978707744199151039381364331046616647",
"14546128094642160564077430387580813252366385692671835192658822822244761878970",
"0",
"5954610820207321623048997758745870723168809587953034800750762858164101463277",
"7414211497121220713662785131111577272975775371686428142474451470741027682609",
"11001149593315955252450679213836071735866777879944956489907443572726178046025",
"12871180621401849553933999590253587158997290603546905891643778254319488717184",
"1693881252890637303988702058520277638738886138249932522764704302252099736852",
"1693881252890637303988702058520277638738886138249932522764704302252099736852",
"0",
"16538071809682693823410872877413695310261496362198035764986909248370870011974",
"13553249084018191552437684440013630405109337658634817892596031165893671433006",
"12468646782805007398918373923943827980436668260460420534919767496675680862700",
"35085509232667617614798540858906490660748149712803528390057861312622563645",
"12421013855092060977067874849258266947329252772135480437357466825792414449455",
"9467229016747214245178530895999008141219111628280553906340737360783394046162",
"0",
"14641863625653251006730118848741467942316865827373975342506636988256381644387",
"21651319368275764059934180532170471293215518853312699838053013467778299899872",
"3226290022491298283698582739833508342210247176061080096604981336358665989367",
"2862588955702719896314278719980733127512265551686269752880399091651750414626",
"1259087900927161460016788385177107839913485933059357279023952348369650461207",
"20629154970912113762229617360080167248634878467356677064674251838206158034410",
"0",
"32742629477048671442093833790702450642327632901256529380319368367194793741",
"18286167784325554287828108456977035930908668463536236747114431104351273953389",
"158576044980685115891158714545495961518210058281540863963639891403959580277",
"15391073276043227416299362587331346419255020495227005573790839778180935612380",
"17151724106674386939077713912140247888612747623437569510768723741025889275112",
"17151724106674386939077713912140247888612747623437569510768723741025889275112",
"0",
"11635758011857372911178135597886166230805115039019651203106521657805299379240",
"6843343133060479982087089779140133016005911606771649468221586802238813241747",
"7924206477720275826940201348734556479946119161715499003827060054039166614440",
"13951590460409938454158763082011556473537368721357337144853849348596702017556",
"14493133901046619435707595206930253479321404599322047780299173764345027730510",
"7395108970792655786538810538327021609226959801093986563399030422230780765107",
"0",
"6904579627305673420621830015754336408398990949912439214382450504801875823761",
"587339695556553185487604583646939582942772329813294213082675687870503457870",
"16593792154900078602655617098749288912140261634347462092649732102729569124444",
"13705486092231155929127063463736004714213891906421261297346708106804787695696",
"2043749016187058469164952599618984601026594971052518058106656966282238171702",
"2043749016187058469164952599618984601026594971052518058106656966282238171702",
"0",
"4570415938485699550122326017901501404223249522798465014257182663888591534086",
"19488773423020051191161014559057945308414170175277122874898929632564686853430",
"8592661416605662061687922241593581512444104678804190069613169798469404920795",
"4344886135007430666441325779917334486008437010460961195277770315050055788087",
"4337176163362156977967702067478946871966844389572437254690509196091295080585",
"4337176163362156977967702067478946871966844389572437254690509196091295080585",
"0",
"13685989452696321256706125521768397217944226663842042917527615277641390144213",
"962039622864405964895505370499246422889646614751569683309781102003961185375",
"17771683105533713448732493489028234557015454194741120102795327688899460863229",
"19310380344919643549783247949181797575782063224403446285081107844261947928465",
"9283418648782402477522886770941604753102447482625885309767252951479431544971",
"9283418648782402477522886770941604753102447482625885309767252951479431544971",
"0",
"20987331520338945232124947400354699515474998374953948664440517173250210685518",
"13924742568950877140197894093389512855122397284523180253882560495342621472117",
"786531011242326791047611737511068965976948844544197153865953540388310804926",
"3005768451758162219119156696082538168176509835242968268351127529368100228496",
"21149475943913955823414338920067837268741630346358187934128768631887210556229",
"21149475943913955823414338920067837268741630346358187934128768631887210556229",
"0",
"15673892558066946654060717196864674208485263323623241293604239533020058555867",
"17994622139694452821874827036938076726751607240987384935287311412137623402802",
"8806068595445100467170001024459916443150732202538913274893618571825427358099",
"16181758175233710968676471314165983722280112516706253431766470574513856166129",
"9605305742951090672918734462504856620052416532506725667642648297220974278903",
"9605305742951090672918734462504856620052416532506725667642648297220974278903",
"0",
"5333217022535183268177972230762516297584032003564947023668695542932844149678",
"10748337417248999542961473755894982701672862036397692422190289768456716211031",
"16273317235636850951626126210195888216367555186168646982345832876708780900341",
"7091746530051678864855853661806292885047071081825064062727668239748854556955",
"19988474167369614310874629938906103018655628170438669093542677956597765242285",
"19988474167369614310874629938906103018655628170438669093542677956597765242285",
"0",
"10660783499159015253866110271719481029446516341884126317630379780437473667266",
"3723517414765809839613663341979121227121481087977636484686253275194854733826",
"11490628537644733622270176655031704751911727413196255536470468390790592811206",
"19022896994390927077096120968962292628054676057079278772467470867725811816322",
"14653444857923403559700944177724256943894276386130162341585705175756187668784",
"14653444857923403559700944177724256943894276386130162341585705175756187668784",
"0",
"19706102748895684440843114919062832273336597702533331474486677584272162857669",
"5170678191013147478316931122415308635535333792749040475843917259714526308061",
"16049685040658255416109052463096424184064146151008071789412054064307142963548",
"16898534900582794704736730189215969585355310617128662356562676516932517040911",
"11694305597412508189465167295598428536997577274330744933125518825400737082877",
"10193937274426767032781238449658846551550787126085289410572685361175071412740",
"1",
"9004509058429908965579704090476974056045588857728311947830480486022633649298",
"6186759623180654787301427252169120443723202367754655805105567810209052907666",
"19950022815232910853913971750393503589675327533653190832249577073618509131319",
"11260008262318620407879366809220041379829195914722723608611855749592224478040",
"1745689422900310946476474696574084456572771127708732671434899215465808588295",
"1745689422900310946476474696574084456572771127708732671434899215465808588295",
"0",
"14539395640875118288511532122483227809238074947701512158891335078632908411170",
"21587831852674156700483145653720911364696090513960414787239457526247175554785",
"14749686038972573214298605671861037704379288917129015827088679373508351199948",
"3553857498893149608283812380137081591176604880557364587866555458548709021686",
"1938990816712309612740423457315909241291236707262768695804822533307643298767",
"1938990816712309612740423457315909241291236707262768695804822533307643298767",
"0",
"11798878097033201944521969417141383312425466868441590495000234495540047027329",
"9185195466123242643427227683711000574644402729604672381003616103026128161111",
"14548120455471828159071501109720343014181265564086310022877763771167047787654",
"9935381696652598480268756281807662533369074278192718543766160110415076064761",
"19956117602638413861835788804988324522578371503247564028378158775865162675762",
"1932125269200861360410616940268950565969992897168470315320045410710645819855",
"0",
"9367729001272138828379434460372673463118776077439168151639528541975350059641",
"8623713811941636571893401436582191884228138664192940933484530889510524914109",
"17672112152835495302975350371458723782253743293672973717957562747285145770234",
"10579263604236944372977520364892662804655852761048273993301609434385900821047",
"1132439517414427804365244816728183322419933103920179690791958769090631018907",
"14803815052846634612767706161841047175833454807521449808731535991621897254135",
"7771534070629457684056076258092346292599370082548022190151710639815504512862",
"14116708801209817538190329487164928795948994317868012153546493546760303982755",
"1",
"13155070867471307954163462321306009569440875167167509719669270818410659218103",
"11686583859910942075918660238715029853887455661848778952165196687192884639408",
"10201659011928333146327745506542245234660908738567255391533007499382923856209",
"0",
"21031166232726697280617294873561637782185500371660485628936911588755913504015",
"6051217701829369914649242660305451548463881069815362108013309802217139586811",
"10809295447647427968633233916937453196141445388503676921224973788814459221480",
"4803599188118367665988743864396139345660982708043311620020104331643090899190",
"19966032561113964418786575198468224765703119232950204161163050605754055652287",
"1922210310725310803459830546789050322845245167465830182535153580821752843330",
"1",
"3261169215361256696814183415780654098243354236136062967199279185580566504435",
"3647516070348568407349209312469978190134289125233048684119913563712060305757",
"14224129764884724041191298926924389198256861788683738150330190297800423266253",
"15401266911025347275558342971813662187533989204698613806700105915640534427543",
"16994768928738001305419360182192445078187098621715204571493405968281291154939",
"4893473943101273916827045563064830010361265778700829772204798218294517340678",
"0",
"14254662353749628845166363293916063518525073347582495190629458348861402112299",
"20991623655905863216156886052503985451939762885363370867800740302434812968295",
"18771875341060402749322794803197933201799457897063044285511660242509505749364",
"10483705346778183528380570489151665199021144996977617954296539881086526638240",
"2539714088761202372216012054876218399706343711256439800424341643894939919626",
"19348528783078072850030393690381056688842020689159594543273862542680868575991",
"1",
"3046604680427143834499508318873585397484888351744189599701668030363042896649",
"12724510117799307595858400510951061923880905165648671153218378311522034117712",
"12435501476166713427850721464952762675217903646280914570568808338360176237477",
"9125353131215878711321199686054556738255469664137578050887797516661791171596",
"14632270206030504174194181030484885260732016002196746011172589503805052321447",
"14632270206030504174194181030484885260732016002196746011172589503805052321447",
"1",
"14469143774377539305726291819690981196257900217893585287505252686727185543013",
"303427534963535411966325811199541706753999724269310740144695568524554965031",
"6297342616567860241392488035289579499839907717894385729206660969253704266094",
"11374504663756742772357732130125941386592267129750154401456542381399359680307",
"2547961660226626874565532582327903709571735594930429307456343369940625084207",
"2547961660226626874565532582327903709571735594930429307456343369940625084207",
"0",
"3046645218712334784686261031983803881509642736552969707197595364128662814348",
"16958415265905706303299698563688125298639411169122746911850920454387494556991",
"4185942919544211149924030578773196076310236637125034669732615090551433744735",
"3143450490263231070154133346244282698240458920707371128166374156241399807958",
"15583713088064845142485355567695753175985182110014475881407283605040228887842",
"15583713088064845142485355567695753175985182110014475881407283605040228887842",
"1",
"21056330284072590865028114171126346940714174318740387366150251156418978332349",
"10034998006220631722830988810666727596852811143567063674963742767366625818685",
"14516238195250263955124411729040848077348631367857751377698239658980843330962",
"8757464488758093638241018502104421242813437629506171252464195486196559753588",
"21813457424415511129356503933686542939059532204805323320310320009883083300932",
"74785447423764092889901811570732149488832195610711023387884176692725194685",
"1",
"4174455363396845607047696844875599837838585108089960990225913754049488866401",
"18971226007593399877228012631741209364528035325865219134340378663944864047731",
"4519080924892066833799827026725423294323805191094231872510920726423000522467",
"13174013949996213080441791180997173633668280803865743674955282590400308831946",
"20939997101433962607506827253083637411304773655238237368628520008399896168019",
"948245770405312614739578492173637677243590745177796975069684178175912327598",
"0",
"9203158142969582501350546393692024428194380680542539664218588322569592823115",
"17678417078602304284481866470496404276881410940861593110179990246643594983972",
"15648940661974676020516483846695035134211642238878395133396681965179820690115",
"13058131378038569467129884126162728254699047862555685894660880440302181849987",
"11292387119632026643645963124917245829726719952837691720195562829782547026759",
"10595855752207248578600442620340029258821644447578342623502641356793261468858",
"1",
"6616138545895940443550813364027893322404392443257922796188908219844887715735",
"18399656153973876456133525025711565497953452434127745923403055004952627128444",
"7614029947777536213528716420938531465332844729665735964928668839326717817727",
"7084575397115014091054652884832475491419997635732998626010356369903584815981",
"21694160673454070166094743175628069396516555828836166596349936474549573159920",
"21694160673454070166094743175628069396516555828836166596349936474549573159920",
"0",
"17970043895637900840044772836894754594151760493052838874811797474546413033038",
"13846885767405974891924265418168410814165016040799514469866962395648737869075",
"106611840147339951296009044538107150705367265380238201283265070617512108444",
"13126194843158325562898517395637026854129683998690457536898989691222354028028",
"1238663479179938041909522341526580942511002376464102479094789755002827899350",
"20649579392659337180336883403730694146037362023951931864603414431572980596267",
"0",
"5891471718868953312406043428594888428275381155707421091728257284428072781282",
"12114279912291312353985466577279146312491907373474135889327787794888604331136",
"1470158513331732616590317988201527259534925125155741581670087549316875117710",
"20624074207748607190895151354956497546889538960779677432225621519553687371063",
"8952393386140588424285316433618268655281116416118341426349691572037313929583",
"12935849485698686797961089311639006433267247984297692917348512614538494566034",
"0",
"11147640406309129263524934874314764420095631925475862252317606439785012567400",
"620774598359355205743025787587555569281730219059279333417748215331343991367",
"3832616395797577938954785667923376294484983105481957999554293260785129054288",
"15912054816206154106694532141047041555500933739826879361772250335157338564273",
"18069376130169483345759429369408123015959326029458283252546108143902433808683",
"3818866741669791876486976375849152072589038370957751091152096042673374686934",
"12890423199385385286124548046182982862643223802858092162865667307406885904551",
"12813893388605015713461111926677610372494080231277203161468815755773241598899",
"1",
"17856971247927708776704889277070973038295645646848003183436104428807956989690",
"13517285785511287693969258875547689703653191693572998882965714511188660228453",
"13964765122065347435950838916680344716031904745818061147487500308179112829857",
"18314329565358908062876090981793296833865907009349518210649089055483134798211",
"9197174412771836561651248113984105101939783453000154385439863880723388358545",
"9197174412771836561651248113984105101939783453000154385439863880723388358545",
"2853630484924374975826369217922149558651003847857452131526109787132050247675",