Cleanup verif directory.

[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
deleted file mode 100644 (file)
index 46f9f69..0000000
--- a/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_progress_reader.spin.input.trail
+++ /dev/null
@@ -1,2937 +0,0 @@
--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