userspace-rcu formal model removal

[urcu.git] / formal-model / urcu / result-signal-over-writer / urcu_free_single_flip.spin.input.trail

diff --git a/formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.spin.input.trail b/formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.spin.input.trail
deleted file mode 100644 (file)
index 84cf653..0000000
--- a/formal-model/urcu/result-signal-over-writer/urcu_free_single_flip.spin.input.trail
+++ /dev/null
@@ -1,1379 +0,0 @@
--2:4:-2
--4:-4:-4
-1:0:2904
-2:4:2856
-3:4:2859
-4:4:2859
-5:4:2862
-6:4:2870
-7:4:2870
-8:4:2873
-9:4:2879
-10:4:2883
-11:4:2883
-12:4:2886
-13:4:2894
-14:4:2898
-15:4:2899
-16:0:2904
-17:4:2901
-18:0:2904
-19:3:1655
-20:0:2904
-21:3:1661
-22:0:2904
-23:3:1662
-24:0:2904
-25:3:1663
-26:3:1667
-27:3:1668
-28:3:1676
-29:3:1677
-30:3:1681
-31:3:1682
-32:3:1690
-33:3:1695
-34:3:1699
-35:3:1700
-36:3:1707
-37:3:1708
-38:3:1719
-39:3:1720
-40:3:1721
-41:3:1732
-42:3:1737
-43:3:1738
-44:0:2904
-45:3:1750
-46:0:2904
-47:3:1752
-48:3:1753
-49:0:2904
-50:3:1757
-51:3:1761
-52:3:1762
-53:3:1770
-54:3:1771
-55:3:1775
-56:3:1776
-57:3:1784
-58:3:1789
-59:3:1790
-60:3:1801
-61:3:1802
-62:3:1813
-63:3:1814
-64:3:1815
-65:3:1826
-66:3:1831
-67:3:1832
-68:0:2904
-69:3:1844
-70:0:2904
-71:3:1846
-72:0:2904
-73:3:1847
-74:0:2904
-75:3:1857
-76:0:2904
-77:3:1858
-78:0:2904
-79:3:1862
-80:3:1863
-81:3:1867
-82:3:1871
-83:3:1872
-84:3:1876
-85:3:1884
-86:3:1885
-87:3:1890
-88:3:1897
-89:3:1898
-90:3:1905
-91:3:1910
-92:0:2904
-93:3:1921
-94:0:2904
-95:3:1925
-96:3:1926
-97:3:1930
-98:3:1934
-99:3:1935
-100:3:1939
-101:3:1947
-102:3:1948
-103:3:1953
-104:3:1960
-105:3:1961
-106:3:1968
-107:3:1973
-108:0:2904
-109:3:1984
-110:0:2904
-111:3:1992
-112:3:1993
-113:3:1997
-114:3:2001
-115:3:2002
-116:3:2006
-117:3:2014
-118:3:2015
-119:3:2020
-120:3:2027
-121:3:2028
-122:3:2035
-123:3:2040
-124:0:2904
-125:3:2055
-126:0:2904
-127:3:2057
-128:0:2904
-129:3:2058
-130:3:2062
-131:3:2063
-132:3:2071
-133:3:2072
-134:3:2076
-135:3:2077
-136:3:2085
-137:3:2090
-138:3:2094
-139:3:2095
-140:3:2102
-141:3:2103
-142:3:2114
-143:3:2115
-144:3:2116
-145:3:2127
-146:3:2132
-147:3:2133
-148:0:2904
-149:3:2145
-150:0:2904
-151:3:2147
-152:0:2904
-153:3:2150
-154:3:2151
-155:3:2163
-156:3:2164
-157:3:2168
-158:3:2169
-159:3:2177
-160:3:2182
-161:3:2186
-162:3:2187
-163:3:2194
-164:3:2195
-165:3:2206
-166:3:2207
-167:3:2208
-168:3:2219
-169:3:2224
-170:3:2225
-171:0:2904
-172:3:2237
-173:0:2904
-174:3:2239
-175:0:2904
-176:3:2240
-177:0:2904
-178:3:2241
-179:0:2904
-180:3:2242
-181:0:2904
-182:3:2243
-183:3:2247
-184:3:2248
-185:3:2256
-186:3:2257
-187:3:2261
-188:3:2262
-189:3:2270
-190:3:2275
-191:3:2279
-192:3:2280
-193:3:2287
-194:3:2288
-195:3:2299
-196:3:2300
-197:3:2301
-198:3:2312
-199:3:2317
-200:3:2318
-201:0:2904
-202:3:2330
-203:0:2904
-204:3:2532
-205:0:2904
-206:3:2630
-207:0:2904
-208:3:2631
-209:0:2904
-210:3:2635
-211:0:2904
-212:3:2641
-213:0:2904
-214:3:2645
-215:3:2646
-216:3:2650
-217:3:2654
-218:3:2655
-219:3:2659
-220:3:2667
-221:3:2668
-222:3:2673
-223:3:2680
-224:3:2681
-225:3:2688
-226:3:2693
-227:0:2904
-228:3:2704
-229:0:2904
-230:3:2708
-231:3:2709
-232:3:2713
-233:3:2717
-234:3:2718
-235:3:2722
-236:3:2730
-237:3:2731
-238:3:2736
-239:3:2743
-240:3:2744
-241:3:2751
-242:3:2756
-243:0:2904
-244:3:2767
-245:0:2904
-246:3:2775
-247:3:2776
-248:3:2780
-249:3:2784
-250:3:2785
-251:3:2789
-252:3:2797
-253:3:2798
-254:3:2803
-255:3:2810
-256:3:2811
-257:3:2818
-258:3:2823
-259:0:2904
-260:3:2838
-261:0:2904
-262:3:2840
-263:0:2904
-264:3:2841
-265:0:2904
-266:3:1662
-267:0:2904
-268:3:1663
-269:3:1667
-270:3:1668
-271:3:1676
-272:3:1677
-273:3:1681
-274:3:1682
-275:3:1690
-276:3:1695
-277:3:1699
-278:3:1700
-279:3:1707
-280:3:1708
-281:3:1719
-282:3:1720
-283:3:1721
-284:3:1732
-285:3:1737
-286:3:1738
-287:0:2904
-288:3:1750
-289:0:2904
-290:3:1752
-291:3:1753
-292:0:2904
-293:3:1757
-294:3:1761
-295:3:1762
-296:3:1770
-297:3:1771
-298:3:1775
-299:3:1776
-300:3:1784
-301:3:1789
-302:3:1790
-303:3:1801
-304:3:1802
-305:3:1813
-306:3:1814
-307:3:1815
-308:3:1826
-309:3:1831
-310:3:1832
-311:0:2904
-312:3:1844
-313:0:2904
-314:3:1846
-315:0:2904
-316:3:1847
-317:0:2904
-318:3:1857
-319:0:2904
-320:3:1858
-321:0:2904
-322:3:1862
-323:3:1863
-324:3:1867
-325:3:1871
-326:3:1872
-327:3:1876
-328:3:1884
-329:3:1885
-330:3:1890
-331:3:1897
-332:3:1898
-333:3:1905
-334:3:1910
-335:0:2904
-336:3:1921
-337:0:2904
-338:3:1925
-339:3:1926
-340:3:1930
-341:3:1934
-342:3:1935
-343:3:1939
-344:3:1947
-345:3:1948
-346:3:1953
-347:3:1960
-348:3:1961
-349:3:1968
-350:3:1973
-351:0:2904
-352:3:1984
-353:0:2904
-354:3:1992
-355:3:1993
-356:3:1997
-357:3:2001
-358:3:2002
-359:3:2006
-360:3:2014
-361:3:2015
-362:3:2020
-363:3:2027
-364:3:2028
-365:3:2035
-366:3:2040
-367:0:2904
-368:3:2055
-369:0:2904
-370:3:2057
-371:0:2904
-372:3:2058
-373:3:2062
-374:3:2063
-375:3:2071
-376:3:2072
-377:3:2076
-378:3:2077
-379:3:2085
-380:3:2090
-381:3:2094
-382:3:2095
-383:3:2102
-384:3:2103
-385:3:2114
-386:3:2115
-387:3:2116
-388:3:2127
-389:3:2132
-390:3:2133
-391:0:2904
-392:3:2145
-393:0:2904
-394:3:2147
-395:0:2904
-396:3:2150
-397:3:2151
-398:3:2163
-399:3:2164
-400:3:2168
-401:3:2169
-402:3:2177
-403:3:2182
-404:3:2186
-405:3:2187
-406:3:2194
-407:3:2195
-408:3:2206
-409:3:2207
-410:3:2208
-411:3:2219
-412:3:2224
-413:3:2225
-414:0:2904
-415:3:2237
-416:0:2904
-417:3:2239
-418:0:2904
-419:3:2240
-420:0:2904
-421:3:2241
-422:0:2904
-423:3:2242
-424:0:2904
-425:3:2243
-426:3:2247
-427:3:2248
-428:3:2256
-429:3:2257
-430:3:2261
-431:3:2262
-432:3:2270
-433:3:2275
-434:3:2279
-435:3:2280
-436:3:2287
-437:3:2288
-438:3:2299
-439:3:2300
-440:3:2301
-441:3:2312
-442:3:2317
-443:3:2318
-444:0:2904
-445:3:2330
-446:0:2904
-447:3:2532
-448:0:2904
-449:3:2630
-450:0:2904
-451:3:2631
-452:0:2904
-453:3:2635
-454:0:2904
-455:3:2641
-456:0:2904
-457:3:2645
-458:3:2646
-459:3:2650
-460:3:2654
-461:3:2655
-462:3:2659
-463:3:2667
-464:3:2668
-465:3:2673
-466:3:2680
-467:3:2681
-468:3:2688
-469:3:2693
-470:0:2904
-471:3:2704
-472:0:2904
-473:3:2708
-474:3:2709
-475:3:2713
-476:3:2717
-477:3:2718
-478:3:2722
-479:3:2730
-480:3:2731
-481:3:2736
-482:3:2743
-483:3:2744
-484:3:2751
-485:3:2756
-486:0:2904
-487:3:2767
-488:0:2904
-489:3:2775
-490:3:2776
-491:3:2780
-492:3:2784
-493:3:2785
-494:3:2789
-495:3:2797
-496:3:2798
-497:3:2803
-498:3:2810
-499:3:2811
-500:3:2818
-501:3:2823
-502:0:2904
-503:3:2838
-504:0:2904
-505:3:2840
-506:0:2904
-507:3:2841
-508:0:2904
-509:3:1662
-510:0:2904
-511:3:1663
-512:3:1667
-513:3:1668
-514:3:1676
-515:3:1677
-516:3:1681
-517:3:1682
-518:3:1690
-519:3:1695
-520:3:1699
-521:3:1700
-522:3:1707
-523:3:1708
-524:3:1719
-525:3:1720
-526:3:1721
-527:3:1732
-528:3:1737
-529:3:1738
-530:0:2904
-531:3:1750
-532:0:2904
-533:3:1752
-534:3:1753
-535:0:2904
-536:3:1757
-537:3:1761
-538:3:1762
-539:3:1770
-540:3:1771
-541:3:1775
-542:3:1776
-543:3:1784
-544:3:1789
-545:3:1790
-546:3:1801
-547:3:1802
-548:3:1813
-549:3:1814
-550:3:1815
-551:3:1826
-552:3:1831
-553:3:1832
-554:0:2904
-555:3:1844
-556:0:2904
-557:3:1846
-558:0:2904
-559:3:1847
-560:0:2904
-561:3:1857
-562:0:2904
-563:3:1858
-564:0:2904
-565:3:1862
-566:3:1863
-567:3:1867
-568:3:1871
-569:3:1872
-570:3:1876
-571:3:1884
-572:3:1885
-573:3:1890
-574:3:1897
-575:3:1898
-576:3:1905
-577:3:1910
-578:0:2904
-579:3:1921
-580:0:2904
-581:3:1925
-582:3:1926
-583:3:1930
-584:3:1934
-585:3:1935
-586:3:1939
-587:3:1947
-588:3:1948
-589:3:1953
-590:3:1960
-591:3:1961
-592:3:1968
-593:3:1973
-594:0:2904
-595:3:1984
-596:0:2904
-597:3:1992
-598:3:1993
-599:3:1997
-600:3:2001
-601:3:2002
-602:3:2006
-603:3:2014
-604:3:2015
-605:3:2020
-606:3:2027
-607:3:2028
-608:3:2035
-609:3:2040
-610:0:2904
-611:3:2055
-612:0:2904
-613:3:2057
-614:0:2904
-615:3:2058
-616:3:2062
-617:3:2063
-618:3:2071
-619:3:2072
-620:3:2076
-621:3:2077
-622:3:2085
-623:3:2090
-624:3:2094
-625:3:2095
-626:3:2102
-627:3:2103
-628:3:2114
-629:3:2115
-630:3:2116
-631:3:2127
-632:3:2132
-633:3:2133
-634:0:2904
-635:3:2145
-636:0:2904
-637:3:2147
-638:0:2904
-639:3:2150
-640:3:2151
-641:3:2163
-642:3:2164
-643:3:2168
-644:3:2169
-645:3:2177
-646:3:2182
-647:3:2186
-648:3:2187
-649:3:2194
-650:3:2195
-651:3:2206
-652:3:2207
-653:3:2208
-654:3:2219
-655:3:2224
-656:3:2225
-657:0:2904
-658:3:2237
-659:0:2904
-660:3:2239
-661:0:2904
-662:3:2240
-663:0:2904
-664:3:2241
-665:0:2904
-666:3:2242
-667:0:2904
-668:3:2243
-669:3:2247
-670:3:2248
-671:3:2256
-672:3:2257
-673:3:2261
-674:3:2262
-675:3:2270
-676:3:2275
-677:3:2279
-678:3:2280
-679:3:2287
-680:3:2288
-681:3:2299
-682:3:2300
-683:3:2301
-684:3:2312
-685:3:2317
-686:3:2318
-687:0:2904
-688:3:2330
-689:0:2904
-690:3:2532
-691:0:2904
-692:3:2630
-693:0:2904
-694:3:2631
-695:0:2904
-696:3:2635
-697:0:2904
-698:3:2641
-699:0:2904
-700:3:2645
-701:3:2646
-702:3:2650
-703:3:2654
-704:3:2655
-705:3:2659
-706:3:2667
-707:3:2668
-708:3:2673
-709:3:2680
-710:3:2681
-711:3:2688
-712:3:2693
-713:0:2904
-714:3:2704
-715:0:2904
-716:3:2708
-717:3:2709
-718:3:2713
-719:3:2717
-720:3:2718
-721:3:2722
-722:3:2730
-723:3:2731
-724:3:2736
-725:3:2743
-726:3:2744
-727:3:2751
-728:3:2756
-729:0:2904
-730:3:2767
-731:0:2904
-732:3:2775
-733:3:2776
-734:3:2780
-735:3:2784
-736:3:2785
-737:3:2789
-738:3:2797
-739:3:2798
-740:3:2803
-741:3:2810
-742:3:2811
-743:3:2818
-744:3:2823
-745:0:2904
-746:3:2838
-747:0:2904
-748:3:2840
-749:0:2904
-750:3:2841
-751:0:2904
-752:3:1662
-753:0:2904
-754:3:1663
-755:3:1667
-756:3:1668
-757:3:1676
-758:3:1677
-759:3:1681
-760:3:1682
-761:3:1690
-762:3:1695
-763:3:1699
-764:3:1700
-765:3:1707
-766:3:1708
-767:3:1719
-768:3:1720
-769:3:1721
-770:3:1732
-771:3:1737
-772:3:1738
-773:0:2904
-774:3:1750
-775:0:2904
-776:3:1752
-777:3:1753
-778:0:2904
-779:3:1757
-780:3:1761
-781:3:1762
-782:3:1770
-783:3:1771
-784:3:1775
-785:3:1776
-786:3:1784
-787:3:1789
-788:3:1790
-789:3:1801
-790:3:1802
-791:3:1813
-792:3:1814
-793:3:1815
-794:3:1826
-795:3:1831
-796:3:1832
-797:0:2904
-798:3:1844
-799:0:2904
-800:3:1846
-801:0:2904
-802:3:1847
-803:0:2904
-804:3:1857
-805:0:2904
-806:3:1858
-807:0:2904
-808:3:1862
-809:3:1863
-810:3:1867
-811:3:1871
-812:3:1872
-813:3:1876
-814:3:1884
-815:3:1885
-816:3:1890
-817:3:1897
-818:3:1898
-819:3:1905
-820:3:1910
-821:0:2904
-822:3:1921
-823:0:2904
-824:3:1925
-825:3:1926
-826:3:1930
-827:3:1934
-828:3:1935
-829:3:1939
-830:3:1947
-831:3:1948
-832:3:1953
-833:3:1960
-834:3:1961
-835:3:1968
-836:3:1973
-837:0:2904
-838:3:1984
-839:0:2904
-840:3:1992
-841:3:1993
-842:3:1997
-843:3:2001
-844:3:2002
-845:3:2006
-846:3:2014
-847:3:2015
-848:3:2020
-849:3:2027
-850:3:2028
-851:3:2035
-852:3:2040
-853:0:2904
-854:3:2055
-855:0:2904
-856:3:2057
-857:0:2904
-858:3:2058
-859:3:2062
-860:3:2063
-861:3:2071
-862:3:2072
-863:3:2076
-864:3:2077
-865:3:2085
-866:3:2090
-867:3:2094
-868:3:2095
-869:3:2102
-870:3:2103
-871:3:2114
-872:3:2115
-873:3:2116
-874:3:2127
-875:3:2132
-876:3:2133
-877:0:2904
-878:3:2145
-879:0:2904
-880:3:2147
-881:0:2904
-882:3:2150
-883:3:2151
-884:3:2163
-885:3:2164
-886:3:2168
-887:3:2169
-888:3:2177
-889:3:2182
-890:3:2186
-891:3:2187
-892:3:2194
-893:3:2195
-894:3:2206
-895:3:2207
-896:3:2208
-897:3:2219
-898:3:2224
-899:3:2225
-900:0:2904
-901:3:2237
-902:0:2904
-903:3:2239
-904:0:2904
-905:3:2240
-906:0:2904
-907:3:2241
-908:0:2904
-909:3:2242
-910:0:2904
-911:3:2243
-912:3:2247
-913:3:2248
-914:3:2256
-915:3:2257
-916:3:2261
-917:3:2262
-918:3:2270
-919:3:2275
-920:3:2279
-921:3:2280
-922:3:2287
-923:3:2288
-924:3:2299
-925:3:2300
-926:3:2301
-927:3:2312
-928:3:2317
-929:3:2318
-930:0:2904
-931:3:2330
-932:0:2904
-933:3:2532
-934:0:2904
-935:3:2630
-936:0:2904
-937:3:2631
-938:0:2904
-939:3:2635
-940:0:2904
-941:3:2641
-942:0:2904
-943:3:2645
-944:3:2646
-945:3:2650
-946:3:2654
-947:3:2655
-948:3:2659
-949:3:2667
-950:3:2668
-951:3:2673
-952:3:2680
-953:3:2681
-954:3:2688
-955:3:2693
-956:0:2904
-957:3:2704
-958:0:2904
-959:2:848
-960:0:2904
-961:2:854
-962:0:2904
-963:2:855
-964:0:2904
-965:2:856
-966:0:2904
-967:2:857
-968:0:2904
-969:1:2
-970:0:2904
-971:2:858
-972:0:2904
-973:1:8
-974:0:2904
-975:1:9
-976:0:2904
-977:1:10
-978:0:2904
-979:1:11
-980:0:2904
-981:2:857
-982:0:2904
-983:1:12
-984:1:16
-985:1:17
-986:1:25
-987:1:26
-988:1:30
-989:1:31
-990:1:39
-991:1:44
-992:1:48
-993:1:49
-994:1:63
-995:1:64
-996:1:68
-997:1:69
-998:1:70
-999:1:81
-1000:1:86
-1001:1:87
-1002:0:2904
-1003:2:858
-1004:0:2904
-1005:1:99
-1006:0:2904
-1007:2:859
-1008:0:2904
-1009:2:860
-1010:0:2904
-1011:2:871
-1012:0:2904
-1013:2:872
-1014:0:2904
-1015:2:873
-1016:2:877
-1017:2:878
-1018:2:886
-1019:2:887
-1020:2:891
-1021:2:892
-1022:2:900
-1023:2:905
-1024:2:909
-1025:2:910
-1026:2:924
-1027:2:925
-1028:2:929
-1029:2:930
-1030:2:931
-1031:2:942
-1032:2:947
-1033:2:948
-1034:0:2904
-1035:2:960
-1036:0:2904
-1037:2:961
-1038:2:965
-1039:2:966
-1040:2:974
-1041:2:975
-1042:2:979
-1043:2:980
-1044:2:988
-1045:2:993
-1046:2:997
-1047:2:998
-1048:2:1012
-1049:2:1013
-1050:2:1017
-1051:2:1018
-1052:2:1019
-1053:2:1030
-1054:2:1035
-1055:2:1036
-1056:0:2904
-1057:2:1048
-1058:0:2904
-1059:2:1049
-1060:0:2904
-1061:3:2708
-1062:3:2709
-1063:3:2713
-1064:3:2717
-1065:3:2718
-1066:3:2722
-1067:3:2730
-1068:3:2731
-1069:3:2736
-1070:3:2743
-1071:3:2744
-1072:3:2751
-1073:3:2756
-1074:0:2904
-1075:3:2767
-1076:0:2904
-1077:3:2775
-1078:3:2776
-1079:3:2780
-1080:3:2784
-1081:3:2785
-1082:3:2789
-1083:3:2797
-1084:3:2798
-1085:3:2803
-1086:3:2810
-1087:3:2811
-1088:3:2818
-1089:3:2823
-1090:0:2904
-1091:3:2838
-1092:0:2904
-1093:3:2840
-1094:0:2904
-1095:3:2841
-1096:0:2904
-1097:3:1662
-1098:0:2904
-1099:3:1663
-1100:3:1667
-1101:3:1668
-1102:3:1676
-1103:3:1677
-1104:3:1681
-1105:3:1682
-1106:3:1690
-1107:3:1695
-1108:3:1699
-1109:3:1700
-1110:3:1707
-1111:3:1708
-1112:3:1719
-1113:3:1720
-1114:3:1721
-1115:3:1732
-1116:3:1737
-1117:3:1738
-1118:0:2904
-1119:3:1750
-1120:0:2904
-1121:3:1752
-1122:3:1753
-1123:0:2904
-1124:3:1757
-1125:3:1761
-1126:3:1762
-1127:3:1770
-1128:3:1771
-1129:3:1775
-1130:3:1776
-1131:3:1784
-1132:3:1789
-1133:3:1790
-1134:3:1801
-1135:3:1802
-1136:3:1813
-1137:3:1814
-1138:3:1815
-1139:3:1826
-1140:3:1831
-1141:3:1832
-1142:0:2904
-1143:3:1844
-1144:0:2904
-1145:3:1846
-1146:0:2904
-1147:3:1847
-1148:0:2904
-1149:3:1857
-1150:0:2904
-1151:3:1858
-1152:0:2904
-1153:3:1862
-1154:3:1863
-1155:3:1867
-1156:3:1871
-1157:3:1872
-1158:3:1876
-1159:3:1884
-1160:3:1885
-1161:3:1890
-1162:3:1897
-1163:3:1898
-1164:3:1905
-1165:3:1910
-1166:0:2904
-1167:3:1921
-1168:0:2904
-1169:2:1050
-1170:2:1054
-1171:2:1055
-1172:2:1063
-1173:2:1064
-1174:2:1068
-1175:2:1069
-1176:2:1077
-1177:2:1082
-1178:2:1086
-1179:2:1087
-1180:2:1094
-1181:2:1095
-1182:2:1106
-1183:2:1107
-1184:2:1108
-1185:2:1119
-1186:2:1131
-1187:2:1132
-1188:0:2904
-1189:2:1137
-1190:0:2904
-1191:2:1338
-1192:0:2904
-1193:2:1339
-1194:0:2904
-1195:2:1344
-1196:0:2904
-1197:2:1349
-1198:0:2904
-1199:3:1925
-1200:3:1926
-1201:3:1930
-1202:3:1931
-1203:3:1939
-1204:3:1947
-1205:3:1948
-1206:3:1953
-1207:3:1960
-1208:3:1961
-1209:3:1968
-1210:3:1973
-1211:0:2904
-1212:3:1984
-1213:0:2904
-1214:3:1992
-1215:3:1993
-1216:3:1997
-1217:3:2001
-1218:3:2002
-1219:3:2006
-1220:3:2014
-1221:3:2015
-1222:3:2020
-1223:3:2027
-1224:3:2028
-1225:3:2035
-1226:3:2040
-1227:0:2904
-1228:3:2055
-1229:0:2904
-1230:3:2057
-1231:0:2904
-1232:3:2058
-1233:3:2062
-1234:3:2063
-1235:3:2071
-1236:3:2072
-1237:3:2076
-1238:3:2077
-1239:3:2085
-1240:3:2090
-1241:3:2094
-1242:3:2095
-1243:3:2102
-1244:3:2103
-1245:3:2114
-1246:3:2115
-1247:3:2116
-1248:3:2127
-1249:3:2132
-1250:3:2133
-1251:0:2904
-1252:3:2145
-1253:0:2904
-1254:3:2147
-1255:0:2904
-1256:3:2150
-1257:3:2151
-1258:3:2163
-1259:3:2164
-1260:3:2168
-1261:3:2169
-1262:3:2177
-1263:3:2182
-1264:3:2186
-1265:3:2187
-1266:3:2194
-1267:3:2195
-1268:3:2206
-1269:3:2207
-1270:3:2208
-1271:3:2219
-1272:3:2224
-1273:3:2225
-1274:0:2904
-1275:3:2237
-1276:0:2904
-1277:3:2239
-1278:0:2904
-1279:3:2240
-1280:0:2904
-1281:3:2241
-1282:0:2904
-1283:3:2242
-1284:0:2904
-1285:3:2243
-1286:3:2247
-1287:3:2248
-1288:3:2256
-1289:3:2257
-1290:3:2261
-1291:3:2262
-1292:3:2270
-1293:3:2275
-1294:3:2279
-1295:3:2280
-1296:3:2287
-1297:3:2288
-1298:3:2299
-1299:3:2300
-1300:3:2301
-1301:3:2312
-1302:3:2317
-1303:3:2318
-1304:0:2904
-1305:3:2330
-1306:0:2904
-1307:3:2532
-1308:0:2904
-1309:3:2630
-1310:0:2904
-1311:3:2631
-1312:0:2904
-1313:3:2635
-1314:0:2904
-1315:3:2641
-1316:0:2904
-1317:3:2645
-1318:3:2646
-1319:3:2650
-1320:3:2654
-1321:3:2655
-1322:3:2659
-1323:3:2667
-1324:3:2668
-1325:3:2673
-1326:3:2680
-1327:3:2681
-1328:3:2688
-1329:3:2693
-1330:0:2904
-1331:3:2704
-1332:0:2904
-1333:3:2708
-1334:3:2709
-1335:3:2713
-1336:3:2717
-1337:3:2718
-1338:3:2722
-1339:3:2730
-1340:3:2731
-1341:3:2736
-1342:3:2743
-1343:3:2744
-1344:3:2751
-1345:3:2756
-1346:0:2904
-1347:3:2767
-1348:0:2904
-1349:3:2775
-1350:3:2776
-1351:3:2780
-1352:3:2784
-1353:3:2785
-1354:3:2789
-1355:3:2797
-1356:3:2798
-1357:3:2803
-1358:3:2810
-1359:3:2811
-1360:3:2818
-1361:3:2823
-1362:0:2904
-1363:3:2838
-1364:0:2904
-1365:3:2840
-1366:0:2904
-1367:3:2841
-1368:0:2904
-1369:3:2844
-1370:0:2904
-1371:3:2849
-1372:0:2904
-1373:2:1350
-1374:0:2902
-1375:3:2850
-1376:0:2908
-1377:1:296