userspace-rcu formal model removal

[urcu.git] / formal-model / urcu / result-signal-over-reader / urcu_free_no_rmb.spin.input.trail

diff --git a/formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.spin.input.trail b/formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.spin.input.trail
deleted file mode 100644 (file)
index 1e5e132..0000000
--- a/formal-model/urcu/result-signal-over-reader/urcu_free_no_rmb.spin.input.trail
+++ /dev/null
@@ -1,1777 +0,0 @@
--2:4:-2
--4:-4:-4
-1:0:2435
-2:4:2387
-3:4:2390
-4:4:2390
-5:4:2393
-6:4:2401
-7:4:2401
-8:4:2404
-9:4:2410
-10:4:2414
-11:4:2414
-12:4:2417
-13:4:2425
-14:4:2429
-15:4:2430
-16:0:2435
-17:4:2432
-18:0:2435
-19:3:869
-20:0:2435
-21:3:875
-22:0:2435
-23:3:876
-24:0:2435
-25:3:877
-26:3:881
-27:3:882
-28:3:890
-29:3:891
-30:3:895
-31:3:896
-32:3:904
-33:3:909
-34:3:913
-35:3:914
-36:3:921
-37:3:922
-38:3:933
-39:3:934
-40:3:935
-41:3:946
-42:3:951
-43:3:952
-44:0:2435
-45:3:964
-46:0:2435
-47:3:966
-48:3:967
-49:0:2435
-50:3:971
-51:3:975
-52:3:976
-53:3:984
-54:3:985
-55:3:989
-56:3:990
-57:3:998
-58:3:1003
-59:3:1004
-60:3:1015
-61:3:1016
-62:3:1027
-63:3:1028
-64:3:1029
-65:3:1040
-66:3:1045
-67:3:1046
-68:0:2435
-69:3:1058
-70:0:2435
-71:3:1060
-72:0:2435
-73:3:1061
-74:0:2435
-75:3:1071
-76:0:2435
-77:3:1075
-78:3:1076
-79:3:1080
-80:3:1084
-81:3:1085
-82:3:1089
-83:3:1097
-84:3:1098
-85:0:2435
-86:3:1106
-87:0:2435
-88:3:1110
-89:3:1111
-90:3:1115
-91:3:1119
-92:3:1120
-93:3:1124
-94:3:1132
-95:3:1133
-96:0:2435
-97:3:1141
-98:0:2435
-99:3:1149
-100:3:1150
-101:3:1154
-102:3:1158
-103:3:1159
-104:3:1163
-105:3:1171
-106:3:1172
-107:0:2435
-108:3:1180
-109:0:2435
-110:3:1182
-111:0:2435
-112:3:1183
-113:3:1187
-114:3:1188
-115:3:1196
-116:3:1197
-117:3:1201
-118:3:1202
-119:3:1210
-120:3:1215
-121:3:1219
-122:3:1220
-123:3:1227
-124:3:1228
-125:3:1239
-126:3:1240
-127:3:1241
-128:3:1252
-129:3:1257
-130:3:1258
-131:0:2435
-132:3:1270
-133:0:2435
-134:3:1272
-135:0:2435
-136:3:1275
-137:3:1276
-138:3:1288
-139:3:1289
-140:3:1293
-141:3:1294
-142:3:1302
-143:3:1307
-144:3:1311
-145:3:1312
-146:3:1319
-147:3:1320
-148:3:1331
-149:3:1332
-150:3:1333
-151:3:1344
-152:3:1349
-153:3:1350
-154:0:2435
-155:3:1362
-156:0:2435
-157:3:1364
-158:0:2435
-159:3:1365
-160:0:2435
-161:3:1366
-162:0:2435
-163:3:1367
-164:0:2435
-165:3:1368
-166:3:1372
-167:3:1373
-168:3:1381
-169:3:1382
-170:3:1386
-171:3:1387
-172:3:1395
-173:3:1400
-174:3:1404
-175:3:1405
-176:3:1412
-177:3:1413
-178:3:1424
-179:3:1425
-180:3:1426
-181:3:1437
-182:3:1442
-183:3:1443
-184:0:2435
-185:3:1455
-186:0:2435
-187:3:1568
-188:0:2435
-189:3:1666
-190:0:2435
-191:3:1667
-192:0:2435
-193:3:1671
-194:0:2435
-195:3:1677
-196:3:1681
-197:3:1682
-198:3:1690
-199:3:1691
-200:3:1695
-201:3:1696
-202:3:1704
-203:3:1709
-204:3:1713
-205:3:1714
-206:3:1721
-207:3:1722
-208:3:1733
-209:3:1734
-210:3:1735
-211:3:1746
-212:3:1751
-213:3:1752
-214:0:2435
-215:3:1764
-216:0:2435
-217:3:1766
-218:0:2435
-219:3:1767
-220:3:1771
-221:3:1772
-222:3:1780
-223:3:1781
-224:3:1785
-225:3:1786
-226:3:1794
-227:3:1799
-228:3:1803
-229:3:1804
-230:3:1811
-231:3:1812
-232:3:1823
-233:3:1824
-234:3:1825
-235:3:1836
-236:3:1841
-237:3:1842
-238:0:2435
-239:3:1854
-240:0:2435
-241:3:1856
-242:0:2435
-243:3:1859
-244:3:1860
-245:3:1872
-246:3:1873
-247:3:1877
-248:3:1878
-249:3:1886
-250:3:1891
-251:3:1895
-252:3:1896
-253:3:1903
-254:3:1904
-255:3:1915
-256:3:1916
-257:3:1917
-258:3:1928
-259:3:1933
-260:3:1934
-261:0:2435
-262:3:1946
-263:0:2435
-264:3:1948
-265:0:2435
-266:3:1949
-267:0:2435
-268:3:1950
-269:0:2435
-270:3:1951
-271:0:2435
-272:3:1952
-273:3:1956
-274:3:1957
-275:3:1965
-276:3:1966
-277:3:1970
-278:3:1971
-279:3:1979
-280:3:1984
-281:3:1988
-282:3:1989
-283:3:1996
-284:3:1997
-285:3:2008
-286:3:2009
-287:3:2010
-288:3:2021
-289:3:2026
-290:3:2027
-291:0:2435
-292:3:2039
-293:0:2435
-294:3:2152
-295:0:2435
-296:3:2250
-297:0:2435
-298:3:2251
-299:0:2435
-300:3:2255
-301:0:2435
-302:3:2264
-303:3:2265
-304:3:2269
-305:3:2273
-306:3:2274
-307:3:2278
-308:3:2286
-309:3:2287
-310:0:2435
-311:3:2295
-312:0:2435
-313:3:2299
-314:3:2300
-315:3:2304
-316:3:2308
-317:3:2309
-318:3:2313
-319:3:2321
-320:3:2322
-321:0:2435
-322:3:2330
-323:0:2435
-324:3:2338
-325:3:2339
-326:3:2343
-327:3:2347
-328:3:2348
-329:3:2352
-330:3:2360
-331:3:2361
-332:0:2435
-333:3:2369
-334:0:2435
-335:3:2371
-336:0:2435
-337:3:2372
-338:0:2435
-339:3:876
-340:0:2435
-341:3:877
-342:3:881
-343:3:882
-344:3:890
-345:3:891
-346:3:895
-347:3:896
-348:3:904
-349:3:909
-350:3:913
-351:3:914
-352:3:921
-353:3:922
-354:3:933
-355:3:934
-356:3:935
-357:3:946
-358:3:951
-359:3:952
-360:0:2435
-361:3:964
-362:0:2435
-363:3:966
-364:3:967
-365:0:2435
-366:3:971
-367:3:975
-368:3:976
-369:3:984
-370:3:985
-371:3:989
-372:3:990
-373:3:998
-374:3:1003
-375:3:1004
-376:3:1015
-377:3:1016
-378:3:1027
-379:3:1028
-380:3:1029
-381:3:1040
-382:3:1045
-383:3:1046
-384:0:2435
-385:3:1058
-386:0:2435
-387:3:1060
-388:0:2435
-389:3:1061
-390:0:2435
-391:3:1071
-392:0:2435
-393:3:1075
-394:3:1076
-395:3:1080
-396:3:1084
-397:3:1085
-398:3:1089
-399:3:1097
-400:3:1098
-401:0:2435
-402:3:1106
-403:0:2435
-404:3:1110
-405:3:1111
-406:3:1115
-407:3:1119
-408:3:1120
-409:3:1124
-410:3:1132
-411:3:1133
-412:0:2435
-413:3:1141
-414:0:2435
-415:3:1149
-416:3:1150
-417:3:1154
-418:3:1158
-419:3:1159
-420:3:1163
-421:3:1171
-422:3:1172
-423:0:2435
-424:3:1180
-425:0:2435
-426:3:1182
-427:0:2435
-428:3:1183
-429:3:1187
-430:3:1188
-431:3:1196
-432:3:1197
-433:3:1201
-434:3:1202
-435:3:1210
-436:3:1215
-437:3:1219
-438:3:1220
-439:3:1227
-440:3:1228
-441:3:1239
-442:3:1240
-443:3:1241
-444:3:1252
-445:3:1257
-446:3:1258
-447:0:2435
-448:3:1270
-449:0:2435
-450:3:1272
-451:0:2435
-452:3:1275
-453:3:1276
-454:3:1288
-455:3:1289
-456:3:1293
-457:3:1294
-458:3:1302
-459:3:1307
-460:3:1311
-461:3:1312
-462:3:1319
-463:3:1320
-464:3:1331
-465:3:1332
-466:3:1333
-467:3:1344
-468:3:1349
-469:3:1350
-470:0:2435
-471:3:1362
-472:0:2435
-473:3:1364
-474:0:2435
-475:3:1365
-476:0:2435
-477:3:1366
-478:0:2435
-479:3:1367
-480:0:2435
-481:3:1368
-482:3:1372
-483:3:1373
-484:3:1381
-485:3:1382
-486:3:1386
-487:3:1387
-488:3:1395
-489:3:1400
-490:3:1404
-491:3:1405
-492:3:1412
-493:3:1413
-494:3:1424
-495:3:1425
-496:3:1426
-497:3:1437
-498:3:1442
-499:3:1443
-500:0:2435
-501:3:1455
-502:0:2435
-503:3:1568
-504:0:2435
-505:3:1666
-506:0:2435
-507:3:1667
-508:0:2435
-509:3:1671
-510:0:2435
-511:3:1677
-512:3:1681
-513:3:1682
-514:3:1690
-515:3:1691
-516:3:1695
-517:3:1696
-518:3:1704
-519:3:1709
-520:3:1713
-521:3:1714
-522:3:1721
-523:3:1722
-524:3:1733
-525:3:1734
-526:3:1735
-527:3:1746
-528:3:1751
-529:3:1752
-530:0:2435
-531:3:1764
-532:0:2435
-533:3:1766
-534:0:2435
-535:3:1767
-536:3:1771
-537:3:1772
-538:3:1780
-539:3:1781
-540:3:1785
-541:3:1786
-542:3:1794
-543:3:1799
-544:3:1803
-545:3:1804
-546:3:1811
-547:3:1812
-548:3:1823
-549:3:1824
-550:3:1825
-551:3:1836
-552:3:1841
-553:3:1842
-554:0:2435
-555:3:1854
-556:0:2435
-557:3:1856
-558:0:2435
-559:3:1859
-560:3:1860
-561:3:1872
-562:3:1873
-563:3:1877
-564:3:1878
-565:3:1886
-566:3:1891
-567:3:1895
-568:3:1896
-569:3:1903
-570:3:1904
-571:3:1915
-572:3:1916
-573:3:1917
-574:3:1928
-575:3:1933
-576:3:1934
-577:0:2435
-578:3:1946
-579:0:2435
-580:3:1948
-581:0:2435
-582:3:1949
-583:0:2435
-584:3:1950
-585:0:2435
-586:3:1951
-587:0:2435
-588:3:1952
-589:3:1956
-590:3:1957
-591:3:1965
-592:3:1966
-593:3:1970
-594:3:1971
-595:3:1979
-596:3:1984
-597:3:1988
-598:3:1989
-599:3:1996
-600:3:1997
-601:3:2008
-602:3:2009
-603:3:2010
-604:3:2021
-605:3:2026
-606:3:2027
-607:0:2435
-608:3:2039
-609:0:2435
-610:3:2152
-611:0:2435
-612:3:2250
-613:0:2435
-614:3:2251
-615:0:2435
-616:3:2255
-617:0:2435
-618:3:2264
-619:3:2265
-620:3:2269
-621:3:2273
-622:3:2274
-623:3:2278
-624:3:2286
-625:3:2287
-626:0:2435
-627:3:2295
-628:0:2435
-629:3:2299
-630:3:2300
-631:3:2304
-632:3:2308
-633:3:2309
-634:3:2313
-635:3:2321
-636:3:2322
-637:0:2435
-638:3:2330
-639:0:2435
-640:3:2338
-641:3:2339
-642:3:2343
-643:3:2347
-644:3:2348
-645:3:2352
-646:3:2360
-647:3:2361
-648:0:2435
-649:3:2369
-650:0:2435
-651:3:2371
-652:0:2435
-653:3:2372
-654:0:2435
-655:3:876
-656:0:2435
-657:3:877
-658:3:881
-659:3:882
-660:3:890
-661:3:891
-662:3:895
-663:3:896
-664:3:904
-665:3:909
-666:3:913
-667:3:914
-668:3:921
-669:3:922
-670:3:933
-671:3:934
-672:3:935
-673:3:946
-674:3:951
-675:3:952
-676:0:2435
-677:3:964
-678:0:2435
-679:3:966
-680:3:967
-681:0:2435
-682:3:971
-683:3:975
-684:3:976
-685:3:984
-686:3:985
-687:3:989
-688:3:990
-689:3:998
-690:3:1003
-691:3:1004
-692:3:1015
-693:3:1016
-694:3:1027
-695:3:1028
-696:3:1029
-697:3:1040
-698:3:1045
-699:3:1046
-700:0:2435
-701:3:1058
-702:0:2435
-703:3:1060
-704:0:2435
-705:3:1061
-706:0:2435
-707:3:1071
-708:0:2435
-709:3:1075
-710:3:1076
-711:3:1080
-712:3:1084
-713:3:1085
-714:3:1089
-715:3:1097
-716:3:1098
-717:0:2435
-718:3:1106
-719:0:2435
-720:3:1110
-721:3:1111
-722:3:1115
-723:3:1119
-724:3:1120
-725:3:1124
-726:3:1132
-727:3:1133
-728:0:2435
-729:3:1141
-730:0:2435
-731:3:1149
-732:3:1150
-733:3:1154
-734:3:1158
-735:3:1159
-736:3:1163
-737:3:1171
-738:3:1172
-739:0:2435
-740:3:1180
-741:0:2435
-742:3:1182
-743:0:2435
-744:3:1183
-745:3:1187
-746:3:1188
-747:3:1196
-748:3:1197
-749:3:1201
-750:3:1202
-751:3:1210
-752:3:1215
-753:3:1219
-754:3:1220
-755:3:1227
-756:3:1228
-757:3:1239
-758:3:1240
-759:3:1241
-760:3:1252
-761:3:1257
-762:3:1258
-763:0:2435
-764:3:1270
-765:0:2435
-766:3:1272
-767:0:2435
-768:3:1275
-769:3:1276
-770:3:1288
-771:3:1289
-772:3:1293
-773:3:1294
-774:3:1302
-775:3:1307
-776:3:1311
-777:3:1312
-778:3:1319
-779:3:1320
-780:3:1331
-781:3:1332
-782:3:1333
-783:3:1344
-784:3:1349
-785:3:1350
-786:0:2435
-787:3:1362
-788:0:2435
-789:3:1364
-790:0:2435
-791:3:1365
-792:0:2435
-793:3:1366
-794:0:2435
-795:3:1367
-796:0:2435
-797:3:1368
-798:3:1372
-799:3:1373
-800:3:1381
-801:3:1382
-802:3:1386
-803:3:1387
-804:3:1395
-805:3:1400
-806:3:1404
-807:3:1405
-808:3:1412
-809:3:1413
-810:3:1424
-811:3:1425
-812:3:1426
-813:3:1437
-814:3:1442
-815:3:1443
-816:0:2435
-817:3:1455
-818:0:2435
-819:3:1568
-820:0:2435
-821:3:1666
-822:0:2435
-823:3:1667
-824:0:2435
-825:3:1671
-826:0:2435
-827:3:1677
-828:3:1681
-829:3:1682
-830:3:1690
-831:3:1691
-832:3:1695
-833:3:1696
-834:3:1704
-835:3:1709
-836:3:1713
-837:3:1714
-838:3:1721
-839:3:1722
-840:3:1733
-841:3:1734
-842:3:1735
-843:3:1746
-844:3:1751
-845:3:1752
-846:0:2435
-847:3:1764
-848:0:2435
-849:3:1766
-850:0:2435
-851:3:1767
-852:3:1771
-853:3:1772
-854:3:1780
-855:3:1781
-856:3:1785
-857:3:1786
-858:3:1794
-859:3:1799
-860:3:1803
-861:3:1804
-862:3:1811
-863:3:1812
-864:3:1823
-865:3:1824
-866:3:1825
-867:3:1836
-868:3:1841
-869:3:1842
-870:0:2435
-871:3:1854
-872:0:2435
-873:3:1856
-874:0:2435
-875:3:1859
-876:3:1860
-877:3:1872
-878:3:1873
-879:3:1877
-880:3:1878
-881:3:1886
-882:3:1891
-883:3:1895
-884:3:1896
-885:3:1903
-886:3:1904
-887:3:1915
-888:3:1916
-889:3:1917
-890:3:1928
-891:3:1933
-892:3:1934
-893:0:2435
-894:3:1946
-895:0:2435
-896:3:1948
-897:0:2435
-898:3:1949
-899:0:2435
-900:3:1950
-901:0:2435
-902:3:1951
-903:0:2435
-904:3:1952
-905:3:1956
-906:3:1957
-907:3:1965
-908:3:1966
-909:3:1970
-910:3:1971
-911:3:1979
-912:3:1984
-913:3:1988
-914:3:1989
-915:3:1996
-916:3:1997
-917:3:2008
-918:3:2009
-919:3:2010
-920:3:2021
-921:3:2026
-922:3:2027
-923:0:2435
-924:3:2039
-925:0:2435
-926:3:2152
-927:0:2435
-928:3:2250
-929:0:2435
-930:3:2251
-931:0:2435
-932:3:2255
-933:0:2435
-934:3:2264
-935:3:2265
-936:3:2269
-937:3:2273
-938:3:2274
-939:3:2278
-940:3:2286
-941:3:2287
-942:0:2435
-943:3:2295
-944:0:2435
-945:3:2299
-946:3:2300
-947:3:2304
-948:3:2308
-949:3:2309
-950:3:2313
-951:3:2321
-952:3:2322
-953:0:2435
-954:3:2330
-955:0:2435
-956:3:2338
-957:3:2339
-958:3:2343
-959:3:2347
-960:3:2348
-961:3:2352
-962:3:2360
-963:3:2361
-964:0:2435
-965:3:2369
-966:0:2435
-967:3:2371
-968:0:2435
-969:3:2372
-970:0:2435
-971:3:876
-972:0:2435
-973:3:877
-974:3:881
-975:3:882
-976:3:890
-977:3:891
-978:3:895
-979:3:896
-980:3:904
-981:3:909
-982:3:913
-983:3:914
-984:3:921
-985:3:922
-986:3:933
-987:3:934
-988:3:935
-989:3:946
-990:3:951
-991:3:952
-992:0:2435
-993:3:964
-994:0:2435
-995:3:966
-996:3:967
-997:0:2435
-998:3:971
-999:3:975
-1000:3:976
-1001:3:984
-1002:3:985
-1003:3:989
-1004:3:990
-1005:3:998
-1006:3:1003
-1007:3:1004
-1008:3:1015
-1009:3:1016
-1010:3:1027
-1011:3:1028
-1012:3:1029
-1013:3:1040
-1014:3:1045
-1015:3:1046
-1016:0:2435
-1017:3:1058
-1018:0:2435
-1019:3:1060
-1020:0:2435
-1021:3:1061
-1022:0:2435
-1023:3:1071
-1024:0:2435
-1025:3:1075
-1026:3:1076
-1027:3:1080
-1028:3:1084
-1029:3:1085
-1030:3:1089
-1031:3:1097
-1032:3:1098
-1033:0:2435
-1034:3:1106
-1035:0:2435
-1036:3:1110
-1037:3:1111
-1038:3:1115
-1039:3:1119
-1040:3:1120
-1041:3:1124
-1042:3:1132
-1043:3:1133
-1044:0:2435
-1045:3:1141
-1046:0:2435
-1047:3:1149
-1048:3:1150
-1049:3:1154
-1050:3:1158
-1051:3:1159
-1052:3:1163
-1053:3:1171
-1054:3:1172
-1055:0:2435
-1056:3:1180
-1057:0:2435
-1058:3:1182
-1059:0:2435
-1060:3:1183
-1061:3:1187
-1062:3:1188
-1063:3:1196
-1064:3:1197
-1065:3:1201
-1066:3:1202
-1067:3:1210
-1068:3:1215
-1069:3:1219
-1070:3:1220
-1071:3:1227
-1072:3:1228
-1073:3:1239
-1074:3:1240
-1075:3:1241
-1076:3:1252
-1077:3:1257
-1078:3:1258
-1079:0:2435
-1080:3:1270
-1081:0:2435
-1082:3:1272
-1083:0:2435
-1084:3:1275
-1085:3:1276
-1086:3:1288
-1087:3:1289
-1088:3:1293
-1089:3:1294
-1090:3:1302
-1091:3:1307
-1092:3:1311
-1093:3:1312
-1094:3:1319
-1095:3:1320
-1096:3:1331
-1097:3:1332
-1098:3:1333
-1099:3:1344
-1100:3:1349
-1101:3:1350
-1102:0:2435
-1103:3:1362
-1104:0:2435
-1105:3:1364
-1106:0:2435
-1107:3:1365
-1108:0:2435
-1109:3:1366
-1110:0:2435
-1111:3:1367
-1112:0:2435
-1113:3:1368
-1114:3:1372
-1115:3:1373
-1116:3:1381
-1117:3:1382
-1118:3:1386
-1119:3:1387
-1120:3:1395
-1121:3:1400
-1122:3:1404
-1123:3:1405
-1124:3:1412
-1125:3:1413
-1126:3:1424
-1127:3:1425
-1128:3:1426
-1129:3:1437
-1130:3:1442
-1131:3:1443
-1132:0:2435
-1133:3:1455
-1134:0:2435
-1135:3:1568
-1136:0:2435
-1137:3:1666
-1138:0:2435
-1139:3:1667
-1140:0:2435
-1141:3:1671
-1142:0:2435
-1143:3:1677
-1144:3:1681
-1145:3:1682
-1146:3:1690
-1147:3:1691
-1148:3:1695
-1149:3:1696
-1150:3:1704
-1151:3:1709
-1152:3:1713
-1153:3:1714
-1154:3:1721
-1155:3:1722
-1156:3:1733
-1157:3:1734
-1158:3:1735
-1159:3:1746
-1160:3:1751
-1161:3:1752
-1162:0:2435
-1163:3:1764
-1164:0:2435
-1165:3:1766
-1166:0:2435
-1167:3:1767
-1168:3:1771
-1169:3:1772
-1170:3:1780
-1171:3:1781
-1172:3:1785
-1173:3:1786
-1174:3:1794
-1175:3:1799
-1176:3:1803
-1177:3:1804
-1178:3:1811
-1179:3:1812
-1180:3:1823
-1181:3:1824
-1182:3:1825
-1183:3:1836
-1184:3:1841
-1185:3:1842
-1186:0:2435
-1187:3:1854
-1188:0:2435
-1189:3:1856
-1190:0:2435
-1191:3:1859
-1192:3:1860
-1193:3:1872
-1194:3:1873
-1195:3:1877
-1196:3:1878
-1197:3:1886
-1198:3:1891
-1199:3:1895
-1200:3:1896
-1201:3:1903
-1202:3:1904
-1203:3:1915
-1204:3:1916
-1205:3:1917
-1206:3:1928
-1207:3:1933
-1208:3:1934
-1209:0:2435
-1210:3:1946
-1211:0:2435
-1212:3:1948
-1213:0:2435
-1214:3:1949
-1215:0:2435
-1216:3:1950
-1217:0:2435
-1218:3:1951
-1219:0:2435
-1220:3:1952
-1221:3:1956
-1222:3:1957
-1223:3:1965
-1224:3:1966
-1225:3:1970
-1226:3:1971
-1227:3:1979
-1228:3:1984
-1229:3:1988
-1230:3:1989
-1231:3:1996
-1232:3:1997
-1233:3:2008
-1234:3:2009
-1235:3:2010
-1236:3:2021
-1237:3:2026
-1238:3:2027
-1239:0:2435
-1240:3:2039
-1241:0:2435
-1242:3:2152
-1243:0:2435
-1244:3:2250
-1245:0:2435
-1246:3:2251
-1247:0:2435
-1248:3:2255
-1249:0:2435
-1250:3:2264
-1251:3:2265
-1252:3:2269
-1253:3:2273
-1254:3:2274
-1255:3:2278
-1256:3:2286
-1257:3:2287
-1258:0:2435
-1259:3:2295
-1260:0:2435
-1261:3:2299
-1262:3:2300
-1263:3:2304
-1264:3:2308
-1265:3:2309
-1266:3:2313
-1267:3:2321
-1268:3:2322
-1269:0:2435
-1270:3:2330
-1271:0:2435
-1272:3:2338
-1273:3:2339
-1274:3:2343
-1275:3:2347
-1276:3:2348
-1277:3:2352
-1278:3:2360
-1279:3:2361
-1280:0:2435
-1281:3:2369
-1282:0:2435
-1283:3:2371
-1284:0:2435
-1285:3:2372
-1286:0:2435
-1287:3:876
-1288:0:2435
-1289:3:877
-1290:3:881
-1291:3:882
-1292:3:890
-1293:3:891
-1294:3:895
-1295:3:896
-1296:3:904
-1297:3:909
-1298:3:913
-1299:3:914
-1300:3:921
-1301:3:922
-1302:3:933
-1303:3:934
-1304:3:935
-1305:3:946
-1306:3:951
-1307:3:952
-1308:0:2435
-1309:3:964
-1310:0:2435
-1311:3:966
-1312:3:967
-1313:0:2435
-1314:3:971
-1315:3:975
-1316:3:976
-1317:3:984
-1318:3:985
-1319:3:989
-1320:3:990
-1321:3:998
-1322:3:1011
-1323:3:1012
-1324:3:1015
-1325:3:1016
-1326:3:1027
-1327:3:1028
-1328:3:1029
-1329:3:1040
-1330:3:1045
-1331:3:1048
-1332:3:1049
-1333:0:2435
-1334:3:1058
-1335:0:2435
-1336:3:1060
-1337:0:2435
-1338:3:1061
-1339:0:2435
-1340:3:1071
-1341:0:2435
-1342:2:458
-1343:0:2435
-1344:2:464
-1345:0:2435
-1346:2:465
-1347:0:2435
-1348:2:466
-1349:0:2435
-1350:2:467
-1351:0:2435
-1352:1:2
-1353:0:2435
-1354:2:468
-1355:0:2435
-1356:1:8
-1357:0:2435
-1358:1:9
-1359:0:2435
-1360:1:10
-1361:0:2435
-1362:1:11
-1363:0:2435
-1364:2:467
-1365:0:2435
-1366:1:12
-1367:1:16
-1368:1:17
-1369:1:25
-1370:1:26
-1371:1:30
-1372:1:31
-1373:1:39
-1374:1:44
-1375:1:48
-1376:1:49
-1377:1:56
-1378:1:57
-1379:1:68
-1380:1:69
-1381:1:70
-1382:1:81
-1383:1:86
-1384:1:87
-1385:0:2435
-1386:2:468
-1387:0:2435
-1388:3:1075
-1389:3:1076
-1390:3:1080
-1391:3:1084
-1392:3:1085
-1393:3:1089
-1394:3:1094
-1395:0:2435
-1396:3:1106
-1397:0:2435
-1398:3:1110
-1399:3:1111
-1400:3:1115
-1401:3:1119
-1402:3:1120
-1403:3:1124
-1404:3:1132
-1405:3:1133
-1406:0:2435
-1407:3:1141
-1408:0:2435
-1409:3:1149
-1410:3:1150
-1411:3:1154
-1412:3:1158
-1413:3:1159
-1414:3:1163
-1415:3:1171
-1416:3:1172
-1417:0:2435
-1418:3:1180
-1419:0:2435
-1420:3:1182
-1421:0:2435
-1422:3:1183
-1423:3:1187
-1424:3:1188
-1425:3:1196
-1426:3:1197
-1427:3:1201
-1428:3:1202
-1429:3:1210
-1430:3:1215
-1431:3:1219
-1432:3:1220
-1433:3:1227
-1434:3:1228
-1435:3:1239
-1436:3:1240
-1437:3:1241
-1438:3:1252
-1439:3:1257
-1440:3:1258
-1441:0:2435
-1442:3:1270
-1443:0:2435
-1444:3:1272
-1445:0:2435
-1446:3:1275
-1447:3:1276
-1448:3:1288
-1449:3:1289
-1450:3:1293
-1451:3:1294
-1452:3:1302
-1453:3:1307
-1454:3:1311
-1455:3:1312
-1456:3:1319
-1457:3:1320
-1458:3:1331
-1459:3:1332
-1460:3:1333
-1461:3:1344
-1462:3:1349
-1463:3:1350
-1464:0:2435
-1465:3:1362
-1466:0:2435
-1467:3:1364
-1468:0:2435
-1469:3:1365
-1470:0:2435
-1471:3:1366
-1472:0:2435
-1473:3:1367
-1474:0:2435
-1475:3:1368
-1476:3:1372
-1477:3:1373
-1478:3:1381
-1479:3:1382
-1480:3:1386
-1481:3:1387
-1482:3:1395
-1483:3:1400
-1484:3:1404
-1485:3:1405
-1486:3:1412
-1487:3:1413
-1488:3:1424
-1489:3:1425
-1490:3:1426
-1491:3:1437
-1492:3:1442
-1493:3:1443
-1494:0:2435
-1495:3:1455
-1496:0:2435
-1497:3:1568
-1498:0:2435
-1499:3:1666
-1500:0:2435
-1501:3:1667
-1502:0:2435
-1503:3:1671
-1504:0:2435
-1505:3:1677
-1506:3:1681
-1507:3:1682
-1508:3:1690
-1509:3:1691
-1510:3:1695
-1511:3:1696
-1512:3:1704
-1513:3:1709
-1514:3:1713
-1515:3:1714
-1516:3:1721
-1517:3:1722
-1518:3:1733
-1519:3:1734
-1520:3:1735
-1521:3:1746
-1522:3:1751
-1523:3:1752
-1524:0:2435
-1525:3:1764
-1526:0:2435
-1527:3:1766
-1528:0:2435
-1529:3:1767
-1530:3:1771
-1531:3:1772
-1532:3:1780
-1533:3:1781
-1534:3:1785
-1535:3:1786
-1536:3:1794
-1537:3:1799
-1538:3:1803
-1539:3:1804
-1540:3:1811
-1541:3:1812
-1542:3:1823
-1543:3:1824
-1544:3:1825
-1545:3:1836
-1546:3:1841
-1547:3:1842
-1548:0:2435
-1549:3:1854
-1550:0:2435
-1551:3:1856
-1552:0:2435
-1553:3:1859
-1554:3:1860
-1555:3:1872
-1556:3:1873
-1557:3:1877
-1558:3:1878
-1559:3:1886
-1560:3:1891
-1561:3:1895
-1562:3:1896
-1563:3:1903
-1564:3:1904
-1565:3:1915
-1566:3:1916
-1567:3:1917
-1568:3:1928
-1569:3:1933
-1570:3:1934
-1571:0:2435
-1572:3:1946
-1573:0:2435
-1574:3:1948
-1575:0:2435
-1576:3:1949
-1577:0:2435
-1578:3:1950
-1579:0:2435
-1580:3:1951
-1581:0:2435
-1582:3:1952
-1583:3:1956
-1584:3:1957
-1585:3:1965
-1586:3:1966
-1587:3:1970
-1588:3:1971
-1589:3:1979
-1590:3:1984
-1591:3:1988
-1592:3:1989
-1593:3:1996
-1594:3:1997
-1595:3:2008
-1596:3:2009
-1597:3:2010
-1598:3:2021
-1599:3:2026
-1600:3:2027
-1601:0:2435
-1602:3:2039
-1603:0:2435
-1604:3:2152
-1605:0:2435
-1606:3:2250
-1607:0:2435
-1608:3:2251
-1609:0:2435
-1610:3:2255
-1611:0:2435
-1612:3:2264
-1613:3:2265
-1614:3:2269
-1615:3:2273
-1616:3:2274
-1617:3:2278
-1618:3:2286
-1619:3:2287
-1620:0:2435
-1621:3:2295
-1622:0:2435
-1623:3:2299
-1624:3:2300
-1625:3:2304
-1626:3:2308
-1627:3:2309
-1628:3:2313
-1629:3:2321
-1630:3:2322
-1631:0:2435
-1632:3:2330
-1633:0:2435
-1634:3:2338
-1635:3:2339
-1636:3:2343
-1637:3:2347
-1638:3:2348
-1639:3:2352
-1640:3:2360
-1641:3:2361
-1642:0:2435
-1643:3:2369
-1644:0:2435
-1645:3:2371
-1646:0:2435
-1647:3:2372
-1648:0:2435
-1649:3:2375
-1650:0:2435
-1651:3:2380
-1652:0:2435
-1653:2:467
-1654:0:2435
-1655:3:2381
-1656:0:2435
-1657:1:99
-1658:0:2435
-1659:3:2380
-1660:0:2435
-1661:2:468
-1662:0:2435
-1663:3:2381
-1664:0:2435
-1665:2:469
-1666:0:2435
-1667:3:2380
-1668:0:2435
-1669:2:475
-1670:0:2435
-1671:3:2381
-1672:0:2435
-1673:2:476
-1674:0:2435
-1675:3:2380
-1676:0:2435
-1677:2:477
-1678:2:481
-1679:2:482
-1680:2:490
-1681:2:491
-1682:2:495
-1683:2:496
-1684:2:504
-1685:2:509
-1686:2:513
-1687:2:514
-1688:2:521
-1689:2:522
-1690:2:533
-1691:2:534
-1692:2:535
-1693:2:546
-1694:2:558
-1695:2:559
-1696:0:2435
-1697:3:2381
-1698:0:2435
-1699:2:564
-1700:0:2435
-1701:3:2380
-1702:0:2435
-1703:2:565
-1704:2:569
-1705:2:570
-1706:2:578
-1707:2:579
-1708:2:583
-1709:2:584
-1710:2:592
-1711:2:597
-1712:2:601
-1713:2:602
-1714:2:609
-1715:2:610
-1716:2:621
-1717:2:622
-1718:2:623
-1719:2:634
-1720:2:646
-1721:2:647
-1722:0:2435
-1723:3:2381
-1724:0:2435
-1725:2:652
-1726:0:2435
-1727:3:2380
-1728:0:2435
-1729:2:653
-1730:0:2435
-1731:3:2381
-1732:0:2435
-1733:2:654
-1734:2:658
-1735:2:659
-1736:2:667
-1737:2:668
-1738:2:672
-1739:2:673
-1740:2:681
-1741:2:686
-1742:2:690
-1743:2:691
-1744:2:698
-1745:2:699
-1746:2:710
-1747:2:711
-1748:2:712
-1749:2:723
-1750:2:735
-1751:2:736
-1752:0:2435
-1753:3:2380
-1754:0:2435
-1755:2:741
-1756:0:2435
-1757:3:2381
-1758:0:2435
-1759:2:750
-1760:0:2435
-1761:3:2380
-1762:0:2435
-1763:2:753
-1764:0:2435
-1765:3:2381
-1766:0:2435
-1767:2:758
-1768:0:2435
-1769:3:2380
-1770:0:2435
-1771:2:759
-1772:0:2433
-1773:3:2381
-1774:0:2439
-1775:0:2435