X-Git-Url: http://git.liburcu.org/?p=urcu.git;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=8219815521730528bd348c35d7727dbab9d532f0;hp=0000000000000000000000000000000000000000;hb=06e8b2a87f862183a26e0005bf04221633f49d0c;hpb=8322221dc666e720badeb06bc780a1f8e69020a0

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
new file mode 100644
index 0000000..8219815
--- /dev/null
+++ b/formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_no_rmb.spin.input.trail
@@ -0,0 +1,1805 @@
+-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