X-Git-Url: https://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu-controldataflow-alpha-ipi%2Furcu_free_no_rmb.spin.input.trail;fp=formal-model%2Furcu-controldataflow-alpha-ipi%2Furcu_free_no_rmb.spin.input.trail;h=0000000000000000000000000000000000000000;hb=5e32821aa6d74b755730c19a8aa66404d2c367c9;hp=d5ed67ae9b1e99be418df92d09581758e50935b1;hpb=41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca;p=urcu.git

diff --git a/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.spin.input.trail b/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.spin.input.trail
deleted file mode 100644
index d5ed67a..0000000
--- a/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_rmb.spin.input.trail
+++ /dev/null
@@ -1,1683 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4816
-2:2:3064
-3:2:3069
-4:2:3073
-5:2:3081
-6:2:3085
-7:2:3089
-8:0:4816
-9:1:0
-10:1:5
-11:1:9
-12:1:17
-13:1:21
-14:1:25
-15:0:4816
-16:3:4786
-17:3:4789
-18:3:4796
-19:3:4803
-20:3:4806
-21:3:4810
-22:3:4811
-23:0:4816
-24:3:4813
-25:0:4816
-26:2:3093
-27:0:4816
-28:2:3099
-29:0:4816
-30:2:3100
-31:0:4816
-32:2:3102
-33:0:4816
-34:2:3103
-35:0:4816
-36:2:3104
-37:2:3105
-38:2:3109
-39:2:3110
-40:2:3118
-41:2:3119
-42:2:3123
-43:2:3124
-44:2:3132
-45:2:3137
-46:2:3141
-47:2:3142
-48:2:3150
-49:2:3151
-50:2:3155
-51:2:3156
-52:2:3150
-53:2:3151
-54:2:3155
-55:2:3156
-56:2:3164
-57:2:3169
-58:2:3170
-59:2:3181
-60:2:3182
-61:2:3183
-62:2:3194
-63:2:3199
-64:2:3200
-65:2:3211
-66:2:3212
-67:2:3213
-68:2:3211
-69:2:3212
-70:2:3213
-71:2:3224
-72:2:3232
-73:0:4816
-74:2:3103
-75:0:4816
-76:2:3236
-77:2:3240
-78:2:3241
-79:2:3245
-80:2:3249
-81:2:3250
-82:2:3254
-83:2:3262
-84:2:3263
-85:2:3267
-86:2:3271
-87:2:3272
-88:2:3267
-89:2:3268
-90:2:3276
-91:0:4816
-92:2:3103
-93:0:4816
-94:2:3284
-95:2:3285
-96:2:3286
-97:0:4816
-98:2:3103
-99:0:4816
-100:2:3291
-101:0:4816
-102:2:3995
-103:2:3996
-104:2:4000
-105:2:4004
-106:2:4005
-107:2:4009
-108:2:4014
-109:2:4022
-110:2:4026
-111:2:4027
-112:2:4022
-113:2:4026
-114:2:4027
-115:2:4031
-116:2:4038
-117:2:4045
-118:2:4046
-119:2:4053
-120:2:4058
-121:2:4065
-122:2:4066
-123:2:4065
-124:2:4066
-125:2:4073
-126:2:4077
-127:0:4816
-128:2:4082
-129:0:4816
-130:2:4083
-131:0:4816
-132:2:4084
-133:0:4816
-134:2:4085
-135:0:4816
-136:1:29
-137:0:4816
-138:2:4086
-139:0:4816
-140:1:35
-141:0:4816
-142:1:36
-143:0:4816
-144:2:4085
-145:0:4816
-146:1:37
-147:0:4816
-148:2:4086
-149:0:4816
-150:1:38
-151:0:4816
-152:2:4085
-153:0:4816
-154:1:39
-155:0:4816
-156:2:4086
-157:0:4816
-158:1:40
-159:0:4816
-160:2:4085
-161:0:4816
-162:1:41
-163:0:4816
-164:2:4086
-165:0:4816
-166:1:42
-167:0:4816
-168:1:43
-169:0:4816
-170:2:4085
-171:0:4816
-172:1:44
-173:0:4816
-174:2:4086
-175:0:4816
-176:1:53
-177:0:4816
-178:2:4085
-179:0:4816
-180:1:57
-181:1:58
-182:1:62
-183:1:66
-184:1:67
-185:1:71
-186:1:79
-187:1:80
-188:1:84
-189:1:88
-190:1:89
-191:1:84
-192:1:88
-193:1:89
-194:1:93
-195:1:100
-196:1:107
-197:1:108
-198:1:115
-199:1:120
-200:1:127
-201:1:128
-202:1:127
-203:1:128
-204:1:135
-205:1:139
-206:0:4816
-207:2:4086
-208:0:4816
-209:1:144
-210:0:4816
-211:2:4087
-212:0:4816
-213:2:4092
-214:0:4816
-215:2:4093
-216:0:4816
-217:2:4101
-218:2:4102
-219:2:4106
-220:2:4110
-221:2:4111
-222:2:4115
-223:2:4123
-224:2:4124
-225:2:4128
-226:2:4132
-227:2:4133
-228:2:4128
-229:2:4132
-230:2:4133
-231:2:4137
-232:2:4144
-233:2:4151
-234:2:4152
-235:2:4159
-236:2:4164
-237:2:4171
-238:2:4172
-239:2:4171
-240:2:4172
-241:2:4179
-242:2:4183
-243:0:4816
-244:2:3293
-245:2:3976
-246:0:4816
-247:2:3103
-248:0:4816
-249:2:3294
-250:0:4816
-251:2:3103
-252:0:4816
-253:2:3297
-254:2:3298
-255:2:3302
-256:2:3303
-257:2:3311
-258:2:3312
-259:2:3316
-260:2:3317
-261:2:3325
-262:2:3330
-263:2:3334
-264:2:3335
-265:2:3343
-266:2:3344
-267:2:3348
-268:2:3349
-269:2:3343
-270:2:3344
-271:2:3348
-272:2:3349
-273:2:3357
-274:2:3362
-275:2:3363
-276:2:3374
-277:2:3375
-278:2:3376
-279:2:3387
-280:2:3392
-281:2:3393
-282:2:3404
-283:2:3405
-284:2:3406
-285:2:3404
-286:2:3405
-287:2:3406
-288:2:3417
-289:2:3424
-290:0:4816
-291:2:3103
-292:0:4816
-293:2:3428
-294:2:3429
-295:2:3430
-296:2:3442
-297:2:3443
-298:2:3447
-299:2:3448
-300:2:3456
-301:2:3461
-302:2:3465
-303:2:3466
-304:2:3474
-305:2:3475
-306:2:3479
-307:2:3480
-308:2:3474
-309:2:3475
-310:2:3479
-311:2:3480
-312:2:3488
-313:2:3493
-314:2:3494
-315:2:3505
-316:2:3506
-317:2:3507
-318:2:3518
-319:2:3523
-320:2:3524
-321:2:3535
-322:2:3536
-323:2:3537
-324:2:3535
-325:2:3536
-326:2:3537
-327:2:3548
-328:2:3559
-329:2:3560
-330:0:4816
-331:2:3103
-332:0:4816
-333:2:3567
-334:2:3568
-335:2:3572
-336:2:3573
-337:2:3581
-338:2:3582
-339:2:3586
-340:2:3587
-341:2:3595
-342:2:3600
-343:2:3604
-344:2:3605
-345:2:3613
-346:2:3614
-347:2:3618
-348:2:3619
-349:2:3613
-350:2:3614
-351:2:3618
-352:2:3619
-353:2:3627
-354:2:3632
-355:2:3633
-356:2:3644
-357:2:3645
-358:2:3646
-359:2:3657
-360:2:3662
-361:2:3663
-362:2:3674
-363:2:3675
-364:2:3676
-365:2:3674
-366:2:3675
-367:2:3676
-368:2:3687
-369:0:4816
-370:2:3103
-371:0:4816
-372:2:3696
-373:2:3697
-374:2:3701
-375:2:3702
-376:2:3710
-377:2:3711
-378:2:3715
-379:2:3716
-380:2:3724
-381:2:3729
-382:2:3733
-383:2:3734
-384:2:3742
-385:2:3743
-386:2:3747
-387:2:3748
-388:2:3742
-389:2:3743
-390:2:3747
-391:2:3748
-392:2:3756
-393:2:3761
-394:2:3762
-395:2:3773
-396:2:3774
-397:2:3775
-398:2:3786
-399:2:3791
-400:2:3792
-401:2:3803
-402:2:3804
-403:2:3805
-404:2:3803
-405:2:3804
-406:2:3805
-407:2:3816
-408:2:3823
-409:0:4816
-410:2:3103
-411:0:4816
-412:2:3827
-413:2:3828
-414:2:3829
-415:2:3841
-416:2:3842
-417:2:3846
-418:2:3847
-419:2:3855
-420:2:3860
-421:2:3864
-422:2:3865
-423:2:3873
-424:2:3874
-425:2:3878
-426:2:3879
-427:2:3873
-428:2:3874
-429:2:3878
-430:2:3879
-431:2:3887
-432:2:3892
-433:2:3893
-434:2:3904
-435:2:3905
-436:2:3906
-437:2:3917
-438:2:3922
-439:2:3923
-440:2:3934
-441:2:3935
-442:2:3936
-443:2:3934
-444:2:3935
-445:2:3936
-446:2:3947
-447:2:3957
-448:2:3958
-449:0:4816
-450:2:3103
-451:0:4816
-452:2:3964
-453:0:4816
-454:2:4589
-455:2:4590
-456:2:4594
-457:2:4598
-458:2:4599
-459:2:4603
-460:2:4611
-461:2:4612
-462:2:4616
-463:2:4620
-464:2:4621
-465:2:4616
-466:2:4620
-467:2:4621
-468:2:4625
-469:2:4632
-470:2:4639
-471:2:4640
-472:2:4647
-473:2:4652
-474:2:4659
-475:2:4660
-476:2:4659
-477:2:4660
-478:2:4667
-479:2:4671
-480:0:4816
-481:2:4676
-482:0:4816
-483:2:4677
-484:0:4816
-485:2:4678
-486:0:4816
-487:2:4679
-488:0:4816
-489:1:53
-490:0:4816
-491:2:4680
-492:0:4816
-493:1:57
-494:1:58
-495:1:62
-496:1:66
-497:1:67
-498:1:71
-499:1:79
-500:1:80
-501:1:84
-502:1:88
-503:1:89
-504:1:84
-505:1:88
-506:1:89
-507:1:93
-508:1:100
-509:1:107
-510:1:108
-511:1:115
-512:1:120
-513:1:127
-514:1:128
-515:1:127
-516:1:128
-517:1:135
-518:1:139
-519:0:4816
-520:2:4679
-521:0:4816
-522:1:144
-523:0:4816
-524:2:4680
-525:0:4816
-526:2:4681
-527:0:4816
-528:2:4686
-529:0:4816
-530:2:4687
-531:0:4816
-532:2:4695
-533:2:4696
-534:2:4700
-535:2:4704
-536:2:4705
-537:2:4709
-538:2:4717
-539:2:4718
-540:2:4722
-541:2:4726
-542:2:4727
-543:2:4722
-544:2:4726
-545:2:4727
-546:2:4731
-547:2:4738
-548:2:4745
-549:2:4746
-550:2:4753
-551:2:4758
-552:2:4765
-553:2:4766
-554:2:4765
-555:2:4766
-556:2:4773
-557:2:4777
-558:0:4816
-559:2:3966
-560:2:3976
-561:0:4816
-562:2:3103
-563:0:4816
-564:2:3967
-565:2:3968
-566:0:4816
-567:2:3103
-568:0:4816
-569:2:3972
-570:0:4816
-571:2:3980
-572:0:4816
-573:2:3100
-574:0:4816
-575:2:3102
-576:0:4816
-577:2:3103
-578:0:4816
-579:2:3104
-580:2:3105
-581:2:3109
-582:2:3110
-583:2:3118
-584:2:3119
-585:2:3123
-586:2:3124
-587:2:3132
-588:2:3137
-589:2:3141
-590:2:3142
-591:2:3150
-592:2:3151
-593:2:3152
-594:2:3150
-595:2:3151
-596:2:3155
-597:2:3156
-598:2:3164
-599:2:3169
-600:2:3170
-601:2:3181
-602:2:3182
-603:2:3183
-604:2:3194
-605:2:3199
-606:2:3200
-607:2:3211
-608:2:3212
-609:2:3213
-610:2:3211
-611:2:3212
-612:2:3213
-613:2:3224
-614:2:3232
-615:0:4816
-616:2:3103
-617:0:4816
-618:2:3236
-619:2:3240
-620:2:3241
-621:2:3245
-622:2:3249
-623:2:3250
-624:2:3254
-625:2:3262
-626:2:3263
-627:2:3267
-628:2:3268
-629:2:3267
-630:2:3271
-631:2:3272
-632:2:3276
-633:0:4816
-634:2:3103
-635:0:4816
-636:2:3284
-637:2:3285
-638:2:3286
-639:0:4816
-640:2:3103
-641:0:4816
-642:2:3291
-643:0:4816
-644:2:3995
-645:2:3996
-646:2:4000
-647:2:4004
-648:2:4005
-649:2:4009
-650:2:4014
-651:2:4022
-652:2:4026
-653:2:4027
-654:2:4022
-655:2:4026
-656:2:4027
-657:2:4031
-658:2:4038
-659:2:4045
-660:2:4046
-661:2:4053
-662:2:4058
-663:2:4065
-664:2:4066
-665:2:4065
-666:2:4066
-667:2:4073
-668:2:4077
-669:0:4816
-670:2:4082
-671:0:4816
-672:2:4083
-673:0:4816
-674:2:4084
-675:0:4816
-676:2:4085
-677:0:4816
-678:1:53
-679:0:4816
-680:2:4086
-681:0:4816
-682:1:57
-683:1:58
-684:1:62
-685:1:66
-686:1:67
-687:1:71
-688:1:79
-689:1:80
-690:1:84
-691:1:88
-692:1:89
-693:1:84
-694:1:88
-695:1:89
-696:1:93
-697:1:100
-698:1:107
-699:1:108
-700:1:115
-701:1:120
-702:1:127
-703:1:128
-704:1:127
-705:1:128
-706:1:135
-707:1:139
-708:0:4816
-709:2:4085
-710:0:4816
-711:1:144
-712:0:4816
-713:2:4086
-714:0:4816
-715:2:4087
-716:0:4816
-717:2:4092
-718:0:4816
-719:2:4093
-720:0:4816
-721:2:4101
-722:2:4102
-723:2:4106
-724:2:4110
-725:2:4111
-726:2:4115
-727:2:4123
-728:2:4124
-729:2:4128
-730:2:4132
-731:2:4133
-732:2:4128
-733:2:4132
-734:2:4133
-735:2:4137
-736:2:4144
-737:2:4151
-738:2:4152
-739:2:4159
-740:2:4164
-741:2:4171
-742:2:4172
-743:2:4171
-744:2:4172
-745:2:4179
-746:2:4183
-747:0:4816
-748:2:3293
-749:2:3976
-750:0:4816
-751:2:3103
-752:0:4816
-753:2:3294
-754:0:4816
-755:2:3103
-756:0:4816
-757:2:3297
-758:2:3298
-759:2:3302
-760:2:3303
-761:2:3311
-762:2:3312
-763:2:3316
-764:2:3317
-765:2:3325
-766:2:3330
-767:2:3334
-768:2:3335
-769:2:3343
-770:2:3344
-771:2:3348
-772:2:3349
-773:2:3343
-774:2:3344
-775:2:3348
-776:2:3349
-777:2:3357
-778:2:3362
-779:2:3363
-780:2:3374
-781:2:3375
-782:2:3376
-783:2:3387
-784:2:3392
-785:2:3393
-786:2:3404
-787:2:3405
-788:2:3406
-789:2:3404
-790:2:3405
-791:2:3406
-792:2:3417
-793:2:3424
-794:0:4816
-795:2:3103
-796:0:4816
-797:2:3428
-798:2:3429
-799:2:3430
-800:2:3442
-801:2:3443
-802:2:3447
-803:2:3448
-804:2:3456
-805:2:3461
-806:2:3465
-807:2:3466
-808:2:3474
-809:2:3475
-810:2:3479
-811:2:3480
-812:2:3474
-813:2:3475
-814:2:3479
-815:2:3480
-816:2:3488
-817:2:3493
-818:2:3494
-819:2:3505
-820:2:3506
-821:2:3507
-822:2:3518
-823:2:3523
-824:2:3524
-825:2:3535
-826:2:3536
-827:2:3537
-828:2:3535
-829:2:3536
-830:2:3537
-831:2:3548
-832:2:3559
-833:2:3560
-834:0:4816
-835:2:3103
-836:0:4816
-837:2:3567
-838:2:3568
-839:2:3572
-840:2:3573
-841:2:3581
-842:2:3582
-843:2:3586
-844:2:3587
-845:2:3595
-846:2:3600
-847:2:3604
-848:2:3605
-849:2:3613
-850:2:3614
-851:2:3618
-852:2:3619
-853:2:3613
-854:2:3614
-855:2:3618
-856:2:3619
-857:2:3627
-858:2:3632
-859:2:3633
-860:2:3644
-861:2:3645
-862:2:3646
-863:2:3657
-864:2:3662
-865:2:3663
-866:2:3674
-867:2:3675
-868:2:3676
-869:2:3674
-870:2:3675
-871:2:3676
-872:2:3687
-873:0:4816
-874:2:3103
-875:0:4816
-876:2:3696
-877:2:3697
-878:2:3701
-879:2:3702
-880:2:3710
-881:2:3711
-882:2:3715
-883:2:3716
-884:2:3724
-885:2:3729
-886:2:3733
-887:2:3734
-888:2:3742
-889:2:3743
-890:2:3747
-891:2:3748
-892:2:3742
-893:2:3743
-894:2:3747
-895:2:3748
-896:2:3756
-897:2:3761
-898:2:3762
-899:2:3773
-900:2:3774
-901:2:3775
-902:2:3786
-903:2:3791
-904:2:3792
-905:2:3803
-906:2:3804
-907:2:3805
-908:2:3803
-909:2:3804
-910:2:3805
-911:2:3816
-912:2:3823
-913:0:4816
-914:2:3103
-915:0:4816
-916:2:3827
-917:2:3828
-918:2:3829
-919:2:3841
-920:2:3842
-921:2:3846
-922:2:3847
-923:2:3855
-924:2:3860
-925:2:3864
-926:2:3865
-927:2:3873
-928:2:3874
-929:2:3878
-930:2:3879
-931:2:3873
-932:2:3874
-933:2:3878
-934:2:3879
-935:2:3887
-936:2:3892
-937:2:3893
-938:2:3904
-939:2:3905
-940:2:3906
-941:2:3917
-942:2:3922
-943:2:3923
-944:2:3934
-945:2:3935
-946:2:3936
-947:2:3934
-948:2:3935
-949:2:3936
-950:2:3947
-951:2:3957
-952:2:3958
-953:0:4816
-954:2:3103
-955:0:4816
-956:2:3964
-957:0:4816
-958:2:4589
-959:2:4590
-960:2:4594
-961:2:4598
-962:2:4599
-963:2:4603
-964:2:4611
-965:2:4612
-966:2:4616
-967:2:4620
-968:2:4621
-969:2:4616
-970:2:4620
-971:2:4621
-972:2:4625
-973:2:4632
-974:2:4639
-975:2:4640
-976:2:4647
-977:2:4652
-978:2:4659
-979:2:4660
-980:2:4659
-981:2:4660
-982:2:4667
-983:2:4671
-984:0:4816
-985:2:4676
-986:0:4816
-987:2:4677
-988:0:4816
-989:2:4678
-990:0:4816
-991:2:4679
-992:0:4816
-993:1:53
-994:0:4816
-995:2:4680
-996:0:4816
-997:1:57
-998:1:58
-999:1:62
-1000:1:66
-1001:1:67
-1002:1:71
-1003:1:79
-1004:1:80
-1005:1:84
-1006:1:88
-1007:1:89
-1008:1:84
-1009:1:88
-1010:1:89
-1011:1:93
-1012:1:100
-1013:1:107
-1014:1:108
-1015:1:115
-1016:1:120
-1017:1:127
-1018:1:128
-1019:1:127
-1020:1:128
-1021:1:135
-1022:1:139
-1023:0:4816
-1024:2:4679
-1025:0:4816
-1026:1:144
-1027:0:4816
-1028:2:4680
-1029:0:4816
-1030:2:4681
-1031:0:4816
-1032:2:4686
-1033:0:4816
-1034:2:4687
-1035:0:4816
-1036:2:4695
-1037:2:4696
-1038:2:4700
-1039:2:4704
-1040:2:4705
-1041:2:4709
-1042:2:4717
-1043:2:4718
-1044:2:4722
-1045:2:4726
-1046:2:4727
-1047:2:4722
-1048:2:4726
-1049:2:4727
-1050:2:4731
-1051:2:4738
-1052:2:4745
-1053:2:4746
-1054:2:4753
-1055:2:4758
-1056:2:4765
-1057:2:4766
-1058:2:4765
-1059:2:4766
-1060:2:4773
-1061:2:4777
-1062:0:4816
-1063:2:3966
-1064:2:3976
-1065:0:4816
-1066:2:3103
-1067:0:4816
-1068:2:3967
-1069:2:3968
-1070:0:4816
-1071:2:3103
-1072:0:4816
-1073:2:3972
-1074:0:4816
-1075:2:3980
-1076:0:4816
-1077:2:3100
-1078:0:4816
-1079:2:3102
-1080:0:4816
-1081:2:3103
-1082:0:4816
-1083:2:3104
-1084:2:3105
-1085:2:3109
-1086:2:3110
-1087:2:3118
-1088:2:3119
-1089:2:3123
-1090:2:3124
-1091:2:3132
-1092:2:3137
-1093:2:3141
-1094:2:3142
-1095:2:3150
-1096:2:3151
-1097:2:3155
-1098:2:3156
-1099:2:3150
-1100:2:3151
-1101:2:3152
-1102:2:3164
-1103:2:3169
-1104:2:3170
-1105:2:3181
-1106:2:3182
-1107:2:3183
-1108:2:3194
-1109:2:3199
-1110:2:3200
-1111:2:3211
-1112:2:3212
-1113:2:3213
-1114:2:3211
-1115:2:3212
-1116:2:3213
-1117:2:3224
-1118:2:3232
-1119:0:4816
-1120:2:3103
-1121:0:4816
-1122:1:145
-1123:0:4816
-1124:1:147
-1125:0:4816
-1126:1:46
-1127:0:4816
-1128:1:153
-1129:1:154
-1130:1:158
-1131:1:159
-1132:1:167
-1133:1:168
-1134:1:172
-1135:1:173
-1136:1:181
-1137:1:186
-1138:1:190
-1139:1:191
-1140:1:199
-1141:1:200
-1142:1:204
-1143:1:205
-1144:1:199
-1145:1:200
-1146:1:204
-1147:1:205
-1148:1:213
-1149:1:218
-1150:1:219
-1151:1:230
-1152:1:231
-1153:1:232
-1154:1:243
-1155:1:248
-1156:1:249
-1157:1:260
-1158:1:261
-1159:1:262
-1160:1:260
-1161:1:261
-1162:1:262
-1163:1:273
-1164:0:4816
-1165:1:42
-1166:0:4816
-1167:1:43
-1168:0:4816
-1169:2:3236
-1170:2:3240
-1171:2:3241
-1172:2:3245
-1173:2:3249
-1174:2:3250
-1175:2:3254
-1176:2:3262
-1177:2:3263
-1178:2:3267
-1179:2:3271
-1180:2:3272
-1181:2:3267
-1182:2:3268
-1183:2:3276
-1184:0:4816
-1185:2:3103
-1186:0:4816
-1187:2:3284
-1188:2:3285
-1189:2:3286
-1190:0:4816
-1191:2:3103
-1192:0:4816
-1193:2:3291
-1194:0:4816
-1195:2:3995
-1196:2:3996
-1197:2:4000
-1198:2:4004
-1199:2:4005
-1200:2:4009
-1201:2:4014
-1202:2:4022
-1203:2:4026
-1204:2:4027
-1205:2:4022
-1206:2:4026
-1207:2:4027
-1208:2:4031
-1209:2:4038
-1210:2:4045
-1211:2:4046
-1212:2:4053
-1213:2:4058
-1214:2:4065
-1215:2:4066
-1216:2:4065
-1217:2:4066
-1218:2:4073
-1219:2:4077
-1220:0:4816
-1221:2:4082
-1222:0:4816
-1223:2:4083
-1224:0:4816
-1225:2:4084
-1226:0:4816
-1227:2:4085
-1228:0:4816
-1229:1:44
-1230:0:4816
-1231:2:4086
-1232:0:4816
-1233:1:145
-1234:0:4816
-1235:1:147
-1236:0:4816
-1237:2:4085
-1238:0:4816
-1239:1:46
-1240:0:4816
-1241:2:4086
-1242:0:4816
-1243:1:282
-1244:1:283
-1245:0:4816
-1246:1:42
-1247:0:4816
-1248:1:43
-1249:0:4816
-1250:2:4085
-1251:0:4816
-1252:1:44
-1253:0:4816
-1254:2:4086
-1255:0:4816
-1256:1:145
-1257:0:4816
-1258:1:147
-1259:0:4816
-1260:2:4085
-1261:0:4816
-1262:1:46
-1263:0:4816
-1264:2:4086
-1265:0:4816
-1266:1:289
-1267:1:290
-1268:1:294
-1269:1:295
-1270:1:303
-1271:1:304
-1272:1:308
-1273:1:309
-1274:1:317
-1275:1:322
-1276:1:326
-1277:1:327
-1278:1:335
-1279:1:336
-1280:1:340
-1281:1:341
-1282:1:335
-1283:1:336
-1284:1:340
-1285:1:341
-1286:1:349
-1287:1:354
-1288:1:355
-1289:1:366
-1290:1:367
-1291:1:368
-1292:1:379
-1293:1:384
-1294:1:385
-1295:1:396
-1296:1:397
-1297:1:398
-1298:1:396
-1299:1:404
-1300:1:405
-1301:1:409
-1302:0:4816
-1303:1:42
-1304:0:4816
-1305:1:43
-1306:0:4816
-1307:2:4085
-1308:0:4816
-1309:1:44
-1310:0:4816
-1311:2:4086
-1312:0:4816
-1313:1:145
-1314:0:4816
-1315:1:147
-1316:0:4816
-1317:2:4085
-1318:0:4816
-1319:1:46
-1320:0:4816
-1321:2:4086
-1322:0:4816
-1323:1:418
-1324:1:419
-1325:1:423
-1326:1:424
-1327:1:432
-1328:1:433
-1329:1:437
-1330:1:438
-1331:1:446
-1332:1:451
-1333:1:455
-1334:1:456
-1335:1:464
-1336:1:465
-1337:1:469
-1338:1:470
-1339:1:464
-1340:1:465
-1341:1:469
-1342:1:470
-1343:1:478
-1344:1:483
-1345:1:484
-1346:1:495
-1347:1:496
-1348:1:497
-1349:1:508
-1350:1:513
-1351:1:514
-1352:1:525
-1353:1:526
-1354:1:527
-1355:1:525
-1356:1:533
-1357:1:534
-1358:1:538
-1359:1:545
-1360:0:4816
-1361:1:42
-1362:0:4816
-1363:1:43
-1364:0:4816
-1365:2:4085
-1366:0:4816
-1367:1:44
-1368:0:4816
-1369:2:4086
-1370:0:4816
-1371:1:145
-1372:0:4816
-1373:1:147
-1374:0:4816
-1375:2:4085
-1376:0:4816
-1377:1:46
-1378:0:4816
-1379:2:4086
-1380:0:4816
-1381:1:683
-1382:1:684
-1383:1:688
-1384:1:689
-1385:1:697
-1386:1:698
-1387:1:699
-1388:1:711
-1389:1:716
-1390:1:720
-1391:1:721
-1392:1:729
-1393:1:730
-1394:1:734
-1395:1:735
-1396:1:729
-1397:1:730
-1398:1:734
-1399:1:735
-1400:1:743
-1401:1:748
-1402:1:749
-1403:1:760
-1404:1:761
-1405:1:762
-1406:1:773
-1407:1:778
-1408:1:779
-1409:1:790
-1410:1:791
-1411:1:792
-1412:1:790
-1413:1:798
-1414:1:799
-1415:1:803
-1416:0:4816
-1417:1:42
-1418:0:4816
-1419:1:43
-1420:0:4816
-1421:2:4085
-1422:0:4816
-1423:1:44
-1424:0:4816
-1425:2:4086
-1426:0:4816
-1427:1:145
-1428:0:4816
-1429:1:147
-1430:0:4816
-1431:2:4085
-1432:0:4816
-1433:1:46
-1434:0:4816
-1435:2:4086
-1436:0:4816
-1437:1:812
-1438:1:815
-1439:1:816
-1440:0:4816
-1441:1:42
-1442:0:4816
-1443:1:43
-1444:0:4816
-1445:2:4085
-1446:0:4816
-1447:1:44
-1448:0:4816
-1449:2:4086
-1450:0:4816
-1451:1:145
-1452:0:4816
-1453:1:147
-1454:0:4816
-1455:2:4085
-1456:0:4816
-1457:1:46
-1458:0:4816
-1459:2:4086
-1460:0:4816
-1461:1:819
-1462:1:820
-1463:1:824
-1464:1:825
-1465:1:833
-1466:1:834
-1467:1:838
-1468:1:839
-1469:1:847
-1470:1:852
-1471:1:856
-1472:1:857
-1473:1:865
-1474:1:866
-1475:1:870
-1476:1:871
-1477:1:865
-1478:1:866
-1479:1:870
-1480:1:871
-1481:1:879
-1482:1:884
-1483:1:885
-1484:1:896
-1485:1:897
-1486:1:898
-1487:1:909
-1488:1:914
-1489:1:915
-1490:1:926
-1491:1:927
-1492:1:928
-1493:1:926
-1494:1:934
-1495:1:935
-1496:1:939
-1497:0:4816
-1498:1:42
-1499:0:4816
-1500:1:43
-1501:0:4816
-1502:2:4085
-1503:0:4816
-1504:1:44
-1505:0:4816
-1506:2:4086
-1507:0:4816
-1508:1:145
-1509:0:4816
-1510:1:147
-1511:0:4816
-1512:2:4085
-1513:0:4816
-1514:1:46
-1515:0:4816
-1516:2:4086
-1517:0:4816
-1518:1:1079
-1519:1:1080
-1520:1:1084
-1521:1:1085
-1522:1:1093
-1523:1:1094
-1524:1:1098
-1525:1:1099
-1526:1:1107
-1527:1:1112
-1528:1:1116
-1529:1:1117
-1530:1:1125
-1531:1:1126
-1532:1:1130
-1533:1:1131
-1534:1:1125
-1535:1:1126
-1536:1:1130
-1537:1:1131
-1538:1:1139
-1539:1:1144
-1540:1:1145
-1541:1:1156
-1542:1:1157
-1543:1:1158
-1544:1:1169
-1545:1:1174
-1546:1:1175
-1547:1:1186
-1548:1:1187
-1549:1:1188
-1550:1:1186
-1551:1:1194
-1552:1:1195
-1553:1:1199
-1554:1:1206
-1555:1:1210
-1556:0:4816
-1557:1:42
-1558:0:4816
-1559:1:43
-1560:0:4816
-1561:2:4085
-1562:0:4816
-1563:1:44
-1564:0:4816
-1565:2:4086
-1566:0:4816
-1567:1:145
-1568:0:4816
-1569:1:147
-1570:0:4816
-1571:2:4085
-1572:0:4816
-1573:1:46
-1574:0:4816
-1575:2:4086
-1576:0:4816
-1577:1:1211
-1578:1:1212
-1579:1:1216
-1580:1:1217
-1581:1:1225
-1582:1:1226
-1583:1:1227
-1584:1:1239
-1585:1:1244
-1586:1:1248
-1587:1:1249
-1588:1:1257
-1589:1:1258
-1590:1:1262
-1591:1:1263
-1592:1:1257
-1593:1:1258
-1594:1:1262
-1595:1:1263
-1596:1:1271
-1597:1:1276
-1598:1:1277
-1599:1:1288
-1600:1:1289
-1601:1:1290
-1602:1:1301
-1603:1:1306
-1604:1:1307
-1605:1:1318
-1606:1:1319
-1607:1:1320
-1608:1:1318
-1609:1:1326
-1610:1:1327
-1611:1:1331
-1612:0:4816
-1613:1:42
-1614:0:4816
-1615:1:43
-1616:0:4816
-1617:2:4085
-1618:0:4816
-1619:1:44
-1620:0:4816
-1621:2:4086
-1622:0:4816
-1623:1:145
-1624:0:4816
-1625:1:147
-1626:0:4816
-1627:2:4085
-1628:0:4816
-1629:1:46
-1630:0:4816
-1631:2:4086
-1632:0:4816
-1633:1:1340
-1634:0:4816
-1635:2:4085
-1636:0:4816
-1637:1:2804
-1638:1:2808
-1639:1:2809
-1640:1:2817
-1641:1:2818
-1642:1:2822
-1643:1:2823
-1644:1:2831
-1645:1:2836
-1646:1:2840
-1647:1:2841
-1648:1:2849
-1649:1:2850
-1650:1:2854
-1651:1:2855
-1652:1:2849
-1653:1:2850
-1654:1:2854
-1655:1:2855
-1656:1:2863
-1657:1:2868
-1658:1:2869
-1659:1:2880
-1660:1:2881
-1661:1:2882
-1662:1:2893
-1663:1:2898
-1664:1:2899
-1665:1:2910
-1666:1:2911
-1667:1:2912
-1668:1:2910
-1669:1:2918
-1670:1:2919
-1671:1:2923
-1672:1:2927
-1673:0:4816
-1674:2:4086
-1675:0:4816
-1676:1:1342
-1677:1:1343
-1678:0:4814
-1679:1:42
-1680:0:4820
-1681:1:2421