-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathwitness
5240 lines (5240 loc) · 384 KB
/
witness
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
~out_0 0
~one 1
_0 10570153201251952967890910615735579437189554717670426425255447076592125174270
_1 69
_2 6
_3 9
_4 69
_5 0
_6 0
_7 466203104223506019799758266290200207851863469812937501347321798743443990644
_8 14655542659562014735865511769057053982292279840403315552050801315682099828156
_9 14655542659562014735865511769057053982292279840403315552050801315682099828156
_10 14655542659562014735865511769057053982292279840403315552050801315682099828156
_11 14655542659562014735865511769057053982292279840403315552050801315682099828156
_12 15651221731272679787427950769122467986093436400711667410182557169082162745433
_13 19261153649140605024552417994922546473530072875902678653210025980873274131905
_14 19261153649140605024552417994922546473530072875902678653210025980873274131905
_15 19261153649140605024552417994922546473530072875902678653210025980873274131905
_16 19261153649140605024552417994922546473530072875902678653210025980873274131905
_17 13028041779026979434337361688236363476638471266174122082948156134559133993932
_18 21526503558325068664033192388586640128492121680588893182274749683522508994597
_19 21526503558325068664033192388586640128492121680588893182274749683522508994597
_20 21526503558325068664033192388586640128492121680588893182274749683522508994597
_21 21526503558325068664033192388586640128492121680588893182274749683522508994597
_22 12725115627354671106988193489145513332330895142437123165155387921297340647023
_23 20017764101928005973906869479218555869286328459998999367935018992260318153770
_24 20017764101928005973906869479218555869286328459998999367935018992260318153770
_25 20017764101928005973906869479218555869286328459998999367935018992260318153770
_26 20017764101928005973906869479218555869286328459998999367935018992260318153770
_27 2550197190695607091245657107928470909248931375142615338094431307991739913849
_28 16998355316577652097112514691750893516081130026395813155204269482715045879598
_29 16998355316577652097112514691750893516081130026395813155204269482715045879598
_30 16998355316577652097112514691750893516081130026395813155204269482715045879598
_31 16998355316577652097112514691750893516081130026395813155204269482715045879598
_32 260292685967562693321227890662297411001161744835029699521938980761746353343
_33 2612442706402737973181840577010736087708621987282725873936541279764292204086
_34 2612442706402737973181840577010736087708621987282725873936541279764292204086
_35 2612442706402737973181840577010736087708621987282725873936541279764292204086
_36 2612442706402737973181840577010736087708621987282725873936541279764292204086
_37 13364288105879973495598717236121970539878291724231298739647413097936473316833
_38 17716535433480122581515618850811568065658392066947958324371350481921422579201
_39 17716535433480122581515618850811568065658392066947958324371350481921422579201
_40 17716535433480122581515618850811568065658392066947958324371350481921422579201
_41 17716535433480122581515618850811568065658392066947958324371350481921422579201
_42 10781037434902023159976590810796042347374678614906020793466573078544485613789
_43 17437916409890180001398333108882255895598851862997171508841759030332444017770
_44 17437916409890180001398333108882255895598851862997171508841759030332444017770
_45 17437916409890180001398333108882255895598851862997171508841759030332444017770
_46 17437916409890180001398333108882255895598851862997171508841759030332444017770
_47 11494536245414728545788859881153521486395296862836354143332068509961377774750
_48 20806704410832383274034364623685369279680495689837539882650535326035351322472
_49 20806704410832383274034364623685369279680495689837539882650535326035351322472
_50 20806704410832383274034364623685369279680495689837539882650535326035351322472
_51 20806704410832383274034364623685369279680495689837539882650535326035351322472
_52 13156676896165960745462275950465415777715676497855642142957257278808632503589
_53 6821382292698461711184253213986441870942786410912797736722948342942530789476
_54 6821382292698461711184253213986441870942786410912797736722948342942530789476
_55 6821382292698461711184253213986441870942786410912797736722948342942530789476
_56 6821382292698461711184253213986441870942786410912797736722948342942530789476
_57 15332478553790308098966413898195418525548707851605082484874151741047122066683
_58 5916648769022832355861175588931687601652727028178402815013820610204855544893
_59 5916648769022832355861175588931687601652727028178402815013820610204855544893
_60 5916648769022832355861175588931687601652727028178402815013820610204855544893
_61 5916648769022832355861175588931687601652727028178402815013820610204855544893
_62 7686534611352216784006816859685101717641265587545893095560646623415688983204
_63 8979092375429814404031883906996857902016801693563521316025319397481362525766
_64 8979092375429814404031883906996857902016801693563521316025319397481362525766
_65 8979092375429814404031883906996857902016801693563521316025319397481362525766
_66 8979092375429814404031883906996857902016801693563521316025319397481362525766
_67 1587385233421569431515100143935938492728521142918581209868404119108844836665
_68 2921214989930864339537708350754648834701757280474461132621735242274490553963
_69 2921214989930864339537708350754648834701757280474461132621735242274490553963
_70 2921214989930864339537708350754648834701757280474461132621735242274490553963
_71 2921214989930864339537708350754648834701757280474461132621735242274490553963
_72 2
_73 0
_74 0
_75 0
_76 0
_77 0
_78 0
_79 0
_80 0
_81 0
_82 0
_83 0
_84 0
_85 0
_86 0
_87 0
_88 0
_89 0
_90 0
_91 0
_92 0
_93 0
_94 0
_95 0
_96 0
_97 0
_98 0
_99 0
_100 0
_101 0
_102 0
_103 1
_104 0
_105 0
_106 0
_107 0
_108 0
_109 0
_110 0
_111 0
_112 0
_113 0
_114 0
_115 0
_116 0
_117 0
_118 0
_119 0
_120 0
_121 0
_122 0
_123 0
_124 0
_125 0
_126 0
_127 0
_128 0
_129 0
_130 0
_131 0
_132 0
_133 0
_134 0
_135 0
_136 0
_137 0
_138 0
_139 0
_140 0
_141 0
_142 0
_143 0
_144 0
_145 0
_146 0
_147 0
_148 0
_149 0
_150 0
_151 0
_152 0
_153 0
_154 0
_155 0
_156 0
_157 0
_158 0
_159 0
_160 0
_161 0
_162 0
_163 0
_164 0
_165 0
_166 0
_167 0
_168 0
_169 0
_170 0
_171 0
_172 0
_173 0
_174 0
_175 0
_176 0
_177 0
_178 0
_179 0
_180 0
_181 0
_182 0
_183 0
_184 0
_185 0
_186 0
_187 0
_188 0
_189 0
_190 0
_191 0
_192 0
_193 0
_194 0
_195 0
_196 0
_197 0
_198 0
_199 0
_200 0
_201 0
_202 0
_203 0
_204 0
_205 0
_206 0
_207 0
_208 0
_209 0
_210 0
_211 0
_212 0
_213 0
_214 0
_215 0
_216 0
_217 0
_218 0
_219 0
_220 0
_221 0
_222 0
_223 0
_224 0
_225 0
_226 0
_227 0
_228 0
_229 0
_230 0
_231 0
_232 0
_233 0
_234 0
_235 0
_236 0
_237 0
_238 0
_239 0
_240 0
_241 0
_242 0
_243 0
_244 0
_245 0
_246 0
_247 0
_248 0
_249 0
_250 0
_251 0
_252 0
_253 0
_254 0
_255 0
_256 0
_257 0
_258 0
_259 0
_260 0
_261 0
_262 0
_263 0
_264 0
_265 0
_266 0
_267 0
_268 0
_269 0
_270 0
_271 0
_272 0
_273 0
_274 0
_275 0
_276 0
_277 0
_278 0
_279 0
_280 0
_281 0
_282 0
_283 0
_284 0
_285 0
_286 0
_287 0
_288 0
_289 0
_290 0
_291 0
_292 0
_293 0
_294 0
_295 0
_296 0
_297 0
_298 0
_299 0
_300 0
_301 0
_302 0
_303 0
_304 0
_305 0
_306 0
_307 0
_308 0
_309 0
_310 0
_311 0
_312 0
_313 0
_314 0
_315 0
_316 0
_317 0
_318 0
_319 0
_320 0
_321 0
_322 0
_323 0
_324 0
_325 0
_326 0
_327 0
_328 0
_329 0
_330 0
_331 0
_332 0
_333 0
_334 0
_335 0
_336 0
_337 0
_338 0
_339 0
_340 0
_341 0
_342 0
_343 0
_344 0
_345 0
_346 0
_347 0
_348 0
_349 0
_350 0
_351 0
_352 0
_353 0
_354 0
_355 0
_356 0
_357 0
_358 0
_359 0
_360 0
_361 0
_362 0
_363 0
_364 0
_365 0
_366 0
_367 0
_368 0
_369 0
_370 0
_371 0
_372 0
_373 0
_374 0
_375 0
_376 0
_377 0
_378 0
_379 0
_380 0
_381 0
_382 0
_383 0
_384 0
_385 0
_386 0
_387 0
_388 0
_389 0
_390 0
_391 0
_392 0
_393 0
_394 0
_395 0
_396 0
_397 0
_398 0
_399 0
_400 0
_401 0
_402 0
_403 0
_404 0
_405 0
_406 0
_407 0
_408 0
_409 0
_410 0
_411 0
_412 0
_413 0
_414 0
_415 0
_416 0
_417 0
_418 0
_419 0
_420 0
_421 0
_422 0
_423 0
_424 0
_425 0
_426 0
_427 0
_428 0
_429 0
_430 0
_431 0
_432 0
_433 0
_434 0
_435 0
_436 0
_437 0
_438 0
_439 0
_440 0
_441 0
_442 0
_443 0
_444 0
_445 0
_446 0
_447 0
_448 0
_449 0
_450 0
_451 0
_452 0
_453 0
_454 0
_455 0
_456 0
_457 0
_458 0
_459 0
_460 0
_461 0
_462 0
_463 0
_464 0
_465 0
_466 0
_467 0
_468 0
_469 0
_470 0
_471 0
_472 0
_473 0
_474 0
_475 0
_476 0
_477 0
_478 0
_479 0
_480 0
_481 0
_482 0
_483 0
_484 0
_485 0
_486 0
_487 0
_488 0
_489 0
_490 0
_491 0
_492 0
_493 0
_494 0
_495 0
_496 0
_497 0
_498 0
_499 0
_500 0
_501 0
_502 0
_503 0
_504 0
_505 0
_506 0
_507 0
_508 0
_509 0
_510 0
_511 0
_512 0
_513 0
_514 0
_515 0
_516 0
_517 0
_518 0
_519 0
_520 0
_521 0
_522 0
_523 0
_524 0
_525 0
_526 0
_527 0
_528 0
_529 0
_530 0
_531 0
_532 0
_533 0
_535 1
_536 10944121435919637611123202872628637544274182200208017171849102093287904247808
_538 1
_539 21888242871839275222246405745257275088548364400416034343698204186575808495616
_541 0
_542 1
_544 1
_545 1
_547 1
_548 10944121435919637611123202872628637544274182200208017171849102093287904247809
_549 0
_550 0
_551 69
_552 0
_553 0
_559 18802473862645795069379038813210288209759534531391159618774018123205213172714
_560 21036683528326632279851639990461408297350971561308097595757653678708465407673
_562 16164603510825728312458328305355903966670521392070452936024416877656663806498
_563 11891829409232503593707621099255886239370463902516906278236652828376470073139
_564 23666019649874745859591381096285857652821595631235900317264559106516075137
_566 2473374312031169372942102733334079638760205154398128334561622392684985707564
_567 11600594845007603417331857572068434198793108421107593442055380004917748096391
_568 3863890407379474522848781107521791843000469541021616513744652308585588211209
_570 10664163055235402298117826791549376606894028089846882946976415999422991315975
_571 18343176466334904653933754579483171443957484624906590774153480904265028257419
_572 6239444993141845985553952488600153080303573245217938747693401559140707833384
_574 6119203456672628058920576015014242874970435709211775675744642524514439777206
_575 4149438270249524196112585533938877724461868797887934432023333443155439207504
_576 9235208210185347147579004801849562168650584832784336016020406850358121399585
_578 9128384639522387380470669614920067094259944883158761978487572362918171527020
_615 18654412661419913805863596815006093464518225008462896271968471454255934509347
_616 13483958129859700123156911236191281748010765570319679248761633253940430045216
_618 6744919964612005597575195033448713765558472710231972255449679694836768654608
_619 8723293301688115391464879084885222453738721680080020302832138013781646705246
_620 12291498411977517462442372779774490416785589710988927409157669404253841648374
_622 2631027934585055484171563632479460324234951969525599090123298234351636953934
_623 12118418226031784013934413584645141945004390963889494618173148987832030510069
_624 19260660987124357076239427268711156881843134776471345843357938955452447835578
_626 16554132703655909281087484407291352229290943766196602269512965728590091939526
_627 9613197058496144322275766351260029864804218946313001438644773733298426737866
_628 1495060456477693771921893060496006674076289081211942679812197625482322986410
_630 16194946926805193095321666150612780920375743216186552106149680237288663765550
_631 13214705749173815039245767309192596740379041394594559170746160641517103818404
_632 5973773619013693744102058064581369602605217694259785980600959706897346176907
_634 13956371016804258998556193656193790812477549689575827343284208298479521561609
_635 19149165021155271649466391439653070358481186281473044227946655572354102520892
_636 5035176744466919223050372273922413669558469792701691849471492780837017699784
_638 7103939398069883105039530015404439764958378595365752257129957086739686049010
_681 11155582955255528125958949272341326966944146245528956624597083748808205189245
_682 14451540297015167448470538284995838799272979767418999520948568729202789366874
_684 7960251582470535685130879532205983236592485792837938021871909521215395139479
_685 4144690743646853020738105570256653496918750787080994209430147985115969511172
_686 6794988676912613715482296262889740835726559971418636303431373651876897537561
_688 2489260717183919449252529339380138855189835028223255445862161869304762782560
_689 14149348335586499015237126081153374601096141276265766475955583944654848479636
_690 16071913636837977378202556534845046395886484700668178411721243247295367763117
_692 3458157625483112888898239168366199867503811140286276127115666487706061482890
_693 2484820193254536583823069974953715342333037052569160216800552299733728878965
_694 939421061482490908473601015389434426681463539841968355997205256858459501320
_696 16198151906931586130237126867633718879371753965742023019055219789664701455342
_697 13146430429165927437585360867134404466789749634063259578562503826412119227702
_698 1132918274556363618644739218446942493455343862294312069631823593567890262415
_700 17095143227518188787622626948888922989899443023655468697602735406419506138010
_701 5944329039636313357923928360595168415698311615534893192313027247871327935337
_702 4660890265493937335907821843825591497061913583078236706582410503854790643552
_704 18240012483806924559530853689575272650090096134826329885711428133027987265543
_747 15600435876381070668289234174444878899172475255703195659328564402405655281122
_748 17194731096978215071081983216985679541873792431334270494352496884797136792810
_750 10630504730763942922637089702918985430626458972031469172802248222467066392637
_751 9659319448287895556477474353341606148537595649491696526289782905533057757072
_752 3027599594231908564058589739867829249588033727366164894848047135803494638744
_754 17942741494384246941449100875260356418857970123266860106492096306743777443193
_755 21303508534202915913025176863149591961039949256194573715189382401609951244869
_756 284020538165582638048503451984826100145061166242814212464716768073517251240
_758 17929956483766806387520749571405475443692885278618765949984417891545991575286
_759 8318408562360378411583581140793985728666717812576666328344704689588589093293
_760 4570474838942655604846025440015860016119561439290584797651314032864085325871
_762 20528406145881327908799924272183672579947878209331033721703397789021219897542
_763 8664615061908473090414468577350796642488190030416632841080530272528399583384
_764 3712761358059185717541098698016688547331459622661673970217030249813297551189
_766 18117234373658692433268056325431081685858351238662324628532123076324511777947
_767 15634591350609098625990623741235829666802224607099276875012478549724891741531
_768 18655041654749467156583871156576256104153967438451383447372711717551791049416
_770 20045777453291789872902745827412430720471044502251306553518549374233946152754
_813 5579555148771058006911079497871912671011064800656509443428678616632445224579
_814 17420295871019959382833568714416785004033530740065043432399291636806765408273
_816 18493454838568495204658994005529780743245187821048967688018371323740589610375
_859 13412148264958799172136980292433356781495368732626129178071891672026344772836
_860 2779563036150246679444987642830397675898488928997440073772214190419529101031
_862 12438508137445558187850877842942378205897095377696000715784063274495228516536
_905 11813809247874362040785000203990718879464028643868182740755679246760906266965
_906 1343065347841357408737149632179655488459626123249054116132249896278104755358
_908 21368765461490654114881755416903880747993622399636479485622535717790311112676
_951 4666141309312826117562061360536555756246255073050784002935094650166747383352
_952 12367166027995821311249036492615710800618917847472780815170733464107680940379
_954 15780352442215934903567310020431082974349503562194054000028841207621530167724
_997 4916038582089576570346679461260615456100380154518061809774007170765019990470
_998 20390887922277243293427082544096961719454023840383741841575506576167189869024
_1000 8726053196165870714449384990859980414886452794345712629893010855317255398372
_1043 8317062317729561023801774841019719894702812314876978570163527189564221096159
_1044 15874195449380569371630998278642171347552535246773396787328004282903546380971
_1046 9875447266899266391200324815513802957288877838035802203558610688227066267020
_1089 18620070373598581967913379790322851740190636820674279758098130179570474160801
_1090 3919707006838051041816284230286505034639384692279133734431309355572934068487
_1092 7701546632108113964720683031554543200265897204259920801319956799351658579951
_1135 15447499447745268037072191746110905311563349739324406284927021984522901481012
_1136 6587452983837378705850160321995178269459830432081614966479670229956443078612
_1138 21442799736908420302141650505022648311961185270412463040692529275194494372518
_1181 13536373271977770403627891247170699572247393286041983232253211300043982614515
_1182 11677987622663488155212861323419918630495559774212399358791737190811564898215
_1184 2660591688738045718536271621766205558503497867460210112532746440140023582977
_1227 21178176039043524510400763840709914885450768174430357013551071776363853780353
_1228 21829012632601219149738947157594018952235390233549671584723358647755043821077
_1230 7577386330814972066853733279772656569843577741324293416037637355683788229013
_1273 6001235302671503500451087557003172293684214017779925952247944531938292482105
_1274 4204768553546182244703820579393730511799805073870745361442921672768641078669
_1276 9330027680960725240052300133016897824458619960438371674451551740957439853292
_1319 3778654656863438125121045362203187136625680821953319814975106655521024066854
_1320 12415316774989741893982040710237843022843107123164161599228173244466107791938
_1322 19552813938362198526529125640790675115589201207587098668677913167455978499712
_1365 16209135992113204105277669281457840896738807779399452926083105008981039954194
_1366 12904807996066682055745876058911657097580266077548612033633851416538723812098
_1368 4824063196001135283200630076377150200028160372151899719395759241712722258129
_1411 17245521329688709019677606276342568256998519860727483998113385650574879264817
_1412 10703697695549635090728131725901416955316496081155936513427964470834310459517
_1414 12215469056350963413737195131562848208284287556464227907141494751026869818219
_1457 18535594681007239269556141711917258327911254746210415189845296579536088915562
_1458 16151847066543923835609695153480795852853693277769155854227300088080017481356
_1460 21567308680623481145280185832921736426482685539677376104785956144373016667762
_1503 14791435746757834014181718400216355998234946773599703936686341129041876345590
_1504 6850470069116841747354998167263141983506874067978245685626426600563787854995
_1506 5344833553601272420207077716775848592828384085426420807966290114758175891543
_1549 2701507812121182630538482480838588456825560233172808983221038894340301522283
_1550 20917331952683930520430554562366249737359444791235179644936162097014799604340
_1552 5842185043257181807651193345654071430189469226644993405626249850339783375830
_1595 16908087404101609048028196190836172544856708260634145175130733714783201962258
_1596 11169654750876829211791102731485257010060421282573456921828629352171209833064
_1598 9288754043931549545108868546120897595441792573900925401631414426731844046598
_1641 21649908018314436427455263273079423678348771684289056913103648993937210510372
_1642 10955403497627802043918510455744773665807569793754586170479484240461981647934
_1644 10843360937269660840091911173222120255236800657255386165452286618367346775670
_1687 5007826803325497692313457248856314966424728821032308021274790440674338526170
_1688 20538906451911976895949913843781119967804301616197983751743894159150790114426
_1690 13146741619057925616854385852679596092115412103857018590466225769287637834671
_1733 20665506139546617133307777642796026427310628052310562473339547430640353900972
_1734 12341250031004923126324047409293354065487975283200668646898920976990095664507
_1736 17343637136304464624451432280426637201089074877393064631453246989514423741021
_1779 12948169898489115197911443844183112154269871763785309635934077264326908054874
_1780 20737955976594020925728699066759729458998299661048013064794149747508204949796
_1782 71036437506472164550356885505213845486411336976869851512597345868292218900
_1825 4499683686340606100829059054235709971377365094513124828562079113369108676570
_1826 2963945503448113834649191996116694740334067199384979059713856065403054569772
_1828 15351520178851956168746022019577284084656927461784688441143758576431313509465
_1871 16046435821224297822227630017087453830433228019884411486981064941569815135241
_1872 10827360808900278897141297079203146737520656373339651937868003355835065248739
_1874 20720497361294153891799372935546279775344064088141682007191011921060943996101
_1917 20278961932319636358398714357107728914148422269266585046995955616298738438919
_1918 16870021928615554385413038095294362119216621233767344366153287000621590099540
_1920 14447717727922843441197431042033921579139744842060589427587225707425291211884
_1963 3306945674494773423474787889916694892858894669781467658871742084841471816079
_1964 10951066969566762276760113522866710555353523794878876356541270765520184839775
_1966 13584436354413588580907086884425754639545649668719402214488433326216318537472
_2009 328340799003115214418216666119974673698480808553222344802230348753632523771
_2010 12469202054197011949027710391008128889674243620832996015262475485506960248121
_2012 12645032433162113984806747896625526833968893718173507253626037709812449752703
_2055 15683698705632765229092365143194557276070882909275784498802191293451869270616
_2056 18839301373084909229450563037010685541161359947465051549280149440712408369069
_2058 21781013042708664099687319833360045870169165158897655961783005736344296514561
_2101 3902412327284667608737449642972957527484938586053483720827969946858184189738
_2102 3743964997060471183233084981121321120599115554239789895623316300062581639286
_2104 10373167254179026631516399750929754402677709775421313335491193848955353992112
_2147 17294221082852197041327701939956498263316610635101144120862369066806947152951
_2148 8617383091178530447121605039128001314614262912019078507227119955149611310089
_2150 8598808132875005183503841806189669822026422392904760549218658185378640325847
_2193 3893560903722339299533811243701008860028150132469345791062216113901036775814
_2194 9771002278419858352575820510233728697647650984558276396221724960828368437303
_2196 3650350822621194648517758860302706138730725043505520643130451348075042809675
_2239 8966451651127316474459694181241977394054616353783911330415785221034702498801
_2240 6880087003676782863258523076022682720856133506382086915381116485368088446655
_2242 14871778696296566418268006257756743678351394399744904839869652046477598499190
_2285 2986999455213729734493029791565515152983102106471080380707297106518323312964
_2286 21806103419176842894829126056639962734271101698991536063071535600109012263448
_2288 792977603373230199477925063796672394847223527607691376349403986192777417876
_2331 19478685021269628210987469578049151570494445492424731243683660782133881107773
_2332 21431490588811291335023479509798781752798288369514305116454460791880394622354
_2334 17219828079816429975076033612369820826770702313664863150563327317717374236562
_2377 14816757494278794240660586693904915148455352592941721806679412166516851787001
_2378 1096903274035745441382809539631423960823675997022385152875641381604891183746
_2380 16053551353485750755827078591115029967088993366298207207637765764729194801985
_2423 20087477206357904631752481341190219968813955096882305636204766047887665907804
_2424 1120654385638560940287271643445004486328216966928619702343796828120747760797
_2426 3025201162449457700316144033746003805200446800469949786989530491456302998363
_2469 19425166041716069139567341738576470311852575858770387285958847310654926520774
_2470 18693054641903517358492676239447997442927016991495713151136384400953052681857
_2472 17580406155120960590849399098476957785578611385801236903115309515261628938367
_2515 3771117198806705568768434056524367800862581922821715543715775352552587640749
_2516 8687842799450559957138801095651839775553878989011372558386146883073375046455
_2518 2684796828156568391132338775958595276487712927346054063176232257587817013987
_2561 21758007780118667348737427931576546582293161980132819600502993548701749049541
_2562 19693972180787126895906156331650181564116802064012113968702102054937156646873
_2564 8979870883157969942710831061266241543076129351868825709067402933324465842192
_2607 8630033288636916513166976431473879935348589020221788362882042316415303641569
_2608 17219702465993053569020768438011765518152242216431838707745154766614206717367
_2610 21636175251416075114623461623549556932315658785226124013838658944415084947265
_2653 1687255265348452158728409172776225282531715937309567435258973349634119560487
_2654 12139982260218806593760769302168663108413018646262040500040498816675977924215
_2656 21268318337237962303678529834976874994578191215362592493253771870041874315137
_2699 19261823677256101644114448586160156361747351555085982493701049787207056126415
_2700 16784693109930710220643458314059382128879474791493508704810120729651173500479
_2702 2540106477638616380208172149912210517576517420101236031872079663727169997833
_2745 4482323118034766177899547760783160007139008650804660959450577496434416287777
_2746 15291664502366284517032930472870835555568691340349680570126281006048358096135
_2748 17433244214704203400622090007079856449504353268347118011972613712774979351466
_2791 3712703910954343950361136437732172870657623472186533721507504028120738370175
_2792 11265368670632034137419249349064516198299353829208159733487337334981785074433
_2794 14615114310856120855943548938268202353888230581225919797477109369263869864924
_2837 1879974895042042910310478942712438428816884427104956265064429467666043357
_2838 21051856285113460544727099300072461406054245302865300271372388803462139733975
_2840 9507141703140409550405551464977501252593047054454633993952039877510044687962
_2883 6874638752483788393602435967559795548942393133959460123340891733677757142898
_2884 4597102943832511793444765441968917718984579882751822481107390494670838993345
_2886 8018075391616227500530908327020471625499993270773568202854778355662371621421
_2929 19079247998234121470268821734392144683143073460500813163434733013283016467610
_2930 13445250512629213622445343468532144587011001527458874886930325420289207069351
_2932 14382915180852901396789123180320078009019895045436399606277890911242231102677
_2975 18774398752500591928484532070683147160200721932655950520182788875538637313873
_2976 7463504563930522096755792046509228319536286486265500794938004780531631992333
_2978 17933583966881012803858393362988869127660932598239086385822335026439791398238
_3021 5541641577051834402874912704165569016957660181680832889203302998908228444204
_3022 5642262950733399895743890074859715957777200109758916516772708935883985502278
_3024 14634256406007588805321098948063096440259034018547495376686052252385007815772
_3067 8995490604760297566957446251998230564905171274818998414429656668402257607487
_3068 2912846844649806229226777960845809660567451022903708346882799193795494470518
_3070 15759389682325375178713765779988164861619172932164648636390522065824824584645
_3113 47623740864214439484264585707164153116203185318469111075247777981809997653
_3114 11604722258537783598362032045642320189103844260335022301775501866615338135644
_3116 12822351080924083005156708097634503939345504948313293547099713909452044173563
_3159 13988766568722269390226340527223909825296350683065427760196058368305733192044
_3160 16168215021590023963916242413356346861561337239534208964985564876560823877078
_3162 4440215824315251865488693318537921319054803670829128263301892794661477484474
_3205 3926651317893638808178461573450424278304453856695796285819047682467850344464
_3206 6744802618052750471951532904377500070720991781036758164096573965166769663797
_3208 15937411319445845399309320872518410360014284823352953269248754147983235380760
_3251 3841959442236805207696347973552721692618769112721522634858024480558972069896
_3252 10675776477528280524514755433624224966763039777762022718996559473812886812772
_3254 5242581988953972467532530956754510756927936732666523544883833813553331881955
_3297 14749178065686267644380222218079729205655532978636324237997426563139350616197
_3298 18778531570423919964870595447773933765111262156667033864731523688384880676791
_3300 14031146917017238784759654504548586334861534214157066991684440890647508459890
_3343 21713919974876720723588093187703490211919853724049160800513017667477801466074
_3344 17796230612878308271412764650729083702646752906870031839383213132131690372300
_3346 17680400817501463756570059198955057212034161828171602443340758077312769961031
_3389 17481724419319865024472637473557578773085772776168544776101802071491386521265
_3390 17297181815313249211626083105394888666037935593247641873995381796974812125374
_3392 8300868128568713652381514157026049948390599194356622256343885583805121933603
_3435 5249137725140037969660742918832169331510032677190926625211889571282389693632
_3436 62258707417120061597257480307289019464440155901777719042258154277308799219
_3438 10679638857523901816825017875928307410725453074863072849959269073496216413535
_3481 11156360195752527874247196966200077067682574207138932874940017721329947593835
_3482 14027617676203373455250229307404587440576831767966543106216762674324977672257
_3484 15130757843643204862653554017439244917998407269457810018170555926974597334531
_3527 9617034583476151409938743906372587667979255100038993110375351499568295927952
_3528 10500151897837697829655965879659657397513621978617652886054185321673777491228
_3530 5803850865176935167855272506283026014684451897883579721902418121007690230375
_3573 7877204215919643205781588102318243934249954705533879754410492943768443319100
_3574 5813525310093786795007518130590851364561291819886472906598602262989503157536
_3576 12597985960409846678113076583667775404624829570188545280893220510697293608561
_3577 3125548458322272429630810562706532147465278476060004713142931088393277036928
_3578 5591208649200865702019267205639490065845945543857560409588705158520902832821
_3580 1838141344656163829009548483527043706315123186684994107320808516826160771503
_3581 14690712403454611718819336354166324474727824139136193772517662763325754406989
_3582 4424091946849233112264427796263405461525510774667643114437329256077476013229
_3584 2139145013395831429407537499344007493377954808520433326020697983565355691549
_3585 20523026531666217475536093480166667648025623063832008250484457249096693190798
_3586 4046149539287669406023895215061833850899275186653327346661602285245843619797
_3588 12875369823815385573234487797794778459023921631623435119055104569470176226909
_3589 5030964100492779293072212739033973143881044133165314728858411769195312331514
_3590 13224930652807858285961818059079656534963288126502832151952353874208579102176
_3592 16496610219637424212456039233054111737156126799228028262661321078924243745684
_3593 14458376742712755600521564323965911136406473090378057734009209058196422015534
_3594 8038759283642809516588568879890023652125636774848388506688821437400972953465
_3596 16534492803972393363254322430989850951764514716454201956950050875900942513471
_3639 21506523996214226852014284294822639048292481965789305034303389367980363365924
_3640 19643189792567420806325431132912506022310628790816905606602770714514748844840
_3642 18254767189472930524286204058411681063045820451011098151211720679240990323931
_3643 18061372428677028399715145769281027725769512335099121470260680451247312101855
_3644 8811228254369961983465850613498923519880404091860099915341616038814394603704
_3646 11497327687946031859574430193490539086858241376541841979383615355220138653341
_3647 1984865803053048198261384489337079402008580819518609129823798920759647359036
_3648 12452400665856152978947528773626336747358637087002529465971894091728757032984
_3650 18466193687833170663565508004144024220284304313589130474402024773067552500084
_3651 10561644652028526613056138857603548628320959619170254375946564658509721365953
_3652 15423233475163643046254632066088732298377063719362117270967473092565750808730
_3654 11412792019222557093941356218236954926806751534599231372243130054616734999088
_3655 19558881085479439892169645689318907637815349406443255688995035832551305297615
_3656 5942094511613188773970476937474650847674848241866714843646384253046259916343
_3658 20843338434324011904592790331146032062997206382434256180284492318135228815263
_3659 14302578119798449655585078204766170670533651458741512013439422763656220503065
_3660 1562210222948309371426767470656696040000325866903885664676139510244899758820
_3662 11417791636723904031919413068866727818459227033627035828894395082845011776866
_3705 21072944247600272461200261672875065171994002709266458915474899038311591319178
_3706 7574089458989157386737155024630052479712241610825843002098533945012303914008
_3708 11095838592830659751329251572672478307083558764315386547448139993839163454714
_3709 13799102250534026019778779495853581534293589194743423946447041187392358879233
_3710 165104843194992556844098909810719218909053246473666823630472994431169085431
_3712 2282359429636219837326832884531714758819879037290655317812677771973426985200
_3713 1196597655558603291097953956799405168776792770112352934251017776925934652695
_3714 5515052675841278224093563223751792489669287741200811825778515304806240111831
_3716 198260054884239564369666974134770645931033695917330692418389715892787511088
_3717 2060386061730866735435635587799182312202509383758425660176940873399601537204
_3718 11053561350967834227468561225013264424321224253357577049979518090732092075643
_3720 19649362899152556243280087823700825231730059417407910867653514002952776912627
_3721 18583688442955121180970507018926687244287206267566020184771326425566554146200
_3722 94851987280575662593417281760725040708859620688448762587992925752931630343
_3724 19624461014401601771120860557628524494085948763628648344632665632706695119057
_3725 16132751405990770328763936762318427161468867046020715310219071337914333486759
_3726 5826187219855288600139060813783075157784692720907732223061666201719241574127
_3728 10146860636935362812705428951558387227671949211122982320411602741004633145197
_3771 14079129285606597534140891690905184613728312213390545932032580044817978944250
_3772 1324465946500697483616315218848088124749575685294748708475170316140085409234
_3774 18136082269221674759572122386523196785416686052692285733051657652759643867539
_3775 19921806602137925296129767612411015402551290338993448768637908924738240082289
_3776 10676659297048938836000859672931845146304855441141341816288641546330344943605
_3778 2950075593031235463365352544300829306749867232946222840807455705693517763916
_3779 11068275965299303107273557589382084598969146885200554657706895513919132654429
_3780 20704394436110852164021331833666249954197702544075231981891116260526018388187
_3782 329491032030131818204834294771812250478081754030498648807655116993758651370
_3783 2967985243781494969764154314682430000967735994171207376075946193003407853480
_3784 12443186918633476217331263957285315836297065766606540803724080606939238182312
_3786 13730737397665610697936459080644021818723819196380330007619745640120444933524
_3787 1429171962969179765139164500313076852725955924558062913346840184048710071181
_3788 20722980425380387628266948798822045427263529056144086385601177985309403948060
_3790 4532817090844454287840426505442509891386680569177111372706977279627842961353
_3791 20713039045710167410713162718994265980465166033251813487906439661118675617539
_3792 16594578919715830007035451448445497697328016530444537736417533056994964956387
_3794 2720826342157293805786050799495763991280879209407188835298982482724675255133
_3832 0
_3833 1
_3835 1
_3836 1
_3838 1
_3839 10944121435919637611123202872628637544274182200208017171849102093287904247809
_3841 1
_3842 14592161914559516814830937163504850059032242933610689562465469457717205663745
_3844 1
_3845 16416182153879456416684804308942956316411273300312025757773653139931856371713
_3846 466203104223506019799758266290200207851863469812937501347321798743443990644
_3847 0
_3848 0
_3849 0
_3850 0
_3856 7124783048796832181940706331426688481332256283043481491933299755147348203258
_3857 13897146262547759339750822686026976561688896030361799633049292893757759470745
_3859 8100391166893173685937043981999995102775763763978964299786345279616716257201
_3860 14214179419346706084845273988139222129700181852499488737421327793821156239929
_3861 10880373209599193245961294641325851650070168837501807030039987525986905581953
_3863 10636082845190607229747713857011717316430428761759658504135437045135303466503
_3864 19702452661984580822841032116352385194573302184217541102328433360809056729912
_3865 16403711462098524734238461259479912050277949678155074834523696902131573454523
_3867 10279492066974946853682685251398530078911129001830634707021326043691571499732
_3868 19274736290486878032345128054239105734530483965537345523679521504587414594614
_3869 9726677069877665354322878606329156299651282205510161612982741523597990405710
_3871 15948852654975356820588242437249661016619091133130093437689965709126985664683
_3872 13165961456823476027179260481178947616046055369252346442516666509491249766932
_3873 20092518358316689459560401587482091483443595206953901522126192817561838919805
_3875 2105349758027144564826281005312621277108925369062244361190365426035451701507
_3912 11471172630200404990978419455311435854122330203774946110660796515089560820998
_3913 20014292737473757015859136793786492471733215859413666777202089302329283100793
_3915 10898550567992152430009540545334514069109386983945405829166768496046297143400
_3916 21353406944230382922441491294802221415391594708963221097744145036818122495340
_3917 13921957034941487573126480915909609552421128308270644866751977293416752346372
_3919 17936967309036012380193913287052895919261718256205125560298331341657664510515
_3920 2641321788614517737546585401676386603599674457089576682090099874507807607068
_3921 7151698218887328399778593206151411700925335687475586167681521700790829639237
_3923 10568205491388577070854196967582037989671099757072072336579199056230957742459
_3924 11902813140516562332884218221536496213763808202590063660068598634499285169159
_3925 3683405793748697031442560981575419198396209801383749067044463095845827121565
_3927 20547832455709860374287489825768229342064061516634739228101312737654035096478
_3928 3462870995096816373662756900983615324605785117290084829434841441050154639733
_3929 15633509756195508043539810446933445681537689463365891385291800438447846442331
_3931 13867299604867394658946445419399736051563684675946553742510696877864333830301
_3932 1301996569030656208167848205403431035173189876089811727300640714101916648635
_3933 16802799578985826324338539731068373894458750839665916227021981087027434682707
_3935 4790409843296370196282470453912436836062701503238325737640596959917159175106
_3978 11899505061272891249487600097420683820304972272308818886486935219190222830448
_3979 5217860125251150203977439073293017164166327725896221823999710397921441773431
_3981 11787427330364695368349177919146993756661095851626981252943309570216222672181
_3982 4478798420160888073279088860324542636233638024750931970607524655595233565072
_3983 16474530675495614828826849187248422104636571363596291752377544898366520584805
_3985 6495060030731072809895609620490882911839142683760505982339815803290591171409
_3986 2640177655695381847858921402925889172742087429956601611134562244386804707054
_3987 615716628552484638649946471003113908603772815672085231034568419740535477163
_3989 4183902569524278249400058798185533699389605518574551777691828911126551826280
_3990 11431947157457123466852527751666967109526826739604650176924133673100437162822
_3991 1547687034606170234107458207647084445493510489826454828740221078632810405227
_3993 2185049361799540342415497992618995935322868465105907210400183141970564291251
_3994 6509305395806663930985952541202204704716462326919053514295633505027916905304
_3995 7915086193344244005788881022696261357555690982658709605328960345502774398134
_3997 13943550344097174585309339553372296903879181764760938623690886697271614348592
_3998 17828603471613003525244348076013033718779526893070517877668043036783036184336
_3999 3649437356655825743261284242166920414439814968057331264733969069663697262355
_4001 11351436452776246029656974678488924171537942315629060612651088187512244984377
_4044 21785469639939619318735254754655887451322190485298552569830568539115139358539
_4045 1657997324954892643399318866305848449153330716874921542113998361549564005493
_4047 3820563366458629476936500829926630854861887725860198428095554178906044265655
_4048 16893430733096784449563403618185600644378993250095645860785314110667087352439
_4049 7763587229615019922477309791206354751361665624538678219282111218203020208746
_4051 16182564980595416064411721695808626379504856732724535494041326339133986987306
_4052 4709591726720593187522866434322143663122694833368956295157935421753079348220
_4053 11836154194853890770689594304439305178299312551185990576346640896810115148606
_4055 16614848882251735280422414585989911792804011552337057597545009874287174269865
_4056 1157738430342951078646571848746562803887971006678665245169509466421842350260
_4057 12104847691822285097471586630433646058535060903657400235109946503473686618829
_4059 5047902295036124208093433729792157990446081123399736425803507683487675567952
_4060 8969320582410318228628324688275412852863168602158629192335560056246688872971
_4061 21006767803318682994711332546584504492082461651107436888734094032802289058906
_4063 12711968333385948973955423020388781357636075663014929473283154225330217036334
_4064 715553564927345956203937129036808771096934038217559459350696391166646443922
_4065 77844252395906307201729697901301592707099264839467887495045670574852343167
_4067 1537623012764748545201649436016654893696516147014700045664000844667651404903
_4110 7275980787567802665343684855650585094949910800757443655965840319077865548440
_4111 3588575483487272430588563487816409915877494948746939853296715755995163662890
_4113 9206560045250581465147294952965647856953244044166827243250300761666010586314
_4156 9591930844254105083635528705151340901376079785613537213177725987988076553126
_4157 2146179582228302234761051964288734891065591645362763960110240082183011814377
_4159 12182843628072095800786548548539339783008096901872198984315295516596935193885
_4202 21047640383274067066849361733228576779117295461172674477320524610243664223443
_4203 10872939818049694251087854964953932464391515634723674574664756610479625369671
_4205 9137232494430221793042450071535363358863079656307361868703673238046767411125
_4248 18328415958998818605414990437400416807246197874601654801973948149272387212254
_4249 1398035158770250464011066456007288373097202291243045740705570062878723382521
_4251 4107924753968598450140149552074483591896098826253749451057474194576791622882
_4294 7506542324940570836212478697116009965187922191930738570528389763590547700852
_4295 7183555714418230036919652091312621792572117934724467723162945749431666235717
_4297 1913780141719997629537858376462888183490626406256090837653999621324616765892
_4340 6889056875024104379086414796547546948327500189656367462904997723509947152320
_4341 17304652833434332125955999660138403793558600037893240903954491442070211542269
_4343 19760555403190967409342613248137911478051953792542459039174237891933978339635
_4386 4958670517313250981863679815587424353545615917034872029323617769829257404202
_4387 19357201154341606128792312995804460457676977031591742512934067086654997650545
_4389 4586329523657082433143667199792703568815977877915635160447057398320448714062
_4432 11146657376177724252134485406145930767368017122938764346236794529370893919951
_4433 20574426460375493592498599260108639626699696781852623325073189161900518327680
_4435 16863819444153922321901576979149715862305135991400575170403590716808598283186
_4478 10553232589980247747697249141230607878147725756472838778154173397776739467303
_4479 1713967008139551867204246634038850261657705154978107355835873038992551675622
_4481 15065158143272440231230127353361914971113661152707426512891925971353663535983
_4524 21131284565051167548699866873323116493739313230147921332676806193298524804107
_4525 6252714695394630614161983301040045879113560974324407266333913823862438725858
_4527 1769676931697976987771452816007600198446858763823736387165657543020071159306
_4570 11975023232517755611568554543832822534336652973543176683775416596508438316385
_4571 5210894045613134438706087713936861093087881343320241435317261359872094088167
_4573 6232605999611597108810276702416349816761715160205542951858352958578079902796
_4616 21800151298417584090145356010751397730608451761171321836732472911290831460663
_4617 12973652144012633241015249372454764790172531618964139994385176267115206345535
_4619 5903767741654264186666556673179409742686949615946451917432947157564260237825
_4662 13000350204991168169999446241695752128499265529414090931297641732052148615023
_4663 15732160277131680798690246810499771194791997227137433935177735637693657326005
_4665 384985232331311636483078504728676649796008546937423824990646226271551022276
_4708 202669843682429313824587109035710096989573563389514636565708319834184801003
_4709 7263393662077992145522226209765251809858850160351361136372167973886846718771
_4711 2104070526482640068652343584813274188464462519636902550352268604846710990693
_4754 11622967208551579318077996647056631051974071731912619749137943738246943452774
_4755 7364089951035258232976660149935723296419702895129452323913611412187913054776