Cleanup verif directory.

[urcu.git] / formal-model / results / urcu-controldataflow-ipi / urcu_free_no_mb.spin.input.trail

diff --git a/formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input.trail b/formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input.trail
deleted file mode 100644 (file)
index 582fc24..0000000
--- a/formal-model/results/urcu-controldataflow-ipi/urcu_free_no_mb.spin.input.trail
+++ /dev/null
@@ -1,1423 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4649
-2:3:4569
-3:3:4572
-4:3:4572
-5:3:4575
-6:3:4583
-7:3:4583
-8:3:4586
-9:3:4592
-10:3:4596
-11:3:4596
-12:3:4599
-13:3:4609
-14:3:4617
-15:3:4617
-16:3:4620
-17:3:4626
-18:3:4630
-19:3:4630
-20:3:4633
-21:3:4639
-22:3:4643
-23:3:4644
-24:0:4649
-25:3:4646
-26:0:4649
-27:2:2875
-28:0:4649
-29:2:2881
-30:0:4649
-31:2:2882
-32:0:4649
-33:2:2884
-34:0:4649
-35:2:2885
-36:0:4649
-37:2:2886
-38:0:4649
-39:2:2887
-40:0:4649
-41:2:2888
-42:2:2889
-43:2:2893
-44:2:2894
-45:2:2902
-46:2:2903
-47:2:2907
-48:2:2908
-49:2:2916
-50:2:2921
-51:2:2925
-52:2:2926
-53:2:2934
-54:2:2935
-55:2:2939
-56:2:2940
-57:2:2934
-58:2:2935
-59:2:2939
-60:2:2940
-61:2:2948
-62:2:2953
-63:2:2954
-64:2:2965
-65:2:2966
-66:2:2967
-67:2:2978
-68:2:2983
-69:2:2984
-70:2:2995
-71:2:2996
-72:2:2997
-73:2:2995
-74:2:2996
-75:2:2997
-76:2:3008
-77:2:3016
-78:0:4649
-79:2:2887
-80:0:4649
-81:2:3020
-82:2:3024
-83:2:3025
-84:2:3029
-85:2:3033
-86:2:3034
-87:2:3038
-88:2:3046
-89:2:3047
-90:2:3051
-91:2:3055
-92:2:3056
-93:2:3051
-94:2:3052
-95:2:3060
-96:0:4649
-97:2:2887
-98:0:4649
-99:2:3068
-100:2:3069
-101:2:3070
-102:0:4649
-103:2:2887
-104:0:4649
-105:2:3078
-106:0:4649
-107:2:2887
-108:0:4649
-109:2:3081
-110:2:3082
-111:2:3086
-112:2:3087
-113:2:3095
-114:2:3096
-115:2:3100
-116:2:3101
-117:2:3109
-118:2:3114
-119:2:3115
-120:2:3127
-121:2:3128
-122:2:3132
-123:2:3133
-124:2:3127
-125:2:3128
-126:2:3132
-127:2:3133
-128:2:3141
-129:2:3146
-130:2:3147
-131:2:3158
-132:2:3159
-133:2:3160
-134:2:3171
-135:2:3176
-136:2:3177
-137:2:3188
-138:2:3189
-139:2:3190
-140:2:3188
-141:2:3189
-142:2:3190
-143:2:3201
-144:2:3208
-145:0:4649
-146:2:2887
-147:0:4649
-148:2:3212
-149:2:3213
-150:2:3214
-151:2:3226
-152:2:3227
-153:2:3231
-154:2:3232
-155:2:3240
-156:2:3245
-157:2:3249
-158:2:3250
-159:2:3258
-160:2:3259
-161:2:3263
-162:2:3264
-163:2:3258
-164:2:3259
-165:2:3263
-166:2:3264
-167:2:3272
-168:2:3277
-169:2:3278
-170:2:3289
-171:2:3290
-172:2:3291
-173:2:3302
-174:2:3307
-175:2:3308
-176:2:3319
-177:2:3320
-178:2:3321
-179:2:3319
-180:2:3320
-181:2:3321
-182:2:3332
-183:2:3343
-184:2:3344
-185:0:4649
-186:2:2887
-187:0:4649
-188:2:3350
-189:2:3351
-190:2:3355
-191:2:3356
-192:2:3364
-193:2:3365
-194:2:3369
-195:2:3370
-196:2:3378
-197:2:3383
-198:2:3387
-199:2:3388
-200:2:3396
-201:2:3397
-202:2:3401
-203:2:3402
-204:2:3396
-205:2:3397
-206:2:3401
-207:2:3402
-208:2:3410
-209:2:3415
-210:2:3416
-211:2:3427
-212:2:3428
-213:2:3429
-214:2:3440
-215:2:3445
-216:2:3446
-217:2:3457
-218:2:3458
-219:2:3459
-220:2:3457
-221:2:3458
-222:2:3459
-223:2:3470
-224:0:4649
-225:2:2887
-226:0:4649
-227:2:3479
-228:2:3480
-229:2:3484
-230:2:3485
-231:2:3493
-232:2:3494
-233:2:3498
-234:2:3499
-235:2:3507
-236:2:3512
-237:2:3516
-238:2:3517
-239:2:3525
-240:2:3526
-241:2:3530
-242:2:3531
-243:2:3525
-244:2:3526
-245:2:3530
-246:2:3531
-247:2:3539
-248:2:3544
-249:2:3545
-250:2:3556
-251:2:3557
-252:2:3558
-253:2:3569
-254:2:3574
-255:2:3575
-256:2:3586
-257:2:3587
-258:2:3588
-259:2:3586
-260:2:3587
-261:2:3588
-262:2:3599
-263:2:3606
-264:0:4649
-265:2:2887
-266:0:4649
-267:2:3610
-268:2:3611
-269:2:3612
-270:2:3624
-271:2:3625
-272:2:3629
-273:2:3630
-274:2:3638
-275:2:3643
-276:2:3647
-277:2:3648
-278:2:3656
-279:2:3657
-280:2:3661
-281:2:3662
-282:2:3656
-283:2:3657
-284:2:3661
-285:2:3662
-286:2:3670
-287:2:3675
-288:2:3676
-289:2:3687
-290:2:3688
-291:2:3689
-292:2:3700
-293:2:3705
-294:2:3706
-295:2:3717
-296:2:3718
-297:2:3719
-298:2:3717
-299:2:3718
-300:2:3719
-301:2:3730
-302:2:3740
-303:2:3741
-304:0:4649
-305:2:2887
-306:0:4649
-307:2:3750
-308:2:3751
-309:0:4649
-310:2:2887
-311:0:4649
-312:2:3755
-313:0:4649
-314:2:3763
-315:0:4649
-316:2:2882
-317:0:4649
-318:2:2884
-319:0:4649
-320:2:2885
-321:0:4649
-322:2:2886
-323:0:4649
-324:2:2887
-325:0:4649
-326:2:2888
-327:2:2889
-328:2:2893
-329:2:2894
-330:2:2902
-331:2:2903
-332:2:2907
-333:2:2908
-334:2:2916
-335:2:2921
-336:2:2925
-337:2:2926
-338:2:2934
-339:2:2935
-340:2:2936
-341:2:2934
-342:2:2935
-343:2:2939
-344:2:2940
-345:2:2948
-346:2:2953
-347:2:2954
-348:2:2965
-349:2:2966
-350:2:2967
-351:2:2978
-352:2:2983
-353:2:2984
-354:2:2995
-355:2:2996
-356:2:2997
-357:2:2995
-358:2:2996
-359:2:2997
-360:2:3008
-361:2:3016
-362:0:4649
-363:2:2887
-364:0:4649
-365:2:3020
-366:2:3024
-367:2:3025
-368:2:3029
-369:2:3033
-370:2:3034
-371:2:3038
-372:2:3046
-373:2:3047
-374:2:3051
-375:2:3052
-376:2:3051
-377:2:3055
-378:2:3056
-379:2:3060
-380:0:4649
-381:2:2887
-382:0:4649
-383:2:3068
-384:2:3069
-385:2:3070
-386:0:4649
-387:2:2887
-388:0:4649
-389:2:3078
-390:0:4649
-391:2:2887
-392:0:4649
-393:2:3081
-394:2:3082
-395:2:3086
-396:2:3087
-397:2:3095
-398:2:3096
-399:2:3100
-400:2:3101
-401:2:3109
-402:2:3114
-403:2:3115
-404:2:3127
-405:2:3128
-406:2:3132
-407:2:3133
-408:2:3127
-409:2:3128
-410:2:3132
-411:2:3133
-412:2:3141
-413:2:3146
-414:2:3147
-415:2:3158
-416:2:3159
-417:2:3160
-418:2:3171
-419:2:3176
-420:2:3177
-421:2:3188
-422:2:3189
-423:2:3190
-424:2:3188
-425:2:3189
-426:2:3190
-427:2:3201
-428:2:3208
-429:0:4649
-430:2:2887
-431:0:4649
-432:2:3212
-433:2:3213
-434:2:3214
-435:2:3226
-436:2:3227
-437:2:3231
-438:2:3232
-439:2:3240
-440:2:3245
-441:2:3249
-442:2:3250
-443:2:3258
-444:2:3259
-445:2:3263
-446:2:3264
-447:2:3258
-448:2:3259
-449:2:3263
-450:2:3264
-451:2:3272
-452:2:3277
-453:2:3278
-454:2:3289
-455:2:3290
-456:2:3291
-457:2:3302
-458:2:3307
-459:2:3308
-460:2:3319
-461:2:3320
-462:2:3321
-463:2:3319
-464:2:3320
-465:2:3321
-466:2:3332
-467:2:3343
-468:2:3344
-469:0:4649
-470:2:2887
-471:0:4649
-472:2:3350
-473:2:3351
-474:2:3355
-475:2:3356
-476:2:3364
-477:2:3365
-478:2:3369
-479:2:3370
-480:2:3378
-481:2:3383
-482:2:3387
-483:2:3388
-484:2:3396
-485:2:3397
-486:2:3401
-487:2:3402
-488:2:3396
-489:2:3397
-490:2:3401
-491:2:3402
-492:2:3410
-493:2:3415
-494:2:3416
-495:2:3427
-496:2:3428
-497:2:3429
-498:2:3440
-499:2:3445
-500:2:3446
-501:2:3457
-502:2:3458
-503:2:3459
-504:2:3457
-505:2:3458
-506:2:3459
-507:2:3470
-508:0:4649
-509:2:2887
-510:0:4649
-511:2:3479
-512:2:3480
-513:2:3484
-514:2:3485
-515:2:3493
-516:2:3494
-517:2:3498
-518:2:3499
-519:2:3507
-520:2:3512
-521:2:3516
-522:2:3517
-523:2:3525
-524:2:3526
-525:2:3530
-526:2:3531
-527:2:3525
-528:2:3526
-529:2:3530
-530:2:3531
-531:2:3539
-532:2:3544
-533:2:3545
-534:2:3556
-535:2:3557
-536:2:3558
-537:2:3569
-538:2:3574
-539:2:3575
-540:2:3586
-541:2:3587
-542:2:3588
-543:2:3586
-544:2:3587
-545:2:3588
-546:2:3599
-547:2:3606
-548:0:4649
-549:2:2887
-550:0:4649
-551:2:3610
-552:2:3611
-553:2:3612
-554:2:3624
-555:2:3625
-556:2:3629
-557:2:3630
-558:2:3638
-559:2:3643
-560:2:3647
-561:2:3648
-562:2:3656
-563:2:3657
-564:2:3661
-565:2:3662
-566:2:3656
-567:2:3657
-568:2:3661
-569:2:3662
-570:2:3670
-571:2:3675
-572:2:3676
-573:2:3687
-574:2:3688
-575:2:3689
-576:2:3700
-577:2:3705
-578:2:3706
-579:2:3717
-580:2:3718
-581:2:3719
-582:2:3717
-583:2:3718
-584:2:3719
-585:2:3730
-586:2:3740
-587:2:3741
-588:0:4649
-589:2:2887
-590:0:4649
-591:2:3750
-592:2:3751
-593:0:4649
-594:2:2887
-595:0:4649
-596:2:3755
-597:0:4649
-598:2:3763
-599:0:4649
-600:2:2882
-601:0:4649
-602:2:2884
-603:0:4649
-604:2:2885
-605:0:4649
-606:2:2886
-607:0:4649
-608:2:2887
-609:0:4649
-610:2:2888
-611:2:2889
-612:2:2893
-613:2:2894
-614:2:2902
-615:2:2903
-616:2:2907
-617:2:2908
-618:2:2916
-619:2:2921
-620:2:2925
-621:2:2926
-622:2:2934
-623:2:2935
-624:2:2939
-625:2:2940
-626:2:2934
-627:2:2935
-628:2:2936
-629:2:2948
-630:2:2953
-631:2:2954
-632:2:2965
-633:2:2966
-634:2:2967
-635:2:2978
-636:2:2983
-637:2:2984
-638:2:2995
-639:2:2996
-640:2:2997
-641:2:2995
-642:2:2996
-643:2:2997
-644:2:3008
-645:2:3016
-646:0:4649
-647:2:2887
-648:0:4649
-649:2:3020
-650:2:3024
-651:2:3025
-652:2:3029
-653:2:3033
-654:2:3034
-655:2:3038
-656:2:3046
-657:2:3047
-658:2:3051
-659:2:3055
-660:2:3056
-661:2:3051
-662:2:3052
-663:2:3060
-664:0:4649
-665:2:2887
-666:0:4649
-667:2:3068
-668:2:3069
-669:2:3070
-670:0:4649
-671:2:2887
-672:0:4649
-673:2:3078
-674:0:4649
-675:2:2887
-676:0:4649
-677:2:3081
-678:2:3082
-679:2:3086
-680:2:3087
-681:2:3095
-682:2:3096
-683:2:3100
-684:2:3101
-685:2:3109
-686:2:3114
-687:2:3115
-688:2:3127
-689:2:3128
-690:2:3132
-691:2:3133
-692:2:3127
-693:2:3128
-694:2:3132
-695:2:3133
-696:2:3141
-697:2:3146
-698:2:3147
-699:2:3158
-700:2:3159
-701:2:3160
-702:2:3171
-703:2:3176
-704:2:3177
-705:2:3188
-706:2:3189
-707:2:3190
-708:2:3188
-709:2:3189
-710:2:3190
-711:2:3201
-712:2:3208
-713:0:4649
-714:2:2887
-715:0:4649
-716:2:3212
-717:2:3213
-718:2:3214
-719:2:3226
-720:2:3227
-721:2:3231
-722:2:3232
-723:2:3240
-724:2:3245
-725:2:3249
-726:2:3250
-727:2:3258
-728:2:3259
-729:2:3263
-730:2:3264
-731:2:3258
-732:2:3259
-733:2:3263
-734:2:3264
-735:2:3272
-736:2:3277
-737:2:3278
-738:2:3289
-739:2:3290
-740:2:3291
-741:2:3302
-742:2:3307
-743:2:3308
-744:2:3319
-745:2:3320
-746:2:3321
-747:2:3319
-748:2:3320
-749:2:3321
-750:2:3332
-751:2:3343
-752:2:3344
-753:0:4649
-754:2:2887
-755:0:4649
-756:2:3350
-757:2:3351
-758:2:3355
-759:2:3356
-760:2:3364
-761:2:3365
-762:2:3369
-763:2:3370
-764:2:3378
-765:2:3383
-766:2:3387
-767:2:3388
-768:2:3396
-769:2:3397
-770:2:3401
-771:2:3402
-772:2:3396
-773:2:3397
-774:2:3401
-775:2:3402
-776:2:3410
-777:2:3415
-778:2:3416
-779:2:3427
-780:2:3428
-781:2:3429
-782:2:3440
-783:2:3445
-784:2:3446
-785:2:3457
-786:2:3458
-787:2:3459
-788:2:3457
-789:2:3458
-790:2:3459
-791:2:3470
-792:0:4649
-793:2:2887
-794:0:4649
-795:2:3610
-796:2:3611
-797:2:3615
-798:2:3616
-799:2:3624
-800:2:3625
-801:2:3629
-802:2:3630
-803:2:3638
-804:2:3643
-805:2:3647
-806:2:3648
-807:2:3656
-808:2:3657
-809:2:3661
-810:2:3662
-811:2:3656
-812:2:3657
-813:2:3661
-814:2:3662
-815:2:3670
-816:2:3675
-817:2:3676
-818:2:3687
-819:2:3688
-820:2:3689
-821:2:3700
-822:2:3705
-823:2:3706
-824:2:3717
-825:2:3718
-826:2:3719
-827:2:3717
-828:2:3718
-829:2:3719
-830:2:3730
-831:2:3740
-832:2:3741
-833:0:4649
-834:2:2887
-835:0:4649
-836:2:3750
-837:2:3751
-838:0:4649
-839:2:2887
-840:0:4649
-841:2:3479
-842:2:3480
-843:2:3484
-844:2:3485
-845:2:3493
-846:2:3494
-847:2:3498
-848:2:3499
-849:2:3507
-850:2:3512
-851:2:3516
-852:2:3517
-853:2:3525
-854:2:3526
-855:2:3527
-856:2:3525
-857:2:3526
-858:2:3530
-859:2:3531
-860:2:3539
-861:2:3544
-862:2:3545
-863:2:3556
-864:2:3557
-865:2:3558
-866:2:3569
-867:2:3574
-868:2:3575
-869:2:3586
-870:2:3587
-871:2:3588
-872:2:3586
-873:2:3587
-874:2:3588
-875:2:3599
-876:2:3606
-877:0:4649
-878:2:2887
-879:0:4649
-880:2:3755
-881:0:4649
-882:2:3763
-883:0:4649
-884:2:3764
-885:0:4649
-886:2:3769
-887:0:4649
-888:1:2
-889:0:4649
-890:2:3770
-891:0:4649
-892:1:8
-893:0:4649
-894:2:3769
-895:0:4649
-896:1:9
-897:0:4649
-898:2:3770
-899:0:4649
-900:1:10
-901:0:4649
-902:2:3769
-903:0:4649
-904:1:11
-905:0:4649
-906:2:3770
-907:0:4649
-908:1:12
-909:0:4649
-910:2:3769
-911:0:4649
-912:1:13
-913:0:4649
-914:2:3770
-915:0:4649
-916:1:14
-917:0:4649
-918:2:3769
-919:0:4649
-920:1:15
-921:0:4649
-922:2:3770
-923:0:4649
-924:1:16
-925:0:4649
-926:2:3769
-927:0:4649
-928:1:17
-929:0:4649
-930:2:3770
-931:0:4649
-932:1:18
-933:0:4649
-934:2:3769
-935:0:4649
-936:1:19
-937:0:4649
-938:2:3770
-939:0:4649
-940:1:20
-941:0:4649
-942:2:3769
-943:0:4649
-944:1:21
-945:0:4649
-946:2:3770
-947:0:4649
-948:1:122
-949:0:4649
-950:2:3769
-951:0:4649
-952:1:124
-953:0:4649
-954:2:3770
-955:0:4649
-956:1:23
-957:0:4649
-958:2:3769
-959:0:4649
-960:1:130
-961:1:131
-962:1:135
-963:1:136
-964:1:144
-965:1:145
-966:1:149
-967:1:150
-968:1:158
-969:1:163
-970:1:167
-971:1:168
-972:1:176
-973:1:177
-974:1:181
-975:1:182
-976:1:176
-977:1:177
-978:1:181
-979:1:182
-980:1:190
-981:1:195
-982:1:196
-983:1:207
-984:1:208
-985:1:209
-986:1:220
-987:1:232
-988:1:233
-989:1:237
-990:1:238
-991:1:239
-992:1:237
-993:1:238
-994:1:239
-995:1:250
-996:0:4649
-997:2:3770
-998:0:4649
-999:1:19
-1000:0:4649
-1001:2:3769
-1002:0:4649
-1003:1:20
-1004:0:4649
-1005:2:3770
-1006:0:4649
-1007:1:21
-1008:0:4649
-1009:2:3769
-1010:0:4649
-1011:1:122
-1012:0:4649
-1013:2:3770
-1014:0:4649
-1015:1:124
-1016:0:4649
-1017:2:3769
-1018:0:4649
-1019:1:23
-1020:0:4649
-1021:2:3770
-1022:0:4649
-1023:1:259
-1024:1:260
-1025:0:4649
-1026:2:3769
-1027:0:4649
-1028:1:19
-1029:0:4649
-1030:2:3770
-1031:0:4649
-1032:1:20
-1033:0:4649
-1034:2:3769
-1035:0:4649
-1036:1:21
-1037:0:4649
-1038:2:3770
-1039:0:4649
-1040:1:122
-1041:0:4649
-1042:2:3769
-1043:0:4649
-1044:1:124
-1045:0:4649
-1046:2:3770
-1047:0:4649
-1048:1:23
-1049:0:4649
-1050:2:3769
-1051:0:4649
-1052:1:266
-1053:1:267
-1054:1:271
-1055:1:272
-1056:1:280
-1057:1:281
-1058:1:285
-1059:1:286
-1060:1:294
-1061:1:299
-1062:1:303
-1063:1:304
-1064:1:312
-1065:1:313
-1066:1:317
-1067:1:318
-1068:1:312
-1069:1:313
-1070:1:317
-1071:1:318
-1072:1:326
-1073:1:331
-1074:1:332
-1075:1:343
-1076:1:344
-1077:1:345
-1078:1:356
-1079:1:368
-1080:1:369
-1081:1:373
-1082:1:374
-1083:1:375
-1084:1:373
-1085:1:374
-1086:1:375
-1087:1:386
-1088:0:4649
-1089:2:3770
-1090:0:4649
-1091:1:19
-1092:0:4649
-1093:2:3769
-1094:0:4649
-1095:1:20
-1096:0:4649
-1097:2:3770
-1098:0:4649
-1099:1:21
-1100:0:4649
-1101:2:3769
-1102:0:4649
-1103:1:122
-1104:0:4649
-1105:2:3770
-1106:0:4649
-1107:1:124
-1108:0:4649
-1109:2:3769
-1110:0:4649
-1111:1:23
-1112:0:4649
-1113:2:3770
-1114:0:4649
-1115:1:395
-1116:1:396
-1117:1:400
-1118:1:401
-1119:1:409
-1120:1:410
-1121:1:414
-1122:1:415
-1123:1:423
-1124:1:428
-1125:1:432
-1126:1:433
-1127:1:441
-1128:1:442
-1129:1:446
-1130:1:447
-1131:1:441
-1132:1:442
-1133:1:446
-1134:1:447
-1135:1:455
-1136:1:460
-1137:1:461
-1138:1:472
-1139:1:473
-1140:1:474
-1141:1:485
-1142:1:497
-1143:1:498
-1144:1:502
-1145:1:503
-1146:1:504
-1147:1:502
-1148:1:503
-1149:1:504
-1150:1:515
-1151:1:522
-1152:0:4649
-1153:2:3769
-1154:0:4649
-1155:1:19
-1156:0:4649
-1157:2:3770
-1158:0:4649
-1159:1:20
-1160:0:4649
-1161:2:3769
-1162:0:4649
-1163:1:21
-1164:0:4649
-1165:2:3770
-1166:0:4649
-1167:1:122
-1168:0:4649
-1169:2:3769
-1170:0:4649
-1171:1:124
-1172:0:4649
-1173:2:3770
-1174:0:4649
-1175:1:23
-1176:0:4649
-1177:2:3769
-1178:0:4649
-1179:1:660
-1180:1:661
-1181:1:665
-1182:1:666
-1183:1:674
-1184:1:675
-1185:1:676
-1186:1:688
-1187:1:693
-1188:1:697
-1189:1:698
-1190:1:706
-1191:1:707
-1192:1:711
-1193:1:712
-1194:1:706
-1195:1:707
-1196:1:711
-1197:1:712
-1198:1:720
-1199:1:725
-1200:1:726
-1201:1:737
-1202:1:738
-1203:1:739
-1204:1:750
-1205:1:762
-1206:1:763
-1207:1:767
-1208:1:768
-1209:1:769
-1210:1:767
-1211:1:768
-1212:1:769
-1213:1:780
-1214:0:4649
-1215:2:3770
-1216:0:4649
-1217:1:19
-1218:0:4649
-1219:2:3769
-1220:0:4649
-1221:1:20
-1222:0:4649
-1223:2:3770
-1224:0:4649
-1225:1:21
-1226:0:4649
-1227:2:3769
-1228:0:4649
-1229:1:122
-1230:0:4649
-1231:2:3770
-1232:0:4649
-1233:1:124
-1234:0:4649
-1235:2:3769
-1236:0:4649
-1237:1:23
-1238:0:4649
-1239:2:3770
-1240:0:4649
-1241:1:789
-1242:1:792
-1243:1:793
-1244:0:4649
-1245:2:3769
-1246:0:4649
-1247:1:19
-1248:0:4649
-1249:2:3770
-1250:0:4649
-1251:1:20
-1252:0:4649
-1253:2:3769
-1254:0:4649
-1255:1:21
-1256:0:4649
-1257:2:3770
-1258:0:4649
-1259:1:122
-1260:0:4649
-1261:2:3769
-1262:0:4649
-1263:1:124
-1264:0:4649
-1265:2:3770
-1266:0:4649
-1267:1:23
-1268:0:4649
-1269:2:3769
-1270:0:4649
-1271:1:1056
-1272:1:1057
-1273:1:1061
-1274:1:1062
-1275:1:1070
-1276:1:1071
-1277:1:1075
-1278:1:1076
-1279:1:1084
-1280:1:1089
-1281:1:1093
-1282:1:1094
-1283:1:1102
-1284:1:1103
-1285:1:1107
-1286:1:1108
-1287:1:1102
-1288:1:1103
-1289:1:1107
-1290:1:1108
-1291:1:1116
-1292:1:1121
-1293:1:1122
-1294:1:1133
-1295:1:1134
-1296:1:1135
-1297:1:1146
-1298:1:1158
-1299:1:1159
-1300:1:1163
-1301:1:1164
-1302:1:1165
-1303:1:1163
-1304:1:1164
-1305:1:1165
-1306:1:1176
-1307:1:1183
-1308:1:1187
-1309:0:4649
-1310:2:3770
-1311:0:4649
-1312:1:19
-1313:0:4649
-1314:2:3769
-1315:0:4649
-1316:1:20
-1317:0:4649
-1318:2:3770
-1319:0:4649
-1320:1:21
-1321:0:4649
-1322:2:3769
-1323:0:4649
-1324:1:122
-1325:0:4649
-1326:2:3770
-1327:0:4649
-1328:1:124
-1329:0:4649
-1330:2:3769
-1331:0:4649
-1332:1:23
-1333:0:4649
-1334:2:3770
-1335:0:4649
-1336:1:1188
-1337:1:1189
-1338:1:1193
-1339:1:1194
-1340:1:1202
-1341:1:1203
-1342:1:1204
-1343:1:1216
-1344:1:1221
-1345:1:1225
-1346:1:1226
-1347:1:1234
-1348:1:1235
-1349:1:1239
-1350:1:1240
-1351:1:1234
-1352:1:1235
-1353:1:1239
-1354:1:1240
-1355:1:1248
-1356:1:1253
-1357:1:1254
-1358:1:1265
-1359:1:1266
-1360:1:1267
-1361:1:1278
-1362:1:1290
-1363:1:1291
-1364:1:1295
-1365:1:1296
-1366:1:1297
-1367:1:1295
-1368:1:1296
-1369:1:1297
-1370:1:1308
-1371:0:4649
-1372:2:3769
-1373:0:4649
-1374:1:19
-1375:0:4649
-1376:2:3770
-1377:0:4649
-1378:1:20
-1379:0:4649
-1380:2:3769
-1381:0:4649
-1382:1:21
-1383:0:4649
-1384:2:3770
-1385:0:4649
-1386:1:122
-1387:0:4649
-1388:2:3769
-1389:0:4649
-1390:1:124
-1391:0:4649
-1392:2:3770
-1393:0:4649
-1394:1:23
-1395:0:4649
-1396:2:3769
-1397:0:4649
-1398:1:1317
-1399:0:4649
-1400:2:3770
-1401:0:4649
-1402:1:2781
-1403:1:2788
-1404:1:2789
-1405:1:2796
-1406:1:2801
-1407:1:2808
-1408:1:2809
-1409:1:2808
-1410:1:2809
-1411:1:2816
-1412:1:2820
-1413:0:4649
-1414:2:3769
-1415:0:4649
-1416:1:1319
-1417:1:1320
-1418:0:4647
-1419:2:3770
-1420:0:4653
-1421:1:2465