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

diff --git a/formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.spin.input.trail b/formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.spin.input.trail
new file mode 100644
index 0000000..e81c46c
--- /dev/null
+++ b/formal-model/urcu/result-signal-over-reader/urcu_free_single_flip.spin.input.trail
@@ -0,0 +1,1355 @@
+-2:4:-2
+-4:-4:-4
+1:0:2103
+2:4:2055
+3:4:2058
+4:4:2058
+5:4:2061
+6:4:2069
+7:4:2069
+8:4:2072
+9:4:2078
+10:4:2082
+11:4:2082
+12:4:2085
+13:4:2093
+14:4:2097
+15:4:2098
+16:0:2103
+17:4:2100
+18:0:2103
+19:3:869
+20:0:2103
+21:3:875
+22:0:2103
+23:3:876
+24:0:2103
+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:2103
+45:3:964
+46:0:2103
+47:3:966
+48:3:967
+49:0:2103
+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:2103
+69:3:1058
+70:0:2103
+71:3:1060
+72:0:2103
+73:3:1061
+74:0:2103
+75:3:1071
+76:0:2103
+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:3:1103
+86:3:1110
+87:3:1111
+88:3:1118
+89:3:1123
+90:0:2103
+91:3:1134
+92:0:2103
+93:3:1138
+94:3:1139
+95:3:1143
+96:3:1147
+97:3:1148
+98:3:1152
+99:3:1160
+100:3:1161
+101:3:1166
+102:3:1173
+103:3:1174
+104:3:1181
+105:3:1186
+106:0:2103
+107:3:1197
+108:0:2103
+109:3:1205
+110:3:1206
+111:3:1210
+112:3:1214
+113:3:1215
+114:3:1219
+115:3:1227
+116:3:1228
+117:3:1233
+118:3:1240
+119:3:1241
+120:3:1248
+121:3:1253
+122:0:2103
+123:3:1264
+124:0:2103
+125:3:1266
+126:0:2103
+127:3:1267
+128:3:1271
+129:3:1272
+130:3:1280
+131:3:1281
+132:3:1285
+133:3:1286
+134:3:1294
+135:3:1299
+136:3:1303
+137:3:1304
+138:3:1311
+139:3:1312
+140:3:1323
+141:3:1324
+142:3:1325
+143:3:1336
+144:3:1341
+145:3:1342
+146:0:2103
+147:3:1354
+148:0:2103
+149:3:1356
+150:0:2103
+151:3:1359
+152:3:1360
+153:3:1372
+154:3:1373
+155:3:1377
+156:3:1378
+157:3:1386
+158:3:1391
+159:3:1395
+160:3:1396
+161:3:1403
+162:3:1404
+163:3:1415
+164:3:1416
+165:3:1417
+166:3:1428
+167:3:1433
+168:3:1434
+169:0:2103
+170:3:1446
+171:0:2103
+172:3:1448
+173:0:2103
+174:3:1449
+175:0:2103
+176:3:1450
+177:0:2103
+178:3:1451
+179:0:2103
+180:3:1452
+181:3:1456
+182:3:1457
+183:3:1465
+184:3:1466
+185:3:1470
+186:3:1471
+187:3:1479
+188:3:1484
+189:3:1488
+190:3:1489
+191:3:1496
+192:3:1497
+193:3:1508
+194:3:1509
+195:3:1510
+196:3:1521
+197:3:1526
+198:3:1527
+199:0:2103
+200:3:1539
+201:0:2103
+202:3:1736
+203:0:2103
+204:3:1834
+205:0:2103
+206:3:1835
+207:0:2103
+208:3:1839
+209:0:2103
+210:3:1848
+211:3:1849
+212:3:1853
+213:3:1857
+214:3:1858
+215:3:1862
+216:3:1870
+217:3:1871
+218:3:1876
+219:3:1883
+220:3:1884
+221:3:1891
+222:3:1896
+223:0:2103
+224:3:1907
+225:0:2103
+226:3:1911
+227:3:1912
+228:3:1916
+229:3:1920
+230:3:1921
+231:3:1925
+232:3:1933
+233:3:1934
+234:3:1939
+235:3:1946
+236:3:1947
+237:3:1954
+238:3:1959
+239:0:2103
+240:3:1970
+241:0:2103
+242:3:1978
+243:3:1979
+244:3:1983
+245:3:1987
+246:3:1988
+247:3:1992
+248:3:2000
+249:3:2001
+250:3:2006
+251:3:2013
+252:3:2014
+253:3:2021
+254:3:2026
+255:0:2103
+256:3:2037
+257:0:2103
+258:3:2039
+259:0:2103
+260:3:2040
+261:0:2103
+262:3:876
+263:0:2103
+264:3:877
+265:3:881
+266:3:882
+267:3:890
+268:3:891
+269:3:895
+270:3:896
+271:3:904
+272:3:909
+273:3:913
+274:3:914
+275:3:921
+276:3:922
+277:3:933
+278:3:934
+279:3:935
+280:3:946
+281:3:951
+282:3:952
+283:0:2103
+284:3:964
+285:0:2103
+286:3:966
+287:3:967
+288:0:2103
+289:3:971
+290:3:975
+291:3:976
+292:3:984
+293:3:985
+294:3:989
+295:3:990
+296:3:998
+297:3:1003
+298:3:1004
+299:3:1015
+300:3:1016
+301:3:1027
+302:3:1028
+303:3:1029
+304:3:1040
+305:3:1045
+306:3:1046
+307:0:2103
+308:3:1058
+309:0:2103
+310:3:1060
+311:0:2103
+312:3:1061
+313:0:2103
+314:3:1071
+315:0:2103
+316:3:1075
+317:3:1076
+318:3:1080
+319:3:1084
+320:3:1085
+321:3:1089
+322:3:1097
+323:3:1098
+324:3:1103
+325:3:1110
+326:3:1111
+327:3:1118
+328:3:1123
+329:0:2103
+330:3:1134
+331:0:2103
+332:3:1138
+333:3:1139
+334:3:1143
+335:3:1147
+336:3:1148
+337:3:1152
+338:3:1160
+339:3:1161
+340:3:1166
+341:3:1173
+342:3:1174
+343:3:1181
+344:3:1186
+345:0:2103
+346:3:1197
+347:0:2103
+348:3:1205
+349:3:1206
+350:3:1210
+351:3:1214
+352:3:1215
+353:3:1219
+354:3:1227
+355:3:1228
+356:3:1233
+357:3:1240
+358:3:1241
+359:3:1248
+360:3:1253
+361:0:2103
+362:3:1264
+363:0:2103
+364:3:1266
+365:0:2103
+366:3:1267
+367:3:1271
+368:3:1272
+369:3:1280
+370:3:1281
+371:3:1285
+372:3:1286
+373:3:1294
+374:3:1299
+375:3:1303
+376:3:1304
+377:3:1311
+378:3:1312
+379:3:1323
+380:3:1324
+381:3:1325
+382:3:1336
+383:3:1341
+384:3:1342
+385:0:2103
+386:3:1354
+387:0:2103
+388:3:1356
+389:0:2103
+390:3:1359
+391:3:1360
+392:3:1372
+393:3:1373
+394:3:1377
+395:3:1378
+396:3:1386
+397:3:1391
+398:3:1395
+399:3:1396
+400:3:1403
+401:3:1404
+402:3:1415
+403:3:1416
+404:3:1417
+405:3:1428
+406:3:1433
+407:3:1434
+408:0:2103
+409:3:1446
+410:0:2103
+411:3:1448
+412:0:2103
+413:3:1449
+414:0:2103
+415:3:1450
+416:0:2103
+417:3:1451
+418:0:2103
+419:3:1452
+420:3:1456
+421:3:1457
+422:3:1465
+423:3:1466
+424:3:1470
+425:3:1471
+426:3:1479
+427:3:1484
+428:3:1488
+429:3:1489
+430:3:1496
+431:3:1497
+432:3:1508
+433:3:1509
+434:3:1510
+435:3:1521
+436:3:1526
+437:3:1527
+438:0:2103
+439:3:1539
+440:0:2103
+441:3:1736
+442:0:2103
+443:3:1834
+444:0:2103
+445:3:1835
+446:0:2103
+447:3:1839
+448:0:2103
+449:3:1848
+450:3:1849
+451:3:1853
+452:3:1857
+453:3:1858
+454:3:1862
+455:3:1870
+456:3:1871
+457:3:1876
+458:3:1883
+459:3:1884
+460:3:1891
+461:3:1896
+462:0:2103
+463:3:1907
+464:0:2103
+465:3:1911
+466:3:1912
+467:3:1916
+468:3:1920
+469:3:1921
+470:3:1925
+471:3:1933
+472:3:1934
+473:3:1939
+474:3:1946
+475:3:1947
+476:3:1954
+477:3:1959
+478:0:2103
+479:3:1970
+480:0:2103
+481:3:1978
+482:3:1979
+483:3:1983
+484:3:1987
+485:3:1988
+486:3:1992
+487:3:2000
+488:3:2001
+489:3:2006
+490:3:2013
+491:3:2014
+492:3:2021
+493:3:2026
+494:0:2103
+495:3:2037
+496:0:2103
+497:3:2039
+498:0:2103
+499:3:2040
+500:0:2103
+501:3:876
+502:0:2103
+503:3:877
+504:3:881
+505:3:882
+506:3:890
+507:3:891
+508:3:895
+509:3:896
+510:3:904
+511:3:909
+512:3:913
+513:3:914
+514:3:921
+515:3:922
+516:3:933
+517:3:934
+518:3:935
+519:3:946
+520:3:951
+521:3:952
+522:0:2103
+523:3:964
+524:0:2103
+525:3:966
+526:3:967
+527:0:2103
+528:3:971
+529:3:975
+530:3:976
+531:3:984
+532:3:985
+533:3:989
+534:3:990
+535:3:998
+536:3:1003
+537:3:1004
+538:3:1015
+539:3:1016
+540:3:1027
+541:3:1028
+542:3:1029
+543:3:1040
+544:3:1045
+545:3:1046
+546:0:2103
+547:3:1058
+548:0:2103
+549:3:1060
+550:0:2103
+551:3:1061
+552:0:2103
+553:3:1071
+554:0:2103
+555:3:1075
+556:3:1076
+557:3:1080
+558:3:1084
+559:3:1085
+560:3:1089
+561:3:1097
+562:3:1098
+563:3:1103
+564:3:1110
+565:3:1111
+566:3:1118
+567:3:1123
+568:0:2103
+569:3:1134
+570:0:2103
+571:3:1138
+572:3:1139
+573:3:1143
+574:3:1147
+575:3:1148
+576:3:1152
+577:3:1160
+578:3:1161
+579:3:1166
+580:3:1173
+581:3:1174
+582:3:1181
+583:3:1186
+584:0:2103
+585:3:1197
+586:0:2103
+587:3:1205
+588:3:1206
+589:3:1210
+590:3:1214
+591:3:1215
+592:3:1219
+593:3:1227
+594:3:1228
+595:3:1233
+596:3:1240
+597:3:1241
+598:3:1248
+599:3:1253
+600:0:2103
+601:3:1264
+602:0:2103
+603:3:1266
+604:0:2103
+605:3:1267
+606:3:1271
+607:3:1272
+608:3:1280
+609:3:1281
+610:3:1285
+611:3:1286
+612:3:1294
+613:3:1299
+614:3:1303
+615:3:1304
+616:3:1311
+617:3:1312
+618:3:1323
+619:3:1324
+620:3:1325
+621:3:1336
+622:3:1341
+623:3:1342
+624:0:2103
+625:3:1354
+626:0:2103
+627:3:1356
+628:0:2103
+629:3:1359
+630:3:1360
+631:3:1372
+632:3:1373
+633:3:1377
+634:3:1378
+635:3:1386
+636:3:1391
+637:3:1395
+638:3:1396
+639:3:1403
+640:3:1404
+641:3:1415
+642:3:1416
+643:3:1417
+644:3:1428
+645:3:1433
+646:3:1434
+647:0:2103
+648:3:1446
+649:0:2103
+650:3:1448
+651:0:2103
+652:3:1449
+653:0:2103
+654:3:1450
+655:0:2103
+656:3:1451
+657:0:2103
+658:3:1452
+659:3:1456
+660:3:1457
+661:3:1465
+662:3:1466
+663:3:1470
+664:3:1471
+665:3:1479
+666:3:1484
+667:3:1488
+668:3:1489
+669:3:1496
+670:3:1497
+671:3:1508
+672:3:1509
+673:3:1510
+674:3:1521
+675:3:1526
+676:3:1527
+677:0:2103
+678:3:1539
+679:0:2103
+680:3:1736
+681:0:2103
+682:3:1834
+683:0:2103
+684:3:1835
+685:0:2103
+686:3:1839
+687:0:2103
+688:3:1848
+689:3:1849
+690:3:1853
+691:3:1857
+692:3:1858
+693:3:1862
+694:3:1870
+695:3:1871
+696:3:1876
+697:3:1883
+698:3:1884
+699:3:1891
+700:3:1896
+701:0:2103
+702:3:1907
+703:0:2103
+704:3:1911
+705:3:1912
+706:3:1916
+707:3:1920
+708:3:1921
+709:3:1925
+710:3:1933
+711:3:1934
+712:3:1939
+713:3:1946
+714:3:1947
+715:3:1954
+716:3:1959
+717:0:2103
+718:3:1970
+719:0:2103
+720:3:1978
+721:3:1979
+722:3:1983
+723:3:1987
+724:3:1988
+725:3:1992
+726:3:2000
+727:3:2001
+728:3:2006
+729:3:2013
+730:3:2014
+731:3:2021
+732:3:2026
+733:0:2103
+734:3:2037
+735:0:2103
+736:3:2039
+737:0:2103
+738:3:2040
+739:0:2103
+740:3:876
+741:0:2103
+742:3:877
+743:3:881
+744:3:882
+745:3:890
+746:3:891
+747:3:895
+748:3:896
+749:3:904
+750:3:909
+751:3:913
+752:3:914
+753:3:921
+754:3:922
+755:3:933
+756:3:934
+757:3:935
+758:3:946
+759:3:951
+760:3:952
+761:0:2103
+762:3:964
+763:0:2103
+764:3:966
+765:3:967
+766:0:2103
+767:3:971
+768:3:975
+769:3:976
+770:3:984
+771:3:985
+772:3:989
+773:3:990
+774:3:998
+775:3:1003
+776:3:1004
+777:3:1015
+778:3:1016
+779:3:1027
+780:3:1028
+781:3:1029
+782:3:1040
+783:3:1045
+784:3:1046
+785:0:2103
+786:3:1058
+787:0:2103
+788:3:1060
+789:0:2103
+790:3:1061
+791:0:2103
+792:3:1071
+793:0:2103
+794:3:1075
+795:3:1076
+796:3:1080
+797:3:1084
+798:3:1085
+799:3:1089
+800:3:1097
+801:3:1098
+802:3:1103
+803:3:1110
+804:3:1111
+805:3:1118
+806:3:1123
+807:0:2103
+808:3:1134
+809:0:2103
+810:3:1138
+811:3:1139
+812:3:1143
+813:3:1147
+814:3:1148
+815:3:1152
+816:3:1160
+817:3:1161
+818:3:1166
+819:3:1173
+820:3:1174
+821:3:1181
+822:3:1186
+823:0:2103
+824:3:1197
+825:0:2103
+826:3:1205
+827:3:1206
+828:3:1210
+829:3:1214
+830:3:1215
+831:3:1219
+832:3:1227
+833:3:1228
+834:3:1233
+835:3:1240
+836:3:1241
+837:3:1248
+838:3:1253
+839:0:2103
+840:3:1264
+841:0:2103
+842:3:1266
+843:0:2103
+844:3:1267
+845:3:1271
+846:3:1272
+847:3:1280
+848:3:1281
+849:3:1285
+850:3:1286
+851:3:1294
+852:3:1299
+853:3:1303
+854:3:1304
+855:3:1311
+856:3:1312
+857:3:1323
+858:3:1324
+859:3:1325
+860:3:1336
+861:3:1341
+862:3:1342
+863:0:2103
+864:3:1354
+865:0:2103
+866:3:1356
+867:0:2103
+868:3:1359
+869:3:1360
+870:3:1372
+871:3:1373
+872:3:1377
+873:3:1378
+874:3:1386
+875:3:1391
+876:3:1395
+877:3:1396
+878:3:1403
+879:3:1404
+880:3:1415
+881:3:1416
+882:3:1417
+883:3:1428
+884:3:1433
+885:3:1434
+886:0:2103
+887:3:1446
+888:0:2103
+889:3:1448
+890:0:2103
+891:3:1449
+892:0:2103
+893:3:1450
+894:0:2103
+895:3:1451
+896:0:2103
+897:3:1452
+898:3:1456
+899:3:1457
+900:3:1465
+901:3:1466
+902:3:1470
+903:3:1471
+904:3:1479
+905:3:1484
+906:3:1488
+907:3:1489
+908:3:1496
+909:3:1497
+910:3:1508
+911:3:1509
+912:3:1510
+913:3:1521
+914:3:1526
+915:3:1527
+916:0:2103
+917:3:1539
+918:0:2103
+919:3:1736
+920:0:2103
+921:3:1834
+922:0:2103
+923:3:1835
+924:0:2103
+925:3:1839
+926:0:2103
+927:3:1848
+928:3:1849
+929:3:1853
+930:3:1857
+931:3:1858
+932:3:1862
+933:3:1870
+934:3:1871
+935:3:1876
+936:3:1883
+937:3:1884
+938:3:1891
+939:3:1896
+940:0:2103
+941:3:1907
+942:0:2103
+943:2:458
+944:0:2103
+945:2:464
+946:0:2103
+947:2:465
+948:0:2103
+949:2:466
+950:0:2103
+951:2:467
+952:0:2103
+953:1:2
+954:0:2103
+955:2:468
+956:0:2103
+957:1:8
+958:0:2103
+959:1:9
+960:0:2103
+961:1:10
+962:0:2103
+963:1:11
+964:0:2103
+965:2:467
+966:0:2103
+967:1:12
+968:1:16
+969:1:17
+970:1:25
+971:1:26
+972:1:30
+973:1:31
+974:1:39
+975:1:44
+976:1:48
+977:1:49
+978:1:63
+979:1:64
+980:1:68
+981:1:69
+982:1:70
+983:1:81
+984:1:86
+985:1:87
+986:0:2103
+987:2:468
+988:0:2103
+989:1:99
+990:0:2103
+991:2:469
+992:0:2103
+993:2:475
+994:0:2103
+995:2:476
+996:0:2103
+997:2:477
+998:2:481
+999:2:482
+1000:2:490
+1001:2:491
+1002:2:495
+1003:2:496
+1004:2:504
+1005:2:509
+1006:2:513
+1007:2:514
+1008:2:528
+1009:2:529
+1010:2:533
+1011:2:534
+1012:2:535
+1013:2:546
+1014:2:551
+1015:2:552
+1016:0:2103
+1017:2:564
+1018:0:2103
+1019:2:565
+1020:2:569
+1021:2:570
+1022:2:578
+1023:2:579
+1024:2:583
+1025:2:584
+1026:2:592
+1027:2:597
+1028:2:601
+1029:2:602
+1030:2:616
+1031:2:617
+1032:2:621
+1033:2:622
+1034:2:623
+1035:2:634
+1036:2:639
+1037:2:640
+1038:0:2103
+1039:2:652
+1040:0:2103
+1041:2:653
+1042:0:2103
+1043:3:1911
+1044:3:1912
+1045:3:1916
+1046:3:1920
+1047:3:1921
+1048:3:1925
+1049:3:1933
+1050:3:1934
+1051:3:1939
+1052:3:1946
+1053:3:1947
+1054:3:1954
+1055:3:1959
+1056:0:2103
+1057:3:1970
+1058:0:2103
+1059:3:1978
+1060:3:1979
+1061:3:1983
+1062:3:1987
+1063:3:1988
+1064:3:1992
+1065:3:2000
+1066:3:2001
+1067:3:2006
+1068:3:2013
+1069:3:2014
+1070:3:2021
+1071:3:2026
+1072:0:2103
+1073:3:2037
+1074:0:2103
+1075:3:2039
+1076:0:2103
+1077:3:2040
+1078:0:2103
+1079:3:876
+1080:0:2103
+1081:3:877
+1082:3:881
+1083:3:882
+1084:3:890
+1085:3:891
+1086:3:895
+1087:3:896
+1088:3:904
+1089:3:909
+1090:3:913
+1091:3:914
+1092:3:921
+1093:3:922
+1094:3:933
+1095:3:934
+1096:3:935
+1097:3:946
+1098:3:951
+1099:3:952
+1100:0:2103
+1101:3:964
+1102:0:2103
+1103:3:966
+1104:3:967
+1105:0:2103
+1106:3:971
+1107:3:975
+1108:3:976
+1109:3:984
+1110:3:985
+1111:3:989
+1112:3:990
+1113:3:998
+1114:3:1003
+1115:3:1004
+1116:3:1015
+1117:3:1016
+1118:3:1027
+1119:3:1028
+1120:3:1029
+1121:3:1040
+1122:3:1045
+1123:3:1046
+1124:0:2103
+1125:3:1058
+1126:0:2103
+1127:3:1060
+1128:0:2103
+1129:3:1061
+1130:0:2103
+1131:3:1071
+1132:0:2103
+1133:3:1075
+1134:3:1076
+1135:3:1080
+1136:3:1084
+1137:3:1085
+1138:3:1089
+1139:3:1097
+1140:3:1098
+1141:3:1103
+1142:3:1110
+1143:3:1111
+1144:3:1118
+1145:3:1123
+1146:0:2103
+1147:3:1134
+1148:0:2103
+1149:2:654
+1150:2:658
+1151:2:659
+1152:2:667
+1153:2:668
+1154:2:672
+1155:2:673
+1156:2:681
+1157:2:686
+1158:2:690
+1159:2:691
+1160:2:698
+1161:2:699
+1162:2:710
+1163:2:711
+1164:2:712
+1165:2:723
+1166:2:735
+1167:2:736
+1168:0:2103
+1169:2:741
+1170:0:2103
+1171:2:750
+1172:0:2103
+1173:2:753
+1174:0:2103
+1175:2:758
+1176:0:2103
+1177:3:1138
+1178:3:1139
+1179:3:1143
+1180:3:1144
+1181:3:1152
+1182:3:1160
+1183:3:1161
+1184:3:1166
+1185:3:1173
+1186:3:1174
+1187:3:1181
+1188:3:1186
+1189:0:2103
+1190:3:1197
+1191:0:2103
+1192:3:1205
+1193:3:1206
+1194:3:1210
+1195:3:1214
+1196:3:1215
+1197:3:1219
+1198:3:1227
+1199:3:1228
+1200:3:1233
+1201:3:1240
+1202:3:1241
+1203:3:1248
+1204:3:1253
+1205:0:2103
+1206:3:1264
+1207:0:2103
+1208:3:1266
+1209:0:2103
+1210:3:1267
+1211:3:1271
+1212:3:1272
+1213:3:1280
+1214:3:1281
+1215:3:1285
+1216:3:1286
+1217:3:1294
+1218:3:1299
+1219:3:1303
+1220:3:1304
+1221:3:1311
+1222:3:1312
+1223:3:1323
+1224:3:1324
+1225:3:1325
+1226:3:1336
+1227:3:1341
+1228:3:1342
+1229:0:2103
+1230:3:1354
+1231:0:2103
+1232:3:1356
+1233:0:2103
+1234:3:1359
+1235:3:1360
+1236:3:1372
+1237:3:1373
+1238:3:1377
+1239:3:1378
+1240:3:1386
+1241:3:1391
+1242:3:1395
+1243:3:1396
+1244:3:1403
+1245:3:1404
+1246:3:1415
+1247:3:1416
+1248:3:1417
+1249:3:1428
+1250:3:1433
+1251:3:1434
+1252:0:2103
+1253:3:1446
+1254:0:2103
+1255:3:1448
+1256:0:2103
+1257:3:1449
+1258:0:2103
+1259:3:1450
+1260:0:2103
+1261:3:1451
+1262:0:2103
+1263:3:1452
+1264:3:1456
+1265:3:1457
+1266:3:1465
+1267:3:1466
+1268:3:1470
+1269:3:1471
+1270:3:1479
+1271:3:1484
+1272:3:1488
+1273:3:1489
+1274:3:1496
+1275:3:1497
+1276:3:1508
+1277:3:1509
+1278:3:1510
+1279:3:1521
+1280:3:1526
+1281:3:1527
+1282:0:2103
+1283:3:1539
+1284:0:2103
+1285:3:1736
+1286:0:2103
+1287:3:1834
+1288:0:2103
+1289:3:1835
+1290:0:2103
+1291:3:1839
+1292:0:2103
+1293:3:1848
+1294:3:1849
+1295:3:1853
+1296:3:1857
+1297:3:1858
+1298:3:1862
+1299:3:1870
+1300:3:1871
+1301:3:1876
+1302:3:1883
+1303:3:1884
+1304:3:1891
+1305:3:1896
+1306:0:2103
+1307:3:1907
+1308:0:2103
+1309:3:1911
+1310:3:1912
+1311:3:1916
+1312:3:1920
+1313:3:1921
+1314:3:1925
+1315:3:1933
+1316:3:1934
+1317:3:1939
+1318:3:1946
+1319:3:1947
+1320:3:1954
+1321:3:1959
+1322:0:2103
+1323:3:1970
+1324:0:2103
+1325:3:1978
+1326:3:1979
+1327:3:1983
+1328:3:1987
+1329:3:1988
+1330:3:1992
+1331:3:2000
+1332:3:2001
+1333:3:2006
+1334:3:2013
+1335:3:2014
+1336:3:2021
+1337:3:2026
+1338:0:2103
+1339:3:2037
+1340:0:2103
+1341:3:2039
+1342:0:2103
+1343:3:2040
+1344:0:2103
+1345:3:2043
+1346:0:2103
+1347:3:2048
+1348:0:2103
+1349:2:759
+1350:0:2101
+1351:3:2049
+1352:0:2107
+1353:3:1181