Cleanup verif directory.

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

diff --git a/formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_mb.spin.input.trail b/formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_mb.spin.input.trail
deleted file mode 100644 (file)
index bf64078..0000000
--- a/formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_mb.spin.input.trail
+++ /dev/null
@@ -1,1304 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4181
-2:3:4101
-3:3:4104
-4:3:4104
-5:3:4107
-6:3:4115
-7:3:4115
-8:3:4118
-9:3:4124
-10:3:4128
-11:3:4128
-12:3:4131
-13:3:4141
-14:3:4149
-15:3:4149
-16:3:4152
-17:3:4158
-18:3:4162
-19:3:4162
-20:3:4165
-21:3:4171
-22:3:4175
-23:3:4176
-24:0:4181
-25:3:4178
-26:0:4181
-27:2:2515
-28:0:4181
-29:2:2521
-30:0:4181
-31:2:2522
-32:0:4181
-33:2:2524
-34:0:4181
-35:2:2525
-36:0:4181
-37:2:2526
-38:0:4181
-39:2:2527
-40:0:4181
-41:2:2528
-42:2:2529
-43:2:2533
-44:2:2534
-45:2:2542
-46:2:2543
-47:2:2547
-48:2:2548
-49:2:2556
-50:2:2561
-51:2:2565
-52:2:2566
-53:2:2574
-54:2:2575
-55:2:2579
-56:2:2580
-57:2:2574
-58:2:2575
-59:2:2579
-60:2:2580
-61:2:2588
-62:2:2593
-63:2:2600
-64:2:2601
-65:2:2608
-66:2:2613
-67:2:2620
-68:2:2621
-69:2:2620
-70:2:2621
-71:2:2628
-72:2:2638
-73:0:4181
-74:2:2527
-75:0:4181
-76:2:2642
-77:2:2646
-78:2:2647
-79:2:2651
-80:2:2655
-81:2:2656
-82:2:2660
-83:2:2668
-84:2:2669
-85:2:2673
-86:2:2677
-87:2:2678
-88:2:2673
-89:2:2674
-90:2:2682
-91:0:4181
-92:2:2527
-93:0:4181
-94:2:2690
-95:2:2691
-96:2:2692
-97:0:4181
-98:2:2527
-99:0:4181
-100:2:2700
-101:0:4181
-102:2:2527
-103:0:4181
-104:2:2703
-105:2:2704
-106:2:2708
-107:2:2709
-108:2:2717
-109:2:2718
-110:2:2722
-111:2:2723
-112:2:2731
-113:2:2736
-114:2:2737
-115:2:2749
-116:2:2750
-117:2:2754
-118:2:2755
-119:2:2749
-120:2:2750
-121:2:2754
-122:2:2755
-123:2:2763
-124:2:2768
-125:2:2775
-126:2:2776
-127:2:2783
-128:2:2788
-129:2:2795
-130:2:2796
-131:2:2795
-132:2:2796
-133:2:2803
-134:2:2812
-135:0:4181
-136:2:2527
-137:0:4181
-138:2:2816
-139:2:2817
-140:2:2818
-141:2:2830
-142:2:2831
-143:2:2835
-144:2:2836
-145:2:2844
-146:2:2849
-147:2:2853
-148:2:2854
-149:2:2862
-150:2:2863
-151:2:2867
-152:2:2868
-153:2:2862
-154:2:2863
-155:2:2867
-156:2:2868
-157:2:2876
-158:2:2881
-159:2:2888
-160:2:2889
-161:2:2896
-162:2:2901
-163:2:2908
-164:2:2909
-165:2:2908
-166:2:2909
-167:2:2916
-168:2:2929
-169:2:2930
-170:0:4181
-171:2:2527
-172:0:4181
-173:2:2936
-174:2:2937
-175:2:2941
-176:2:2942
-177:2:2950
-178:2:2951
-179:2:2955
-180:2:2956
-181:2:2964
-182:2:2969
-183:2:2973
-184:2:2974
-185:2:2982
-186:2:2983
-187:2:2987
-188:2:2988
-189:2:2982
-190:2:2983
-191:2:2987
-192:2:2988
-193:2:2996
-194:2:3001
-195:2:3008
-196:2:3009
-197:2:3016
-198:2:3021
-199:2:3028
-200:2:3029
-201:2:3028
-202:2:3029
-203:2:3036
-204:0:4181
-205:2:2527
-206:0:4181
-207:2:3047
-208:2:3048
-209:2:3052
-210:2:3053
-211:2:3061
-212:2:3062
-213:2:3066
-214:2:3067
-215:2:3075
-216:2:3080
-217:2:3084
-218:2:3085
-219:2:3093
-220:2:3094
-221:2:3098
-222:2:3099
-223:2:3093
-224:2:3094
-225:2:3098
-226:2:3099
-227:2:3107
-228:2:3112
-229:2:3119
-230:2:3120
-231:2:3127
-232:2:3132
-233:2:3139
-234:2:3140
-235:2:3139
-236:2:3140
-237:2:3147
-238:2:3156
-239:0:4181
-240:2:2527
-241:0:4181
-242:2:3160
-243:2:3161
-244:2:3162
-245:2:3174
-246:2:3175
-247:2:3179
-248:2:3180
-249:2:3188
-250:2:3193
-251:2:3197
-252:2:3198
-253:2:3206
-254:2:3207
-255:2:3211
-256:2:3212
-257:2:3206
-258:2:3207
-259:2:3211
-260:2:3212
-261:2:3220
-262:2:3225
-263:2:3232
-264:2:3233
-265:2:3240
-266:2:3245
-267:2:3252
-268:2:3253
-269:2:3252
-270:2:3253
-271:2:3260
-272:2:3272
-273:2:3273
-274:0:4181
-275:2:2527
-276:0:4181
-277:2:3282
-278:2:3283
-279:0:4181
-280:2:2527
-281:0:4181
-282:2:3287
-283:0:4181
-284:2:3295
-285:0:4181
-286:2:2522
-287:0:4181
-288:2:2524
-289:0:4181
-290:2:2525
-291:0:4181
-292:2:2526
-293:0:4181
-294:2:2527
-295:0:4181
-296:2:2528
-297:2:2529
-298:2:2533
-299:2:2534
-300:2:2542
-301:2:2543
-302:2:2547
-303:2:2548
-304:2:2556
-305:2:2561
-306:2:2565
-307:2:2566
-308:2:2574
-309:2:2575
-310:2:2576
-311:2:2574
-312:2:2575
-313:2:2579
-314:2:2580
-315:2:2588
-316:2:2593
-317:2:2600
-318:2:2601
-319:2:2608
-320:2:2613
-321:2:2620
-322:2:2621
-323:2:2620
-324:2:2621
-325:2:2628
-326:2:2638
-327:0:4181
-328:2:2527
-329:0:4181
-330:2:2642
-331:2:2646
-332:2:2647
-333:2:2651
-334:2:2655
-335:2:2656
-336:2:2660
-337:2:2668
-338:2:2669
-339:2:2673
-340:2:2674
-341:2:2673
-342:2:2677
-343:2:2678
-344:2:2682
-345:0:4181
-346:2:2527
-347:0:4181
-348:2:2690
-349:2:2691
-350:2:2692
-351:0:4181
-352:2:2527
-353:0:4181
-354:2:2700
-355:0:4181
-356:2:2527
-357:0:4181
-358:2:2703
-359:2:2704
-360:2:2708
-361:2:2709
-362:2:2717
-363:2:2718
-364:2:2722
-365:2:2723
-366:2:2731
-367:2:2736
-368:2:2737
-369:2:2749
-370:2:2750
-371:2:2754
-372:2:2755
-373:2:2749
-374:2:2750
-375:2:2754
-376:2:2755
-377:2:2763
-378:2:2768
-379:2:2775
-380:2:2776
-381:2:2783
-382:2:2788
-383:2:2795
-384:2:2796
-385:2:2795
-386:2:2796
-387:2:2803
-388:2:2812
-389:0:4181
-390:2:2527
-391:0:4181
-392:2:2816
-393:2:2817
-394:2:2818
-395:2:2830
-396:2:2831
-397:2:2835
-398:2:2836
-399:2:2844
-400:2:2849
-401:2:2853
-402:2:2854
-403:2:2862
-404:2:2863
-405:2:2867
-406:2:2868
-407:2:2862
-408:2:2863
-409:2:2867
-410:2:2868
-411:2:2876
-412:2:2881
-413:2:2888
-414:2:2889
-415:2:2896
-416:2:2901
-417:2:2908
-418:2:2909
-419:2:2908
-420:2:2909
-421:2:2916
-422:2:2929
-423:2:2930
-424:0:4181
-425:2:2527
-426:0:4181
-427:2:2936
-428:2:2937
-429:2:2941
-430:2:2942
-431:2:2950
-432:2:2951
-433:2:2955
-434:2:2956
-435:2:2964
-436:2:2969
-437:2:2973
-438:2:2974
-439:2:2982
-440:2:2983
-441:2:2987
-442:2:2988
-443:2:2982
-444:2:2983
-445:2:2987
-446:2:2988
-447:2:2996
-448:2:3001
-449:2:3008
-450:2:3009
-451:2:3016
-452:2:3021
-453:2:3028
-454:2:3029
-455:2:3028
-456:2:3029
-457:2:3036
-458:0:4181
-459:2:2527
-460:0:4181
-461:2:3047
-462:2:3048
-463:2:3052
-464:2:3053
-465:2:3061
-466:2:3062
-467:2:3066
-468:2:3067
-469:2:3075
-470:2:3080
-471:2:3084
-472:2:3085
-473:2:3093
-474:2:3094
-475:2:3098
-476:2:3099
-477:2:3093
-478:2:3094
-479:2:3098
-480:2:3099
-481:2:3107
-482:2:3112
-483:2:3119
-484:2:3120
-485:2:3127
-486:2:3132
-487:2:3139
-488:2:3140
-489:2:3139
-490:2:3140
-491:2:3147
-492:2:3156
-493:0:4181
-494:2:2527
-495:0:4181
-496:2:3160
-497:2:3161
-498:2:3162
-499:2:3174
-500:2:3175
-501:2:3179
-502:2:3180
-503:2:3188
-504:2:3193
-505:2:3197
-506:2:3198
-507:2:3206
-508:2:3207
-509:2:3211
-510:2:3212
-511:2:3206
-512:2:3207
-513:2:3211
-514:2:3212
-515:2:3220
-516:2:3225
-517:2:3232
-518:2:3233
-519:2:3240
-520:2:3245
-521:2:3252
-522:2:3253
-523:2:3252
-524:2:3253
-525:2:3260
-526:2:3272
-527:2:3273
-528:0:4181
-529:2:2527
-530:0:4181
-531:2:3282
-532:2:3283
-533:0:4181
-534:2:2527
-535:0:4181
-536:2:3287
-537:0:4181
-538:2:3295
-539:0:4181
-540:2:2522
-541:0:4181
-542:2:2524
-543:0:4181
-544:2:2525
-545:0:4181
-546:2:2526
-547:0:4181
-548:2:2527
-549:0:4181
-550:2:2528
-551:2:2529
-552:2:2533
-553:2:2534
-554:2:2542
-555:2:2543
-556:2:2547
-557:2:2548
-558:2:2556
-559:2:2561
-560:2:2565
-561:2:2566
-562:2:2574
-563:2:2575
-564:2:2579
-565:2:2580
-566:2:2574
-567:2:2575
-568:2:2576
-569:2:2588
-570:2:2593
-571:2:2600
-572:2:2601
-573:2:2608
-574:2:2613
-575:2:2620
-576:2:2621
-577:2:2620
-578:2:2621
-579:2:2628
-580:2:2638
-581:0:4181
-582:2:2527
-583:0:4181
-584:2:2642
-585:2:2646
-586:2:2647
-587:2:2651
-588:2:2655
-589:2:2656
-590:2:2660
-591:2:2668
-592:2:2669
-593:2:2673
-594:2:2677
-595:2:2678
-596:2:2673
-597:2:2674
-598:2:2682
-599:0:4181
-600:2:2527
-601:0:4181
-602:2:2690
-603:2:2691
-604:2:2692
-605:0:4181
-606:2:2527
-607:0:4181
-608:2:2700
-609:0:4181
-610:2:2527
-611:0:4181
-612:2:2703
-613:2:2704
-614:2:2708
-615:2:2709
-616:2:2717
-617:2:2718
-618:2:2722
-619:2:2723
-620:2:2731
-621:2:2744
-622:2:2745
-623:2:2749
-624:2:2750
-625:2:2754
-626:2:2755
-627:2:2749
-628:2:2750
-629:2:2754
-630:2:2755
-631:2:2763
-632:2:2768
-633:2:2775
-634:2:2776
-635:2:2783
-636:2:2790
-637:2:2791
-638:2:2795
-639:2:2796
-640:2:2795
-641:2:2796
-642:2:2803
-643:2:2812
-644:0:4181
-645:2:2527
-646:0:4181
-647:2:2816
-648:2:2817
-649:2:2818
-650:2:2830
-651:2:2831
-652:2:2835
-653:2:2836
-654:2:2844
-655:2:2857
-656:2:2858
-657:2:2862
-658:2:2863
-659:2:2867
-660:2:2868
-661:2:2862
-662:2:2863
-663:2:2867
-664:2:2868
-665:2:2876
-666:2:2881
-667:2:2888
-668:2:2889
-669:2:2896
-670:2:2903
-671:2:2904
-672:2:2908
-673:2:2909
-674:2:2908
-675:2:2909
-676:2:2916
-677:2:2929
-678:2:2930
-679:0:4181
-680:2:2527
-681:0:4181
-682:2:2936
-683:2:2937
-684:2:2941
-685:2:2942
-686:2:2950
-687:2:2951
-688:2:2955
-689:2:2956
-690:2:2964
-691:2:2977
-692:2:2978
-693:2:2982
-694:2:2983
-695:2:2987
-696:2:2988
-697:2:2982
-698:2:2983
-699:2:2987
-700:2:2988
-701:2:2996
-702:2:3001
-703:2:3008
-704:2:3009
-705:2:3016
-706:2:3023
-707:2:3024
-708:2:3028
-709:2:3029
-710:2:3028
-711:2:3029
-712:2:3036
-713:0:4181
-714:2:2527
-715:0:4181
-716:2:3160
-717:2:3161
-718:2:3165
-719:2:3166
-720:2:3174
-721:2:3175
-722:2:3179
-723:2:3180
-724:2:3188
-725:2:3201
-726:2:3202
-727:2:3206
-728:2:3207
-729:2:3211
-730:2:3212
-731:2:3206
-732:2:3207
-733:2:3211
-734:2:3212
-735:2:3220
-736:2:3225
-737:2:3232
-738:2:3233
-739:2:3240
-740:2:3247
-741:2:3248
-742:2:3252
-743:2:3253
-744:2:3252
-745:2:3253
-746:2:3260
-747:2:3272
-748:2:3273
-749:0:4181
-750:2:2527
-751:0:4181
-752:2:3282
-753:2:3283
-754:0:4181
-755:2:2527
-756:0:4181
-757:2:3047
-758:2:3048
-759:2:3052
-760:2:3053
-761:2:3061
-762:2:3062
-763:2:3066
-764:2:3067
-765:2:3075
-766:2:3088
-767:2:3089
-768:2:3093
-769:2:3094
-770:2:3095
-771:2:3093
-772:2:3094
-773:2:3098
-774:2:3099
-775:2:3107
-776:2:3112
-777:2:3119
-778:2:3120
-779:2:3127
-780:2:3134
-781:2:3135
-782:2:3139
-783:2:3140
-784:2:3139
-785:2:3140
-786:2:3147
-787:2:3156
-788:0:4181
-789:2:2527
-790:0:4181
-791:2:3287
-792:0:4181
-793:2:3295
-794:0:4181
-795:2:3296
-796:0:4181
-797:2:3301
-798:0:4181
-799:1:2
-800:0:4181
-801:2:3302
-802:0:4181
-803:1:8
-804:0:4181
-805:2:3301
-806:0:4181
-807:1:9
-808:0:4181
-809:2:3302
-810:0:4181
-811:1:10
-812:0:4181
-813:2:3301
-814:0:4181
-815:1:11
-816:0:4181
-817:2:3302
-818:0:4181
-819:1:12
-820:0:4181
-821:2:3301
-822:0:4181
-823:1:13
-824:0:4181
-825:2:3302
-826:0:4181
-827:1:14
-828:0:4181
-829:2:3301
-830:0:4181
-831:1:15
-832:0:4181
-833:2:3302
-834:0:4181
-835:1:16
-836:0:4181
-837:2:3301
-838:0:4181
-839:1:17
-840:0:4181
-841:2:3302
-842:0:4181
-843:1:18
-844:0:4181
-845:2:3301
-846:0:4181
-847:1:19
-848:0:4181
-849:2:3302
-850:0:4181
-851:1:20
-852:0:4181
-853:2:3301
-854:0:4181
-855:1:21
-856:0:4181
-857:2:3302
-858:0:4181
-859:1:122
-860:0:4181
-861:2:3301
-862:0:4181
-863:1:124
-864:0:4181
-865:2:3302
-866:0:4181
-867:1:23
-868:0:4181
-869:2:3301
-870:0:4181
-871:1:130
-872:1:131
-873:1:135
-874:1:136
-875:1:144
-876:1:145
-877:1:149
-878:1:150
-879:1:158
-880:1:163
-881:1:167
-882:1:168
-883:1:176
-884:1:177
-885:1:181
-886:1:182
-887:1:176
-888:1:177
-889:1:181
-890:1:182
-891:1:190
-892:1:195
-893:1:202
-894:1:203
-895:1:210
-896:1:215
-897:1:222
-898:1:223
-899:1:222
-900:1:223
-901:1:230
-902:0:4181
-903:2:3302
-904:0:4181
-905:1:19
-906:0:4181
-907:2:3301
-908:0:4181
-909:1:20
-910:0:4181
-911:2:3302
-912:0:4181
-913:1:21
-914:0:4181
-915:2:3301
-916:0:4181
-917:1:122
-918:0:4181
-919:2:3302
-920:0:4181
-921:1:124
-922:0:4181
-923:2:3301
-924:0:4181
-925:1:23
-926:0:4181
-927:2:3302
-928:0:4181
-929:1:241
-930:1:242
-931:0:4181
-932:2:3301
-933:0:4181
-934:1:19
-935:0:4181
-936:2:3302
-937:0:4181
-938:1:20
-939:0:4181
-940:2:3301
-941:0:4181
-942:1:21
-943:0:4181
-944:2:3302
-945:0:4181
-946:1:122
-947:0:4181
-948:2:3301
-949:0:4181
-950:1:124
-951:0:4181
-952:2:3302
-953:0:4181
-954:1:23
-955:0:4181
-956:2:3301
-957:0:4181
-958:1:248
-959:1:249
-960:1:253
-961:1:254
-962:1:262
-963:1:263
-964:1:267
-965:1:268
-966:1:276
-967:1:281
-968:1:285
-969:1:286
-970:1:294
-971:1:295
-972:1:299
-973:1:300
-974:1:294
-975:1:295
-976:1:299
-977:1:300
-978:1:308
-979:1:313
-980:1:320
-981:1:321
-982:1:328
-983:1:333
-984:1:340
-985:1:341
-986:1:340
-987:1:341
-988:1:348
-989:0:4181
-990:2:3302
-991:0:4181
-992:1:19
-993:0:4181
-994:2:3301
-995:0:4181
-996:1:20
-997:0:4181
-998:2:3302
-999:0:4181
-1000:1:21
-1001:0:4181
-1002:2:3301
-1003:0:4181
-1004:1:122
-1005:0:4181
-1006:2:3302
-1007:0:4181
-1008:1:124
-1009:0:4181
-1010:2:3301
-1011:0:4181
-1012:1:23
-1013:0:4181
-1014:2:3302
-1015:0:4181
-1016:1:359
-1017:1:360
-1018:1:364
-1019:1:365
-1020:1:373
-1021:1:374
-1022:1:378
-1023:1:379
-1024:1:387
-1025:1:392
-1026:1:396
-1027:1:397
-1028:1:405
-1029:1:406
-1030:1:410
-1031:1:411
-1032:1:405
-1033:1:406
-1034:1:410
-1035:1:411
-1036:1:419
-1037:1:424
-1038:1:431
-1039:1:432
-1040:1:439
-1041:1:444
-1042:1:451
-1043:1:452
-1044:1:451
-1045:1:452
-1046:1:459
-1047:1:468
-1048:0:4181
-1049:2:3301
-1050:0:4181
-1051:1:19
-1052:0:4181
-1053:2:3302
-1054:0:4181
-1055:1:20
-1056:0:4181
-1057:2:3301
-1058:0:4181
-1059:1:21
-1060:0:4181
-1061:2:3302
-1062:0:4181
-1063:1:122
-1064:0:4181
-1065:2:3301
-1066:0:4181
-1067:1:124
-1068:0:4181
-1069:2:3302
-1070:0:4181
-1071:1:23
-1072:0:4181
-1073:2:3301
-1074:0:4181
-1075:1:588
-1076:1:589
-1077:1:593
-1078:1:594
-1079:1:602
-1080:1:603
-1081:1:604
-1082:1:616
-1083:1:621
-1084:1:625
-1085:1:626
-1086:1:634
-1087:1:635
-1088:1:639
-1089:1:640
-1090:1:634
-1091:1:635
-1092:1:639
-1093:1:640
-1094:1:648
-1095:1:653
-1096:1:660
-1097:1:661
-1098:1:668
-1099:1:673
-1100:1:680
-1101:1:681
-1102:1:680
-1103:1:681
-1104:1:688
-1105:0:4181
-1106:2:3302
-1107:0:4181
-1108:1:19
-1109:0:4181
-1110:2:3301
-1111:0:4181
-1112:1:20
-1113:0:4181
-1114:2:3302
-1115:0:4181
-1116:1:21
-1117:0:4181
-1118:2:3301
-1119:0:4181
-1120:1:122
-1121:0:4181
-1122:2:3302
-1123:0:4181
-1124:1:124
-1125:0:4181
-1126:2:3301
-1127:0:4181
-1128:1:23
-1129:0:4181
-1130:2:3302
-1131:0:4181
-1132:1:699
-1133:1:702
-1134:1:703
-1135:0:4181
-1136:2:3301
-1137:0:4181
-1138:1:19
-1139:0:4181
-1140:2:3302
-1141:0:4181
-1142:1:20
-1143:0:4181
-1144:2:3301
-1145:0:4181
-1146:1:21
-1147:0:4181
-1148:2:3302
-1149:0:4181
-1150:1:122
-1151:0:4181
-1152:2:3301
-1153:0:4181
-1154:1:124
-1155:0:4181
-1156:2:3302
-1157:0:4181
-1158:1:23
-1159:0:4181
-1160:2:3301
-1161:0:4181
-1162:1:930
-1163:1:931
-1164:1:935
-1165:1:936
-1166:1:944
-1167:1:945
-1168:1:949
-1169:1:950
-1170:1:958
-1171:1:963
-1172:1:967
-1173:1:968
-1174:1:976
-1175:1:977
-1176:1:981
-1177:1:982
-1178:1:976
-1179:1:977
-1180:1:981
-1181:1:982
-1182:1:990
-1183:1:995
-1184:1:1002
-1185:1:1003
-1186:1:1010
-1187:1:1015
-1188:1:1022
-1189:1:1023
-1190:1:1022
-1191:1:1023
-1192:1:1030
-1193:1:1039
-1194:1:1043
-1195:0:4181
-1196:2:3302
-1197:0:4181
-1198:1:19
-1199:0:4181
-1200:2:3301
-1201:0:4181
-1202:1:20
-1203:0:4181
-1204:2:3302
-1205:0:4181
-1206:1:21
-1207:0:4181
-1208:2:3301
-1209:0:4181
-1210:1:122
-1211:0:4181
-1212:2:3302
-1213:0:4181
-1214:1:124
-1215:0:4181
-1216:2:3301
-1217:0:4181
-1218:1:23
-1219:0:4181
-1220:2:3302
-1221:0:4181
-1222:1:1044
-1223:1:1045
-1224:1:1049
-1225:1:1050
-1226:1:1058
-1227:1:1059
-1228:1:1060
-1229:1:1072
-1230:1:1077
-1231:1:1081
-1232:1:1082
-1233:1:1090
-1234:1:1091
-1235:1:1095
-1236:1:1096
-1237:1:1090
-1238:1:1091
-1239:1:1095
-1240:1:1096
-1241:1:1104
-1242:1:1109
-1243:1:1116
-1244:1:1117
-1245:1:1124
-1246:1:1129
-1247:1:1136
-1248:1:1137
-1249:1:1136
-1250:1:1137
-1251:1:1144
-1252:0:4181
-1253:2:3301
-1254:0:4181
-1255:1:19
-1256:0:4181
-1257:2:3302
-1258:0:4181
-1259:1:20
-1260:0:4181
-1261:2:3301
-1262:0:4181
-1263:1:21
-1264:0:4181
-1265:2:3302
-1266:0:4181
-1267:1:122
-1268:0:4181
-1269:2:3301
-1270:0:4181
-1271:1:124
-1272:0:4181
-1273:2:3302
-1274:0:4181
-1275:1:23
-1276:0:4181
-1277:2:3301
-1278:0:4181
-1279:1:1155
-1280:0:4181
-1281:2:3302
-1282:0:4181
-1283:1:2421
-1284:1:2428
-1285:1:2429
-1286:1:2436
-1287:1:2441
-1288:1:2448
-1289:1:2449
-1290:1:2448
-1291:1:2449
-1292:1:2456
-1293:1:2460
-1294:0:4181
-1295:2:3301
-1296:0:4181
-1297:1:1157
-1298:1:1158
-1299:0:4179
-1300:2:3302
-1301:0:4185
-1302:1:2110