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

diff --git a/formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_single_flip.spin.input.trail b/formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_single_flip.spin.input.trail
deleted file mode 100644
index f8289ee..0000000
--- a/formal-model/results/urcu-controldataflow-ipi-intel/urcu_free_single_flip.spin.input.trail
+++ /dev/null
@@ -1,1257 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:4178
-2:3:4098
-3:3:4101
-4:3:4101
-5:3:4104
-6:3:4112
-7:3:4112
-8:3:4115
-9:3:4121
-10:3:4125
-11:3:4125
-12:3:4128
-13:3:4138
-14:3:4146
-15:3:4146
-16:3:4149
-17:3:4155
-18:3:4159
-19:3:4159
-20:3:4162
-21:3:4168
-22:3:4172
-23:3:4173
-24:0:4178
-25:3:4175
-26:0:4178
-27:2:2511
-28:0:4178
-29:2:2517
-30:0:4178
-31:2:2518
-32:0:4178
-33:2:2520
-34:0:4178
-35:2:2521
-36:0:4178
-37:2:2522
-38:0:4178
-39:2:2523
-40:0:4178
-41:2:2524
-42:0:4178
-43:2:2525
-44:0:4178
-45:2:2526
-46:2:2527
-47:2:2531
-48:2:2532
-49:2:2540
-50:2:2541
-51:2:2545
-52:2:2546
-53:2:2554
-54:2:2559
-55:2:2563
-56:2:2564
-57:2:2572
-58:2:2573
-59:2:2577
-60:2:2578
-61:2:2572
-62:2:2573
-63:2:2577
-64:2:2578
-65:2:2586
-66:2:2591
-67:2:2598
-68:2:2599
-69:2:2606
-70:2:2611
-71:2:2618
-72:2:2619
-73:2:2618
-74:2:2619
-75:2:2626
-76:2:2636
-77:0:4178
-78:2:2525
-79:0:4178
-80:2:2640
-81:2:2644
-82:2:2645
-83:2:2649
-84:2:2653
-85:2:2654
-86:2:2658
-87:2:2666
-88:2:2667
-89:2:2671
-90:2:2675
-91:2:2676
-92:2:2671
-93:2:2672
-94:2:2680
-95:0:4178
-96:2:2525
-97:0:4178
-98:2:2688
-99:2:2689
-100:2:2690
-101:0:4178
-102:2:2525
-103:0:4178
-104:2:2695
-105:0:4178
-106:2:3307
-107:2:3308
-108:2:3312
-109:2:3316
-110:2:3317
-111:2:3321
-112:2:3326
-113:2:3334
-114:2:3338
-115:2:3339
-116:2:3334
-117:2:3338
-118:2:3339
-119:2:3343
-120:2:3350
-121:2:3357
-122:2:3358
-123:2:3365
-124:2:3370
-125:2:3377
-126:2:3378
-127:2:3377
-128:2:3378
-129:2:3385
-130:2:3389
-131:0:4178
-132:2:3394
-133:0:4178
-134:2:3395
-135:0:4178
-136:2:3396
-137:0:4178
-138:2:3397
-139:0:4178
-140:1:2
-141:0:4178
-142:2:3398
-143:0:4178
-144:1:8
-145:0:4178
-146:1:9
-147:0:4178
-148:2:3397
-149:0:4178
-150:1:10
-151:0:4178
-152:2:3398
-153:0:4178
-154:1:11
-155:0:4178
-156:2:3397
-157:0:4178
-158:1:12
-159:0:4178
-160:2:3398
-161:0:4178
-162:1:13
-163:0:4178
-164:2:3397
-165:0:4178
-166:1:14
-167:0:4178
-168:2:3398
-169:0:4178
-170:1:15
-171:0:4178
-172:1:16
-173:0:4178
-174:2:3397
-175:0:4178
-176:1:17
-177:0:4178
-178:2:3398
-179:0:4178
-180:1:26
-181:0:4178
-182:2:3397
-183:0:4178
-184:1:30
-185:1:31
-186:1:35
-187:1:39
-188:1:40
-189:1:44
-190:1:52
-191:1:53
-192:1:57
-193:1:61
-194:1:62
-195:1:57
-196:1:61
-197:1:62
-198:1:66
-199:1:73
-200:1:80
-201:1:81
-202:1:88
-203:1:93
-204:1:100
-205:1:101
-206:1:100
-207:1:101
-208:1:108
-209:1:112
-210:0:4178
-211:2:3398
-212:0:4178
-213:1:117
-214:0:4178
-215:2:3399
-216:0:4178
-217:2:3404
-218:0:4178
-219:2:3405
-220:0:4178
-221:2:3413
-222:2:3414
-223:2:3418
-224:2:3422
-225:2:3423
-226:2:3427
-227:2:3435
-228:2:3436
-229:2:3440
-230:2:3444
-231:2:3445
-232:2:3440
-233:2:3444
-234:2:3445
-235:2:3449
-236:2:3456
-237:2:3463
-238:2:3464
-239:2:3471
-240:2:3476
-241:2:3483
-242:2:3484
-243:2:3483
-244:2:3484
-245:2:3491
-246:2:3495
-247:0:4178
-248:2:2697
-249:2:3288
-250:0:4178
-251:2:2525
-252:0:4178
-253:2:2698
-254:0:4178
-255:2:2525
-256:0:4178
-257:2:2701
-258:2:2702
-259:2:2706
-260:2:2707
-261:2:2715
-262:2:2716
-263:2:2720
-264:2:2721
-265:2:2729
-266:2:2734
-267:2:2738
-268:2:2739
-269:2:2747
-270:2:2748
-271:2:2752
-272:2:2753
-273:2:2747
-274:2:2748
-275:2:2752
-276:2:2753
-277:2:2761
-278:2:2766
-279:2:2773
-280:2:2774
-281:2:2781
-282:2:2786
-283:2:2793
-284:2:2794
-285:2:2793
-286:2:2794
-287:2:2801
-288:2:2810
-289:0:4178
-290:2:2525
-291:0:4178
-292:2:2814
-293:2:2823
-294:2:2824
-295:2:2828
-296:2:2829
-297:2:2833
-298:2:2834
-299:2:2842
-300:2:2847
-301:2:2851
-302:2:2852
-303:2:2860
-304:2:2861
-305:2:2865
-306:2:2866
-307:2:2860
-308:2:2861
-309:2:2865
-310:2:2866
-311:2:2874
-312:2:2881
-313:2:2882
-314:2:2886
-315:2:2887
-316:2:2894
-317:2:2899
-318:2:2906
-319:2:2907
-320:2:2906
-321:2:2907
-322:2:2914
-323:2:2926
-324:2:2927
-325:0:4178
-326:2:2525
-327:0:4178
-328:2:3276
-329:0:4178
-330:1:118
-331:0:4178
-332:1:120
-333:0:4178
-334:1:19
-335:0:4178
-336:1:126
-337:1:127
-338:1:131
-339:1:132
-340:1:140
-341:1:141
-342:1:145
-343:1:146
-344:1:154
-345:1:159
-346:1:163
-347:1:164
-348:1:172
-349:1:173
-350:1:177
-351:1:178
-352:1:172
-353:1:173
-354:1:177
-355:1:178
-356:1:186
-357:1:191
-358:1:198
-359:1:199
-360:1:206
-361:1:211
-362:1:218
-363:1:219
-364:1:218
-365:1:219
-366:1:226
-367:0:4178
-368:1:15
-369:0:4178
-370:1:16
-371:0:4178
-372:1:17
-373:0:4178
-374:1:118
-375:0:4178
-376:1:120
-377:0:4178
-378:1:19
-379:0:4178
-380:1:237
-381:1:238
-382:0:4178
-383:1:15
-384:0:4178
-385:1:16
-386:0:4178
-387:1:17
-388:0:4178
-389:1:118
-390:0:4178
-391:1:120
-392:0:4178
-393:1:19
-394:0:4178
-395:1:244
-396:1:245
-397:1:249
-398:1:250
-399:1:258
-400:1:259
-401:1:263
-402:1:264
-403:1:272
-404:1:277
-405:1:281
-406:1:282
-407:1:290
-408:1:291
-409:1:295
-410:1:296
-411:1:290
-412:1:291
-413:1:295
-414:1:296
-415:1:304
-416:1:309
-417:1:316
-418:1:317
-419:1:324
-420:1:329
-421:1:336
-422:1:337
-423:1:336
-424:1:337
-425:1:344
-426:0:4178
-427:1:15
-428:0:4178
-429:1:16
-430:0:4178
-431:2:3898
-432:2:3906
-433:2:3910
-434:2:3911
-435:2:3915
-436:2:3923
-437:2:3924
-438:2:3928
-439:2:3932
-440:2:3933
-441:2:3928
-442:2:3932
-443:2:3933
-444:2:3937
-445:2:3944
-446:2:3951
-447:2:3952
-448:2:3959
-449:2:3964
-450:2:3971
-451:2:3972
-452:2:3971
-453:2:3972
-454:2:3979
-455:2:3983
-456:0:4178
-457:2:3988
-458:0:4178
-459:2:3989
-460:0:4178
-461:2:3990
-462:0:4178
-463:2:3991
-464:0:4178
-465:1:17
-466:0:4178
-467:2:3992
-468:0:4178
-469:1:26
-470:0:4178
-471:2:3991
-472:0:4178
-473:1:30
-474:1:31
-475:1:35
-476:1:39
-477:1:40
-478:1:44
-479:1:52
-480:1:53
-481:1:57
-482:1:61
-483:1:62
-484:1:57
-485:1:61
-486:1:62
-487:1:66
-488:1:73
-489:1:80
-490:1:81
-491:1:88
-492:1:93
-493:1:100
-494:1:101
-495:1:100
-496:1:101
-497:1:108
-498:1:112
-499:0:4178
-500:2:3992
-501:0:4178
-502:1:117
-503:0:4178
-504:2:3993
-505:0:4178
-506:2:3998
-507:0:4178
-508:2:3999
-509:0:4178
-510:2:4007
-511:2:4008
-512:2:4012
-513:2:4016
-514:2:4017
-515:2:4021
-516:2:4029
-517:2:4030
-518:2:4034
-519:2:4038
-520:2:4039
-521:2:4034
-522:2:4038
-523:2:4039
-524:2:4043
-525:2:4050
-526:2:4057
-527:2:4058
-528:2:4065
-529:2:4070
-530:2:4077
-531:2:4078
-532:2:4077
-533:2:4078
-534:2:4085
-535:2:4089
-536:0:4178
-537:2:3278
-538:2:3288
-539:0:4178
-540:2:2525
-541:0:4178
-542:2:3279
-543:2:3280
-544:0:4178
-545:2:2525
-546:0:4178
-547:2:3284
-548:0:4178
-549:2:3292
-550:0:4178
-551:2:2518
-552:0:4178
-553:2:2520
-554:0:4178
-555:2:2521
-556:0:4178
-557:2:2522
-558:0:4178
-559:2:2523
-560:0:4178
-561:2:2524
-562:0:4178
-563:2:2525
-564:0:4178
-565:2:2526
-566:2:2527
-567:2:2531
-568:2:2532
-569:2:2540
-570:2:2541
-571:2:2545
-572:2:2546
-573:2:2554
-574:2:2559
-575:2:2563
-576:2:2564
-577:2:2572
-578:2:2573
-579:2:2574
-580:2:2572
-581:2:2573
-582:2:2577
-583:2:2578
-584:2:2586
-585:2:2591
-586:2:2598
-587:2:2599
-588:2:2606
-589:2:2611
-590:2:2618
-591:2:2619
-592:2:2618
-593:2:2619
-594:2:2626
-595:2:2636
-596:0:4178
-597:2:2525
-598:0:4178
-599:2:2640
-600:2:2644
-601:2:2645
-602:2:2649
-603:2:2653
-604:2:2654
-605:2:2658
-606:2:2666
-607:2:2667
-608:2:2671
-609:2:2672
-610:2:2671
-611:2:2675
-612:2:2676
-613:2:2680
-614:0:4178
-615:2:2525
-616:0:4178
-617:2:2688
-618:2:2689
-619:2:2690
-620:0:4178
-621:2:2525
-622:0:4178
-623:2:2695
-624:0:4178
-625:1:118
-626:0:4178
-627:1:120
-628:0:4178
-629:1:19
-630:0:4178
-631:1:355
-632:1:356
-633:1:360
-634:1:361
-635:1:369
-636:1:370
-637:1:374
-638:1:375
-639:1:383
-640:1:388
-641:1:392
-642:1:393
-643:1:401
-644:1:402
-645:1:406
-646:1:407
-647:1:401
-648:1:402
-649:1:406
-650:1:407
-651:1:415
-652:1:420
-653:1:427
-654:1:428
-655:1:435
-656:1:440
-657:1:447
-658:1:448
-659:1:447
-660:1:448
-661:1:455
-662:1:464
-663:0:4178
-664:1:15
-665:0:4178
-666:1:16
-667:0:4178
-668:1:17
-669:0:4178
-670:1:118
-671:0:4178
-672:1:120
-673:0:4178
-674:1:19
-675:0:4178
-676:1:584
-677:1:585
-678:1:589
-679:1:590
-680:1:598
-681:1:599
-682:1:600
-683:1:612
-684:1:617
-685:1:621
-686:1:622
-687:1:630
-688:1:631
-689:1:635
-690:1:636
-691:1:630
-692:1:631
-693:1:635
-694:1:636
-695:1:644
-696:1:649
-697:1:656
-698:1:657
-699:1:664
-700:1:669
-701:1:676
-702:1:677
-703:1:676
-704:1:677
-705:1:684
-706:0:4178
-707:1:15
-708:0:4178
-709:1:16
-710:0:4178
-711:1:17
-712:0:4178
-713:1:118
-714:0:4178
-715:1:120
-716:0:4178
-717:1:19
-718:0:4178
-719:1:695
-720:1:698
-721:1:699
-722:0:4178
-723:1:15
-724:0:4178
-725:1:16
-726:0:4178
-727:1:17
-728:0:4178
-729:1:118
-730:0:4178
-731:1:120
-732:0:4178
-733:1:19
-734:0:4178
-735:1:926
-736:1:927
-737:1:931
-738:1:932
-739:1:940
-740:1:941
-741:1:945
-742:1:946
-743:1:954
-744:1:959
-745:1:963
-746:1:964
-747:1:972
-748:1:973
-749:1:977
-750:1:978
-751:1:972
-752:1:973
-753:1:977
-754:1:978
-755:1:986
-756:1:991
-757:1:998
-758:1:999
-759:1:1006
-760:1:1011
-761:1:1018
-762:1:1019
-763:1:1018
-764:1:1019
-765:1:1026
-766:1:1035
-767:1:1039
-768:0:4178
-769:1:15
-770:0:4178
-771:1:16
-772:0:4178
-773:1:17
-774:0:4178
-775:1:118
-776:0:4178
-777:1:120
-778:0:4178
-779:1:19
-780:0:4178
-781:1:1040
-782:1:1041
-783:1:1045
-784:1:1046
-785:1:1054
-786:1:1055
-787:1:1056
-788:1:1068
-789:1:1073
-790:1:1077
-791:1:1078
-792:1:1086
-793:1:1087
-794:1:1091
-795:1:1092
-796:1:1086
-797:1:1087
-798:1:1091
-799:1:1092
-800:1:1100
-801:1:1105
-802:1:1112
-803:1:1113
-804:1:1120
-805:1:1125
-806:1:1132
-807:1:1133
-808:1:1132
-809:1:1133
-810:1:1140
-811:0:4178
-812:1:15
-813:0:4178
-814:1:16
-815:0:4178
-816:2:3307
-817:2:3308
-818:2:3312
-819:2:3316
-820:2:3317
-821:2:3321
-822:2:3326
-823:2:3334
-824:2:3338
-825:2:3339
-826:2:3334
-827:2:3338
-828:2:3339
-829:2:3343
-830:2:3350
-831:2:3357
-832:2:3358
-833:2:3365
-834:2:3370
-835:2:3377
-836:2:3378
-837:2:3377
-838:2:3378
-839:2:3385
-840:2:3389
-841:0:4178
-842:2:3394
-843:0:4178
-844:2:3395
-845:0:4178
-846:2:3396
-847:0:4178
-848:2:3397
-849:0:4178
-850:1:17
-851:0:4178
-852:2:3398
-853:0:4178
-854:1:26
-855:0:4178
-856:2:3397
-857:0:4178
-858:1:30
-859:1:31
-860:1:35
-861:1:39
-862:1:40
-863:1:44
-864:1:52
-865:1:53
-866:1:57
-867:1:61
-868:1:62
-869:1:57
-870:1:61
-871:1:62
-872:1:66
-873:1:73
-874:1:80
-875:1:81
-876:1:88
-877:1:93
-878:1:100
-879:1:101
-880:1:100
-881:1:101
-882:1:108
-883:1:112
-884:0:4178
-885:2:3398
-886:0:4178
-887:1:117
-888:0:4178
-889:2:3399
-890:0:4178
-891:2:3404
-892:0:4178
-893:2:3405
-894:0:4178
-895:2:3413
-896:2:3414
-897:2:3418
-898:2:3422
-899:2:3423
-900:2:3427
-901:2:3435
-902:2:3436
-903:2:3440
-904:2:3444
-905:2:3445
-906:2:3440
-907:2:3444
-908:2:3445
-909:2:3449
-910:2:3456
-911:2:3463
-912:2:3464
-913:2:3471
-914:2:3476
-915:2:3483
-916:2:3484
-917:2:3483
-918:2:3484
-919:2:3491
-920:2:3495
-921:0:4178
-922:2:2697
-923:2:3288
-924:0:4178
-925:2:2525
-926:0:4178
-927:2:2698
-928:0:4178
-929:2:2525
-930:0:4178
-931:2:2701
-932:2:2702
-933:2:2706
-934:2:2707
-935:2:2715
-936:2:2716
-937:2:2720
-938:2:2721
-939:2:2729
-940:2:2734
-941:2:2738
-942:2:2739
-943:2:2747
-944:2:2748
-945:2:2752
-946:2:2753
-947:2:2747
-948:2:2748
-949:2:2752
-950:2:2753
-951:2:2761
-952:2:2766
-953:2:2773
-954:2:2774
-955:2:2781
-956:2:2786
-957:2:2793
-958:2:2794
-959:2:2793
-960:2:2794
-961:2:2801
-962:2:2810
-963:0:4178
-964:2:2525
-965:0:4178
-966:2:2814
-967:2:2815
-968:2:2816
-969:2:2828
-970:2:2829
-971:2:2833
-972:2:2834
-973:2:2842
-974:2:2847
-975:2:2851
-976:2:2852
-977:2:2860
-978:2:2861
-979:2:2865
-980:2:2866
-981:2:2860
-982:2:2861
-983:2:2865
-984:2:2866
-985:2:2874
-986:2:2879
-987:2:2886
-988:2:2887
-989:2:2894
-990:2:2899
-991:2:2906
-992:2:2907
-993:2:2906
-994:2:2907
-995:2:2914
-996:2:2926
-997:2:2927
-998:0:4178
-999:2:2525
-1000:0:4178
-1001:2:3276
-1002:0:4178
-1003:2:3901
-1004:2:3902
-1005:2:3906
-1006:2:3910
-1007:2:3911
-1008:2:3915
-1009:2:3923
-1010:2:3924
-1011:2:3928
-1012:2:3932
-1013:2:3933
-1014:2:3928
-1015:2:3932
-1016:2:3933
-1017:2:3937
-1018:2:3944
-1019:2:3951
-1020:2:3952
-1021:2:3959
-1022:2:3964
-1023:2:3971
-1024:2:3972
-1025:2:3971
-1026:2:3972
-1027:2:3979
-1028:2:3983
-1029:0:4178
-1030:2:3988
-1031:0:4178
-1032:2:3989
-1033:0:4178
-1034:2:3990
-1035:0:4178
-1036:2:3991
-1037:0:4178
-1038:1:26
-1039:0:4178
-1040:2:3992
-1041:0:4178
-1042:1:30
-1043:1:31
-1044:1:35
-1045:1:39
-1046:1:40
-1047:1:44
-1048:1:52
-1049:1:53
-1050:1:57
-1051:1:61
-1052:1:62
-1053:1:57
-1054:1:61
-1055:1:62
-1056:1:66
-1057:1:73
-1058:1:80
-1059:1:81
-1060:1:88
-1061:1:93
-1062:1:100
-1063:1:101
-1064:1:100
-1065:1:101
-1066:1:108
-1067:1:112
-1068:0:4178
-1069:2:3991
-1070:0:4178
-1071:1:117
-1072:0:4178
-1073:2:3992
-1074:0:4178
-1075:2:3993
-1076:0:4178
-1077:2:3998
-1078:0:4178
-1079:2:3999
-1080:0:4178
-1081:2:4007
-1082:2:4008
-1083:2:4012
-1084:2:4016
-1085:2:4017
-1086:2:4021
-1087:2:4029
-1088:2:4030
-1089:2:4034
-1090:2:4038
-1091:2:4039
-1092:2:4034
-1093:2:4038
-1094:2:4039
-1095:2:4043
-1096:2:4050
-1097:2:4057
-1098:2:4058
-1099:2:4065
-1100:2:4070
-1101:2:4077
-1102:2:4078
-1103:2:4077
-1104:2:4078
-1105:2:4085
-1106:2:4089
-1107:0:4178
-1108:2:3278
-1109:2:3288
-1110:0:4178
-1111:2:2525
-1112:0:4178
-1113:2:3279
-1114:2:3280
-1115:0:4178
-1116:2:2525
-1117:0:4178
-1118:2:3284
-1119:0:4178
-1120:2:3292
-1121:0:4178
-1122:2:2518
-1123:0:4178
-1124:2:2520
-1125:0:4178
-1126:2:2521
-1127:0:4178
-1128:2:2522
-1129:0:4178
-1130:2:2523
-1131:0:4178
-1132:2:2524
-1133:0:4178
-1134:2:2525
-1135:0:4178
-1136:2:2526
-1137:2:2527
-1138:2:2531
-1139:2:2532
-1140:2:2540
-1141:2:2541
-1142:2:2545
-1143:2:2546
-1144:2:2554
-1145:2:2559
-1146:2:2563
-1147:2:2564
-1148:2:2572
-1149:2:2573
-1150:2:2577
-1151:2:2578
-1152:2:2572
-1153:2:2573
-1154:2:2574
-1155:2:2586
-1156:2:2591
-1157:2:2598
-1158:2:2599
-1159:2:2606
-1160:2:2611
-1161:2:2618
-1162:2:2619
-1163:2:2618
-1164:2:2619
-1165:2:2626
-1166:2:2636
-1167:0:4178
-1168:2:2525
-1169:0:4178
-1170:1:118
-1171:0:4178
-1172:1:120
-1173:0:4178
-1174:1:19
-1175:0:4178
-1176:1:1151
-1177:0:4178
-1178:1:2417
-1179:1:2424
-1180:1:2425
-1181:1:2432
-1182:1:2437
-1183:1:2444
-1184:1:2445
-1185:1:2444
-1186:1:2445
-1187:1:2452
-1188:1:2456
-1189:0:4178
-1190:2:2640
-1191:2:2644
-1192:2:2645
-1193:2:2649
-1194:2:2653
-1195:2:2654
-1196:2:2658
-1197:2:2666
-1198:2:2667
-1199:2:2671
-1200:2:2675
-1201:2:2676
-1202:2:2671
-1203:2:2672
-1204:2:2680
-1205:0:4178
-1206:2:2525
-1207:0:4178
-1208:2:2688
-1209:2:2689
-1210:2:2690
-1211:0:4178
-1212:2:2525
-1213:0:4178
-1214:2:2695
-1215:0:4178
-1216:2:3307
-1217:2:3308
-1218:2:3312
-1219:2:3316
-1220:2:3317
-1221:2:3321
-1222:2:3326
-1223:2:3334
-1224:2:3338
-1225:2:3339
-1226:2:3334
-1227:2:3338
-1228:2:3339
-1229:2:3343
-1230:2:3350
-1231:2:3357
-1232:2:3358
-1233:2:3365
-1234:2:3370
-1235:2:3377
-1236:2:3378
-1237:2:3377
-1238:2:3378
-1239:2:3385
-1240:2:3389
-1241:0:4178
-1242:2:3394
-1243:0:4178
-1244:2:3395
-1245:0:4178
-1246:2:3396
-1247:0:4178
-1248:2:3397
-1249:0:4178
-1250:1:1153
-1251:1:1154
-1252:0:4176
-1253:2:3398
-1254:0:4182
-1255:1:2145