X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu%2Fresult-signal-over-reader%2Furcu_free_no_rmb.spin.input.trail;fp=formal-model%2Furcu%2Fresult-signal-over-reader%2Furcu_free_no_rmb.spin.input.trail;h=1e5e132af6e0694c03aa6ccd0257a9db3892d92e;hb=8baf2c9506f8e4bbac913c7ea2a8b2e9a3cd0932;hp=0000000000000000000000000000000000000000;hpb=fa5b67244cb2c3733d2c0195d3ad239d97ec2dc3;p=urcu.git

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