userspace-rcu formal model removal

[urcu.git] / formal-model / urcu-controldataflow-alpha-ipi / urcu_free_no_wmb.spin.input.trail

diff --git a/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.spin.input.trail b/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.spin.input.trail
deleted file mode 100644 (file)
index f280086..0000000
--- a/formal-model/urcu-controldataflow-alpha-ipi/urcu_free_no_wmb.spin.input.trail
+++ /dev/null
@@ -1,1533 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4649
-2:2:2896
-3:2:2901
-4:2:2905
-5:2:2913
-6:2:2917
-7:2:2921
-8:0:4649
-9:1:0
-10:1:5
-11:1:9
-12:1:17
-13:1:21
-14:1:25
-15:0:4649
-16:3:4619
-17:3:4622
-18:3:4629
-19:3:4636
-20:3:4639
-21:3:4643
-22:3:4644
-23:0:4649
-24:3:4646
-25:0:4649
-26:2:2925
-27:0:4649
-28:2:2931
-29:0:4649
-30:2:2932
-31:0:4649
-32:2:2934
-33:0:4649
-34:2:2935
-35:0:4649
-36:2:2936
-37:0:4649
-38:2:2937
-39:2:2938
-40:2:2942
-41:2:2943
-42:2:2951
-43:2:2952
-44:2:2956
-45:2:2957
-46:2:2965
-47:2:2970
-48:2:2974
-49:2:2975
-50:2:2983
-51:2:2984
-52:2:2988
-53:2:2989
-54:2:2983
-55:2:2984
-56:2:2988
-57:2:2989
-58:2:2997
-59:2:3002
-60:2:3003
-61:2:3014
-62:2:3015
-63:2:3016
-64:2:3027
-65:2:3032
-66:2:3033
-67:2:3044
-68:2:3045
-69:2:3046
-70:2:3044
-71:2:3045
-72:2:3046
-73:2:3057
-74:2:3065
-75:0:4649
-76:2:2936
-77:0:4649
-78:2:3117
-79:2:3118
-80:2:3119
-81:0:4649
-82:2:2936
-83:0:4649
-84:2:3124
-85:0:4649
-86:2:3828
-87:2:3829
-88:2:3833
-89:2:3837
-90:2:3838
-91:2:3842
-92:2:3847
-93:2:3855
-94:2:3859
-95:2:3860
-96:2:3855
-97:2:3856
-98:2:3864
-99:2:3871
-100:2:3878
-101:2:3879
-102:2:3886
-103:2:3891
-104:2:3898
-105:2:3899
-106:2:3898
-107:2:3899
-108:2:3906
-109:2:3910
-110:0:4649
-111:2:3915
-112:0:4649
-113:2:3916
-114:0:4649
-115:2:3917
-116:0:4649
-117:2:3918
-118:0:4649
-119:1:29
-120:0:4649
-121:2:3919
-122:0:4649
-123:1:35
-124:0:4649
-125:1:36
-126:0:4649
-127:2:3918
-128:0:4649
-129:1:37
-130:0:4649
-131:2:3919
-132:0:4649
-133:1:38
-134:0:4649
-135:2:3918
-136:0:4649
-137:1:39
-138:0:4649
-139:2:3919
-140:0:4649
-141:1:40
-142:0:4649
-143:2:3918
-144:0:4649
-145:1:41
-146:0:4649
-147:2:3919
-148:0:4649
-149:1:42
-150:0:4649
-151:1:43
-152:0:4649
-153:2:3918
-154:0:4649
-155:1:44
-156:0:4649
-157:2:3919
-158:0:4649
-159:1:53
-160:0:4649
-161:2:3918
-162:0:4649
-163:1:57
-164:1:58
-165:1:62
-166:1:66
-167:1:67
-168:1:71
-169:1:79
-170:1:80
-171:1:84
-172:1:88
-173:1:89
-174:1:84
-175:1:88
-176:1:89
-177:1:93
-178:1:100
-179:1:107
-180:1:108
-181:1:115
-182:1:120
-183:1:127
-184:1:128
-185:1:127
-186:1:128
-187:1:135
-188:1:139
-189:0:4649
-190:2:3919
-191:0:4649
-192:1:144
-193:0:4649
-194:2:3920
-195:0:4649
-196:2:3925
-197:0:4649
-198:2:3926
-199:0:4649
-200:2:3934
-201:2:3935
-202:2:3939
-203:2:3943
-204:2:3944
-205:2:3948
-206:2:3956
-207:2:3957
-208:2:3961
-209:2:3965
-210:2:3966
-211:2:3961
-212:2:3965
-213:2:3966
-214:2:3970
-215:2:3977
-216:2:3984
-217:2:3985
-218:2:3992
-219:2:3997
-220:2:4004
-221:2:4005
-222:2:4004
-223:2:4005
-224:2:4012
-225:2:4016
-226:0:4649
-227:2:3126
-228:2:3809
-229:0:4649
-230:2:2936
-231:0:4649
-232:2:3127
-233:0:4649
-234:2:2936
-235:0:4649
-236:2:3130
-237:2:3131
-238:2:3135
-239:2:3136
-240:2:3144
-241:2:3145
-242:2:3149
-243:2:3150
-244:2:3158
-245:2:3163
-246:2:3167
-247:2:3168
-248:2:3176
-249:2:3177
-250:2:3181
-251:2:3182
-252:2:3176
-253:2:3177
-254:2:3181
-255:2:3182
-256:2:3190
-257:2:3195
-258:2:3196
-259:2:3207
-260:2:3208
-261:2:3209
-262:2:3220
-263:2:3225
-264:2:3226
-265:2:3237
-266:2:3238
-267:2:3239
-268:2:3237
-269:2:3238
-270:2:3239
-271:2:3250
-272:2:3257
-273:0:4649
-274:2:2936
-275:0:4649
-276:2:3261
-277:2:3262
-278:2:3263
-279:2:3275
-280:2:3276
-281:2:3280
-282:2:3281
-283:2:3289
-284:2:3294
-285:2:3298
-286:2:3299
-287:2:3307
-288:2:3308
-289:2:3312
-290:2:3313
-291:2:3307
-292:2:3308
-293:2:3312
-294:2:3313
-295:2:3321
-296:2:3326
-297:2:3327
-298:2:3338
-299:2:3339
-300:2:3340
-301:2:3351
-302:2:3356
-303:2:3357
-304:2:3368
-305:2:3369
-306:2:3370
-307:2:3368
-308:2:3369
-309:2:3370
-310:2:3381
-311:2:3392
-312:2:3393
-313:0:4649
-314:2:2936
-315:0:4649
-316:2:3400
-317:2:3401
-318:2:3405
-319:2:3406
-320:2:3414
-321:2:3415
-322:2:3419
-323:2:3420
-324:2:3428
-325:2:3433
-326:2:3437
-327:2:3438
-328:2:3446
-329:2:3447
-330:2:3451
-331:2:3452
-332:2:3446
-333:2:3447
-334:2:3451
-335:2:3452
-336:2:3460
-337:2:3465
-338:2:3466
-339:2:3477
-340:2:3478
-341:2:3479
-342:2:3490
-343:2:3495
-344:2:3496
-345:2:3507
-346:2:3508
-347:2:3509
-348:2:3507
-349:2:3508
-350:2:3509
-351:2:3520
-352:0:4649
-353:2:2936
-354:0:4649
-355:2:3529
-356:2:3530
-357:2:3534
-358:2:3535
-359:2:3543
-360:2:3544
-361:2:3548
-362:2:3549
-363:2:3557
-364:2:3562
-365:2:3566
-366:2:3567
-367:2:3575
-368:2:3576
-369:2:3580
-370:2:3581
-371:2:3575
-372:2:3576
-373:2:3580
-374:2:3581
-375:2:3589
-376:2:3594
-377:2:3595
-378:2:3606
-379:2:3607
-380:2:3608
-381:2:3619
-382:2:3624
-383:2:3625
-384:2:3636
-385:2:3637
-386:2:3638
-387:2:3636
-388:2:3637
-389:2:3638
-390:2:3649
-391:2:3656
-392:0:4649
-393:2:2936
-394:0:4649
-395:2:3660
-396:2:3661
-397:2:3662
-398:2:3674
-399:2:3675
-400:2:3679
-401:2:3680
-402:2:3688
-403:2:3693
-404:2:3697
-405:2:3698
-406:2:3706
-407:2:3707
-408:2:3711
-409:2:3712
-410:2:3706
-411:2:3707
-412:2:3711
-413:2:3712
-414:2:3720
-415:2:3725
-416:2:3726
-417:2:3737
-418:2:3738
-419:2:3739
-420:2:3750
-421:2:3755
-422:2:3756
-423:2:3767
-424:2:3768
-425:2:3769
-426:2:3767
-427:2:3768
-428:2:3769
-429:2:3780
-430:2:3790
-431:2:3791
-432:0:4649
-433:2:2936
-434:0:4649
-435:2:3797
-436:0:4649
-437:2:4422
-438:2:4423
-439:2:4427
-440:2:4431
-441:2:4432
-442:2:4436
-443:2:4444
-444:2:4445
-445:2:4449
-446:2:4453
-447:2:4454
-448:2:4449
-449:2:4453
-450:2:4454
-451:2:4458
-452:2:4465
-453:2:4472
-454:2:4473
-455:2:4480
-456:2:4485
-457:2:4492
-458:2:4493
-459:2:4492
-460:2:4493
-461:2:4500
-462:2:4504
-463:0:4649
-464:2:4509
-465:0:4649
-466:2:4510
-467:0:4649
-468:2:4511
-469:0:4649
-470:2:4512
-471:0:4649
-472:1:53
-473:0:4649
-474:2:4513
-475:0:4649
-476:1:57
-477:1:58
-478:1:62
-479:1:66
-480:1:67
-481:1:71
-482:1:79
-483:1:80
-484:1:84
-485:1:88
-486:1:89
-487:1:84
-488:1:88
-489:1:89
-490:1:93
-491:1:100
-492:1:107
-493:1:108
-494:1:115
-495:1:120
-496:1:127
-497:1:128
-498:1:127
-499:1:128
-500:1:135
-501:1:139
-502:0:4649
-503:2:4512
-504:0:4649
-505:1:144
-506:0:4649
-507:2:4513
-508:0:4649
-509:2:4514
-510:0:4649
-511:2:4519
-512:0:4649
-513:2:4520
-514:0:4649
-515:2:4528
-516:2:4529
-517:2:4533
-518:2:4537
-519:2:4538
-520:2:4542
-521:2:4550
-522:2:4551
-523:2:4555
-524:2:4559
-525:2:4560
-526:2:4555
-527:2:4559
-528:2:4560
-529:2:4564
-530:2:4571
-531:2:4578
-532:2:4579
-533:2:4586
-534:2:4591
-535:2:4598
-536:2:4599
-537:2:4598
-538:2:4599
-539:2:4606
-540:2:4610
-541:0:4649
-542:2:3799
-543:2:3809
-544:0:4649
-545:2:2936
-546:0:4649
-547:2:3800
-548:2:3801
-549:0:4649
-550:2:2936
-551:0:4649
-552:2:3805
-553:0:4649
-554:2:3813
-555:0:4649
-556:2:2932
-557:0:4649
-558:2:2934
-559:0:4649
-560:2:2935
-561:0:4649
-562:2:2936
-563:0:4649
-564:2:3117
-565:2:3118
-566:2:3119
-567:0:4649
-568:2:2936
-569:0:4649
-570:2:2937
-571:2:2938
-572:2:2942
-573:2:2943
-574:2:2951
-575:2:2952
-576:2:2956
-577:2:2957
-578:2:2965
-579:2:2970
-580:2:2971
-581:2:2983
-582:2:2984
-583:2:2985
-584:2:2983
-585:2:2984
-586:2:2988
-587:2:2989
-588:2:2997
-589:2:3002
-590:2:3003
-591:2:3014
-592:2:3015
-593:2:3016
-594:2:3027
-595:2:3032
-596:2:3033
-597:2:3044
-598:2:3045
-599:2:3046
-600:2:3044
-601:2:3045
-602:2:3046
-603:2:3057
-604:2:3065
-605:0:4649
-606:2:2936
-607:0:4649
-608:2:3124
-609:0:4649
-610:2:3828
-611:2:3829
-612:2:3833
-613:2:3837
-614:2:3838
-615:2:3842
-616:2:3850
-617:2:3851
-618:2:3855
-619:2:3856
-620:2:3855
-621:2:3859
-622:2:3860
-623:2:3864
-624:2:3871
-625:2:3878
-626:2:3879
-627:2:3886
-628:2:3891
-629:2:3898
-630:2:3899
-631:2:3898
-632:2:3899
-633:2:3906
-634:2:3910
-635:0:4649
-636:2:3915
-637:0:4649
-638:2:3916
-639:0:4649
-640:2:3917
-641:0:4649
-642:2:3918
-643:0:4649
-644:1:53
-645:0:4649
-646:2:3919
-647:0:4649
-648:1:57
-649:1:58
-650:1:62
-651:1:66
-652:1:67
-653:1:71
-654:1:79
-655:1:80
-656:1:84
-657:1:88
-658:1:89
-659:1:84
-660:1:88
-661:1:89
-662:1:93
-663:1:100
-664:1:107
-665:1:108
-666:1:115
-667:1:120
-668:1:127
-669:1:128
-670:1:127
-671:1:128
-672:1:135
-673:1:139
-674:0:4649
-675:2:3918
-676:0:4649
-677:1:144
-678:0:4649
-679:2:3919
-680:0:4649
-681:2:3920
-682:0:4649
-683:2:3925
-684:0:4649
-685:2:3926
-686:0:4649
-687:2:3934
-688:2:3935
-689:2:3939
-690:2:3943
-691:2:3944
-692:2:3948
-693:2:3956
-694:2:3957
-695:2:3961
-696:2:3965
-697:2:3966
-698:2:3961
-699:2:3965
-700:2:3966
-701:2:3970
-702:2:3977
-703:2:3984
-704:2:3985
-705:2:3992
-706:2:3997
-707:2:4004
-708:2:4005
-709:2:4004
-710:2:4005
-711:2:4012
-712:2:4016
-713:0:4649
-714:2:3126
-715:2:3809
-716:0:4649
-717:2:2936
-718:0:4649
-719:2:3127
-720:0:4649
-721:2:2936
-722:0:4649
-723:2:3130
-724:2:3131
-725:2:3135
-726:2:3136
-727:2:3144
-728:2:3145
-729:2:3149
-730:2:3150
-731:2:3158
-732:2:3163
-733:2:3167
-734:2:3168
-735:2:3176
-736:2:3177
-737:2:3181
-738:2:3182
-739:2:3176
-740:2:3177
-741:2:3181
-742:2:3182
-743:2:3190
-744:2:3195
-745:2:3196
-746:2:3207
-747:2:3208
-748:2:3209
-749:2:3220
-750:2:3225
-751:2:3226
-752:2:3237
-753:2:3238
-754:2:3239
-755:2:3237
-756:2:3238
-757:2:3239
-758:2:3250
-759:2:3257
-760:0:4649
-761:2:2936
-762:0:4649
-763:2:3261
-764:2:3262
-765:2:3263
-766:2:3275
-767:2:3276
-768:2:3280
-769:2:3281
-770:2:3289
-771:2:3294
-772:2:3298
-773:2:3299
-774:2:3307
-775:2:3308
-776:2:3312
-777:2:3313
-778:2:3307
-779:2:3308
-780:2:3312
-781:2:3313
-782:2:3321
-783:2:3326
-784:2:3327
-785:2:3338
-786:2:3339
-787:2:3340
-788:2:3351
-789:2:3356
-790:2:3357
-791:2:3368
-792:2:3369
-793:2:3370
-794:2:3368
-795:2:3369
-796:2:3370
-797:2:3381
-798:2:3392
-799:2:3393
-800:0:4649
-801:2:2936
-802:0:4649
-803:2:3400
-804:2:3401
-805:2:3405
-806:2:3406
-807:2:3414
-808:2:3415
-809:2:3419
-810:2:3420
-811:2:3428
-812:2:3433
-813:2:3437
-814:2:3438
-815:2:3446
-816:2:3447
-817:2:3451
-818:2:3452
-819:2:3446
-820:2:3447
-821:2:3451
-822:2:3452
-823:2:3460
-824:2:3465
-825:2:3466
-826:2:3477
-827:2:3478
-828:2:3479
-829:2:3490
-830:2:3495
-831:2:3496
-832:2:3507
-833:2:3508
-834:2:3509
-835:2:3507
-836:2:3508
-837:2:3509
-838:2:3520
-839:0:4649
-840:2:2936
-841:0:4649
-842:2:3529
-843:2:3530
-844:2:3534
-845:2:3535
-846:2:3543
-847:2:3544
-848:2:3548
-849:2:3549
-850:2:3557
-851:2:3562
-852:2:3566
-853:2:3567
-854:2:3575
-855:2:3576
-856:2:3580
-857:2:3581
-858:2:3575
-859:2:3576
-860:2:3580
-861:2:3581
-862:2:3589
-863:2:3594
-864:2:3595
-865:2:3606
-866:2:3607
-867:2:3608
-868:2:3619
-869:2:3624
-870:2:3625
-871:2:3636
-872:2:3637
-873:2:3638
-874:2:3636
-875:2:3637
-876:2:3638
-877:2:3649
-878:2:3656
-879:0:4649
-880:2:2936
-881:0:4649
-882:2:3660
-883:2:3661
-884:2:3662
-885:2:3674
-886:2:3675
-887:2:3679
-888:2:3680
-889:2:3688
-890:2:3693
-891:2:3697
-892:2:3698
-893:2:3706
-894:2:3707
-895:2:3711
-896:2:3712
-897:2:3706
-898:2:3707
-899:2:3711
-900:2:3712
-901:2:3720
-902:2:3725
-903:2:3726
-904:2:3737
-905:2:3738
-906:2:3739
-907:2:3750
-908:2:3755
-909:2:3756
-910:2:3767
-911:2:3768
-912:2:3769
-913:2:3767
-914:2:3768
-915:2:3769
-916:2:3780
-917:2:3790
-918:2:3791
-919:0:4649
-920:2:2936
-921:0:4649
-922:2:3797
-923:0:4649
-924:2:4422
-925:2:4423
-926:2:4427
-927:2:4431
-928:2:4432
-929:2:4436
-930:2:4444
-931:2:4445
-932:2:4449
-933:2:4453
-934:2:4454
-935:2:4449
-936:2:4453
-937:2:4454
-938:2:4458
-939:2:4465
-940:2:4472
-941:2:4473
-942:2:4480
-943:2:4485
-944:2:4492
-945:2:4493
-946:2:4492
-947:2:4493
-948:2:4500
-949:2:4504
-950:0:4649
-951:2:4509
-952:0:4649
-953:2:4510
-954:0:4649
-955:2:4511
-956:0:4649
-957:2:4512
-958:0:4649
-959:1:53
-960:0:4649
-961:2:4513
-962:0:4649
-963:1:57
-964:1:58
-965:1:62
-966:1:66
-967:1:67
-968:1:71
-969:1:79
-970:1:80
-971:1:84
-972:1:88
-973:1:89
-974:1:84
-975:1:88
-976:1:89
-977:1:93
-978:1:100
-979:1:107
-980:1:108
-981:1:115
-982:1:120
-983:1:127
-984:1:128
-985:1:127
-986:1:128
-987:1:135
-988:1:139
-989:0:4649
-990:2:4512
-991:0:4649
-992:1:144
-993:0:4649
-994:2:4513
-995:0:4649
-996:2:4514
-997:0:4649
-998:2:4519
-999:0:4649
-1000:2:4520
-1001:0:4649
-1002:2:4528
-1003:2:4529
-1004:2:4533
-1005:2:4537
-1006:2:4538
-1007:2:4542
-1008:2:4550
-1009:2:4551
-1010:2:4555
-1011:2:4559
-1012:2:4560
-1013:2:4555
-1014:2:4559
-1015:2:4560
-1016:2:4564
-1017:2:4571
-1018:2:4578
-1019:2:4579
-1020:2:4586
-1021:2:4591
-1022:2:4598
-1023:2:4599
-1024:2:4598
-1025:2:4599
-1026:2:4606
-1027:2:4610
-1028:0:4649
-1029:2:3799
-1030:2:3809
-1031:0:4649
-1032:2:2936
-1033:0:4649
-1034:2:3800
-1035:2:3801
-1036:0:4649
-1037:2:2936
-1038:0:4649
-1039:2:3805
-1040:0:4649
-1041:2:3813
-1042:0:4649
-1043:2:2932
-1044:0:4649
-1045:2:2934
-1046:0:4649
-1047:2:2935
-1048:0:4649
-1049:2:2936
-1050:0:4649
-1051:2:2937
-1052:2:2938
-1053:2:2942
-1054:2:2943
-1055:2:2951
-1056:2:2952
-1057:2:2956
-1058:2:2957
-1059:2:2965
-1060:2:2970
-1061:2:2974
-1062:2:2975
-1063:2:2983
-1064:2:2984
-1065:2:2988
-1066:2:2989
-1067:2:2983
-1068:2:2984
-1069:2:2985
-1070:2:2997
-1071:2:3002
-1072:2:3003
-1073:2:3014
-1074:2:3015
-1075:2:3016
-1076:2:3027
-1077:2:3032
-1078:2:3033
-1079:2:3044
-1080:2:3045
-1081:2:3046
-1082:2:3044
-1083:2:3045
-1084:2:3046
-1085:2:3057
-1086:2:3065
-1087:0:4649
-1088:2:2936
-1089:0:4649
-1090:2:3117
-1091:2:3118
-1092:2:3119
-1093:0:4649
-1094:2:2936
-1095:0:4649
-1096:2:3124
-1097:0:4649
-1098:1:145
-1099:0:4649
-1100:1:147
-1101:0:4649
-1102:1:46
-1103:0:4649
-1104:1:153
-1105:1:154
-1106:1:158
-1107:1:159
-1108:1:167
-1109:1:168
-1110:1:172
-1111:1:173
-1112:1:181
-1113:1:186
-1114:1:190
-1115:1:191
-1116:1:199
-1117:1:200
-1118:1:204
-1119:1:205
-1120:1:199
-1121:1:200
-1122:1:204
-1123:1:205
-1124:1:213
-1125:1:218
-1126:1:219
-1127:1:230
-1128:1:231
-1129:1:232
-1130:1:243
-1131:1:248
-1132:1:249
-1133:1:260
-1134:1:261
-1135:1:262
-1136:1:260
-1137:1:261
-1138:1:262
-1139:1:273
-1140:0:4649
-1141:1:42
-1142:0:4649
-1143:1:43
-1144:0:4649
-1145:1:44
-1146:0:4649
-1147:1:145
-1148:0:4649
-1149:1:147
-1150:0:4649
-1151:1:46
-1152:0:4649
-1153:1:282
-1154:1:283
-1155:0:4649
-1156:1:42
-1157:0:4649
-1158:1:43
-1159:0:4649
-1160:1:44
-1161:0:4649
-1162:1:145
-1163:0:4649
-1164:1:147
-1165:0:4649
-1166:1:46
-1167:0:4649
-1168:1:289
-1169:1:290
-1170:1:294
-1171:1:295
-1172:1:303
-1173:1:304
-1174:1:308
-1175:1:309
-1176:1:317
-1177:1:322
-1178:1:326
-1179:1:327
-1180:1:335
-1181:1:336
-1182:1:340
-1183:1:341
-1184:1:335
-1185:1:336
-1186:1:340
-1187:1:341
-1188:1:349
-1189:1:354
-1190:1:355
-1191:1:366
-1192:1:367
-1193:1:368
-1194:1:379
-1195:1:384
-1196:1:385
-1197:1:396
-1198:1:397
-1199:1:398
-1200:1:396
-1201:1:397
-1202:1:398
-1203:1:409
-1204:0:4649
-1205:1:42
-1206:0:4649
-1207:1:43
-1208:0:4649
-1209:1:44
-1210:0:4649
-1211:1:145
-1212:0:4649
-1213:1:147
-1214:0:4649
-1215:1:46
-1216:0:4649
-1217:1:418
-1218:1:419
-1219:1:423
-1220:1:424
-1221:1:432
-1222:1:433
-1223:1:437
-1224:1:438
-1225:1:446
-1226:1:451
-1227:1:455
-1228:1:456
-1229:1:464
-1230:1:465
-1231:1:469
-1232:1:470
-1233:1:464
-1234:1:465
-1235:1:469
-1236:1:470
-1237:1:478
-1238:1:483
-1239:1:484
-1240:1:495
-1241:1:496
-1242:1:497
-1243:1:508
-1244:1:513
-1245:1:514
-1246:1:525
-1247:1:526
-1248:1:527
-1249:1:525
-1250:1:526
-1251:1:527
-1252:1:538
-1253:1:545
-1254:0:4649
-1255:1:42
-1256:0:4649
-1257:1:43
-1258:0:4649
-1259:1:44
-1260:0:4649
-1261:1:145
-1262:0:4649
-1263:1:147
-1264:0:4649
-1265:1:46
-1266:0:4649
-1267:1:683
-1268:1:684
-1269:1:688
-1270:1:689
-1271:1:697
-1272:1:698
-1273:1:699
-1274:1:711
-1275:1:716
-1276:1:720
-1277:1:721
-1278:1:729
-1279:1:730
-1280:1:734
-1281:1:735
-1282:1:729
-1283:1:730
-1284:1:734
-1285:1:735
-1286:1:743
-1287:1:748
-1288:1:749
-1289:1:760
-1290:1:761
-1291:1:762
-1292:1:773
-1293:1:778
-1294:1:779
-1295:1:790
-1296:1:791
-1297:1:792
-1298:1:790
-1299:1:791
-1300:1:792
-1301:1:803
-1302:0:4649
-1303:1:42
-1304:0:4649
-1305:1:43
-1306:0:4649
-1307:1:44
-1308:0:4649
-1309:1:145
-1310:0:4649
-1311:1:147
-1312:0:4649
-1313:1:46
-1314:0:4649
-1315:1:812
-1316:1:815
-1317:1:816
-1318:0:4649
-1319:1:42
-1320:0:4649
-1321:1:43
-1322:0:4649
-1323:1:44
-1324:0:4649
-1325:1:145
-1326:0:4649
-1327:1:147
-1328:0:4649
-1329:1:46
-1330:0:4649
-1331:1:819
-1332:1:820
-1333:1:824
-1334:1:825
-1335:1:833
-1336:1:834
-1337:1:838
-1338:1:839
-1339:1:847
-1340:1:852
-1341:1:856
-1342:1:857
-1343:1:865
-1344:1:866
-1345:1:870
-1346:1:871
-1347:1:865
-1348:1:866
-1349:1:870
-1350:1:871
-1351:1:879
-1352:1:884
-1353:1:885
-1354:1:896
-1355:1:897
-1356:1:898
-1357:1:909
-1358:1:914
-1359:1:915
-1360:1:926
-1361:1:927
-1362:1:928
-1363:1:926
-1364:1:927
-1365:1:928
-1366:1:939
-1367:0:4649
-1368:1:42
-1369:0:4649
-1370:1:43
-1371:0:4649
-1372:1:44
-1373:0:4649
-1374:1:145
-1375:0:4649
-1376:1:147
-1377:0:4649
-1378:1:46
-1379:0:4649
-1380:1:1079
-1381:1:1080
-1382:1:1084
-1383:1:1085
-1384:1:1093
-1385:1:1094
-1386:1:1098
-1387:1:1099
-1388:1:1107
-1389:1:1112
-1390:1:1116
-1391:1:1117
-1392:1:1125
-1393:1:1126
-1394:1:1130
-1395:1:1131
-1396:1:1125
-1397:1:1126
-1398:1:1130
-1399:1:1131
-1400:1:1139
-1401:1:1144
-1402:1:1145
-1403:1:1156
-1404:1:1157
-1405:1:1158
-1406:1:1169
-1407:1:1174
-1408:1:1175
-1409:1:1186
-1410:1:1187
-1411:1:1188
-1412:1:1186
-1413:1:1187
-1414:1:1188
-1415:1:1199
-1416:1:1206
-1417:1:1210
-1418:0:4649
-1419:1:42
-1420:0:4649
-1421:1:43
-1422:0:4649
-1423:1:44
-1424:0:4649
-1425:1:145
-1426:0:4649
-1427:1:147
-1428:0:4649
-1429:1:46
-1430:0:4649
-1431:1:1211
-1432:1:1212
-1433:1:1216
-1434:1:1217
-1435:1:1225
-1436:1:1226
-1437:1:1227
-1438:1:1239
-1439:1:1244
-1440:1:1248
-1441:1:1249
-1442:1:1257
-1443:1:1258
-1444:1:1262
-1445:1:1263
-1446:1:1257
-1447:1:1258
-1448:1:1262
-1449:1:1263
-1450:1:1271
-1451:1:1276
-1452:1:1277
-1453:1:1288
-1454:1:1289
-1455:1:1290
-1456:1:1301
-1457:1:1306
-1458:1:1307
-1459:1:1318
-1460:1:1319
-1461:1:1320
-1462:1:1318
-1463:1:1319
-1464:1:1320
-1465:1:1331
-1466:0:4649
-1467:1:42
-1468:0:4649
-1469:1:43
-1470:0:4649
-1471:1:44
-1472:0:4649
-1473:1:145
-1474:0:4649
-1475:1:147
-1476:0:4649
-1477:1:46
-1478:0:4649
-1479:1:1340
-1480:0:4649
-1481:1:2804
-1482:1:2811
-1483:1:2812
-1484:1:2819
-1485:1:2824
-1486:1:2831
-1487:1:2832
-1488:1:2831
-1489:1:2832
-1490:1:2839
-1491:1:2843
-1492:0:4649
-1493:2:3828
-1494:2:3829
-1495:2:3833
-1496:2:3837
-1497:2:3838
-1498:2:3842
-1499:2:3847
-1500:2:3855
-1501:2:3859
-1502:2:3860
-1503:2:3855
-1504:2:3856
-1505:2:3864
-1506:2:3871
-1507:2:3878
-1508:2:3879
-1509:2:3886
-1510:2:3891
-1511:2:3898
-1512:2:3899
-1513:2:3898
-1514:2:3899
-1515:2:3906
-1516:2:3910
-1517:0:4649
-1518:2:3915
-1519:0:4649
-1520:2:3916
-1521:0:4649
-1522:2:3917
-1523:0:4649
-1524:2:3918
-1525:0:4649
-1526:1:1342
-1527:1:1343
-1528:0:4647
-1529:2:3919
-1530:0:4653
-1531:1:2501