X-Git-Url: http://git.liburcu.org/?a=blobdiff_plain;f=formal-model%2Furcu%2Fresult-standard-execution-nonest%2Furcu_progress_writer_error.spin.input.trail;fp=formal-model%2Furcu%2Fresult-standard-execution-nonest%2Furcu_progress_writer_error.spin.input.trail;h=e1188eb7f8cbcbc315fb6766340e2058eb258a0c;hb=8baf2c9506f8e4bbac913c7ea2a8b2e9a3cd0932;hp=0000000000000000000000000000000000000000;hpb=fa5b67244cb2c3733d2c0195d3ad239d97ec2dc3;p=urcu.git

diff --git a/formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input.trail b/formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input.trail
new file mode 100644
index 0000000..e1188eb
--- /dev/null
+++ b/formal-model/urcu/result-standard-execution-nonest/urcu_progress_writer_error.spin.input.trail
@@ -0,0 +1,3010 @@
+-2:3:-2
+-4:-4:-4
+1:0:2108
+2:3:2060
+3:3:2063
+4:3:2063
+5:3:2066
+6:3:2074
+7:3:2074
+8:3:2077
+9:3:2083
+10:3:2087
+11:3:2087
+12:3:2090
+13:3:2098
+14:3:2102
+15:3:2103
+16:0:2108
+17:3:2105
+18:0:2108
+19:2:416
+20:0:2108
+21:2:422
+22:0:2108
+23:2:423
+24:0:2108
+25:2:424
+26:2:428
+27:2:429
+28:2:437
+29:2:438
+30:2:442
+31:2:443
+32:2:451
+33:2:456
+34:2:460
+35:2:461
+36:2:468
+37:2:469
+38:2:480
+39:2:481
+40:2:482
+41:2:493
+42:2:498
+43:2:499
+44:0:2106
+45:2:511
+46:0:2112
+47:2:513
+48:2:514
+49:0:2112
+50:2:518
+51:2:522
+52:2:523
+53:2:531
+54:2:532
+55:2:536
+56:2:537
+57:2:545
+58:2:550
+59:2:551
+60:2:562
+61:2:563
+62:2:574
+63:2:575
+64:2:576
+65:2:587
+66:2:592
+67:2:593
+68:0:2112
+69:2:605
+70:0:2112
+71:2:607
+72:0:2112
+73:2:608
+74:0:2112
+75:2:618
+76:0:2112
+77:2:622
+78:2:623
+79:2:627
+80:2:631
+81:2:632
+82:2:636
+83:2:644
+84:2:645
+85:2:650
+86:2:657
+87:2:658
+88:2:665
+89:2:670
+90:0:2112
+91:2:681
+92:0:2112
+93:2:685
+94:2:686
+95:2:690
+96:2:694
+97:2:695
+98:2:699
+99:2:707
+100:2:708
+101:2:713
+102:2:720
+103:2:721
+104:2:728
+105:2:733
+106:0:2112
+107:2:744
+108:0:2112
+109:2:752
+110:2:753
+111:2:757
+112:2:761
+113:2:762
+114:2:766
+115:2:774
+116:2:775
+117:2:780
+118:2:787
+119:2:788
+120:2:795
+121:2:800
+122:0:2112
+123:2:811
+124:0:2112
+125:2:813
+126:0:2112
+127:2:814
+128:2:818
+129:2:819
+130:2:827
+131:2:828
+132:2:832
+133:2:833
+134:2:841
+135:2:846
+136:2:850
+137:2:851
+138:2:858
+139:2:859
+140:2:870
+141:2:871
+142:2:872
+143:2:883
+144:2:888
+145:2:889
+146:0:2112
+147:2:901
+148:0:2112
+149:2:903
+150:0:2112
+151:2:906
+152:2:907
+153:2:919
+154:2:920
+155:2:924
+156:2:925
+157:2:933
+158:2:938
+159:2:942
+160:2:943
+161:2:950
+162:2:951
+163:2:962
+164:2:963
+165:2:964
+166:2:975
+167:2:980
+168:2:981
+169:0:2112
+170:2:993
+171:0:2112
+172:2:995
+173:0:2112
+174:2:996
+175:0:2112
+176:2:997
+177:0:2112
+178:2:998
+179:0:2112
+180:2:999
+181:2:1003
+182:2:1004
+183:2:1012
+184:2:1013
+185:2:1017
+186:2:1018
+187:2:1026
+188:2:1031
+189:2:1035
+190:2:1036
+191:2:1043
+192:2:1044
+193:2:1055
+194:2:1056
+195:2:1057
+196:2:1068
+197:2:1073
+198:2:1074
+199:0:2112
+200:2:1086
+201:0:2112
+202:2:1178
+203:0:2112
+204:2:1276
+205:0:2112
+206:2:1277
+207:0:2112
+208:2:1281
+209:0:2112
+210:2:1287
+211:2:1291
+212:2:1292
+213:2:1300
+214:2:1301
+215:2:1305
+216:2:1306
+217:2:1314
+218:2:1319
+219:2:1323
+220:2:1324
+221:2:1331
+222:2:1332
+223:2:1343
+224:2:1344
+225:2:1345
+226:2:1356
+227:2:1361
+228:2:1362
+229:0:2112
+230:2:1374
+231:0:2112
+232:2:1376
+233:0:2112
+234:2:1377
+235:2:1381
+236:2:1382
+237:2:1390
+238:2:1391
+239:2:1395
+240:2:1396
+241:2:1404
+242:2:1409
+243:2:1413
+244:2:1414
+245:2:1421
+246:2:1422
+247:2:1433
+248:2:1434
+249:2:1435
+250:2:1446
+251:2:1451
+252:2:1452
+253:0:2112
+254:2:1464
+255:0:2112
+256:2:1466
+257:0:2112
+258:1:2
+259:0:2112
+260:1:8
+261:0:2112
+262:1:9
+263:0:2112
+264:1:10
+265:0:2112
+266:1:11
+267:0:2112
+268:1:12
+269:1:16
+270:1:17
+271:1:25
+272:1:26
+273:1:30
+274:1:31
+275:1:39
+276:1:44
+277:1:48
+278:1:49
+279:1:56
+280:1:57
+281:1:68
+282:1:69
+283:1:70
+284:1:81
+285:1:86
+286:1:87
+287:0:2112
+288:1:99
+289:0:2112
+290:1:101
+291:0:2112
+292:1:102
+293:1:106
+294:1:107
+295:1:115
+296:1:116
+297:1:120
+298:1:121
+299:1:129
+300:1:134
+301:1:138
+302:1:139
+303:1:146
+304:1:147
+305:1:158
+306:1:159
+307:1:160
+308:1:171
+309:1:176
+310:1:177
+311:0:2112
+312:1:189
+313:0:2112
+314:1:191
+315:0:2112
+316:1:192
+317:0:2112
+318:1:193
+319:1:197
+320:1:198
+321:1:206
+322:1:207
+323:1:211
+324:1:212
+325:1:220
+326:1:225
+327:1:229
+328:1:230
+329:1:237
+330:1:238
+331:1:249
+332:1:250
+333:1:251
+334:1:262
+335:1:267
+336:1:268
+337:0:2112
+338:1:280
+339:0:2112
+340:1:282
+341:0:2112
+342:1:291
+343:0:2112
+344:1:293
+345:0:2112
+346:1:296
+347:0:2112
+348:1:301
+349:0:2112
+350:1:302
+351:0:2112
+352:1:303
+353:0:2112
+354:1:304
+355:0:2112
+356:1:305
+357:0:2112
+358:1:306
+359:0:2112
+360:1:308
+361:0:2112
+362:1:310
+363:0:2112
+364:1:311
+365:1:315
+366:1:316
+367:1:324
+368:1:325
+369:1:326
+370:1:338
+371:1:343
+372:1:347
+373:1:348
+374:1:355
+375:1:356
+376:1:367
+377:1:368
+378:1:369
+379:1:380
+380:1:385
+381:1:386
+382:0:2112
+383:1:398
+384:0:2112
+385:2:1469
+386:2:1470
+387:2:1482
+388:2:1483
+389:2:1487
+390:2:1488
+391:2:1496
+392:2:1501
+393:2:1505
+394:2:1506
+395:2:1513
+396:2:1514
+397:2:1525
+398:2:1526
+399:2:1527
+400:2:1538
+401:2:1543
+402:2:1544
+403:0:2112
+404:2:1556
+405:0:2112
+406:2:1558
+407:0:2112
+408:2:1559
+409:0:2112
+410:2:1560
+411:0:2112
+412:2:1561
+413:0:2112
+414:2:1562
+415:2:1566
+416:2:1567
+417:2:1575
+418:2:1576
+419:2:1580
+420:2:1581
+421:2:1589
+422:2:1594
+423:2:1598
+424:2:1599
+425:2:1606
+426:2:1607
+427:2:1618
+428:2:1619
+429:2:1620
+430:2:1631
+431:2:1636
+432:2:1637
+433:0:2112
+434:2:1649
+435:0:2112
+436:2:1651
+437:0:2112
+438:2:1652
+439:2:1656
+440:2:1657
+441:2:1665
+442:2:1666
+443:2:1670
+444:2:1671
+445:2:1679
+446:2:1684
+447:2:1688
+448:2:1689
+449:2:1696
+450:2:1697
+451:2:1708
+452:2:1709
+453:2:1710
+454:2:1721
+455:2:1726
+456:2:1727
+457:0:2112
+458:2:1739
+459:0:2112
+460:1:400
+461:0:2112
+462:2:1560
+463:0:2112
+464:1:404
+465:0:2112
+466:1:9
+467:0:2112
+468:1:10
+469:0:2112
+470:1:11
+471:0:2112
+472:2:1561
+473:0:2112
+474:2:1562
+475:2:1566
+476:2:1567
+477:2:1575
+478:2:1576
+479:2:1580
+480:2:1581
+481:2:1589
+482:2:1594
+483:2:1598
+484:2:1599
+485:2:1606
+486:2:1607
+487:2:1618
+488:2:1619
+489:2:1620
+490:2:1631
+491:2:1636
+492:2:1637
+493:0:2112
+494:2:1649
+495:0:2112
+496:2:1651
+497:0:2112
+498:2:1652
+499:2:1656
+500:2:1657
+501:2:1665
+502:2:1666
+503:2:1670
+504:2:1671
+505:2:1679
+506:2:1684
+507:2:1688
+508:2:1689
+509:2:1696
+510:2:1697
+511:2:1708
+512:2:1709
+513:2:1710
+514:2:1721
+515:2:1726
+516:2:1727
+517:0:2112
+518:2:1739
+519:0:2112
+520:2:1560
+521:0:2112
+522:1:12
+523:1:16
+524:1:17
+525:1:25
+526:1:26
+527:1:27
+528:1:39
+529:1:44
+530:1:48
+531:1:49
+532:1:56
+533:1:57
+534:1:68
+535:1:69
+536:1:70
+537:1:81
+538:1:86
+539:1:87
+540:0:2112
+541:1:99
+542:0:2112
+543:2:1561
+544:0:2112
+545:2:1562
+546:2:1566
+547:2:1567
+548:2:1575
+549:2:1576
+550:2:1580
+551:2:1581
+552:2:1589
+553:2:1594
+554:2:1598
+555:2:1599
+556:2:1606
+557:2:1607
+558:2:1618
+559:2:1626
+560:2:1627
+561:2:1631
+562:2:1636
+563:2:1637
+564:0:2112
+565:2:1649
+566:0:2112
+567:2:1651
+568:0:2112
+569:2:1652
+570:2:1656
+571:2:1657
+572:2:1665
+573:2:1666
+574:2:1670
+575:2:1671
+576:2:1679
+577:2:1684
+578:2:1688
+579:2:1689
+580:2:1696
+581:2:1697
+582:2:1708
+583:2:1716
+584:2:1717
+585:2:1721
+586:2:1726
+587:2:1727
+588:0:2112
+589:2:1739
+590:0:2112
+591:2:1560
+592:0:2112
+593:1:101
+594:0:2112
+595:2:1561
+596:0:2112
+597:2:1562
+598:2:1566
+599:2:1567
+600:2:1575
+601:2:1576
+602:2:1580
+603:2:1581
+604:2:1589
+605:2:1594
+606:2:1598
+607:2:1599
+608:2:1606
+609:2:1607
+610:2:1618
+611:2:1626
+612:2:1627
+613:2:1631
+614:2:1636
+615:2:1637
+616:0:2112
+617:2:1649
+618:0:2112
+619:2:1651
+620:0:2112
+621:2:1652
+622:2:1656
+623:2:1657
+624:2:1665
+625:2:1666
+626:2:1670
+627:2:1671
+628:2:1679
+629:2:1684
+630:2:1688
+631:2:1689
+632:2:1696
+633:2:1697
+634:2:1708
+635:2:1716
+636:2:1717
+637:2:1721
+638:2:1726
+639:2:1727
+640:0:2112
+641:2:1739
+642:0:2112
+643:2:1560
+644:0:2112
+645:1:102
+646:1:106
+647:1:107
+648:1:115
+649:1:116
+650:1:120
+651:1:121
+652:1:129
+653:1:134
+654:1:138
+655:1:139
+656:1:146
+657:1:147
+658:1:158
+659:1:159
+660:1:160
+661:1:171
+662:1:176
+663:1:177
+664:0:2112
+665:1:189
+666:0:2112
+667:1:191
+668:0:2112
+669:2:1561
+670:0:2112
+671:2:1562
+672:2:1566
+673:2:1567
+674:2:1575
+675:2:1576
+676:2:1580
+677:2:1581
+678:2:1589
+679:2:1594
+680:2:1598
+681:2:1599
+682:2:1606
+683:2:1607
+684:2:1618
+685:2:1626
+686:2:1627
+687:2:1631
+688:2:1636
+689:2:1637
+690:0:2112
+691:2:1649
+692:0:2112
+693:2:1651
+694:0:2112
+695:2:1652
+696:2:1656
+697:2:1657
+698:2:1665
+699:2:1666
+700:2:1670
+701:2:1671
+702:2:1679
+703:2:1684
+704:2:1688
+705:2:1689
+706:2:1696
+707:2:1697
+708:2:1708
+709:2:1716
+710:2:1717
+711:2:1721
+712:2:1726
+713:2:1727
+714:0:2112
+715:2:1739
+716:0:2112
+717:2:1560
+718:0:2112
+719:1:192
+720:0:2112
+721:2:1561
+722:0:2112
+723:2:1562
+724:2:1566
+725:2:1567
+726:2:1575
+727:2:1576
+728:2:1580
+729:2:1581
+730:2:1589
+731:2:1594
+732:2:1598
+733:2:1599
+734:2:1606
+735:2:1607
+736:2:1618
+737:2:1626
+738:2:1627
+739:2:1631
+740:2:1636
+741:2:1637
+742:0:2112
+743:2:1649
+744:0:2112
+745:2:1651
+746:0:2112
+747:2:1652
+748:2:1656
+749:2:1657
+750:2:1665
+751:2:1666
+752:2:1670
+753:2:1671
+754:2:1679
+755:2:1684
+756:2:1688
+757:2:1689
+758:2:1696
+759:2:1697
+760:2:1708
+761:2:1716
+762:2:1717
+763:2:1721
+764:2:1726
+765:2:1727
+766:0:2112
+767:2:1739
+768:0:2112
+769:2:1560
+770:0:2112
+771:1:193
+772:1:197
+773:1:198
+774:1:206
+775:1:207
+776:1:211
+777:1:212
+778:1:220
+779:1:225
+780:1:229
+781:1:230
+782:1:237
+783:1:238
+784:1:249
+785:1:250
+786:1:251
+787:1:262
+788:1:267
+789:1:268
+790:0:2112
+791:1:280
+792:0:2112
+793:2:1561
+794:0:2112
+795:2:1562
+796:2:1566
+797:2:1567
+798:2:1575
+799:2:1576
+800:2:1580
+801:2:1581
+802:2:1589
+803:2:1594
+804:2:1598
+805:2:1599
+806:2:1606
+807:2:1607
+808:2:1618
+809:2:1626
+810:2:1627
+811:2:1631
+812:2:1636
+813:2:1637
+814:0:2112
+815:2:1649
+816:0:2112
+817:2:1651
+818:0:2112
+819:2:1652
+820:2:1656
+821:2:1657
+822:2:1665
+823:2:1666
+824:2:1670
+825:2:1671
+826:2:1679
+827:2:1684
+828:2:1688
+829:2:1689
+830:2:1696
+831:2:1697
+832:2:1708
+833:2:1716
+834:2:1717
+835:2:1721
+836:2:1726
+837:2:1727
+838:0:2112
+839:2:1739
+840:0:2112
+841:2:1560
+842:0:2112
+843:1:282
+844:0:2112
+845:1:291
+846:0:2112
+847:1:293
+848:0:2112
+849:1:296
+850:0:2112
+851:2:1561
+852:0:2112
+853:2:1562
+854:2:1566
+855:2:1567
+856:2:1575
+857:2:1576
+858:2:1580
+859:2:1581
+860:2:1589
+861:2:1594
+862:2:1598
+863:2:1599
+864:2:1606
+865:2:1607
+866:2:1618
+867:2:1626
+868:2:1627
+869:2:1631
+870:2:1636
+871:2:1637
+872:0:2112
+873:2:1649
+874:0:2112
+875:2:1651
+876:0:2112
+877:2:1652
+878:2:1656
+879:2:1657
+880:2:1665
+881:2:1666
+882:2:1670
+883:2:1671
+884:2:1679
+885:2:1684
+886:2:1688
+887:2:1689
+888:2:1696
+889:2:1697
+890:2:1708
+891:2:1716
+892:2:1717
+893:2:1721
+894:2:1726
+895:2:1727
+896:0:2112
+897:2:1739
+898:0:2112
+899:2:1560
+900:0:2112
+901:1:301
+902:0:2112
+903:2:1561
+904:0:2112
+905:2:1562
+906:2:1566
+907:2:1567
+908:2:1575
+909:2:1576
+910:2:1580
+911:2:1581
+912:2:1589
+913:2:1594
+914:2:1598
+915:2:1599
+916:2:1606
+917:2:1607
+918:2:1618
+919:2:1626
+920:2:1627
+921:2:1631
+922:2:1636
+923:2:1637
+924:0:2112
+925:2:1649
+926:0:2112
+927:2:1651
+928:0:2112
+929:2:1652
+930:2:1656
+931:2:1657
+932:2:1665
+933:2:1666
+934:2:1670
+935:2:1671
+936:2:1679
+937:2:1684
+938:2:1688
+939:2:1689
+940:2:1696
+941:2:1697
+942:2:1708
+943:2:1716
+944:2:1717
+945:2:1721
+946:2:1726
+947:2:1727
+948:0:2112
+949:2:1739
+950:0:2112
+951:2:1560
+952:0:2112
+953:1:302
+954:0:2112
+955:2:1561
+956:0:2112
+957:2:1562
+958:2:1566
+959:2:1567
+960:2:1575
+961:2:1576
+962:2:1580
+963:2:1581
+964:2:1589
+965:2:1594
+966:2:1598
+967:2:1599
+968:2:1606
+969:2:1607
+970:2:1618
+971:2:1626
+972:2:1627
+973:2:1631
+974:2:1636
+975:2:1637
+976:0:2112
+977:2:1649
+978:0:2112
+979:2:1651
+980:0:2112
+981:2:1652
+982:2:1656
+983:2:1657
+984:2:1665
+985:2:1666
+986:2:1670
+987:2:1671
+988:2:1679
+989:2:1684
+990:2:1688
+991:2:1689
+992:2:1696
+993:2:1697
+994:2:1708
+995:2:1716
+996:2:1717
+997:2:1721
+998:2:1726
+999:2:1727
+1000:0:2112
+1001:2:1739
+1002:0:2112
+1003:2:1560
+1004:0:2112
+1005:1:303
+1006:0:2112
+1007:1:304
+1008:0:2112
+1009:1:305
+1010:0:2112
+1011:1:306
+1012:0:2112
+1013:1:308
+1014:0:2112
+1015:2:1561
+1016:0:2112
+1017:2:1562
+1018:2:1566
+1019:2:1567
+1020:2:1575
+1021:2:1576
+1022:2:1580
+1023:2:1581
+1024:2:1589
+1025:2:1594
+1026:2:1598
+1027:2:1599
+1028:2:1606
+1029:2:1607
+1030:2:1618
+1031:2:1626
+1032:2:1627
+1033:2:1631
+1034:2:1636
+1035:2:1637
+1036:0:2112
+1037:2:1649
+1038:0:2112
+1039:2:1651
+1040:0:2112
+1041:2:1652
+1042:2:1656
+1043:2:1657
+1044:2:1665
+1045:2:1666
+1046:2:1670
+1047:2:1671
+1048:2:1679
+1049:2:1684
+1050:2:1688
+1051:2:1689
+1052:2:1696
+1053:2:1697
+1054:2:1708
+1055:2:1716
+1056:2:1717
+1057:2:1721
+1058:2:1726
+1059:2:1727
+1060:0:2112
+1061:2:1739
+1062:0:2112
+1063:2:1560
+1064:0:2112
+1065:1:310
+1066:0:2112
+1067:2:1561
+1068:0:2112
+1069:2:1562
+1070:2:1566
+1071:2:1567
+1072:2:1575
+1073:2:1576
+1074:2:1580
+1075:2:1581
+1076:2:1589
+1077:2:1594
+1078:2:1598
+1079:2:1599
+1080:2:1606
+1081:2:1607
+1082:2:1618
+1083:2:1626
+1084:2:1627
+1085:2:1631
+1086:2:1636
+1087:2:1637
+1088:0:2112
+1089:2:1649
+1090:0:2112
+1091:2:1651
+1092:0:2112
+1093:2:1652
+1094:2:1656
+1095:2:1657
+1096:2:1665
+1097:2:1666
+1098:2:1670
+1099:2:1671
+1100:2:1679
+1101:2:1684
+1102:2:1688
+1103:2:1689
+1104:2:1696
+1105:2:1697
+1106:2:1708
+1107:2:1716
+1108:2:1717
+1109:2:1721
+1110:2:1726
+1111:2:1727
+1112:0:2112
+1113:2:1739
+1114:0:2112
+1115:2:1560
+1116:0:2112
+1117:1:311
+1118:1:315
+1119:1:316
+1120:1:324
+1121:1:325
+1122:1:326
+1123:1:338
+1124:1:343
+1125:1:347
+1126:1:348
+1127:1:355
+1128:1:356
+1129:1:367
+1130:1:368
+1131:1:369
+1132:1:380
+1133:1:385
+1134:1:386
+1135:0:2112
+1136:1:398
+1137:0:2112
+1138:2:1561
+1139:0:2112
+1140:2:1562
+1141:2:1566
+1142:2:1567
+1143:2:1575
+1144:2:1576
+1145:2:1580
+1146:2:1581
+1147:2:1589
+1148:2:1594
+1149:2:1598
+1150:2:1599
+1151:2:1606
+1152:2:1607
+1153:2:1618
+1154:2:1626
+1155:2:1627
+1156:2:1631
+1157:2:1636
+1158:2:1637
+1159:0:2112
+1160:2:1649
+1161:0:2112
+1162:2:1651
+1163:0:2112
+1164:2:1652
+1165:2:1656
+1166:2:1657
+1167:2:1665
+1168:2:1666
+1169:2:1670
+1170:2:1671
+1171:2:1679
+1172:2:1684
+1173:2:1688
+1174:2:1689
+1175:2:1696
+1176:2:1697
+1177:2:1708
+1178:2:1716
+1179:2:1717
+1180:2:1721
+1181:2:1726
+1182:2:1727
+1183:0:2112
+1184:2:1739
+1185:0:2112
+1186:2:1560
+1187:0:2112
+1188:1:400
+1189:0:2112
+1190:1:404
+1191:0:2112
+1192:1:9
+1193:0:2112
+1194:1:10
+1195:0:2112
+1196:1:11
+1197:0:2112
+1198:2:1561
+1199:0:2112
+1200:2:1562
+1201:2:1566
+1202:2:1567
+1203:2:1575
+1204:2:1576
+1205:2:1580
+1206:2:1581
+1207:2:1589
+1208:2:1594
+1209:2:1598
+1210:2:1599
+1211:2:1606
+1212:2:1607
+1213:2:1618
+1214:2:1626
+1215:2:1627
+1216:2:1631
+1217:2:1636
+1218:2:1637
+1219:0:2112
+1220:2:1649
+1221:0:2112
+1222:2:1651
+1223:0:2112
+1224:2:1652
+1225:2:1656
+1226:2:1657
+1227:2:1665
+1228:2:1666
+1229:2:1670
+1230:2:1671
+1231:2:1679
+1232:2:1684
+1233:2:1688
+1234:2:1689
+1235:2:1696
+1236:2:1697
+1237:2:1708
+1238:2:1716
+1239:2:1717
+1240:2:1721
+1241:2:1726
+1242:2:1727
+1243:0:2112
+1244:2:1739
+1245:0:2112
+1246:2:1560
+1247:0:2112
+1248:1:12
+1249:1:16
+1250:1:17
+1251:1:25
+1252:1:26
+1253:1:27
+1254:1:39
+1255:1:44
+1256:1:48
+1257:1:49
+1258:1:56
+1259:1:57
+1260:1:68
+1261:1:69
+1262:1:70
+1263:1:81
+1264:1:86
+1265:1:87
+1266:0:2112
+1267:1:99
+1268:0:2112
+1269:2:1561
+1270:0:2112
+1271:2:1562
+1272:2:1566
+1273:2:1567
+1274:2:1575
+1275:2:1576
+1276:2:1580
+1277:2:1581
+1278:2:1589
+1279:2:1594
+1280:2:1598
+1281:2:1599
+1282:2:1606
+1283:2:1607
+1284:2:1618
+1285:2:1626
+1286:2:1627
+1287:2:1631
+1288:2:1636
+1289:2:1637
+1290:0:2112
+1291:2:1649
+1292:0:2112
+1293:2:1651
+1294:0:2112
+1295:2:1652
+1296:2:1656
+1297:2:1657
+1298:2:1665
+1299:2:1666
+1300:2:1670
+1301:2:1671
+1302:2:1679
+1303:2:1684
+1304:2:1688
+1305:2:1689
+1306:2:1696
+1307:2:1697
+1308:2:1708
+1309:2:1716
+1310:2:1717
+1311:2:1721
+1312:2:1726
+1313:2:1727
+1314:0:2112
+1315:2:1739
+1316:0:2112
+1317:2:1560
+1318:0:2112
+1319:1:101
+1320:0:2112
+1321:2:1561
+1322:0:2112
+1323:2:1562
+1324:2:1566
+1325:2:1567
+1326:2:1575
+1327:2:1576
+1328:2:1580
+1329:2:1581
+1330:2:1589
+1331:2:1594
+1332:2:1598
+1333:2:1599
+1334:2:1606
+1335:2:1607
+1336:2:1618
+1337:2:1626
+1338:2:1627
+1339:2:1631
+1340:2:1636
+1341:2:1637
+1342:0:2112
+1343:2:1649
+1344:0:2112
+1345:2:1651
+1346:0:2112
+1347:2:1652
+1348:2:1656
+1349:2:1657
+1350:2:1665
+1351:2:1666
+1352:2:1670
+1353:2:1671
+1354:2:1679
+1355:2:1684
+1356:2:1688
+1357:2:1689
+1358:2:1696
+1359:2:1697
+1360:2:1708
+1361:2:1716
+1362:2:1717
+1363:2:1721
+1364:2:1726
+1365:2:1727
+1366:0:2112
+1367:2:1739
+1368:0:2112
+1369:2:1560
+1370:0:2112
+1371:1:102
+1372:1:106
+1373:1:107
+1374:1:115
+1375:1:116
+1376:1:120
+1377:1:121
+1378:1:129
+1379:1:134
+1380:1:138
+1381:1:139
+1382:1:146
+1383:1:147
+1384:1:158
+1385:1:159
+1386:1:160
+1387:1:171
+1388:1:176
+1389:1:177
+1390:0:2112
+1391:1:189
+1392:0:2112
+1393:1:191
+1394:0:2112
+1395:2:1561
+1396:0:2112
+1397:2:1562
+1398:2:1566
+1399:2:1567
+1400:2:1575
+1401:2:1576
+1402:2:1580
+1403:2:1581
+1404:2:1589
+1405:2:1594
+1406:2:1598
+1407:2:1599
+1408:2:1606
+1409:2:1607
+1410:2:1618
+1411:2:1626
+1412:2:1627
+1413:2:1631
+1414:2:1636
+1415:2:1637
+1416:0:2112
+1417:2:1649
+1418:0:2112
+1419:2:1651
+1420:0:2112
+1421:2:1652
+1422:2:1656
+1423:2:1657
+1424:2:1665
+1425:2:1666
+1426:2:1670
+1427:2:1671
+1428:2:1679
+1429:2:1684
+1430:2:1688
+1431:2:1689
+1432:2:1696
+1433:2:1697
+1434:2:1708
+1435:2:1716
+1436:2:1717
+1437:2:1721
+1438:2:1726
+1439:2:1727
+1440:0:2112
+1441:2:1739
+1442:0:2112
+1443:2:1560
+1444:0:2112
+1445:1:192
+1446:0:2112
+1447:2:1561
+1448:0:2112
+1449:2:1562
+1450:2:1566
+1451:2:1567
+1452:2:1575
+1453:2:1576
+1454:2:1580
+1455:2:1581
+1456:2:1589
+1457:2:1594
+1458:2:1598
+1459:2:1599
+1460:2:1606
+1461:2:1607
+1462:2:1618
+1463:2:1626
+1464:2:1627
+1465:2:1631
+1466:2:1636
+1467:2:1637
+1468:0:2112
+1469:2:1649
+1470:0:2112
+1471:2:1651
+1472:0:2112
+1473:2:1652
+1474:2:1656
+1475:2:1657
+1476:2:1665
+1477:2:1666
+1478:2:1670
+1479:2:1671
+1480:2:1679
+1481:2:1684
+1482:2:1688
+1483:2:1689
+1484:2:1696
+1485:2:1697
+1486:2:1708
+1487:2:1716
+1488:2:1717
+1489:2:1721
+1490:2:1726
+1491:2:1727
+1492:0:2112
+1493:2:1739
+1494:0:2112
+1495:2:1560
+1496:0:2112
+1497:1:193
+1498:1:197
+1499:1:198
+1500:1:206
+1501:1:207
+1502:1:211
+1503:1:212
+1504:1:220
+1505:1:225
+1506:1:229
+1507:1:230
+1508:1:237
+1509:1:238
+1510:1:249
+1511:1:250
+1512:1:251
+1513:1:262
+1514:1:267
+1515:1:268
+1516:0:2112
+1517:1:280
+1518:0:2112
+1519:2:1561
+1520:0:2112
+1521:2:1562
+1522:2:1566
+1523:2:1567
+1524:2:1575
+1525:2:1576
+1526:2:1580
+1527:2:1581
+1528:2:1589
+1529:2:1594
+1530:2:1598
+1531:2:1599
+1532:2:1606
+1533:2:1607
+1534:2:1618
+1535:2:1626
+1536:2:1627
+1537:2:1631
+1538:2:1636
+1539:2:1637
+1540:0:2112
+1541:2:1649
+1542:0:2112
+1543:2:1651
+1544:0:2112
+1545:2:1652
+1546:2:1656
+1547:2:1657
+1548:2:1665
+1549:2:1666
+1550:2:1670
+1551:2:1671
+1552:2:1679
+1553:2:1684
+1554:2:1688
+1555:2:1689
+1556:2:1696
+1557:2:1697
+1558:2:1708
+1559:2:1716
+1560:2:1717
+1561:2:1721
+1562:2:1726
+1563:2:1727
+1564:0:2112
+1565:2:1739
+1566:0:2112
+1567:2:1560
+1568:0:2112
+1569:1:282
+1570:0:2112
+1571:1:291
+1572:0:2112
+1573:1:293
+1574:0:2112
+1575:1:296
+1576:0:2112
+1577:2:1561
+1578:0:2112
+1579:2:1562
+1580:2:1566
+1581:2:1567
+1582:2:1575
+1583:2:1576
+1584:2:1580
+1585:2:1581
+1586:2:1589
+1587:2:1594
+1588:2:1598
+1589:2:1599
+1590:2:1606
+1591:2:1607
+1592:2:1618
+1593:2:1626
+1594:2:1627
+1595:2:1631
+1596:2:1636
+1597:2:1637
+1598:0:2112
+1599:2:1649
+1600:0:2112
+1601:2:1651
+1602:0:2112
+1603:2:1652
+1604:2:1656
+1605:2:1657
+1606:2:1665
+1607:2:1666
+1608:2:1670
+1609:2:1671
+1610:2:1679
+1611:2:1684
+1612:2:1688
+1613:2:1689
+1614:2:1696
+1615:2:1697
+1616:2:1708
+1617:2:1716
+1618:2:1717
+1619:2:1721
+1620:2:1726
+1621:2:1727
+1622:0:2112
+1623:2:1739
+1624:0:2112
+1625:2:1560
+1626:0:2112
+1627:1:301
+1628:0:2112
+1629:2:1561
+1630:0:2112
+1631:2:1562
+1632:2:1566
+1633:2:1567
+1634:2:1575
+1635:2:1576
+1636:2:1580
+1637:2:1581
+1638:2:1589
+1639:2:1594
+1640:2:1598
+1641:2:1599
+1642:2:1606
+1643:2:1607
+1644:2:1618
+1645:2:1626
+1646:2:1627
+1647:2:1631
+1648:2:1636
+1649:2:1637
+1650:0:2112
+1651:2:1649
+-1:-1:-1
+1652:0:2112
+1653:2:1651
+1654:0:2112
+1655:2:1652
+1656:2:1656
+1657:2:1657
+1658:2:1665
+1659:2:1666
+1660:2:1670
+1661:2:1671
+1662:2:1679
+1663:2:1684
+1664:2:1688
+1665:2:1689
+1666:2:1696
+1667:2:1697
+1668:2:1708
+1669:2:1716
+1670:2:1717
+1671:2:1721
+1672:2:1726
+1673:2:1727
+1674:0:2112
+1675:2:1739
+1676:0:2112
+1677:2:1560
+1678:0:2112
+1679:1:302
+1680:0:2112
+1681:2:1561
+1682:0:2112
+1683:2:1562
+1684:2:1566
+1685:2:1567
+1686:2:1575
+1687:2:1576
+1688:2:1580
+1689:2:1581
+1690:2:1589
+1691:2:1594
+1692:2:1598
+1693:2:1599
+1694:2:1606
+1695:2:1607
+1696:2:1618
+1697:2:1626
+1698:2:1627
+1699:2:1631
+1700:2:1636
+1701:2:1637
+1702:0:2112
+1703:2:1649
+1704:0:2112
+1705:2:1651
+1706:0:2112
+1707:2:1652
+1708:2:1656
+1709:2:1657
+1710:2:1665
+1711:2:1666
+1712:2:1670
+1713:2:1671
+1714:2:1679
+1715:2:1684
+1716:2:1688
+1717:2:1689
+1718:2:1696
+1719:2:1697
+1720:2:1708
+1721:2:1716
+1722:2:1717
+1723:2:1721
+1724:2:1726
+1725:2:1727
+1726:0:2112
+1727:2:1739
+1728:0:2112
+1729:2:1560
+1730:0:2112
+1731:1:303
+1732:0:2112
+1733:1:304
+1734:0:2112
+1735:1:305
+1736:0:2112
+1737:1:306
+1738:0:2112
+1739:1:308
+1740:0:2112
+1741:2:1561
+1742:0:2112
+1743:2:1562
+1744:2:1566
+1745:2:1567
+1746:2:1575
+1747:2:1576
+1748:2:1580
+1749:2:1581
+1750:2:1589
+1751:2:1594
+1752:2:1598
+1753:2:1599
+1754:2:1606
+1755:2:1607
+1756:2:1618
+1757:2:1626
+1758:2:1627
+1759:2:1631
+1760:2:1636
+1761:2:1637
+1762:0:2112
+1763:2:1649
+1764:0:2112
+1765:2:1651
+1766:0:2112
+1767:2:1652
+1768:2:1656
+1769:2:1657
+1770:2:1665
+1771:2:1666
+1772:2:1670
+1773:2:1671
+1774:2:1679
+1775:2:1684
+1776:2:1688
+1777:2:1689
+1778:2:1696
+1779:2:1697
+1780:2:1708
+1781:2:1716
+1782:2:1717
+1783:2:1721
+1784:2:1726
+1785:2:1727
+1786:0:2112
+1787:2:1739
+1788:0:2112
+1789:2:1560
+1790:0:2112
+1791:1:310
+1792:0:2112
+1793:2:1561
+1794:0:2112
+1795:2:1562
+1796:2:1566
+1797:2:1567
+1798:2:1575
+1799:2:1576
+1800:2:1580
+1801:2:1581
+1802:2:1589
+1803:2:1594
+1804:2:1598
+1805:2:1599
+1806:2:1606
+1807:2:1607
+1808:2:1618
+1809:2:1626
+1810:2:1627
+1811:2:1631
+1812:2:1636
+1813:2:1637
+1814:0:2112
+1815:2:1649
+1816:0:2112
+1817:2:1651
+1818:0:2112
+1819:2:1652
+1820:2:1656
+1821:2:1657
+1822:2:1665
+1823:2:1666
+1824:2:1670
+1825:2:1671
+1826:2:1679
+1827:2:1684
+1828:2:1688
+1829:2:1689
+1830:2:1696
+1831:2:1697
+1832:2:1708
+1833:2:1716
+1834:2:1717
+1835:2:1721
+1836:2:1726
+1837:2:1727
+1838:0:2112
+1839:2:1739
+1840:0:2112
+1841:2:1560
+1842:0:2112
+1843:1:311
+1844:1:315
+1845:1:316
+1846:1:324
+1847:1:333
+1848:1:334
+1849:1:338
+1850:1:343
+1851:1:347
+1852:1:348
+1853:1:355
+1854:1:356
+1855:1:367
+1856:1:368
+1857:1:371
+1858:1:372
+1859:1:380
+1860:1:385
+1861:1:386
+1862:0:2112
+1863:1:398
+1864:0:2112
+1865:2:1561
+1866:0:2112
+1867:2:1562
+1868:2:1566
+1869:2:1567
+1870:2:1575
+1871:2:1576
+1872:2:1580
+1873:2:1581
+1874:2:1589
+1875:2:1594
+1876:2:1598
+1877:2:1599
+1878:2:1606
+1879:2:1607
+1880:2:1618
+1881:2:1626
+1882:2:1627
+1883:2:1631
+1884:2:1636
+1885:2:1637
+1886:0:2112
+1887:2:1649
+1888:0:2112
+1889:2:1651
+1890:0:2112
+1891:2:1652
+1892:2:1656
+1893:2:1657
+1894:2:1665
+1895:2:1666
+1896:2:1670
+1897:2:1671
+1898:2:1679
+1899:2:1684
+1900:2:1688
+1901:2:1689
+1902:2:1696
+1903:2:1697
+1904:2:1708
+1905:2:1716
+1906:2:1717
+1907:2:1721
+1908:2:1726
+1909:2:1727
+1910:0:2112
+1911:2:1739
+1912:0:2112
+1913:2:1560
+1914:0:2112
+1915:1:400
+1916:0:2112
+1917:1:404
+1918:0:2112
+1919:1:9
+1920:0:2112
+1921:1:10
+1922:0:2112
+1923:1:11
+1924:0:2112
+1925:2:1561
+1926:0:2112
+1927:2:1562
+1928:2:1566
+1929:2:1567
+1930:2:1575
+1931:2:1576
+1932:2:1580
+1933:2:1581
+1934:2:1589
+1935:2:1594
+1936:2:1598
+1937:2:1599
+1938:2:1606
+1939:2:1607
+1940:2:1618
+1941:2:1626
+1942:2:1627
+1943:2:1631
+1944:2:1636
+1945:2:1637
+1946:0:2112
+1947:2:1649
+1948:0:2112
+1949:2:1651
+1950:0:2112
+1951:2:1652
+1952:2:1656
+1953:2:1657
+1954:2:1665
+1955:2:1666
+1956:2:1670
+1957:2:1671
+1958:2:1679
+1959:2:1684
+1960:2:1688
+1961:2:1689
+1962:2:1696
+1963:2:1697
+1964:2:1708
+1965:2:1716
+1966:2:1717
+1967:2:1721
+1968:2:1726
+1969:2:1727
+1970:0:2112
+1971:2:1739
+1972:0:2112
+1973:2:1560
+1974:0:2112
+1975:1:12
+1976:1:16
+1977:1:17
+1978:1:25
+1979:1:34
+1980:1:35
+1981:1:39
+1982:1:44
+1983:1:48
+1984:1:49
+1985:1:56
+1986:1:57
+1987:1:68
+1988:1:69
+1989:1:72
+1990:1:73
+1991:1:81
+1992:1:86
+1993:1:87
+1994:0:2112
+1995:1:99
+1996:0:2112
+1997:2:1561
+1998:0:2112
+1999:2:1562
+2000:2:1566
+2001:2:1567
+2002:2:1575
+2003:2:1576
+2004:2:1580
+2005:2:1581
+2006:2:1589
+2007:2:1594
+2008:2:1598
+2009:2:1599
+2010:2:1606
+2011:2:1607
+2012:2:1618
+2013:2:1626
+2014:2:1627
+2015:2:1631
+2016:2:1636
+2017:2:1637
+2018:0:2112
+2019:2:1649
+2020:0:2112
+2021:2:1651
+2022:0:2112
+2023:2:1652
+2024:2:1656
+2025:2:1657
+2026:2:1665
+2027:2:1666
+2028:2:1670
+2029:2:1671
+2030:2:1679
+2031:2:1684
+2032:2:1688
+2033:2:1689
+2034:2:1696
+2035:2:1697
+2036:2:1708
+2037:2:1716
+2038:2:1717
+2039:2:1721
+2040:2:1726
+2041:2:1727
+2042:0:2112
+2043:2:1739
+2044:0:2112
+2045:2:1560
+2046:0:2112
+2047:1:101
+2048:0:2112
+2049:2:1561
+2050:0:2112
+2051:2:1562
+2052:2:1566
+2053:2:1567
+2054:2:1575
+2055:2:1576
+2056:2:1580
+2057:2:1581
+2058:2:1589
+2059:2:1594
+2060:2:1598
+2061:2:1599
+2062:2:1606
+2063:2:1607
+2064:2:1618
+2065:2:1626
+2066:2:1627
+2067:2:1631
+2068:2:1636
+2069:2:1637
+2070:0:2112
+2071:2:1649
+2072:0:2112
+2073:2:1651
+2074:0:2112
+2075:2:1652
+2076:2:1656
+2077:2:1657
+2078:2:1665
+2079:2:1666
+2080:2:1670
+2081:2:1671
+2082:2:1679
+2083:2:1684
+2084:2:1688
+2085:2:1689
+2086:2:1696
+2087:2:1697
+2088:2:1708
+2089:2:1716
+2090:2:1717
+2091:2:1721
+2092:2:1726
+2093:2:1727
+2094:0:2112
+2095:2:1739
+2096:0:2112
+2097:2:1560
+2098:0:2112
+2099:1:102
+2100:1:106
+2101:1:107
+2102:1:115
+2103:1:124
+2104:1:125
+2105:1:129
+2106:1:134
+2107:1:138
+2108:1:139
+2109:1:146
+2110:1:147
+2111:1:158
+2112:1:159
+2113:1:162
+2114:1:163
+2115:1:171
+2116:1:176
+2117:1:177
+2118:0:2112
+2119:1:189
+2120:0:2112
+2121:1:191
+2122:0:2112
+2123:2:1561
+2124:0:2112
+2125:2:1562
+2126:2:1566
+2127:2:1567
+2128:2:1575
+2129:2:1576
+2130:2:1580
+2131:2:1581
+2132:2:1589
+2133:2:1594
+2134:2:1598
+2135:2:1599
+2136:2:1606
+2137:2:1607
+2138:2:1618
+2139:2:1626
+2140:2:1627
+2141:2:1631
+2142:2:1636
+2143:2:1637
+2144:0:2112
+2145:2:1649
+2146:0:2112
+2147:2:1651
+2148:0:2112
+2149:2:1652
+2150:2:1656
+2151:2:1657
+2152:2:1665
+2153:2:1666
+2154:2:1670
+2155:2:1671
+2156:2:1679
+2157:2:1684
+2158:2:1688
+2159:2:1689
+2160:2:1696
+2161:2:1697
+2162:2:1708
+2163:2:1716
+2164:2:1717
+2165:2:1721
+2166:2:1726
+2167:2:1727
+2168:0:2112
+2169:2:1739
+2170:0:2112
+2171:2:1560
+2172:0:2112
+2173:1:192
+2174:0:2112
+2175:2:1561
+2176:0:2112
+2177:2:1562
+2178:2:1566
+2179:2:1567
+2180:2:1575
+2181:2:1576
+2182:2:1580
+2183:2:1581
+2184:2:1589
+2185:2:1594
+2186:2:1598
+2187:2:1599
+2188:2:1606
+2189:2:1607
+2190:2:1618
+2191:2:1626
+2192:2:1627
+2193:2:1631
+2194:2:1636
+2195:2:1637
+2196:0:2112
+2197:2:1649
+2198:0:2112
+2199:2:1651
+2200:0:2112
+2201:2:1652
+2202:2:1656
+2203:2:1657
+2204:2:1665
+2205:2:1666
+2206:2:1670
+2207:2:1671
+2208:2:1679
+2209:2:1684
+2210:2:1688
+2211:2:1689
+2212:2:1696
+2213:2:1697
+2214:2:1708
+2215:2:1716
+2216:2:1717
+2217:2:1721
+2218:2:1726
+2219:2:1727
+2220:0:2112
+2221:2:1739
+2222:0:2112
+2223:2:1560
+2224:0:2112
+2225:1:193
+2226:1:197
+2227:1:198
+2228:1:206
+2229:1:215
+2230:1:216
+2231:1:220
+2232:1:225
+2233:1:229
+2234:1:230
+2235:1:237
+2236:1:238
+2237:1:249
+2238:1:250
+2239:1:253
+2240:1:254
+2241:1:262
+2242:1:267
+2243:1:268
+2244:0:2112
+2245:1:280
+2246:0:2112
+2247:2:1561
+2248:0:2112
+2249:2:1562
+2250:2:1566
+2251:2:1567
+2252:2:1575
+2253:2:1576
+2254:2:1580
+2255:2:1581
+2256:2:1589
+2257:2:1594
+2258:2:1598
+2259:2:1599
+2260:2:1606
+2261:2:1607
+2262:2:1618
+2263:2:1626
+2264:2:1627
+2265:2:1631
+2266:2:1636
+2267:2:1637
+2268:0:2112
+2269:2:1649
+2270:0:2112
+2271:2:1651
+2272:0:2112
+2273:1:282
+2274:0:2112
+2275:1:291
+2276:0:2112
+2277:1:293
+2278:0:2112
+2279:1:296
+2280:0:2112
+2281:1:301
+2282:0:2112
+2283:1:302
+2284:0:2112
+2285:1:303
+2286:0:2112
+2287:1:304
+2288:0:2112
+2289:1:305
+2290:0:2112
+2291:1:306
+2292:0:2112
+2293:1:308
+2294:0:2112
+2295:1:310
+2296:0:2112
+2297:1:311
+2298:1:315
+2299:1:316
+2300:1:324
+2301:1:325
+2302:1:326
+2303:1:338
+2304:1:343
+2305:1:347
+2306:1:348
+2307:1:355
+2308:1:356
+2309:1:367
+2310:1:368
+2311:1:369
+2312:1:380
+2313:1:385
+2314:1:386
+2315:0:2112
+2316:1:398
+2317:0:2112
+2318:1:400
+2319:0:2112
+2320:1:404
+2321:0:2112
+2322:1:9
+2323:0:2112
+2324:1:10
+2325:0:2112
+2326:1:11
+2327:0:2112
+2328:1:12
+2329:1:16
+2330:1:17
+2331:1:25
+2332:1:26
+2333:1:27
+2334:1:39
+2335:1:44
+2336:1:48
+2337:1:49
+2338:1:56
+2339:1:57
+2340:1:68
+2341:1:69
+2342:1:70
+2343:1:81
+2344:1:86
+2345:1:87
+2346:0:2112
+2347:1:99
+2348:0:2112
+2349:1:101
+2350:0:2112
+2351:1:102
+2352:1:106
+2353:1:107
+2354:1:115
+2355:1:116
+2356:1:120
+2357:1:121
+2358:1:129
+2359:1:134
+2360:1:138
+2361:1:139
+2362:1:146
+2363:1:147
+2364:1:158
+2365:1:159
+2366:1:160
+2367:1:171
+2368:1:176
+2369:1:177
+2370:0:2112
+2371:1:189
+2372:0:2112
+2373:1:191
+2374:0:2112
+2375:1:192
+2376:0:2112
+2377:1:193
+2378:1:197
+2379:1:198
+2380:1:206
+2381:1:207
+2382:1:211
+2383:1:212
+2384:1:220
+2385:1:225
+2386:1:229
+2387:1:230
+2388:1:237
+2389:1:238
+2390:1:249
+2391:1:250
+2392:1:251
+2393:1:262
+2394:1:267
+2395:1:268
+2396:0:2112
+2397:1:280
+2398:0:2112
+2399:1:282
+2400:0:2112
+2401:2:1652
+2402:2:1656
+2403:2:1657
+2404:2:1665
+2405:2:1666
+2406:2:1670
+2407:2:1671
+2408:2:1679
+2409:2:1684
+2410:2:1688
+2411:2:1689
+2412:2:1696
+2413:2:1697
+2414:2:1708
+2415:2:1716
+2416:2:1717
+2417:2:1721
+2418:2:1726
+2419:2:1727
+2420:0:2112
+2421:2:1739
+2422:0:2112
+2423:2:1560
+2424:0:2112
+2425:1:291
+2426:0:2112
+2427:2:1561
+2428:0:2112
+2429:1:293
+2430:0:2112
+2431:1:296
+2432:0:2112
+2433:1:301
+2434:0:2112
+2435:1:302
+2436:0:2112
+2437:1:303
+2438:0:2112
+2439:1:304
+2440:0:2112
+2441:1:305
+2442:0:2112
+2443:1:306
+2444:0:2112
+2445:1:308
+2446:0:2112
+2447:1:310
+2448:0:2112
+2449:1:311
+2450:1:315
+2451:1:316
+2452:1:324
+2453:1:325
+2454:1:326
+2455:1:338
+2456:1:343
+2457:1:347
+2458:1:348
+2459:1:355
+2460:1:356
+2461:1:367
+2462:1:368
+2463:1:369
+2464:1:380
+2465:1:385
+2466:1:386
+2467:0:2112
+2468:1:398
+2469:0:2112
+2470:1:400
+2471:0:2112
+2472:1:404
+2473:0:2112
+2474:1:9
+2475:0:2112
+2476:1:10
+2477:0:2112
+2478:1:11
+2479:0:2112
+2480:1:12
+2481:1:16
+2482:1:17
+2483:1:25
+2484:1:26
+2485:1:27
+2486:1:39
+2487:1:44
+2488:1:48
+2489:1:49
+2490:1:56
+2491:1:57
+2492:1:68
+2493:1:69
+2494:1:70
+2495:1:81
+2496:1:86
+2497:1:87
+2498:0:2112
+2499:1:99
+2500:0:2112
+2501:1:101
+2502:0:2112
+2503:1:102
+2504:1:106
+2505:1:107
+2506:1:115
+2507:1:116
+2508:1:120
+2509:1:121
+2510:1:129
+2511:1:134
+2512:1:138
+2513:1:139
+2514:1:146
+2515:1:147
+2516:1:158
+2517:1:159
+2518:1:160
+2519:1:171
+2520:1:176
+2521:1:177
+2522:0:2112
+2523:1:189
+2524:0:2112
+2525:1:191
+2526:0:2112
+2527:1:192
+2528:0:2112
+2529:1:193
+2530:1:197
+2531:1:198
+2532:1:206
+2533:1:207
+2534:1:211
+2535:1:212
+2536:1:220
+2537:1:225
+2538:1:229
+2539:1:230
+2540:1:237
+2541:1:238
+2542:1:249
+2543:1:250
+2544:1:251
+2545:1:262
+2546:1:267
+2547:1:268
+2548:0:2112
+2549:1:280
+2550:0:2112
+2551:1:282
+2552:0:2112
+2553:1:291
+2554:0:2112
+2555:1:293
+2556:0:2112
+2557:2:1562
+2558:2:1566
+2559:2:1567
+2560:2:1575
+2561:2:1576
+2562:2:1580
+2563:2:1581
+2564:2:1589
+2565:2:1594
+2566:2:1598
+2567:2:1599
+2568:2:1606
+2569:2:1607
+2570:2:1618
+2571:2:1626
+2572:2:1627
+2573:2:1631
+2574:2:1636
+2575:2:1637
+2576:0:2112
+2577:2:1649
+2578:0:2112
+2579:1:296
+2580:0:2112
+2581:1:301
+2582:0:2112
+2583:1:302
+2584:0:2112
+2585:1:303
+2586:0:2112
+2587:1:304
+2588:0:2112
+2589:1:305
+2590:0:2112
+2591:1:306
+2592:0:2112
+2593:1:308
+2594:0:2112
+2595:1:310
+2596:0:2112
+2597:1:311
+2598:1:315
+2599:1:316
+2600:1:324
+2601:1:325
+2602:1:326
+2603:1:338
+2604:1:343
+2605:1:347
+2606:1:348
+2607:1:355
+2608:1:356
+2609:1:367
+2610:1:368
+2611:1:369
+2612:1:380
+2613:1:385
+2614:1:386
+2615:0:2112
+2616:1:398
+2617:0:2112
+2618:1:400
+2619:0:2112
+2620:1:404
+2621:0:2112
+2622:1:9
+2623:0:2112
+2624:1:10
+2625:0:2112
+2626:1:11
+2627:0:2112
+2628:1:12
+2629:1:16
+2630:1:17
+2631:1:25
+2632:1:34
+2633:1:35
+2634:1:39
+2635:1:44
+2636:1:48
+2637:1:49
+2638:1:56
+2639:1:57
+2640:1:68
+2641:1:69
+2642:1:72
+2643:1:73
+2644:1:81
+2645:1:86
+2646:1:87
+2647:0:2112
+2648:1:99
+2649:0:2112
+2650:2:1651
+2651:0:2112
+2652:2:1652
+2653:2:1656
+2654:2:1657
+2655:2:1665
+2656:2:1666
+2657:2:1670
+2658:2:1671
+2659:2:1679
+2660:2:1684
+2661:2:1688
+2662:2:1689
+2663:2:1696
+2664:2:1697
+2665:2:1708
+2666:2:1716
+2667:2:1717
+2668:2:1721
+2669:2:1726
+2670:2:1727
+2671:0:2112
+2672:2:1739
+2673:0:2112
+2674:2:1560
+2675:0:2112
+2676:2:1561
+2677:0:2112
+2678:2:1562
+2679:2:1566
+2680:2:1567
+2681:2:1575
+2682:2:1576
+2683:2:1580
+2684:2:1581
+2685:2:1589
+2686:2:1594
+2687:2:1598
+2688:2:1599
+2689:2:1606
+2690:2:1607
+2691:2:1618
+2692:2:1626
+2693:2:1627
+2694:2:1631
+2695:2:1636
+2696:2:1637
+2697:0:2112
+2698:2:1649
+2699:0:2112
+2700:1:101
+2701:0:2112
+2702:2:1651
+2703:0:2112
+2704:2:1652
+2705:2:1656
+2706:2:1657
+2707:2:1665
+2708:2:1666
+2709:2:1670
+2710:2:1671
+2711:2:1679
+2712:2:1684
+2713:2:1688
+2714:2:1689
+2715:2:1696
+2716:2:1697
+2717:2:1708
+2718:2:1716
+2719:2:1717
+2720:2:1721
+2721:2:1726
+2722:2:1727
+2723:0:2112
+2724:2:1739
+2725:0:2112
+2726:2:1560
+2727:0:2112
+2728:2:1561
+2729:0:2112
+2730:2:1562
+2731:2:1566
+2732:2:1567
+2733:2:1575
+2734:2:1576
+2735:2:1580
+2736:2:1581
+2737:2:1589
+2738:2:1594
+2739:2:1598
+2740:2:1599
+2741:2:1606
+2742:2:1607
+2743:2:1618
+2744:2:1626
+2745:2:1627
+2746:2:1631
+2747:2:1636
+2748:2:1637
+2749:0:2112
+2750:2:1649
+2751:0:2112
+2752:1:102
+2753:1:106
+2754:1:107
+2755:1:115
+2756:1:116
+2757:1:117
+2758:1:129
+2759:1:134
+2760:1:138
+2761:1:139
+2762:1:146
+2763:1:147
+2764:1:158
+2765:1:159
+2766:1:160
+2767:1:171
+2768:1:176
+2769:1:177
+2770:0:2112
+2771:1:189
+2772:0:2112
+2773:1:191
+2774:0:2112
+2775:2:1651
+2776:0:2112
+2777:2:1652
+2778:2:1656
+2779:2:1657
+2780:2:1665
+2781:2:1666
+2782:2:1670
+2783:2:1671
+2784:2:1679
+2785:2:1684
+2786:2:1688
+2787:2:1689
+2788:2:1696
+2789:2:1697
+2790:2:1708
+2791:2:1716
+2792:2:1717
+2793:2:1721
+2794:2:1726
+2795:2:1727
+2796:0:2112
+2797:2:1739
+2798:0:2112
+2799:2:1560
+2800:0:2112
+2801:2:1561
+2802:0:2112
+2803:2:1562
+2804:2:1566
+2805:2:1567
+2806:2:1575
+2807:2:1576
+2808:2:1580
+2809:2:1581
+2810:2:1589
+2811:2:1594
+2812:2:1598
+2813:2:1599
+2814:2:1606
+2815:2:1607
+2816:2:1618
+2817:2:1626
+2818:2:1627
+2819:2:1631
+2820:2:1636
+2821:2:1637
+2822:0:2112
+2823:2:1649
+2824:0:2112
+2825:1:192
+2826:0:2112
+2827:2:1651
+2828:0:2112
+2829:2:1652
+2830:2:1656
+2831:2:1657
+2832:2:1665
+2833:2:1666
+2834:2:1670
+2835:2:1671
+2836:2:1679
+2837:2:1684
+2838:2:1688
+2839:2:1689
+2840:2:1696
+2841:2:1697
+2842:2:1708
+2843:2:1716
+2844:2:1717
+2845:2:1721
+2846:2:1726
+2847:2:1727
+2848:0:2112
+2849:2:1739
+2850:0:2112
+2851:2:1560
+2852:0:2112
+2853:2:1561
+2854:0:2112
+2855:2:1562
+2856:2:1566
+2857:2:1567
+2858:2:1575
+2859:2:1576
+2860:2:1580
+2861:2:1581
+2862:2:1589
+2863:2:1594
+2864:2:1598
+2865:2:1599
+2866:2:1606
+2867:2:1607
+2868:2:1618
+2869:2:1626
+2870:2:1627
+2871:2:1631
+2872:2:1636
+2873:2:1637
+2874:0:2112
+2875:2:1649
+2876:0:2112
+2877:1:193
+2878:1:197
+2879:1:198
+2880:1:206
+2881:1:207
+2882:1:211
+2883:1:212
+2884:1:220
+2885:1:225
+2886:1:229
+2887:1:230
+2888:1:237
+2889:1:238
+2890:1:249
+2891:1:250
+2892:1:251
+2893:1:262
+2894:1:267
+2895:1:268
+2896:0:2112
+2897:1:280
+2898:0:2112
+2899:2:1651
+2900:0:2112
+2901:2:1652
+2902:2:1656
+2903:2:1657
+2904:2:1665
+2905:2:1666
+2906:2:1670
+2907:2:1671
+2908:2:1679
+2909:2:1684
+2910:2:1688
+2911:2:1689
+2912:2:1696
+2913:2:1697
+2914:2:1708
+2915:2:1716
+2916:2:1717
+2917:2:1721
+2918:2:1726
+2919:2:1727
+2920:0:2112
+2921:2:1739
+2922:0:2112
+2923:2:1560
+2924:0:2112
+2925:2:1561
+2926:0:2112
+2927:2:1562
+2928:2:1566
+2929:2:1567
+2930:2:1575
+2931:2:1576
+2932:2:1580
+2933:2:1581
+2934:2:1589
+2935:2:1594
+2936:2:1598
+2937:2:1599
+2938:2:1606
+2939:2:1607
+2940:2:1618
+2941:2:1626
+2942:2:1627
+2943:2:1631
+2944:2:1636
+2945:2:1637
+2946:0:2112
+2947:2:1649
+2948:0:2112
+2949:1:282
+2950:0:2112
+2951:1:291
+2952:0:2112
+2953:1:293
+2954:0:2112
+2955:1:296
+2956:0:2112
+2957:2:1651
+2958:0:2112
+2959:2:1652
+2960:2:1656
+2961:2:1657
+2962:2:1665
+2963:2:1666
+2964:2:1670
+2965:2:1671
+2966:2:1679
+2967:2:1684
+2968:2:1688
+2969:2:1689
+2970:2:1696
+2971:2:1697
+2972:2:1708
+2973:2:1716
+2974:2:1717
+2975:2:1721
+2976:2:1726
+2977:2:1727
+2978:0:2112
+2979:2:1739
+2980:0:2112
+2981:2:1560
+2982:0:2112
+2983:2:1561
+2984:0:2112
+2985:2:1562
+2986:2:1566
+2987:2:1567
+2988:2:1575
+2989:2:1576
+2990:2:1580
+2991:2:1581
+2992:2:1589
+2993:2:1594
+2994:2:1598
+2995:2:1599
+2996:2:1606
+2997:2:1607
+2998:2:1618
+2999:2:1626
+3000:2:1627
+3001:2:1631
+3002:2:1636
+3003:2:1637
+3004:0:2112
+3005:2:1649
+3006:0:2112
+3007:1:301