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

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