Add nosched model results (for signal readers)

[urcu.git] / formal-model / urcu-nosched-model / result-signal-over-writer / urcu_free_single_flip.spin.input.trail

diff --git a/formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.spin.input.trail b/formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.spin.input.trail
new file mode 100644 (file)
index 0000000..84cf653
--- /dev/null
+++ b/formal-model/urcu-nosched-model/result-signal-over-writer/urcu_free_single_flip.spin.input.trail
@@ -0,0 +1,1379 @@
+-2:4:-2
+-4:-4:-4
+1:0:2904
+2:4:2856
+3:4:2859
+4:4:2859
+5:4:2862
+6:4:2870
+7:4:2870
+8:4:2873
+9:4:2879
+10:4:2883
+11:4:2883
+12:4:2886
+13:4:2894
+14:4:2898
+15:4:2899
+16:0:2904
+17:4:2901
+18:0:2904
+19:3:1655
+20:0:2904
+21:3:1661
+22:0:2904
+23:3:1662
+24:0:2904
+25:3:1663
+26:3:1667
+27:3:1668
+28:3:1676
+29:3:1677
+30:3:1681
+31:3:1682
+32:3:1690
+33:3:1695
+34:3:1699
+35:3:1700
+36:3:1707
+37:3:1708
+38:3:1719
+39:3:1720
+40:3:1721
+41:3:1732
+42:3:1737
+43:3:1738
+44:0:2904
+45:3:1750
+46:0:2904
+47:3:1752
+48:3:1753
+49:0:2904
+50:3:1757
+51:3:1761
+52:3:1762
+53:3:1770
+54:3:1771
+55:3:1775
+56:3:1776
+57:3:1784
+58:3:1789
+59:3:1790
+60:3:1801
+61:3:1802
+62:3:1813
+63:3:1814
+64:3:1815
+65:3:1826
+66:3:1831
+67:3:1832
+68:0:2904
+69:3:1844
+70:0:2904
+71:3:1846
+72:0:2904
+73:3:1847
+74:0:2904
+75:3:1857
+76:0:2904
+77:3:1858
+78:0:2904
+79:3:1862
+80:3:1863
+81:3:1867
+82:3:1871
+83:3:1872
+84:3:1876
+85:3:1884
+86:3:1885
+87:3:1890
+88:3:1897
+89:3:1898
+90:3:1905
+91:3:1910
+92:0:2904
+93:3:1921
+94:0:2904
+95:3:1925
+96:3:1926
+97:3:1930
+98:3:1934
+99:3:1935
+100:3:1939
+101:3:1947
+102:3:1948
+103:3:1953
+104:3:1960
+105:3:1961
+106:3:1968
+107:3:1973
+108:0:2904
+109:3:1984
+110:0:2904
+111:3:1992
+112:3:1993
+113:3:1997
+114:3:2001
+115:3:2002
+116:3:2006
+117:3:2014
+118:3:2015
+119:3:2020
+120:3:2027
+121:3:2028
+122:3:2035
+123:3:2040
+124:0:2904
+125:3:2055
+126:0:2904
+127:3:2057
+128:0:2904
+129:3:2058
+130:3:2062
+131:3:2063
+132:3:2071
+133:3:2072
+134:3:2076
+135:3:2077
+136:3:2085
+137:3:2090
+138:3:2094
+139:3:2095
+140:3:2102
+141:3:2103
+142:3:2114
+143:3:2115
+144:3:2116
+145:3:2127
+146:3:2132
+147:3:2133
+148:0:2904
+149:3:2145
+150:0:2904
+151:3:2147
+152:0:2904
+153:3:2150
+154:3:2151
+155:3:2163
+156:3:2164
+157:3:2168
+158:3:2169
+159:3:2177
+160:3:2182
+161:3:2186
+162:3:2187
+163:3:2194
+164:3:2195
+165:3:2206
+166:3:2207
+167:3:2208
+168:3:2219
+169:3:2224
+170:3:2225
+171:0:2904
+172:3:2237
+173:0:2904
+174:3:2239
+175:0:2904
+176:3:2240
+177:0:2904
+178:3:2241
+179:0:2904
+180:3:2242
+181:0:2904
+182:3:2243
+183:3:2247
+184:3:2248
+185:3:2256
+186:3:2257
+187:3:2261
+188:3:2262
+189:3:2270
+190:3:2275
+191:3:2279
+192:3:2280
+193:3:2287
+194:3:2288
+195:3:2299
+196:3:2300
+197:3:2301
+198:3:2312
+199:3:2317
+200:3:2318
+201:0:2904
+202:3:2330
+203:0:2904
+204:3:2532
+205:0:2904
+206:3:2630
+207:0:2904
+208:3:2631
+209:0:2904
+210:3:2635
+211:0:2904
+212:3:2641
+213:0:2904
+214:3:2645
+215:3:2646
+216:3:2650
+217:3:2654
+218:3:2655
+219:3:2659
+220:3:2667
+221:3:2668
+222:3:2673
+223:3:2680
+224:3:2681
+225:3:2688
+226:3:2693
+227:0:2904
+228:3:2704
+229:0:2904
+230:3:2708
+231:3:2709
+232:3:2713
+233:3:2717
+234:3:2718
+235:3:2722
+236:3:2730
+237:3:2731
+238:3:2736
+239:3:2743
+240:3:2744
+241:3:2751
+242:3:2756
+243:0:2904
+244:3:2767
+245:0:2904
+246:3:2775
+247:3:2776
+248:3:2780
+249:3:2784
+250:3:2785
+251:3:2789
+252:3:2797
+253:3:2798
+254:3:2803
+255:3:2810
+256:3:2811
+257:3:2818
+258:3:2823
+259:0:2904
+260:3:2838
+261:0:2904
+262:3:2840
+263:0:2904
+264:3:2841
+265:0:2904
+266:3:1662
+267:0:2904
+268:3:1663
+269:3:1667
+270:3:1668
+271:3:1676
+272:3:1677
+273:3:1681
+274:3:1682
+275:3:1690
+276:3:1695
+277:3:1699
+278:3:1700
+279:3:1707
+280:3:1708
+281:3:1719
+282:3:1720
+283:3:1721
+284:3:1732
+285:3:1737
+286:3:1738
+287:0:2904
+288:3:1750
+289:0:2904
+290:3:1752
+291:3:1753
+292:0:2904
+293:3:1757
+294:3:1761
+295:3:1762
+296:3:1770
+297:3:1771
+298:3:1775
+299:3:1776
+300:3:1784
+301:3:1789
+302:3:1790
+303:3:1801
+304:3:1802
+305:3:1813
+306:3:1814
+307:3:1815
+308:3:1826
+309:3:1831
+310:3:1832
+311:0:2904
+312:3:1844
+313:0:2904
+314:3:1846
+315:0:2904
+316:3:1847
+317:0:2904
+318:3:1857
+319:0:2904
+320:3:1858
+321:0:2904
+322:3:1862
+323:3:1863
+324:3:1867
+325:3:1871
+326:3:1872
+327:3:1876
+328:3:1884
+329:3:1885
+330:3:1890
+331:3:1897
+332:3:1898
+333:3:1905
+334:3:1910
+335:0:2904
+336:3:1921
+337:0:2904
+338:3:1925
+339:3:1926
+340:3:1930
+341:3:1934
+342:3:1935
+343:3:1939
+344:3:1947
+345:3:1948
+346:3:1953
+347:3:1960
+348:3:1961
+349:3:1968
+350:3:1973
+351:0:2904
+352:3:1984
+353:0:2904
+354:3:1992
+355:3:1993
+356:3:1997
+357:3:2001
+358:3:2002
+359:3:2006
+360:3:2014
+361:3:2015
+362:3:2020
+363:3:2027
+364:3:2028
+365:3:2035
+366:3:2040
+367:0:2904
+368:3:2055
+369:0:2904
+370:3:2057
+371:0:2904
+372:3:2058
+373:3:2062
+374:3:2063
+375:3:2071
+376:3:2072
+377:3:2076
+378:3:2077
+379:3:2085
+380:3:2090
+381:3:2094
+382:3:2095
+383:3:2102
+384:3:2103
+385:3:2114
+386:3:2115
+387:3:2116
+388:3:2127
+389:3:2132
+390:3:2133
+391:0:2904
+392:3:2145
+393:0:2904
+394:3:2147
+395:0:2904
+396:3:2150
+397:3:2151
+398:3:2163
+399:3:2164
+400:3:2168
+401:3:2169
+402:3:2177
+403:3:2182
+404:3:2186
+405:3:2187
+406:3:2194
+407:3:2195
+408:3:2206
+409:3:2207
+410:3:2208
+411:3:2219
+412:3:2224
+413:3:2225
+414:0:2904
+415:3:2237
+416:0:2904
+417:3:2239
+418:0:2904
+419:3:2240
+420:0:2904
+421:3:2241
+422:0:2904
+423:3:2242
+424:0:2904
+425:3:2243
+426:3:2247
+427:3:2248
+428:3:2256
+429:3:2257
+430:3:2261
+431:3:2262
+432:3:2270
+433:3:2275
+434:3:2279
+435:3:2280
+436:3:2287
+437:3:2288
+438:3:2299
+439:3:2300
+440:3:2301
+441:3:2312
+442:3:2317
+443:3:2318
+444:0:2904
+445:3:2330
+446:0:2904
+447:3:2532
+448:0:2904
+449:3:2630
+450:0:2904
+451:3:2631
+452:0:2904
+453:3:2635
+454:0:2904
+455:3:2641
+456:0:2904
+457:3:2645
+458:3:2646
+459:3:2650
+460:3:2654
+461:3:2655
+462:3:2659
+463:3:2667
+464:3:2668
+465:3:2673
+466:3:2680
+467:3:2681
+468:3:2688
+469:3:2693
+470:0:2904
+471:3:2704
+472:0:2904
+473:3:2708
+474:3:2709
+475:3:2713
+476:3:2717
+477:3:2718
+478:3:2722
+479:3:2730
+480:3:2731
+481:3:2736
+482:3:2743
+483:3:2744
+484:3:2751
+485:3:2756
+486:0:2904
+487:3:2767
+488:0:2904
+489:3:2775
+490:3:2776
+491:3:2780
+492:3:2784
+493:3:2785
+494:3:2789
+495:3:2797
+496:3:2798
+497:3:2803
+498:3:2810
+499:3:2811
+500:3:2818
+501:3:2823
+502:0:2904
+503:3:2838
+504:0:2904
+505:3:2840
+506:0:2904
+507:3:2841
+508:0:2904
+509:3:1662
+510:0:2904
+511:3:1663
+512:3:1667
+513:3:1668
+514:3:1676
+515:3:1677
+516:3:1681
+517:3:1682
+518:3:1690
+519:3:1695
+520:3:1699
+521:3:1700
+522:3:1707
+523:3:1708
+524:3:1719
+525:3:1720
+526:3:1721
+527:3:1732
+528:3:1737
+529:3:1738
+530:0:2904
+531:3:1750
+532:0:2904
+533:3:1752
+534:3:1753
+535:0:2904
+536:3:1757
+537:3:1761
+538:3:1762
+539:3:1770
+540:3:1771
+541:3:1775
+542:3:1776
+543:3:1784
+544:3:1789
+545:3:1790
+546:3:1801
+547:3:1802
+548:3:1813
+549:3:1814
+550:3:1815
+551:3:1826
+552:3:1831
+553:3:1832
+554:0:2904
+555:3:1844
+556:0:2904
+557:3:1846
+558:0:2904
+559:3:1847
+560:0:2904
+561:3:1857
+562:0:2904
+563:3:1858
+564:0:2904
+565:3:1862
+566:3:1863
+567:3:1867
+568:3:1871
+569:3:1872
+570:3:1876
+571:3:1884
+572:3:1885
+573:3:1890
+574:3:1897
+575:3:1898
+576:3:1905
+577:3:1910
+578:0:2904
+579:3:1921
+580:0:2904
+581:3:1925
+582:3:1926
+583:3:1930
+584:3:1934
+585:3:1935
+586:3:1939
+587:3:1947
+588:3:1948
+589:3:1953
+590:3:1960
+591:3:1961
+592:3:1968
+593:3:1973
+594:0:2904
+595:3:1984
+596:0:2904
+597:3:1992
+598:3:1993
+599:3:1997
+600:3:2001
+601:3:2002
+602:3:2006
+603:3:2014
+604:3:2015
+605:3:2020
+606:3:2027
+607:3:2028
+608:3:2035
+609:3:2040
+610:0:2904
+611:3:2055
+612:0:2904
+613:3:2057
+614:0:2904
+615:3:2058
+616:3:2062
+617:3:2063
+618:3:2071
+619:3:2072
+620:3:2076
+621:3:2077
+622:3:2085
+623:3:2090
+624:3:2094
+625:3:2095
+626:3:2102
+627:3:2103
+628:3:2114
+629:3:2115
+630:3:2116
+631:3:2127
+632:3:2132
+633:3:2133
+634:0:2904
+635:3:2145
+636:0:2904
+637:3:2147
+638:0:2904
+639:3:2150
+640:3:2151
+641:3:2163
+642:3:2164
+643:3:2168
+644:3:2169
+645:3:2177
+646:3:2182
+647:3:2186
+648:3:2187
+649:3:2194
+650:3:2195
+651:3:2206
+652:3:2207
+653:3:2208
+654:3:2219
+655:3:2224
+656:3:2225
+657:0:2904
+658:3:2237
+659:0:2904
+660:3:2239
+661:0:2904
+662:3:2240
+663:0:2904
+664:3:2241
+665:0:2904
+666:3:2242
+667:0:2904
+668:3:2243
+669:3:2247
+670:3:2248
+671:3:2256
+672:3:2257
+673:3:2261
+674:3:2262
+675:3:2270
+676:3:2275
+677:3:2279
+678:3:2280
+679:3:2287
+680:3:2288
+681:3:2299
+682:3:2300
+683:3:2301
+684:3:2312
+685:3:2317
+686:3:2318
+687:0:2904
+688:3:2330
+689:0:2904
+690:3:2532
+691:0:2904
+692:3:2630
+693:0:2904
+694:3:2631
+695:0:2904
+696:3:2635
+697:0:2904
+698:3:2641
+699:0:2904
+700:3:2645
+701:3:2646
+702:3:2650
+703:3:2654
+704:3:2655
+705:3:2659
+706:3:2667
+707:3:2668
+708:3:2673
+709:3:2680
+710:3:2681
+711:3:2688
+712:3:2693
+713:0:2904
+714:3:2704
+715:0:2904
+716:3:2708
+717:3:2709
+718:3:2713
+719:3:2717
+720:3:2718
+721:3:2722
+722:3:2730
+723:3:2731
+724:3:2736
+725:3:2743
+726:3:2744
+727:3:2751
+728:3:2756
+729:0:2904
+730:3:2767
+731:0:2904
+732:3:2775
+733:3:2776
+734:3:2780
+735:3:2784
+736:3:2785
+737:3:2789
+738:3:2797
+739:3:2798
+740:3:2803
+741:3:2810
+742:3:2811
+743:3:2818
+744:3:2823
+745:0:2904
+746:3:2838
+747:0:2904
+748:3:2840
+749:0:2904
+750:3:2841
+751:0:2904
+752:3:1662
+753:0:2904
+754:3:1663
+755:3:1667
+756:3:1668
+757:3:1676
+758:3:1677
+759:3:1681
+760:3:1682
+761:3:1690
+762:3:1695
+763:3:1699
+764:3:1700
+765:3:1707
+766:3:1708
+767:3:1719
+768:3:1720
+769:3:1721
+770:3:1732
+771:3:1737
+772:3:1738
+773:0:2904
+774:3:1750
+775:0:2904
+776:3:1752
+777:3:1753
+778:0:2904
+779:3:1757
+780:3:1761
+781:3:1762
+782:3:1770
+783:3:1771
+784:3:1775
+785:3:1776
+786:3:1784
+787:3:1789
+788:3:1790
+789:3:1801
+790:3:1802
+791:3:1813
+792:3:1814
+793:3:1815
+794:3:1826
+795:3:1831
+796:3:1832
+797:0:2904
+798:3:1844
+799:0:2904
+800:3:1846
+801:0:2904
+802:3:1847
+803:0:2904
+804:3:1857
+805:0:2904
+806:3:1858
+807:0:2904
+808:3:1862
+809:3:1863
+810:3:1867
+811:3:1871
+812:3:1872
+813:3:1876
+814:3:1884
+815:3:1885
+816:3:1890
+817:3:1897
+818:3:1898
+819:3:1905
+820:3:1910
+821:0:2904
+822:3:1921
+823:0:2904
+824:3:1925
+825:3:1926
+826:3:1930
+827:3:1934
+828:3:1935
+829:3:1939
+830:3:1947
+831:3:1948
+832:3:1953
+833:3:1960
+834:3:1961
+835:3:1968
+836:3:1973
+837:0:2904
+838:3:1984
+839:0:2904
+840:3:1992
+841:3:1993
+842:3:1997
+843:3:2001
+844:3:2002
+845:3:2006
+846:3:2014
+847:3:2015
+848:3:2020
+849:3:2027
+850:3:2028
+851:3:2035
+852:3:2040
+853:0:2904
+854:3:2055
+855:0:2904
+856:3:2057
+857:0:2904
+858:3:2058
+859:3:2062
+860:3:2063
+861:3:2071
+862:3:2072
+863:3:2076
+864:3:2077
+865:3:2085
+866:3:2090
+867:3:2094
+868:3:2095
+869:3:2102
+870:3:2103
+871:3:2114
+872:3:2115
+873:3:2116
+874:3:2127
+875:3:2132
+876:3:2133
+877:0:2904
+878:3:2145
+879:0:2904
+880:3:2147
+881:0:2904
+882:3:2150
+883:3:2151
+884:3:2163
+885:3:2164
+886:3:2168
+887:3:2169
+888:3:2177
+889:3:2182
+890:3:2186
+891:3:2187
+892:3:2194
+893:3:2195
+894:3:2206
+895:3:2207
+896:3:2208
+897:3:2219
+898:3:2224
+899:3:2225
+900:0:2904
+901:3:2237
+902:0:2904
+903:3:2239
+904:0:2904
+905:3:2240
+906:0:2904
+907:3:2241
+908:0:2904
+909:3:2242
+910:0:2904
+911:3:2243
+912:3:2247
+913:3:2248
+914:3:2256
+915:3:2257
+916:3:2261
+917:3:2262
+918:3:2270
+919:3:2275
+920:3:2279
+921:3:2280
+922:3:2287
+923:3:2288
+924:3:2299
+925:3:2300
+926:3:2301
+927:3:2312
+928:3:2317
+929:3:2318
+930:0:2904
+931:3:2330
+932:0:2904
+933:3:2532
+934:0:2904
+935:3:2630
+936:0:2904
+937:3:2631
+938:0:2904
+939:3:2635
+940:0:2904
+941:3:2641
+942:0:2904
+943:3:2645
+944:3:2646
+945:3:2650
+946:3:2654
+947:3:2655
+948:3:2659
+949:3:2667
+950:3:2668
+951:3:2673
+952:3:2680
+953:3:2681
+954:3:2688
+955:3:2693
+956:0:2904
+957:3:2704
+958:0:2904
+959:2:848
+960:0:2904
+961:2:854
+962:0:2904
+963:2:855
+964:0:2904
+965:2:856
+966:0:2904
+967:2:857
+968:0:2904
+969:1:2
+970:0:2904
+971:2:858
+972:0:2904
+973:1:8
+974:0:2904
+975:1:9
+976:0:2904
+977:1:10
+978:0:2904
+979:1:11
+980:0:2904
+981:2:857
+982:0:2904
+983:1:12
+984:1:16
+985:1:17
+986:1:25
+987:1:26
+988:1:30
+989:1:31
+990:1:39
+991:1:44
+992:1:48
+993:1:49
+994:1:63
+995:1:64
+996:1:68
+997:1:69
+998:1:70
+999:1:81
+1000:1:86
+1001:1:87
+1002:0:2904
+1003:2:858
+1004:0:2904
+1005:1:99
+1006:0:2904
+1007:2:859
+1008:0:2904
+1009:2:860
+1010:0:2904
+1011:2:871
+1012:0:2904
+1013:2:872
+1014:0:2904
+1015:2:873
+1016:2:877
+1017:2:878
+1018:2:886
+1019:2:887
+1020:2:891
+1021:2:892
+1022:2:900
+1023:2:905
+1024:2:909
+1025:2:910
+1026:2:924
+1027:2:925
+1028:2:929
+1029:2:930
+1030:2:931
+1031:2:942
+1032:2:947
+1033:2:948
+1034:0:2904
+1035:2:960
+1036:0:2904
+1037:2:961
+1038:2:965
+1039:2:966
+1040:2:974
+1041:2:975
+1042:2:979
+1043:2:980
+1044:2:988
+1045:2:993
+1046:2:997
+1047:2:998
+1048:2:1012
+1049:2:1013
+1050:2:1017
+1051:2:1018
+1052:2:1019
+1053:2:1030
+1054:2:1035
+1055:2:1036
+1056:0:2904
+1057:2:1048
+1058:0:2904
+1059:2:1049
+1060:0:2904
+1061:3:2708
+1062:3:2709
+1063:3:2713
+1064:3:2717
+1065:3:2718
+1066:3:2722
+1067:3:2730
+1068:3:2731
+1069:3:2736
+1070:3:2743
+1071:3:2744
+1072:3:2751
+1073:3:2756
+1074:0:2904
+1075:3:2767
+1076:0:2904
+1077:3:2775
+1078:3:2776
+1079:3:2780
+1080:3:2784
+1081:3:2785
+1082:3:2789
+1083:3:2797
+1084:3:2798
+1085:3:2803
+1086:3:2810
+1087:3:2811
+1088:3:2818
+1089:3:2823
+1090:0:2904
+1091:3:2838
+1092:0:2904
+1093:3:2840
+1094:0:2904
+1095:3:2841
+1096:0:2904
+1097:3:1662
+1098:0:2904
+1099:3:1663
+1100:3:1667
+1101:3:1668
+1102:3:1676
+1103:3:1677
+1104:3:1681
+1105:3:1682
+1106:3:1690
+1107:3:1695
+1108:3:1699
+1109:3:1700
+1110:3:1707
+1111:3:1708
+1112:3:1719
+1113:3:1720
+1114:3:1721
+1115:3:1732
+1116:3:1737
+1117:3:1738
+1118:0:2904
+1119:3:1750
+1120:0:2904
+1121:3:1752
+1122:3:1753
+1123:0:2904
+1124:3:1757
+1125:3:1761
+1126:3:1762
+1127:3:1770
+1128:3:1771
+1129:3:1775
+1130:3:1776
+1131:3:1784
+1132:3:1789
+1133:3:1790
+1134:3:1801
+1135:3:1802
+1136:3:1813
+1137:3:1814
+1138:3:1815
+1139:3:1826
+1140:3:1831
+1141:3:1832
+1142:0:2904
+1143:3:1844
+1144:0:2904
+1145:3:1846
+1146:0:2904
+1147:3:1847
+1148:0:2904
+1149:3:1857
+1150:0:2904
+1151:3:1858
+1152:0:2904
+1153:3:1862
+1154:3:1863
+1155:3:1867
+1156:3:1871
+1157:3:1872
+1158:3:1876
+1159:3:1884
+1160:3:1885
+1161:3:1890
+1162:3:1897
+1163:3:1898
+1164:3:1905
+1165:3:1910
+1166:0:2904
+1167:3:1921
+1168:0:2904
+1169:2:1050
+1170:2:1054
+1171:2:1055
+1172:2:1063
+1173:2:1064
+1174:2:1068
+1175:2:1069
+1176:2:1077
+1177:2:1082
+1178:2:1086
+1179:2:1087
+1180:2:1094
+1181:2:1095
+1182:2:1106
+1183:2:1107
+1184:2:1108
+1185:2:1119
+1186:2:1131
+1187:2:1132
+1188:0:2904
+1189:2:1137
+1190:0:2904
+1191:2:1338
+1192:0:2904
+1193:2:1339
+1194:0:2904
+1195:2:1344
+1196:0:2904
+1197:2:1349
+1198:0:2904
+1199:3:1925
+1200:3:1926
+1201:3:1930
+1202:3:1931
+1203:3:1939
+1204:3:1947
+1205:3:1948
+1206:3:1953
+1207:3:1960
+1208:3:1961
+1209:3:1968
+1210:3:1973
+1211:0:2904
+1212:3:1984
+1213:0:2904
+1214:3:1992
+1215:3:1993
+1216:3:1997
+1217:3:2001
+1218:3:2002
+1219:3:2006
+1220:3:2014
+1221:3:2015
+1222:3:2020
+1223:3:2027
+1224:3:2028
+1225:3:2035
+1226:3:2040
+1227:0:2904
+1228:3:2055
+1229:0:2904
+1230:3:2057
+1231:0:2904
+1232:3:2058
+1233:3:2062
+1234:3:2063
+1235:3:2071
+1236:3:2072
+1237:3:2076
+1238:3:2077
+1239:3:2085
+1240:3:2090
+1241:3:2094
+1242:3:2095
+1243:3:2102
+1244:3:2103
+1245:3:2114
+1246:3:2115
+1247:3:2116
+1248:3:2127
+1249:3:2132
+1250:3:2133
+1251:0:2904
+1252:3:2145
+1253:0:2904
+1254:3:2147
+1255:0:2904
+1256:3:2150
+1257:3:2151
+1258:3:2163
+1259:3:2164
+1260:3:2168
+1261:3:2169
+1262:3:2177
+1263:3:2182
+1264:3:2186
+1265:3:2187
+1266:3:2194
+1267:3:2195
+1268:3:2206
+1269:3:2207
+1270:3:2208
+1271:3:2219
+1272:3:2224
+1273:3:2225
+1274:0:2904
+1275:3:2237
+1276:0:2904
+1277:3:2239
+1278:0:2904
+1279:3:2240
+1280:0:2904
+1281:3:2241
+1282:0:2904
+1283:3:2242
+1284:0:2904
+1285:3:2243
+1286:3:2247
+1287:3:2248
+1288:3:2256
+1289:3:2257
+1290:3:2261
+1291:3:2262
+1292:3:2270
+1293:3:2275
+1294:3:2279
+1295:3:2280
+1296:3:2287
+1297:3:2288
+1298:3:2299
+1299:3:2300
+1300:3:2301
+1301:3:2312
+1302:3:2317
+1303:3:2318
+1304:0:2904
+1305:3:2330
+1306:0:2904
+1307:3:2532
+1308:0:2904
+1309:3:2630
+1310:0:2904
+1311:3:2631
+1312:0:2904
+1313:3:2635
+1314:0:2904
+1315:3:2641
+1316:0:2904
+1317:3:2645
+1318:3:2646
+1319:3:2650
+1320:3:2654
+1321:3:2655
+1322:3:2659
+1323:3:2667
+1324:3:2668
+1325:3:2673
+1326:3:2680
+1327:3:2681
+1328:3:2688
+1329:3:2693
+1330:0:2904
+1331:3:2704
+1332:0:2904
+1333:3:2708
+1334:3:2709
+1335:3:2713
+1336:3:2717
+1337:3:2718
+1338:3:2722
+1339:3:2730
+1340:3:2731
+1341:3:2736
+1342:3:2743
+1343:3:2744
+1344:3:2751
+1345:3:2756
+1346:0:2904
+1347:3:2767
+1348:0:2904
+1349:3:2775
+1350:3:2776
+1351:3:2780
+1352:3:2784
+1353:3:2785
+1354:3:2789
+1355:3:2797
+1356:3:2798
+1357:3:2803
+1358:3:2810
+1359:3:2811
+1360:3:2818
+1361:3:2823
+1362:0:2904
+1363:3:2838
+1364:0:2904
+1365:3:2840
+1366:0:2904
+1367:3:2841
+1368:0:2904
+1369:3:2844
+1370:0:2904
+1371:3:2849
+1372:0:2904
+1373:2:1350
+1374:0:2902
+1375:3:2850
+1376:0:2908
+1377:1:296