X-Git-Url: https://git.lttng.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=0000000000000000000000000000000000000000;hb=5e32821aa6d74b755730c19a8aa66404d2c367c9;hp=363553ea6a6f3340996d65c5d2d0011028493a81;hpb=41e967af0a4bd23a88b87be39a6c7f7d68a9e2ca;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
deleted file mode 100644
index 363553e..0000000
--- a/formal-model/urcu/result-signal-over-writer/testmerge/urcu_free_single_flip.spin.input.trail
+++ /dev/null
@@ -1,1356 +0,0 @@
--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