Cleanup verif directory.

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

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.spin.input.trail b/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.spin.input.trail
deleted file mode 100644 (file)
index abd4423..0000000
--- a/formal-model/results/urcu-controldataflow-no-ipi/result-ipi-urcu_free/urcu_free_no_rmb.spin.input.trail
+++ /dev/null
@@ -1,1609 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4812
-2:3:4732
-3:3:4735
-4:3:4735
-5:3:4738
-6:3:4746
-7:3:4746
-8:3:4749
-9:3:4755
-10:3:4759
-11:3:4759
-12:3:4762
-13:3:4772
-14:3:4780
-15:3:4780
-16:3:4783
-17:3:4789
-18:3:4793
-19:3:4793
-20:3:4796
-21:3:4802
-22:3:4806
-23:3:4807
-24:0:4812
-25:3:4809
-26:0:4812
-27:2:3040
-28:0:4812
-29:2:3046
-30:0:4812
-31:2:3047
-32:0:4812
-33:2:3049
-34:0:4812
-35:2:3050
-36:0:4812
-37:2:3051
-38:2:3052
-39:2:3056
-40:2:3057
-41:2:3065
-42:2:3066
-43:2:3070
-44:2:3071
-45:2:3079
-46:2:3084
-47:2:3088
-48:2:3089
-49:2:3097
-50:2:3098
-51:2:3102
-52:2:3103
-53:2:3097
-54:2:3098
-55:2:3102
-56:2:3103
-57:2:3111
-58:2:3116
-59:2:3117
-60:2:3128
-61:2:3129
-62:2:3130
-63:2:3141
-64:2:3146
-65:2:3147
-66:2:3158
-67:2:3159
-68:2:3160
-69:2:3158
-70:2:3159
-71:2:3160
-72:2:3171
-73:2:3179
-74:0:4812
-75:2:3050
-76:0:4812
-77:2:3183
-78:2:3187
-79:2:3188
-80:2:3192
-81:2:3196
-82:2:3197
-83:2:3201
-84:2:3209
-85:2:3210
-86:2:3214
-87:2:3218
-88:2:3219
-89:2:3214
-90:2:3215
-91:2:3223
-92:0:4812
-93:2:3050
-94:0:4812
-95:2:3231
-96:2:3232
-97:2:3233
-98:0:4812
-99:2:3050
-100:0:4812
-101:2:3238
-102:0:4812
-103:2:3941
-104:2:3942
-105:2:3946
-106:2:3950
-107:2:3951
-108:2:3955
-109:2:3960
-110:2:3968
-111:2:3972
-112:2:3973
-113:2:3968
-114:2:3972
-115:2:3973
-116:2:3977
-117:2:3984
-118:2:3991
-119:2:3992
-120:2:3999
-121:2:4004
-122:2:4011
-123:2:4012
-124:2:4011
-125:2:4012
-126:2:4019
-127:2:4023
-128:0:4812
-129:2:4028
-130:0:4812
-131:2:4029
-132:0:4812
-133:2:4030
-134:0:4812
-135:2:4031
-136:0:4812
-137:1:2
-138:0:4812
-139:2:4032
-140:0:4812
-141:1:8
-142:0:4812
-143:1:9
-144:0:4812
-145:2:4031
-146:0:4812
-147:1:10
-148:0:4812
-149:2:4032
-150:0:4812
-151:1:11
-152:0:4812
-153:2:4031
-154:0:4812
-155:1:12
-156:0:4812
-157:2:4032
-158:0:4812
-159:1:13
-160:0:4812
-161:2:4031
-162:0:4812
-163:1:14
-164:0:4812
-165:2:4032
-166:0:4812
-167:1:15
-168:0:4812
-169:1:16
-170:0:4812
-171:2:4031
-172:0:4812
-173:1:17
-174:0:4812
-175:2:4032
-176:0:4812
-177:1:28
-178:0:4812
-179:2:4031
-180:0:4812
-181:1:32
-182:1:33
-183:1:37
-184:1:41
-185:1:42
-186:1:46
-187:1:54
-188:1:55
-189:1:59
-190:1:63
-191:1:64
-192:1:59
-193:1:63
-194:1:64
-195:1:68
-196:1:75
-197:1:82
-198:1:83
-199:1:90
-200:1:95
-201:1:102
-202:1:103
-203:1:102
-204:1:103
-205:1:110
-206:1:114
-207:0:4812
-208:2:4032
-209:0:4812
-210:1:119
-211:0:4812
-212:2:4033
-213:0:4812
-214:2:4038
-215:0:4812
-216:2:4039
-217:0:4812
-218:2:4047
-219:2:4048
-220:2:4052
-221:2:4056
-222:2:4057
-223:2:4061
-224:2:4069
-225:2:4070
-226:2:4074
-227:2:4078
-228:2:4079
-229:2:4074
-230:2:4078
-231:2:4079
-232:2:4083
-233:2:4090
-234:2:4097
-235:2:4098
-236:2:4105
-237:2:4110
-238:2:4117
-239:2:4118
-240:2:4117
-241:2:4118
-242:2:4125
-243:2:4129
-244:0:4812
-245:2:3240
-246:2:3922
-247:0:4812
-248:2:3050
-249:0:4812
-250:2:3241
-251:0:4812
-252:2:3050
-253:0:4812
-254:2:3244
-255:2:3245
-256:2:3249
-257:2:3250
-258:2:3258
-259:2:3259
-260:2:3263
-261:2:3264
-262:2:3272
-263:2:3277
-264:2:3281
-265:2:3282
-266:2:3290
-267:2:3291
-268:2:3295
-269:2:3296
-270:2:3290
-271:2:3291
-272:2:3295
-273:2:3296
-274:2:3304
-275:2:3309
-276:2:3310
-277:2:3321
-278:2:3322
-279:2:3323
-280:2:3334
-281:2:3339
-282:2:3340
-283:2:3351
-284:2:3352
-285:2:3353
-286:2:3351
-287:2:3352
-288:2:3353
-289:2:3364
-290:2:3371
-291:0:4812
-292:2:3050
-293:0:4812
-294:2:3375
-295:2:3376
-296:2:3377
-297:2:3389
-298:2:3390
-299:2:3394
-300:2:3395
-301:2:3403
-302:2:3408
-303:2:3412
-304:2:3413
-305:2:3421
-306:2:3422
-307:2:3426
-308:2:3427
-309:2:3421
-310:2:3422
-311:2:3426
-312:2:3427
-313:2:3435
-314:2:3440
-315:2:3441
-316:2:3452
-317:2:3453
-318:2:3454
-319:2:3465
-320:2:3470
-321:2:3471
-322:2:3482
-323:2:3483
-324:2:3484
-325:2:3482
-326:2:3483
-327:2:3484
-328:2:3495
-329:2:3506
-330:2:3507
-331:0:4812
-332:2:3050
-333:0:4812
-334:2:3513
-335:2:3514
-336:2:3518
-337:2:3519
-338:2:3527
-339:2:3528
-340:2:3532
-341:2:3533
-342:2:3541
-343:2:3546
-344:2:3550
-345:2:3551
-346:2:3559
-347:2:3560
-348:2:3564
-349:2:3565
-350:2:3559
-351:2:3560
-352:2:3564
-353:2:3565
-354:2:3573
-355:2:3578
-356:2:3579
-357:2:3590
-358:2:3591
-359:2:3592
-360:2:3603
-361:2:3608
-362:2:3609
-363:2:3620
-364:2:3621
-365:2:3622
-366:2:3620
-367:2:3621
-368:2:3622
-369:2:3633
-370:0:4812
-371:2:3050
-372:0:4812
-373:2:3642
-374:2:3643
-375:2:3647
-376:2:3648
-377:2:3656
-378:2:3657
-379:2:3661
-380:2:3662
-381:2:3670
-382:2:3675
-383:2:3679
-384:2:3680
-385:2:3688
-386:2:3689
-387:2:3693
-388:2:3694
-389:2:3688
-390:2:3689
-391:2:3693
-392:2:3694
-393:2:3702
-394:2:3707
-395:2:3708
-396:2:3719
-397:2:3720
-398:2:3721
-399:2:3732
-400:2:3737
-401:2:3738
-402:2:3749
-403:2:3750
-404:2:3751
-405:2:3749
-406:2:3750
-407:2:3751
-408:2:3762
-409:2:3769
-410:0:4812
-411:2:3050
-412:0:4812
-413:2:3773
-414:2:3774
-415:2:3775
-416:2:3787
-417:2:3788
-418:2:3792
-419:2:3793
-420:2:3801
-421:2:3806
-422:2:3810
-423:2:3811
-424:2:3819
-425:2:3820
-426:2:3824
-427:2:3825
-428:2:3819
-429:2:3820
-430:2:3824
-431:2:3825
-432:2:3833
-433:2:3838
-434:2:3839
-435:2:3850
-436:2:3851
-437:2:3852
-438:2:3863
-439:2:3868
-440:2:3869
-441:2:3880
-442:2:3881
-443:2:3882
-444:2:3880
-445:2:3881
-446:2:3882
-447:2:3893
-448:2:3903
-449:2:3904
-450:0:4812
-451:2:3050
-452:0:4812
-453:2:3910
-454:0:4812
-455:2:4535
-456:2:4536
-457:2:4540
-458:2:4544
-459:2:4545
-460:2:4549
-461:2:4557
-462:2:4558
-463:2:4562
-464:2:4566
-465:2:4567
-466:2:4562
-467:2:4566
-468:2:4567
-469:2:4571
-470:2:4578
-471:2:4585
-472:2:4586
-473:2:4593
-474:2:4598
-475:2:4605
-476:2:4606
-477:2:4605
-478:2:4606
-479:2:4613
-480:2:4617
-481:0:4812
-482:2:4622
-483:0:4812
-484:2:4623
-485:0:4812
-486:2:4624
-487:0:4812
-488:2:4625
-489:0:4812
-490:1:28
-491:0:4812
-492:2:4626
-493:0:4812
-494:1:32
-495:1:33
-496:1:37
-497:1:41
-498:1:42
-499:1:46
-500:1:54
-501:1:55
-502:1:59
-503:1:63
-504:1:64
-505:1:59
-506:1:63
-507:1:64
-508:1:68
-509:1:75
-510:1:82
-511:1:83
-512:1:90
-513:1:95
-514:1:102
-515:1:103
-516:1:102
-517:1:103
-518:1:110
-519:1:114
-520:0:4812
-521:2:4625
-522:0:4812
-523:1:119
-524:0:4812
-525:2:4626
-526:0:4812
-527:2:4627
-528:0:4812
-529:2:4632
-530:0:4812
-531:2:4633
-532:0:4812
-533:2:4641
-534:2:4642
-535:2:4646
-536:2:4650
-537:2:4651
-538:2:4655
-539:2:4663
-540:2:4664
-541:2:4668
-542:2:4672
-543:2:4673
-544:2:4668
-545:2:4672
-546:2:4673
-547:2:4677
-548:2:4684
-549:2:4691
-550:2:4692
-551:2:4699
-552:2:4704
-553:2:4711
-554:2:4712
-555:2:4711
-556:2:4712
-557:2:4719
-558:2:4723
-559:0:4812
-560:2:3912
-561:2:3922
-562:0:4812
-563:2:3050
-564:0:4812
-565:2:3913
-566:2:3914
-567:0:4812
-568:2:3050
-569:0:4812
-570:2:3918
-571:0:4812
-572:2:3926
-573:0:4812
-574:2:3047
-575:0:4812
-576:2:3049
-577:0:4812
-578:2:3050
-579:0:4812
-580:2:3051
-581:2:3052
-582:2:3056
-583:2:3057
-584:2:3065
-585:2:3066
-586:2:3070
-587:2:3071
-588:2:3079
-589:2:3084
-590:2:3088
-591:2:3089
-592:2:3097
-593:2:3098
-594:2:3099
-595:2:3097
-596:2:3098
-597:2:3102
-598:2:3103
-599:2:3111
-600:2:3116
-601:2:3117
-602:2:3128
-603:2:3129
-604:2:3130
-605:2:3141
-606:2:3146
-607:2:3147
-608:2:3158
-609:2:3159
-610:2:3160
-611:2:3158
-612:2:3159
-613:2:3160
-614:2:3171
-615:2:3179
-616:0:4812
-617:2:3050
-618:0:4812
-619:2:3183
-620:2:3187
-621:2:3188
-622:2:3192
-623:2:3196
-624:2:3197
-625:2:3201
-626:2:3209
-627:2:3210
-628:2:3214
-629:2:3215
-630:2:3214
-631:2:3218
-632:2:3219
-633:2:3223
-634:0:4812
-635:2:3050
-636:0:4812
-637:2:3231
-638:2:3232
-639:2:3233
-640:0:4812
-641:2:3050
-642:0:4812
-643:2:3238
-644:0:4812
-645:2:3941
-646:2:3942
-647:2:3946
-648:2:3950
-649:2:3951
-650:2:3955
-651:2:3960
-652:2:3968
-653:2:3972
-654:2:3973
-655:2:3968
-656:2:3972
-657:2:3973
-658:2:3977
-659:2:3984
-660:2:3991
-661:2:3992
-662:2:3999
-663:2:4004
-664:2:4011
-665:2:4012
-666:2:4011
-667:2:4012
-668:2:4019
-669:2:4023
-670:0:4812
-671:2:4028
-672:0:4812
-673:2:4029
-674:0:4812
-675:2:4030
-676:0:4812
-677:2:4031
-678:0:4812
-679:1:28
-680:0:4812
-681:2:4032
-682:0:4812
-683:1:32
-684:1:33
-685:1:37
-686:1:41
-687:1:42
-688:1:46
-689:1:54
-690:1:55
-691:1:59
-692:1:63
-693:1:64
-694:1:59
-695:1:63
-696:1:64
-697:1:68
-698:1:75
-699:1:82
-700:1:83
-701:1:90
-702:1:95
-703:1:102
-704:1:103
-705:1:102
-706:1:103
-707:1:110
-708:1:114
-709:0:4812
-710:2:4031
-711:0:4812
-712:1:119
-713:0:4812
-714:2:4032
-715:0:4812
-716:2:4033
-717:0:4812
-718:2:4038
-719:0:4812
-720:2:4039
-721:0:4812
-722:2:4047
-723:2:4048
-724:2:4052
-725:2:4056
-726:2:4057
-727:2:4061
-728:2:4069
-729:2:4070
-730:2:4074
-731:2:4078
-732:2:4079
-733:2:4074
-734:2:4078
-735:2:4079
-736:2:4083
-737:2:4090
-738:2:4097
-739:2:4098
-740:2:4105
-741:2:4110
-742:2:4117
-743:2:4118
-744:2:4117
-745:2:4118
-746:2:4125
-747:2:4129
-748:0:4812
-749:2:3240
-750:2:3922
-751:0:4812
-752:2:3050
-753:0:4812
-754:2:3241
-755:0:4812
-756:2:3050
-757:0:4812
-758:2:3244
-759:2:3245
-760:2:3249
-761:2:3250
-762:2:3258
-763:2:3259
-764:2:3263
-765:2:3264
-766:2:3272
-767:2:3277
-768:2:3281
-769:2:3282
-770:2:3290
-771:2:3291
-772:2:3295
-773:2:3296
-774:2:3290
-775:2:3291
-776:2:3295
-777:2:3296
-778:2:3304
-779:2:3309
-780:2:3310
-781:2:3321
-782:2:3322
-783:2:3323
-784:2:3334
-785:2:3339
-786:2:3340
-787:2:3351
-788:2:3352
-789:2:3353
-790:2:3351
-791:2:3352
-792:2:3353
-793:2:3364
-794:2:3371
-795:0:4812
-796:2:3050
-797:0:4812
-798:2:3375
-799:2:3376
-800:2:3377
-801:2:3389
-802:2:3390
-803:2:3394
-804:2:3395
-805:2:3403
-806:2:3408
-807:2:3412
-808:2:3413
-809:2:3421
-810:2:3422
-811:2:3426
-812:2:3427
-813:2:3421
-814:2:3422
-815:2:3426
-816:2:3427
-817:2:3435
-818:2:3440
-819:2:3441
-820:2:3452
-821:2:3453
-822:2:3454
-823:2:3465
-824:2:3470
-825:2:3471
-826:2:3482
-827:2:3483
-828:2:3484
-829:2:3482
-830:2:3483
-831:2:3484
-832:2:3495
-833:2:3506
-834:2:3507
-835:0:4812
-836:2:3050
-837:0:4812
-838:2:3513
-839:2:3514
-840:2:3518
-841:2:3519
-842:2:3527
-843:2:3528
-844:2:3532
-845:2:3533
-846:2:3541
-847:2:3546
-848:2:3550
-849:2:3551
-850:2:3559
-851:2:3560
-852:2:3564
-853:2:3565
-854:2:3559
-855:2:3560
-856:2:3564
-857:2:3565
-858:2:3573
-859:2:3578
-860:2:3579
-861:2:3590
-862:2:3591
-863:2:3592
-864:2:3603
-865:2:3608
-866:2:3609
-867:2:3620
-868:2:3621
-869:2:3622
-870:2:3620
-871:2:3621
-872:2:3622
-873:2:3633
-874:0:4812
-875:2:3050
-876:0:4812
-877:2:3642
-878:2:3643
-879:2:3647
-880:2:3648
-881:2:3656
-882:2:3657
-883:2:3661
-884:2:3662
-885:2:3670
-886:2:3675
-887:2:3679
-888:2:3680
-889:2:3688
-890:2:3689
-891:2:3693
-892:2:3694
-893:2:3688
-894:2:3689
-895:2:3693
-896:2:3694
-897:2:3702
-898:2:3707
-899:2:3708
-900:2:3719
-901:2:3720
-902:2:3721
-903:2:3732
-904:2:3737
-905:2:3738
-906:2:3749
-907:2:3750
-908:2:3751
-909:2:3749
-910:2:3750
-911:2:3751
-912:2:3762
-913:2:3769
-914:0:4812
-915:2:3050
-916:0:4812
-917:2:3773
-918:2:3774
-919:2:3775
-920:2:3787
-921:2:3788
-922:2:3792
-923:2:3793
-924:2:3801
-925:2:3806
-926:2:3810
-927:2:3811
-928:2:3819
-929:2:3820
-930:2:3824
-931:2:3825
-932:2:3819
-933:2:3820
-934:2:3824
-935:2:3825
-936:2:3833
-937:2:3838
-938:2:3839
-939:2:3850
-940:2:3851
-941:2:3852
-942:2:3863
-943:2:3868
-944:2:3869
-945:2:3880
-946:2:3881
-947:2:3882
-948:2:3880
-949:2:3881
-950:2:3882
-951:2:3893
-952:2:3903
-953:2:3904
-954:0:4812
-955:2:3050
-956:0:4812
-957:2:3910
-958:0:4812
-959:2:4535
-960:2:4536
-961:2:4540
-962:2:4544
-963:2:4545
-964:2:4549
-965:2:4557
-966:2:4558
-967:2:4562
-968:2:4566
-969:2:4567
-970:2:4562
-971:2:4566
-972:2:4567
-973:2:4571
-974:2:4578
-975:2:4585
-976:2:4586
-977:2:4593
-978:2:4598
-979:2:4605
-980:2:4606
-981:2:4605
-982:2:4606
-983:2:4613
-984:2:4617
-985:0:4812
-986:2:4622
-987:0:4812
-988:2:4623
-989:0:4812
-990:2:4624
-991:0:4812
-992:2:4625
-993:0:4812
-994:1:28
-995:0:4812
-996:2:4626
-997:0:4812
-998:1:32
-999:1:33
-1000:1:37
-1001:1:41
-1002:1:42
-1003:1:46
-1004:1:54
-1005:1:55
-1006:1:59
-1007:1:63
-1008:1:64
-1009:1:59
-1010:1:63
-1011:1:64
-1012:1:68
-1013:1:75
-1014:1:82
-1015:1:83
-1016:1:90
-1017:1:95
-1018:1:102
-1019:1:103
-1020:1:102
-1021:1:103
-1022:1:110
-1023:1:114
-1024:0:4812
-1025:2:4625
-1026:0:4812
-1027:1:119
-1028:0:4812
-1029:2:4626
-1030:0:4812
-1031:2:4627
-1032:0:4812
-1033:2:4632
-1034:0:4812
-1035:2:4633
-1036:0:4812
-1037:2:4641
-1038:2:4642
-1039:2:4646
-1040:2:4650
-1041:2:4651
-1042:2:4655
-1043:2:4663
-1044:2:4664
-1045:2:4668
-1046:2:4672
-1047:2:4673
-1048:2:4668
-1049:2:4672
-1050:2:4673
-1051:2:4677
-1052:2:4684
-1053:2:4691
-1054:2:4692
-1055:2:4699
-1056:2:4704
-1057:2:4711
-1058:2:4712
-1059:2:4711
-1060:2:4712
-1061:2:4719
-1062:2:4723
-1063:0:4812
-1064:2:3912
-1065:2:3922
-1066:0:4812
-1067:2:3050
-1068:0:4812
-1069:2:3913
-1070:2:3914
-1071:0:4812
-1072:2:3050
-1073:0:4812
-1074:2:3918
-1075:0:4812
-1076:2:3926
-1077:0:4812
-1078:2:3047
-1079:0:4812
-1080:2:3049
-1081:0:4812
-1082:2:3050
-1083:0:4812
-1084:2:3051
-1085:2:3052
-1086:2:3056
-1087:2:3057
-1088:2:3065
-1089:2:3066
-1090:2:3070
-1091:2:3071
-1092:2:3079
-1093:2:3084
-1094:2:3088
-1095:2:3089
-1096:2:3097
-1097:2:3098
-1098:2:3102
-1099:2:3103
-1100:2:3097
-1101:2:3098
-1102:2:3099
-1103:2:3111
-1104:2:3116
-1105:2:3117
-1106:2:3128
-1107:2:3129
-1108:2:3130
-1109:2:3141
-1110:2:3146
-1111:2:3147
-1112:2:3158
-1113:2:3159
-1114:2:3160
-1115:2:3158
-1116:2:3159
-1117:2:3160
-1118:2:3171
-1119:2:3179
-1120:0:4812
-1121:2:3050
-1122:0:4812
-1123:1:120
-1124:0:4812
-1125:1:19
-1126:0:4812
-1127:1:127
-1128:1:128
-1129:1:132
-1130:1:133
-1131:1:141
-1132:1:142
-1133:1:146
-1134:1:147
-1135:1:155
-1136:1:160
-1137:1:164
-1138:1:165
-1139:1:173
-1140:1:174
-1141:1:178
-1142:1:179
-1143:1:173
-1144:1:174
-1145:1:178
-1146:1:179
-1147:1:187
-1148:1:192
-1149:1:193
-1150:1:204
-1151:1:205
-1152:1:206
-1153:1:217
-1154:1:222
-1155:1:223
-1156:1:234
-1157:1:235
-1158:1:236
-1159:1:234
-1160:1:235
-1161:1:236
-1162:1:247
-1163:0:4812
-1164:1:15
-1165:0:4812
-1166:1:16
-1167:0:4812
-1168:2:3183
-1169:2:3187
-1170:2:3188
-1171:2:3192
-1172:2:3196
-1173:2:3197
-1174:2:3201
-1175:2:3209
-1176:2:3210
-1177:2:3214
-1178:2:3218
-1179:2:3219
-1180:2:3214
-1181:2:3215
-1182:2:3223
-1183:0:4812
-1184:2:3050
-1185:0:4812
-1186:2:3231
-1187:2:3232
-1188:2:3233
-1189:0:4812
-1190:2:3050
-1191:0:4812
-1192:2:3238
-1193:0:4812
-1194:2:3941
-1195:2:3942
-1196:2:3946
-1197:2:3950
-1198:2:3951
-1199:2:3955
-1200:2:3960
-1201:2:3968
-1202:2:3972
-1203:2:3973
-1204:2:3968
-1205:2:3972
-1206:2:3973
-1207:2:3977
-1208:2:3984
-1209:2:3991
-1210:2:3992
-1211:2:3999
-1212:2:4004
-1213:2:4011
-1214:2:4012
-1215:2:4011
-1216:2:4012
-1217:2:4019
-1218:2:4023
-1219:0:4812
-1220:2:4028
-1221:0:4812
-1222:2:4029
-1223:0:4812
-1224:2:4030
-1225:0:4812
-1226:2:4031
-1227:0:4812
-1228:1:17
-1229:0:4812
-1230:2:4032
-1231:0:4812
-1232:1:120
-1233:0:4812
-1234:2:4031
-1235:0:4812
-1236:1:19
-1237:0:4812
-1238:2:4032
-1239:0:4812
-1240:1:256
-1241:1:257
-1242:0:4812
-1243:1:15
-1244:0:4812
-1245:1:16
-1246:0:4812
-1247:2:4031
-1248:0:4812
-1249:1:17
-1250:0:4812
-1251:2:4032
-1252:0:4812
-1253:1:120
-1254:0:4812
-1255:2:4031
-1256:0:4812
-1257:1:19
-1258:0:4812
-1259:2:4032
-1260:0:4812
-1261:1:263
-1262:1:264
-1263:1:268
-1264:1:269
-1265:1:277
-1266:1:278
-1267:1:282
-1268:1:283
-1269:1:291
-1270:1:296
-1271:1:300
-1272:1:301
-1273:1:309
-1274:1:310
-1275:1:314
-1276:1:315
-1277:1:309
-1278:1:310
-1279:1:314
-1280:1:315
-1281:1:323
-1282:1:328
-1283:1:329
-1284:1:340
-1285:1:341
-1286:1:342
-1287:1:353
-1288:1:358
-1289:1:359
-1290:1:370
-1291:1:371
-1292:1:372
-1293:1:370
-1294:1:378
-1295:1:379
-1296:1:383
-1297:0:4812
-1298:1:15
-1299:0:4812
-1300:1:16
-1301:0:4812
-1302:2:4031
-1303:0:4812
-1304:1:17
-1305:0:4812
-1306:2:4032
-1307:0:4812
-1308:1:120
-1309:0:4812
-1310:2:4031
-1311:0:4812
-1312:1:19
-1313:0:4812
-1314:2:4032
-1315:0:4812
-1316:1:392
-1317:1:393
-1318:1:397
-1319:1:398
-1320:1:406
-1321:1:407
-1322:1:411
-1323:1:412
-1324:1:420
-1325:1:425
-1326:1:429
-1327:1:430
-1328:1:438
-1329:1:439
-1330:1:443
-1331:1:444
-1332:1:438
-1333:1:439
-1334:1:443
-1335:1:444
-1336:1:452
-1337:1:457
-1338:1:458
-1339:1:469
-1340:1:470
-1341:1:471
-1342:1:482
-1343:1:487
-1344:1:488
-1345:1:499
-1346:1:500
-1347:1:501
-1348:1:499
-1349:1:507
-1350:1:508
-1351:1:512
-1352:1:519
-1353:0:4812
-1354:1:15
-1355:0:4812
-1356:1:16
-1357:0:4812
-1358:2:4031
-1359:0:4812
-1360:1:17
-1361:0:4812
-1362:2:4032
-1363:0:4812
-1364:1:120
-1365:0:4812
-1366:2:4031
-1367:0:4812
-1368:1:19
-1369:0:4812
-1370:2:4032
-1371:0:4812
-1372:1:657
-1373:1:658
-1374:1:662
-1375:1:663
-1376:1:671
-1377:1:672
-1378:1:673
-1379:1:685
-1380:1:690
-1381:1:694
-1382:1:695
-1383:1:703
-1384:1:704
-1385:1:708
-1386:1:709
-1387:1:703
-1388:1:704
-1389:1:708
-1390:1:709
-1391:1:717
-1392:1:722
-1393:1:723
-1394:1:734
-1395:1:735
-1396:1:736
-1397:1:747
-1398:1:752
-1399:1:753
-1400:1:764
-1401:1:765
-1402:1:766
-1403:1:764
-1404:1:772
-1405:1:773
-1406:1:777
-1407:0:4812
-1408:1:15
-1409:0:4812
-1410:1:16
-1411:0:4812
-1412:2:4031
-1413:0:4812
-1414:1:17
-1415:0:4812
-1416:2:4032
-1417:0:4812
-1418:1:120
-1419:0:4812
-1420:2:4031
-1421:0:4812
-1422:1:19
-1423:0:4812
-1424:2:4032
-1425:0:4812
-1426:1:786
-1427:1:789
-1428:1:790
-1429:0:4812
-1430:1:15
-1431:0:4812
-1432:1:16
-1433:0:4812
-1434:2:4031
-1435:0:4812
-1436:1:17
-1437:0:4812
-1438:2:4032
-1439:0:4812
-1440:1:120
-1441:0:4812
-1442:2:4031
-1443:0:4812
-1444:1:19
-1445:0:4812
-1446:2:4032
-1447:0:4812
-1448:1:1053
-1449:1:1054
-1450:1:1058
-1451:1:1059
-1452:1:1067
-1453:1:1068
-1454:1:1072
-1455:1:1073
-1456:1:1081
-1457:1:1086
-1458:1:1090
-1459:1:1091
-1460:1:1099
-1461:1:1100
-1462:1:1104
-1463:1:1105
-1464:1:1099
-1465:1:1100
-1466:1:1104
-1467:1:1105
-1468:1:1113
-1469:1:1118
-1470:1:1119
-1471:1:1130
-1472:1:1131
-1473:1:1132
-1474:1:1143
-1475:1:1148
-1476:1:1149
-1477:1:1160
-1478:1:1161
-1479:1:1162
-1480:1:1160
-1481:1:1168
-1482:1:1169
-1483:1:1173
-1484:1:1180
-1485:1:1184
-1486:0:4812
-1487:1:15
-1488:0:4812
-1489:1:16
-1490:0:4812
-1491:2:4031
-1492:0:4812
-1493:1:17
-1494:0:4812
-1495:2:4032
-1496:0:4812
-1497:1:120
-1498:0:4812
-1499:2:4031
-1500:0:4812
-1501:1:19
-1502:0:4812
-1503:2:4032
-1504:0:4812
-1505:1:1185
-1506:1:1186
-1507:1:1190
-1508:1:1191
-1509:1:1199
-1510:1:1200
-1511:1:1201
-1512:1:1213
-1513:1:1218
-1514:1:1222
-1515:1:1223
-1516:1:1231
-1517:1:1232
-1518:1:1236
-1519:1:1237
-1520:1:1231
-1521:1:1232
-1522:1:1236
-1523:1:1237
-1524:1:1245
-1525:1:1250
-1526:1:1251
-1527:1:1262
-1528:1:1263
-1529:1:1264
-1530:1:1275
-1531:1:1280
-1532:1:1281
-1533:1:1292
-1534:1:1293
-1535:1:1294
-1536:1:1292
-1537:1:1300
-1538:1:1301
-1539:1:1305
-1540:0:4812
-1541:1:15
-1542:0:4812
-1543:1:16
-1544:0:4812
-1545:2:4031
-1546:0:4812
-1547:1:17
-1548:0:4812
-1549:2:4032
-1550:0:4812
-1551:1:120
-1552:0:4812
-1553:2:4031
-1554:0:4812
-1555:1:19
-1556:0:4812
-1557:2:4032
-1558:0:4812
-1559:1:1314
-1560:0:4812
-1561:2:4031
-1562:0:4812
-1563:1:2778
-1564:1:2782
-1565:1:2783
-1566:1:2791
-1567:1:2792
-1568:1:2796
-1569:1:2797
-1570:1:2805
-1571:1:2810
-1572:1:2814
-1573:1:2815
-1574:1:2823
-1575:1:2824
-1576:1:2828
-1577:1:2829
-1578:1:2823
-1579:1:2824
-1580:1:2828
-1581:1:2829
-1582:1:2837
-1583:1:2842
-1584:1:2843
-1585:1:2854
-1586:1:2855
-1587:1:2856
-1588:1:2867
-1589:1:2872
-1590:1:2873
-1591:1:2884
-1592:1:2885
-1593:1:2886
-1594:1:2884
-1595:1:2892
-1596:1:2893
-1597:1:2897
-1598:1:2901
-1599:0:4812
-1600:2:4032
-1601:0:4812
-1602:1:1316
-1603:1:1317
-1604:0:4810
-1605:1:15
-1606:0:4816
-1607:1:1637