X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu%2Fresult-signal-over-reader%2Furcu_progress_reader.spin.input.trail;fp=formal-model%2Furcu%2Fresult-signal-over-reader%2Furcu_progress_reader.spin.input.trail;h=0000000000000000000000000000000000000000;hb=5e32821aa6d74b755730c19a8aa66404d2c367c9;hp=7c42af1b249807b0964bb07cd7eb91fec5a3c911;hpb=41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca;p=urcu.git

diff --git a/formal-model/urcu/result-signal-over-reader/urcu_progress_reader.spin.input.trail b/formal-model/urcu/result-signal-over-reader/urcu_progress_reader.spin.input.trail
deleted file mode 100644
index 7c42af1..0000000
--- a/formal-model/urcu/result-signal-over-reader/urcu_progress_reader.spin.input.trail
+++ /dev/null
@@ -1,1270 +0,0 @@
--2:4:-2
--4:-4:-4
-1:0:4401
-2:4:4353
-3:4:4356
-4:4:4356
-5:4:4359
-6:4:4367
-7:4:4367
-8:4:4370
-9:4:4376
-10:4:4380
-11:4:4380
-12:4:4383
-13:4:4391
-14:4:4395
-15:4:4396
-16:0:4401
-17:4:4398
-18:0:4401
-19:3:2479
-20:0:4401
-21:3:2485
-22:0:4401
-23:3:2486
-24:0:4401
-25:3:2487
-26:3:2491
-27:3:2492
-28:3:2500
-29:3:2501
-30:3:2505
-31:3:2506
-32:3:2514
-33:3:2519
-34:3:2523
-35:3:2524
-36:3:2531
-37:3:2532
-38:3:2543
-39:3:2544
-40:3:2545
-41:3:2556
-42:3:2561
-43:3:2562
-44:0:4401
-45:3:2574
-46:0:4401
-47:3:2576
-48:3:2577
-49:0:4401
-50:3:2581
-51:3:2585
-52:3:2586
-53:3:2594
-54:3:2595
-55:3:2599
-56:3:2600
-57:3:2608
-58:3:2613
-59:3:2614
-60:3:2625
-61:3:2626
-62:3:2637
-63:3:2638
-64:3:2639
-65:3:2650
-66:3:2655
-67:3:2656
-68:0:4401
-69:3:2668
-70:0:4401
-71:3:2670
-72:0:4401
-73:3:2671
-74:0:4401
-75:3:2681
-76:0:4401
-77:3:2682
-78:0:4401
-79:3:2686
-80:3:2687
-81:3:2691
-82:3:2695
-83:3:2696
-84:3:2700
-85:3:2708
-86:3:2709
-87:3:2714
-88:3:2721
-89:3:2722
-90:3:2729
-91:3:2734
-92:0:4401
-93:3:2745
-94:0:4401
-95:3:2749
-96:3:2750
-97:3:2754
-98:3:2758
-99:3:2759
-100:3:2763
-101:3:2771
-102:3:2772
-103:3:2777
-104:3:2784
-105:3:2785
-106:3:2792
-107:3:2797
-108:0:4401
-109:3:2808
-110:0:4401
-111:3:2816
-112:3:2817
-113:3:2821
-114:3:2825
-115:3:2826
-116:3:2830
-117:3:2838
-118:3:2839
-119:3:2844
-120:3:2851
-121:3:2852
-122:3:2859
-123:3:2864
-124:0:4401
-125:3:2879
-126:0:4401
-127:3:2881
-128:0:4401
-129:3:2882
-130:3:2886
-131:3:2887
-132:3:2895
-133:3:2896
-134:3:2900
-135:3:2901
-136:3:2909
-137:3:2914
-138:3:2918
-139:3:2919
-140:3:2926
-141:3:2927
-142:3:2938
-143:3:2939
-144:3:2940
-145:3:2951
-146:3:2956
-147:3:2957
-148:0:4401
-149:3:2969
-150:0:4401
-151:3:2971
-152:0:4401
-153:3:2974
-154:3:2975
-155:3:2987
-156:3:2988
-157:3:2992
-158:3:2993
-159:3:3001
-160:3:3006
-161:3:3010
-162:3:3011
-163:3:3018
-164:3:3019
-165:3:3030
-166:3:3031
-167:3:3032
-168:3:3043
-169:3:3048
-170:3:3049
-171:0:4401
-172:3:3061
-173:0:4401
-174:3:3063
-175:0:4401
-176:3:3064
-177:0:4401
-178:3:3065
-179:0:4401
-180:3:3066
-181:0:4401
-182:3:3067
-183:3:3071
-184:3:3072
-185:3:3080
-186:3:3081
-187:3:3085
-188:3:3086
-189:3:3094
-190:3:3099
-191:3:3103
-192:3:3104
-193:3:3111
-194:3:3112
-195:3:3123
-196:3:3124
-197:3:3125
-198:3:3136
-199:3:3141
-200:3:3142
-201:0:4401
-202:3:3154
-203:0:4401
-204:3:3356
-205:0:4401
-206:3:3454
-207:0:4401
-208:3:3455
-209:0:4401
-210:3:3459
-211:0:4401
-212:3:3465
-213:3:3469
-214:3:3470
-215:3:3478
-216:3:3479
-217:3:3483
-218:3:3484
-219:3:3492
-220:3:3497
-221:3:3501
-222:3:3502
-223:3:3509
-224:3:3510
-225:3:3521
-226:3:3522
-227:3:3523
-228:3:3534
-229:3:3539
-230:3:3540
-231:0:4401
-232:3:3552
-233:0:4401
-234:3:3554
-235:0:4401
-236:3:3555
-237:3:3559
-238:3:3560
-239:3:3568
-240:3:3569
-241:3:3573
-242:3:3574
-243:3:3582
-244:3:3587
-245:3:3591
-246:3:3592
-247:3:3599
-248:3:3600
-249:3:3611
-250:3:3612
-251:3:3613
-252:3:3624
-253:3:3629
-254:3:3630
-255:0:4401
-256:3:3642
-257:0:4401
-258:3:3644
-259:0:4401
-260:3:3647
-261:3:3648
-262:3:3660
-263:3:3661
-264:3:3665
-265:3:3666
-266:3:3674
-267:3:3679
-268:3:3683
-269:3:3684
-270:3:3691
-271:3:3692
-272:3:3703
-273:3:3704
-274:3:3705
-275:3:3716
-276:3:3721
-277:3:3722
-278:0:4401
-279:3:3734
-280:0:4401
-281:3:3736
-282:0:4401
-283:3:3737
-284:0:4401
-285:3:3738
-286:0:4401
-287:3:3739
-288:0:4401
-289:3:3740
-290:3:3744
-291:3:3745
-292:3:3753
-293:3:3754
-294:3:3758
-295:3:3759
-296:3:3767
-297:3:3772
-298:3:3776
-299:3:3777
-300:3:3784
-301:3:3785
-302:3:3796
-303:3:3797
-304:3:3798
-305:3:3809
-306:3:3814
-307:3:3815
-308:0:4401
-309:3:3827
-310:0:4401
-311:3:4029
-312:0:4401
-313:3:4127
-314:0:4401
-315:3:4128
-316:0:4401
-317:3:4132
-318:0:4401
-319:3:4138
-320:0:4401
-321:3:4142
-322:3:4143
-323:3:4147
-324:3:4151
-325:3:4152
-326:3:4156
-327:3:4164
-328:3:4165
-329:3:4170
-330:3:4177
-331:3:4178
-332:3:4185
-333:3:4190
-334:0:4401
-335:3:4201
-336:0:4401
-337:3:4205
-338:3:4206
-339:3:4210
-340:3:4214
-341:3:4215
-342:3:4219
-343:3:4227
-344:3:4228
-345:3:4233
-346:3:4240
-347:3:4241
-348:3:4248
-349:3:4253
-350:0:4401
-351:3:4264
-352:0:4401
-353:3:4272
-354:3:4273
-355:3:4277
-356:3:4281
-357:3:4282
-358:3:4286
-359:3:4294
-360:3:4295
-361:3:4300
-362:3:4307
-363:3:4308
-364:3:4315
-365:3:4320
-366:0:4401
-367:3:4335
-368:0:4401
-369:3:4337
-370:0:4401
-371:3:4338
-372:0:4401
-373:3:2486
-374:0:4401
-375:3:2487
-376:3:2491
-377:3:2492
-378:3:2500
-379:3:2501
-380:3:2505
-381:3:2506
-382:3:2514
-383:3:2519
-384:3:2523
-385:3:2524
-386:3:2531
-387:3:2532
-388:3:2543
-389:3:2544
-390:3:2545
-391:3:2556
-392:3:2561
-393:3:2562
-394:0:4401
-395:3:2574
-396:0:4401
-397:3:2576
-398:3:2577
-399:0:4401
-400:3:2581
-401:3:2585
-402:3:2586
-403:3:2594
-404:3:2595
-405:3:2599
-406:3:2600
-407:3:2608
-408:3:2613
-409:3:2614
-410:3:2625
-411:3:2626
-412:3:2637
-413:3:2638
-414:3:2639
-415:3:2650
-416:3:2655
-417:3:2656
-418:0:4401
-419:3:2668
-420:0:4401
-421:3:2670
-422:0:4401
-423:3:2671
-424:0:4401
-425:3:2681
-426:0:4401
-427:3:2682
-428:0:4401
-429:3:2686
-430:3:2687
-431:3:2691
-432:3:2695
-433:3:2696
-434:3:2700
-435:3:2708
-436:3:2709
-437:3:2714
-438:3:2721
-439:3:2722
-440:3:2729
-441:3:2734
-442:0:4401
-443:3:2745
-444:0:4401
-445:3:2749
-446:3:2750
-447:3:2754
-448:3:2758
-449:3:2759
-450:3:2763
-451:3:2771
-452:3:2772
-453:3:2777
-454:3:2784
-455:3:2785
-456:3:2792
-457:3:2797
-458:0:4401
-459:3:2808
-460:0:4401
-461:3:2816
-462:3:2817
-463:3:2821
-464:3:2825
-465:3:2826
-466:3:2830
-467:3:2838
-468:3:2839
-469:3:2844
-470:3:2851
-471:3:2852
-472:3:2859
-473:3:2864
-474:0:4401
-475:3:2879
-476:0:4401
-477:3:2881
-478:0:4401
-479:3:2882
-480:3:2886
-481:3:2887
-482:3:2895
-483:3:2896
-484:3:2900
-485:3:2901
-486:3:2909
-487:3:2914
-488:3:2918
-489:3:2919
-490:3:2926
-491:3:2927
-492:3:2938
-493:3:2939
-494:3:2940
-495:3:2951
-496:3:2956
-497:3:2957
-498:0:4401
-499:3:2969
-500:0:4401
-501:3:2971
-502:0:4401
-503:3:2974
-504:3:2975
-505:3:2987
-506:3:2988
-507:3:2992
-508:3:2993
-509:3:3001
-510:3:3006
-511:3:3010
-512:3:3011
-513:3:3018
-514:3:3019
-515:3:3030
-516:3:3031
-517:3:3032
-518:3:3043
-519:3:3048
-520:3:3049
-521:0:4401
-522:3:3061
-523:0:4401
-524:3:3063
-525:0:4401
-526:3:3064
-527:0:4401
-528:3:3065
-529:0:4401
-530:3:3066
-531:0:4401
-532:3:3067
-533:3:3071
-534:3:3072
-535:3:3080
-536:3:3081
-537:3:3085
-538:3:3086
-539:3:3094
-540:3:3099
-541:3:3103
-542:3:3104
-543:3:3111
-544:3:3112
-545:3:3123
-546:3:3124
-547:3:3125
-548:3:3136
-549:3:3141
-550:3:3142
-551:0:4401
-552:3:3154
-553:0:4401
-554:3:3356
-555:0:4401
-556:3:3454
-557:0:4401
-558:3:3455
-559:0:4401
-560:3:3459
-561:0:4401
-562:3:3465
-563:3:3469
-564:3:3470
-565:3:3478
-566:3:3479
-567:3:3483
-568:3:3484
-569:3:3492
-570:3:3497
-571:3:3501
-572:3:3502
-573:3:3509
-574:3:3510
-575:3:3521
-576:3:3522
-577:3:3523
-578:3:3534
-579:3:3539
-580:3:3540
-581:0:4401
-582:3:3552
-583:0:4401
-584:3:3554
-585:0:4401
-586:3:3555
-587:3:3559
-588:3:3560
-589:3:3568
-590:3:3569
-591:3:3573
-592:3:3574
-593:3:3582
-594:3:3587
-595:3:3591
-596:3:3592
-597:3:3599
-598:3:3600
-599:3:3611
-600:3:3612
-601:3:3613
-602:3:3624
-603:3:3629
-604:3:3630
-605:0:4401
-606:3:3642
-607:0:4401
-608:3:3644
-609:0:4401
-610:3:3647
-611:3:3648
-612:3:3660
-613:3:3661
-614:3:3665
-615:3:3666
-616:3:3674
-617:3:3679
-618:3:3683
-619:3:3684
-620:3:3691
-621:3:3692
-622:3:3703
-623:3:3704
-624:3:3705
-625:3:3716
-626:3:3721
-627:3:3722
-628:0:4401
-629:3:3734
-630:0:4401
-631:3:3736
-632:0:4401
-633:3:3737
-634:0:4401
-635:3:3738
-636:0:4401
-637:3:3739
-638:0:4401
-639:3:3740
-640:3:3744
-641:3:3745
-642:3:3753
-643:3:3754
-644:3:3758
-645:3:3759
-646:3:3767
-647:3:3772
-648:3:3776
-649:3:3777
-650:3:3784
-651:3:3785
-652:3:3796
-653:3:3797
-654:3:3798
-655:3:3809
-656:3:3814
-657:3:3815
-658:0:4401
-659:3:3827
-660:0:4401
-661:3:4029
-662:0:4401
-663:3:4127
-664:0:4401
-665:3:4128
-666:0:4401
-667:3:4132
-668:0:4401
-669:3:4138
-670:0:4401
-671:3:4142
-672:3:4143
-673:3:4147
-674:3:4151
-675:3:4152
-676:3:4156
-677:3:4164
-678:3:4165
-679:3:4170
-680:3:4177
-681:3:4178
-682:3:4185
-683:3:4190
-684:0:4401
-685:3:4201
-686:0:4401
-687:3:4205
-688:3:4206
-689:3:4210
-690:3:4214
-691:3:4215
-692:3:4219
-693:3:4227
-694:3:4228
-695:3:4233
-696:3:4240
-697:3:4241
-698:3:4248
-699:3:4253
-700:0:4401
-701:3:4264
-702:0:4401
-703:3:4272
-704:3:4273
-705:3:4277
-706:3:4281
-707:3:4282
-708:3:4286
-709:3:4294
-710:3:4295
-711:3:4300
-712:3:4307
-713:3:4308
-714:3:4315
-715:3:4320
-716:0:4401
-717:3:4335
-718:0:4401
-719:3:4337
-720:0:4401
-721:3:4338
-722:0:4401
-723:3:2486
-724:0:4401
-725:3:2487
-726:3:2491
-727:3:2492
-728:3:2500
-729:3:2501
-730:3:2505
-731:3:2506
-732:3:2514
-733:3:2519
-734:3:2523
-735:3:2524
-736:3:2531
-737:3:2532
-738:3:2543
-739:3:2544
-740:3:2545
-741:3:2556
-742:3:2561
-743:3:2562
-744:0:4401
-745:3:2574
-746:0:4401
-747:3:2576
-748:3:2577
-749:0:4401
-750:3:2581
-751:3:2585
-752:3:2586
-753:3:2594
-754:3:2595
-755:3:2599
-756:3:2600
-757:3:2608
-758:3:2613
-759:3:2614
-760:3:2625
-761:3:2626
-762:3:2637
-763:3:2638
-764:3:2639
-765:3:2650
-766:3:2655
-767:3:2656
-768:0:4401
-769:3:2668
-770:0:4401
-771:3:2670
-772:0:4401
-773:3:2671
-774:0:4401
-775:3:2681
-776:0:4401
-777:3:2682
-778:0:4401
-779:3:2686
-780:3:2687
-781:3:2691
-782:3:2695
-783:3:2696
-784:3:2700
-785:3:2708
-786:3:2709
-787:3:2714
-788:3:2721
-789:3:2722
-790:3:2729
-791:3:2734
-792:0:4401
-793:3:2745
-794:0:4401
-795:3:2749
-796:3:2750
-797:3:2754
-798:3:2758
-799:3:2759
-800:3:2763
-801:3:2771
-802:3:2772
-803:3:2777
-804:3:2784
-805:3:2785
-806:3:2792
-807:3:2797
-808:0:4401
-809:3:2808
-810:0:4401
-811:3:2816
-812:3:2817
-813:3:2821
-814:3:2825
-815:3:2826
-816:3:2830
-817:3:2838
-818:3:2839
-819:3:2844
-820:3:2851
-821:3:2852
-822:3:2859
-823:3:2864
-824:0:4401
-825:3:2879
-826:0:4401
-827:3:2881
-828:0:4401
-829:3:2882
-830:3:2886
-831:3:2887
-832:3:2895
-833:3:2896
-834:3:2900
-835:3:2901
-836:3:2909
-837:3:2914
-838:3:2918
-839:3:2919
-840:3:2926
-841:3:2927
-842:3:2938
-843:3:2939
-844:3:2940
-845:3:2951
-846:3:2956
-847:3:2957
-848:0:4401
-849:3:2969
-850:0:4401
-851:3:2971
-852:0:4401
-853:3:2974
-854:3:2975
-855:3:2987
-856:3:2988
-857:3:2992
-858:3:2993
-859:3:3001
-860:3:3006
-861:3:3010
-862:3:3011
-863:3:3018
-864:3:3019
-865:3:3030
-866:3:3031
-867:3:3032
-868:3:3043
-869:3:3048
-870:3:3049
-871:0:4401
-872:3:3061
-873:0:4401
-874:3:3063
-875:0:4401
-876:3:3064
-877:0:4401
-878:3:3065
-879:0:4401
-880:3:3066
-881:0:4401
-882:3:3067
-883:3:3071
-884:3:3072
-885:3:3080
-886:3:3081
-887:3:3085
-888:3:3086
-889:3:3094
-890:3:3099
-891:3:3103
-892:3:3104
-893:3:3111
-894:3:3112
-895:3:3123
-896:3:3124
-897:3:3125
-898:3:3136
-899:3:3141
-900:3:3142
-901:0:4401
-902:3:3154
-903:0:4401
-904:3:3356
-905:0:4401
-906:3:3454
-907:0:4401
-908:3:3455
-909:0:4401
-910:3:3459
-911:0:4401
-912:3:3465
-913:3:3469
-914:3:3470
-915:3:3478
-916:3:3479
-917:3:3483
-918:3:3484
-919:3:3492
-920:3:3497
-921:3:3501
-922:3:3502
-923:3:3509
-924:3:3510
-925:3:3521
-926:3:3522
-927:3:3523
-928:3:3534
-929:3:3539
-930:3:3540
-931:0:4401
-932:3:3552
-933:0:4401
-934:3:3554
-935:0:4401
-936:3:3555
-937:3:3559
-938:3:3560
-939:3:3568
-940:3:3569
-941:3:3573
-942:3:3574
-943:3:3582
-944:3:3587
-945:3:3591
-946:3:3592
-947:3:3599
-948:3:3600
-949:3:3611
-950:3:3612
-951:3:3613
-952:3:3624
-953:3:3629
-954:3:3630
-955:0:4401
-956:3:3642
-957:0:4401
-958:3:3644
-959:0:4401
-960:3:3647
-961:3:3648
-962:3:3660
-963:3:3661
-964:3:3665
-965:3:3666
-966:3:3674
-967:3:3679
-968:3:3683
-969:3:3684
-970:3:3691
-971:3:3692
-972:3:3703
-973:3:3704
-974:3:3705
-975:3:3716
-976:3:3721
-977:3:3722
-978:0:4401
-979:3:3734
-980:0:4401
-981:3:3736
-982:0:4401
-983:3:3737
-984:0:4401
-985:3:3738
-986:0:4401
-987:3:3739
-988:0:4401
-989:3:3740
-990:3:3744
-991:3:3745
-992:3:3753
-993:3:3754
-994:3:3758
-995:3:3759
-996:3:3767
-997:3:3772
-998:3:3776
-999:3:3777
-1000:3:3784
-1001:3:3785
-1002:3:3796
-1003:3:3797
-1004:3:3798
-1005:3:3809
-1006:3:3814
-1007:3:3815
-1008:0:4401
-1009:3:3827
-1010:0:4401
-1011:3:4029
-1012:0:4401
-1013:3:4127
-1014:0:4401
-1015:3:4128
-1016:0:4401
-1017:3:4132
-1018:0:4401
-1019:3:4138
-1020:0:4401
-1021:3:4142
-1022:3:4143
-1023:3:4147
-1024:3:4151
-1025:3:4152
-1026:3:4156
-1027:3:4164
-1028:3:4165
-1029:3:4170
-1030:3:4177
-1031:3:4178
-1032:3:4185
-1033:3:4190
-1034:0:4401
-1035:3:4201
-1036:0:4401
-1037:3:4205
-1038:3:4206
-1039:3:4210
-1040:3:4214
-1041:3:4215
-1042:3:4219
-1043:3:4227
-1044:3:4228
-1045:3:4233
-1046:3:4240
-1047:3:4241
-1048:3:4248
-1049:3:4253
-1050:0:4401
-1051:3:4264
-1052:0:4401
-1053:3:4272
-1054:3:4273
-1055:3:4277
-1056:3:4281
-1057:3:4282
-1058:3:4286
-1059:3:4294
-1060:3:4295
-1061:3:4300
-1062:3:4307
-1063:3:4308
-1064:3:4315
-1065:3:4320
-1066:0:4401
-1067:3:4335
-1068:0:4401
-1069:3:4337
-1070:0:4401
-1071:3:4338
-1072:0:4401
-1073:3:4341
-1074:0:4401
-1075:3:4346
-1076:0:4401
-1077:2:1236
-1078:0:4401
-1079:3:4347
-1080:0:4401
-1081:2:1242
-1082:0:4401
-1083:3:4346
-1084:0:4401
-1085:2:1243
-1086:0:4401
-1087:3:4347
-1088:0:4401
-1089:2:1244
-1090:0:4401
-1091:3:4346
-1092:0:4401
-1093:2:1245
-1094:0:4401
-1095:3:4347
-1096:0:4401
-1097:1:2
-1098:0:4401
-1099:3:4346
-1100:0:4401
-1101:2:1246
-1102:0:4401
-1103:3:4347
-1104:0:4401
-1105:1:8
-1106:0:4401
-1107:3:4346
-1108:0:4401
-1109:2:1245
-1110:0:4401
-1111:3:4347
-1112:0:4401
-1113:1:9
-1114:0:4401
-1115:3:4346
-1116:0:4401
-1117:2:1246
-1118:0:4401
-1119:3:4347
-1120:0:4401
-1121:1:10
-1122:0:4401
-1123:3:4346
-1124:0:4401
-1125:2:1245
-1126:0:4401
-1127:3:4347
-1128:0:4401
-1129:1:11
-1130:0:4401
-1131:3:4346
-1132:0:4401
-1133:2:1246
-1134:0:4401
-1135:3:4347
-1136:0:4401
-1137:1:14
-1138:0:4401
-1139:3:4346
-1140:0:4401
-1141:2:1245
-1142:0:4401
-1143:3:4347
-1144:0:4401
-1145:1:15
-1146:0:4401
-1147:3:4346
-1148:0:4401
-1149:2:1246
-1150:0:4401
-1151:3:4347
-1152:0:4401
-1153:1:16
-1154:1:20
-1155:1:21
-1156:1:29
-1157:1:30
-1158:1:34
-1159:1:35
-1160:1:43
-1161:1:48
-1162:1:52
-1163:1:53
-1164:1:60
-1165:1:61
-1166:1:72
-1167:1:73
-1168:1:74
-1169:1:85
-1170:1:90
-1171:1:91
-1172:0:4401
-1173:3:4346
-1174:0:4401
-1175:2:1245
-1176:0:4401
-1177:3:4347
-1178:0:4401
-1179:1:103
-1180:0:4401
-1181:3:4346
-1182:0:4401
-1183:2:1246
-1184:0:4401
-1185:3:4347
-1186:0:4401
-1187:2:1247
-1188:0:4401
-1189:3:4346
-1190:0:4401
-1191:2:1253
-1192:0:4401
-1193:3:4347
-1194:0:4401
-1195:2:1254
-1196:0:4399
-1197:3:4346
-1198:0:4405
-1199:3:4347
-1200:0:4405
-1201:2:1257
-1202:0:4405
-1203:3:4346
-1204:0:4405
-1205:2:1258
-1206:0:4405
-1207:3:4347
-1208:0:4405
-1209:2:1259
-1210:2:1263
-1211:2:1264
-1212:2:1272
-1213:2:1273
-1214:2:1277
-1215:2:1278
-1216:2:1286
-1217:2:1291
-1218:2:1295
-1219:2:1296
-1220:2:1303
-1221:2:1304
-1222:2:1315
-1223:2:1316
-1224:2:1317
-1225:2:1328
-1226:2:1333
-1227:2:1334
-1228:0:4405
-1229:3:4346
-1230:0:4405
-1231:2:1346
-1232:0:4405
-1233:3:4347
-1234:0:4405
-1235:2:1347
-1236:0:4405
-1237:3:4346
-1238:0:4405
-1239:1:104
--1:-1:-1
-1240:0:4405
-1241:3:4347
-1242:0:4405
-1243:3:4346
-1244:0:4405
-1245:2:1348
-1246:0:4405
-1247:3:4347
-1248:0:4405
-1249:2:1347
-1250:0:4405
-1251:3:4346
-1252:0:4405
-1253:1:105
-1254:0:4405
-1255:3:4347
-1256:0:4405
-1257:3:4346
-1258:0:4405
-1259:2:1348
-1260:0:4405
-1261:3:4347
-1262:0:4405
-1263:2:1347
-1264:0:4405
-1265:3:4346
-1266:0:4405
-1267:1:104