Add verif results

[urcu.git] / formal-model / urcu-controldataflow-intel-no-ipi / urcu_progress_writer_error.spin.input.trail

diff --git a/formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input.trail b/formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input.trail
new file mode 100644 (file)
index 0000000..e5fdf5a
--- /dev/null
+++ b/formal-model/urcu-controldataflow-intel-no-ipi/urcu_progress_writer_error.spin.input.trail
@@ -0,0 +1,5000 @@
+-2:3:-2
+-4:-4:-4
+1:0:4025
+2:3:3945
+3:3:3948
+4:3:3948
+5:3:3951
+6:3:3959
+7:3:3959
+8:3:3962
+9:3:3968
+10:3:3972
+11:3:3972
+12:3:3975
+13:3:3985
+14:3:3993
+15:3:3993
+16:3:3996
+17:3:4002
+18:3:4006
+19:3:4006
+20:3:4009
+21:3:4015
+22:3:4019
+23:3:4020
+24:0:4025
+25:3:4022
+26:0:4025
+27:2:2757
+28:0:4025
+29:2:2763
+30:0:4025
+31:2:2764
+32:0:4025
+33:2:2765
+34:0:4023
+35:2:2766
+36:0:4029
+37:2:2767
+38:0:4029
+39:2:2768
+40:2:2769
+41:2:2773
+42:2:2774
+43:2:2782
+44:2:2783
+45:2:2787
+46:2:2788
+47:2:2796
+48:2:2801
+49:2:2805
+50:2:2806
+51:2:2814
+52:2:2815
+53:2:2819
+54:2:2820
+55:2:2814
+56:2:2815
+57:2:2819
+58:2:2820
+59:2:2828
+60:2:2833
+61:2:2840
+62:2:2841
+63:2:2848
+64:2:2853
+65:2:2860
+66:2:2861
+67:2:2860
+68:2:2861
+69:2:2868
+70:2:2878
+71:0:4029
+72:2:2767
+73:0:4029
+74:2:2882
+75:2:2886
+76:2:2887
+77:2:2891
+78:2:2895
+79:2:2896
+80:2:2900
+81:2:2908
+82:2:2909
+83:2:2913
+84:2:2917
+85:2:2918
+86:2:2913
+87:2:2914
+88:2:2922
+89:0:4029
+90:2:2767
+91:0:4029
+92:2:2930
+93:2:2931
+94:2:2932
+95:0:4029
+96:2:2767
+97:0:4029
+98:2:2937
+99:0:4029
+100:2:3764
+101:2:3765
+102:2:3769
+103:2:3773
+104:2:3774
+105:2:3778
+106:2:3783
+107:2:3791
+108:2:3795
+109:2:3796
+110:2:3791
+111:2:3795
+112:2:3796
+113:2:3800
+114:2:3807
+115:2:3814
+116:2:3815
+117:2:3822
+118:2:3827
+119:2:3834
+120:2:3835
+121:2:3834
+122:2:3835
+123:2:3842
+124:2:3846
+125:0:4029
+126:2:2939
+127:2:3745
+128:0:4029
+129:2:2767
+130:0:4029
+131:2:2940
+132:0:4029
+133:2:2767
+134:0:4029
+135:2:2943
+136:2:2944
+137:2:2948
+138:2:2949
+139:2:2957
+140:2:2958
+141:2:2962
+142:2:2963
+143:2:2971
+144:2:2976
+145:2:2980
+146:2:2981
+147:2:2989
+148:2:2990
+149:2:2994
+150:2:2995
+151:2:2989
+152:2:2990
+153:2:2994
+154:2:2995
+155:2:3003
+156:2:3008
+157:2:3015
+158:2:3016
+159:2:3023
+160:2:3028
+161:2:3035
+162:2:3036
+163:2:3035
+164:2:3036
+165:2:3043
+166:2:3052
+167:0:4029
+168:2:2767
+169:0:4029
+170:2:3056
+171:2:3057
+172:2:3058
+173:2:3070
+174:2:3071
+175:2:3075
+176:2:3076
+177:2:3084
+178:2:3089
+179:2:3093
+180:2:3094
+181:2:3102
+182:2:3103
+183:2:3107
+184:2:3108
+185:2:3102
+186:2:3103
+187:2:3107
+188:2:3108
+189:2:3116
+190:2:3121
+191:2:3128
+192:2:3129
+193:2:3136
+194:2:3141
+195:2:3148
+196:2:3149
+197:2:3148
+198:2:3149
+199:2:3156
+200:2:3169
+201:2:3170
+202:0:4029
+203:2:2767
+204:0:4029
+205:2:3283
+206:2:3284
+207:2:3288
+208:2:3289
+209:2:3297
+210:2:3298
+211:2:3302
+212:2:3303
+213:2:3311
+214:2:3316
+215:2:3320
+216:2:3321
+217:2:3329
+218:2:3330
+219:2:3334
+220:2:3335
+221:2:3329
+222:2:3330
+223:2:3334
+224:2:3335
+225:2:3343
+226:2:3348
+227:2:3355
+228:2:3356
+229:2:3363
+230:2:3368
+231:2:3375
+232:2:3376
+233:2:3375
+234:2:3376
+235:2:3383
+236:0:4029
+237:2:2767
+238:0:4029
+239:2:3394
+240:2:3395
+241:2:3399
+242:2:3400
+243:2:3408
+244:2:3409
+245:2:3413
+246:2:3414
+247:2:3422
+248:2:3427
+249:2:3431
+250:2:3432
+251:2:3440
+252:2:3441
+253:2:3445
+254:2:3446
+255:2:3440
+256:2:3441
+257:2:3445
+258:2:3446
+259:2:3454
+260:2:3459
+261:2:3466
+262:2:3467
+263:2:3474
+264:2:3479
+265:2:3486
+266:2:3487
+267:2:3486
+268:2:3487
+269:2:3494
+270:2:3503
+271:0:4029
+272:2:2767
+273:0:4029
+274:1:2
+275:0:4029
+276:1:8
+277:0:4029
+278:1:9
+279:0:4029
+280:1:10
+281:0:4029
+282:1:11
+283:0:4029
+284:1:12
+285:1:13
+286:1:17
+287:1:18
+288:1:26
+289:1:27
+290:1:31
+291:1:32
+292:1:40
+293:1:45
+294:1:49
+295:1:50
+296:1:58
+297:1:59
+298:1:63
+299:1:64
+300:1:58
+301:1:59
+302:1:63
+303:1:64
+304:1:72
+305:1:77
+306:1:84
+307:1:85
+308:1:92
+309:1:97
+310:1:104
+311:1:105
+312:1:104
+313:1:105
+314:1:112
+315:0:4029
+316:1:11
+317:0:4029
+318:1:123
+319:1:124
+320:0:4029
+321:1:11
+322:0:4029
+323:1:130
+324:1:131
+325:1:135
+326:1:136
+327:1:144
+328:1:145
+329:1:149
+330:1:150
+331:1:158
+332:1:163
+333:1:167
+334:1:168
+335:1:176
+336:1:177
+337:1:181
+338:1:182
+339:1:176
+340:1:177
+341:1:181
+342:1:182
+343:1:190
+344:1:195
+345:1:202
+346:1:203
+347:1:210
+348:1:215
+349:1:222
+350:1:223
+351:1:222
+352:1:223
+353:1:230
+354:0:4029
+355:1:11
+356:0:4029
+357:1:241
+358:1:242
+359:1:246
+360:1:247
+361:1:255
+362:1:256
+363:1:260
+364:1:261
+365:1:269
+366:1:274
+367:1:278
+368:1:279
+369:1:287
+370:1:288
+371:1:292
+372:1:293
+373:1:287
+374:1:288
+375:1:292
+376:1:293
+377:1:301
+378:1:306
+379:1:313
+380:1:314
+381:1:321
+382:1:326
+383:1:333
+384:1:334
+385:1:333
+386:1:334
+387:1:341
+388:1:350
+389:0:4029
+390:1:11
+391:0:4029
+392:1:468
+393:1:472
+394:1:473
+395:1:477
+396:1:478
+397:1:486
+398:1:494
+399:1:495
+400:1:499
+401:1:503
+402:1:504
+403:1:499
+404:1:503
+405:1:504
+406:1:508
+407:1:515
+408:1:522
+409:1:523
+410:1:530
+411:1:535
+412:1:542
+413:1:543
+414:1:542
+415:1:543
+416:1:550
+417:0:4029
+418:1:11
+419:0:4029
+420:2:3507
+421:2:3516
+422:2:3517
+423:2:3521
+424:2:3522
+425:2:3526
+426:2:3527
+427:2:3535
+428:2:3540
+429:2:3544
+430:2:3545
+431:2:3553
+432:2:3554
+433:2:3558
+434:2:3559
+435:2:3553
+436:2:3554
+437:2:3558
+438:2:3559
+439:2:3567
+440:2:3574
+441:2:3575
+442:2:3579
+443:2:3580
+444:2:3587
+445:2:3592
+446:2:3599
+447:2:3600
+448:2:3599
+449:2:3600
+450:2:3607
+451:2:3617
+452:0:4029
+453:2:2767
+454:0:4029
+455:2:3623
+456:2:3632
+457:2:3633
+458:2:3637
+459:2:3638
+460:2:3642
+461:2:3643
+462:2:3651
+463:2:3656
+464:2:3660
+465:2:3661
+466:2:3669
+467:2:3670
+468:2:3674
+469:2:3675
+470:2:3669
+471:2:3670
+472:2:3674
+473:2:3675
+474:2:3683
+475:2:3690
+476:2:3691
+477:2:3695
+478:2:3696
+479:2:3703
+480:2:3708
+481:2:3715
+482:2:3716
+483:2:3715
+484:2:3716
+485:2:3723
+486:0:4029
+487:2:2767
+488:0:4029
+489:1:560
+490:1:561
+491:1:565
+492:1:566
+493:1:574
+494:1:575
+495:1:579
+496:1:580
+497:1:588
+498:1:593
+499:1:597
+500:1:598
+501:1:606
+502:1:607
+503:1:611
+504:1:612
+505:1:606
+506:1:607
+507:1:611
+508:1:612
+509:1:620
+510:1:625
+511:1:632
+512:1:633
+513:1:640
+514:1:645
+515:1:652
+516:1:653
+517:1:652
+518:1:653
+519:1:660
+520:0:4029
+521:1:11
+522:0:4029
+523:2:3507
+524:2:3516
+525:2:3517
+526:2:3521
+527:2:3522
+528:2:3526
+529:2:3527
+530:2:3535
+531:2:3540
+532:2:3544
+533:2:3545
+534:2:3553
+535:2:3554
+536:2:3558
+537:2:3559
+538:2:3553
+539:2:3554
+540:2:3558
+541:2:3559
+542:2:3567
+543:2:3574
+544:2:3575
+545:2:3579
+546:2:3580
+547:2:3587
+548:2:3592
+549:2:3599
+550:2:3600
+551:2:3599
+552:2:3600
+553:2:3607
+554:2:3617
+555:0:4029
+556:2:2767
+557:0:4029
+558:2:3623
+559:2:3632
+560:2:3633
+561:2:3637
+562:2:3638
+563:2:3642
+564:2:3643
+565:2:3651
+566:2:3656
+567:2:3660
+568:2:3661
+569:2:3669
+570:2:3670
+571:2:3674
+572:2:3675
+573:2:3669
+574:2:3670
+575:2:3674
+576:2:3675
+577:2:3683
+578:2:3690
+579:2:3691
+580:2:3695
+581:2:3696
+582:2:3703
+583:2:3708
+584:2:3715
+585:2:3716
+586:2:3715
+587:2:3716
+588:2:3723
+589:0:4029
+590:2:2767
+591:0:4029
+592:1:671
+593:1:674
+594:1:675
+595:0:4029
+596:1:11
+597:0:4029
+598:2:3507
+599:2:3516
+600:2:3517
+601:2:3521
+602:2:3522
+603:2:3526
+604:2:3527
+605:2:3535
+606:2:3540
+607:2:3544
+608:2:3545
+609:2:3553
+610:2:3554
+611:2:3558
+612:2:3559
+613:2:3553
+614:2:3554
+615:2:3558
+616:2:3559
+617:2:3567
+618:2:3574
+619:2:3575
+620:2:3579
+621:2:3580
+622:2:3587
+623:2:3592
+624:2:3599
+625:2:3600
+626:2:3599
+627:2:3600
+628:2:3607
+629:2:3617
+630:0:4029
+631:2:2767
+632:0:4029
+633:2:3623
+634:2:3632
+635:2:3633
+636:2:3637
+637:2:3638
+638:2:3642
+639:2:3643
+640:2:3651
+641:2:3656
+642:2:3660
+643:2:3661
+644:2:3669
+645:2:3670
+646:2:3674
+647:2:3675
+648:2:3669
+649:2:3670
+650:2:3674
+651:2:3675
+652:2:3683
+653:2:3690
+654:2:3691
+655:2:3695
+656:2:3696
+657:2:3703
+658:2:3708
+659:2:3715
+660:2:3716
+661:2:3715
+662:2:3716
+663:2:3723
+664:0:4029
+665:2:2767
+666:0:4029
+667:1:678
+668:1:679
+669:1:683
+670:1:684
+671:1:692
+672:1:693
+673:1:697
+674:1:698
+675:1:706
+676:1:711
+677:1:715
+678:1:716
+679:1:724
+680:1:725
+681:1:729
+682:1:730
+683:1:724
+684:1:725
+685:1:729
+686:1:730
+687:1:738
+688:1:743
+689:1:750
+690:1:751
+691:1:758
+692:1:763
+693:1:770
+694:1:771
+695:1:770
+696:1:771
+697:1:778
+698:0:4029
+699:1:11
+700:0:4029
+701:2:3507
+702:2:3516
+703:2:3517
+704:2:3521
+705:2:3522
+706:2:3526
+707:2:3527
+708:2:3535
+709:2:3540
+710:2:3544
+711:2:3545
+712:2:3553
+713:2:3554
+714:2:3558
+715:2:3559
+716:2:3553
+717:2:3554
+718:2:3558
+719:2:3559
+720:2:3567
+721:2:3574
+722:2:3575
+723:2:3579
+724:2:3580
+725:2:3587
+726:2:3592
+727:2:3599
+728:2:3600
+729:2:3599
+730:2:3600
+731:2:3607
+732:2:3617
+733:0:4029
+734:2:2767
+735:0:4029
+736:2:3623
+737:2:3632
+738:2:3633
+739:2:3637
+740:2:3638
+741:2:3642
+742:2:3643
+743:2:3651
+744:2:3656
+745:2:3660
+746:2:3661
+747:2:3669
+748:2:3670
+749:2:3674
+750:2:3675
+751:2:3669
+752:2:3670
+753:2:3674
+754:2:3675
+755:2:3683
+756:2:3690
+757:2:3691
+758:2:3695
+759:2:3696
+760:2:3703
+761:2:3708
+762:2:3715
+763:2:3716
+764:2:3715
+765:2:3716
+766:2:3723
+767:0:4029
+768:2:2767
+769:0:4029
+770:1:902
+771:1:903
+772:1:907
+773:1:908
+774:1:916
+775:1:917
+776:1:921
+777:1:922
+778:1:930
+779:1:935
+780:1:939
+781:1:940
+782:1:948
+783:1:949
+784:1:953
+785:1:954
+786:1:948
+787:1:949
+788:1:953
+789:1:954
+790:1:962
+791:1:967
+792:1:974
+793:1:975
+794:1:982
+795:1:987
+796:1:994
+797:1:995
+798:1:994
+799:1:995
+800:1:1002
+801:1:1011
+802:1:1015
+803:0:4029
+804:1:11
+805:0:4029
+806:2:3507
+807:2:3516
+808:2:3517
+809:2:3521
+810:2:3522
+811:2:3526
+812:2:3527
+813:2:3535
+814:2:3540
+815:2:3544
+816:2:3545
+817:2:3553
+818:2:3554
+819:2:3558
+820:2:3559
+821:2:3553
+822:2:3554
+823:2:3558
+824:2:3559
+825:2:3567
+826:2:3574
+827:2:3575
+828:2:3579
+829:2:3580
+830:2:3587
+831:2:3592
+832:2:3599
+833:2:3600
+834:2:3599
+835:2:3600
+836:2:3607
+837:2:3617
+838:0:4029
+839:2:2767
+840:0:4029
+841:2:3623
+842:2:3632
+843:2:3633
+844:2:3637
+845:2:3638
+846:2:3642
+847:2:3643
+848:2:3651
+849:2:3656
+850:2:3660
+851:2:3661
+852:2:3669
+853:2:3670
+854:2:3674
+855:2:3675
+856:2:3669
+857:2:3670
+858:2:3674
+859:2:3675
+860:2:3683
+861:2:3690
+862:2:3691
+863:2:3695
+864:2:3696
+865:2:3703
+866:2:3708
+867:2:3715
+868:2:3716
+869:2:3715
+870:2:3716
+871:2:3723
+872:0:4029
+873:2:2767
+874:0:4029
+875:1:1016
+876:1:1017
+877:1:1021
+878:1:1022
+879:1:1030
+880:1:1031
+881:1:1032
+882:1:1044
+883:1:1049
+884:1:1053
+885:1:1054
+886:1:1062
+887:1:1063
+888:1:1067
+889:1:1068
+890:1:1062
+891:1:1063
+892:1:1067
+893:1:1068
+894:1:1076
+895:1:1081
+896:1:1088
+897:1:1089
+898:1:1096
+899:1:1101
+900:1:1108
+901:1:1109
+902:1:1108
+903:1:1109
+904:1:1116
+905:0:4029
+906:1:11
+907:0:4029
+908:2:3507
+909:2:3516
+910:2:3517
+911:2:3521
+912:2:3522
+913:2:3526
+914:2:3527
+915:2:3535
+916:2:3540
+917:2:3544
+918:2:3545
+919:2:3553
+920:2:3554
+921:2:3558
+922:2:3559
+923:2:3553
+924:2:3554
+925:2:3558
+926:2:3559
+927:2:3567
+928:2:3574
+929:2:3575
+930:2:3579
+931:2:3580
+932:2:3587
+933:2:3592
+934:2:3599
+935:2:3600
+936:2:3599
+937:2:3600
+938:2:3607
+939:2:3617
+940:0:4029
+941:2:2767
+942:0:4029
+943:2:3623
+944:2:3632
+945:2:3633
+946:2:3637
+947:2:3638
+948:2:3642
+949:2:3643
+950:2:3651
+951:2:3656
+952:2:3660
+953:2:3661
+954:2:3669
+955:2:3670
+956:2:3674
+957:2:3675
+958:2:3669
+959:2:3670
+960:2:3674
+961:2:3675
+962:2:3683
+963:2:3690
+964:2:3691
+965:2:3695
+966:2:3696
+967:2:3703
+968:2:3708
+969:2:3715
+970:2:3716
+971:2:3715
+972:2:3716
+973:2:3723
+974:0:4029
+975:2:2767
+976:0:4029
+977:1:1127
+978:0:4029
+979:2:3507
+980:2:3516
+981:2:3517
+982:2:3521
+983:2:3522
+984:2:3526
+985:2:3527
+986:2:3535
+987:2:3540
+988:2:3544
+989:2:3545
+990:2:3553
+991:2:3554
+992:2:3558
+993:2:3559
+994:2:3553
+995:2:3554
+996:2:3558
+997:2:3559
+998:2:3567
+999:2:3574
+1000:2:3575
+1001:2:3579
+1002:2:3580
+1003:2:3587
+1004:2:3592
+1005:2:3599
+1006:2:3600
+1007:2:3599
+1008:2:3600
+1009:2:3607
+1010:2:3617
+1011:0:4029
+1012:2:2767
+1013:0:4029
+1014:2:3623
+1015:2:3632
+1016:2:3633
+1017:2:3637
+1018:2:3638
+1019:2:3642
+1020:2:3643
+1021:2:3651
+1022:2:3656
+1023:2:3660
+1024:2:3661
+1025:2:3669
+1026:2:3670
+1027:2:3674
+1028:2:3675
+1029:2:3669
+1030:2:3670
+1031:2:3674
+1032:2:3675
+1033:2:3683
+1034:2:3690
+1035:2:3691
+1036:2:3695
+1037:2:3696
+1038:2:3703
+1039:2:3708
+1040:2:3715
+1041:2:3716
+1042:2:3715
+1043:2:3716
+1044:2:3723
+1045:0:4029
+1046:2:2767
+1047:0:4029
+1048:1:2663
+1049:1:2670
+1050:1:2671
+1051:1:2678
+1052:1:2683
+1053:1:2690
+1054:1:2691
+1055:1:2690
+1056:1:2691
+1057:1:2698
+1058:1:2702
+1059:0:4029
+1060:2:3507
+1061:2:3516
+1062:2:3517
+1063:2:3521
+1064:2:3522
+1065:2:3526
+1066:2:3527
+1067:2:3535
+1068:2:3540
+1069:2:3544
+1070:2:3545
+1071:2:3553
+1072:2:3554
+1073:2:3558
+1074:2:3559
+1075:2:3553
+1076:2:3554
+1077:2:3558
+1078:2:3559
+1079:2:3567
+1080:2:3574
+1081:2:3575
+1082:2:3579
+1083:2:3580
+1084:2:3587
+1085:2:3592
+1086:2:3599
+1087:2:3600
+1088:2:3599
+1089:2:3600
+1090:2:3607
+1091:2:3617
+1092:0:4029
+1093:2:2767
+1094:0:4029
+1095:2:3623
+1096:2:3632
+1097:2:3633
+1098:2:3637
+1099:2:3638
+1100:2:3642
+1101:2:3643
+1102:2:3651
+1103:2:3656
+1104:2:3660
+1105:2:3661
+1106:2:3669
+1107:2:3670
+1108:2:3674
+1109:2:3675
+1110:2:3669
+1111:2:3670
+1112:2:3674
+1113:2:3675
+1114:2:3683
+1115:2:3690
+1116:2:3691
+1117:2:3695
+1118:2:3696
+1119:2:3703
+1120:2:3708
+1121:2:3715
+1122:2:3716
+1123:2:3715
+1124:2:3716
+1125:2:3723
+1126:0:4029
+1127:2:2767
+1128:0:4029
+1129:1:1129
+1130:1:1130
+1131:0:4029
+1132:1:11
+1133:0:4029
+1134:2:3507
+1135:2:3516
+1136:2:3517
+1137:2:3521
+1138:2:3522
+1139:2:3526
+1140:2:3527
+1141:2:3535
+1142:2:3540
+1143:2:3544
+1144:2:3545
+1145:2:3553
+1146:2:3554
+1147:2:3558
+1148:2:3559
+1149:2:3553
+1150:2:3554
+1151:2:3558
+1152:2:3559
+1153:2:3567
+1154:2:3574
+1155:2:3575
+1156:2:3579
+1157:2:3580
+1158:2:3587
+1159:2:3592
+1160:2:3599
+1161:2:3600
+1162:2:3599
+1163:2:3600
+1164:2:3607
+1165:2:3617
+1166:0:4029
+1167:2:2767
+1168:0:4029
+1169:2:3623
+1170:2:3632
+1171:2:3633
+1172:2:3637
+1173:2:3638
+1174:2:3642
+1175:2:3643
+1176:2:3651
+1177:2:3656
+1178:2:3660
+1179:2:3661
+1180:2:3669
+1181:2:3670
+1182:2:3674
+1183:2:3675
+1184:2:3669
+1185:2:3670
+1186:2:3674
+1187:2:3675
+1188:2:3683
+1189:2:3690
+1190:2:3691
+1191:2:3695
+1192:2:3696
+1193:2:3703
+1194:2:3708
+1195:2:3715
+1196:2:3716
+1197:2:3715
+1198:2:3716
+1199:2:3723
+1200:0:4029
+1201:2:2767
+1202:0:4029
+1203:1:1131
+1204:1:1132
+1205:1:1136
+1206:1:1137
+1207:1:1145
+1208:1:1146
+1209:1:1150
+1210:1:1151
+1211:1:1159
+1212:1:1164
+1213:1:1168
+1214:1:1169
+1215:1:1177
+1216:1:1178
+1217:1:1182
+1218:1:1183
+1219:1:1177
+1220:1:1178
+1221:1:1182
+1222:1:1183
+1223:1:1191
+1224:1:1196
+1225:1:1203
+1226:1:1204
+1227:1:1211
+1228:1:1216
+1229:1:1223
+1230:1:1224
+1231:1:1223
+1232:1:1224
+1233:1:1231
+1234:0:4029
+1235:1:11
+1236:0:4029
+1237:2:3507
+1238:2:3516
+1239:2:3517
+1240:2:3521
+1241:2:3522
+1242:2:3526
+1243:2:3527
+1244:2:3535
+1245:2:3540
+1246:2:3544
+1247:2:3545
+1248:2:3553
+1249:2:3554
+1250:2:3558
+1251:2:3559
+1252:2:3553
+1253:2:3554
+1254:2:3558
+1255:2:3559
+1256:2:3567
+1257:2:3574
+1258:2:3575
+1259:2:3579
+1260:2:3580
+1261:2:3587
+1262:2:3592
+1263:2:3599
+1264:2:3600
+1265:2:3599
+1266:2:3600
+1267:2:3607
+1268:2:3617
+1269:0:4029
+1270:2:2767
+1271:0:4029
+1272:2:3623
+1273:2:3632
+1274:2:3633
+1275:2:3637
+1276:2:3638
+1277:2:3642
+1278:2:3643
+1279:2:3651
+1280:2:3656
+1281:2:3660
+1282:2:3661
+1283:2:3669
+1284:2:3670
+1285:2:3674
+1286:2:3675
+1287:2:3669
+1288:2:3670
+1289:2:3674
+1290:2:3675
+1291:2:3683
+1292:2:3690
+1293:2:3691
+1294:2:3695
+1295:2:3696
+1296:2:3703
+1297:2:3708
+1298:2:3715
+1299:2:3716
+1300:2:3715
+1301:2:3716
+1302:2:3723
+1303:0:4029
+1304:2:2767
+1305:0:4029
+1306:1:1242
+1307:1:1243
+1308:1:1247
+1309:1:1248
+1310:1:1256
+1311:1:1257
+1312:1:1261
+1313:1:1262
+1314:1:1270
+1315:1:1275
+1316:1:1279
+1317:1:1280
+1318:1:1288
+1319:1:1289
+1320:1:1293
+1321:1:1294
+1322:1:1288
+1323:1:1289
+1324:1:1293
+1325:1:1294
+1326:1:1302
+1327:1:1307
+1328:1:1314
+1329:1:1315
+1330:1:1322
+1331:1:1327
+1332:1:1334
+1333:1:1335
+1334:1:1334
+1335:1:1335
+1336:1:1342
+1337:1:1351
+1338:1:1355
+1339:0:4029
+1340:1:11
+1341:0:4029
+1342:2:3507
+1343:2:3516
+1344:2:3517
+1345:2:3521
+1346:2:3522
+1347:2:3526
+1348:2:3527
+1349:2:3535
+1350:2:3540
+1351:2:3544
+1352:2:3545
+1353:2:3553
+1354:2:3554
+1355:2:3558
+1356:2:3559
+1357:2:3553
+1358:2:3554
+1359:2:3558
+1360:2:3559
+1361:2:3567
+1362:2:3574
+1363:2:3575
+1364:2:3579
+1365:2:3580
+1366:2:3587
+1367:2:3592
+1368:2:3599
+1369:2:3600
+1370:2:3599
+1371:2:3600
+1372:2:3607
+1373:2:3617
+1374:0:4029
+1375:2:2767
+1376:0:4029
+1377:2:3623
+1378:2:3632
+1379:2:3633
+1380:2:3637
+1381:2:3638
+1382:2:3642
+1383:2:3643
+1384:2:3651
+1385:2:3656
+1386:2:3660
+1387:2:3661
+1388:2:3669
+1389:2:3670
+1390:2:3674
+1391:2:3675
+1392:2:3669
+1393:2:3670
+1394:2:3674
+1395:2:3675
+1396:2:3683
+1397:2:3690
+1398:2:3691
+1399:2:3695
+1400:2:3696
+1401:2:3703
+1402:2:3708
+1403:2:3715
+1404:2:3716
+1405:2:3715
+1406:2:3716
+1407:2:3723
+1408:0:4029
+1409:2:2767
+1410:0:4029
+1411:1:1356
+1412:1:1360
+1413:1:1361
+1414:1:1365
+1415:1:1366
+1416:1:1374
+1417:1:1382
+1418:1:1383
+1419:1:1387
+1420:1:1391
+1421:1:1392
+1422:1:1387
+1423:1:1391
+1424:1:1392
+1425:1:1396
+1426:1:1403
+1427:1:1410
+1428:1:1411
+1429:1:1418
+1430:1:1423
+1431:1:1430
+1432:1:1431
+1433:1:1430
+1434:1:1431
+1435:1:1438
+1436:0:4029
+1437:1:11
+1438:0:4029
+1439:2:3507
+1440:2:3516
+1441:2:3517
+1442:2:3521
+1443:2:3522
+1444:2:3526
+1445:2:3527
+1446:2:3535
+1447:2:3540
+1448:2:3544
+1449:2:3545
+1450:2:3553
+1451:2:3554
+1452:2:3558
+1453:2:3559
+1454:2:3553
+1455:2:3554
+1456:2:3558
+1457:2:3559
+1458:2:3567
+1459:2:3574
+1460:2:3575
+1461:2:3579
+1462:2:3580
+1463:2:3587
+1464:2:3592
+1465:2:3599
+1466:2:3600
+1467:2:3599
+1468:2:3600
+1469:2:3607
+1470:2:3617
+1471:0:4029
+1472:2:2767
+1473:0:4029
+1474:2:3623
+1475:2:3632
+1476:2:3633
+1477:2:3637
+1478:2:3638
+1479:2:3642
+1480:2:3643
+1481:2:3651
+1482:2:3656
+1483:2:3660
+1484:2:3661
+1485:2:3669
+1486:2:3670
+1487:2:3674
+1488:2:3675
+1489:2:3669
+1490:2:3670
+1491:2:3674
+1492:2:3675
+1493:2:3683
+1494:2:3690
+1495:2:3691
+1496:2:3695
+1497:2:3696
+1498:2:3703
+1499:2:3708
+1500:2:3715
+1501:2:3716
+1502:2:3715
+1503:2:3716
+1504:2:3723
+1505:0:4029
+1506:2:2767
+1507:0:4029
+1508:1:1448
+1509:1:1449
+1510:1:1453
+1511:1:1454
+1512:1:1462
+1513:1:1463
+1514:1:1467
+1515:1:1468
+1516:1:1476
+1517:1:1481
+1518:1:1485
+1519:1:1486
+1520:1:1494
+1521:1:1495
+1522:1:1499
+1523:1:1500
+1524:1:1494
+1525:1:1495
+1526:1:1499
+1527:1:1500
+1528:1:1508
+1529:1:1513
+1530:1:1520
+1531:1:1521
+1532:1:1528
+1533:1:1533
+1534:1:1540
+1535:1:1541
+1536:1:1540
+1537:1:1541
+1538:1:1548
+1539:0:4029
+1540:1:11
+1541:0:4029
+1542:2:3507
+1543:2:3516
+1544:2:3517
+1545:2:3521
+1546:2:3522
+1547:2:3526
+1548:2:3527
+1549:2:3535
+1550:2:3540
+1551:2:3544
+1552:2:3545
+1553:2:3553
+1554:2:3554
+1555:2:3558
+1556:2:3559
+1557:2:3553
+1558:2:3554
+1559:2:3558
+1560:2:3559
+1561:2:3567
+1562:2:3574
+1563:2:3575
+1564:2:3579
+1565:2:3580
+1566:2:3587
+1567:2:3592
+1568:2:3599
+1569:2:3600
+1570:2:3599
+1571:2:3600
+1572:2:3607
+1573:2:3617
+1574:0:4029
+1575:2:2767
+1576:0:4029
+1577:2:3623
+1578:2:3632
+1579:2:3633
+1580:2:3637
+1581:2:3638
+1582:2:3642
+1583:2:3643
+1584:2:3651
+1585:2:3656
+1586:2:3660
+1587:2:3661
+1588:2:3669
+1589:2:3670
+1590:2:3674
+1591:2:3675
+1592:2:3669
+1593:2:3670
+1594:2:3674
+1595:2:3675
+1596:2:3683
+1597:2:3690
+1598:2:3691
+1599:2:3695
+1600:2:3696
+1601:2:3703
+1602:2:3708
+1603:2:3715
+1604:2:3716
+1605:2:3715
+1606:2:3716
+1607:2:3723
+1608:0:4029
+1609:2:2767
+1610:0:4029
+1611:1:1559
+1612:1:1560
+1613:1:1564
+1614:1:1565
+1615:1:1573
+1616:1:1574
+1617:1:1578
+1618:1:1579
+1619:1:1587
+1620:1:1592
+1621:1:1596
+1622:1:1597
+1623:1:1605
+1624:1:1606
+1625:1:1610
+1626:1:1611
+1627:1:1605
+1628:1:1606
+1629:1:1610
+1630:1:1611
+1631:1:1619
+1632:1:1624
+1633:1:1631
+1634:1:1632
+1635:1:1639
+1636:1:1644
+1637:1:1651
+1638:1:1652
+1639:1:1651
+1640:1:1652
+1641:1:1659
+1642:1:1668
+1643:1:1672
+1644:0:4029
+1645:1:11
+1646:0:4029
+1647:2:3507
+1648:2:3516
+1649:2:3517
+1650:2:3521
+1651:2:3522
+1652:2:3526
+1653:2:3527
+1654:2:3535
+1655:2:3540
+1656:2:3544
+1657:2:3545
+1658:2:3553
+1659:2:3554
+1660:2:3558
+1661:2:3559
+1662:2:3553
+1663:2:3554
+1664:2:3558
+1665:2:3559
+1666:2:3567
+1667:2:3574
+1668:2:3575
+1669:2:3579
+1670:2:3580
+1671:2:3587
+1672:2:3592
+1673:2:3599
+1674:2:3600
+1675:2:3599
+1676:2:3600
+1677:2:3607
+1678:2:3617
+1679:0:4029
+1680:2:2767
+1681:0:4029
+1682:2:3623
+1683:2:3632
+1684:2:3633
+1685:2:3637
+1686:2:3638
+1687:2:3642
+1688:2:3643
+1689:2:3651
+1690:2:3656
+1691:2:3660
+1692:2:3661
+1693:2:3669
+1694:2:3670
+1695:2:3674
+1696:2:3675
+1697:2:3669
+1698:2:3670
+1699:2:3674
+1700:2:3675
+1701:2:3683
+1702:2:3690
+1703:2:3691
+1704:2:3695
+1705:2:3696
+1706:2:3703
+1707:2:3708
+1708:2:3715
+1709:2:3716
+1710:2:3715
+1711:2:3716
+1712:2:3723
+1713:0:4029
+1714:2:2767
+1715:0:4029
+1716:1:1673
+1717:1:1674
+1718:1:1678
+1719:1:1679
+1720:1:1687
+1721:1:1688
+1722:1:1689
+1723:1:1701
+1724:1:1706
+1725:1:1710
+1726:1:1711
+1727:1:1719
+1728:1:1720
+1729:1:1724
+1730:1:1725
+1731:1:1719
+1732:1:1720
+1733:1:1724
+1734:1:1725
+1735:1:1733
+1736:1:1738
+1737:1:1745
+1738:1:1746
+1739:1:1753
+1740:1:1758
+1741:1:1765
+1742:1:1766
+1743:1:1765
+1744:1:1766
+1745:1:1773
+1746:0:4029
+1747:1:11
+1748:0:4029
+1749:1:1784
+1750:1:1785
+1751:0:4029
+1752:1:11
+1753:0:4029
+1754:1:1791
+1755:1:1792
+1756:1:1796
+1757:1:1797
+1758:1:1805
+1759:1:1806
+1760:1:1810
+1761:1:1811
+1762:1:1819
+1763:1:1824
+1764:1:1828
+1765:1:1829
+1766:1:1837
+1767:1:1838
+1768:1:1842
+1769:1:1843
+1770:1:1837
+1771:1:1838
+1772:1:1842
+1773:1:1843
+1774:1:1851
+1775:1:1856
+1776:1:1863
+1777:1:1864
+1778:1:1871
+1779:1:1876
+1780:1:1883
+1781:1:1884
+1782:1:1883
+1783:1:1884
+1784:1:1891
+1785:0:4029
+1786:1:11
+1787:0:4029
+1788:1:1902
+1789:1:1903
+1790:1:1907
+1791:1:1908
+1792:1:1916
+1793:1:1917
+1794:1:1921
+1795:1:1922
+1796:1:1930
+1797:1:1935
+1798:1:1939
+1799:1:1940
+1800:1:1948
+1801:1:1949
+1802:1:1953
+1803:1:1954
+1804:1:1948
+1805:1:1949
+1806:1:1953
+1807:1:1954
+1808:1:1962
+1809:1:1967
+1810:1:1974
+1811:1:1975
+1812:1:1982
+1813:1:1987
+1814:1:1994
+1815:1:1995
+1816:1:1994
+1817:1:1995
+1818:1:2002
+1819:1:2011
+1820:0:4029
+1821:1:11
+1822:0:4029
+1823:1:2129
+1824:1:2133
+1825:1:2134
+1826:1:2138
+1827:1:2139
+1828:1:2147
+1829:1:2155
+1830:1:2156
+1831:1:2160
+1832:1:2164
+1833:1:2165
+1834:1:2160
+1835:1:2164
+1836:1:2165
+1837:1:2169
+1838:1:2176
+1839:1:2183
+1840:1:2184
+1841:1:2191
+1842:1:2196
+1843:1:2203
+1844:1:2204
+1845:1:2203
+1846:1:2204
+1847:1:2211
+1848:0:4029
+1849:1:11
+1850:0:4029
+1851:2:3507
+1852:2:3516
+1853:2:3517
+1854:2:3521
+1855:2:3522
+1856:2:3526
+1857:2:3527
+1858:2:3535
+1859:2:3540
+1860:2:3544
+1861:2:3545
+1862:2:3553
+1863:2:3554
+1864:2:3558
+1865:2:3559
+1866:2:3553
+1867:2:3554
+1868:2:3558
+1869:2:3559
+1870:2:3567
+1871:2:3574
+1872:2:3575
+1873:2:3579
+1874:2:3580
+1875:2:3587
+1876:2:3592
+1877:2:3599
+1878:2:3600
+1879:2:3599
+1880:2:3600
+1881:2:3607
+1882:2:3617
+1883:0:4029
+1884:2:2767
+1885:0:4029
+1886:2:3623
+1887:2:3632
+1888:2:3633
+1889:2:3637
+1890:2:3638
+1891:2:3642
+1892:2:3643
+1893:2:3651
+1894:2:3656
+1895:2:3660
+1896:2:3661
+1897:2:3669
+1898:2:3670
+1899:2:3674
+1900:2:3675
+1901:2:3669
+1902:2:3670
+1903:2:3674
+1904:2:3675
+1905:2:3683
+1906:2:3690
+1907:2:3691
+1908:2:3695
+1909:2:3696
+1910:2:3703
+1911:2:3708
+1912:2:3715
+1913:2:3716
+1914:2:3715
+1915:2:3716
+1916:2:3723
+1917:0:4029
+1918:2:2767
+1919:0:4029
+1920:1:2221
+1921:1:2222
+1922:1:2226
+1923:1:2227
+1924:1:2235
+1925:1:2236
+1926:1:2240
+1927:1:2241
+1928:1:2249
+1929:1:2254
+1930:1:2258
+1931:1:2259
+1932:1:2267
+1933:1:2268
+1934:1:2272
+1935:1:2273
+1936:1:2267
+1937:1:2268
+1938:1:2272
+1939:1:2273
+1940:1:2281
+1941:1:2286
+1942:1:2293
+1943:1:2294
+1944:1:2301
+1945:1:2306
+1946:1:2313
+1947:1:2314
+1948:1:2313
+1949:1:2314
+1950:1:2321
+-1:-1:-1
+1951:0:4029
+1952:1:11
+1953:0:4029
+1954:2:3507
+1955:2:3516
+1956:2:3517
+1957:2:3521
+1958:2:3522
+1959:2:3526
+1960:2:3527
+1961:2:3535
+1962:2:3540
+1963:2:3544
+1964:2:3545
+1965:2:3553
+1966:2:3554
+1967:2:3558
+1968:2:3559
+1969:2:3553
+1970:2:3554
+1971:2:3558
+1972:2:3559
+1973:2:3567
+1974:2:3574
+1975:2:3575
+1976:2:3579
+1977:2:3580
+1978:2:3587
+1979:2:3592
+1980:2:3599
+1981:2:3600
+1982:2:3599
+1983:2:3600
+1984:2:3607
+1985:2:3617
+1986:0:4029
+1987:2:2767
+1988:0:4029
+1989:2:3623
+1990:2:3632
+1991:2:3633
+1992:2:3637
+1993:2:3638
+1994:2:3642
+1995:2:3643
+1996:2:3651
+1997:2:3656
+1998:2:3660
+1999:2:3661
+2000:2:3669
+2001:2:3670
+2002:2:3674
+2003:2:3675
+2004:2:3669
+2005:2:3670
+2006:2:3674
+2007:2:3675
+2008:2:3683
+2009:2:3690
+2010:2:3691
+2011:2:3695
+2012:2:3696
+2013:2:3703
+2014:2:3708
+2015:2:3715
+2016:2:3716
+2017:2:3715
+2018:2:3716
+2019:2:3723
+2020:0:4029
+2021:2:2767
+2022:0:4029
+2023:1:2332
+2024:0:4029
+2025:2:3507
+2026:2:3516
+2027:2:3517
+2028:2:3521
+2029:2:3522
+2030:2:3526
+2031:2:3527
+2032:2:3535
+2033:2:3540
+2034:2:3544
+2035:2:3545
+2036:2:3553
+2037:2:3554
+2038:2:3558
+2039:2:3559
+2040:2:3553
+2041:2:3554
+2042:2:3558
+2043:2:3559
+2044:2:3567
+2045:2:3574
+2046:2:3575
+2047:2:3579
+2048:2:3580
+2049:2:3587
+2050:2:3592
+2051:2:3599
+2052:2:3600
+2053:2:3599
+2054:2:3600
+2055:2:3607
+2056:2:3617
+2057:0:4029
+2058:2:2767
+2059:0:4029
+2060:2:3623
+2061:2:3632
+2062:2:3633
+2063:2:3637
+2064:2:3638
+2065:2:3642
+2066:2:3643
+2067:2:3651
+2068:2:3656
+2069:2:3660
+2070:2:3661
+2071:2:3669
+2072:2:3670
+2073:2:3674
+2074:2:3675
+2075:2:3669
+2076:2:3670
+2077:2:3674
+2078:2:3675
+2079:2:3683
+2080:2:3690
+2081:2:3691
+2082:2:3695
+2083:2:3696
+2084:2:3703
+2085:2:3708
+2086:2:3715
+2087:2:3716
+2088:2:3715
+2089:2:3716
+2090:2:3723
+2091:0:4029
+2092:2:2767
+2093:0:4029
+2094:1:2706
+2095:1:2713
+2096:1:2714
+2097:1:2721
+2098:1:2726
+2099:1:2733
+2100:1:2734
+2101:1:2733
+2102:1:2734
+2103:1:2741
+2104:1:2745
+2105:0:4029
+2106:2:3507
+2107:2:3516
+2108:2:3517
+2109:2:3521
+2110:2:3522
+2111:2:3526
+2112:2:3527
+2113:2:3535
+2114:2:3540
+2115:2:3544
+2116:2:3545
+2117:2:3553
+2118:2:3554
+2119:2:3558
+2120:2:3559
+2121:2:3553
+2122:2:3554
+2123:2:3558
+2124:2:3559
+2125:2:3567
+2126:2:3574
+2127:2:3575
+2128:2:3579
+2129:2:3580
+2130:2:3587
+2131:2:3592
+2132:2:3599
+2133:2:3600
+2134:2:3599
+2135:2:3600
+2136:2:3607
+2137:2:3617
+2138:0:4029
+2139:2:2767
+2140:0:4029
+2141:2:3623
+2142:2:3632
+2143:2:3633
+2144:2:3637
+2145:2:3638
+2146:2:3642
+2147:2:3643
+2148:2:3651
+2149:2:3656
+2150:2:3660
+2151:2:3661
+2152:2:3669
+2153:2:3670
+2154:2:3674
+2155:2:3675
+2156:2:3669
+2157:2:3670
+2158:2:3674
+2159:2:3675
+2160:2:3683
+2161:2:3690
+2162:2:3691
+2163:2:3695
+2164:2:3696
+2165:2:3703
+2166:2:3708
+2167:2:3715
+2168:2:3716
+2169:2:3715
+2170:2:3716
+2171:2:3723
+2172:0:4029
+2173:2:2767
+2174:0:4029
+2175:1:2334
+2176:1:2335
+2177:0:4029
+2178:1:11
+2179:0:4029
+2180:2:3507
+2181:2:3516
+2182:2:3517
+2183:2:3521
+2184:2:3522
+2185:2:3526
+2186:2:3527
+2187:2:3535
+2188:2:3540
+2189:2:3544
+2190:2:3545
+2191:2:3553
+2192:2:3554
+2193:2:3558
+2194:2:3559
+2195:2:3553
+2196:2:3554
+2197:2:3558
+2198:2:3559
+2199:2:3567
+2200:2:3574
+2201:2:3575
+2202:2:3579
+2203:2:3580
+2204:2:3587
+2205:2:3592
+2206:2:3599
+2207:2:3600
+2208:2:3599
+2209:2:3600
+2210:2:3607
+2211:2:3617
+2212:0:4029
+2213:2:2767
+2214:0:4029
+2215:2:3623
+2216:2:3632
+2217:2:3633
+2218:2:3637
+2219:2:3638
+2220:2:3642
+2221:2:3643
+2222:2:3651
+2223:2:3656
+2224:2:3660
+2225:2:3661
+2226:2:3669
+2227:2:3670
+2228:2:3674
+2229:2:3675
+2230:2:3669
+2231:2:3670
+2232:2:3674
+2233:2:3675
+2234:2:3683
+2235:2:3690
+2236:2:3691
+2237:2:3695
+2238:2:3696
+2239:2:3703
+2240:2:3708
+2241:2:3715
+2242:2:3716
+2243:2:3715
+2244:2:3716
+2245:2:3723
+2246:0:4029
+2247:2:2767
+2248:0:4029
+2249:1:2336
+2250:1:2340
+2251:1:2341
+2252:1:2345
+2253:1:2349
+2254:1:2350
+2255:1:2354
+2256:1:2362
+2257:1:2363
+2258:1:2367
+2259:1:2371
+2260:1:2372
+2261:1:2367
+2262:1:2371
+2263:1:2372
+2264:1:2376
+2265:1:2383
+2266:1:2390
+2267:1:2391
+2268:1:2398
+2269:1:2403
+2270:1:2410
+2271:1:2411
+2272:1:2410
+2273:1:2411
+2274:1:2418
+2275:0:4029
+2276:1:11
+2277:0:4029
+2278:2:3507
+2279:2:3516
+2280:2:3517
+2281:2:3521
+2282:2:3522
+2283:2:3526
+2284:2:3527
+2285:2:3535
+2286:2:3540
+2287:2:3544
+2288:2:3545
+2289:2:3553
+2290:2:3554
+2291:2:3558
+2292:2:3559
+2293:2:3553
+2294:2:3554
+2295:2:3558
+2296:2:3559
+2297:2:3567
+2298:2:3574
+2299:2:3575
+2300:2:3579
+2301:2:3580
+2302:2:3587
+2303:2:3592
+2304:2:3599
+2305:2:3600
+2306:2:3599
+2307:2:3600
+2308:2:3607
+2309:2:3617
+2310:0:4029
+2311:2:2767
+2312:0:4029
+2313:2:3623
+2314:2:3632
+2315:2:3633
+2316:2:3637
+2317:2:3638
+2318:2:3642
+2319:2:3643
+2320:2:3651
+2321:2:3656
+2322:2:3660
+2323:2:3661
+2324:2:3669
+2325:2:3670
+2326:2:3674
+2327:2:3675
+2328:2:3669
+2329:2:3670
+2330:2:3674
+2331:2:3675
+2332:2:3683
+2333:2:3690
+2334:2:3691
+2335:2:3695
+2336:2:3696
+2337:2:3703
+2338:2:3708
+2339:2:3715
+2340:2:3716
+2341:2:3715
+2342:2:3716
+2343:2:3723
+2344:0:4029
+2345:2:2767
+2346:0:4029
+2347:1:2428
+2348:1:2429
+2349:1:2433
+2350:1:2434
+2351:1:2442
+2352:1:2443
+2353:1:2447
+2354:1:2448
+2355:1:2456
+2356:1:2461
+2357:1:2465
+2358:1:2466
+2359:1:2474
+2360:1:2475
+2361:1:2479
+2362:1:2480
+2363:1:2474
+2364:1:2475
+2365:1:2479
+2366:1:2480
+2367:1:2488
+2368:1:2493
+2369:1:2500
+2370:1:2501
+2371:1:2508
+2372:1:2513
+2373:1:2520
+2374:1:2521
+2375:1:2520
+2376:1:2521
+2377:1:2528
+2378:0:4029
+2379:1:11
+2380:0:4029
+2381:2:3507
+2382:2:3516
+2383:2:3517
+2384:2:3521
+2385:2:3522
+2386:2:3526
+2387:2:3527
+2388:2:3535
+2389:2:3540
+2390:2:3544
+2391:2:3545
+2392:2:3553
+2393:2:3554
+2394:2:3558
+2395:2:3559
+2396:2:3553
+2397:2:3554
+2398:2:3558
+2399:2:3559
+2400:2:3567
+2401:2:3574
+2402:2:3575
+2403:2:3579
+2404:2:3580
+2405:2:3587
+2406:2:3592
+2407:2:3599
+2408:2:3600
+2409:2:3599
+2410:2:3600
+2411:2:3607
+2412:2:3617
+2413:0:4029
+2414:2:2767
+2415:0:4029
+2416:2:3623
+2417:2:3632
+2418:2:3633
+2419:2:3637
+2420:2:3638
+2421:2:3642
+2422:2:3643
+2423:2:3651
+2424:2:3656
+2425:2:3660
+2426:2:3661
+2427:2:3669
+2428:2:3670
+2429:2:3674
+2430:2:3675
+2431:2:3669
+2432:2:3670
+2433:2:3674
+2434:2:3675
+2435:2:3683
+2436:2:3690
+2437:2:3691
+2438:2:3695
+2439:2:3696
+2440:2:3703
+2441:2:3708
+2442:2:3715
+2443:2:3716
+2444:2:3715
+2445:2:3716
+2446:2:3723
+2447:0:4029
+2448:2:2767
+2449:0:4029
+2450:1:2539
+2451:1:2540
+2452:1:2544
+2453:1:2545
+2454:1:2553
+2455:1:2554
+2456:1:2558
+2457:1:2559
+2458:1:2567
+2459:1:2572
+2460:1:2576
+2461:1:2577
+2462:1:2585
+2463:1:2586
+2464:1:2590
+2465:1:2591
+2466:1:2585
+2467:1:2586
+2468:1:2590
+2469:1:2591
+2470:1:2599
+2471:1:2604
+2472:1:2611
+2473:1:2612
+2474:1:2619
+2475:1:2624
+2476:1:2631
+2477:1:2632
+2478:1:2631
+2479:1:2632
+2480:1:2639
+2481:1:2648
+2482:1:2652
+2483:0:4029
+2484:1:11
+2485:0:4029
+2486:2:3507
+2487:2:3516
+2488:2:3517
+2489:2:3521
+2490:2:3522
+2491:2:3526
+2492:2:3527
+2493:2:3535
+2494:2:3540
+2495:2:3544
+2496:2:3545
+2497:2:3553
+2498:2:3554
+2499:2:3558
+2500:2:3559
+2501:2:3553
+2502:2:3554
+2503:2:3558
+2504:2:3559
+2505:2:3567
+2506:2:3574
+2507:2:3575
+2508:2:3579
+2509:2:3580
+2510:2:3587
+2511:2:3592
+2512:2:3599
+2513:2:3600
+2514:2:3599
+2515:2:3600
+2516:2:3607
+2517:2:3617
+2518:0:4029
+2519:2:2767
+2520:0:4029
+2521:2:3623
+2522:2:3632
+2523:2:3633
+2524:2:3637
+2525:2:3638
+2526:2:3642
+2527:2:3643
+2528:2:3651
+2529:2:3656
+2530:2:3660
+2531:2:3661
+2532:2:3669
+2533:2:3670
+2534:2:3674
+2535:2:3675
+2536:2:3669
+2537:2:3670
+2538:2:3674
+2539:2:3675
+2540:2:3683
+2541:2:3690
+2542:2:3691
+2543:2:3695
+2544:2:3696
+2545:2:3703
+2546:2:3708
+2547:2:3715
+2548:2:3716
+2549:2:3715
+2550:2:3716
+2551:2:3723
+2552:0:4029
+2553:2:2767
+2554:0:4029
+2555:1:2653
+2556:0:4029
+2557:1:2661
+2558:0:4029
+2559:1:2749
+2560:0:4029
+2561:1:9
+2562:0:4029
+2563:2:3507
+2564:2:3516
+2565:2:3517
+2566:2:3521
+2567:2:3522
+2568:2:3526
+2569:2:3527
+2570:2:3535
+2571:2:3540
+2572:2:3544
+2573:2:3545
+2574:2:3553
+2575:2:3554
+2576:2:3558
+2577:2:3559
+2578:2:3553
+2579:2:3554
+2580:2:3558
+2581:2:3559
+2582:2:3567
+2583:2:3574
+2584:2:3575
+2585:2:3579
+2586:2:3580
+2587:2:3587
+2588:2:3592
+2589:2:3599
+2590:2:3600
+2591:2:3599
+2592:2:3600
+2593:2:3607
+2594:2:3617
+2595:0:4029
+2596:2:2767
+2597:0:4029
+2598:2:3623
+2599:2:3632
+2600:2:3633
+2601:2:3637
+2602:2:3638
+2603:2:3642
+2604:2:3643
+2605:2:3651
+2606:2:3656
+2607:2:3660
+2608:2:3661
+2609:2:3669
+2610:2:3670
+2611:2:3674
+2612:2:3675
+2613:2:3669
+2614:2:3670
+2615:2:3674
+2616:2:3675
+2617:2:3683
+2618:2:3690
+2619:2:3691
+2620:2:3695
+2621:2:3696
+2622:2:3703
+2623:2:3708
+2624:2:3715
+2625:2:3716
+2626:2:3715
+2627:2:3716
+2628:2:3723
+2629:0:4029
+2630:2:2767
+2631:0:4029
+2632:1:10
+2633:0:4029
+2634:1:11
+2635:0:4029
+2636:2:3507
+2637:2:3516
+2638:2:3517
+2639:2:3521
+2640:2:3522
+2641:2:3526
+2642:2:3527
+2643:2:3535
+2644:2:3540
+2645:2:3544
+2646:2:3545
+2647:2:3553
+2648:2:3554
+2649:2:3558
+2650:2:3559
+2651:2:3553
+2652:2:3554
+2653:2:3558
+2654:2:3559
+2655:2:3567
+2656:2:3574
+2657:2:3575
+2658:2:3579
+2659:2:3580
+2660:2:3587
+2661:2:3592
+2662:2:3599
+2663:2:3600
+2664:2:3599
+2665:2:3600
+2666:2:3607
+2667:2:3617
+2668:0:4029
+2669:2:2767
+2670:0:4029
+2671:2:3623
+2672:2:3632
+2673:2:3633
+2674:2:3637
+2675:2:3638
+2676:2:3642
+2677:2:3643
+2678:2:3651
+2679:2:3656
+2680:2:3660
+2681:2:3661
+2682:2:3669
+2683:2:3670
+2684:2:3674
+2685:2:3675
+2686:2:3669
+2687:2:3670
+2688:2:3674
+2689:2:3675
+2690:2:3683
+2691:2:3690
+2692:2:3691
+2693:2:3695
+2694:2:3696
+2695:2:3703
+2696:2:3708
+2697:2:3715
+2698:2:3716
+2699:2:3715
+2700:2:3716
+2701:2:3723
+2702:0:4029
+2703:2:2767
+2704:0:4029
+2705:1:12
+2706:1:13
+2707:1:17
+2708:1:18
+2709:1:26
+2710:1:27
+2711:1:28
+2712:1:40
+2713:1:45
+2714:1:49
+2715:1:50
+2716:1:58
+2717:1:59
+2718:1:63
+2719:1:64
+2720:1:58
+2721:1:59
+2722:1:63
+2723:1:64
+2724:1:72
+2725:1:77
+2726:1:84
+2727:1:85
+2728:1:92
+2729:1:97
+2730:1:104
+2731:1:105
+2732:1:104
+2733:1:105
+2734:1:112
+2735:0:4029
+2736:1:11
+2737:0:4029
+2738:1:123
+2739:1:124
+2740:0:4029
+2741:1:11
+2742:0:4029
+2743:1:130
+2744:1:131
+2745:1:135
+2746:1:136
+2747:1:144
+2748:1:145
+2749:1:149
+2750:1:150
+2751:1:158
+2752:1:163
+2753:1:167
+2754:1:168
+2755:1:176
+2756:1:177
+2757:1:181
+2758:1:182
+2759:1:176
+2760:1:177
+2761:1:181
+2762:1:182
+2763:1:190
+2764:1:195
+2765:1:202
+2766:1:203
+2767:1:210
+2768:1:215
+2769:1:222
+2770:1:223
+2771:1:222
+2772:1:223
+2773:1:230
+2774:0:4029
+2775:1:11
+2776:0:4029
+2777:1:241
+2778:1:242
+2779:1:246
+2780:1:247
+2781:1:255
+2782:1:256
+2783:1:260
+2784:1:261
+2785:1:269
+2786:1:274
+2787:1:278
+2788:1:279
+2789:1:287
+2790:1:288
+2791:1:292
+2792:1:293
+2793:1:287
+2794:1:288
+2795:1:292
+2796:1:293
+2797:1:301
+2798:1:306
+2799:1:313
+2800:1:314
+2801:1:321
+2802:1:326
+2803:1:333
+2804:1:334
+2805:1:333
+2806:1:334
+2807:1:341
+2808:1:350
+2809:0:4029
+2810:1:11
+2811:0:4029
+2812:1:468
+2813:1:472
+2814:1:473
+2815:1:477
+2816:1:478
+2817:1:486
+2818:1:494
+2819:1:495
+2820:1:499
+2821:1:503
+2822:1:504
+2823:1:499
+2824:1:503
+2825:1:504
+2826:1:508
+2827:1:515
+2828:1:522
+2829:1:523
+2830:1:530
+2831:1:535
+2832:1:542
+2833:1:543
+2834:1:542
+2835:1:543
+2836:1:550
+2837:0:4029
+2838:1:11
+2839:0:4029
+2840:2:3507
+2841:2:3516
+2842:2:3517
+2843:2:3521
+2844:2:3522
+2845:2:3526
+2846:2:3527
+2847:2:3535
+2848:2:3540
+2849:2:3544
+2850:2:3545
+2851:2:3553
+2852:2:3554
+2853:2:3558
+2854:2:3559
+2855:2:3553
+2856:2:3554
+2857:2:3558
+2858:2:3559
+2859:2:3567
+2860:2:3574
+2861:2:3575
+2862:2:3579
+2863:2:3580
+2864:2:3587
+2865:2:3592
+2866:2:3599
+2867:2:3600
+2868:2:3599
+2869:2:3600
+2870:2:3607
+2871:2:3617
+2872:0:4029
+2873:2:2767
+2874:0:4029
+2875:2:3623
+2876:2:3632
+2877:2:3633
+2878:2:3637
+2879:2:3638
+2880:2:3642
+2881:2:3643
+2882:2:3651
+2883:2:3656
+2884:2:3660
+2885:2:3661
+2886:2:3669
+2887:2:3670
+2888:2:3674
+2889:2:3675
+2890:2:3669
+2891:2:3670
+2892:2:3674
+2893:2:3675
+2894:2:3683
+2895:2:3690
+2896:2:3691
+2897:2:3695
+2898:2:3696
+2899:2:3703
+2900:2:3708
+2901:2:3715
+2902:2:3716
+2903:2:3715
+2904:2:3716
+2905:2:3723
+2906:0:4029
+2907:2:2767
+2908:0:4029
+2909:1:678
+2910:1:679
+2911:1:683
+2912:1:684
+2913:1:692
+2914:1:693
+2915:1:697
+2916:1:698
+2917:1:706
+2918:1:711
+2919:1:715
+2920:1:716
+2921:1:724
+2922:1:725
+2923:1:729
+2924:1:730
+2925:1:724
+2926:1:725
+2927:1:729
+2928:1:730
+2929:1:738
+2930:1:743
+2931:1:750
+2932:1:751
+2933:1:758
+2934:1:763
+2935:1:770
+2936:1:771
+2937:1:770
+2938:1:771
+2939:1:778
+2940:0:4029
+2941:1:11
+2942:0:4029
+2943:2:3507
+2944:2:3516
+2945:2:3517
+2946:2:3521
+2947:2:3522
+2948:2:3526
+2949:2:3527
+2950:2:3535
+2951:2:3540
+2952:2:3544
+2953:2:3545
+2954:2:3553
+2955:2:3554
+2956:2:3558
+2957:2:3559
+2958:2:3553
+2959:2:3554
+2960:2:3558
+2961:2:3559
+2962:2:3567
+2963:2:3574
+2964:2:3575
+2965:2:3579
+2966:2:3580
+2967:2:3587
+2968:2:3592
+2969:2:3599
+2970:2:3600
+2971:2:3599
+2972:2:3600
+2973:2:3607
+2974:2:3617
+2975:0:4029
+2976:2:2767
+2977:0:4029
+2978:2:3623
+2979:2:3632
+2980:2:3633
+2981:2:3637
+2982:2:3638
+2983:2:3642
+2984:2:3643
+2985:2:3651
+2986:2:3656
+2987:2:3660
+2988:2:3661
+2989:2:3669
+2990:2:3670
+2991:2:3674
+2992:2:3675
+2993:2:3669
+2994:2:3670
+2995:2:3674
+2996:2:3675
+2997:2:3683
+2998:2:3690
+2999:2:3691
+3000:2:3695
+3001:2:3696
+3002:2:3703
+3003:2:3708
+3004:2:3715
+3005:2:3716
+3006:2:3715
+3007:2:3716
+3008:2:3723
+3009:0:4029
+3010:2:2767
+3011:0:4029
+3012:1:560
+3013:1:561
+3014:1:565
+3015:1:566
+3016:1:574
+3017:1:575
+3018:1:579
+3019:1:580
+3020:1:588
+3021:1:593
+3022:1:597
+3023:1:598
+3024:1:606
+3025:1:607
+3026:1:611
+3027:1:612
+3028:1:606
+3029:1:607
+3030:1:611
+3031:1:612
+3032:1:620
+3033:1:625
+3034:1:632
+3035:1:633
+3036:1:640
+3037:1:645
+3038:1:652
+3039:1:653
+3040:1:652
+3041:1:653
+3042:1:660
+3043:0:4029
+3044:1:11
+3045:0:4029
+3046:2:3507
+3047:2:3516
+3048:2:3517
+3049:2:3521
+3050:2:3522
+3051:2:3526
+3052:2:3527
+3053:2:3535
+3054:2:3540
+3055:2:3544
+3056:2:3545
+3057:2:3553
+3058:2:3554
+3059:2:3558
+3060:2:3559
+3061:2:3553
+3062:2:3554
+3063:2:3558
+3064:2:3559
+3065:2:3567
+3066:2:3574
+3067:2:3575
+3068:2:3579
+3069:2:3580
+3070:2:3587
+3071:2:3592
+3072:2:3599
+3073:2:3600
+3074:2:3599
+3075:2:3600
+3076:2:3607
+3077:2:3617
+3078:0:4029
+3079:2:2767
+3080:0:4029
+3081:2:3623
+3082:2:3632
+3083:2:3633
+3084:2:3637
+3085:2:3638
+3086:2:3642
+3087:2:3643
+3088:2:3651
+3089:2:3656
+3090:2:3660
+3091:2:3661
+3092:2:3669
+3093:2:3670
+3094:2:3674
+3095:2:3675
+3096:2:3669
+3097:2:3670
+3098:2:3674
+3099:2:3675
+3100:2:3683
+3101:2:3690
+3102:2:3691
+3103:2:3695
+3104:2:3696
+3105:2:3703
+3106:2:3708
+3107:2:3715
+3108:2:3716
+3109:2:3715
+3110:2:3716
+3111:2:3723
+3112:0:4029
+3113:2:2767
+3114:0:4029
+3115:1:1016
+3116:1:1017
+3117:1:1021
+3118:1:1022
+3119:1:1030
+3120:1:1031
+3121:1:1035
+3122:1:1036
+3123:1:1044
+3124:1:1049
+3125:1:1053
+3126:1:1054
+3127:1:1062
+3128:1:1063
+3129:1:1067
+3130:1:1068
+3131:1:1062
+3132:1:1063
+3133:1:1067
+3134:1:1068
+3135:1:1076
+3136:1:1081
+3137:1:1088
+3138:1:1089
+3139:1:1096
+3140:1:1101
+3141:1:1108
+3142:1:1109
+3143:1:1108
+3144:1:1109
+3145:1:1116
+3146:0:4029
+3147:1:11
+3148:0:4029
+3149:2:3507
+3150:2:3516
+3151:2:3517
+3152:2:3521
+3153:2:3522
+3154:2:3526
+3155:2:3527
+3156:2:3535
+3157:2:3540
+3158:2:3544
+3159:2:3545
+3160:2:3553
+3161:2:3554
+3162:2:3558
+3163:2:3559
+3164:2:3553
+3165:2:3554
+3166:2:3558
+3167:2:3559
+3168:2:3567
+3169:2:3574
+3170:2:3575
+3171:2:3579
+3172:2:3580
+3173:2:3587
+3174:2:3592
+3175:2:3599
+3176:2:3600
+3177:2:3599
+3178:2:3600
+3179:2:3607
+3180:2:3617
+3181:0:4029
+3182:2:2767
+3183:0:4029
+3184:2:3623
+3185:2:3632
+3186:2:3633
+3187:2:3637
+3188:2:3638
+3189:2:3642
+3190:2:3643
+3191:2:3651
+3192:2:3656
+3193:2:3660
+3194:2:3661
+3195:2:3669
+3196:2:3670
+3197:2:3674
+3198:2:3675
+3199:2:3669
+3200:2:3670
+3201:2:3674
+3202:2:3675
+3203:2:3683
+3204:2:3690
+3205:2:3691
+3206:2:3695
+3207:2:3696
+3208:2:3703
+3209:2:3708
+3210:2:3715
+3211:2:3716
+3212:2:3715
+3213:2:3716
+3214:2:3723
+3215:0:4029
+3216:2:2767
+3217:0:4029
+3218:1:671
+3219:1:674
+3220:1:675
+3221:0:4029
+3222:1:11
+3223:0:4029
+3224:2:3507
+3225:2:3516
+3226:2:3517
+3227:2:3521
+3228:2:3522
+3229:2:3526
+3230:2:3527
+3231:2:3535
+3232:2:3540
+3233:2:3544
+3234:2:3545
+3235:2:3553
+3236:2:3554
+3237:2:3558
+3238:2:3559
+3239:2:3553
+3240:2:3554
+3241:2:3558
+3242:2:3559
+3243:2:3567
+3244:2:3574
+3245:2:3575
+3246:2:3579
+3247:2:3580
+3248:2:3587
+3249:2:3592
+3250:2:3599
+3251:2:3600
+3252:2:3599
+3253:2:3600
+3254:2:3607
+3255:2:3617
+3256:0:4029
+3257:2:2767
+3258:0:4029
+3259:2:3623
+3260:2:3632
+3261:2:3633
+3262:2:3637
+3263:2:3638
+3264:2:3642
+3265:2:3643
+3266:2:3651
+3267:2:3656
+3268:2:3660
+3269:2:3661
+3270:2:3669
+3271:2:3670
+3272:2:3674
+3273:2:3675
+3274:2:3669
+3275:2:3670
+3276:2:3674
+3277:2:3675
+3278:2:3683
+3279:2:3690
+3280:2:3691
+3281:2:3695
+3282:2:3696
+3283:2:3703
+3284:2:3708
+3285:2:3715
+3286:2:3716
+3287:2:3715
+3288:2:3716
+3289:2:3723
+3290:0:4029
+3291:2:2767
+3292:0:4029
+3293:1:902
+3294:1:903
+3295:1:907
+3296:1:908
+3297:1:916
+3298:1:917
+3299:1:921
+3300:1:922
+3301:1:930
+3302:1:935
+3303:1:939
+3304:1:940
+3305:1:948
+3306:1:949
+3307:1:953
+3308:1:954
+3309:1:948
+3310:1:949
+3311:1:953
+3312:1:954
+3313:1:962
+3314:1:967
+3315:1:974
+3316:1:975
+3317:1:982
+3318:1:987
+3319:1:994
+3320:1:995
+3321:1:994
+3322:1:995
+3323:1:1002
+3324:1:1011
+3325:1:1015
+3326:0:4029
+3327:1:11
+3328:0:4029
+3329:2:3507
+3330:2:3516
+3331:2:3517
+3332:2:3521
+3333:2:3522
+3334:2:3526
+3335:2:3527
+3336:2:3535
+3337:2:3540
+3338:2:3544
+3339:2:3545
+3340:2:3553
+3341:2:3554
+3342:2:3558
+3343:2:3559
+3344:2:3553
+3345:2:3554
+3346:2:3558
+3347:2:3559
+3348:2:3567
+3349:2:3574
+3350:2:3575
+3351:2:3579
+3352:2:3580
+3353:2:3587
+3354:2:3592
+3355:2:3599
+3356:2:3600
+3357:2:3599
+3358:2:3600
+3359:2:3607
+3360:2:3617
+3361:0:4029
+3362:2:2767
+3363:0:4029
+3364:2:3623
+3365:2:3632
+3366:2:3633
+3367:2:3637
+3368:2:3638
+3369:2:3642
+3370:2:3643
+3371:2:3651
+3372:2:3656
+3373:2:3660
+3374:2:3661
+3375:2:3669
+3376:2:3670
+3377:2:3674
+3378:2:3675
+3379:2:3669
+3380:2:3670
+3381:2:3674
+3382:2:3675
+3383:2:3683
+3384:2:3690
+3385:2:3691
+3386:2:3695
+3387:2:3696
+3388:2:3703
+3389:2:3708
+3390:2:3715
+3391:2:3716
+3392:2:3715
+3393:2:3716
+3394:2:3723
+3395:0:4029
+3396:2:2767
+3397:0:4029
+3398:1:1127
+3399:0:4029
+3400:2:3507
+3401:2:3516
+3402:2:3517
+3403:2:3521
+3404:2:3522
+3405:2:3526
+3406:2:3527
+3407:2:3535
+3408:2:3540
+3409:2:3544
+3410:2:3545
+3411:2:3553
+3412:2:3554
+3413:2:3558
+3414:2:3559
+3415:2:3553
+3416:2:3554
+3417:2:3558
+3418:2:3559
+3419:2:3567
+3420:2:3574
+3421:2:3575
+3422:2:3579
+3423:2:3580
+3424:2:3587
+3425:2:3592
+3426:2:3599
+3427:2:3600
+3428:2:3599
+3429:2:3600
+3430:2:3607
+3431:2:3617
+3432:0:4029
+3433:2:2767
+3434:0:4029
+3435:2:3623
+3436:2:3632
+3437:2:3633
+3438:2:3637
+3439:2:3638
+3440:2:3642
+3441:2:3643
+3442:2:3651
+3443:2:3656
+3444:2:3660
+3445:2:3661
+3446:2:3669
+3447:2:3670
+3448:2:3674
+3449:2:3675
+3450:2:3669
+3451:2:3670
+3452:2:3674
+3453:2:3675
+3454:2:3683
+3455:2:3690
+3456:2:3691
+3457:2:3695
+3458:2:3696
+3459:2:3703
+3460:2:3708
+3461:2:3715
+3462:2:3716
+3463:2:3715
+3464:2:3716
+3465:2:3723
+3466:0:4029
+3467:2:2767
+3468:0:4029
+3469:1:2663
+3470:1:2670
+3471:1:2673
+3472:1:2674
+3473:1:2678
+3474:1:2683
+3475:1:2690
+3476:1:2691
+3477:1:2690
+3478:1:2691
+3479:1:2698
+3480:1:2702
+3481:0:4029
+3482:2:3507
+3483:2:3516
+3484:2:3517
+3485:2:3521
+3486:2:3522
+3487:2:3526
+3488:2:3527
+3489:2:3535
+3490:2:3540
+3491:2:3544
+3492:2:3545
+3493:2:3553
+3494:2:3554
+3495:2:3558
+3496:2:3559
+3497:2:3553
+3498:2:3554
+3499:2:3558
+3500:2:3559
+3501:2:3567
+3502:2:3574
+3503:2:3575
+3504:2:3579
+3505:2:3580
+3506:2:3587
+3507:2:3592
+3508:2:3599
+3509:2:3600
+3510:2:3599
+3511:2:3600
+3512:2:3607
+3513:2:3617
+3514:0:4029
+3515:2:2767
+3516:0:4029
+3517:2:3623
+3518:2:3632
+3519:2:3633
+3520:2:3637
+3521:2:3638
+3522:2:3642
+3523:2:3643
+3524:2:3651
+3525:2:3656
+3526:2:3660
+3527:2:3661
+3528:2:3669
+3529:2:3670
+3530:2:3674
+3531:2:3675
+3532:2:3669
+3533:2:3670
+3534:2:3674
+3535:2:3675
+3536:2:3683
+3537:2:3690
+3538:2:3691
+3539:2:3695
+3540:2:3696
+3541:2:3703
+3542:2:3708
+3543:2:3715
+3544:2:3716
+3545:2:3715
+3546:2:3716
+3547:2:3723
+3548:0:4029
+3549:2:2767
+3550:0:4029
+3551:1:1129
+3552:1:1130
+3553:0:4029
+3554:1:11
+3555:0:4029
+3556:2:3507
+3557:2:3516
+3558:2:3517
+3559:2:3521
+3560:2:3522
+3561:2:3526
+3562:2:3527
+3563:2:3535
+3564:2:3540
+3565:2:3544
+3566:2:3545
+3567:2:3553
+3568:2:3554
+3569:2:3558
+3570:2:3559
+3571:2:3553
+3572:2:3554
+3573:2:3558
+3574:2:3559
+3575:2:3567
+3576:2:3574
+3577:2:3575
+3578:2:3579
+3579:2:3580
+3580:2:3587
+3581:2:3592
+3582:2:3599
+3583:2:3600
+3584:2:3599
+3585:2:3600
+3586:2:3607
+3587:2:3617
+3588:0:4029
+3589:2:2767
+3590:0:4029
+3591:2:3623
+3592:2:3632
+3593:2:3633
+3594:2:3637
+3595:2:3638
+3596:2:3642
+3597:2:3643
+3598:2:3651
+3599:2:3656
+3600:2:3660
+3601:2:3661
+3602:2:3669
+3603:2:3670
+3604:2:3674
+3605:2:3675
+3606:2:3669
+3607:2:3670
+3608:2:3674
+3609:2:3675
+3610:2:3683
+3611:2:3690
+3612:2:3691
+3613:2:3695
+3614:2:3696
+3615:2:3703
+3616:2:3708
+3617:2:3715
+3618:2:3716
+3619:2:3715
+3620:2:3716
+3621:2:3723
+3622:0:4029
+3623:2:2767
+3624:0:4029
+3625:1:1131
+3626:1:1132
+3627:1:1136
+3628:1:1137
+3629:1:1145
+3630:1:1146
+3631:1:1147
+3632:1:1159
+3633:1:1164
+3634:1:1168
+3635:1:1169
+3636:1:1177
+3637:1:1178
+3638:1:1182
+3639:1:1183
+3640:1:1177
+3641:1:1178
+3642:1:1182
+3643:1:1183
+3644:1:1191
+3645:1:1196
+3646:1:1203
+3647:1:1204
+3648:1:1211
+3649:1:1216
+3650:1:1223
+3651:1:1224
+3652:1:1223
+3653:1:1224
+3654:1:1231
+3655:0:4029
+3656:1:11
+3657:0:4029
+3658:1:1242
+3659:1:1243
+3660:1:1247
+3661:1:1248
+3662:1:1256
+3663:1:1257
+3664:1:1261
+3665:1:1262
+3666:1:1270
+3667:1:1275
+3668:1:1279
+3669:1:1280
+3670:1:1288
+3671:1:1289
+3672:1:1293
+3673:1:1294
+3674:1:1288
+3675:1:1289
+3676:1:1293
+3677:1:1294
+3678:1:1302
+3679:1:1307
+3680:1:1314
+3681:1:1315
+3682:1:1322
+3683:1:1327
+3684:1:1334
+3685:1:1335
+3686:1:1334
+3687:1:1335
+3688:1:1342
+3689:1:1351
+3690:1:1355
+3691:0:4029
+3692:1:11
+3693:0:4029
+3694:1:1356
+3695:1:1360
+3696:1:1361
+3697:1:1365
+3698:1:1366
+3699:1:1374
+3700:1:1382
+3701:1:1383
+3702:1:1387
+3703:1:1391
+3704:1:1392
+3705:1:1387
+3706:1:1391
+3707:1:1392
+3708:1:1396
+3709:1:1403
+3710:1:1410
+3711:1:1411
+3712:1:1418
+3713:1:1423
+3714:1:1430
+3715:1:1431
+3716:1:1430
+3717:1:1431
+3718:1:1438
+3719:0:4029
+3720:1:11
+3721:0:4029
+3722:1:1448
+3723:1:1449
+3724:1:1453
+3725:1:1454
+3726:1:1462
+3727:1:1463
+3728:1:1467
+3729:1:1468
+3730:1:1476
+3731:1:1481
+3732:1:1485
+3733:1:1486
+3734:1:1494
+3735:1:1495
+3736:1:1499
+3737:1:1500
+3738:1:1494
+3739:1:1495
+3740:1:1499
+3741:1:1500
+3742:1:1508
+3743:1:1513
+3744:1:1520
+3745:1:1521
+3746:1:1528
+3747:1:1533
+3748:1:1540
+3749:1:1541
+3750:1:1540
+3751:1:1541
+3752:1:1548
+3753:0:4029
+3754:2:3507
+3755:2:3516
+3756:2:3517
+3757:2:3521
+3758:2:3522
+3759:2:3526
+3760:2:3527
+3761:2:3535
+3762:2:3540
+3763:2:3544
+3764:2:3545
+3765:2:3553
+3766:2:3554
+3767:2:3558
+3768:2:3559
+3769:2:3553
+3770:2:3554
+3771:2:3558
+3772:2:3559
+3773:2:3567
+3774:2:3574
+3775:2:3575
+3776:2:3579
+3777:2:3580
+3778:2:3587
+3779:2:3592
+3780:2:3599
+3781:2:3600
+3782:2:3599
+3783:2:3600
+3784:2:3607
+3785:2:3617
+3786:0:4029
+3787:2:2767
+3788:0:4029
+3789:1:11
+3790:0:4029
+3791:1:1559
+3792:1:1560
+3793:1:1564
+3794:1:1565
+3795:1:1573
+3796:1:1574
+3797:1:1578
+3798:1:1579
+3799:1:1587
+3800:1:1592
+3801:1:1596
+3802:1:1597
+3803:1:1605
+3804:1:1606
+3805:1:1610
+3806:1:1611
+3807:1:1605
+3808:1:1606
+3809:1:1610
+3810:1:1611
+3811:1:1619
+3812:1:1624
+3813:1:1631
+3814:1:1632
+3815:1:1639
+3816:1:1644
+3817:1:1651
+3818:1:1652
+3819:1:1651
+3820:1:1652
+3821:1:1659
+3822:1:1668
+3823:1:1672
+3824:0:4029
+3825:1:11
+3826:0:4029
+3827:1:1673
+3828:1:1674
+3829:1:1678
+3830:1:1679
+3831:1:1687
+3832:1:1688
+3833:1:1689
+3834:1:1701
+3835:1:1706
+3836:1:1710
+3837:1:1711
+3838:1:1719
+3839:1:1720
+3840:1:1724
+3841:1:1725
+3842:1:1719
+3843:1:1720
+3844:1:1724
+3845:1:1725
+3846:1:1733
+3847:1:1738
+3848:1:1745
+3849:1:1746
+3850:1:1753
+3851:1:1758
+3852:1:1765
+3853:1:1766
+3854:1:1765
+3855:1:1766
+3856:1:1773
+3857:0:4029
+3858:1:11
+3859:0:4029
+3860:2:3623
+3861:2:3632
+3862:2:3633
+3863:2:3637
+3864:2:3638
+3865:2:3642
+3866:2:3643
+3867:2:3651
+3868:2:3656
+3869:2:3660
+3870:2:3661
+3871:2:3669
+3872:2:3670
+3873:2:3674
+3874:2:3675
+3875:2:3669
+3876:2:3670
+3877:2:3674
+3878:2:3675
+3879:2:3683
+3880:2:3690
+3881:2:3691
+3882:2:3695
+3883:2:3696
+3884:2:3703
+3885:2:3708
+3886:2:3715
+3887:2:3716
+3888:2:3715
+3889:2:3716
+3890:2:3723
+3891:0:4029
+3892:2:2767
+3893:0:4029
+3894:1:1784
+3895:1:1785
+3896:0:4029
+3897:1:11
+3898:0:4029
+3899:1:1791
+3900:1:1792
+3901:1:1796
+3902:1:1797
+3903:1:1805
+3904:1:1806
+3905:1:1810
+3906:1:1811
+3907:1:1819
+3908:1:1824
+3909:1:1828
+3910:1:1829
+3911:1:1837
+3912:1:1838
+3913:1:1842
+3914:1:1843
+3915:1:1837
+3916:1:1838
+3917:1:1842
+3918:1:1843
+3919:1:1851
+3920:1:1856
+3921:1:1863
+3922:1:1864
+3923:1:1871
+3924:1:1876
+3925:1:1883
+3926:1:1884
+3927:1:1883
+3928:1:1884
+3929:1:1891
+3930:0:4029
+3931:1:11
+3932:0:4029
+3933:1:1902
+3934:1:1903
+3935:1:1907
+3936:1:1908
+3937:1:1916
+3938:1:1917
+3939:1:1921
+3940:1:1922
+3941:1:1930
+3942:1:1935
+3943:1:1939
+3944:1:1940
+3945:1:1948
+3946:1:1949
+3947:1:1953
+3948:1:1954
+3949:1:1948
+3950:1:1949
+3951:1:1953
+3952:1:1954
+3953:1:1962
+3954:1:1967
+3955:1:1974
+3956:1:1975
+3957:1:1982
+3958:1:1987
+3959:1:1994
+3960:1:1995
+3961:1:1994
+3962:1:1995
+3963:1:2002
+3964:1:2011
+3965:0:4029
+3966:1:11
+3967:0:4029
+3968:1:2129
+3969:1:2133
+3970:1:2134
+3971:1:2138
+3972:1:2139
+3973:1:2147
+3974:1:2155
+3975:1:2156
+3976:1:2160
+3977:1:2164
+3978:1:2165
+3979:1:2160
+3980:1:2164
+3981:1:2165
+3982:1:2169
+3983:1:2176
+3984:1:2183
+3985:1:2184
+3986:1:2191
+3987:1:2196
+3988:1:2203
+3989:1:2204
+3990:1:2203
+3991:1:2204
+3992:1:2211
+3993:0:4029
+3994:1:11
+3995:0:4029
+3996:1:2221
+3997:1:2222
+3998:1:2226
+3999:1:2227
+4000:1:2235
+4001:1:2236
+4002:1:2240
+4003:1:2241
+4004:1:2249
+4005:1:2254
+4006:1:2258
+4007:1:2259
+4008:1:2267
+4009:1:2268
+4010:1:2272
+4011:1:2273
+4012:1:2267
+4013:1:2268
+4014:1:2272
+4015:1:2273
+4016:1:2281
+4017:1:2286
+4018:1:2293
+4019:1:2294
+4020:1:2301
+4021:1:2306
+4022:1:2313
+4023:1:2314
+4024:1:2313
+4025:1:2314
+4026:1:2321
+4027:0:4029
+4028:1:11
+4029:0:4029
+4030:1:2332
+4031:0:4029
+4032:1:2706
+4033:1:2713
+4034:1:2714
+4035:1:2721
+4036:1:2726
+4037:1:2733
+4038:1:2734
+4039:1:2733
+4040:1:2734
+4041:1:2741
+4042:1:2745
+4043:0:4029
+4044:1:2334
+4045:1:2335
+4046:0:4029
+4047:1:11
+4048:0:4029
+4049:1:2336
+4050:1:2340
+4051:1:2341
+4052:1:2345
+4053:1:2349
+4054:1:2350
+4055:1:2354
+4056:1:2362
+4057:1:2363
+4058:1:2367
+4059:1:2371
+4060:1:2372
+4061:1:2367
+4062:1:2371
+4063:1:2372
+4064:1:2376
+4065:1:2383
+4066:1:2390
+4067:1:2391
+4068:1:2398
+4069:1:2403
+4070:1:2410
+4071:1:2411
+4072:1:2410
+4073:1:2411
+4074:1:2418
+4075:0:4029
+4076:1:11
+4077:0:4029
+4078:1:2428
+4079:1:2429
+4080:1:2433
+4081:1:2434
+4082:1:2442
+4083:1:2443
+4084:1:2447
+4085:1:2448
+4086:1:2456
+4087:1:2461
+4088:1:2465
+4089:1:2466
+4090:1:2474
+4091:1:2475
+4092:1:2479
+4093:1:2480
+4094:1:2474
+4095:1:2475
+4096:1:2479
+4097:1:2480
+4098:1:2488
+4099:1:2493
+4100:1:2500
+4101:1:2501
+4102:1:2508
+4103:1:2513
+4104:1:2520
+4105:1:2521
+4106:1:2520
+4107:1:2521
+4108:1:2528
+4109:0:4029
+4110:1:11
+4111:0:4029
+4112:1:2539
+4113:1:2540
+4114:1:2544
+4115:1:2545
+4116:1:2553
+4117:1:2554
+4118:1:2558
+4119:1:2559
+4120:1:2567
+4121:1:2572
+4122:1:2576
+4123:1:2577
+4124:1:2585
+4125:1:2586
+4126:1:2590
+4127:1:2591
+4128:1:2585
+4129:1:2586
+4130:1:2590
+4131:1:2591
+4132:1:2599
+4133:1:2604
+4134:1:2611
+4135:1:2612
+4136:1:2619
+4137:1:2624
+4138:1:2631
+4139:1:2632
+4140:1:2631
+4141:1:2632
+4142:1:2639
+4143:1:2648
+4144:1:2652
+4145:0:4029
+4146:1:11
+4147:0:4029
+4148:1:2653
+4149:0:4029
+4150:1:2661
+4151:0:4029
+4152:1:2749
+4153:0:4029
+4154:1:9
+4155:0:4029
+4156:1:10
+4157:0:4029
+4158:1:11
+4159:0:4029
+4160:1:12
+4161:1:13
+4162:1:17
+4163:1:18
+4164:1:26
+4165:1:27
+4166:1:28
+4167:1:40
+4168:1:45
+4169:1:49
+4170:1:50
+4171:1:58
+4172:1:59
+4173:1:63
+4174:1:64
+4175:1:58
+4176:1:59
+4177:1:63
+4178:1:64
+4179:1:72
+4180:1:77
+4181:1:84
+4182:1:85
+4183:1:92
+4184:1:97
+4185:1:104
+4186:1:105
+4187:1:104
+4188:1:105
+4189:1:112
+4190:0:4029
+4191:1:11
+4192:0:4029
+4193:1:123
+4194:1:124
+4195:0:4029
+4196:1:11
+4197:0:4029
+4198:1:130
+4199:1:131
+4200:1:135
+4201:1:136
+4202:1:144
+4203:1:145
+4204:1:149
+4205:1:150
+4206:1:158
+4207:1:163
+4208:1:167
+4209:1:168
+4210:1:176
+4211:1:177
+4212:1:181
+4213:1:182
+4214:1:176
+4215:1:177
+4216:1:181
+4217:1:182
+4218:1:190
+4219:1:195
+4220:1:202
+4221:1:203
+4222:1:210
+4223:1:215
+4224:1:222
+4225:1:223
+4226:1:222
+4227:1:223
+4228:1:230
+4229:0:4029
+4230:1:11
+4231:0:4029
+4232:1:241
+4233:1:242
+4234:1:246
+4235:1:247
+4236:1:255
+4237:1:256
+4238:1:260
+4239:1:261
+4240:1:269
+4241:1:274
+4242:1:278
+4243:1:279
+4244:1:287
+4245:1:288
+4246:1:292
+4247:1:293
+4248:1:287
+4249:1:288
+4250:1:292
+4251:1:293
+4252:1:301
+4253:1:306
+4254:1:313
+4255:1:314
+4256:1:321
+4257:1:326
+4258:1:333
+4259:1:334
+4260:1:333
+4261:1:334
+4262:1:341
+4263:1:350
+4264:0:4029
+4265:1:11
+4266:0:4029
+4267:1:468
+4268:1:472
+4269:1:473
+4270:1:477
+4271:1:478
+4272:1:486
+4273:1:494
+4274:1:495
+4275:1:499
+4276:1:503
+4277:1:504
+4278:1:499
+4279:1:503
+4280:1:504
+4281:1:508
+4282:1:515
+4283:1:522
+4284:1:523
+4285:1:530
+4286:1:535
+4287:1:542
+4288:1:543
+4289:1:542
+4290:1:543
+4291:1:550
+4292:0:4029
+4293:1:11
+4294:0:4029
+4295:1:560
+4296:1:561
+4297:1:565
+4298:1:566
+4299:1:574
+4300:1:575
+4301:1:579
+4302:1:580
+4303:1:588
+4304:1:593
+4305:1:597
+4306:1:598
+4307:1:606
+4308:1:607
+4309:1:611
+4310:1:612
+4311:1:606
+4312:1:607
+4313:1:611
+4314:1:612
+4315:1:620
+4316:1:625
+4317:1:632
+4318:1:633
+4319:1:640
+4320:1:645
+4321:1:652
+4322:1:653
+4323:1:652
+4324:1:653
+4325:1:660
+4326:0:4029
+4327:1:11
+4328:0:4029
+4329:1:671
+4330:1:674
+4331:1:675
+4332:0:4029
+4333:1:11
+4334:0:4029
+4335:1:678
+4336:1:679
+4337:1:683
+4338:1:684
+4339:1:692
+4340:1:693
+4341:1:697
+4342:1:698
+4343:1:706
+4344:1:711
+4345:1:715
+4346:1:716
+4347:1:724
+4348:1:725
+4349:1:729
+4350:1:730
+4351:1:724
+4352:1:725
+4353:1:729
+4354:1:730
+4355:1:738
+4356:1:743
+4357:1:750
+4358:1:751
+4359:1:758
+4360:1:763
+4361:1:770
+4362:1:771
+4363:1:770
+4364:1:771
+4365:1:778
+4366:0:4029
+4367:1:11
+4368:0:4029
+4369:1:902
+4370:1:903
+4371:1:907
+4372:1:908
+4373:1:916
+4374:1:917
+4375:1:921
+4376:1:922
+4377:1:930
+4378:1:935
+4379:1:939
+4380:1:940
+4381:1:948
+4382:1:949
+4383:1:953
+4384:1:954
+4385:1:948
+4386:1:949
+4387:1:953
+4388:1:954
+4389:1:962
+4390:1:967
+4391:1:974
+4392:1:975
+4393:1:982
+4394:1:987
+4395:1:994
+4396:1:995
+4397:1:994
+4398:1:995
+4399:1:1002
+4400:1:1011
+4401:1:1015
+4402:0:4029
+4403:1:11
+4404:0:4029
+4405:1:1016
+4406:1:1017
+4407:1:1021
+4408:1:1022
+4409:1:1030
+4410:1:1031
+4411:1:1032
+4412:1:1044
+4413:1:1049
+4414:1:1053
+4415:1:1054
+4416:1:1062
+4417:1:1063
+4418:1:1067
+4419:1:1068
+4420:1:1062
+4421:1:1063
+4422:1:1067
+4423:1:1068
+4424:1:1076
+4425:1:1081
+4426:1:1088
+4427:1:1089
+4428:1:1096
+4429:1:1101
+4430:1:1108
+4431:1:1109
+4432:1:1108
+4433:1:1109
+4434:1:1116
+4435:0:4029
+4436:1:11
+4437:0:4029
+4438:1:1127
+4439:0:4029
+4440:1:2663
+4441:1:2670
+4442:1:2671
+4443:1:2678
+4444:1:2683
+4445:1:2690
+4446:1:2691
+4447:1:2690
+4448:1:2691
+4449:1:2698
+4450:1:2702
+4451:0:4029
+4452:1:1129
+4453:1:1130
+4454:0:4029
+4455:1:11
+4456:0:4029
+4457:1:1131
+4458:1:1132
+4459:1:1136
+4460:1:1137
+4461:1:1145
+4462:1:1146
+4463:1:1150
+4464:1:1151
+4465:1:1159
+4466:1:1164
+4467:1:1168
+4468:1:1169
+4469:1:1177
+4470:1:1178
+4471:1:1182
+4472:1:1183
+4473:1:1177
+4474:1:1178
+4475:1:1182
+4476:1:1183
+4477:1:1191
+4478:1:1196
+4479:1:1203
+4480:1:1204
+4481:1:1211
+4482:1:1216
+4483:1:1223
+4484:1:1224
+4485:1:1223
+4486:1:1224
+4487:1:1231
+4488:0:4029
+4489:1:11
+4490:0:4029
+4491:1:1242
+4492:1:1243
+4493:1:1247
+4494:1:1248
+4495:1:1256
+4496:1:1257
+4497:1:1261
+4498:1:1262
+4499:1:1270
+4500:1:1275
+4501:1:1279
+4502:1:1280
+4503:1:1288
+4504:1:1289
+4505:1:1293
+4506:1:1294
+4507:1:1288
+4508:1:1289
+4509:1:1293
+4510:1:1294
+4511:1:1302
+4512:1:1307
+4513:1:1314
+4514:1:1315
+4515:1:1322
+4516:1:1327
+4517:1:1334
+4518:1:1335
+4519:1:1334
+4520:1:1335
+4521:1:1342
+4522:1:1351
+4523:1:1355
+4524:0:4029
+4525:1:11
+4526:0:4029
+4527:1:1356
+4528:1:1360
+4529:1:1361
+4530:1:1365
+4531:1:1366
+4532:1:1374
+4533:1:1382
+4534:1:1383
+4535:1:1387
+4536:1:1391
+4537:1:1392
+4538:1:1387
+4539:1:1391
+4540:1:1392
+4541:1:1396
+4542:1:1403
+4543:1:1410
+4544:1:1411
+4545:1:1418
+4546:1:1423
+4547:1:1430
+4548:1:1431
+4549:1:1430
+4550:1:1431
+4551:1:1438
+4552:0:4029
+4553:1:11
+4554:0:4029
+4555:1:1448
+4556:1:1449
+4557:1:1453
+4558:1:1454
+4559:1:1462
+4560:1:1463
+4561:1:1467
+4562:1:1468
+4563:1:1476
+4564:1:1481
+4565:1:1485
+4566:1:1486
+4567:1:1494
+4568:1:1495
+4569:1:1499
+4570:1:1500
+4571:1:1494
+4572:1:1495
+4573:1:1499
+4574:1:1500
+4575:1:1508
+4576:1:1513
+4577:1:1520
+4578:1:1521
+4579:1:1528
+4580:1:1533
+4581:1:1540
+4582:1:1541
+4583:1:1540
+4584:1:1541
+4585:1:1548
+4586:0:4029
+4587:1:11
+4588:0:4029
+4589:1:1559
+4590:1:1560
+4591:1:1564
+4592:1:1565
+4593:1:1573
+4594:1:1574
+4595:1:1578
+4596:1:1579
+4597:1:1587
+4598:1:1592
+4599:1:1596
+4600:1:1597
+4601:1:1605
+4602:1:1606
+4603:1:1610
+4604:1:1611
+4605:1:1605
+4606:1:1606
+4607:1:1610
+4608:1:1611
+4609:1:1619
+4610:1:1624
+4611:1:1631
+4612:1:1632
+4613:1:1639
+4614:1:1644
+4615:1:1651
+4616:1:1652
+4617:1:1651
+4618:1:1652
+4619:1:1659
+4620:1:1668
+4621:1:1672
+4622:0:4029
+4623:1:11
+4624:0:4029
+4625:1:1673
+4626:1:1674
+4627:1:1678
+4628:1:1679
+4629:1:1687
+4630:1:1696
+4631:1:1697
+4632:1:1701
+4633:1:1706
+4634:1:1710
+4635:1:1711
+4636:1:1719
+4637:1:1720
+4638:1:1724
+4639:1:1725
+4640:1:1719
+4641:1:1720
+4642:1:1724
+4643:1:1725
+4644:1:1733
+4645:1:1738
+4646:1:1745
+4647:1:1748
+4648:1:1749
+4649:1:1753
+4650:1:1758
+4651:1:1765
+4652:1:1766
+4653:1:1765
+4654:1:1766
+4655:1:1773
+4656:0:4029
+4657:1:11
+4658:0:4029
+4659:2:3507
+4660:2:3516
+4661:2:3517
+4662:2:3521
+4663:2:3522
+4664:2:3526
+4665:2:3527
+4666:2:3535
+4667:2:3540
+4668:2:3544
+4669:2:3545
+4670:2:3553
+4671:2:3554
+4672:2:3558
+4673:2:3559
+4674:2:3553
+4675:2:3554
+4676:2:3558
+4677:2:3559
+4678:2:3567
+4679:2:3574
+4680:2:3575
+4681:2:3579
+4682:2:3580
+4683:2:3587
+4684:2:3592
+4685:2:3599
+4686:2:3600
+4687:2:3599
+4688:2:3600
+4689:2:3607
+4690:2:3617
+4691:0:4029
+4692:2:2767
+4693:0:4029
+4694:2:3623
+4695:2:3632
+4696:2:3633
+4697:2:3637
+4698:2:3638
+4699:2:3642
+4700:2:3643
+4701:2:3651
+4702:2:3656
+4703:2:3660
+4704:2:3661
+4705:2:3669
+4706:2:3670
+4707:2:3674
+4708:2:3675
+4709:2:3669
+4710:2:3670
+4711:2:3674
+4712:2:3675
+4713:2:3683
+4714:2:3690
+4715:2:3691
+4716:2:3695
+4717:2:3696
+4718:2:3703
+4719:2:3708
+4720:2:3715
+4721:2:3716
+4722:2:3715
+4723:2:3716
+4724:2:3723
+4725:0:4029
+4726:2:2767
+4727:0:4029
+4728:1:1784
+4729:1:1785
+4730:0:4029
+4731:1:11
+4732:0:4029
+4733:2:3507
+4734:2:3516
+4735:2:3517
+4736:2:3521
+4737:2:3522
+4738:2:3526
+4739:2:3527
+4740:2:3535
+4741:2:3540
+4742:2:3544
+4743:2:3545
+4744:2:3553
+4745:2:3554
+4746:2:3558
+4747:2:3559
+4748:2:3553
+4749:2:3554
+4750:2:3558
+4751:2:3559
+4752:2:3567
+4753:2:3574
+4754:2:3575
+4755:2:3579
+4756:2:3580
+4757:2:3587
+4758:2:3592
+4759:2:3599
+4760:2:3600
+4761:2:3599
+4762:2:3600
+4763:2:3607
+4764:2:3617
+4765:0:4029
+4766:2:2767
+4767:0:4029
+4768:2:3623
+4769:2:3632
+4770:2:3633
+4771:2:3637
+4772:2:3638
+4773:2:3642
+4774:2:3643
+4775:2:3651
+4776:2:3656
+4777:2:3660
+4778:2:3661
+4779:2:3669
+4780:2:3670
+4781:2:3674
+4782:2:3675
+4783:2:3669
+4784:2:3670
+4785:2:3674
+4786:2:3675
+4787:2:3683
+4788:2:3690
+4789:2:3691
+4790:2:3695
+4791:2:3696
+4792:2:3703
+4793:2:3708
+4794:2:3715
+4795:2:3716
+4796:2:3715
+4797:2:3716
+4798:2:3723
+4799:0:4029
+4800:2:2767
+4801:0:4029
+4802:1:1791
+4803:1:1792
+4804:1:1796
+4805:1:1797
+4806:1:1805
+4807:1:1806
+4808:1:1807
+4809:1:1819
+4810:1:1824
+4811:1:1828
+4812:1:1829
+4813:1:1837
+4814:1:1838
+4815:1:1842
+4816:1:1843
+4817:1:1837
+4818:1:1838
+4819:1:1842
+4820:1:1843
+4821:1:1851
+4822:1:1856
+4823:1:1863
+4824:1:1864
+4825:1:1871
+4826:1:1876
+4827:1:1883
+4828:1:1884
+4829:1:1883
+4830:1:1884
+4831:1:1891
+4832:0:4029
+4833:1:11
+4834:0:4029
+4835:1:1902
+4836:1:1903
+4837:1:1907
+4838:1:1908
+4839:1:1916
+4840:1:1917
+4841:1:1921
+4842:1:1922
+4843:1:1930
+4844:1:1935
+4845:1:1939
+4846:1:1940
+4847:1:1948
+4848:1:1949
+4849:1:1953
+4850:1:1954
+4851:1:1948
+4852:1:1949
+4853:1:1953
+4854:1:1954
+4855:1:1962
+4856:1:1967
+4857:1:1974
+4858:1:1975
+4859:1:1982
+4860:1:1987
+4861:1:1994
+4862:1:1995
+4863:1:1994
+4864:1:1995
+4865:1:2002
+4866:1:2011
+4867:0:4029
+4868:1:11
+4869:0:4029
+4870:1:2129
+4871:1:2133
+4872:1:2134
+4873:1:2138
+4874:1:2139
+4875:1:2147
+4876:1:2155
+4877:1:2156
+4878:1:2160
+4879:1:2164
+4880:1:2165
+4881:1:2160
+4882:1:2164
+4883:1:2165
+4884:1:2169
+4885:1:2176
+4886:1:2183
+4887:1:2184
+4888:1:2191
+4889:1:2196
+4890:1:2203
+4891:1:2204
+4892:1:2203
+4893:1:2204
+4894:1:2211
+4895:0:4029
+4896:1:11
+4897:0:4029
+4898:2:3507
+4899:2:3516
+4900:2:3517
+4901:2:3521
+4902:2:3522
+4903:2:3526
+4904:2:3527
+4905:2:3535
+4906:2:3540
+4907:2:3544
+4908:2:3545
+4909:2:3553
+4910:2:3554
+4911:2:3558
+4912:2:3559
+4913:2:3553
+4914:2:3554
+4915:2:3558
+4916:2:3559
+4917:2:3567
+4918:2:3574
+4919:2:3575
+4920:2:3579
+4921:2:3580
+4922:2:3587
+4923:2:3592
+4924:2:3599
+4925:2:3600
+4926:2:3599
+4927:2:3600
+4928:2:3607
+4929:2:3617
+4930:0:4029
+4931:2:2767
+4932:0:4029
+4933:2:3623
+4934:2:3632
+4935:2:3633
+4936:2:3637
+4937:2:3638
+4938:2:3642
+4939:2:3643
+4940:2:3651
+4941:2:3656
+4942:2:3660
+4943:2:3661
+4944:2:3669
+4945:2:3670
+4946:2:3674
+4947:2:3675
+4948:2:3669
+4949:2:3670
+4950:2:3674
+4951:2:3675
+4952:2:3683
+4953:2:3690
+4954:2:3691
+4955:2:3695
+4956:2:3696
+4957:2:3703
+4958:2:3708
+4959:2:3715
+4960:2:3716
+4961:2:3715
+4962:2:3716
+4963:2:3723
+4964:0:4029
+4965:2:2767
+4966:0:4029
+4967:1:2221
+4968:1:2222
+4969:1:2226
+4970:1:2227
+4971:1:2235
+4972:1:2236
+4973:1:2240
+4974:1:2241
+4975:1:2249
+4976:1:2254
+4977:1:2258
+4978:1:2259
+4979:1:2267
+4980:1:2268
+4981:1:2272
+4982:1:2273
+4983:1:2267
+4984:1:2268
+4985:1:2272
+4986:1:2273
+4987:1:2281
+4988:1:2286
+4989:1:2293
+4990:1:2294
+4991:1:2301
+4992:1:2306
+4993:1:2313
+4994:1:2314
+4995:1:2313
+4996:1:2314
+4997:1:2321