X-Git-Url: http://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=formal-model%2Fresults%2Furcu-controldataflow-ipi-intel%2Furcu_free_no_wmb.spin.input.trail;fp=formal-model%2Fresults%2Furcu-controldataflow-ipi-intel%2Furcu_free_no_wmb.spin.input.trail;h=0000000000000000000000000000000000000000;hp=8c8735f334190018ed0f1bf5d69c8e75e4a8ad44;hb=8322221dc666e720badeb06bc780a1f8e69020a0;hpb=1d268896f82b053d886a4242433f3c2abcb5a203

diff --git a/formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_wmb.spin.input.trail b/formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_wmb.spin.input.trail
deleted file mode 100644
index 8c8735f..0000000
--- a/formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_no_wmb.spin.input.trail
+++ /dev/null
@@ -1,1390 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4176
-2:3:4096
-3:3:4099
-4:3:4099
-5:3:4102
-6:3:4110
-7:3:4110
-8:3:4113
-9:3:4119
-10:3:4123
-11:3:4123
-12:3:4126
-13:3:4136
-14:3:4144
-15:3:4144
-16:3:4147
-17:3:4153
-18:3:4157
-19:3:4157
-20:3:4160
-21:3:4166
-22:3:4170
-23:3:4171
-24:0:4176
-25:3:4173
-26:0:4176
-27:2:2511
-28:0:4176
-29:2:2517
-30:0:4176
-31:2:2518
-32:0:4176
-33:2:2520
-34:0:4176
-35:2:2521
-36:0:4176
-37:2:2522
-38:0:4176
-39:2:2523
-40:2:2524
-41:2:2528
-42:2:2529
-43:2:2537
-44:2:2538
-45:2:2542
-46:2:2543
-47:2:2551
-48:2:2556
-49:2:2560
-50:2:2561
-51:2:2569
-52:2:2570
-53:2:2574
-54:2:2575
-55:2:2569
-56:2:2570
-57:2:2574
-58:2:2575
-59:2:2583
-60:2:2588
-61:2:2595
-62:2:2596
-63:2:2603
-64:2:2608
-65:2:2615
-66:2:2616
-67:2:2615
-68:2:2616
-69:2:2623
-70:2:2633
-71:0:4176
-72:2:2522
-73:0:4176
-74:2:2685
-75:2:2686
-76:2:2687
-77:0:4176
-78:2:2522
-79:0:4176
-80:2:2692
-81:0:4176
-82:2:3305
-83:2:3306
-84:2:3310
-85:2:3314
-86:2:3315
-87:2:3319
-88:2:3324
-89:2:3332
-90:2:3336
-91:2:3337
-92:2:3332
-93:2:3333
-94:2:3341
-95:2:3348
-96:2:3355
-97:2:3356
-98:2:3363
-99:2:3368
-100:2:3375
-101:2:3376
-102:2:3375
-103:2:3376
-104:2:3383
-105:2:3387
-106:0:4176
-107:2:3392
-108:0:4176
-109:2:3393
-110:0:4176
-111:2:3394
-112:0:4176
-113:2:3395
-114:0:4176
-115:1:2
-116:0:4176
-117:2:3396
-118:0:4176
-119:1:8
-120:0:4176
-121:1:9
-122:0:4176
-123:2:3395
-124:0:4176
-125:1:10
-126:0:4176
-127:2:3396
-128:0:4176
-129:1:11
-130:0:4176
-131:2:3395
-132:0:4176
-133:1:12
-134:0:4176
-135:2:3396
-136:0:4176
-137:1:13
-138:0:4176
-139:2:3395
-140:0:4176
-141:1:14
-142:0:4176
-143:2:3396
-144:0:4176
-145:1:15
-146:0:4176
-147:1:16
-148:0:4176
-149:2:3395
-150:0:4176
-151:1:17
-152:0:4176
-153:2:3396
-154:0:4176
-155:1:26
-156:0:4176
-157:2:3395
-158:0:4176
-159:1:30
-160:1:31
-161:1:35
-162:1:39
-163:1:40
-164:1:44
-165:1:52
-166:1:53
-167:1:57
-168:1:61
-169:1:62
-170:1:57
-171:1:61
-172:1:62
-173:1:66
-174:1:73
-175:1:80
-176:1:81
-177:1:88
-178:1:93
-179:1:100
-180:1:101
-181:1:100
-182:1:101
-183:1:108
-184:1:112
-185:0:4176
-186:2:3396
-187:0:4176
-188:1:117
-189:0:4176
-190:2:3397
-191:0:4176
-192:2:3402
-193:0:4176
-194:2:3403
-195:0:4176
-196:2:3411
-197:2:3412
-198:2:3416
-199:2:3420
-200:2:3421
-201:2:3425
-202:2:3433
-203:2:3434
-204:2:3438
-205:2:3442
-206:2:3443
-207:2:3438
-208:2:3442
-209:2:3443
-210:2:3447
-211:2:3454
-212:2:3461
-213:2:3462
-214:2:3469
-215:2:3474
-216:2:3481
-217:2:3482
-218:2:3481
-219:2:3482
-220:2:3489
-221:2:3493
-222:0:4176
-223:2:2694
-224:2:3286
-225:0:4176
-226:2:2522
-227:0:4176
-228:2:2695
-229:0:4176
-230:2:2522
-231:0:4176
-232:2:2698
-233:2:2699
-234:2:2703
-235:2:2704
-236:2:2712
-237:2:2713
-238:2:2717
-239:2:2718
-240:2:2726
-241:2:2731
-242:2:2735
-243:2:2736
-244:2:2744
-245:2:2745
-246:2:2749
-247:2:2750
-248:2:2744
-249:2:2745
-250:2:2749
-251:2:2750
-252:2:2758
-253:2:2763
-254:2:2770
-255:2:2771
-256:2:2778
-257:2:2783
-258:2:2790
-259:2:2791
-260:2:2790
-261:2:2791
-262:2:2798
-263:2:2807
-264:0:4176
-265:2:2522
-266:0:4176
-267:2:2811
-268:2:2812
-269:2:2813
-270:2:2825
-271:2:2826
-272:2:2830
-273:2:2831
-274:2:2839
-275:2:2844
-276:2:2848
-277:2:2849
-278:2:2857
-279:2:2858
-280:2:2862
-281:2:2863
-282:2:2857
-283:2:2858
-284:2:2862
-285:2:2863
-286:2:2871
-287:2:2876
-288:2:2883
-289:2:2884
-290:2:2891
-291:2:2896
-292:2:2903
-293:2:2904
-294:2:2903
-295:2:2904
-296:2:2911
-297:2:2924
-298:2:2925
-299:0:4176
-300:2:2522
-301:0:4176
-302:2:2931
-303:2:2932
-304:2:2936
-305:2:2937
-306:2:2945
-307:2:2946
-308:2:2950
-309:2:2951
-310:2:2959
-311:2:2964
-312:2:2968
-313:2:2969
-314:2:2977
-315:2:2978
-316:2:2982
-317:2:2983
-318:2:2977
-319:2:2978
-320:2:2982
-321:2:2983
-322:2:2991
-323:2:2996
-324:2:3003
-325:2:3004
-326:2:3011
-327:2:3016
-328:2:3023
-329:2:3024
-330:2:3023
-331:2:3024
-332:2:3031
-333:0:4176
-334:2:2522
-335:0:4176
-336:2:3042
-337:2:3043
-338:2:3047
-339:2:3048
-340:2:3056
-341:2:3057
-342:2:3061
-343:2:3062
-344:2:3070
-345:2:3075
-346:2:3079
-347:2:3080
-348:2:3088
-349:2:3089
-350:2:3093
-351:2:3094
-352:2:3088
-353:2:3089
-354:2:3093
-355:2:3094
-356:2:3102
-357:2:3107
-358:2:3114
-359:2:3115
-360:2:3122
-361:2:3127
-362:2:3134
-363:2:3135
-364:2:3134
-365:2:3135
-366:2:3142
-367:2:3151
-368:0:4176
-369:2:2522
-370:0:4176
-371:2:3155
-372:2:3156
-373:2:3157
-374:2:3169
-375:2:3170
-376:2:3174
-377:2:3175
-378:2:3183
-379:2:3188
-380:2:3192
-381:2:3193
-382:2:3201
-383:2:3202
-384:2:3206
-385:2:3207
-386:2:3201
-387:2:3202
-388:2:3206
-389:2:3207
-390:2:3215
-391:2:3220
-392:2:3227
-393:2:3228
-394:2:3235
-395:2:3240
-396:2:3247
-397:2:3248
-398:2:3247
-399:2:3248
-400:2:3255
-401:2:3267
-402:2:3268
-403:0:4176
-404:2:2522
-405:0:4176
-406:2:3274
-407:0:4176
-408:2:3899
-409:2:3900
-410:2:3904
-411:2:3908
-412:2:3909
-413:2:3913
-414:2:3921
-415:2:3922
-416:2:3926
-417:2:3930
-418:2:3931
-419:2:3926
-420:2:3930
-421:2:3931
-422:2:3935
-423:2:3942
-424:2:3949
-425:2:3950
-426:2:3957
-427:2:3962
-428:2:3969
-429:2:3970
-430:2:3969
-431:2:3970
-432:2:3977
-433:2:3981
-434:0:4176
-435:2:3986
-436:0:4176
-437:2:3987
-438:0:4176
-439:2:3988
-440:0:4176
-441:2:3989
-442:0:4176
-443:1:26
-444:0:4176
-445:2:3990
-446:0:4176
-447:1:30
-448:1:31
-449:1:35
-450:1:39
-451:1:40
-452:1:44
-453:1:52
-454:1:53
-455:1:57
-456:1:61
-457:1:62
-458:1:57
-459:1:61
-460:1:62
-461:1:66
-462:1:73
-463:1:80
-464:1:81
-465:1:88
-466:1:93
-467:1:100
-468:1:101
-469:1:100
-470:1:101
-471:1:108
-472:1:112
-473:0:4176
-474:2:3989
-475:0:4176
-476:1:117
-477:0:4176
-478:2:3990
-479:0:4176
-480:2:3991
-481:0:4176
-482:2:3996
-483:0:4176
-484:2:3997
-485:0:4176
-486:2:4005
-487:2:4006
-488:2:4010
-489:2:4014
-490:2:4015
-491:2:4019
-492:2:4027
-493:2:4028
-494:2:4032
-495:2:4036
-496:2:4037
-497:2:4032
-498:2:4036
-499:2:4037
-500:2:4041
-501:2:4048
-502:2:4055
-503:2:4056
-504:2:4063
-505:2:4068
-506:2:4075
-507:2:4076
-508:2:4075
-509:2:4076
-510:2:4083
-511:2:4087
-512:0:4176
-513:2:3276
-514:2:3286
-515:0:4176
-516:2:2522
-517:0:4176
-518:2:3277
-519:2:3278
-520:0:4176
-521:2:2522
-522:0:4176
-523:2:3282
-524:0:4176
-525:2:3290
-526:0:4176
-527:2:2518
-528:0:4176
-529:2:2520
-530:0:4176
-531:2:2521
-532:0:4176
-533:2:2522
-534:0:4176
-535:2:2685
-536:2:2686
-537:2:2687
-538:0:4176
-539:2:2522
-540:0:4176
-541:2:2523
-542:2:2524
-543:2:2528
-544:2:2529
-545:2:2537
-546:2:2538
-547:2:2542
-548:2:2543
-549:2:2551
-550:2:2556
-551:2:2557
-552:2:2569
-553:2:2570
-554:2:2571
-555:2:2569
-556:2:2570
-557:2:2574
-558:2:2575
-559:2:2583
-560:2:2588
-561:2:2595
-562:2:2596
-563:2:2603
-564:2:2608
-565:2:2615
-566:2:2616
-567:2:2615
-568:2:2616
-569:2:2623
-570:2:2633
-571:0:4176
-572:2:2522
-573:0:4176
-574:2:2692
-575:0:4176
-576:2:3305
-577:2:3306
-578:2:3310
-579:2:3314
-580:2:3315
-581:2:3319
-582:2:3327
-583:2:3328
-584:2:3332
-585:2:3333
-586:2:3332
-587:2:3336
-588:2:3337
-589:2:3341
-590:2:3348
-591:2:3355
-592:2:3356
-593:2:3363
-594:2:3368
-595:2:3375
-596:2:3376
-597:2:3375
-598:2:3376
-599:2:3383
-600:2:3387
-601:0:4176
-602:2:3392
-603:0:4176
-604:2:3393
-605:0:4176
-606:2:3394
-607:0:4176
-608:2:3395
-609:0:4176
-610:1:26
-611:0:4176
-612:2:3396
-613:0:4176
-614:1:30
-615:1:31
-616:1:35
-617:1:39
-618:1:40
-619:1:44
-620:1:52
-621:1:53
-622:1:57
-623:1:61
-624:1:62
-625:1:57
-626:1:61
-627:1:62
-628:1:66
-629:1:73
-630:1:80
-631:1:81
-632:1:88
-633:1:93
-634:1:100
-635:1:101
-636:1:100
-637:1:101
-638:1:108
-639:1:112
-640:0:4176
-641:2:3395
-642:0:4176
-643:1:117
-644:0:4176
-645:2:3396
-646:0:4176
-647:2:3397
-648:0:4176
-649:2:3402
-650:0:4176
-651:2:3403
-652:0:4176
-653:2:3411
-654:2:3412
-655:2:3416
-656:2:3420
-657:2:3421
-658:2:3425
-659:2:3433
-660:2:3434
-661:2:3438
-662:2:3442
-663:2:3443
-664:2:3438
-665:2:3442
-666:2:3443
-667:2:3447
-668:2:3454
-669:2:3461
-670:2:3462
-671:2:3469
-672:2:3474
-673:2:3481
-674:2:3482
-675:2:3481
-676:2:3482
-677:2:3489
-678:2:3493
-679:0:4176
-680:2:2694
-681:2:3286
-682:0:4176
-683:2:2522
-684:0:4176
-685:2:2695
-686:0:4176
-687:2:2522
-688:0:4176
-689:2:2698
-690:2:2699
-691:2:2703
-692:2:2704
-693:2:2712
-694:2:2713
-695:2:2717
-696:2:2718
-697:2:2726
-698:2:2731
-699:2:2735
-700:2:2736
-701:2:2744
-702:2:2745
-703:2:2749
-704:2:2750
-705:2:2744
-706:2:2745
-707:2:2749
-708:2:2750
-709:2:2758
-710:2:2763
-711:2:2770
-712:2:2771
-713:2:2778
-714:2:2783
-715:2:2790
-716:2:2791
-717:2:2790
-718:2:2791
-719:2:2798
-720:2:2807
-721:0:4176
-722:2:2522
-723:0:4176
-724:2:2811
-725:2:2812
-726:2:2813
-727:2:2825
-728:2:2826
-729:2:2830
-730:2:2831
-731:2:2839
-732:2:2844
-733:2:2848
-734:2:2849
-735:2:2857
-736:2:2858
-737:2:2862
-738:2:2863
-739:2:2857
-740:2:2858
-741:2:2862
-742:2:2863
-743:2:2871
-744:2:2876
-745:2:2883
-746:2:2884
-747:2:2891
-748:2:2896
-749:2:2903
-750:2:2904
-751:2:2903
-752:2:2904
-753:2:2911
-754:2:2924
-755:2:2925
-756:0:4176
-757:2:2522
-758:0:4176
-759:2:2931
-760:2:2932
-761:2:2936
-762:2:2937
-763:2:2945
-764:2:2946
-765:2:2950
-766:2:2951
-767:2:2959
-768:2:2964
-769:2:2968
-770:2:2969
-771:2:2977
-772:2:2978
-773:2:2982
-774:2:2983
-775:2:2977
-776:2:2978
-777:2:2982
-778:2:2983
-779:2:2991
-780:2:2996
-781:2:3003
-782:2:3004
-783:2:3011
-784:2:3016
-785:2:3023
-786:2:3024
-787:2:3023
-788:2:3024
-789:2:3031
-790:0:4176
-791:2:2522
-792:0:4176
-793:2:3042
-794:2:3043
-795:2:3047
-796:2:3048
-797:2:3056
-798:2:3057
-799:2:3061
-800:2:3062
-801:2:3070
-802:2:3075
-803:2:3079
-804:2:3080
-805:2:3088
-806:2:3089
-807:2:3093
-808:2:3094
-809:2:3088
-810:2:3089
-811:2:3093
-812:2:3094
-813:2:3102
-814:2:3107
-815:2:3114
-816:2:3115
-817:2:3122
-818:2:3127
-819:2:3134
-820:2:3135
-821:2:3134
-822:2:3135
-823:2:3142
-824:2:3151
-825:0:4176
-826:2:2522
-827:0:4176
-828:2:3155
-829:2:3156
-830:2:3157
-831:2:3169
-832:2:3170
-833:2:3174
-834:2:3175
-835:2:3183
-836:2:3188
-837:2:3192
-838:2:3193
-839:2:3201
-840:2:3202
-841:2:3206
-842:2:3207
-843:2:3201
-844:2:3202
-845:2:3206
-846:2:3207
-847:2:3215
-848:2:3220
-849:2:3227
-850:2:3228
-851:2:3235
-852:2:3240
-853:2:3247
-854:2:3248
-855:2:3247
-856:2:3248
-857:2:3255
-858:2:3267
-859:2:3268
-860:0:4176
-861:2:2522
-862:0:4176
-863:2:3274
-864:0:4176
-865:2:3899
-866:2:3900
-867:2:3904
-868:2:3908
-869:2:3909
-870:2:3913
-871:2:3921
-872:2:3922
-873:2:3926
-874:2:3930
-875:2:3931
-876:2:3926
-877:2:3930
-878:2:3931
-879:2:3935
-880:2:3942
-881:2:3949
-882:2:3950
-883:2:3957
-884:2:3962
-885:2:3969
-886:2:3970
-887:2:3969
-888:2:3970
-889:2:3977
-890:2:3981
-891:0:4176
-892:2:3986
-893:0:4176
-894:2:3987
-895:0:4176
-896:2:3988
-897:0:4176
-898:2:3989
-899:0:4176
-900:1:26
-901:0:4176
-902:2:3990
-903:0:4176
-904:1:30
-905:1:31
-906:1:35
-907:1:39
-908:1:40
-909:1:44
-910:1:52
-911:1:53
-912:1:57
-913:1:61
-914:1:62
-915:1:57
-916:1:61
-917:1:62
-918:1:66
-919:1:73
-920:1:80
-921:1:81
-922:1:88
-923:1:93
-924:1:100
-925:1:101
-926:1:100
-927:1:101
-928:1:108
-929:1:112
-930:0:4176
-931:2:3989
-932:0:4176
-933:1:117
-934:0:4176
-935:2:3990
-936:0:4176
-937:2:3991
-938:0:4176
-939:2:3996
-940:0:4176
-941:2:3997
-942:0:4176
-943:2:4005
-944:2:4006
-945:2:4010
-946:2:4014
-947:2:4015
-948:2:4019
-949:2:4027
-950:2:4028
-951:2:4032
-952:2:4036
-953:2:4037
-954:2:4032
-955:2:4036
-956:2:4037
-957:2:4041
-958:2:4048
-959:2:4055
-960:2:4056
-961:2:4063
-962:2:4068
-963:2:4075
-964:2:4076
-965:2:4075
-966:2:4076
-967:2:4083
-968:2:4087
-969:0:4176
-970:2:3276
-971:2:3286
-972:0:4176
-973:2:2522
-974:0:4176
-975:2:3277
-976:2:3278
-977:0:4176
-978:2:2522
-979:0:4176
-980:2:3282
-981:0:4176
-982:2:3290
-983:0:4176
-984:2:2518
-985:0:4176
-986:2:2520
-987:0:4176
-988:2:2521
-989:0:4176
-990:2:2522
-991:0:4176
-992:2:2523
-993:2:2524
-994:2:2528
-995:2:2529
-996:2:2537
-997:2:2538
-998:2:2542
-999:2:2543
-1000:2:2551
-1001:2:2556
-1002:2:2560
-1003:2:2561
-1004:2:2569
-1005:2:2570
-1006:2:2574
-1007:2:2575
-1008:2:2569
-1009:2:2570
-1010:2:2571
-1011:2:2583
-1012:2:2588
-1013:2:2595
-1014:2:2596
-1015:2:2603
-1016:2:2608
-1017:2:2615
-1018:2:2616
-1019:2:2615
-1020:2:2616
-1021:2:2623
-1022:2:2633
-1023:0:4176
-1024:2:2522
-1025:0:4176
-1026:2:2685
-1027:2:2686
-1028:2:2687
-1029:0:4176
-1030:2:2522
-1031:0:4176
-1032:2:2692
-1033:0:4176
-1034:1:118
-1035:0:4176
-1036:1:120
-1037:0:4176
-1038:1:19
-1039:0:4176
-1040:1:126
-1041:1:127
-1042:1:131
-1043:1:132
-1044:1:140
-1045:1:141
-1046:1:145
-1047:1:146
-1048:1:154
-1049:1:159
-1050:1:163
-1051:1:164
-1052:1:172
-1053:1:173
-1054:1:177
-1055:1:178
-1056:1:172
-1057:1:173
-1058:1:177
-1059:1:178
-1060:1:186
-1061:1:191
-1062:1:198
-1063:1:199
-1064:1:206
-1065:1:211
-1066:1:218
-1067:1:219
-1068:1:218
-1069:1:219
-1070:1:226
-1071:0:4176
-1072:1:15
-1073:0:4176
-1074:1:16
-1075:0:4176
-1076:1:17
-1077:0:4176
-1078:1:118
-1079:0:4176
-1080:1:120
-1081:0:4176
-1082:1:19
-1083:0:4176
-1084:1:237
-1085:1:238
-1086:0:4176
-1087:1:15
-1088:0:4176
-1089:1:16
-1090:0:4176
-1091:1:17
-1092:0:4176
-1093:1:118
-1094:0:4176
-1095:1:120
-1096:0:4176
-1097:1:19
-1098:0:4176
-1099:1:244
-1100:1:245
-1101:1:249
-1102:1:250
-1103:1:258
-1104:1:259
-1105:1:263
-1106:1:264
-1107:1:272
-1108:1:277
-1109:1:281
-1110:1:282
-1111:1:290
-1112:1:291
-1113:1:295
-1114:1:296
-1115:1:290
-1116:1:291
-1117:1:295
-1118:1:296
-1119:1:304
-1120:1:309
-1121:1:316
-1122:1:317
-1123:1:324
-1124:1:329
-1125:1:336
-1126:1:337
-1127:1:336
-1128:1:337
-1129:1:344
-1130:0:4176
-1131:1:15
-1132:0:4176
-1133:1:16
-1134:0:4176
-1135:1:17
-1136:0:4176
-1137:1:118
-1138:0:4176
-1139:1:120
-1140:0:4176
-1141:1:19
-1142:0:4176
-1143:1:355
-1144:1:356
-1145:1:360
-1146:1:361
-1147:1:369
-1148:1:370
-1149:1:374
-1150:1:375
-1151:1:383
-1152:1:388
-1153:1:392
-1154:1:393
-1155:1:401
-1156:1:402
-1157:1:406
-1158:1:407
-1159:1:401
-1160:1:402
-1161:1:406
-1162:1:407
-1163:1:415
-1164:1:420
-1165:1:427
-1166:1:428
-1167:1:435
-1168:1:440
-1169:1:447
-1170:1:448
-1171:1:447
-1172:1:448
-1173:1:455
-1174:1:464
-1175:0:4176
-1176:1:15
-1177:0:4176
-1178:1:16
-1179:0:4176
-1180:1:17
-1181:0:4176
-1182:1:118
-1183:0:4176
-1184:1:120
-1185:0:4176
-1186:1:19
-1187:0:4176
-1188:1:584
-1189:1:585
-1190:1:589
-1191:1:590
-1192:1:598
-1193:1:599
-1194:1:600
-1195:1:612
-1196:1:617
-1197:1:621
-1198:1:622
-1199:1:630
-1200:1:631
-1201:1:635
-1202:1:636
-1203:1:630
-1204:1:631
-1205:1:635
-1206:1:636
-1207:1:644
-1208:1:649
-1209:1:656
-1210:1:657
-1211:1:664
-1212:1:669
-1213:1:676
-1214:1:677
-1215:1:676
-1216:1:677
-1217:1:684
-1218:0:4176
-1219:1:15
-1220:0:4176
-1221:1:16
-1222:0:4176
-1223:1:17
-1224:0:4176
-1225:1:118
-1226:0:4176
-1227:1:120
-1228:0:4176
-1229:1:19
-1230:0:4176
-1231:1:695
-1232:1:698
-1233:1:699
-1234:0:4176
-1235:1:15
-1236:0:4176
-1237:1:16
-1238:0:4176
-1239:1:17
-1240:0:4176
-1241:1:118
-1242:0:4176
-1243:1:120
-1244:0:4176
-1245:1:19
-1246:0:4176
-1247:1:926
-1248:1:927
-1249:1:931
-1250:1:932
-1251:1:940
-1252:1:941
-1253:1:945
-1254:1:946
-1255:1:954
-1256:1:959
-1257:1:963
-1258:1:964
-1259:1:972
-1260:1:973
-1261:1:977
-1262:1:978
-1263:1:972
-1264:1:973
-1265:1:977
-1266:1:978
-1267:1:986
-1268:1:991
-1269:1:998
-1270:1:999
-1271:1:1006
-1272:1:1011
-1273:1:1018
-1274:1:1019
-1275:1:1018
-1276:1:1019
-1277:1:1026
-1278:1:1035
-1279:1:1039
-1280:0:4176
-1281:1:15
-1282:0:4176
-1283:1:16
-1284:0:4176
-1285:1:17
-1286:0:4176
-1287:1:118
-1288:0:4176
-1289:1:120
-1290:0:4176
-1291:1:19
-1292:0:4176
-1293:1:1040
-1294:1:1041
-1295:1:1045
-1296:1:1046
-1297:1:1054
-1298:1:1055
-1299:1:1056
-1300:1:1068
-1301:1:1073
-1302:1:1077
-1303:1:1078
-1304:1:1086
-1305:1:1087
-1306:1:1091
-1307:1:1092
-1308:1:1086
-1309:1:1087
-1310:1:1091
-1311:1:1092
-1312:1:1100
-1313:1:1105
-1314:1:1112
-1315:1:1113
-1316:1:1120
-1317:1:1125
-1318:1:1132
-1319:1:1133
-1320:1:1132
-1321:1:1133
-1322:1:1140
-1323:0:4176
-1324:1:15
-1325:0:4176
-1326:1:16
-1327:0:4176
-1328:1:17
-1329:0:4176
-1330:1:118
-1331:0:4176
-1332:1:120
-1333:0:4176
-1334:1:19
-1335:0:4176
-1336:1:1151
-1337:0:4176
-1338:1:2417
-1339:1:2424
-1340:1:2425
-1341:1:2432
-1342:1:2437
-1343:1:2444
-1344:1:2445
-1345:1:2444
-1346:1:2445
-1347:1:2452
-1348:1:2456
-1349:0:4176
-1350:2:3305
-1351:2:3306
-1352:2:3310
-1353:2:3314
-1354:2:3315
-1355:2:3319
-1356:2:3324
-1357:2:3332
-1358:2:3336
-1359:2:3337
-1360:2:3332
-1361:2:3333
-1362:2:3341
-1363:2:3348
-1364:2:3355
-1365:2:3356
-1366:2:3363
-1367:2:3368
-1368:2:3375
-1369:2:3376
-1370:2:3375
-1371:2:3376
-1372:2:3383
-1373:2:3387
-1374:0:4176
-1375:2:3392
-1376:0:4176
-1377:2:3393
-1378:0:4176
-1379:2:3394
-1380:0:4176
-1381:2:3395
-1382:0:4176
-1383:1:1153
-1384:1:1154
-1385:0:4174
-1386:2:3396
-1387:0:4180
-1388:1:2165