userspace-rcu formal model removal

[urcu.git] / formal-model / urcu-controldataflow-alpha-ipi-progress-minimal / urcu_free_no_wmb.spin.input.trail

diff --git a/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input.trail b/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input.trail
deleted file mode 100644 (file)
index 4b13aef..0000000
--- a/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input.trail
+++ /dev/null
@@ -1,1361 +0,0 @@
--2:3:-2
--4:-4:-4
-1:0:2887
-2:2:1136
-3:2:1141
-4:2:1145
-5:2:1153
-6:2:1157
-7:2:1161
-8:0:2887
-9:1:0
-10:1:5
-11:1:9
-12:1:17
-13:1:21
-14:1:25
-15:0:2887
-16:3:2859
-17:3:2862
-18:3:2867
-19:3:2874
-20:3:2877
-21:3:2881
-22:3:2882
-23:0:2887
-24:3:2884
-25:0:2887
-26:2:1165
-27:0:2887
-28:2:1171
-29:0:2887
-30:2:1172
-31:0:2887
-32:2:1174
-33:0:2887
-34:2:1175
-35:0:2887
-36:2:1176
-37:0:2887
-38:2:1177
-39:2:1178
-40:2:1182
-41:2:1183
-42:2:1191
-43:2:1192
-44:2:1196
-45:2:1197
-46:2:1205
-47:2:1210
-48:2:1214
-49:2:1215
-50:2:1223
-51:2:1224
-52:2:1228
-53:2:1229
-54:2:1223
-55:2:1224
-56:2:1228
-57:2:1229
-58:2:1237
-59:2:1242
-60:2:1243
-61:2:1254
-62:2:1255
-63:2:1256
-64:2:1267
-65:2:1272
-66:2:1273
-67:2:1284
-68:2:1285
-69:2:1286
-70:2:1284
-71:2:1285
-72:2:1286
-73:2:1297
-74:2:1305
-75:0:2887
-76:2:1176
-77:0:2887
-78:2:1357
-79:2:1358
-80:2:1359
-81:0:2887
-82:2:1176
-83:0:2887
-84:2:1364
-85:0:2887
-86:2:2068
-87:2:2069
-88:2:2073
-89:2:2077
-90:2:2078
-91:2:2082
-92:2:2087
-93:2:2095
-94:2:2099
-95:2:2100
-96:2:2095
-97:2:2096
-98:2:2104
-99:2:2111
-100:2:2118
-101:2:2119
-102:2:2126
-103:2:2131
-104:2:2138
-105:2:2139
-106:2:2138
-107:2:2139
-108:2:2146
-109:2:2150
-110:0:2887
-111:2:2155
-112:0:2887
-113:2:2156
-114:0:2887
-115:2:2157
-116:0:2887
-117:2:2158
-118:0:2887
-119:1:29
-120:0:2887
-121:2:2159
-122:0:2887
-123:1:35
-124:0:2887
-125:1:36
-126:0:2887
-127:2:2158
-128:0:2887
-129:1:37
-130:0:2887
-131:2:2159
-132:0:2887
-133:1:38
-134:0:2887
-135:2:2158
-136:0:2887
-137:1:39
-138:0:2887
-139:2:2159
-140:0:2887
-141:1:40
-142:0:2887
-143:1:41
-144:0:2887
-145:2:2158
-146:0:2887
-147:1:42
-148:0:2887
-149:2:2159
-150:0:2887
-151:1:51
-152:0:2887
-153:2:2158
-154:0:2887
-155:1:55
-156:1:56
-157:1:60
-158:1:64
-159:1:65
-160:1:69
-161:1:77
-162:1:78
-163:1:82
-164:1:86
-165:1:87
-166:1:82
-167:1:86
-168:1:87
-169:1:91
-170:1:98
-171:1:105
-172:1:106
-173:1:113
-174:1:118
-175:1:125
-176:1:126
-177:1:125
-178:1:126
-179:1:133
-180:1:137
-181:0:2887
-182:2:2159
-183:0:2887
-184:1:142
-185:0:2887
-186:2:2160
-187:0:2887
-188:2:2165
-189:0:2887
-190:2:2166
-191:0:2887
-192:2:2174
-193:2:2175
-194:2:2179
-195:2:2183
-196:2:2184
-197:2:2188
-198:2:2196
-199:2:2197
-200:2:2201
-201:2:2205
-202:2:2206
-203:2:2201
-204:2:2205
-205:2:2206
-206:2:2210
-207:2:2217
-208:2:2224
-209:2:2225
-210:2:2232
-211:2:2237
-212:2:2244
-213:2:2245
-214:2:2244
-215:2:2245
-216:2:2252
-217:2:2256
-218:0:2887
-219:2:1366
-220:2:2049
-221:0:2887
-222:2:1176
-223:0:2887
-224:2:1367
-225:0:2887
-226:2:1176
-227:0:2887
-228:2:1370
-229:2:1371
-230:2:1375
-231:2:1376
-232:2:1384
-233:2:1385
-234:2:1389
-235:2:1390
-236:2:1398
-237:2:1403
-238:2:1407
-239:2:1408
-240:2:1416
-241:2:1417
-242:2:1421
-243:2:1422
-244:2:1416
-245:2:1417
-246:2:1421
-247:2:1422
-248:2:1430
-249:2:1435
-250:2:1436
-251:2:1447
-252:2:1448
-253:2:1449
-254:2:1460
-255:2:1465
-256:2:1466
-257:2:1477
-258:2:1478
-259:2:1479
-260:2:1477
-261:2:1478
-262:2:1479
-263:2:1490
-264:2:1497
-265:0:2887
-266:2:1176
-267:0:2887
-268:2:1501
-269:2:1502
-270:2:1503
-271:2:1515
-272:2:1516
-273:2:1520
-274:2:1521
-275:2:1529
-276:2:1534
-277:2:1538
-278:2:1539
-279:2:1547
-280:2:1548
-281:2:1552
-282:2:1553
-283:2:1547
-284:2:1548
-285:2:1552
-286:2:1553
-287:2:1561
-288:2:1566
-289:2:1567
-290:2:1578
-291:2:1579
-292:2:1580
-293:2:1591
-294:2:1596
-295:2:1597
-296:2:1608
-297:2:1609
-298:2:1610
-299:2:1608
-300:2:1609
-301:2:1610
-302:2:1621
-303:2:1632
-304:2:1633
-305:0:2887
-306:2:1176
-307:0:2887
-308:2:1640
-309:2:1641
-310:2:1645
-311:2:1646
-312:2:1654
-313:2:1655
-314:2:1659
-315:2:1660
-316:2:1668
-317:2:1673
-318:2:1677
-319:2:1678
-320:2:1686
-321:2:1687
-322:2:1691
-323:2:1692
-324:2:1686
-325:2:1687
-326:2:1691
-327:2:1692
-328:2:1700
-329:2:1705
-330:2:1706
-331:2:1717
-332:2:1718
-333:2:1719
-334:2:1730
-335:2:1735
-336:2:1736
-337:2:1747
-338:2:1748
-339:2:1749
-340:2:1747
-341:2:1748
-342:2:1749
-343:2:1760
-344:0:2887
-345:2:1176
-346:0:2887
-347:2:1769
-348:2:1770
-349:2:1774
-350:2:1775
-351:2:1783
-352:2:1784
-353:2:1788
-354:2:1789
-355:2:1797
-356:2:1802
-357:2:1806
-358:2:1807
-359:2:1815
-360:2:1816
-361:2:1820
-362:2:1821
-363:2:1815
-364:2:1816
-365:2:1820
-366:2:1821
-367:2:1829
-368:2:1834
-369:2:1835
-370:2:1846
-371:2:1847
-372:2:1848
-373:2:1859
-374:2:1864
-375:2:1865
-376:2:1876
-377:2:1877
-378:2:1878
-379:2:1876
-380:2:1877
-381:2:1878
-382:2:1889
-383:2:1896
-384:0:2887
-385:2:1176
-386:0:2887
-387:2:1900
-388:2:1901
-389:2:1902
-390:2:1914
-391:2:1915
-392:2:1919
-393:2:1920
-394:2:1928
-395:2:1933
-396:2:1937
-397:2:1938
-398:2:1946
-399:2:1947
-400:2:1951
-401:2:1952
-402:2:1946
-403:2:1947
-404:2:1951
-405:2:1952
-406:2:1960
-407:2:1965
-408:2:1966
-409:2:1977
-410:2:1978
-411:2:1979
-412:2:1990
-413:2:1995
-414:2:1996
-415:2:2007
-416:2:2008
-417:2:2009
-418:2:2007
-419:2:2008
-420:2:2009
-421:2:2020
-422:2:2030
-423:2:2031
-424:0:2887
-425:2:1176
-426:0:2887
-427:2:2037
-428:0:2887
-429:2:2662
-430:2:2663
-431:2:2667
-432:2:2671
-433:2:2672
-434:2:2676
-435:2:2684
-436:2:2685
-437:2:2689
-438:2:2693
-439:2:2694
-440:2:2689
-441:2:2693
-442:2:2694
-443:2:2698
-444:2:2705
-445:2:2712
-446:2:2713
-447:2:2720
-448:2:2725
-449:2:2732
-450:2:2733
-451:2:2732
-452:2:2733
-453:2:2740
-454:2:2744
-455:0:2887
-456:2:2749
-457:0:2887
-458:2:2750
-459:0:2887
-460:2:2751
-461:0:2887
-462:2:2752
-463:0:2887
-464:1:51
-465:0:2887
-466:2:2753
-467:0:2887
-468:1:55
-469:1:56
-470:1:60
-471:1:64
-472:1:65
-473:1:69
-474:1:77
-475:1:78
-476:1:82
-477:1:86
-478:1:87
-479:1:82
-480:1:86
-481:1:87
-482:1:91
-483:1:98
-484:1:105
-485:1:106
-486:1:113
-487:1:118
-488:1:125
-489:1:126
-490:1:125
-491:1:126
-492:1:133
-493:1:137
-494:0:2887
-495:2:2752
-496:0:2887
-497:1:142
-498:0:2887
-499:2:2753
-500:0:2887
-501:2:2754
-502:0:2887
-503:2:2759
-504:0:2887
-505:2:2760
-506:0:2887
-507:2:2768
-508:2:2769
-509:2:2773
-510:2:2777
-511:2:2778
-512:2:2782
-513:2:2790
-514:2:2791
-515:2:2795
-516:2:2799
-517:2:2800
-518:2:2795
-519:2:2799
-520:2:2800
-521:2:2804
-522:2:2811
-523:2:2818
-524:2:2819
-525:2:2826
-526:2:2831
-527:2:2838
-528:2:2839
-529:2:2838
-530:2:2839
-531:2:2846
-532:2:2850
-533:0:2887
-534:2:2039
-535:2:2049
-536:0:2887
-537:2:1176
-538:0:2887
-539:2:2040
-540:2:2041
-541:0:2887
-542:2:1176
-543:0:2887
-544:2:2045
-545:0:2887
-546:2:2053
-547:0:2887
-548:2:1172
-549:0:2887
-550:2:1174
-551:0:2887
-552:2:1175
-553:0:2887
-554:2:1176
-555:0:2887
-556:2:1357
-557:2:1358
-558:2:1359
-559:0:2887
-560:2:1176
-561:0:2887
-562:2:1177
-563:2:1178
-564:2:1182
-565:2:1183
-566:2:1191
-567:2:1192
-568:2:1196
-569:2:1197
-570:2:1205
-571:2:1210
-572:2:1211
-573:2:1223
-574:2:1224
-575:2:1225
-576:2:1223
-577:2:1224
-578:2:1228
-579:2:1229
-580:2:1237
-581:2:1242
-582:2:1243
-583:2:1254
-584:2:1255
-585:2:1256
-586:2:1267
-587:2:1272
-588:2:1273
-589:2:1284
-590:2:1285
-591:2:1286
-592:2:1284
-593:2:1285
-594:2:1286
-595:2:1297
-596:2:1305
-597:0:2887
-598:2:1176
-599:0:2887
-600:2:1364
-601:0:2887
-602:2:2068
-603:2:2069
-604:2:2073
-605:2:2077
-606:2:2078
-607:2:2082
-608:2:2090
-609:2:2091
-610:2:2095
-611:2:2096
-612:2:2095
-613:2:2099
-614:2:2100
-615:2:2104
-616:2:2111
-617:2:2118
-618:2:2119
-619:2:2126
-620:2:2131
-621:2:2138
-622:2:2139
-623:2:2138
-624:2:2139
-625:2:2146
-626:2:2150
-627:0:2887
-628:2:2155
-629:0:2887
-630:2:2156
-631:0:2887
-632:2:2157
-633:0:2887
-634:2:2158
-635:0:2887
-636:1:51
-637:0:2887
-638:2:2159
-639:0:2887
-640:1:55
-641:1:56
-642:1:60
-643:1:64
-644:1:65
-645:1:69
-646:1:77
-647:1:78
-648:1:82
-649:1:86
-650:1:87
-651:1:82
-652:1:86
-653:1:87
-654:1:91
-655:1:98
-656:1:105
-657:1:106
-658:1:113
-659:1:118
-660:1:125
-661:1:126
-662:1:125
-663:1:126
-664:1:133
-665:1:137
-666:0:2887
-667:2:2158
-668:0:2887
-669:1:142
-670:0:2887
-671:2:2159
-672:0:2887
-673:2:2160
-674:0:2887
-675:2:2165
-676:0:2887
-677:2:2166
-678:0:2887
-679:2:2174
-680:2:2175
-681:2:2179
-682:2:2183
-683:2:2184
-684:2:2188
-685:2:2196
-686:2:2197
-687:2:2201
-688:2:2205
-689:2:2206
-690:2:2201
-691:2:2205
-692:2:2206
-693:2:2210
-694:2:2217
-695:2:2224
-696:2:2225
-697:2:2232
-698:2:2237
-699:2:2244
-700:2:2245
-701:2:2244
-702:2:2245
-703:2:2252
-704:2:2256
-705:0:2887
-706:2:1366
-707:2:2049
-708:0:2887
-709:2:1176
-710:0:2887
-711:2:1367
-712:0:2887
-713:2:1176
-714:0:2887
-715:2:1370
-716:2:1371
-717:2:1375
-718:2:1376
-719:2:1384
-720:2:1385
-721:2:1389
-722:2:1390
-723:2:1398
-724:2:1403
-725:2:1407
-726:2:1408
-727:2:1416
-728:2:1417
-729:2:1421
-730:2:1422
-731:2:1416
-732:2:1417
-733:2:1421
-734:2:1422
-735:2:1430
-736:2:1435
-737:2:1436
-738:2:1447
-739:2:1448
-740:2:1449
-741:2:1460
-742:2:1465
-743:2:1466
-744:2:1477
-745:2:1478
-746:2:1479
-747:2:1477
-748:2:1478
-749:2:1479
-750:2:1490
-751:2:1497
-752:0:2887
-753:2:1176
-754:0:2887
-755:2:1501
-756:2:1502
-757:2:1503
-758:2:1515
-759:2:1516
-760:2:1520
-761:2:1521
-762:2:1529
-763:2:1534
-764:2:1538
-765:2:1539
-766:2:1547
-767:2:1548
-768:2:1552
-769:2:1553
-770:2:1547
-771:2:1548
-772:2:1552
-773:2:1553
-774:2:1561
-775:2:1566
-776:2:1567
-777:2:1578
-778:2:1579
-779:2:1580
-780:2:1591
-781:2:1596
-782:2:1597
-783:2:1608
-784:2:1609
-785:2:1610
-786:2:1608
-787:2:1609
-788:2:1610
-789:2:1621
-790:2:1632
-791:2:1633
-792:0:2887
-793:2:1176
-794:0:2887
-795:2:1640
-796:2:1641
-797:2:1645
-798:2:1646
-799:2:1654
-800:2:1655
-801:2:1659
-802:2:1660
-803:2:1668
-804:2:1673
-805:2:1677
-806:2:1678
-807:2:1686
-808:2:1687
-809:2:1691
-810:2:1692
-811:2:1686
-812:2:1687
-813:2:1691
-814:2:1692
-815:2:1700
-816:2:1705
-817:2:1706
-818:2:1717
-819:2:1718
-820:2:1719
-821:2:1730
-822:2:1735
-823:2:1736
-824:2:1747
-825:2:1748
-826:2:1749
-827:2:1747
-828:2:1748
-829:2:1749
-830:2:1760
-831:0:2887
-832:2:1176
-833:0:2887
-834:2:1769
-835:2:1770
-836:2:1774
-837:2:1775
-838:2:1783
-839:2:1784
-840:2:1788
-841:2:1789
-842:2:1797
-843:2:1802
-844:2:1806
-845:2:1807
-846:2:1815
-847:2:1816
-848:2:1820
-849:2:1821
-850:2:1815
-851:2:1816
-852:2:1820
-853:2:1821
-854:2:1829
-855:2:1834
-856:2:1835
-857:2:1846
-858:2:1847
-859:2:1848
-860:2:1859
-861:2:1864
-862:2:1865
-863:2:1876
-864:2:1877
-865:2:1878
-866:2:1876
-867:2:1877
-868:2:1878
-869:2:1889
-870:2:1896
-871:0:2887
-872:2:1176
-873:0:2887
-874:2:1900
-875:2:1901
-876:2:1902
-877:2:1914
-878:2:1915
-879:2:1919
-880:2:1920
-881:2:1928
-882:2:1933
-883:2:1937
-884:2:1938
-885:2:1946
-886:2:1947
-887:2:1951
-888:2:1952
-889:2:1946
-890:2:1947
-891:2:1951
-892:2:1952
-893:2:1960
-894:2:1965
-895:2:1966
-896:2:1977
-897:2:1978
-898:2:1979
-899:2:1990
-900:2:1995
-901:2:1996
-902:2:2007
-903:2:2008
-904:2:2009
-905:2:2007
-906:2:2008
-907:2:2009
-908:2:2020
-909:2:2030
-910:2:2031
-911:0:2887
-912:2:1176
-913:0:2887
-914:2:2037
-915:0:2887
-916:2:2662
-917:2:2663
-918:2:2667
-919:2:2671
-920:2:2672
-921:2:2676
-922:2:2684
-923:2:2685
-924:2:2689
-925:2:2693
-926:2:2694
-927:2:2689
-928:2:2693
-929:2:2694
-930:2:2698
-931:2:2705
-932:2:2712
-933:2:2713
-934:2:2720
-935:2:2725
-936:2:2732
-937:2:2733
-938:2:2732
-939:2:2733
-940:2:2740
-941:2:2744
-942:0:2887
-943:2:2749
-944:0:2887
-945:2:2750
-946:0:2887
-947:2:2751
-948:0:2887
-949:2:2752
-950:0:2887
-951:1:51
-952:0:2887
-953:2:2753
-954:0:2887
-955:1:55
-956:1:56
-957:1:60
-958:1:64
-959:1:65
-960:1:69
-961:1:77
-962:1:78
-963:1:82
-964:1:86
-965:1:87
-966:1:82
-967:1:86
-968:1:87
-969:1:91
-970:1:98
-971:1:105
-972:1:106
-973:1:113
-974:1:118
-975:1:125
-976:1:126
-977:1:125
-978:1:126
-979:1:133
-980:1:137
-981:0:2887
-982:2:2752
-983:0:2887
-984:1:142
-985:0:2887
-986:2:2753
-987:0:2887
-988:2:2754
-989:0:2887
-990:2:2759
-991:0:2887
-992:2:2760
-993:0:2887
-994:2:2768
-995:2:2769
-996:2:2773
-997:2:2777
-998:2:2778
-999:2:2782
-1000:2:2790
-1001:2:2791
-1002:2:2795
-1003:2:2799
-1004:2:2800
-1005:2:2795
-1006:2:2799
-1007:2:2800
-1008:2:2804
-1009:2:2811
-1010:2:2818
-1011:2:2819
-1012:2:2826
-1013:2:2831
-1014:2:2838
-1015:2:2839
-1016:2:2838
-1017:2:2839
-1018:2:2846
-1019:2:2850
-1020:0:2887
-1021:2:2039
-1022:2:2049
-1023:0:2887
-1024:2:1176
-1025:0:2887
-1026:2:2040
-1027:2:2041
-1028:0:2887
-1029:2:1176
-1030:0:2887
-1031:2:2045
-1032:0:2887
-1033:2:2053
-1034:0:2887
-1035:2:1172
-1036:0:2887
-1037:2:1174
-1038:0:2887
-1039:2:1175
-1040:0:2887
-1041:2:1176
-1042:0:2887
-1043:2:1177
-1044:2:1178
-1045:2:1182
-1046:2:1183
-1047:2:1191
-1048:2:1192
-1049:2:1196
-1050:2:1197
-1051:2:1205
-1052:2:1210
-1053:2:1214
-1054:2:1215
-1055:2:1223
-1056:2:1224
-1057:2:1228
-1058:2:1229
-1059:2:1223
-1060:2:1224
-1061:2:1225
-1062:2:1237
-1063:2:1242
-1064:2:1243
-1065:2:1254
-1066:2:1255
-1067:2:1256
-1068:2:1267
-1069:2:1272
-1070:2:1273
-1071:2:1284
-1072:2:1285
-1073:2:1286
-1074:2:1284
-1075:2:1285
-1076:2:1286
-1077:2:1297
-1078:2:1305
-1079:0:2887
-1080:2:1176
-1081:0:2887
-1082:2:1357
-1083:2:1358
-1084:2:1359
-1085:0:2887
-1086:2:1176
-1087:0:2887
-1088:2:1364
-1089:0:2887
-1090:1:143
-1091:0:2887
-1092:1:145
-1093:0:2887
-1094:1:44
-1095:0:2887
-1096:1:151
-1097:1:152
-1098:1:156
-1099:1:157
-1100:1:165
-1101:1:166
-1102:1:170
-1103:1:171
-1104:1:179
-1105:1:184
-1106:1:188
-1107:1:189
-1108:1:197
-1109:1:198
-1110:1:202
-1111:1:203
-1112:1:197
-1113:1:198
-1114:1:202
-1115:1:203
-1116:1:211
-1117:1:216
-1118:1:217
-1119:1:228
-1120:1:229
-1121:1:230
-1122:1:241
-1123:1:246
-1124:1:247
-1125:1:258
-1126:1:259
-1127:1:260
-1128:1:258
-1129:1:259
-1130:1:260
-1131:1:271
-1132:0:2887
-1133:1:40
-1134:0:2887
-1135:1:41
-1136:0:2887
-1137:1:42
-1138:0:2887
-1139:1:143
-1140:0:2887
-1141:1:145
-1142:0:2887
-1143:1:44
-1144:0:2887
-1145:1:280
-1146:1:281
-1147:0:2887
-1148:1:40
-1149:0:2887
-1150:1:41
-1151:0:2887
-1152:1:42
-1153:0:2887
-1154:1:143
-1155:0:2887
-1156:1:145
-1157:0:2887
-1158:1:44
-1159:0:2887
-1160:1:287
-1161:1:288
-1162:1:292
-1163:1:293
-1164:1:301
-1165:1:302
-1166:1:306
-1167:1:307
-1168:1:315
-1169:1:320
-1170:1:324
-1171:1:325
-1172:1:333
-1173:1:334
-1174:1:338
-1175:1:339
-1176:1:333
-1177:1:334
-1178:1:338
-1179:1:339
-1180:1:347
-1181:1:352
-1182:1:353
-1183:1:364
-1184:1:365
-1185:1:366
-1186:1:377
-1187:1:382
-1188:1:383
-1189:1:394
-1190:1:395
-1191:1:396
-1192:1:394
-1193:1:395
-1194:1:396
-1195:1:407
-1196:0:2887
-1197:1:40
-1198:0:2887
-1199:1:41
-1200:0:2887
-1201:1:42
-1202:0:2887
-1203:1:143
-1204:0:2887
-1205:1:145
-1206:0:2887
-1207:1:44
-1208:0:2887
-1209:1:416
-1210:1:417
-1211:1:421
-1212:1:422
-1213:1:430
-1214:1:431
-1215:1:435
-1216:1:436
-1217:1:444
-1218:1:449
-1219:1:453
-1220:1:454
-1221:1:462
-1222:1:463
-1223:1:467
-1224:1:468
-1225:1:462
-1226:1:463
-1227:1:467
-1228:1:468
-1229:1:476
-1230:1:481
-1231:1:482
-1232:1:493
-1233:1:494
-1234:1:495
-1235:1:506
-1236:1:511
-1237:1:512
-1238:1:523
-1239:1:524
-1240:1:525
-1241:1:523
-1242:1:524
-1243:1:525
-1244:1:536
-1245:1:543
-1246:0:2887
-1247:1:40
-1248:0:2887
-1249:1:41
-1250:0:2887
-1251:1:42
-1252:0:2887
-1253:1:143
-1254:0:2887
-1255:1:145
-1256:0:2887
-1257:1:44
-1258:0:2887
-1259:1:681
-1260:1:682
-1261:1:686
-1262:1:687
-1263:1:695
-1264:1:696
-1265:1:697
-1266:1:709
-1267:1:714
-1268:1:718
-1269:1:719
-1270:1:727
-1271:1:728
-1272:1:732
-1273:1:733
-1274:1:727
-1275:1:728
-1276:1:732
-1277:1:733
-1278:1:741
-1279:1:746
-1280:1:747
-1281:1:758
-1282:1:759
-1283:1:760
-1284:1:771
-1285:1:776
-1286:1:777
-1287:1:788
-1288:1:789
-1289:1:790
-1290:1:788
-1291:1:789
-1292:1:790
-1293:1:801
-1294:0:2887
-1295:1:40
-1296:0:2887
-1297:1:41
-1298:0:2887
-1299:1:42
-1300:0:2887
-1301:1:143
-1302:0:2887
-1303:1:145
-1304:0:2887
-1305:1:44
-1306:0:2887
-1307:1:810
-1308:0:2887
-1309:1:1087
-1310:1:1094
-1311:1:1095
-1312:1:1102
-1313:1:1107
-1314:1:1114
-1315:1:1115
-1316:1:1114
-1317:1:1115
-1318:1:1122
-1319:1:1126
-1320:0:2887
-1321:2:2068
-1322:2:2069
-1323:2:2073
-1324:2:2077
-1325:2:2078
-1326:2:2082
-1327:2:2087
-1328:2:2095
-1329:2:2099
-1330:2:2100
-1331:2:2095
-1332:2:2096
-1333:2:2104
-1334:2:2111
-1335:2:2118
-1336:2:2119
-1337:2:2126
-1338:2:2131
-1339:2:2138
-1340:2:2139
-1341:2:2138
-1342:2:2139
-1343:2:2146
-1344:2:2150
-1345:0:2887
-1346:2:2155
-1347:0:2887
-1348:2:2156
-1349:0:2887
-1350:2:2157
-1351:0:2887
-1352:2:2158
-1353:0:2887
-1354:1:812
-1355:1:813
-1356:0:2885
-1357:2:2159
-1358:0:2891
-1359:1:919