Add verif results

[urcu.git] / formal-model / urcu-controldataflow-alpha-ipi-progress-minimal / urcu_free_no_wmb.spin.input.trail

diff --git a/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input.trail b/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input.trail
new file mode 100644 (file)
index 0000000..4b13aef
--- /dev/null
+++ b/formal-model/urcu-controldataflow-alpha-ipi-progress-minimal/urcu_free_no_wmb.spin.input.trail
@@ -0,0 +1,1361 @@
+-2:3:-2
+-4:-4:-4
+1:0:2887
+2:2:1136
+3:2:1141
+4:2:1145
+5:2:1153
+6:2:1157
+7:2:1161
+8:0:2887
+9:1:0
+10:1:5
+11:1:9
+12:1:17
+13:1:21
+14:1:25
+15:0:2887
+16:3:2859
+17:3:2862
+18:3:2867
+19:3:2874
+20:3:2877
+21:3:2881
+22:3:2882
+23:0:2887
+24:3:2884
+25:0:2887
+26:2:1165
+27:0:2887
+28:2:1171
+29:0:2887
+30:2:1172
+31:0:2887
+32:2:1174
+33:0:2887
+34:2:1175
+35:0:2887
+36:2:1176
+37:0:2887
+38:2:1177
+39:2:1178
+40:2:1182
+41:2:1183
+42:2:1191
+43:2:1192
+44:2:1196
+45:2:1197
+46:2:1205
+47:2:1210
+48:2:1214
+49:2:1215
+50:2:1223
+51:2:1224
+52:2:1228
+53:2:1229
+54:2:1223
+55:2:1224
+56:2:1228
+57:2:1229
+58:2:1237
+59:2:1242
+60:2:1243
+61:2:1254
+62:2:1255
+63:2:1256
+64:2:1267
+65:2:1272
+66:2:1273
+67:2:1284
+68:2:1285
+69:2:1286
+70:2:1284
+71:2:1285
+72:2:1286
+73:2:1297
+74:2:1305
+75:0:2887
+76:2:1176
+77:0:2887
+78:2:1357
+79:2:1358
+80:2:1359
+81:0:2887
+82:2:1176
+83:0:2887
+84:2:1364
+85:0:2887
+86:2:2068
+87:2:2069
+88:2:2073
+89:2:2077
+90:2:2078
+91:2:2082
+92:2:2087
+93:2:2095
+94:2:2099
+95:2:2100
+96:2:2095
+97:2:2096
+98:2:2104
+99:2:2111
+100:2:2118
+101:2:2119
+102:2:2126
+103:2:2131
+104:2:2138
+105:2:2139
+106:2:2138
+107:2:2139
+108:2:2146
+109:2:2150
+110:0:2887
+111:2:2155
+112:0:2887
+113:2:2156
+114:0:2887
+115:2:2157
+116:0:2887
+117:2:2158
+118:0:2887
+119:1:29
+120:0:2887
+121:2:2159
+122:0:2887
+123:1:35
+124:0:2887
+125:1:36
+126:0:2887
+127:2:2158
+128:0:2887
+129:1:37
+130:0:2887
+131:2:2159
+132:0:2887
+133:1:38
+134:0:2887
+135:2:2158
+136:0:2887
+137:1:39
+138:0:2887
+139:2:2159
+140:0:2887
+141:1:40
+142:0:2887
+143:1:41
+144:0:2887
+145:2:2158
+146:0:2887
+147:1:42
+148:0:2887
+149:2:2159
+150:0:2887
+151:1:51
+152:0:2887
+153:2:2158
+154:0:2887
+155:1:55
+156:1:56
+157:1:60
+158:1:64
+159:1:65
+160:1:69
+161:1:77
+162:1:78
+163:1:82
+164:1:86
+165:1:87
+166:1:82
+167:1:86
+168:1:87
+169:1:91
+170:1:98
+171:1:105
+172:1:106
+173:1:113
+174:1:118
+175:1:125
+176:1:126
+177:1:125
+178:1:126
+179:1:133
+180:1:137
+181:0:2887
+182:2:2159
+183:0:2887
+184:1:142
+185:0:2887
+186:2:2160
+187:0:2887
+188:2:2165
+189:0:2887
+190:2:2166
+191:0:2887
+192:2:2174
+193:2:2175
+194:2:2179
+195:2:2183
+196:2:2184
+197:2:2188
+198:2:2196
+199:2:2197
+200:2:2201
+201:2:2205
+202:2:2206
+203:2:2201
+204:2:2205
+205:2:2206
+206:2:2210
+207:2:2217
+208:2:2224
+209:2:2225
+210:2:2232
+211:2:2237
+212:2:2244
+213:2:2245
+214:2:2244
+215:2:2245
+216:2:2252
+217:2:2256
+218:0:2887
+219:2:1366
+220:2:2049
+221:0:2887
+222:2:1176
+223:0:2887
+224:2:1367
+225:0:2887
+226:2:1176
+227:0:2887
+228:2:1370
+229:2:1371
+230:2:1375
+231:2:1376
+232:2:1384
+233:2:1385
+234:2:1389
+235:2:1390
+236:2:1398
+237:2:1403
+238:2:1407
+239:2:1408
+240:2:1416
+241:2:1417
+242:2:1421
+243:2:1422
+244:2:1416
+245:2:1417
+246:2:1421
+247:2:1422
+248:2:1430
+249:2:1435
+250:2:1436
+251:2:1447
+252:2:1448
+253:2:1449
+254:2:1460
+255:2:1465
+256:2:1466
+257:2:1477
+258:2:1478
+259:2:1479
+260:2:1477
+261:2:1478
+262:2:1479
+263:2:1490
+264:2:1497
+265:0:2887
+266:2:1176
+267:0:2887
+268:2:1501
+269:2:1502
+270:2:1503
+271:2:1515
+272:2:1516
+273:2:1520
+274:2:1521
+275:2:1529
+276:2:1534
+277:2:1538
+278:2:1539
+279:2:1547
+280:2:1548
+281:2:1552
+282:2:1553
+283:2:1547
+284:2:1548
+285:2:1552
+286:2:1553
+287:2:1561
+288:2:1566
+289:2:1567
+290:2:1578
+291:2:1579
+292:2:1580
+293:2:1591
+294:2:1596
+295:2:1597
+296:2:1608
+297:2:1609
+298:2:1610
+299:2:1608
+300:2:1609
+301:2:1610
+302:2:1621
+303:2:1632
+304:2:1633
+305:0:2887
+306:2:1176
+307:0:2887
+308:2:1640
+309:2:1641
+310:2:1645
+311:2:1646
+312:2:1654
+313:2:1655
+314:2:1659
+315:2:1660
+316:2:1668
+317:2:1673
+318:2:1677
+319:2:1678
+320:2:1686
+321:2:1687
+322:2:1691
+323:2:1692
+324:2:1686
+325:2:1687
+326:2:1691
+327:2:1692
+328:2:1700
+329:2:1705
+330:2:1706
+331:2:1717
+332:2:1718
+333:2:1719
+334:2:1730
+335:2:1735
+336:2:1736
+337:2:1747
+338:2:1748
+339:2:1749
+340:2:1747
+341:2:1748
+342:2:1749
+343:2:1760
+344:0:2887
+345:2:1176
+346:0:2887
+347:2:1769
+348:2:1770
+349:2:1774
+350:2:1775
+351:2:1783
+352:2:1784
+353:2:1788
+354:2:1789
+355:2:1797
+356:2:1802
+357:2:1806
+358:2:1807
+359:2:1815
+360:2:1816
+361:2:1820
+362:2:1821
+363:2:1815
+364:2:1816
+365:2:1820
+366:2:1821
+367:2:1829
+368:2:1834
+369:2:1835
+370:2:1846
+371:2:1847
+372:2:1848
+373:2:1859
+374:2:1864
+375:2:1865
+376:2:1876
+377:2:1877
+378:2:1878
+379:2:1876
+380:2:1877
+381:2:1878
+382:2:1889
+383:2:1896
+384:0:2887
+385:2:1176
+386:0:2887
+387:2:1900
+388:2:1901
+389:2:1902
+390:2:1914
+391:2:1915
+392:2:1919
+393:2:1920
+394:2:1928
+395:2:1933
+396:2:1937
+397:2:1938
+398:2:1946
+399:2:1947
+400:2:1951
+401:2:1952
+402:2:1946
+403:2:1947
+404:2:1951
+405:2:1952
+406:2:1960
+407:2:1965
+408:2:1966
+409:2:1977
+410:2:1978
+411:2:1979
+412:2:1990
+413:2:1995
+414:2:1996
+415:2:2007
+416:2:2008
+417:2:2009
+418:2:2007
+419:2:2008
+420:2:2009
+421:2:2020
+422:2:2030
+423:2:2031
+424:0:2887
+425:2:1176
+426:0:2887
+427:2:2037
+428:0:2887
+429:2:2662
+430:2:2663
+431:2:2667
+432:2:2671
+433:2:2672
+434:2:2676
+435:2:2684
+436:2:2685
+437:2:2689
+438:2:2693
+439:2:2694
+440:2:2689
+441:2:2693
+442:2:2694
+443:2:2698
+444:2:2705
+445:2:2712
+446:2:2713
+447:2:2720
+448:2:2725
+449:2:2732
+450:2:2733
+451:2:2732
+452:2:2733
+453:2:2740
+454:2:2744
+455:0:2887
+456:2:2749
+457:0:2887
+458:2:2750
+459:0:2887
+460:2:2751
+461:0:2887
+462:2:2752
+463:0:2887
+464:1:51
+465:0:2887
+466:2:2753
+467:0:2887
+468:1:55
+469:1:56
+470:1:60
+471:1:64
+472:1:65
+473:1:69
+474:1:77
+475:1:78
+476:1:82
+477:1:86
+478:1:87
+479:1:82
+480:1:86
+481:1:87
+482:1:91
+483:1:98
+484:1:105
+485:1:106
+486:1:113
+487:1:118
+488:1:125
+489:1:126
+490:1:125
+491:1:126
+492:1:133
+493:1:137
+494:0:2887
+495:2:2752
+496:0:2887
+497:1:142
+498:0:2887
+499:2:2753
+500:0:2887
+501:2:2754
+502:0:2887
+503:2:2759
+504:0:2887
+505:2:2760
+506:0:2887
+507:2:2768
+508:2:2769
+509:2:2773
+510:2:2777
+511:2:2778
+512:2:2782
+513:2:2790
+514:2:2791
+515:2:2795
+516:2:2799
+517:2:2800
+518:2:2795
+519:2:2799
+520:2:2800
+521:2:2804
+522:2:2811
+523:2:2818
+524:2:2819
+525:2:2826
+526:2:2831
+527:2:2838
+528:2:2839
+529:2:2838
+530:2:2839
+531:2:2846
+532:2:2850
+533:0:2887
+534:2:2039
+535:2:2049
+536:0:2887
+537:2:1176
+538:0:2887
+539:2:2040
+540:2:2041
+541:0:2887
+542:2:1176
+543:0:2887
+544:2:2045
+545:0:2887
+546:2:2053
+547:0:2887
+548:2:1172
+549:0:2887
+550:2:1174
+551:0:2887
+552:2:1175
+553:0:2887
+554:2:1176
+555:0:2887
+556:2:1357
+557:2:1358
+558:2:1359
+559:0:2887
+560:2:1176
+561:0:2887
+562:2:1177
+563:2:1178
+564:2:1182
+565:2:1183
+566:2:1191
+567:2:1192
+568:2:1196
+569:2:1197
+570:2:1205
+571:2:1210
+572:2:1211
+573:2:1223
+574:2:1224
+575:2:1225
+576:2:1223
+577:2:1224
+578:2:1228
+579:2:1229
+580:2:1237
+581:2:1242
+582:2:1243
+583:2:1254
+584:2:1255
+585:2:1256
+586:2:1267
+587:2:1272
+588:2:1273
+589:2:1284
+590:2:1285
+591:2:1286
+592:2:1284
+593:2:1285
+594:2:1286
+595:2:1297
+596:2:1305
+597:0:2887
+598:2:1176
+599:0:2887
+600:2:1364
+601:0:2887
+602:2:2068
+603:2:2069
+604:2:2073
+605:2:2077
+606:2:2078
+607:2:2082
+608:2:2090
+609:2:2091
+610:2:2095
+611:2:2096
+612:2:2095
+613:2:2099
+614:2:2100
+615:2:2104
+616:2:2111
+617:2:2118
+618:2:2119
+619:2:2126
+620:2:2131
+621:2:2138
+622:2:2139
+623:2:2138
+624:2:2139
+625:2:2146
+626:2:2150
+627:0:2887
+628:2:2155
+629:0:2887
+630:2:2156
+631:0:2887
+632:2:2157
+633:0:2887
+634:2:2158
+635:0:2887
+636:1:51
+637:0:2887
+638:2:2159
+639:0:2887
+640:1:55
+641:1:56
+642:1:60
+643:1:64
+644:1:65
+645:1:69
+646:1:77
+647:1:78
+648:1:82
+649:1:86
+650:1:87
+651:1:82
+652:1:86
+653:1:87
+654:1:91
+655:1:98
+656:1:105
+657:1:106
+658:1:113
+659:1:118
+660:1:125
+661:1:126
+662:1:125
+663:1:126
+664:1:133
+665:1:137
+666:0:2887
+667:2:2158
+668:0:2887
+669:1:142
+670:0:2887
+671:2:2159
+672:0:2887
+673:2:2160
+674:0:2887
+675:2:2165
+676:0:2887
+677:2:2166
+678:0:2887
+679:2:2174
+680:2:2175
+681:2:2179
+682:2:2183
+683:2:2184
+684:2:2188
+685:2:2196
+686:2:2197
+687:2:2201
+688:2:2205
+689:2:2206
+690:2:2201
+691:2:2205
+692:2:2206
+693:2:2210
+694:2:2217
+695:2:2224
+696:2:2225
+697:2:2232
+698:2:2237
+699:2:2244
+700:2:2245
+701:2:2244
+702:2:2245
+703:2:2252
+704:2:2256
+705:0:2887
+706:2:1366
+707:2:2049
+708:0:2887
+709:2:1176
+710:0:2887
+711:2:1367
+712:0:2887
+713:2:1176
+714:0:2887
+715:2:1370
+716:2:1371
+717:2:1375
+718:2:1376
+719:2:1384
+720:2:1385
+721:2:1389
+722:2:1390
+723:2:1398
+724:2:1403
+725:2:1407
+726:2:1408
+727:2:1416
+728:2:1417
+729:2:1421
+730:2:1422
+731:2:1416
+732:2:1417
+733:2:1421
+734:2:1422
+735:2:1430
+736:2:1435
+737:2:1436
+738:2:1447
+739:2:1448
+740:2:1449
+741:2:1460
+742:2:1465
+743:2:1466
+744:2:1477
+745:2:1478
+746:2:1479
+747:2:1477
+748:2:1478
+749:2:1479
+750:2:1490
+751:2:1497
+752:0:2887
+753:2:1176
+754:0:2887
+755:2:1501
+756:2:1502
+757:2:1503
+758:2:1515
+759:2:1516
+760:2:1520
+761:2:1521
+762:2:1529
+763:2:1534
+764:2:1538
+765:2:1539
+766:2:1547
+767:2:1548
+768:2:1552
+769:2:1553
+770:2:1547
+771:2:1548
+772:2:1552
+773:2:1553
+774:2:1561
+775:2:1566
+776:2:1567
+777:2:1578
+778:2:1579
+779:2:1580
+780:2:1591
+781:2:1596
+782:2:1597
+783:2:1608
+784:2:1609
+785:2:1610
+786:2:1608
+787:2:1609
+788:2:1610
+789:2:1621
+790:2:1632
+791:2:1633
+792:0:2887
+793:2:1176
+794:0:2887
+795:2:1640
+796:2:1641
+797:2:1645
+798:2:1646
+799:2:1654
+800:2:1655
+801:2:1659
+802:2:1660
+803:2:1668
+804:2:1673
+805:2:1677
+806:2:1678
+807:2:1686
+808:2:1687
+809:2:1691
+810:2:1692
+811:2:1686
+812:2:1687
+813:2:1691
+814:2:1692
+815:2:1700
+816:2:1705
+817:2:1706
+818:2:1717
+819:2:1718
+820:2:1719
+821:2:1730
+822:2:1735
+823:2:1736
+824:2:1747
+825:2:1748
+826:2:1749
+827:2:1747
+828:2:1748
+829:2:1749
+830:2:1760
+831:0:2887
+832:2:1176
+833:0:2887
+834:2:1769
+835:2:1770
+836:2:1774
+837:2:1775
+838:2:1783
+839:2:1784
+840:2:1788
+841:2:1789
+842:2:1797
+843:2:1802
+844:2:1806
+845:2:1807
+846:2:1815
+847:2:1816
+848:2:1820
+849:2:1821
+850:2:1815
+851:2:1816
+852:2:1820
+853:2:1821
+854:2:1829
+855:2:1834
+856:2:1835
+857:2:1846
+858:2:1847
+859:2:1848
+860:2:1859
+861:2:1864
+862:2:1865
+863:2:1876
+864:2:1877
+865:2:1878
+866:2:1876
+867:2:1877
+868:2:1878
+869:2:1889
+870:2:1896
+871:0:2887
+872:2:1176
+873:0:2887
+874:2:1900
+875:2:1901
+876:2:1902
+877:2:1914
+878:2:1915
+879:2:1919
+880:2:1920
+881:2:1928
+882:2:1933
+883:2:1937
+884:2:1938
+885:2:1946
+886:2:1947
+887:2:1951
+888:2:1952
+889:2:1946
+890:2:1947
+891:2:1951
+892:2:1952
+893:2:1960
+894:2:1965
+895:2:1966
+896:2:1977
+897:2:1978
+898:2:1979
+899:2:1990
+900:2:1995
+901:2:1996
+902:2:2007
+903:2:2008
+904:2:2009
+905:2:2007
+906:2:2008
+907:2:2009
+908:2:2020
+909:2:2030
+910:2:2031
+911:0:2887
+912:2:1176
+913:0:2887
+914:2:2037
+915:0:2887
+916:2:2662
+917:2:2663
+918:2:2667
+919:2:2671
+920:2:2672
+921:2:2676
+922:2:2684
+923:2:2685
+924:2:2689
+925:2:2693
+926:2:2694
+927:2:2689
+928:2:2693
+929:2:2694
+930:2:2698
+931:2:2705
+932:2:2712
+933:2:2713
+934:2:2720
+935:2:2725
+936:2:2732
+937:2:2733
+938:2:2732
+939:2:2733
+940:2:2740
+941:2:2744
+942:0:2887
+943:2:2749
+944:0:2887
+945:2:2750
+946:0:2887
+947:2:2751
+948:0:2887
+949:2:2752
+950:0:2887
+951:1:51
+952:0:2887
+953:2:2753
+954:0:2887
+955:1:55
+956:1:56
+957:1:60
+958:1:64
+959:1:65
+960:1:69
+961:1:77
+962:1:78
+963:1:82
+964:1:86
+965:1:87
+966:1:82
+967:1:86
+968:1:87
+969:1:91
+970:1:98
+971:1:105
+972:1:106
+973:1:113
+974:1:118
+975:1:125
+976:1:126
+977:1:125
+978:1:126
+979:1:133
+980:1:137
+981:0:2887
+982:2:2752
+983:0:2887
+984:1:142
+985:0:2887
+986:2:2753
+987:0:2887
+988:2:2754
+989:0:2887
+990:2:2759
+991:0:2887
+992:2:2760
+993:0:2887
+994:2:2768
+995:2:2769
+996:2:2773
+997:2:2777
+998:2:2778
+999:2:2782
+1000:2:2790
+1001:2:2791
+1002:2:2795
+1003:2:2799
+1004:2:2800
+1005:2:2795
+1006:2:2799
+1007:2:2800
+1008:2:2804
+1009:2:2811
+1010:2:2818
+1011:2:2819
+1012:2:2826
+1013:2:2831
+1014:2:2838
+1015:2:2839
+1016:2:2838
+1017:2:2839
+1018:2:2846
+1019:2:2850
+1020:0:2887
+1021:2:2039
+1022:2:2049
+1023:0:2887
+1024:2:1176
+1025:0:2887
+1026:2:2040
+1027:2:2041
+1028:0:2887
+1029:2:1176
+1030:0:2887
+1031:2:2045
+1032:0:2887
+1033:2:2053
+1034:0:2887
+1035:2:1172
+1036:0:2887
+1037:2:1174
+1038:0:2887
+1039:2:1175
+1040:0:2887
+1041:2:1176
+1042:0:2887
+1043:2:1177
+1044:2:1178
+1045:2:1182
+1046:2:1183
+1047:2:1191
+1048:2:1192
+1049:2:1196
+1050:2:1197
+1051:2:1205
+1052:2:1210
+1053:2:1214
+1054:2:1215
+1055:2:1223
+1056:2:1224
+1057:2:1228
+1058:2:1229
+1059:2:1223
+1060:2:1224
+1061:2:1225
+1062:2:1237
+1063:2:1242
+1064:2:1243
+1065:2:1254
+1066:2:1255
+1067:2:1256
+1068:2:1267
+1069:2:1272
+1070:2:1273
+1071:2:1284
+1072:2:1285
+1073:2:1286
+1074:2:1284
+1075:2:1285
+1076:2:1286
+1077:2:1297
+1078:2:1305
+1079:0:2887
+1080:2:1176
+1081:0:2887
+1082:2:1357
+1083:2:1358
+1084:2:1359
+1085:0:2887
+1086:2:1176
+1087:0:2887
+1088:2:1364
+1089:0:2887
+1090:1:143
+1091:0:2887
+1092:1:145
+1093:0:2887
+1094:1:44
+1095:0:2887
+1096:1:151
+1097:1:152
+1098:1:156
+1099:1:157
+1100:1:165
+1101:1:166
+1102:1:170
+1103:1:171
+1104:1:179
+1105:1:184
+1106:1:188
+1107:1:189
+1108:1:197
+1109:1:198
+1110:1:202
+1111:1:203
+1112:1:197
+1113:1:198
+1114:1:202
+1115:1:203
+1116:1:211
+1117:1:216
+1118:1:217
+1119:1:228
+1120:1:229
+1121:1:230
+1122:1:241
+1123:1:246
+1124:1:247
+1125:1:258
+1126:1:259
+1127:1:260
+1128:1:258
+1129:1:259
+1130:1:260
+1131:1:271
+1132:0:2887
+1133:1:40
+1134:0:2887
+1135:1:41
+1136:0:2887
+1137:1:42
+1138:0:2887
+1139:1:143
+1140:0:2887
+1141:1:145
+1142:0:2887
+1143:1:44
+1144:0:2887
+1145:1:280
+1146:1:281
+1147:0:2887
+1148:1:40
+1149:0:2887
+1150:1:41
+1151:0:2887
+1152:1:42
+1153:0:2887
+1154:1:143
+1155:0:2887
+1156:1:145
+1157:0:2887
+1158:1:44
+1159:0:2887
+1160:1:287
+1161:1:288
+1162:1:292
+1163:1:293
+1164:1:301
+1165:1:302
+1166:1:306
+1167:1:307
+1168:1:315
+1169:1:320
+1170:1:324
+1171:1:325
+1172:1:333
+1173:1:334
+1174:1:338
+1175:1:339
+1176:1:333
+1177:1:334
+1178:1:338
+1179:1:339
+1180:1:347
+1181:1:352
+1182:1:353
+1183:1:364
+1184:1:365
+1185:1:366
+1186:1:377
+1187:1:382
+1188:1:383
+1189:1:394
+1190:1:395
+1191:1:396
+1192:1:394
+1193:1:395
+1194:1:396
+1195:1:407
+1196:0:2887
+1197:1:40
+1198:0:2887
+1199:1:41
+1200:0:2887
+1201:1:42
+1202:0:2887
+1203:1:143
+1204:0:2887
+1205:1:145
+1206:0:2887
+1207:1:44
+1208:0:2887
+1209:1:416
+1210:1:417
+1211:1:421
+1212:1:422
+1213:1:430
+1214:1:431
+1215:1:435
+1216:1:436
+1217:1:444
+1218:1:449
+1219:1:453
+1220:1:454
+1221:1:462
+1222:1:463
+1223:1:467
+1224:1:468
+1225:1:462
+1226:1:463
+1227:1:467
+1228:1:468
+1229:1:476
+1230:1:481
+1231:1:482
+1232:1:493
+1233:1:494
+1234:1:495
+1235:1:506
+1236:1:511
+1237:1:512
+1238:1:523
+1239:1:524
+1240:1:525
+1241:1:523
+1242:1:524
+1243:1:525
+1244:1:536
+1245:1:543
+1246:0:2887
+1247:1:40
+1248:0:2887
+1249:1:41
+1250:0:2887
+1251:1:42
+1252:0:2887
+1253:1:143
+1254:0:2887
+1255:1:145
+1256:0:2887
+1257:1:44
+1258:0:2887
+1259:1:681
+1260:1:682
+1261:1:686
+1262:1:687
+1263:1:695
+1264:1:696
+1265:1:697
+1266:1:709
+1267:1:714
+1268:1:718
+1269:1:719
+1270:1:727
+1271:1:728
+1272:1:732
+1273:1:733
+1274:1:727
+1275:1:728
+1276:1:732
+1277:1:733
+1278:1:741
+1279:1:746
+1280:1:747
+1281:1:758
+1282:1:759
+1283:1:760
+1284:1:771
+1285:1:776
+1286:1:777
+1287:1:788
+1288:1:789
+1289:1:790
+1290:1:788
+1291:1:789
+1292:1:790
+1293:1:801
+1294:0:2887
+1295:1:40
+1296:0:2887
+1297:1:41
+1298:0:2887
+1299:1:42
+1300:0:2887
+1301:1:143
+1302:0:2887
+1303:1:145
+1304:0:2887
+1305:1:44
+1306:0:2887
+1307:1:810
+1308:0:2887
+1309:1:1087
+1310:1:1094
+1311:1:1095
+1312:1:1102
+1313:1:1107
+1314:1:1114
+1315:1:1115
+1316:1:1114
+1317:1:1115
+1318:1:1122
+1319:1:1126
+1320:0:2887
+1321:2:2068
+1322:2:2069
+1323:2:2073
+1324:2:2077
+1325:2:2078
+1326:2:2082
+1327:2:2087
+1328:2:2095
+1329:2:2099
+1330:2:2100
+1331:2:2095
+1332:2:2096
+1333:2:2104
+1334:2:2111
+1335:2:2118
+1336:2:2119
+1337:2:2126
+1338:2:2131
+1339:2:2138
+1340:2:2139
+1341:2:2138
+1342:2:2139
+1343:2:2146
+1344:2:2150
+1345:0:2887
+1346:2:2155
+1347:0:2887
+1348:2:2156
+1349:0:2887
+1350:2:2157
+1351:0:2887
+1352:2:2158
+1353:0:2887
+1354:1:812
+1355:1:813
+1356:0:2885
+1357:2:2159
+1358:0:2891
+1359:1:919