Verification run #1, ipi and no-ipi results

[urcu.git] / formal-model / results / urcu-controldataflow-no-ipi / result-ipi-urcu_free / urcu_progress_reader.spin.input.trail

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.spin.input.trail
new file mode 100644 (file)
index 0000000..46f9f69
--- /dev/null
+++ b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.spin.input.trail
@@ -0,0 +1,2937 @@
+-2:3:-2
+-4:-4:-4
+1:0:4644
+2:3:4564
+3:3:4567
+4:3:4567
+5:3:4570
+6:3:4578
+7:3:4578
+8:3:4581
+9:3:4587
+10:3:4591
+11:3:4591
+12:3:4594
+13:3:4604
+14:3:4612
+15:3:4612
+16:3:4615
+17:3:4621
+18:3:4625
+19:3:4625
+20:3:4628
+21:3:4634
+22:3:4638
+23:3:4639
+24:0:4644
+25:3:4641
+26:0:4644
+27:2:2872
+28:0:4644
+29:2:2878
+30:0:4644
+31:2:2879
+32:0:4644
+33:2:2881
+34:0:4644
+35:2:2882
+36:0:4644
+37:2:2883
+38:2:2884
+39:2:2888
+40:2:2889
+41:2:2897
+42:2:2898
+43:2:2902
+44:2:2903
+45:2:2911
+46:2:2916
+47:2:2920
+48:2:2921
+49:2:2929
+50:2:2930
+51:2:2934
+52:2:2935
+53:2:2929
+54:2:2930
+55:2:2934
+56:2:2935
+57:2:2943
+58:2:2948
+59:2:2949
+60:2:2960
+61:2:2961
+62:2:2962
+63:2:2973
+64:2:2978
+65:2:2979
+66:2:2990
+67:2:2991
+68:2:2992
+69:2:2990
+70:2:2991
+71:2:2992
+72:2:3003
+73:2:3011
+74:0:4644
+75:2:2882
+76:0:4644
+77:2:3015
+78:2:3019
+79:2:3020
+80:2:3024
+81:2:3028
+82:2:3029
+83:2:3033
+84:2:3041
+85:2:3042
+86:2:3046
+87:2:3050
+88:2:3051
+89:2:3046
+90:2:3047
+91:2:3055
+92:0:4644
+93:2:2882
+94:0:4644
+95:2:3063
+96:2:3064
+97:2:3065
+98:0:4644
+99:2:2882
+100:0:4644
+101:2:3070
+102:0:4644
+103:2:3773
+104:2:3774
+105:2:3778
+106:2:3782
+107:2:3783
+108:2:3787
+109:2:3792
+110:2:3800
+111:2:3804
+112:2:3805
+113:2:3800
+114:2:3804
+115:2:3805
+116:2:3809
+117:2:3816
+118:2:3823
+119:2:3824
+120:2:3831
+121:2:3836
+122:2:3843
+123:2:3844
+124:2:3843
+125:2:3844
+126:2:3851
+127:2:3855
+128:0:4644
+129:2:3860
+130:0:4644
+131:2:3861
+132:0:4644
+133:2:3862
+134:0:4644
+135:2:3863
+136:0:4644
+137:1:2
+138:0:4644
+139:2:3864
+140:0:4644
+141:1:8
+142:0:4644
+143:2:3863
+144:0:4644
+145:1:9
+146:0:4644
+147:2:3864
+148:0:4644
+149:1:10
+150:0:4642
+151:2:3863
+152:0:4648
+153:2:3864
+154:0:4648
+155:1:11
+156:0:4648
+157:2:3863
+158:0:4648
+159:2:3864
+160:0:4648
+161:1:12
+162:0:4648
+163:2:3863
+164:0:4648
+165:2:3864
+166:0:4648
+167:1:13
+168:0:4648
+169:2:3863
+170:0:4648
+171:2:3864
+172:0:4648
+173:1:14
+174:0:4648
+175:1:15
+176:0:4648
+177:1:16
+178:0:4648
+179:2:3863
+180:0:4648
+181:2:3864
+182:0:4648
+183:1:17
+184:0:4648
+185:2:3863
+186:0:4648
+187:2:3864
+188:0:4648
+189:1:28
+190:0:4648
+191:2:3863
+192:0:4648
+193:2:3864
+194:0:4648
+195:1:32
+196:1:33
+197:1:37
+198:1:41
+199:1:42
+200:1:46
+201:1:54
+202:1:55
+203:1:59
+204:1:63
+205:1:64
+206:1:59
+207:1:63
+208:1:64
+209:1:68
+210:1:75
+211:1:82
+212:1:83
+213:1:90
+214:1:95
+215:1:102
+216:1:103
+217:1:102
+218:1:103
+219:1:110
+220:1:114
+221:0:4648
+222:2:3863
+223:0:4648
+224:2:3864
+225:0:4648
+226:1:119
+227:0:4648
+228:2:3865
+229:0:4648
+230:2:3870
+231:0:4648
+232:2:3871
+233:0:4648
+234:2:3879
+235:2:3880
+236:2:3884
+237:2:3888
+238:2:3889
+239:2:3893
+240:2:3901
+241:2:3902
+242:2:3906
+243:2:3910
+244:2:3911
+245:2:3906
+246:2:3910
+247:2:3911
+248:2:3915
+249:2:3922
+250:2:3929
+251:2:3930
+252:2:3937
+253:2:3942
+254:2:3949
+255:2:3950
+256:2:3949
+257:2:3950
+258:2:3957
+259:2:3961
+260:0:4648
+261:2:3072
+262:2:3754
+263:0:4648
+264:2:2882
+265:0:4648
+266:2:3073
+267:0:4648
+268:2:2882
+269:0:4648
+270:2:3076
+271:2:3077
+272:2:3081
+273:2:3082
+274:2:3090
+275:2:3091
+276:2:3095
+277:2:3096
+278:2:3104
+279:2:3109
+280:2:3113
+281:2:3114
+282:2:3122
+283:2:3123
+284:2:3127
+285:2:3128
+286:2:3122
+287:2:3123
+288:2:3127
+289:2:3128
+290:2:3136
+291:2:3141
+292:2:3142
+293:2:3153
+294:2:3154
+295:2:3155
+296:2:3166
+297:2:3171
+298:2:3172
+299:2:3183
+300:2:3184
+301:2:3185
+302:2:3183
+303:2:3184
+304:2:3185
+305:2:3196
+306:2:3203
+307:0:4648
+308:2:2882
+309:0:4648
+310:2:3207
+311:2:3208
+312:2:3209
+313:2:3221
+314:2:3222
+315:2:3226
+316:2:3227
+317:2:3235
+318:2:3240
+319:2:3244
+320:2:3245
+321:2:3253
+322:2:3254
+323:2:3258
+324:2:3259
+325:2:3253
+326:2:3254
+327:2:3258
+328:2:3259
+329:2:3267
+330:2:3272
+331:2:3273
+332:2:3284
+333:2:3285
+334:2:3286
+335:2:3297
+336:2:3302
+337:2:3303
+338:2:3314
+339:2:3315
+340:2:3316
+341:2:3314
+342:2:3315
+343:2:3316
+344:2:3327
+345:2:3338
+346:2:3339
+347:0:4648
+348:2:2882
+349:0:4648
+350:2:3345
+351:2:3346
+352:2:3350
+353:2:3351
+354:2:3359
+355:2:3360
+356:2:3364
+357:2:3365
+358:2:3373
+359:2:3378
+360:2:3382
+361:2:3383
+362:2:3391
+363:2:3392
+364:2:3396
+365:2:3397
+366:2:3391
+367:2:3392
+368:2:3396
+369:2:3397
+370:2:3405
+371:2:3410
+372:2:3411
+373:2:3422
+374:2:3423
+375:2:3424
+376:2:3435
+377:2:3440
+378:2:3441
+379:2:3452
+380:2:3453
+381:2:3454
+382:2:3452
+383:2:3453
+384:2:3454
+385:2:3465
+386:0:4648
+387:2:2882
+388:0:4648
+389:2:3474
+390:2:3475
+391:2:3479
+392:2:3480
+393:2:3488
+394:2:3489
+395:2:3493
+396:2:3494
+397:2:3502
+398:2:3507
+399:2:3511
+400:2:3512
+401:2:3520
+402:2:3521
+403:2:3525
+404:2:3526
+405:2:3520
+406:2:3521
+407:2:3525
+408:2:3526
+409:2:3534
+410:2:3539
+411:2:3540
+412:2:3551
+413:2:3552
+414:2:3553
+415:2:3564
+416:2:3569
+417:2:3570
+418:2:3581
+419:2:3582
+420:2:3583
+421:2:3581
+422:2:3582
+423:2:3583
+424:2:3594
+425:2:3601
+426:0:4648
+427:2:2882
+428:0:4648
+429:2:3605
+430:2:3606
+431:2:3607
+432:2:3619
+433:2:3620
+434:2:3624
+435:2:3625
+436:2:3633
+437:2:3638
+438:2:3642
+439:2:3643
+440:2:3651
+441:2:3652
+442:2:3656
+443:2:3657
+444:2:3651
+445:2:3652
+446:2:3656
+447:2:3657
+448:2:3665
+449:2:3670
+450:2:3671
+451:2:3682
+452:2:3683
+453:2:3684
+454:2:3695
+455:2:3700
+456:2:3701
+457:2:3712
+458:2:3713
+459:2:3714
+460:2:3712
+461:2:3713
+462:2:3714
+463:2:3725
+464:2:3735
+465:2:3736
+466:0:4648
+467:2:2882
+468:0:4648
+469:2:3742
+470:0:4648
+471:2:4367
+472:2:4368
+473:2:4372
+474:2:4376
+475:2:4377
+476:2:4381
+477:2:4389
+478:2:4390
+479:2:4394
+480:2:4398
+481:2:4399
+482:2:4394
+483:2:4398
+484:2:4399
+485:2:4403
+486:2:4410
+487:2:4417
+488:2:4418
+489:2:4425
+490:2:4430
+491:2:4437
+492:2:4438
+493:2:4437
+494:2:4438
+495:2:4445
+496:2:4449
+497:0:4648
+498:2:4454
+499:0:4648
+500:2:4455
+501:0:4648
+502:2:4456
+503:0:4648
+504:2:4457
+505:0:4648
+506:1:28
+507:0:4648
+508:2:4458
+509:0:4648
+510:2:4457
+511:0:4648
+512:1:32
+513:1:33
+514:1:37
+515:1:41
+516:1:42
+517:1:46
+518:1:54
+519:1:55
+520:1:59
+521:1:63
+522:1:64
+523:1:59
+524:1:63
+525:1:64
+526:1:68
+527:1:75
+528:1:82
+529:1:83
+530:1:90
+531:1:95
+532:1:102
+533:1:103
+534:1:102
+535:1:103
+536:1:110
+537:1:114
+538:0:4648
+539:2:4458
+540:0:4648
+541:2:4457
+542:0:4648
+543:1:119
+544:0:4648
+545:2:4458
+546:0:4648
+547:2:4459
+548:0:4648
+549:2:4464
+550:0:4648
+551:2:4465
+552:0:4648
+553:2:4473
+554:2:4474
+555:2:4478
+556:2:4482
+557:2:4483
+558:2:4487
+559:2:4495
+560:2:4496
+561:2:4500
+562:2:4504
+563:2:4505
+564:2:4500
+565:2:4504
+566:2:4505
+567:2:4509
+568:2:4516
+569:2:4523
+570:2:4524
+571:2:4531
+572:2:4536
+573:2:4543
+574:2:4544
+575:2:4543
+576:2:4544
+577:2:4551
+578:2:4555
+579:0:4648
+580:2:3744
+581:2:3754
+582:0:4648
+583:2:2882
+584:0:4648
+585:2:3745
+586:2:3746
+587:0:4648
+588:2:2882
+589:0:4648
+590:2:3750
+591:0:4648
+592:2:3758
+593:0:4648
+594:2:2879
+595:0:4648
+596:2:2881
+597:0:4648
+598:2:2882
+599:0:4648
+600:2:2883
+601:2:2884
+602:2:2888
+603:2:2889
+604:2:2897
+605:2:2898
+606:2:2902
+607:2:2903
+608:2:2911
+609:2:2916
+610:2:2920
+611:2:2921
+612:2:2929
+613:2:2930
+614:2:2931
+615:2:2929
+616:2:2930
+617:2:2934
+618:2:2935
+619:2:2943
+620:2:2948
+621:2:2949
+622:2:2960
+623:2:2961
+624:2:2962
+625:2:2973
+626:2:2978
+627:2:2979
+628:2:2990
+629:2:2991
+630:2:2992
+631:2:2990
+632:2:2991
+633:2:2992
+634:2:3003
+635:2:3011
+636:0:4648
+637:2:2882
+638:0:4648
+639:2:3015
+640:2:3019
+641:2:3020
+642:2:3024
+643:2:3028
+644:2:3029
+645:2:3033
+646:2:3041
+647:2:3042
+648:2:3046
+649:2:3047
+650:2:3046
+651:2:3050
+652:2:3051
+653:2:3055
+654:0:4648
+655:2:2882
+656:0:4648
+657:2:3063
+658:2:3064
+659:2:3065
+660:0:4648
+661:2:2882
+662:0:4648
+663:2:3070
+664:0:4648
+665:2:3773
+666:2:3774
+667:2:3778
+668:2:3782
+669:2:3783
+670:2:3787
+671:2:3792
+672:2:3800
+673:2:3804
+674:2:3805
+675:2:3800
+676:2:3804
+677:2:3805
+678:2:3809
+679:2:3816
+680:2:3823
+681:2:3824
+682:2:3831
+683:2:3836
+684:2:3843
+685:2:3844
+686:2:3843
+687:2:3844
+688:2:3851
+689:2:3855
+690:0:4648
+691:2:3860
+692:0:4648
+693:2:3861
+694:0:4648
+695:2:3862
+696:0:4648
+697:2:3863
+698:0:4648
+699:1:28
+700:0:4648
+701:2:3864
+702:0:4648
+703:2:3863
+704:0:4648
+705:1:32
+706:1:33
+707:1:37
+708:1:41
+709:1:42
+710:1:46
+711:1:54
+712:1:55
+713:1:59
+714:1:63
+715:1:64
+716:1:59
+717:1:63
+718:1:64
+719:1:68
+720:1:75
+721:1:82
+722:1:83
+723:1:90
+724:1:95
+725:1:102
+726:1:103
+727:1:102
+728:1:103
+729:1:110
+730:1:114
+731:0:4648
+732:2:3864
+733:0:4648
+734:2:3863
+735:0:4648
+736:1:119
+737:0:4648
+738:2:3864
+739:0:4648
+740:2:3865
+741:0:4648
+742:2:3870
+743:0:4648
+744:2:3871
+745:0:4648
+746:2:3879
+747:2:3880
+748:2:3884
+749:2:3888
+750:2:3889
+751:2:3893
+752:2:3901
+753:2:3902
+754:2:3906
+755:2:3910
+756:2:3911
+757:2:3906
+758:2:3910
+759:2:3911
+760:2:3915
+761:2:3922
+762:2:3929
+763:2:3930
+764:2:3937
+765:2:3942
+766:2:3949
+767:2:3950
+768:2:3949
+769:2:3950
+770:2:3957
+771:2:3961
+772:0:4648
+773:2:3072
+774:2:3754
+775:0:4648
+776:2:2882
+777:0:4648
+778:2:3073
+779:0:4648
+780:2:2882
+781:0:4648
+782:2:3076
+783:2:3077
+784:2:3081
+785:2:3082
+786:2:3090
+787:2:3091
+788:2:3095
+789:2:3096
+790:2:3104
+791:2:3109
+792:2:3113
+793:2:3114
+794:2:3122
+795:2:3123
+796:2:3127
+797:2:3128
+798:2:3122
+799:2:3123
+800:2:3127
+801:2:3128
+802:2:3136
+803:2:3141
+804:2:3142
+805:2:3153
+806:2:3154
+807:2:3155
+808:2:3166
+809:2:3171
+810:2:3172
+811:2:3183
+812:2:3184
+813:2:3185
+814:2:3183
+815:2:3184
+816:2:3185
+817:2:3196
+818:2:3203
+819:0:4648
+820:2:2882
+821:0:4648
+822:2:3207
+823:2:3208
+824:2:3209
+825:2:3221
+826:2:3222
+827:2:3226
+828:2:3227
+829:2:3235
+830:2:3240
+831:2:3244
+832:2:3245
+833:2:3253
+834:2:3254
+835:2:3258
+836:2:3259
+837:2:3253
+838:2:3254
+839:2:3258
+840:2:3259
+841:2:3267
+842:2:3272
+843:2:3273
+844:2:3284
+845:2:3285
+846:2:3286
+847:2:3297
+848:2:3302
+849:2:3303
+850:2:3314
+851:2:3315
+852:2:3316
+853:2:3314
+854:2:3315
+855:2:3316
+856:2:3327
+857:2:3338
+858:2:3339
+859:0:4648
+860:2:2882
+861:0:4648
+862:2:3345
+863:2:3346
+864:2:3350
+865:2:3351
+866:2:3359
+867:2:3360
+868:2:3364
+869:2:3365
+870:2:3373
+871:2:3378
+872:2:3382
+873:2:3383
+874:2:3391
+875:2:3392
+876:2:3396
+877:2:3397
+878:2:3391
+879:2:3392
+880:2:3396
+881:2:3397
+882:2:3405
+883:2:3410
+884:2:3411
+885:2:3422
+886:2:3423
+887:2:3424
+888:2:3435
+889:2:3440
+890:2:3441
+891:2:3452
+892:2:3453
+893:2:3454
+894:2:3452
+895:2:3453
+896:2:3454
+897:2:3465
+898:0:4648
+899:2:2882
+900:0:4648
+901:2:3474
+902:2:3475
+903:2:3479
+904:2:3480
+905:2:3488
+906:2:3489
+907:2:3493
+908:2:3494
+909:2:3502
+910:2:3507
+911:2:3511
+912:2:3512
+913:2:3520
+914:2:3521
+915:2:3525
+916:2:3526
+917:2:3520
+918:2:3521
+919:2:3525
+920:2:3526
+921:2:3534
+922:2:3539
+923:2:3540
+924:2:3551
+925:2:3552
+926:2:3553
+927:2:3564
+928:2:3569
+929:2:3570
+930:2:3581
+931:2:3582
+932:2:3583
+933:2:3581
+934:2:3582
+935:2:3583
+936:2:3594
+937:2:3601
+938:0:4648
+939:2:2882
+940:0:4648
+941:2:3605
+942:2:3606
+943:2:3607
+944:2:3619
+945:2:3620
+946:2:3624
+947:2:3625
+948:2:3633
+949:2:3638
+950:2:3642
+951:2:3643
+952:2:3651
+953:2:3652
+954:2:3656
+955:2:3657
+956:2:3651
+957:2:3652
+958:2:3656
+959:2:3657
+960:2:3665
+961:2:3670
+962:2:3671
+963:2:3682
+964:2:3683
+965:2:3684
+966:2:3695
+967:2:3700
+968:2:3701
+969:2:3712
+970:2:3713
+971:2:3714
+972:2:3712
+973:2:3713
+974:2:3714
+975:2:3725
+976:2:3735
+977:2:3736
+978:0:4648
+979:2:2882
+980:0:4648
+981:2:3742
+982:0:4648
+983:2:4367
+984:2:4368
+985:2:4372
+986:2:4376
+987:2:4377
+988:2:4381
+989:2:4389
+990:2:4390
+991:2:4394
+992:2:4398
+993:2:4399
+994:2:4394
+995:2:4398
+996:2:4399
+997:2:4403
+998:2:4410
+999:2:4417
+1000:2:4418
+1001:2:4425
+1002:2:4430
+1003:2:4437
+1004:2:4438
+1005:2:4437
+1006:2:4438
+1007:2:4445
+1008:2:4449
+1009:0:4648
+1010:2:4454
+1011:0:4648
+1012:2:4455
+1013:0:4648
+1014:2:4456
+1015:0:4648
+1016:2:4457
+1017:0:4648
+1018:1:28
+1019:0:4648
+1020:2:4458
+1021:0:4648
+1022:2:4457
+1023:0:4648
+1024:1:32
+1025:1:33
+1026:1:37
+1027:1:41
+1028:1:42
+1029:1:46
+1030:1:54
+1031:1:55
+1032:1:59
+1033:1:63
+1034:1:64
+1035:1:59
+1036:1:63
+1037:1:64
+1038:1:68
+1039:1:75
+1040:1:82
+1041:1:83
+1042:1:90
+1043:1:95
+1044:1:102
+1045:1:103
+1046:1:102
+1047:1:103
+1048:1:110
+1049:1:114
+1050:0:4648
+1051:2:4458
+1052:0:4648
+1053:2:4457
+1054:0:4648
+1055:1:119
+1056:0:4648
+1057:2:4458
+1058:0:4648
+1059:2:4459
+1060:0:4648
+1061:2:4464
+1062:0:4648
+1063:2:4465
+1064:0:4648
+1065:2:4473
+1066:2:4474
+1067:2:4478
+1068:2:4482
+1069:2:4483
+1070:2:4487
+1071:2:4495
+1072:2:4496
+1073:2:4500
+1074:2:4504
+1075:2:4505
+1076:2:4500
+1077:2:4504
+1078:2:4505
+1079:2:4509
+1080:2:4516
+1081:2:4523
+1082:2:4524
+1083:2:4531
+1084:2:4536
+1085:2:4543
+1086:2:4544
+1087:2:4543
+1088:2:4544
+1089:2:4551
+1090:2:4555
+1091:0:4648
+1092:2:3744
+1093:2:3754
+1094:0:4648
+1095:2:2882
+1096:0:4648
+1097:2:3745
+1098:2:3746
+1099:0:4648
+1100:2:2882
+1101:0:4648
+1102:2:3750
+1103:0:4648
+1104:2:3758
+1105:0:4648
+1106:2:2879
+1107:0:4648
+1108:2:2881
+1109:0:4648
+1110:2:2882
+1111:0:4648
+1112:2:2883
+1113:2:2884
+1114:2:2888
+1115:2:2889
+1116:2:2897
+1117:2:2898
+1118:2:2902
+1119:2:2903
+1120:2:2911
+1121:2:2916
+1122:2:2920
+1123:2:2921
+1124:2:2929
+1125:2:2930
+1126:2:2934
+1127:2:2935
+1128:2:2929
+1129:2:2930
+1130:2:2931
+1131:2:2943
+1132:2:2948
+1133:2:2949
+1134:2:2960
+1135:2:2961
+1136:2:2962
+1137:2:2973
+1138:2:2978
+1139:2:2979
+1140:2:2990
+1141:2:2991
+1142:2:2992
+1143:2:2990
+1144:2:2991
+1145:2:2992
+1146:2:3003
+1147:2:3011
+1148:0:4648
+1149:2:2882
+1150:0:4648
+1151:2:3015
+1152:2:3019
+1153:2:3020
+1154:2:3024
+1155:2:3028
+1156:2:3029
+1157:2:3033
+1158:2:3041
+1159:2:3042
+1160:2:3046
+1161:2:3050
+1162:2:3051
+1163:2:3046
+1164:2:3047
+1165:2:3055
+1166:0:4648
+1167:2:2882
+1168:0:4648
+1169:2:3063
+1170:2:3064
+1171:2:3065
+1172:0:4648
+1173:2:2882
+1174:0:4648
+1175:2:3070
+1176:0:4648
+1177:2:3773
+1178:2:3774
+1179:2:3778
+1180:2:3782
+1181:2:3783
+1182:2:3787
+1183:2:3792
+1184:2:3800
+1185:2:3804
+1186:2:3805
+1187:2:3800
+1188:2:3804
+1189:2:3805
+1190:2:3809
+1191:2:3816
+1192:2:3823
+1193:2:3824
+1194:2:3831
+1195:2:3836
+1196:2:3843
+1197:2:3844
+1198:2:3843
+1199:2:3844
+1200:2:3851
+1201:2:3855
+1202:0:4648
+1203:2:3860
+1204:0:4648
+1205:2:3861
+1206:0:4648
+1207:2:3862
+1208:0:4648
+1209:2:3863
+1210:0:4648
+1211:1:28
+1212:0:4648
+1213:2:3864
+1214:0:4648
+1215:2:3863
+1216:0:4648
+1217:1:32
+1218:1:33
+1219:1:37
+1220:1:41
+1221:1:42
+1222:1:46
+1223:1:54
+1224:1:55
+1225:1:59
+1226:1:63
+1227:1:64
+1228:1:59
+1229:1:63
+1230:1:64
+1231:1:68
+1232:1:75
+1233:1:82
+1234:1:83
+1235:1:90
+1236:1:95
+1237:1:102
+1238:1:103
+1239:1:102
+1240:1:103
+1241:1:110
+1242:1:114
+1243:0:4648
+1244:2:3864
+1245:0:4648
+1246:2:3863
+1247:0:4648
+1248:1:119
+1249:0:4648
+1250:2:3864
+1251:0:4648
+1252:2:3865
+1253:0:4648
+1254:2:3870
+1255:0:4648
+1256:2:3871
+1257:0:4648
+1258:2:3879
+1259:2:3880
+1260:2:3884
+1261:2:3888
+1262:2:3889
+1263:2:3893
+1264:2:3901
+1265:2:3902
+1266:2:3906
+1267:2:3910
+1268:2:3911
+1269:2:3906
+1270:2:3910
+1271:2:3911
+1272:2:3915
+1273:2:3922
+1274:2:3929
+1275:2:3930
+1276:2:3937
+1277:2:3942
+1278:2:3949
+1279:2:3950
+1280:2:3949
+1281:2:3950
+1282:2:3957
+1283:2:3961
+1284:0:4648
+1285:2:3072
+1286:2:3754
+1287:0:4648
+1288:2:2882
+1289:0:4648
+1290:2:3073
+1291:0:4648
+1292:2:2882
+1293:0:4648
+1294:2:3076
+1295:2:3077
+1296:2:3081
+1297:2:3082
+1298:2:3090
+1299:2:3091
+1300:2:3095
+1301:2:3096
+1302:2:3104
+1303:2:3109
+1304:2:3113
+1305:2:3114
+1306:2:3122
+1307:2:3123
+1308:2:3127
+1309:2:3128
+1310:2:3122
+1311:2:3123
+1312:2:3127
+1313:2:3128
+1314:2:3136
+1315:2:3141
+1316:2:3142
+1317:2:3153
+1318:2:3154
+1319:2:3155
+1320:2:3166
+1321:2:3171
+1322:2:3172
+1323:2:3183
+1324:2:3184
+1325:2:3185
+1326:2:3183
+1327:2:3184
+1328:2:3185
+1329:2:3196
+1330:2:3203
+1331:0:4648
+1332:2:2882
+1333:0:4648
+1334:2:3207
+1335:2:3208
+1336:2:3209
+1337:2:3221
+1338:2:3222
+1339:2:3226
+1340:2:3227
+1341:2:3235
+1342:2:3240
+1343:2:3244
+1344:2:3245
+1345:2:3253
+1346:2:3254
+1347:2:3258
+1348:2:3259
+1349:2:3253
+1350:2:3254
+1351:2:3258
+1352:2:3259
+1353:2:3267
+1354:2:3272
+1355:2:3273
+1356:2:3284
+1357:2:3285
+1358:2:3286
+1359:2:3297
+1360:2:3302
+1361:2:3303
+1362:2:3314
+1363:2:3315
+1364:2:3316
+1365:2:3314
+1366:2:3315
+1367:2:3316
+1368:2:3327
+1369:2:3338
+1370:2:3339
+1371:0:4648
+1372:2:2882
+1373:0:4648
+1374:2:3345
+1375:2:3346
+1376:2:3350
+1377:2:3351
+1378:2:3359
+1379:2:3360
+1380:2:3364
+1381:2:3365
+1382:2:3373
+1383:2:3378
+1384:2:3382
+1385:2:3383
+1386:2:3391
+1387:2:3392
+1388:2:3396
+1389:2:3397
+1390:2:3391
+1391:2:3392
+1392:2:3396
+1393:2:3397
+1394:2:3405
+1395:2:3410
+1396:2:3411
+1397:2:3422
+1398:2:3423
+1399:2:3424
+1400:2:3435
+1401:2:3440
+1402:2:3441
+1403:2:3452
+1404:2:3453
+1405:2:3454
+1406:2:3452
+1407:2:3453
+1408:2:3454
+1409:2:3465
+1410:0:4648
+1411:2:2882
+1412:0:4648
+1413:2:3474
+1414:2:3475
+1415:2:3479
+1416:2:3480
+1417:2:3488
+1418:2:3489
+1419:2:3493
+1420:2:3494
+1421:2:3502
+1422:2:3507
+1423:2:3511
+1424:2:3512
+1425:2:3520
+1426:2:3521
+1427:2:3525
+1428:2:3526
+1429:2:3520
+1430:2:3521
+1431:2:3525
+1432:2:3526
+1433:2:3534
+1434:2:3539
+1435:2:3540
+1436:2:3551
+1437:2:3552
+1438:2:3553
+1439:2:3564
+1440:2:3569
+1441:2:3570
+1442:2:3581
+1443:2:3582
+1444:2:3583
+1445:2:3581
+1446:2:3582
+1447:2:3583
+1448:2:3594
+1449:2:3601
+1450:0:4648
+1451:2:2882
+1452:0:4648
+1453:2:3605
+1454:2:3606
+1455:2:3607
+1456:2:3619
+1457:2:3620
+1458:2:3624
+1459:2:3625
+1460:2:3633
+1461:2:3638
+1462:2:3642
+1463:2:3643
+1464:2:3651
+1465:2:3652
+1466:2:3656
+1467:2:3657
+1468:2:3651
+1469:2:3652
+1470:2:3656
+1471:2:3657
+1472:2:3665
+1473:2:3670
+1474:2:3671
+1475:2:3682
+1476:2:3683
+1477:2:3684
+1478:2:3695
+1479:2:3700
+1480:2:3701
+1481:2:3712
+1482:2:3713
+1483:2:3714
+1484:2:3712
+1485:2:3713
+1486:2:3714
+1487:2:3725
+1488:2:3735
+1489:2:3736
+1490:0:4648
+1491:2:2882
+1492:0:4648
+1493:2:3742
+1494:0:4648
+1495:2:4367
+1496:2:4368
+1497:2:4372
+1498:2:4376
+1499:2:4377
+1500:2:4381
+1501:2:4389
+1502:2:4390
+1503:2:4394
+1504:2:4398
+1505:2:4399
+1506:2:4394
+1507:2:4398
+1508:2:4399
+1509:2:4403
+1510:2:4410
+1511:2:4417
+1512:2:4418
+1513:2:4425
+1514:2:4430
+1515:2:4437
+1516:2:4438
+1517:2:4437
+1518:2:4438
+1519:2:4445
+1520:2:4449
+1521:0:4648
+1522:2:4454
+1523:0:4648
+1524:2:4455
+1525:0:4648
+1526:2:4456
+1527:0:4648
+1528:2:4457
+1529:0:4648
+1530:1:28
+1531:0:4648
+1532:2:4458
+1533:0:4648
+1534:2:4457
+1535:0:4648
+1536:1:32
+1537:1:33
+1538:1:37
+1539:1:41
+1540:1:42
+1541:1:46
+1542:1:54
+1543:1:55
+1544:1:59
+1545:1:63
+1546:1:64
+1547:1:59
+1548:1:63
+1549:1:64
+1550:1:68
+1551:1:75
+1552:1:82
+1553:1:83
+1554:1:90
+1555:1:95
+1556:1:102
+1557:1:103
+1558:1:102
+1559:1:103
+1560:1:110
+1561:1:114
+1562:0:4648
+1563:2:4458
+1564:0:4648
+1565:2:4457
+1566:0:4648
+1567:1:119
+1568:0:4648
+1569:2:4458
+1570:0:4648
+1571:2:4459
+1572:0:4648
+1573:2:4464
+1574:0:4648
+1575:2:4465
+1576:0:4648
+1577:2:4473
+1578:2:4474
+1579:2:4478
+1580:2:4482
+1581:2:4483
+1582:2:4487
+1583:2:4495
+1584:2:4496
+1585:2:4500
+1586:2:4504
+1587:2:4505
+1588:2:4500
+1589:2:4504
+1590:2:4505
+1591:2:4509
+1592:2:4516
+1593:2:4523
+1594:2:4524
+1595:2:4531
+1596:2:4536
+1597:2:4543
+1598:2:4544
+1599:2:4543
+1600:2:4544
+1601:2:4551
+1602:2:4555
+1603:0:4648
+1604:2:3744
+1605:2:3754
+1606:0:4648
+1607:2:2882
+1608:0:4648
+1609:2:3745
+1610:2:3746
+1611:0:4648
+1612:2:2882
+1613:0:4648
+1614:2:3750
+1615:0:4648
+1616:2:3758
+1617:0:4648
+1618:2:3759
+1619:0:4648
+1620:2:3764
+1621:0:4648
+1622:1:120
+1623:0:4648
+1624:2:3765
+1625:0:4648
+1626:2:3764
+1627:0:4648
+1628:1:19
+1629:0:4648
+1630:2:3765
+1631:0:4648
+1632:2:3764
+1633:0:4648
+1634:1:127
+1635:1:128
+1636:1:132
+1637:1:133
+1638:1:141
+1639:1:142
+1640:1:146
+1641:1:147
+1642:1:155
+1643:1:160
+1644:1:164
+1645:1:165
+1646:1:173
+1647:1:174
+1648:1:178
+1649:1:179
+1650:1:173
+1651:1:174
+1652:1:178
+1653:1:179
+1654:1:187
+1655:1:192
+1656:1:193
+1657:1:204
+1658:1:205
+1659:1:206
+1660:1:217
+1661:1:222
+1662:1:223
+1663:1:234
+1664:1:235
+1665:1:236
+1666:1:234
+1667:1:235
+1668:1:236
+1669:1:247
+1670:0:4648
+1671:2:3765
+1672:0:4648
+1673:2:3764
+1674:0:4648
+1675:1:15
+1676:0:4648
+1677:2:3765
+1678:0:4648
+1679:2:3764
+1680:0:4648
+1681:1:16
+1682:0:4648
+1683:2:3765
+1684:0:4648
+1685:2:3764
+1686:0:4648
+1687:1:17
+1688:0:4648
+1689:2:3765
+1690:0:4648
+1691:2:3764
+1692:0:4648
+1693:1:120
+1694:0:4648
+1695:2:3765
+1696:0:4648
+1697:2:3764
+1698:0:4648
+1699:1:19
+1700:0:4648
+1701:2:3765
+1702:0:4648
+1703:2:3764
+1704:0:4648
+1705:1:256
+1706:1:257
+1707:0:4648
+1708:2:3765
+1709:0:4648
+1710:2:3764
+1711:0:4648
+1712:1:15
+1713:0:4648
+1714:2:3765
+1715:0:4648
+1716:2:3764
+1717:0:4648
+1718:1:16
+1719:0:4648
+1720:2:3765
+1721:0:4648
+1722:2:3764
+1723:0:4648
+1724:1:17
+1725:0:4648
+1726:2:3765
+1727:0:4648
+1728:2:3764
+1729:0:4648
+1730:1:120
+1731:0:4648
+1732:2:3765
+1733:0:4648
+1734:2:3764
+1735:0:4648
+1736:1:19
+1737:0:4648
+1738:2:3765
+1739:0:4648
+1740:2:3764
+1741:0:4648
+1742:1:263
+1743:1:264
+1744:1:268
+1745:1:269
+1746:1:277
+1747:1:278
+1748:1:282
+1749:1:283
+1750:1:291
+1751:1:296
+1752:1:300
+1753:1:301
+1754:1:309
+1755:1:310
+1756:1:314
+1757:1:315
+1758:1:309
+1759:1:310
+1760:1:314
+1761:1:315
+1762:1:323
+1763:1:328
+1764:1:329
+1765:1:340
+1766:1:341
+1767:1:342
+1768:1:353
+1769:1:358
+1770:1:359
+1771:1:370
+1772:1:371
+1773:1:372
+1774:1:370
+1775:1:371
+1776:1:372
+1777:1:383
+1778:0:4648
+1779:2:3765
+1780:0:4648
+1781:2:3764
+1782:0:4648
+1783:1:15
+1784:0:4648
+1785:2:3765
+1786:0:4648
+1787:2:3764
+1788:0:4648
+1789:1:16
+1790:0:4648
+1791:2:3765
+1792:0:4648
+1793:2:3764
+1794:0:4648
+1795:1:17
+1796:0:4648
+1797:2:3765
+1798:0:4648
+1799:2:3764
+1800:0:4648
+1801:1:120
+1802:0:4648
+1803:2:3765
+1804:0:4648
+1805:2:3764
+1806:0:4648
+1807:1:19
+1808:0:4648
+1809:2:3765
+1810:0:4648
+1811:2:3764
+1812:0:4648
+1813:1:392
+1814:1:393
+1815:1:397
+1816:1:398
+1817:1:406
+1818:1:407
+1819:1:411
+1820:1:412
+1821:1:420
+1822:1:425
+1823:1:429
+1824:1:430
+1825:1:438
+1826:1:439
+1827:1:443
+1828:1:444
+1829:1:438
+1830:1:439
+1831:1:443
+1832:1:444
+1833:1:452
+1834:1:457
+1835:1:458
+1836:1:469
+1837:1:470
+1838:1:471
+1839:1:482
+1840:1:487
+1841:1:488
+1842:1:499
+1843:1:500
+1844:1:501
+1845:1:499
+1846:1:500
+1847:1:501
+1848:1:512
+1849:1:519
+1850:0:4648
+1851:2:3765
+1852:0:4648
+1853:2:3764
+1854:0:4648
+1855:1:15
+1856:0:4648
+1857:2:3765
+1858:0:4648
+1859:2:3764
+1860:0:4648
+1861:1:16
+1862:0:4648
+1863:2:3765
+1864:0:4648
+1865:2:3764
+1866:0:4648
+1867:1:17
+1868:0:4648
+1869:2:3765
+1870:0:4648
+1871:2:3764
+1872:0:4648
+1873:1:120
+1874:0:4648
+1875:2:3765
+1876:0:4648
+1877:2:3764
+1878:0:4648
+1879:1:19
+1880:0:4648
+1881:2:3765
+1882:0:4648
+1883:2:3764
+1884:0:4648
+1885:1:657
+1886:1:658
+1887:1:662
+1888:1:663
+1889:1:671
+1890:1:672
+1891:1:673
+1892:1:685
+1893:1:690
+1894:1:694
+1895:1:695
+1896:1:703
+1897:1:704
+1898:1:708
+1899:1:709
+1900:1:703
+1901:1:704
+1902:1:708
+1903:1:709
+1904:1:717
+1905:1:722
+1906:1:723
+1907:1:734
+1908:1:735
+1909:1:736
+1910:1:747
+1911:1:752
+1912:1:753
+1913:1:764
+1914:1:765
+1915:1:766
+1916:1:764
+1917:1:765
+1918:1:766
+1919:1:777
+1920:0:4648
+1921:2:3765
+1922:0:4648
+1923:2:3764
+1924:0:4648
+1925:1:15
+1926:0:4648
+1927:2:3765
+1928:0:4648
+1929:2:3764
+1930:0:4648
+1931:1:16
+1932:0:4648
+1933:2:3765
+1934:0:4648
+1935:2:3764
+1936:0:4648
+1937:1:17
+1938:0:4648
+1939:2:3765
+1940:0:4648
+1941:2:3764
+1942:0:4648
+1943:1:120
+1944:0:4648
+1945:2:3765
+1946:0:4648
+1947:2:3764
+1948:0:4648
+1949:1:19
+1950:0:4648
+1951:2:3765
+1952:0:4648
+1953:2:3764
+1954:0:4648
+1955:1:786
+1956:1:789
+1957:1:790
+1958:0:4648
+1959:2:3765
+1960:0:4648
+1961:2:3764
+1962:0:4648
+1963:1:15
+1964:0:4648
+1965:2:3765
+1966:0:4648
+1967:2:3764
+1968:0:4648
+1969:1:16
+1970:0:4648
+1971:2:3765
+1972:0:4648
+1973:2:3764
+1974:0:4648
+1975:1:17
+1976:0:4648
+1977:2:3765
+1978:0:4648
+1979:2:3764
+1980:0:4648
+1981:1:120
+1982:0:4648
+1983:2:3765
+1984:0:4648
+1985:2:3764
+1986:0:4648
+1987:1:19
+1988:0:4648
+1989:2:3765
+1990:0:4648
+1991:2:3764
+1992:0:4648
+1993:1:1053
+1994:1:1054
+1995:1:1058
+1996:1:1059
+1997:1:1067
+1998:1:1068
+1999:1:1072
+2000:1:1073
+2001:1:1081
+2002:1:1086
+2003:1:1090
+2004:1:1091
+2005:1:1099
+2006:1:1100
+2007:1:1104
+2008:1:1105
+2009:1:1099
+2010:1:1100
+2011:1:1104
+2012:1:1105
+2013:1:1113
+2014:1:1118
+2015:1:1119
+2016:1:1130
+2017:1:1131
+2018:1:1132
+2019:1:1143
+2020:1:1148
+2021:1:1149
+2022:1:1160
+2023:1:1161
+2024:1:1162
+2025:1:1160
+2026:1:1161
+2027:1:1162
+2028:1:1173
+2029:1:1180
+2030:1:1184
+2031:0:4648
+2032:2:3765
+2033:0:4648
+2034:2:3764
+2035:0:4648
+2036:1:15
+2037:0:4648
+2038:2:3765
+2039:0:4648
+2040:2:3764
+2041:0:4648
+2042:1:16
+2043:0:4648
+2044:2:3765
+2045:0:4648
+2046:2:3764
+2047:0:4648
+2048:1:17
+2049:0:4648
+2050:2:3765
+2051:0:4648
+2052:2:3764
+2053:0:4648
+2054:1:120
+2055:0:4648
+2056:2:3765
+2057:0:4648
+2058:2:3764
+2059:0:4648
+2060:1:19
+2061:0:4648
+2062:2:3765
+2063:0:4648
+2064:2:3764
+2065:0:4648
+2066:1:1185
+2067:1:1186
+2068:1:1190
+2069:1:1191
+2070:1:1199
+2071:1:1200
+2072:1:1201
+2073:1:1213
+2074:1:1218
+2075:1:1222
+2076:1:1223
+2077:1:1231
+2078:1:1232
+2079:1:1236
+2080:1:1237
+2081:1:1231
+2082:1:1232
+2083:1:1236
+2084:1:1237
+2085:1:1245
+2086:1:1250
+2087:1:1251
+2088:1:1262
+2089:1:1263
+2090:1:1264
+2091:1:1275
+2092:1:1280
+2093:1:1281
+2094:1:1292
+2095:1:1293
+2096:1:1294
+2097:1:1292
+2098:1:1293
+2099:1:1294
+2100:1:1305
+2101:0:4648
+2102:2:3765
+2103:0:4648
+2104:2:3764
+2105:0:4648
+2106:1:15
+2107:0:4648
+2108:2:3765
+2109:0:4648
+2110:2:3764
+2111:0:4648
+2112:1:16
+2113:0:4648
+2114:2:3765
+2115:0:4648
+2116:2:3764
+2117:0:4648
+2118:1:17
+2119:0:4648
+2120:2:3765
+2121:0:4648
+2122:2:3764
+2123:0:4648
+2124:1:120
+2125:0:4648
+2126:2:3765
+2127:0:4648
+2128:2:3764
+2129:0:4648
+2130:1:19
+2131:0:4648
+2132:2:3765
+2133:0:4648
+2134:2:3764
+2135:0:4648
+2136:1:1314
+2137:0:4648
+2138:2:3765
+2139:0:4648
+2140:2:3764
+2141:0:4648
+2142:1:2778
+2143:1:2785
+2144:1:2786
+2145:1:2793
+2146:1:2798
+2147:1:2805
+2148:1:2806
+2149:1:2805
+2150:1:2806
+2151:1:2813
+2152:1:2817
+2153:0:4648
+2154:2:3765
+2155:0:4648
+2156:2:3764
+2157:0:4648
+2158:1:1316
+2159:1:1317
+2160:0:4648
+2161:2:3765
+2162:0:4648
+2163:2:3764
+2164:0:4648
+2165:1:15
+2166:0:4648
+2167:2:3765
+2168:0:4648
+2169:2:3764
+2170:0:4648
+2171:1:16
+2172:0:4648
+2173:2:3765
+2174:0:4648
+2175:2:3764
+2176:0:4648
+2177:1:17
+2178:0:4648
+2179:2:3765
+2180:0:4648
+2181:2:3764
+2182:0:4648
+2183:1:120
+2184:0:4648
+2185:2:3765
+2186:0:4648
+2187:2:3764
+2188:0:4648
+2189:1:19
+2190:0:4648
+2191:2:3765
+2192:0:4648
+2193:2:3764
+2194:0:4648
+2195:1:1318
+2196:1:1319
+2197:1:1323
+2198:1:1324
+2199:1:1332
+2200:1:1333
+2201:1:1337
+2202:1:1338
+2203:1:1346
+2204:1:1351
+2205:1:1355
+2206:1:1356
+2207:1:1364
+2208:1:1365
+2209:1:1369
+2210:1:1370
+2211:1:1364
+2212:1:1365
+2213:1:1369
+2214:1:1370
+2215:1:1378
+2216:1:1383
+2217:1:1384
+2218:1:1395
+2219:1:1396
+2220:1:1397
+2221:1:1408
+2222:1:1413
+2223:1:1414
+2224:1:1425
+2225:1:1426
+2226:1:1427
+2227:1:1425
+2228:1:1426
+2229:1:1427
+2230:1:1438
+2231:0:4648
+2232:2:3765
+2233:0:4648
+2234:2:3764
+2235:0:4648
+2236:1:15
+2237:0:4648
+2238:2:3765
+2239:0:4648
+2240:2:3764
+2241:0:4648
+2242:1:16
+2243:0:4648
+2244:2:3765
+2245:0:4648
+2246:2:3764
+2247:0:4648
+2248:1:17
+2249:0:4648
+2250:2:3765
+2251:0:4648
+2252:2:3764
+2253:0:4648
+2254:1:120
+2255:0:4648
+2256:2:3765
+2257:0:4648
+2258:2:3764
+2259:0:4648
+2260:1:19
+2261:0:4648
+2262:2:3765
+2263:0:4648
+2264:2:3764
+2265:0:4648
+2266:1:1447
+2267:1:1448
+2268:1:1452
+2269:1:1453
+2270:1:1461
+2271:1:1462
+2272:1:1466
+2273:1:1467
+2274:1:1475
+2275:1:1480
+2276:1:1484
+2277:1:1485
+2278:1:1493
+2279:1:1494
+2280:1:1498
+2281:1:1499
+2282:1:1493
+2283:1:1494
+2284:1:1498
+2285:1:1499
+2286:1:1507
+2287:1:1512
+2288:1:1513
+2289:1:1524
+2290:1:1525
+2291:1:1526
+2292:1:1537
+2293:1:1542
+2294:1:1543
+2295:1:1554
+2296:1:1555
+2297:1:1556
+2298:1:1554
+2299:1:1555
+2300:1:1556
+2301:1:1567
+2302:1:1574
+2303:1:1578
+2304:0:4648
+2305:2:3765
+2306:0:4648
+2307:2:3764
+2308:0:4648
+2309:1:15
+2310:0:4648
+2311:2:3765
+2312:0:4648
+2313:2:3764
+2314:0:4648
+2315:1:16
+2316:0:4648
+2317:2:3765
+2318:0:4648
+2319:2:3764
+2320:0:4648
+2321:1:17
+2322:0:4648
+2323:2:3765
+2324:0:4648
+2325:2:3764
+2326:0:4648
+2327:1:120
+2328:0:4648
+2329:2:3765
+2330:0:4648
+2331:2:3764
+2332:0:4648
+2333:1:19
+2334:0:4648
+2335:2:3765
+2336:0:4648
+2337:2:3764
+2338:0:4648
+2339:1:1581
+2340:1:1582
+2341:1:1586
+2342:1:1587
+2343:1:1595
+2344:1:1596
+2345:1:1597
+2346:1:1609
+2347:1:1614
+2348:1:1618
+2349:1:1619
+2350:1:1627
+2351:1:1628
+2352:1:1632
+2353:1:1633
+2354:1:1627
+2355:1:1628
+2356:1:1632
+2357:1:1633
+2358:1:1641
+2359:1:1646
+2360:1:1647
+2361:1:1658
+2362:1:1659
+2363:1:1660
+2364:1:1671
+2365:1:1676
+2366:1:1677
+2367:1:1688
+2368:1:1689
+2369:1:1690
+2370:1:1688
+2371:1:1689
+2372:1:1690
+2373:1:1701
+2374:0:4648
+2375:2:3765
+2376:0:4648
+2377:2:3764
+2378:0:4648
+2379:1:15
+2380:0:4648
+2381:2:3765
+2382:0:4648
+2383:2:3764
+2384:0:4648
+2385:1:16
+2386:0:4648
+2387:2:3765
+2388:0:4648
+2389:2:3764
+2390:0:4648
+2391:1:17
+2392:0:4648
+2393:2:3765
+2394:0:4648
+2395:2:3764
+2396:0:4648
+2397:1:120
+2398:0:4648
+2399:2:3765
+2400:0:4648
+2401:2:3764
+2402:0:4648
+2403:1:19
+2404:0:4648
+2405:2:3765
+2406:0:4648
+2407:2:3764
+2408:0:4648
+2409:1:1710
+2410:1:1711
+2411:1:1715
+2412:1:1716
+2413:1:1724
+2414:1:1725
+2415:1:1729
+2416:1:1730
+2417:1:1738
+2418:1:1743
+2419:1:1747
+2420:1:1748
+2421:1:1756
+2422:1:1757
+2423:1:1761
+2424:1:1762
+2425:1:1756
+2426:1:1757
+2427:1:1761
+2428:1:1762
+2429:1:1770
+2430:1:1775
+2431:1:1776
+2432:1:1787
+2433:1:1788
+2434:1:1789
+2435:1:1800
+2436:1:1805
+2437:1:1806
+2438:1:1817
+2439:1:1818
+2440:1:1819
+2441:1:1817
+2442:1:1818
+2443:1:1819
+2444:1:1830
+2445:1:1837
+2446:1:1841
+2447:0:4648
+2448:2:3765
+2449:0:4648
+2450:2:3764
+2451:0:4648
+2452:1:15
+2453:0:4648
+2454:2:3765
+2455:0:4648
+2456:2:3764
+2457:0:4648
+2458:1:16
+2459:0:4648
+2460:2:3765
+2461:0:4648
+2462:2:3764
+2463:0:4648
+2464:1:17
+2465:0:4648
+2466:2:3765
+2467:0:4648
+2468:2:3764
+2469:0:4648
+2470:1:120
+2471:0:4648
+2472:2:3765
+2473:0:4648
+2474:2:3764
+2475:0:4648
+2476:1:19
+2477:0:4648
+2478:2:3765
+2479:0:4648
+2480:2:3764
+2481:0:4648
+2482:1:1842
+2483:1:1843
+2484:1:1847
+2485:1:1848
+2486:1:1856
+2487:1:1857
+2488:1:1858
+2489:1:1870
+2490:1:1875
+2491:1:1879
+2492:1:1880
+2493:1:1888
+2494:1:1889
+2495:1:1893
+2496:1:1894
+2497:1:1888
+2498:1:1889
+2499:1:1893
+2500:1:1894
+2501:1:1902
+2502:1:1907
+2503:1:1908
+2504:1:1919
+2505:1:1920
+2506:1:1921
+2507:1:1932
+2508:1:1937
+2509:1:1938
+2510:1:1949
+2511:1:1950
+2512:1:1951
+2513:1:1949
+2514:1:1950
+2515:1:1951
+2516:1:1962
+2517:0:4648
+2518:2:3765
+2519:0:4648
+2520:2:3764
+2521:0:4648
+2522:1:15
+2523:0:4648
+2524:2:3765
+2525:0:4648
+2526:2:3764
+2527:0:4648
+2528:1:16
+2529:0:4648
+2530:2:3765
+2531:0:4648
+2532:2:3764
+2533:0:4648
+2534:1:17
+2535:0:4648
+2536:2:3765
+2537:0:4648
+2538:2:3764
+2539:0:4648
+2540:1:120
+2541:0:4648
+2542:2:3765
+2543:0:4648
+2544:2:3764
+2545:0:4648
+2546:1:19
+2547:0:4648
+2548:2:3765
+2549:0:4648
+2550:2:3764
+2551:0:4648
+2552:1:1971
+2553:1:1972
+2554:0:4648
+2555:2:3765
+2556:0:4648
+2557:2:3764
+2558:0:4648
+2559:1:15
+2560:0:4648
+2561:2:3765
+2562:0:4648
+2563:2:3764
+2564:0:4648
+2565:1:16
+2566:0:4648
+2567:2:3765
+2568:0:4648
+2569:2:3764
+2570:0:4648
+2571:1:17
+2572:0:4648
+2573:2:3765
+2574:0:4648
+2575:2:3764
+2576:0:4648
+2577:1:120
+2578:0:4648
+2579:2:3765
+2580:0:4648
+2581:2:3764
+2582:0:4648
+2583:1:19
+2584:0:4648
+2585:2:3765
+2586:0:4648
+2587:2:3764
+2588:0:4648
+2589:1:1978
+2590:1:1979
+2591:1:1983
+2592:1:1984
+2593:1:1992
+2594:1:1993
+2595:1:1997
+2596:1:1998
+2597:1:2006
+2598:1:2011
+2599:1:2015
+2600:1:2016
+2601:1:2024
+2602:1:2025
+2603:1:2029
+2604:1:2030
+2605:1:2024
+2606:1:2025
+2607:1:2029
+2608:1:2030
+2609:1:2038
+2610:1:2043
+2611:1:2044
+2612:1:2055
+2613:1:2056
+2614:1:2057
+2615:1:2068
+2616:1:2073
+2617:1:2074
+2618:1:2085
+2619:1:2086
+2620:1:2087
+2621:1:2085
+2622:1:2086
+2623:1:2087
+2624:1:2098
+2625:0:4648
+2626:2:3765
+2627:0:4648
+2628:2:3764
+2629:0:4648
+2630:1:15
+2631:0:4648
+2632:2:3765
+2633:0:4648
+2634:2:3764
+2635:0:4648
+2636:1:16
+2637:0:4648
+2638:2:3765
+2639:0:4648
+2640:2:3764
+2641:0:4648
+2642:1:17
+2643:0:4648
+2644:2:3765
+2645:0:4648
+2646:2:3764
+2647:0:4648
+2648:1:120
+2649:0:4648
+2650:2:3765
+2651:0:4648
+2652:2:3764
+2653:0:4648
+2654:1:19
+2655:0:4648
+2656:2:3765
+2657:0:4648
+2658:2:3764
+2659:0:4648
+2660:1:2107
+2661:1:2108
+2662:1:2112
+2663:1:2113
+2664:1:2121
+2665:1:2122
+2666:1:2126
+2667:1:2127
+2668:1:2135
+2669:1:2140
+2670:1:2144
+2671:1:2145
+2672:1:2153
+2673:1:2154
+2674:1:2158
+2675:1:2159
+2676:1:2153
+2677:1:2154
+2678:1:2158
+2679:1:2159
+2680:1:2167
+2681:1:2172
+2682:1:2173
+2683:1:2184
+2684:1:2185
+2685:1:2186
+2686:1:2197
+2687:1:2202
+2688:1:2203
+2689:1:2214
+2690:1:2215
+2691:1:2216
+2692:1:2214
+2693:1:2215
+2694:1:2216
+2695:1:2227
+2696:1:2234
+2697:0:4648
+2698:2:3765
+2699:0:4648
+2700:2:3764
+2701:0:4648
+2702:1:15
+2703:0:4648
+2704:2:3765
+2705:0:4648
+2706:2:3764
+2707:0:4648
+2708:1:16
+2709:0:4648
+2710:2:3765
+2711:0:4648
+2712:2:3764
+2713:0:4648
+2714:1:17
+2715:0:4648
+2716:2:3765
+2717:0:4648
+2718:2:3764
+2719:0:4648
+2720:1:120
+2721:0:4648
+2722:2:3765
+2723:0:4648
+2724:2:3764
+2725:0:4648
+2726:1:19
+2727:0:4648
+2728:2:3765
+2729:0:4648
+2730:2:3764
+2731:0:4648
+2732:1:2372
+2733:1:2373
+2734:1:2377
+2735:1:2378
+2736:1:2386
+2737:1:2387
+2738:1:2388
+2739:1:2400
+2740:1:2405
+2741:1:2409
+2742:1:2410
+2743:1:2418
+2744:1:2419
+2745:1:2423
+2746:1:2424
+2747:1:2418
+2748:1:2419
+2749:1:2423
+2750:1:2424
+2751:1:2432
+2752:1:2437
+2753:1:2438
+2754:1:2449
+2755:1:2450
+2756:1:2451
+2757:1:2462
+2758:1:2467
+2759:1:2468
+2760:1:2479
+2761:1:2480
+2762:1:2481
+2763:1:2479
+2764:1:2480
+2765:1:2481
+2766:1:2492
+2767:0:4648
+2768:2:3765
+2769:0:4648
+2770:2:3764
+2771:0:4648
+2772:1:15
+2773:0:4648
+2774:2:3765
+2775:0:4648
+2776:2:3764
+2777:0:4648
+2778:1:16
+2779:0:4648
+2780:2:3765
+2781:0:4648
+2782:2:3764
+2783:0:4648
+2784:1:17
+2785:0:4648
+2786:2:3765
+2787:0:4648
+2788:2:3764
+2789:0:4648
+2790:1:120
+2791:0:4648
+2792:2:3765
+2793:0:4648
+2794:2:3764
+2795:0:4648
+2796:1:19
+2797:0:4648
+2798:2:3765
+2799:0:4648
+2800:2:3764
+2801:0:4648
+2802:1:2507
+2803:1:2508
+2804:1:2512
+2805:1:2513
+2806:1:2521
+2807:1:2522
+2808:1:2526
+2809:1:2527
+2810:1:2535
+2811:1:2540
+2812:1:2544
+2813:1:2545
+2814:1:2553
+2815:1:2554
+2816:1:2558
+2817:1:2559
+2818:1:2553
+2819:1:2554
+2820:1:2558
+2821:1:2559
+2822:1:2567
+2823:1:2572
+2824:1:2573
+2825:1:2584
+2826:1:2585
+2827:1:2586
+2828:1:2597
+2829:1:2602
+2830:1:2603
+2831:1:2614
+2832:1:2615
+2833:1:2616
+2834:1:2614
+2835:1:2615
+2836:1:2616
+2837:1:2627
+2838:0:4648
+2839:2:3765
+2840:0:4648
+2841:2:3764
+2842:0:4648
+2843:1:15
+2844:0:4648
+2845:2:3765
+2846:0:4648
+2847:2:3764
+2848:0:4648
+2849:1:16
+2850:0:4648
+2851:2:3765
+2852:0:4648
+2853:2:3764
+2854:0:4648
+2855:1:17
+2856:0:4648
+2857:2:3765
+2858:0:4648
+2859:2:3764
+2860:0:4648
+2861:1:120
+2862:0:4648
+2863:2:3765
+2864:0:4648
+2865:2:3764
+2866:0:4648
+2867:1:19
+2868:0:4648
+2869:2:3765
+2870:0:4648
+2871:2:3764
+2872:0:4648
+2873:1:2636
+2874:1:2637
+2875:1:2641
+2876:1:2642
+2877:1:2650
+2878:1:2651
+2879:1:2655
+2880:1:2656
+2881:1:2664
+2882:1:2669
+2883:1:2673
+2884:1:2674
+2885:1:2682
+2886:1:2683
+2887:1:2687
+2888:1:2688
+2889:1:2682
+2890:1:2683
+2891:1:2687
+2892:1:2688
+2893:1:2696
+2894:1:2701
+2895:1:2702
+2896:1:2713
+2897:1:2714
+2898:1:2715
+2899:1:2726
+2900:1:2731
+2901:1:2732
+2902:1:2743
+2903:1:2744
+2904:1:2745
+2905:1:2743
+2906:1:2744
+2907:1:2745
+2908:1:2756
+2909:1:2763
+2910:1:2767
+2911:0:4648
+2912:2:3765
+2913:0:4648
+2914:2:3764
+2915:0:4648
+2916:1:15
+2917:0:4648
+2918:2:3765
+2919:0:4648
+2920:2:3764
+2921:0:4648
+2922:1:16
+-1:-1:-1
+2923:0:4648
+2924:2:3765
+2925:0:4648
+2926:2:3764
+2927:0:4648
+2928:2:3765
+2929:0:4648
+2930:2:3764
+2931:0:4648
+2932:2:3765
+2933:0:4648
+2934:2:3764