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

diff --git a/formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.spin.input.trail b/formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.spin.input.trail
deleted file mode 100644
index e81c46c..0000000
--- a/formal-model/urcu-nosched-model/result-signal-over-reader/urcu_free_single_flip.spin.input.trail
+++ /dev/null
@@ -1,1355 +0,0 @@
--2:4:-2
--4:-4:-4
-1:0:2103
-2:4:2055
-3:4:2058
-4:4:2058
-5:4:2061
-6:4:2069
-7:4:2069
-8:4:2072
-9:4:2078
-10:4:2082
-11:4:2082
-12:4:2085
-13:4:2093
-14:4:2097
-15:4:2098
-16:0:2103
-17:4:2100
-18:0:2103
-19:3:869
-20:0:2103
-21:3:875
-22:0:2103
-23:3:876
-24:0:2103
-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:2103
-45:3:964
-46:0:2103
-47:3:966
-48:3:967
-49:0:2103
-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:2103
-69:3:1058
-70:0:2103
-71:3:1060
-72:0:2103
-73:3:1061
-74:0:2103
-75:3:1071
-76:0:2103
-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:3:1103
-86:3:1110
-87:3:1111
-88:3:1118
-89:3:1123
-90:0:2103
-91:3:1134
-92:0:2103
-93:3:1138
-94:3:1139
-95:3:1143
-96:3:1147
-97:3:1148
-98:3:1152
-99:3:1160
-100:3:1161
-101:3:1166
-102:3:1173
-103:3:1174
-104:3:1181
-105:3:1186
-106:0:2103
-107:3:1197
-108:0:2103
-109:3:1205
-110:3:1206
-111:3:1210
-112:3:1214
-113:3:1215
-114:3:1219
-115:3:1227
-116:3:1228
-117:3:1233
-118:3:1240
-119:3:1241
-120:3:1248
-121:3:1253
-122:0:2103
-123:3:1264
-124:0:2103
-125:3:1266
-126:0:2103
-127:3:1267
-128:3:1271
-129:3:1272
-130:3:1280
-131:3:1281
-132:3:1285
-133:3:1286
-134:3:1294
-135:3:1299
-136:3:1303
-137:3:1304
-138:3:1311
-139:3:1312
-140:3:1323
-141:3:1324
-142:3:1325
-143:3:1336
-144:3:1341
-145:3:1342
-146:0:2103
-147:3:1354
-148:0:2103
-149:3:1356
-150:0:2103
-151:3:1359
-152:3:1360
-153:3:1372
-154:3:1373
-155:3:1377
-156:3:1378
-157:3:1386
-158:3:1391
-159:3:1395
-160:3:1396
-161:3:1403
-162:3:1404
-163:3:1415
-164:3:1416
-165:3:1417
-166:3:1428
-167:3:1433
-168:3:1434
-169:0:2103
-170:3:1446
-171:0:2103
-172:3:1448
-173:0:2103
-174:3:1449
-175:0:2103
-176:3:1450
-177:0:2103
-178:3:1451
-179:0:2103
-180:3:1452
-181:3:1456
-182:3:1457
-183:3:1465
-184:3:1466
-185:3:1470
-186:3:1471
-187:3:1479
-188:3:1484
-189:3:1488
-190:3:1489
-191:3:1496
-192:3:1497
-193:3:1508
-194:3:1509
-195:3:1510
-196:3:1521
-197:3:1526
-198:3:1527
-199:0:2103
-200:3:1539
-201:0:2103
-202:3:1736
-203:0:2103
-204:3:1834
-205:0:2103
-206:3:1835
-207:0:2103
-208:3:1839
-209:0:2103
-210:3:1848
-211:3:1849
-212:3:1853
-213:3:1857
-214:3:1858
-215:3:1862
-216:3:1870
-217:3:1871
-218:3:1876
-219:3:1883
-220:3:1884
-221:3:1891
-222:3:1896
-223:0:2103
-224:3:1907
-225:0:2103
-226:3:1911
-227:3:1912
-228:3:1916
-229:3:1920
-230:3:1921
-231:3:1925
-232:3:1933
-233:3:1934
-234:3:1939
-235:3:1946
-236:3:1947
-237:3:1954
-238:3:1959
-239:0:2103
-240:3:1970
-241:0:2103
-242:3:1978
-243:3:1979
-244:3:1983
-245:3:1987
-246:3:1988
-247:3:1992
-248:3:2000
-249:3:2001
-250:3:2006
-251:3:2013
-252:3:2014
-253:3:2021
-254:3:2026
-255:0:2103
-256:3:2037
-257:0:2103
-258:3:2039
-259:0:2103
-260:3:2040
-261:0:2103
-262:3:876
-263:0:2103
-264:3:877
-265:3:881
-266:3:882
-267:3:890
-268:3:891
-269:3:895
-270:3:896
-271:3:904
-272:3:909
-273:3:913
-274:3:914
-275:3:921
-276:3:922
-277:3:933
-278:3:934
-279:3:935
-280:3:946
-281:3:951
-282:3:952
-283:0:2103
-284:3:964
-285:0:2103
-286:3:966
-287:3:967
-288:0:2103
-289:3:971
-290:3:975
-291:3:976
-292:3:984
-293:3:985
-294:3:989
-295:3:990
-296:3:998
-297:3:1003
-298:3:1004
-299:3:1015
-300:3:1016
-301:3:1027
-302:3:1028
-303:3:1029
-304:3:1040
-305:3:1045
-306:3:1046
-307:0:2103
-308:3:1058
-309:0:2103
-310:3:1060
-311:0:2103
-312:3:1061
-313:0:2103
-314:3:1071
-315:0:2103
-316:3:1075
-317:3:1076
-318:3:1080
-319:3:1084
-320:3:1085
-321:3:1089
-322:3:1097
-323:3:1098
-324:3:1103
-325:3:1110
-326:3:1111
-327:3:1118
-328:3:1123
-329:0:2103
-330:3:1134
-331:0:2103
-332:3:1138
-333:3:1139
-334:3:1143
-335:3:1147
-336:3:1148
-337:3:1152
-338:3:1160
-339:3:1161
-340:3:1166
-341:3:1173
-342:3:1174
-343:3:1181
-344:3:1186
-345:0:2103
-346:3:1197
-347:0:2103
-348:3:1205
-349:3:1206
-350:3:1210
-351:3:1214
-352:3:1215
-353:3:1219
-354:3:1227
-355:3:1228
-356:3:1233
-357:3:1240
-358:3:1241
-359:3:1248
-360:3:1253
-361:0:2103
-362:3:1264
-363:0:2103
-364:3:1266
-365:0:2103
-366:3:1267
-367:3:1271
-368:3:1272
-369:3:1280
-370:3:1281
-371:3:1285
-372:3:1286
-373:3:1294
-374:3:1299
-375:3:1303
-376:3:1304
-377:3:1311
-378:3:1312
-379:3:1323
-380:3:1324
-381:3:1325
-382:3:1336
-383:3:1341
-384:3:1342
-385:0:2103
-386:3:1354
-387:0:2103
-388:3:1356
-389:0:2103
-390:3:1359
-391:3:1360
-392:3:1372
-393:3:1373
-394:3:1377
-395:3:1378
-396:3:1386
-397:3:1391
-398:3:1395
-399:3:1396
-400:3:1403
-401:3:1404
-402:3:1415
-403:3:1416
-404:3:1417
-405:3:1428
-406:3:1433
-407:3:1434
-408:0:2103
-409:3:1446
-410:0:2103
-411:3:1448
-412:0:2103
-413:3:1449
-414:0:2103
-415:3:1450
-416:0:2103
-417:3:1451
-418:0:2103
-419:3:1452
-420:3:1456
-421:3:1457
-422:3:1465
-423:3:1466
-424:3:1470
-425:3:1471
-426:3:1479
-427:3:1484
-428:3:1488
-429:3:1489
-430:3:1496
-431:3:1497
-432:3:1508
-433:3:1509
-434:3:1510
-435:3:1521
-436:3:1526
-437:3:1527
-438:0:2103
-439:3:1539
-440:0:2103
-441:3:1736
-442:0:2103
-443:3:1834
-444:0:2103
-445:3:1835
-446:0:2103
-447:3:1839
-448:0:2103
-449:3:1848
-450:3:1849
-451:3:1853
-452:3:1857
-453:3:1858
-454:3:1862
-455:3:1870
-456:3:1871
-457:3:1876
-458:3:1883
-459:3:1884
-460:3:1891
-461:3:1896
-462:0:2103
-463:3:1907
-464:0:2103
-465:3:1911
-466:3:1912
-467:3:1916
-468:3:1920
-469:3:1921
-470:3:1925
-471:3:1933
-472:3:1934
-473:3:1939
-474:3:1946
-475:3:1947
-476:3:1954
-477:3:1959
-478:0:2103
-479:3:1970
-480:0:2103
-481:3:1978
-482:3:1979
-483:3:1983
-484:3:1987
-485:3:1988
-486:3:1992
-487:3:2000
-488:3:2001
-489:3:2006
-490:3:2013
-491:3:2014
-492:3:2021
-493:3:2026
-494:0:2103
-495:3:2037
-496:0:2103
-497:3:2039
-498:0:2103
-499:3:2040
-500:0:2103
-501:3:876
-502:0:2103
-503:3:877
-504:3:881
-505:3:882
-506:3:890
-507:3:891
-508:3:895
-509:3:896
-510:3:904
-511:3:909
-512:3:913
-513:3:914
-514:3:921
-515:3:922
-516:3:933
-517:3:934
-518:3:935
-519:3:946
-520:3:951
-521:3:952
-522:0:2103
-523:3:964
-524:0:2103
-525:3:966
-526:3:967
-527:0:2103
-528:3:971
-529:3:975
-530:3:976
-531:3:984
-532:3:985
-533:3:989
-534:3:990
-535:3:998
-536:3:1003
-537:3:1004
-538:3:1015
-539:3:1016
-540:3:1027
-541:3:1028
-542:3:1029
-543:3:1040
-544:3:1045
-545:3:1046
-546:0:2103
-547:3:1058
-548:0:2103
-549:3:1060
-550:0:2103
-551:3:1061
-552:0:2103
-553:3:1071
-554:0:2103
-555:3:1075
-556:3:1076
-557:3:1080
-558:3:1084
-559:3:1085
-560:3:1089
-561:3:1097
-562:3:1098
-563:3:1103
-564:3:1110
-565:3:1111
-566:3:1118
-567:3:1123
-568:0:2103
-569:3:1134
-570:0:2103
-571:3:1138
-572:3:1139
-573:3:1143
-574:3:1147
-575:3:1148
-576:3:1152
-577:3:1160
-578:3:1161
-579:3:1166
-580:3:1173
-581:3:1174
-582:3:1181
-583:3:1186
-584:0:2103
-585:3:1197
-586:0:2103
-587:3:1205
-588:3:1206
-589:3:1210
-590:3:1214
-591:3:1215
-592:3:1219
-593:3:1227
-594:3:1228
-595:3:1233
-596:3:1240
-597:3:1241
-598:3:1248
-599:3:1253
-600:0:2103
-601:3:1264
-602:0:2103
-603:3:1266
-604:0:2103
-605:3:1267
-606:3:1271
-607:3:1272
-608:3:1280
-609:3:1281
-610:3:1285
-611:3:1286
-612:3:1294
-613:3:1299
-614:3:1303
-615:3:1304
-616:3:1311
-617:3:1312
-618:3:1323
-619:3:1324
-620:3:1325
-621:3:1336
-622:3:1341
-623:3:1342
-624:0:2103
-625:3:1354
-626:0:2103
-627:3:1356
-628:0:2103
-629:3:1359
-630:3:1360
-631:3:1372
-632:3:1373
-633:3:1377
-634:3:1378
-635:3:1386
-636:3:1391
-637:3:1395
-638:3:1396
-639:3:1403
-640:3:1404
-641:3:1415
-642:3:1416
-643:3:1417
-644:3:1428
-645:3:1433
-646:3:1434
-647:0:2103
-648:3:1446
-649:0:2103
-650:3:1448
-651:0:2103
-652:3:1449
-653:0:2103
-654:3:1450
-655:0:2103
-656:3:1451
-657:0:2103
-658:3:1452
-659:3:1456
-660:3:1457
-661:3:1465
-662:3:1466
-663:3:1470
-664:3:1471
-665:3:1479
-666:3:1484
-667:3:1488
-668:3:1489
-669:3:1496
-670:3:1497
-671:3:1508
-672:3:1509
-673:3:1510
-674:3:1521
-675:3:1526
-676:3:1527
-677:0:2103
-678:3:1539
-679:0:2103
-680:3:1736
-681:0:2103
-682:3:1834
-683:0:2103
-684:3:1835
-685:0:2103
-686:3:1839
-687:0:2103
-688:3:1848
-689:3:1849
-690:3:1853
-691:3:1857
-692:3:1858
-693:3:1862
-694:3:1870
-695:3:1871
-696:3:1876
-697:3:1883
-698:3:1884
-699:3:1891
-700:3:1896
-701:0:2103
-702:3:1907
-703:0:2103
-704:3:1911
-705:3:1912
-706:3:1916
-707:3:1920
-708:3:1921
-709:3:1925
-710:3:1933
-711:3:1934
-712:3:1939
-713:3:1946
-714:3:1947
-715:3:1954
-716:3:1959
-717:0:2103
-718:3:1970
-719:0:2103
-720:3:1978
-721:3:1979
-722:3:1983
-723:3:1987
-724:3:1988
-725:3:1992
-726:3:2000
-727:3:2001
-728:3:2006
-729:3:2013
-730:3:2014
-731:3:2021
-732:3:2026
-733:0:2103
-734:3:2037
-735:0:2103
-736:3:2039
-737:0:2103
-738:3:2040
-739:0:2103
-740:3:876
-741:0:2103
-742:3:877
-743:3:881
-744:3:882
-745:3:890
-746:3:891
-747:3:895
-748:3:896
-749:3:904
-750:3:909
-751:3:913
-752:3:914
-753:3:921
-754:3:922
-755:3:933
-756:3:934
-757:3:935
-758:3:946
-759:3:951
-760:3:952
-761:0:2103
-762:3:964
-763:0:2103
-764:3:966
-765:3:967
-766:0:2103
-767:3:971
-768:3:975
-769:3:976
-770:3:984
-771:3:985
-772:3:989
-773:3:990
-774:3:998
-775:3:1003
-776:3:1004
-777:3:1015
-778:3:1016
-779:3:1027
-780:3:1028
-781:3:1029
-782:3:1040
-783:3:1045
-784:3:1046
-785:0:2103
-786:3:1058
-787:0:2103
-788:3:1060
-789:0:2103
-790:3:1061
-791:0:2103
-792:3:1071
-793:0:2103
-794:3:1075
-795:3:1076
-796:3:1080
-797:3:1084
-798:3:1085
-799:3:1089
-800:3:1097
-801:3:1098
-802:3:1103
-803:3:1110
-804:3:1111
-805:3:1118
-806:3:1123
-807:0:2103
-808:3:1134
-809:0:2103
-810:3:1138
-811:3:1139
-812:3:1143
-813:3:1147
-814:3:1148
-815:3:1152
-816:3:1160
-817:3:1161
-818:3:1166
-819:3:1173
-820:3:1174
-821:3:1181
-822:3:1186
-823:0:2103
-824:3:1197
-825:0:2103
-826:3:1205
-827:3:1206
-828:3:1210
-829:3:1214
-830:3:1215
-831:3:1219
-832:3:1227
-833:3:1228
-834:3:1233
-835:3:1240
-836:3:1241
-837:3:1248
-838:3:1253
-839:0:2103
-840:3:1264
-841:0:2103
-842:3:1266
-843:0:2103
-844:3:1267
-845:3:1271
-846:3:1272
-847:3:1280
-848:3:1281
-849:3:1285
-850:3:1286
-851:3:1294
-852:3:1299
-853:3:1303
-854:3:1304
-855:3:1311
-856:3:1312
-857:3:1323
-858:3:1324
-859:3:1325
-860:3:1336
-861:3:1341
-862:3:1342
-863:0:2103
-864:3:1354
-865:0:2103
-866:3:1356
-867:0:2103
-868:3:1359
-869:3:1360
-870:3:1372
-871:3:1373
-872:3:1377
-873:3:1378
-874:3:1386
-875:3:1391
-876:3:1395
-877:3:1396
-878:3:1403
-879:3:1404
-880:3:1415
-881:3:1416
-882:3:1417
-883:3:1428
-884:3:1433
-885:3:1434
-886:0:2103
-887:3:1446
-888:0:2103
-889:3:1448
-890:0:2103
-891:3:1449
-892:0:2103
-893:3:1450
-894:0:2103
-895:3:1451
-896:0:2103
-897:3:1452
-898:3:1456
-899:3:1457
-900:3:1465
-901:3:1466
-902:3:1470
-903:3:1471
-904:3:1479
-905:3:1484
-906:3:1488
-907:3:1489
-908:3:1496
-909:3:1497
-910:3:1508
-911:3:1509
-912:3:1510
-913:3:1521
-914:3:1526
-915:3:1527
-916:0:2103
-917:3:1539
-918:0:2103
-919:3:1736
-920:0:2103
-921:3:1834
-922:0:2103
-923:3:1835
-924:0:2103
-925:3:1839
-926:0:2103
-927:3:1848
-928:3:1849
-929:3:1853
-930:3:1857
-931:3:1858
-932:3:1862
-933:3:1870
-934:3:1871
-935:3:1876
-936:3:1883
-937:3:1884
-938:3:1891
-939:3:1896
-940:0:2103
-941:3:1907
-942:0:2103
-943:2:458
-944:0:2103
-945:2:464
-946:0:2103
-947:2:465
-948:0:2103
-949:2:466
-950:0:2103
-951:2:467
-952:0:2103
-953:1:2
-954:0:2103
-955:2:468
-956:0:2103
-957:1:8
-958:0:2103
-959:1:9
-960:0:2103
-961:1:10
-962:0:2103
-963:1:11
-964:0:2103
-965:2:467
-966:0:2103
-967:1:12
-968:1:16
-969:1:17
-970:1:25
-971:1:26
-972:1:30
-973:1:31
-974:1:39
-975:1:44
-976:1:48
-977:1:49
-978:1:63
-979:1:64
-980:1:68
-981:1:69
-982:1:70
-983:1:81
-984:1:86
-985:1:87
-986:0:2103
-987:2:468
-988:0:2103
-989:1:99
-990:0:2103
-991:2:469
-992:0:2103
-993:2:475
-994:0:2103
-995:2:476
-996:0:2103
-997:2:477
-998:2:481
-999:2:482
-1000:2:490
-1001:2:491
-1002:2:495
-1003:2:496
-1004:2:504
-1005:2:509
-1006:2:513
-1007:2:514
-1008:2:528
-1009:2:529
-1010:2:533
-1011:2:534
-1012:2:535
-1013:2:546
-1014:2:551
-1015:2:552
-1016:0:2103
-1017:2:564
-1018:0:2103
-1019:2:565
-1020:2:569
-1021:2:570
-1022:2:578
-1023:2:579
-1024:2:583
-1025:2:584
-1026:2:592
-1027:2:597
-1028:2:601
-1029:2:602
-1030:2:616
-1031:2:617
-1032:2:621
-1033:2:622
-1034:2:623
-1035:2:634
-1036:2:639
-1037:2:640
-1038:0:2103
-1039:2:652
-1040:0:2103
-1041:2:653
-1042:0:2103
-1043:3:1911
-1044:3:1912
-1045:3:1916
-1046:3:1920
-1047:3:1921
-1048:3:1925
-1049:3:1933
-1050:3:1934
-1051:3:1939
-1052:3:1946
-1053:3:1947
-1054:3:1954
-1055:3:1959
-1056:0:2103
-1057:3:1970
-1058:0:2103
-1059:3:1978
-1060:3:1979
-1061:3:1983
-1062:3:1987
-1063:3:1988
-1064:3:1992
-1065:3:2000
-1066:3:2001
-1067:3:2006
-1068:3:2013
-1069:3:2014
-1070:3:2021
-1071:3:2026
-1072:0:2103
-1073:3:2037
-1074:0:2103
-1075:3:2039
-1076:0:2103
-1077:3:2040
-1078:0:2103
-1079:3:876
-1080:0:2103
-1081:3:877
-1082:3:881
-1083:3:882
-1084:3:890
-1085:3:891
-1086:3:895
-1087:3:896
-1088:3:904
-1089:3:909
-1090:3:913
-1091:3:914
-1092:3:921
-1093:3:922
-1094:3:933
-1095:3:934
-1096:3:935
-1097:3:946
-1098:3:951
-1099:3:952
-1100:0:2103
-1101:3:964
-1102:0:2103
-1103:3:966
-1104:3:967
-1105:0:2103
-1106:3:971
-1107:3:975
-1108:3:976
-1109:3:984
-1110:3:985
-1111:3:989
-1112:3:990
-1113:3:998
-1114:3:1003
-1115:3:1004
-1116:3:1015
-1117:3:1016
-1118:3:1027
-1119:3:1028
-1120:3:1029
-1121:3:1040
-1122:3:1045
-1123:3:1046
-1124:0:2103
-1125:3:1058
-1126:0:2103
-1127:3:1060
-1128:0:2103
-1129:3:1061
-1130:0:2103
-1131:3:1071
-1132:0:2103
-1133:3:1075
-1134:3:1076
-1135:3:1080
-1136:3:1084
-1137:3:1085
-1138:3:1089
-1139:3:1097
-1140:3:1098
-1141:3:1103
-1142:3:1110
-1143:3:1111
-1144:3:1118
-1145:3:1123
-1146:0:2103
-1147:3:1134
-1148:0:2103
-1149:2:654
-1150:2:658
-1151:2:659
-1152:2:667
-1153:2:668
-1154:2:672
-1155:2:673
-1156:2:681
-1157:2:686
-1158:2:690
-1159:2:691
-1160:2:698
-1161:2:699
-1162:2:710
-1163:2:711
-1164:2:712
-1165:2:723
-1166:2:735
-1167:2:736
-1168:0:2103
-1169:2:741
-1170:0:2103
-1171:2:750
-1172:0:2103
-1173:2:753
-1174:0:2103
-1175:2:758
-1176:0:2103
-1177:3:1138
-1178:3:1139
-1179:3:1143
-1180:3:1144
-1181:3:1152
-1182:3:1160
-1183:3:1161
-1184:3:1166
-1185:3:1173
-1186:3:1174
-1187:3:1181
-1188:3:1186
-1189:0:2103
-1190:3:1197
-1191:0:2103
-1192:3:1205
-1193:3:1206
-1194:3:1210
-1195:3:1214
-1196:3:1215
-1197:3:1219
-1198:3:1227
-1199:3:1228
-1200:3:1233
-1201:3:1240
-1202:3:1241
-1203:3:1248
-1204:3:1253
-1205:0:2103
-1206:3:1264
-1207:0:2103
-1208:3:1266
-1209:0:2103
-1210:3:1267
-1211:3:1271
-1212:3:1272
-1213:3:1280
-1214:3:1281
-1215:3:1285
-1216:3:1286
-1217:3:1294
-1218:3:1299
-1219:3:1303
-1220:3:1304
-1221:3:1311
-1222:3:1312
-1223:3:1323
-1224:3:1324
-1225:3:1325
-1226:3:1336
-1227:3:1341
-1228:3:1342
-1229:0:2103
-1230:3:1354
-1231:0:2103
-1232:3:1356
-1233:0:2103
-1234:3:1359
-1235:3:1360
-1236:3:1372
-1237:3:1373
-1238:3:1377
-1239:3:1378
-1240:3:1386
-1241:3:1391
-1242:3:1395
-1243:3:1396
-1244:3:1403
-1245:3:1404
-1246:3:1415
-1247:3:1416
-1248:3:1417
-1249:3:1428
-1250:3:1433
-1251:3:1434
-1252:0:2103
-1253:3:1446
-1254:0:2103
-1255:3:1448
-1256:0:2103
-1257:3:1449
-1258:0:2103
-1259:3:1450
-1260:0:2103
-1261:3:1451
-1262:0:2103
-1263:3:1452
-1264:3:1456
-1265:3:1457
-1266:3:1465
-1267:3:1466
-1268:3:1470
-1269:3:1471
-1270:3:1479
-1271:3:1484
-1272:3:1488
-1273:3:1489
-1274:3:1496
-1275:3:1497
-1276:3:1508
-1277:3:1509
-1278:3:1510
-1279:3:1521
-1280:3:1526
-1281:3:1527
-1282:0:2103
-1283:3:1539
-1284:0:2103
-1285:3:1736
-1286:0:2103
-1287:3:1834
-1288:0:2103
-1289:3:1835
-1290:0:2103
-1291:3:1839
-1292:0:2103
-1293:3:1848
-1294:3:1849
-1295:3:1853
-1296:3:1857
-1297:3:1858
-1298:3:1862
-1299:3:1870
-1300:3:1871
-1301:3:1876
-1302:3:1883
-1303:3:1884
-1304:3:1891
-1305:3:1896
-1306:0:2103
-1307:3:1907
-1308:0:2103
-1309:3:1911
-1310:3:1912
-1311:3:1916
-1312:3:1920
-1313:3:1921
-1314:3:1925
-1315:3:1933
-1316:3:1934
-1317:3:1939
-1318:3:1946
-1319:3:1947
-1320:3:1954
-1321:3:1959
-1322:0:2103
-1323:3:1970
-1324:0:2103
-1325:3:1978
-1326:3:1979
-1327:3:1983
-1328:3:1987
-1329:3:1988
-1330:3:1992
-1331:3:2000
-1332:3:2001
-1333:3:2006
-1334:3:2013
-1335:3:2014
-1336:3:2021
-1337:3:2026
-1338:0:2103
-1339:3:2037
-1340:0:2103
-1341:3:2039
-1342:0:2103
-1343:3:2040
-1344:0:2103
-1345:3:2043
-1346:0:2103
-1347:3:2048
-1348:0:2103
-1349:2:759
-1350:0:2101
-1351:3:2049
-1352:0:2107
-1353:3:1181