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

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