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

diff --git a/formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.spin.input.trail b/formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.spin.input.trail
new file mode 100644
index 0000000..5bb8316
--- /dev/null
+++ b/formal-model/urcu/result-standard-execution-nest/urcu_progress_writer_error.spin.input.trail
@@ -0,0 +1,4823 @@
+-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:11
+347:0:2112
+348:1:12
+349:1:16
+350:1:17
+351:1:25
+352:1:26
+353:1:27
+354:1:39
+355:1:44
+356:1:48
+357:1:49
+358:1:56
+359:1:57
+360:1:68
+361:1:69
+362:1:70
+363:1:81
+364:1:86
+365:1:87
+366:0:2112
+367:1:99
+368:0:2112
+369:2:1469
+370:2:1470
+371:2:1482
+372:2:1483
+373:2:1487
+374:2:1488
+375:2:1496
+376:2:1501
+377:2:1505
+378:2:1506
+379:2:1513
+380:2:1514
+381:2:1525
+382:2:1526
+383:2:1527
+384:2:1538
+385:2:1543
+386:2:1544
+387:0:2112
+388:2:1556
+389:0:2112
+390:2:1558
+391:0:2112
+392:2:1559
+393:0:2112
+394:2:1560
+395:0:2112
+396:2:1561
+397:0:2112
+398:2:1562
+399:2:1566
+400:2:1567
+401:2:1575
+402:2:1576
+403:2:1580
+404:2:1581
+405:2:1589
+406:2:1594
+407:2:1598
+408:2:1599
+409:2:1606
+410:2:1607
+411:2:1618
+412:2:1619
+413:2:1620
+414:2:1631
+415:2:1636
+416:2:1637
+417:0:2112
+418:2:1649
+419:0:2112
+420:2:1651
+421:0:2112
+422:2:1652
+423:2:1656
+424:2:1657
+425:2:1665
+426:2:1666
+427:2:1670
+428:2:1671
+429:2:1679
+430:2:1684
+431:2:1688
+432:2:1689
+433:2:1696
+434:2:1697
+435:2:1708
+436:2:1709
+437:2:1710
+438:2:1721
+439:2:1726
+440:2:1727
+441:0:2112
+442:2:1739
+443:0:2112
+444:1:101
+445:0:2112
+446:2:1560
+447:0:2112
+448:2:1561
+449:0:2112
+450:2:1562
+451:2:1566
+452:2:1567
+453:2:1575
+454:2:1576
+455:2:1580
+456:2:1581
+457:2:1589
+458:2:1594
+459:2:1598
+460:2:1599
+461:2:1606
+462:2:1607
+463:2:1618
+464:2:1619
+465:2:1620
+466:2:1631
+467:2:1636
+468:2:1637
+469:0:2112
+470:2:1649
+471:0:2112
+472:2:1651
+473:0:2112
+474:2:1652
+475:2:1656
+476:2:1657
+477:2:1665
+478:2:1666
+479:2:1670
+480:2:1671
+481:2:1679
+482:2:1684
+483:2:1688
+484:2:1689
+485:2:1696
+486:2:1697
+487:2:1708
+488:2:1709
+489:2:1710
+490:2:1721
+491:2:1726
+492:2:1727
+493:0:2112
+494:2:1739
+495:0:2112
+496:1:102
+497:1:106
+498:1:107
+499:1:115
+500:1:116
+501:1:120
+502:1:121
+503:1:129
+504:1:134
+505:1:138
+506:1:139
+507:1:146
+508:1:147
+509:1:158
+510:1:159
+511:1:160
+512:1:171
+513:1:176
+514:1:177
+515:0:2112
+516:2:1560
+517:0:2112
+518:1:189
+519:0:2112
+520:1:285
+521:0:2112
+522:2:1561
+523:0:2112
+524:2:1562
+525:2:1566
+526:2:1567
+527:2:1575
+528:2:1576
+529:2:1580
+530:2:1581
+531:2:1589
+532:2:1594
+533:2:1598
+534:2:1599
+535:2:1606
+536:2:1607
+537:2:1618
+538:2:1619
+539:2:1620
+540:2:1631
+541:2:1636
+542:2:1637
+543:0:2112
+544:2:1649
+545:0:2112
+546:2:1651
+547:0:2112
+548:2:1652
+549:2:1656
+550:2:1657
+551:2:1665
+552:2:1666
+553:2:1670
+554:2:1671
+555:2:1679
+556:2:1684
+557:2:1688
+558:2:1689
+559:2:1696
+560:2:1697
+561:2:1708
+562:2:1709
+563:2:1710
+564:2:1721
+565:2:1726
+566:2:1727
+567:0:2112
+568:2:1739
+569:0:2112
+570:2:1560
+571:0:2112
+572:1:286
+573:0:2112
+574:1:291
+575:0:2112
+576:1:293
+577:0:2112
+578:1:296
+579:0:2112
+580:2:1561
+581:0:2112
+582:2:1562
+583:2:1566
+584:2:1567
+585:2:1575
+586:2:1576
+587:2:1580
+588:2:1581
+589:2:1589
+590:2:1594
+591:2:1598
+592:2:1599
+593:2:1606
+594:2:1607
+595:2:1618
+596:2:1619
+597:2:1620
+598:2:1631
+599:2:1636
+600:2:1637
+601:0:2112
+602:2:1649
+603:0:2112
+604:2:1651
+605:0:2112
+606:2:1652
+607:2:1656
+608:2:1657
+609:2:1665
+610:2:1666
+611:2:1670
+612:2:1671
+613:2:1679
+614:2:1684
+615:2:1688
+616:2:1689
+617:2:1696
+618:2:1697
+619:2:1708
+620:2:1709
+621:2:1710
+622:2:1721
+623:2:1726
+624:2:1727
+625:0:2112
+626:2:1739
+627:0:2112
+628:2:1560
+629:0:2112
+630:1:301
+631:0:2112
+632:2:1561
+633:0:2112
+634:2:1562
+635:2:1566
+636:2:1567
+637:2:1575
+638:2:1576
+639:2:1580
+640:2:1581
+641:2:1589
+642:2:1594
+643:2:1598
+644:2:1599
+645:2:1606
+646:2:1607
+647:2:1618
+648:2:1619
+649:2:1620
+650:2:1631
+651:2:1636
+652:2:1637
+653:0:2112
+654:2:1649
+655:0:2112
+656:2:1651
+657:0:2112
+658:2:1652
+659:2:1656
+660:2:1657
+661:2:1665
+662:2:1666
+663:2:1670
+664:2:1671
+665:2:1679
+666:2:1684
+667:2:1688
+668:2:1689
+669:2:1696
+670:2:1697
+671:2:1708
+672:2:1709
+673:2:1710
+674:2:1721
+675:2:1726
+676:2:1727
+677:0:2112
+678:2:1739
+679:0:2112
+680:2:1560
+681:0:2112
+682:1:302
+683:0:2112
+684:2:1561
+685:0:2112
+686:2:1562
+687:2:1566
+688:2:1567
+689:2:1575
+690:2:1576
+691:2:1580
+692:2:1581
+693:2:1589
+694:2:1594
+695:2:1598
+696:2:1599
+697:2:1606
+698:2:1607
+699:2:1618
+700:2:1619
+701:2:1620
+702:2:1631
+703:2:1636
+704:2:1637
+705:0:2112
+706:2:1649
+707:0:2112
+708:2:1651
+709:0:2112
+710:2:1652
+711:2:1656
+712:2:1657
+713:2:1665
+714:2:1666
+715:2:1670
+716:2:1671
+717:2:1679
+718:2:1684
+719:2:1688
+720:2:1689
+721:2:1696
+722:2:1697
+723:2:1708
+724:2:1709
+725:2:1710
+726:2:1721
+727:2:1726
+728:2:1727
+729:0:2112
+730:2:1739
+731:0:2112
+732:2:1560
+733:0:2112
+734:1:303
+735:0:2112
+736:1:304
+737:0:2112
+738:1:305
+739:0:2112
+740:1:306
+741:0:2112
+742:1:308
+743:0:2112
+744:2:1561
+745:0:2112
+746:2:1562
+747:2:1566
+748:2:1567
+749:2:1575
+750:2:1576
+751:2:1580
+752:2:1581
+753:2:1589
+754:2:1594
+755:2:1598
+756:2:1599
+757:2:1606
+758:2:1607
+759:2:1618
+760:2:1619
+761:2:1620
+762:2:1631
+763:2:1636
+764:2:1637
+765:0:2112
+766:2:1649
+767:0:2112
+768:2:1651
+769:0:2112
+770:2:1652
+771:2:1656
+772:2:1657
+773:2:1665
+774:2:1666
+775:2:1670
+776:2:1671
+777:2:1679
+778:2:1684
+779:2:1688
+780:2:1689
+781:2:1696
+782:2:1697
+783:2:1708
+784:2:1709
+785:2:1710
+786:2:1721
+787:2:1726
+788:2:1727
+789:0:2112
+790:2:1739
+791:0:2112
+792:2:1560
+793:0:2112
+794:1:310
+795:0:2112
+796:2:1561
+797:0:2112
+798:2:1562
+799:2:1566
+800:2:1567
+801:2:1575
+802:2:1576
+803:2:1580
+804:2:1581
+805:2:1589
+806:2:1594
+807:2:1598
+808:2:1599
+809:2:1606
+810:2:1607
+811:2:1618
+812:2:1619
+813:2:1620
+814:2:1631
+815:2:1636
+816:2:1637
+817:0:2112
+818:2:1649
+819:0:2112
+820:2:1651
+821:0:2112
+822:2:1652
+823:2:1656
+824:2:1657
+825:2:1665
+826:2:1666
+827:2:1670
+828:2:1671
+829:2:1679
+830:2:1684
+831:2:1688
+832:2:1689
+833:2:1696
+834:2:1697
+835:2:1708
+836:2:1709
+837:2:1710
+838:2:1721
+839:2:1726
+840:2:1727
+841:0:2112
+842:2:1739
+843:0:2112
+844:2:1560
+845:0:2112
+846:1:311
+847:1:315
+848:1:316
+849:1:324
+850:1:325
+851:1:326
+852:1:338
+853:1:343
+854:1:347
+855:1:348
+856:1:355
+857:1:356
+858:1:367
+859:1:368
+860:1:369
+861:1:380
+862:1:385
+863:1:386
+864:0:2112
+865:1:398
+866:0:2112
+867:2:1561
+868:0:2112
+869:2:1562
+870:2:1566
+871:2:1567
+872:2:1575
+873:2:1576
+874:2:1580
+875:2:1581
+876:2:1589
+877:2:1594
+878:2:1598
+879:2:1599
+880:2:1606
+881:2:1607
+882:2:1618
+883:2:1619
+884:2:1620
+885:2:1631
+886:2:1636
+887:2:1637
+888:0:2112
+889:2:1649
+890:0:2112
+891:2:1651
+892:0:2112
+893:2:1652
+894:2:1656
+895:2:1657
+896:2:1665
+897:2:1666
+898:2:1670
+899:2:1671
+900:2:1679
+901:2:1684
+902:2:1688
+903:2:1689
+904:2:1696
+905:2:1697
+906:2:1708
+907:2:1709
+908:2:1710
+909:2:1721
+910:2:1726
+911:2:1727
+912:0:2112
+913:2:1739
+914:0:2112
+915:2:1560
+916:0:2112
+917:2:1561
+918:0:2112
+919:2:1562
+920:2:1566
+921:2:1567
+922:2:1575
+923:2:1576
+924:2:1580
+925:2:1581
+926:2:1589
+927:2:1594
+928:2:1598
+929:2:1599
+930:2:1606
+931:2:1607
+932:2:1618
+933:2:1619
+934:2:1620
+935:2:1631
+936:2:1636
+937:2:1637
+938:0:2112
+939:2:1649
+940:0:2112
+941:1:400
+942:0:2112
+943:1:305
+944:0:2112
+945:1:306
+946:0:2112
+947:1:308
+948:0:2112
+949:2:1651
+950:0:2112
+951:2:1652
+952:2:1656
+953:2:1657
+954:2:1665
+955:2:1666
+956:2:1670
+957:2:1671
+958:2:1679
+959:2:1684
+960:2:1688
+961:2:1689
+962:2:1696
+963:2:1697
+964:2:1708
+965:2:1709
+966:2:1710
+967:2:1721
+968:2:1726
+969:2:1727
+970:0:2112
+971:2:1739
+972:0:2112
+973:2:1560
+974:0:2112
+975:2:1561
+976:0:2112
+977:2:1562
+978:2:1566
+979:2:1567
+980:2:1575
+981:2:1576
+982:2:1580
+983:2:1581
+984:2:1589
+985:2:1594
+986:2:1598
+987:2:1599
+988:2:1606
+989:2:1607
+990:2:1618
+991:2:1619
+992:2:1620
+993:2:1631
+994:2:1636
+995:2:1637
+996:0:2112
+997:2:1649
+998:0:2112
+999:1:310
+1000:0:2112
+1001:2:1651
+1002:0:2112
+1003:2:1652
+1004:2:1656
+1005:2:1657
+1006:2:1665
+1007:2:1666
+1008:2:1670
+1009:2:1671
+1010:2:1679
+1011:2:1684
+1012:2:1688
+1013:2:1689
+1014:2:1696
+1015:2:1697
+1016:2:1708
+1017:2:1709
+1018:2:1710
+1019:2:1721
+1020:2:1726
+1021:2:1727
+1022:0:2112
+1023:2:1739
+1024:0:2112
+1025:2:1560
+1026:0:2112
+1027:2:1561
+1028:0:2112
+1029:2:1562
+1030:2:1566
+1031:2:1567
+1032:2:1575
+1033:2:1576
+1034:2:1580
+1035:2:1581
+1036:2:1589
+1037:2:1594
+1038:2:1598
+1039:2:1599
+1040:2:1606
+1041:2:1607
+1042:2:1618
+1043:2:1619
+1044:2:1620
+1045:2:1631
+1046:2:1636
+1047:2:1637
+1048:0:2112
+1049:2:1649
+1050:0:2112
+1051:1:311
+1052:1:315
+1053:1:316
+1054:1:324
+1055:1:325
+1056:1:326
+1057:1:338
+1058:1:343
+1059:1:347
+1060:1:348
+1061:1:355
+1062:1:356
+1063:1:367
+1064:1:368
+1065:1:369
+1066:1:380
+1067:1:385
+1068:1:386
+1069:0:2112
+1070:1:398
+1071:0:2112
+1072:2:1651
+1073:0:2112
+1074:2:1652
+1075:2:1656
+1076:2:1657
+1077:2:1665
+1078:2:1666
+1079:2:1670
+1080:2:1671
+1081:2:1679
+1082:2:1684
+1083:2:1688
+1084:2:1689
+1085:2:1696
+1086:2:1697
+1087:2:1708
+1088:2:1709
+1089:2:1710
+1090:2:1721
+1091:2:1726
+1092:2:1727
+1093:0:2112
+1094:2:1739
+1095:0:2112
+1096:2:1560
+1097:0:2112
+1098:2:1561
+1099:0:2112
+1100:2:1562
+1101:2:1566
+1102:2:1567
+1103:2:1575
+1104:2:1576
+1105:2:1580
+1106:2:1581
+1107:2:1589
+1108:2:1594
+1109:2:1598
+1110:2:1599
+1111:2:1606
+1112:2:1607
+1113:2:1618
+1114:2:1619
+1115:2:1620
+1116:2:1631
+1117:2:1636
+1118:2:1637
+1119:0:2112
+1120:2:1649
+1121:0:2112
+1122:2:1651
+1123:0:2112
+1124:1:400
+1125:0:2112
+1126:1:404
+1127:0:2112
+1128:1:9
+1129:0:2112
+1130:1:10
+1131:0:2112
+1132:1:11
+1133:0:2112
+1134:2:1652
+1135:2:1656
+1136:2:1657
+1137:2:1665
+1138:2:1666
+1139:2:1670
+1140:2:1671
+1141:2:1679
+1142:2:1684
+1143:2:1688
+1144:2:1689
+1145:2:1696
+1146:2:1697
+1147:2:1708
+1148:2:1709
+1149:2:1710
+1150:2:1721
+1151:2:1726
+1152:2:1727
+1153:0:2112
+1154:2:1739
+1155:0:2112
+1156:2:1560
+1157:0:2112
+1158:2:1561
+1159:0:2112
+1160:2:1562
+1161:2:1566
+1162:2:1567
+1163:2:1575
+1164:2:1576
+1165:2:1580
+1166:2:1581
+1167:2:1589
+1168:2:1594
+1169:2:1598
+1170:2:1599
+1171:2:1606
+1172:2:1607
+1173:2:1618
+1174:2:1619
+1175:2:1620
+1176:2:1631
+1177:2:1636
+1178:2:1637
+1179:0:2112
+1180:2:1649
+1181:0:2112
+1182:2:1651
+1183:0:2112
+1184:1:12
+1185:1:16
+1186:1:17
+1187:1:25
+1188:1:26
+1189:1:27
+1190:1:39
+1191:1:44
+1192:1:48
+1193:1:49
+1194:1:56
+1195:1:57
+1196:1:68
+1197:1:69
+1198:1:70
+1199:1:81
+1200:1:86
+1201:1:87
+1202:0:2112
+1203:1:99
+1204:0:2112
+1205:2:1652
+1206:2:1656
+1207:2:1657
+1208:2:1665
+1209:2:1666
+1210:2:1670
+1211:2:1671
+1212:2:1679
+1213:2:1684
+1214:2:1688
+1215:2:1689
+1216:2:1696
+1217:2:1697
+1218:2:1708
+1219:2:1716
+1220:2:1717
+1221:2:1721
+1222:2:1726
+1223:2:1727
+1224:0:2112
+1225:2:1739
+1226:0:2112
+1227:2:1560
+1228:0:2112
+1229:2:1561
+1230:0:2112
+1231:2:1562
+1232:2:1566
+1233:2:1567
+1234:2:1575
+1235:2:1576
+1236:2:1580
+1237:2:1581
+1238:2:1589
+1239:2:1594
+1240:2:1598
+1241:2:1599
+1242:2:1606
+1243:2:1607
+1244:2:1618
+1245:2:1626
+1246:2:1627
+1247:2:1631
+1248:2:1636
+1249:2:1637
+1250:0:2112
+1251:2:1649
+1252:0:2112
+1253:2:1651
+1254:0:2112
+1255:1:101
+1256:0:2112
+1257:2:1652
+1258:2:1656
+1259:2:1657
+1260:2:1665
+1261:2:1666
+1262:2:1670
+1263:2:1671
+1264:2:1679
+1265:2:1684
+1266:2:1688
+1267:2:1689
+1268:2:1696
+1269:2:1697
+1270:2:1708
+1271:2:1716
+1272:2:1717
+1273:2:1721
+1274:2:1726
+1275:2:1727
+1276:0:2112
+1277:2:1739
+1278:0:2112
+1279:2:1560
+1280:0:2112
+1281:2:1561
+1282:0:2112
+1283:2:1562
+1284:2:1566
+1285:2:1567
+1286:2:1575
+1287:2:1576
+1288:2:1580
+1289:2:1581
+1290:2:1589
+1291:2:1594
+1292:2:1598
+1293:2:1599
+1294:2:1606
+1295:2:1607
+1296:2:1618
+1297:2:1626
+1298:2:1627
+1299:2:1631
+1300:2:1636
+1301:2:1637
+1302:0:2112
+1303:2:1649
+1304:0:2112
+1305:2:1651
+1306:0:2112
+1307:1:102
+1308:1:106
+1309:1:107
+1310:1:115
+1311:1:116
+1312:1:120
+1313:1:121
+1314:1:129
+1315:1:134
+1316:1:138
+1317:1:139
+1318:1:146
+1319:1:147
+1320:1:158
+1321:1:159
+1322:1:160
+1323:1:171
+1324:1:176
+1325:1:177
+1326:0:2112
+1327:1:189
+1328:0:2112
+1329:1:191
+1330:0:2112
+1331:2:1652
+1332:2:1656
+1333:2:1657
+1334:2:1665
+1335:2:1666
+1336:2:1670
+1337:2:1671
+1338:2:1679
+1339:2:1684
+1340:2:1688
+1341:2:1689
+1342:2:1696
+1343:2:1697
+1344:2:1708
+1345:2:1716
+1346:2:1717
+1347:2:1721
+1348:2:1726
+1349:2:1727
+1350:0:2112
+1351:2:1739
+1352:0:2112
+1353:2:1560
+1354:0:2112
+1355:2:1561
+1356:0:2112
+1357:2:1562
+1358:2:1566
+1359:2:1567
+1360:2:1575
+1361:2:1576
+1362:2:1580
+1363:2:1581
+1364:2:1589
+1365:2:1594
+1366:2:1598
+1367:2:1599
+1368:2:1606
+1369:2:1607
+1370:2:1618
+1371:2:1626
+1372:2:1627
+1373:2:1631
+1374:2:1636
+1375:2:1637
+1376:0:2112
+1377:2:1649
+1378:0:2112
+1379:2:1651
+1380:0:2112
+1381:1:192
+1382:0:2112
+1383:2:1652
+1384:2:1656
+1385:2:1657
+1386:2:1665
+1387:2:1666
+1388:2:1670
+1389:2:1671
+1390:2:1679
+1391:2:1684
+1392:2:1688
+1393:2:1689
+1394:2:1696
+1395:2:1697
+1396:2:1708
+1397:2:1716
+1398:2:1717
+1399:2:1721
+1400:2:1726
+1401:2:1727
+1402:0:2112
+1403:2:1739
+1404:0:2112
+1405:2:1560
+1406:0:2112
+1407:2:1561
+1408:0:2112
+1409:2:1562
+1410:2:1566
+1411:2:1567
+1412:2:1575
+1413:2:1576
+1414:2:1580
+1415:2:1581
+1416:2:1589
+1417:2:1594
+1418:2:1598
+1419:2:1599
+1420:2:1606
+1421:2:1607
+1422:2:1618
+1423:2:1626
+1424:2:1627
+1425:2:1631
+1426:2:1636
+1427:2:1637
+1428:0:2112
+1429:2:1649
+1430:0:2112
+1431:2:1651
+1432:0:2112
+1433:1:193
+1434:1:197
+1435:1:198
+1436:1:206
+1437:1:207
+1438:1:211
+1439:1:212
+1440:1:220
+1441:1:225
+1442:1:229
+1443:1:230
+1444:1:237
+1445:1:238
+1446:1:249
+1447:1:250
+1448:1:251
+1449:1:262
+1450:1:267
+1451:1:268
+1452:0:2112
+1453:1:280
+1454:0:2112
+1455:2:1652
+1456:2:1656
+1457:2:1657
+1458:2:1665
+1459:2:1666
+1460:2:1670
+1461:2:1671
+1462:2:1679
+1463:2:1684
+1464:2:1688
+1465:2:1689
+1466:2:1696
+1467:2:1697
+1468:2:1708
+1469:2:1716
+1470:2:1717
+1471:2:1721
+1472:2:1726
+1473:2:1727
+1474:0:2112
+1475:2:1739
+1476:0:2112
+1477:2:1560
+1478:0:2112
+1479:2:1561
+1480:0:2112
+1481:2:1562
+1482:2:1566
+1483:2:1567
+1484:2:1575
+1485:2:1576
+1486:2:1580
+1487:2:1581
+1488:2:1589
+1489:2:1594
+1490:2:1598
+1491:2:1599
+1492:2:1606
+1493:2:1607
+1494:2:1618
+1495:2:1626
+1496:2:1627
+1497:2:1631
+1498:2:1636
+1499:2:1637
+1500:0:2112
+1501:2:1649
+1502:0:2112
+1503:2:1651
+1504:0:2112
+1505:1:282
+1506:0:2112
+1507:1:291
+1508:0:2112
+1509:1:293
+1510:0:2112
+1511:1:11
+1512:0:2112
+1513:2:1652
+1514:2:1656
+1515:2:1657
+1516:2:1665
+1517:2:1666
+1518:2:1670
+1519:2:1671
+1520:2:1679
+1521:2:1684
+1522:2:1688
+1523:2:1689
+1524:2:1696
+1525:2:1697
+1526:2:1708
+1527:2:1716
+1528:2:1717
+1529:2:1721
+1530:2:1726
+1531:2:1727
+1532:0:2112
+1533:2:1739
+1534:0:2112
+1535:2:1560
+1536:0:2112
+1537:2:1561
+1538:0:2112
+1539:2:1562
+1540:2:1566
+1541:2:1567
+1542:2:1575
+1543:2:1576
+1544:2:1580
+1545:2:1581
+1546:2:1589
+1547:2:1594
+1548:2:1598
+1549:2:1599
+1550:2:1606
+1551:2:1607
+1552:2:1618
+1553:2:1626
+1554:2:1627
+1555:2:1631
+1556:2:1636
+1557:2:1637
+1558:0:2112
+1559:2:1649
+1560:0:2112
+1561:2:1651
+1562:0:2112
+1563:1:12
+1564:1:16
+1565:1:17
+1566:1:25
+1567:1:26
+1568:1:27
+1569:1:39
+1570:1:44
+1571:1:48
+1572:1:49
+1573:1:56
+1574:1:57
+1575:1:68
+1576:1:69
+1577:1:70
+1578:1:81
+1579:1:86
+1580:1:87
+1581:0:2112
+1582:1:99
+1583:0:2112
+1584:2:1652
+1585:2:1656
+1586:2:1657
+1587:2:1665
+1588:2:1666
+1589:2:1670
+1590:2:1671
+1591:2:1679
+1592:2:1684
+1593:2:1688
+1594:2:1689
+1595:2:1696
+1596:2:1697
+1597:2:1708
+1598:2:1716
+1599:2:1717
+1600:2:1721
+1601:2:1726
+1602:2:1727
+1603:0:2112
+1604:2:1739
+1605:0:2112
+1606:2:1560
+1607:0:2112
+1608:2:1561
+1609:0:2112
+1610:2:1562
+1611:2:1566
+1612:2:1567
+1613:2:1575
+1614:2:1576
+1615:2:1580
+1616:2:1581
+1617:2:1589
+1618:2:1594
+1619:2:1598
+1620:2:1599
+1621:2:1606
+1622:2:1607
+1623:2:1618
+1624:2:1626
+1625:2:1627
+1626:2:1631
+1627:2:1636
+1628:2:1637
+1629:0:2112
+1630:2:1649
+1631:0:2112
+1632:2:1651
+1633:0:2112
+1634:1:101
+1635:0:2112
+1636:2:1652
+1637:2:1656
+1638:2:1657
+1639:2:1665
+1640:2:1666
+1641:2:1670
+1642:2:1671
+1643:2:1679
+1644:2:1684
+1645:2:1688
+1646:2:1689
+1647:2:1696
+1648:2:1697
+1649:2:1708
+1650:2:1716
+1651:2:1717
+1652:2:1721
+1653:2:1726
+1654:2:1727
+1655:0:2112
+1656:2:1739
+1657:0:2112
+1658:2:1560
+1659:0:2112
+1660:2:1561
+1661:0:2112
+1662:2:1562
+1663:2:1566
+1664:2:1567
+1665:2:1575
+1666:2:1576
+1667:2:1580
+1668:2:1581
+1669:2:1589
+1670:2:1594
+1671:2:1598
+1672:2:1599
+1673:2:1606
+1674:2:1607
+1675:2:1618
+1676:2:1626
+1677:2:1627
+1678:2:1631
+1679:2:1636
+1680:2:1637
+1681:0:2112
+1682:2:1649
+1683:0:2112
+1684:2:1651
+1685:0:2112
+1686:1:102
+1687:1:106
+1688:1:107
+1689:1:115
+1690:1:116
+1691:1:120
+1692:1:121
+1693:1:129
+1694:1:134
+1695:1:138
+1696:1:139
+1697:1:146
+1698:1:147
+1699:1:158
+1700:1:159
+1701:1:160
+1702:1:171
+1703:1:176
+1704:1:177
+1705:0:2112
+1706:1:189
+1707:0:2112
+1708:1:285
+1709:0:2112
+1710:2:1652
+1711:2:1656
+1712:2:1657
+1713:2:1665
+1714:2:1666
+1715:2:1670
+1716:2:1671
+1717:2:1679
+1718:2:1684
+1719:2:1688
+1720:2:1689
+1721:2:1696
+1722:2:1697
+1723:2:1708
+1724:2:1716
+1725:2:1717
+1726:2:1721
+1727:2:1726
+1728:2:1727
+1729:0:2112
+1730:2:1739
+1731:0:2112
+1732:2:1560
+1733:0:2112
+1734:2:1561
+1735:0:2112
+1736:2:1562
+1737:2:1566
+1738:2:1567
+1739:2:1575
+1740:2:1576
+1741:2:1580
+1742:2:1581
+1743:2:1589
+1744:2:1594
+1745:2:1598
+1746:2:1599
+1747:2:1606
+1748:2:1607
+1749:2:1618
+1750:2:1626
+1751:2:1627
+1752:2:1631
+1753:2:1636
+1754:2:1637
+1755:0:2112
+1756:2:1649
+1757:0:2112
+1758:2:1651
+1759:0:2112
+1760:1:286
+1761:0:2112
+1762:1:291
+1763:0:2112
+1764:1:293
+1765:0:2112
+1766:1:296
+1767:0:2112
+1768:2:1652
+1769:2:1656
+1770:2:1657
+1771:2:1665
+1772:2:1666
+1773:2:1670
+1774:2:1671
+1775:2:1679
+1776:2:1684
+1777:2:1688
+1778:2:1689
+1779:2:1696
+1780:2:1697
+1781:2:1708
+1782:2:1716
+1783:2:1717
+1784:2:1721
+1785:2:1726
+1786:2:1727
+1787:0:2112
+1788:2:1739
+1789:0:2112
+1790:2:1560
+1791:0:2112
+1792:2:1561
+1793:0:2112
+1794:2:1562
+1795:2:1566
+1796:2:1567
+1797:2:1575
+1798:2:1576
+1799:2:1580
+1800:2:1581
+1801:2:1589
+1802:2:1594
+1803:2:1598
+1804:2:1599
+1805:2:1606
+1806:2:1607
+1807:2:1618
+1808:2:1626
+1809:2:1627
+1810:2:1631
+1811:2:1636
+1812:2:1637
+1813:0:2112
+1814:2:1649
+1815:0:2112
+1816:2:1651
+1817:0:2112
+1818:1:301
+1819:0:2112
+1820:2:1652
+1821:2:1656
+1822:2:1657
+1823:2:1665
+1824:2:1666
+1825:2:1670
+1826:2:1671
+1827:2:1679
+1828:2:1684
+1829:2:1688
+1830:2:1689
+1831:2:1696
+1832:2:1697
+1833:2:1708
+1834:2:1716
+1835:2:1717
+1836:2:1721
+1837:2:1726
+1838:2:1727
+1839:0:2112
+1840:2:1739
+1841:0:2112
+1842:2:1560
+1843:0:2112
+1844:2:1561
+1845:0:2112
+1846:2:1562
+1847:2:1566
+1848:2:1567
+1849:2:1575
+1850:2:1576
+1851:2:1580
+1852:2:1581
+1853:2:1589
+1854:2:1594
+1855:2:1598
+1856:2:1599
+1857:2:1606
+1858:2:1607
+1859:2:1618
+1860:2:1626
+1861:2:1627
+1862:2:1631
+1863:2:1636
+1864:2:1637
+1865:0:2112
+1866:2:1649
+1867:0:2112
+1868:2:1651
+1869:0:2112
+1870:1:302
+1871:0:2112
+1872:2:1652
+1873:2:1656
+1874:2:1657
+1875:2:1665
+1876:2:1666
+1877:2:1670
+1878:2:1671
+1879:2:1679
+1880:2:1684
+1881:2:1688
+1882:2:1689
+1883:2:1696
+1884:2:1697
+1885:2:1708
+1886:2:1716
+1887:2:1717
+1888:2:1721
+1889:2:1726
+1890:2:1727
+1891:0:2112
+1892:2:1739
+1893:0:2112
+1894:2:1560
+1895:0:2112
+1896:2:1561
+1897:0:2112
+1898:2:1562
+1899:2:1566
+1900:2:1567
+1901:2:1575
+1902:2:1576
+1903:2:1580
+1904:2:1581
+1905:2:1589
+1906:2:1594
+1907:2:1598
+1908:2:1599
+1909:2:1606
+1910:2:1607
+1911:2:1618
+1912:2:1626
+1913:2:1627
+1914:2:1631
+1915:2:1636
+1916:2:1637
+1917:0:2112
+1918:2:1649
+1919:0:2112
+1920:2:1651
+1921:0:2112
+1922:1:303
+1923:0:2112
+1924:1:304
+1925:0:2112
+1926:1:305
+1927:0:2112
+1928:1:306
+1929:0:2112
+1930:1:308
+1931:0:2112
+1932:2:1652
+1933:2:1656
+1934:2:1657
+1935:2:1665
+1936:2:1666
+1937:2:1670
+1938:2:1671
+1939:2:1679
+1940:2:1684
+1941:2:1688
+1942:2:1689
+1943:2:1696
+1944:2:1697
+1945:2:1708
+1946:2:1716
+1947:2:1717
+1948:2:1721
+1949:2:1726
+1950:2:1727
+1951:0:2112
+1952:2:1739
+1953:0:2112
+1954:2:1560
+1955:0:2112
+1956:2:1561
+1957:0:2112
+1958:2:1562
+1959:2:1566
+1960:2:1567
+1961:2:1575
+1962:2:1576
+1963:2:1580
+1964:2:1581
+1965:2:1589
+1966:2:1594
+1967:2:1598
+1968:2:1599
+1969:2:1606
+1970:2:1607
+1971:2:1618
+1972:2:1626
+1973:2:1627
+1974:2:1631
+1975:2:1636
+1976:2:1637
+1977:0:2112
+1978:2:1649
+1979:0:2112
+1980:2:1651
+1981:0:2112
+1982:1:310
+1983:0:2112
+1984:2:1652
+1985:2:1656
+1986:2:1657
+1987:2:1665
+1988:2:1666
+1989:2:1670
+1990:2:1671
+1991:2:1679
+1992:2:1684
+1993:2:1688
+1994:2:1689
+1995:2:1696
+1996:2:1697
+1997:2:1708
+1998:2:1716
+1999:2:1717
+2000:2:1721
+2001:2:1726
+2002:2:1727
+2003:0:2112
+2004:2:1739
+2005:0:2112
+2006:2:1560
+2007:0:2112
+2008:2:1561
+2009:0:2112
+2010:2:1562
+2011:2:1566
+2012:2:1567
+2013:2:1575
+2014:2:1576
+2015:2:1580
+2016:2:1581
+2017:2:1589
+2018:2:1594
+2019:2:1598
+2020:2:1599
+2021:2:1606
+2022:2:1607
+2023:2:1618
+2024:2:1626
+2025:2:1627
+2026:2:1631
+2027:2:1636
+2028:2:1637
+2029:0:2112
+2030:2:1649
+2031:0:2112
+2032:2:1651
+2033:0:2112
+2034:1:311
+2035:1:315
+2036:1:316
+2037:1:324
+2038:1:325
+2039:1:326
+2040:1:338
+2041:1:343
+2042:1:347
+2043:1:348
+2044:1:355
+2045:1:356
+2046:1:367
+2047:1:368
+2048:1:369
+2049:1:380
+2050:1:385
+2051:1:386
+2052:0:2112
+2053:1:398
+2054:0:2112
+2055:2:1652
+2056:2:1656
+2057:2:1657
+2058:2:1665
+2059:2:1666
+2060:2:1670
+2061:2:1671
+2062:2:1679
+2063:2:1684
+2064:2:1688
+2065:2:1689
+2066:2:1696
+2067:2:1697
+2068:2:1708
+2069:2:1716
+2070:2:1717
+2071:2:1721
+2072:2:1726
+2073:2:1727
+2074:0:2112
+2075:2:1739
+2076:0:2112
+2077:2:1560
+2078:0:2112
+2079:2:1561
+2080:0:2112
+2081:2:1562
+2082:2:1566
+2083:2:1567
+2084:2:1575
+2085:2:1576
+2086:2:1580
+2087:2:1581
+2088:2:1589
+2089:2:1594
+2090:2:1598
+2091:2:1599
+2092:2:1606
+2093:2:1607
+2094:2:1618
+2095:2:1626
+2096:2:1627
+2097:2:1631
+2098:2:1636
+2099:2:1637
+2100:0:2112
+2101:2:1649
+2102:0:2112
+2103:2:1651
+2104:0:2112
+2105:1:400
+2106:0:2112
+2107:1:305
+2108:0:2112
+2109:1:306
+2110:0:2112
+2111:1:308
+2112:0:2112
+2113:2:1652
+2114:2:1656
+2115:2:1657
+2116:2:1665
+2117:2:1666
+2118:2:1670
+2119:2:1671
+2120:2:1679
+2121:2:1684
+2122:2:1688
+2123:2:1689
+2124:2:1696
+2125:2:1697
+2126:2:1708
+2127:2:1716
+2128:2:1717
+2129:2:1721
+2130:2:1726
+2131:2:1727
+2132:0:2112
+2133:2:1739
+2134:0:2112
+2135:2:1560
+2136:0:2112
+2137:2:1561
+2138:0:2112
+2139:2:1562
+2140:2:1566
+2141:2:1567
+2142:2:1575
+2143:2:1576
+2144:2:1580
+2145:2:1581
+2146:2:1589
+2147:2:1594
+2148:2:1598
+2149:2:1599
+2150:2:1606
+2151:2:1607
+2152:2:1618
+2153:2:1626
+2154:2:1627
+2155:2:1631
+2156:2:1636
+2157:2:1637
+2158:0:2112
+2159:2:1649
+2160:0:2112
+2161:2:1651
+2162:0:2112
+2163:1:310
+2164:0:2112
+2165:2:1652
+2166:2:1656
+2167:2:1657
+2168:2:1665
+2169:2:1666
+2170:2:1670
+2171:2:1671
+2172:2:1679
+2173:2:1684
+2174:2:1688
+2175:2:1689
+2176:2:1696
+2177:2:1697
+2178:2:1708
+2179:2:1716
+2180:2:1717
+2181:2:1721
+2182:2:1726
+2183:2:1727
+2184:0:2112
+2185:2:1739
+2186:0:2112
+2187:2:1560
+2188:0:2112
+2189:2:1561
+2190:0:2112
+2191:2:1562
+2192:2:1566
+2193:2:1567
+2194:2:1575
+2195:2:1576
+2196:2:1580
+2197:2:1581
+2198:2:1589
+2199:2:1594
+2200:2:1598
+2201:2:1599
+2202:2:1606
+2203:2:1607
+2204:2:1618
+2205:2:1626
+2206:2:1627
+2207:2:1631
+2208:2:1636
+2209:2:1637
+2210:0:2112
+2211:2:1649
+2212:0:2112
+2213:2:1651
+2214:0:2112
+2215:1:311
+2216:1:315
+2217:1:316
+2218:1:324
+2219:1:325
+2220:1:326
+2221:1:338
+2222:1:343
+2223:1:347
+2224:1:348
+2225:1:355
+2226:1:356
+2227:1:367
+2228:1:368
+2229:1:369
+2230:1:380
+2231:1:385
+2232:1:386
+2233:0:2112
+2234:1:398
+2235:0:2112
+2236:2:1652
+2237:2:1656
+2238:2:1657
+2239:2:1665
+2240:2:1666
+2241:2:1670
+2242:2:1671
+2243:2:1679
+2244:2:1684
+2245:2:1688
+2246:2:1689
+2247:2:1696
+2248:2:1697
+2249:2:1708
+2250:2:1716
+2251:2:1717
+2252:2:1721
+2253:2:1726
+2254:2:1727
+2255:0:2112
+2256:2:1739
+2257:0:2112
+2258:2:1560
+2259:0:2112
+2260:2:1561
+2261:0:2112
+2262:2:1562
+2263:2:1566
+2264:2:1567
+2265:2:1575
+2266:2:1576
+2267:2:1580
+2268:2:1581
+2269:2:1589
+2270:2:1594
+2271:2:1598
+2272:2:1599
+2273:2:1606
+2274:2:1607
+2275:2:1618
+2276:2:1626
+2277:2:1627
+2278:2:1631
+2279:2:1636
+2280:2:1637
+2281:0:2112
+2282:2:1649
+2283:0:2112
+2284:2:1651
+2285:0:2112
+2286:1:400
+2287:0:2112
+2288:1:404
+2289:0:2112
+2290:1:9
+2291:0:2112
+2292:1:10
+2293:0:2112
+2294:1:11
+2295:0:2112
+2296:2:1652
+2297:2:1656
+2298:2:1657
+2299:2:1665
+2300:2:1666
+2301:2:1670
+2302:2:1671
+2303:2:1679
+2304:2:1684
+2305:2:1688
+2306:2:1689
+2307:2:1696
+2308:2:1697
+2309:2:1708
+2310:2:1716
+2311:2:1717
+2312:2:1721
+2313:2:1726
+2314:2:1727
+2315:0:2112
+2316:2:1739
+2317:0:2112
+2318:2:1560
+2319:0:2112
+2320:2:1561
+2321:0:2112
+2322:2:1562
+2323:2:1566
+2324:2:1567
+2325:2:1575
+2326:2:1576
+2327:2:1580
+2328:2:1581
+2329:2:1589
+2330:2:1594
+2331:2:1598
+2332:2:1599
+2333:2:1606
+2334:2:1607
+2335:2:1618
+2336:2:1626
+2337:2:1627
+2338:2:1631
+2339:2:1636
+2340:2:1637
+2341:0:2112
+2342:2:1649
+2343:0:2112
+2344:2:1651
+2345:0:2112
+2346:1:12
+2347:1:16
+2348:1:17
+2349:1:25
+2350:1:26
+2351:1:27
+2352:1:39
+2353:1:44
+2354:1:48
+2355:1:49
+2356:1:56
+2357:1:57
+2358:1:68
+2359:1:69
+2360:1:70
+2361:1:81
+2362:1:86
+2363:1:87
+2364:0:2112
+2365:1:99
+2366:0:2112
+2367:2:1652
+2368:2:1656
+2369:2:1657
+2370:2:1665
+2371:2:1666
+2372:2:1670
+2373:2:1671
+2374:2:1679
+2375:2:1684
+2376:2:1688
+2377:2:1689
+2378:2:1696
+2379:2:1697
+2380:2:1708
+2381:2:1716
+2382:2:1717
+2383:2:1721
+2384:2:1726
+2385:2:1727
+2386:0:2112
+2387:2:1739
+2388:0:2112
+2389:2:1560
+2390:0:2112
+2391:2:1561
+2392:0:2112
+2393:2:1562
+2394:2:1566
+2395:2:1567
+2396:2:1575
+2397:2:1576
+2398:2:1580
+2399:2:1581
+2400:2:1589
+2401:2:1594
+2402:2:1598
+2403:2:1599
+2404:2:1606
+2405:2:1607
+2406:2:1618
+2407:2:1626
+2408:2:1627
+2409:2:1631
+2410:2:1636
+2411:2:1637
+2412:0:2112
+2413:2:1649
+2414:0:2112
+2415:2:1651
+2416:0:2112
+2417:1:101
+2418:0:2112
+2419:2:1652
+2420:2:1656
+2421:2:1657
+2422:2:1665
+2423:2:1666
+2424:2:1670
+2425:2:1671
+2426:2:1679
+2427:2:1684
+2428:2:1688
+2429:2:1689
+2430:2:1696
+2431:2:1697
+2432:2:1708
+2433:2:1716
+2434:2:1717
+2435:2:1721
+2436:2:1726
+2437:2:1727
+2438:0:2112
+2439:2:1739
+2440:0:2112
+2441:2:1560
+2442:0:2112
+2443:2:1561
+2444:0:2112
+2445:2:1562
+2446:2:1566
+2447:2:1567
+2448:2:1575
+2449:2:1576
+2450:2:1580
+2451:2:1581
+2452:2:1589
+2453:2:1594
+2454:2:1598
+2455:2:1599
+2456:2:1606
+2457:2:1607
+2458:2:1618
+2459:2:1626
+2460:2:1627
+2461:2:1631
+2462:2:1636
+2463:2:1637
+2464:0:2112
+2465:2:1649
+2466:0:2112
+2467:2:1651
+2468:0:2112
+2469:1:102
+2470:1:106
+2471:1:107
+2472:1:115
+2473:1:116
+2474:1:120
+2475:1:121
+2476:1:129
+2477:1:134
+2478:1:138
+2479:1:139
+2480:1:146
+2481:1:147
+2482:1:158
+2483:1:159
+2484:1:160
+2485:1:171
+2486:1:176
+2487:1:177
+2488:0:2112
+2489:1:189
+2490:0:2112
+2491:1:191
+2492:0:2112
+2493:2:1652
+2494:2:1656
+2495:2:1657
+2496:2:1665
+2497:2:1666
+2498:2:1670
+2499:2:1671
+2500:2:1679
+2501:2:1684
+2502:2:1688
+2503:2:1689
+2504:2:1696
+2505:2:1697
+2506:2:1708
+2507:2:1716
+2508:2:1717
+2509:2:1721
+2510:2:1726
+2511:2:1727
+2512:0:2112
+2513:2:1739
+2514:0:2112
+2515:2:1560
+2516:0:2112
+2517:2:1561
+2518:0:2112
+2519:2:1562
+2520:2:1566
+2521:2:1567
+2522:2:1575
+2523:2:1576
+2524:2:1580
+2525:2:1581
+2526:2:1589
+2527:2:1594
+2528:2:1598
+2529:2:1599
+2530:2:1606
+2531:2:1607
+2532:2:1618
+2533:2:1626
+2534:2:1627
+2535:2:1631
+2536:2:1636
+2537:2:1637
+2538:0:2112
+2539:2:1649
+2540:0:2112
+2541:2:1651
+2542:0:2112
+2543:1:192
+2544:0:2112
+2545:2:1652
+2546:2:1656
+2547:2:1657
+2548:2:1665
+2549:2:1666
+2550:2:1670
+2551:2:1671
+2552:2:1679
+2553:2:1684
+2554:2:1688
+2555:2:1689
+2556:2:1696
+2557:2:1697
+2558:2:1708
+2559:2:1716
+2560:2:1717
+2561:2:1721
+2562:2:1726
+2563:2:1727
+2564:0:2112
+2565:2:1739
+2566:0:2112
+2567:2:1560
+2568:0:2112
+2569:2:1561
+2570:0:2112
+2571:2:1562
+2572:2:1566
+2573:2:1567
+2574:2:1575
+2575:2:1576
+2576:2:1580
+2577:2:1581
+2578:2:1589
+2579:2:1594
+2580:2:1598
+2581:2:1599
+2582:2:1606
+2583:2:1607
+2584:2:1618
+2585:2:1626
+2586:2:1627
+2587:2:1631
+2588:2:1636
+2589:2:1637
+2590:0:2112
+2591:2:1649
+2592:0:2112
+2593:2:1651
+2594:0:2112
+2595:1:193
+2596:1:197
+2597:1:198
+2598:1:206
+2599:1:207
+2600:1:211
+2601:1:212
+2602:1:220
+2603:1:225
+2604:1:229
+2605:1:230
+2606:1:237
+2607:1:238
+2608:1:249
+2609:1:250
+2610:1:251
+2611:1:262
+2612:1:267
+2613:1:268
+2614:0:2112
+2615:1:280
+2616:0:2112
+2617:2:1652
+2618:2:1656
+2619:2:1657
+2620:2:1665
+2621:2:1666
+2622:2:1670
+2623:2:1671
+2624:2:1679
+2625:2:1684
+2626:2:1688
+2627:2:1689
+2628:2:1696
+2629:2:1697
+2630:2:1708
+2631:2:1716
+2632:2:1717
+2633:2:1721
+2634:2:1726
+2635:2:1727
+2636:0:2112
+2637:2:1739
+2638:0:2112
+2639:2:1560
+2640:0:2112
+2641:2:1561
+2642:0:2112
+2643:2:1562
+2644:2:1566
+2645:2:1567
+2646:2:1575
+2647:2:1576
+2648:2:1580
+2649:2:1581
+2650:2:1589
+2651:2:1594
+2652:2:1598
+2653:2:1599
+2654:2:1606
+2655:2:1607
+2656:2:1618
+2657:2:1626
+2658:2:1627
+2659:2:1631
+2660:2:1636
+2661:2:1637
+2662:0:2112
+2663:2:1649
+2664:0:2112
+2665:2:1651
+2666:0:2112
+2667:1:282
+2668:0:2112
+2669:1:291
+2670:0:2112
+2671:1:293
+2672:0:2112
+2673:1:11
+2674:0:2112
+2675:2:1652
+2676:2:1656
+2677:2:1657
+2678:2:1665
+2679:2:1666
+2680:2:1670
+2681:2:1671
+2682:2:1679
+2683:2:1684
+2684:2:1688
+2685:2:1689
+2686:2:1696
+2687:2:1697
+2688:2:1708
+2689:2:1716
+2690:2:1717
+2691:2:1721
+2692:2:1726
+2693:2:1727
+2694:0:2112
+2695:2:1739
+2696:0:2112
+2697:2:1560
+2698:0:2112
+2699:2:1561
+2700:0:2112
+2701:2:1562
+2702:2:1566
+2703:2:1567
+2704:2:1575
+2705:2:1576
+2706:2:1580
+2707:2:1581
+2708:2:1589
+2709:2:1594
+2710:2:1598
+2711:2:1599
+2712:2:1606
+2713:2:1607
+2714:2:1618
+2715:2:1626
+2716:2:1627
+2717:2:1631
+2718:2:1636
+2719:2:1637
+2720:0:2112
+2721:2:1649
+2722:0:2112
+2723:2:1651
+2724:0:2112
+2725:1:12
+2726:1:16
+2727:1:17
+2728:1:25
+2729:1:34
+2730:1:35
+2731:1:39
+2732:1:44
+2733:1:48
+2734:1:49
+2735:1:56
+2736:1:57
+2737:1:68
+2738:1:69
+2739:1:72
+2740:1:73
+2741:1:81
+2742:1:86
+2743:1:87
+2744:0:2112
+2745:1:99
+2746:0:2112
+2747:2:1652
+2748:2:1656
+2749:2:1657
+2750:2:1665
+2751:2:1666
+2752:2:1670
+2753:2:1671
+2754:2:1679
+2755:2:1684
+2756:2:1688
+2757:2:1689
+2758:2:1696
+2759:2:1697
+2760:2:1708
+2761:2:1716
+2762:2:1717
+2763:2:1721
+2764:2:1726
+2765:2:1727
+2766:0:2112
+2767:2:1739
+2768:0:2112
+2769:2:1560
+2770:0:2112
+2771:2:1561
+2772:0:2112
+2773:2:1562
+2774:2:1566
+2775:2:1567
+2776:2:1575
+2777:2:1576
+2778:2:1580
+2779:2:1581
+2780:2:1589
+2781:2:1594
+2782:2:1598
+2783:2:1599
+2784:2:1606
+2785:2:1607
+2786:2:1618
+2787:2:1626
+2788:2:1627
+2789:2:1631
+2790:2:1636
+2791:2:1637
+2792:0:2112
+2793:2:1649
+2794:0:2112
+2795:2:1651
+2796:0:2112
+2797:1:101
+2798:0:2112
+2799:2:1652
+2800:2:1656
+2801:2:1657
+2802:2:1665
+2803:2:1666
+2804:2:1670
+2805:2:1671
+2806:2:1679
+2807:2:1684
+2808:2:1688
+2809:2:1689
+2810:2:1696
+2811:2:1697
+2812:2:1708
+2813:2:1716
+2814:2:1717
+2815:2:1721
+2816:2:1726
+2817:2:1727
+2818:0:2112
+2819:2:1739
+2820:0:2112
+2821:2:1560
+2822:0:2112
+2823:2:1561
+2824:0:2112
+2825:2:1562
+2826:2:1566
+2827:2:1567
+2828:2:1575
+2829:2:1576
+2830:2:1580
+2831:2:1581
+2832:2:1589
+2833:2:1594
+2834:2:1598
+2835:2:1599
+2836:2:1606
+2837:2:1607
+2838:2:1618
+2839:2:1626
+2840:2:1627
+2841:2:1631
+2842:2:1636
+2843:2:1637
+2844:0:2112
+2845:2:1649
+2846:0:2112
+2847:2:1651
+2848:0:2112
+2849:1:102
+2850:1:106
+2851:1:107
+2852:1:115
+2853:1:124
+2854:1:125
+2855:1:129
+2856:1:134
+2857:1:138
+2858:1:139
+2859:1:146
+2860:1:147
+2861:1:158
+2862:1:159
+2863:1:162
+2864:1:163
+2865:1:171
+2866:1:176
+2867:1:177
+2868:0:2112
+2869:1:189
+2870:0:2112
+2871:1:285
+2872:0:2112
+2873:2:1652
+2874:2:1656
+2875:2:1657
+2876:2:1665
+2877:2:1666
+2878:2:1670
+2879:2:1671
+2880:2:1679
+2881:2:1684
+2882:2:1688
+2883:2:1689
+2884:2:1696
+2885:2:1697
+2886:2:1708
+2887:2:1716
+2888:2:1717
+2889:2:1721
+2890:2:1726
+2891:2:1727
+2892:0:2112
+2893:2:1739
+2894:0:2112
+2895:2:1560
+2896:0:2112
+2897:2:1561
+2898:0:2112
+2899:2:1562
+2900:2:1566
+2901:2:1567
+2902:2:1575
+2903:2:1576
+2904:2:1580
+2905:2:1581
+2906:2:1589
+2907:2:1594
+2908:2:1598
+2909:2:1599
+2910:2:1606
+2911:2:1607
+2912:2:1618
+2913:2:1626
+2914:2:1627
+2915:2:1631
+2916:2:1636
+2917:2:1637
+2918:0:2112
+2919:2:1649
+2920:0:2112
+2921:2:1651
+2922:0:2112
+2923:1:286
+2924:0:2112
+2925:1:291
+2926:0:2112
+2927:1:293
+2928:0:2112
+2929:1:296
+2930:0:2112
+2931:2:1652
+2932:2:1656
+2933:2:1657
+2934:2:1665
+2935:2:1666
+2936:2:1670
+2937:2:1671
+2938:2:1679
+2939:2:1684
+2940:2:1688
+2941:2:1689
+2942:2:1696
+2943:2:1697
+2944:2:1708
+2945:2:1716
+2946:2:1717
+2947:2:1721
+2948:2:1726
+2949:2:1727
+2950:0:2112
+2951:2:1739
+2952:0:2112
+2953:2:1560
+2954:0:2112
+2955:2:1561
+2956:0:2112
+2957:2:1562
+2958:2:1566
+2959:2:1567
+2960:2:1575
+2961:2:1576
+2962:2:1580
+2963:2:1581
+2964:2:1589
+2965:2:1594
+2966:2:1598
+2967:2:1599
+2968:2:1606
+2969:2:1607
+2970:2:1618
+2971:2:1626
+2972:2:1627
+2973:2:1631
+2974:2:1636
+2975:2:1637
+2976:0:2112
+2977:2:1649
+2978:0:2112
+2979:2:1651
+2980:0:2112
+2981:1:301
+2982:0:2112
+2983:2:1652
+2984:2:1656
+2985:2:1657
+2986:2:1665
+2987:2:1666
+2988:2:1670
+2989:2:1671
+2990:2:1679
+2991:2:1684
+2992:2:1688
+2993:2:1689
+2994:2:1696
+2995:2:1697
+2996:2:1708
+2997:2:1716
+2998:2:1717
+2999:2:1721
+3000:2:1726
+3001:2:1727
+3002:0:2112
+3003:2:1739
+3004:0:2112
+3005:2:1560
+3006:0:2112
+3007:2:1561
+3008:0:2112
+3009:2:1562
+3010:2:1566
+3011:2:1567
+3012:2:1575
+3013:2:1576
+3014:2:1580
+3015:2:1581
+3016:2:1589
+3017:2:1594
+3018:2:1598
+3019:2:1599
+3020:2:1606
+3021:2:1607
+3022:2:1618
+3023:2:1626
+3024:2:1627
+3025:2:1631
+3026:2:1636
+3027:2:1637
+3028:0:2112
+3029:2:1649
+3030:0:2112
+3031:2:1651
+3032:0:2112
+3033:1:302
+3034:0:2112
+3035:2:1652
+3036:2:1656
+3037:2:1657
+3038:2:1665
+3039:2:1666
+3040:2:1670
+3041:2:1671
+3042:2:1679
+3043:2:1684
+3044:2:1688
+3045:2:1689
+3046:2:1696
+3047:2:1697
+3048:2:1708
+3049:2:1716
+3050:2:1717
+3051:2:1721
+3052:2:1726
+3053:2:1727
+3054:0:2112
+3055:2:1739
+3056:0:2112
+3057:2:1560
+3058:0:2112
+3059:2:1561
+3060:0:2112
+3061:2:1562
+3062:2:1566
+3063:2:1567
+3064:2:1575
+3065:2:1576
+3066:2:1580
+3067:2:1581
+3068:2:1589
+3069:2:1594
+3070:2:1598
+3071:2:1599
+3072:2:1606
+3073:2:1607
+3074:2:1618
+3075:2:1626
+3076:2:1627
+3077:2:1631
+3078:2:1636
+3079:2:1637
+3080:0:2112
+3081:2:1649
+3082:0:2112
+3083:2:1651
+3084:0:2112
+3085:1:303
+3086:0:2112
+3087:1:304
+3088:0:2112
+3089:1:305
+3090:0:2112
+3091:1:306
+3092:0:2112
+3093:1:308
+3094:0:2112
+3095:2:1652
+3096:2:1656
+3097:2:1657
+3098:2:1665
+3099:2:1666
+3100:2:1670
+3101:2:1671
+3102:2:1679
+3103:2:1684
+3104:2:1688
+3105:2:1689
+3106:2:1696
+3107:2:1697
+3108:2:1708
+3109:2:1716
+3110:2:1717
+3111:2:1721
+3112:2:1726
+3113:2:1727
+3114:0:2112
+3115:2:1739
+3116:0:2112
+3117:2:1560
+3118:0:2112
+3119:2:1561
+3120:0:2112
+3121:2:1562
+3122:2:1566
+3123:2:1567
+3124:2:1575
+3125:2:1576
+3126:2:1580
+3127:2:1581
+3128:2:1589
+3129:2:1594
+3130:2:1598
+3131:2:1599
+3132:2:1606
+3133:2:1607
+3134:2:1618
+3135:2:1626
+3136:2:1627
+3137:2:1631
+3138:2:1636
+3139:2:1637
+3140:0:2112
+3141:2:1649
+3142:0:2112
+3143:2:1651
+3144:0:2112
+3145:1:310
+3146:0:2112
+3147:2:1652
+3148:2:1656
+3149:2:1657
+3150:2:1665
+3151:2:1666
+3152:2:1670
+3153:2:1671
+3154:2:1679
+3155:2:1684
+3156:2:1688
+3157:2:1689
+3158:2:1696
+3159:2:1697
+3160:2:1708
+3161:2:1716
+3162:2:1717
+3163:2:1721
+3164:2:1726
+3165:2:1727
+3166:0:2112
+3167:2:1739
+3168:0:2112
+3169:2:1560
+3170:0:2112
+3171:2:1561
+3172:0:2112
+3173:2:1562
+3174:2:1566
+3175:2:1567
+3176:2:1575
+3177:2:1576
+3178:2:1580
+3179:2:1581
+3180:2:1589
+3181:2:1594
+3182:2:1598
+3183:2:1599
+3184:2:1606
+3185:2:1607
+3186:2:1618
+3187:2:1626
+3188:2:1627
+3189:2:1631
+3190:2:1636
+3191:2:1637
+3192:0:2112
+3193:2:1649
+3194:0:2112
+3195:2:1651
+3196:0:2112
+3197:1:311
+3198:1:315
+3199:1:316
+3200:1:324
+3201:1:333
+3202:1:334
+3203:1:338
+3204:1:343
+3205:1:347
+3206:1:348
+3207:1:355
+3208:1:356
+3209:1:367
+3210:1:368
+3211:1:371
+3212:1:372
+3213:1:380
+3214:1:385
+3215:1:386
+3216:0:2112
+3217:1:398
+3218:0:2112
+3219:2:1652
+3220:2:1656
+3221:2:1657
+3222:2:1665
+3223:2:1666
+3224:2:1670
+3225:2:1671
+3226:2:1679
+3227:2:1684
+3228:2:1688
+3229:2:1689
+3230:2:1696
+3231:2:1697
+3232:2:1708
+3233:2:1716
+3234:2:1717
+3235:2:1721
+3236:2:1726
+3237:2:1727
+3238:0:2112
+3239:2:1739
+3240:0:2112
+3241:2:1560
+3242:0:2112
+3243:2:1561
+3244:0:2112
+3245:2:1562
+3246:2:1566
+3247:2:1567
+3248:2:1575
+3249:2:1576
+3250:2:1580
+3251:2:1581
+3252:2:1589
+3253:2:1594
+3254:2:1598
+3255:2:1599
+3256:2:1606
+3257:2:1607
+3258:2:1618
+3259:2:1626
+3260:2:1627
+3261:2:1631
+3262:2:1636
+3263:2:1637
+3264:0:2112
+3265:2:1649
+3266:0:2112
+3267:2:1651
+3268:0:2112
+3269:1:400
+3270:0:2112
+3271:1:305
+3272:0:2112
+3273:1:306
+3274:0:2112
+3275:1:308
+3276:0:2112
+3277:2:1652
+3278:2:1656
+3279:2:1657
+3280:2:1665
+3281:2:1666
+3282:2:1670
+3283:2:1671
+3284:2:1679
+3285:2:1684
+3286:2:1688
+3287:2:1689
+3288:2:1696
+3289:2:1697
+3290:2:1708
+3291:2:1716
+3292:2:1717
+3293:2:1721
+3294:2:1726
+3295:2:1727
+3296:0:2112
+3297:2:1739
+3298:0:2112
+3299:2:1560
+3300:0:2112
+3301:2:1561
+3302:0:2112
+3303:2:1562
+3304:2:1566
+3305:2:1567
+3306:2:1575
+3307:2:1576
+3308:2:1580
+3309:2:1581
+3310:2:1589
+3311:2:1594
+3312:2:1598
+3313:2:1599
+3314:2:1606
+3315:2:1607
+3316:2:1618
+3317:2:1626
+3318:2:1627
+3319:2:1631
+3320:2:1636
+3321:2:1637
+3322:0:2112
+3323:2:1649
+3324:0:2112
+3325:2:1651
+3326:0:2112
+3327:1:310
+3328:0:2112
+3329:2:1652
+3330:2:1656
+3331:2:1657
+3332:2:1665
+3333:2:1666
+3334:2:1670
+3335:2:1671
+3336:2:1679
+3337:2:1684
+3338:2:1688
+3339:2:1689
+3340:2:1696
+3341:2:1697
+3342:2:1708
+3343:2:1716
+3344:2:1717
+3345:2:1721
+3346:2:1726
+3347:2:1727
+3348:0:2112
+3349:2:1739
+3350:0:2112
+3351:2:1560
+3352:0:2112
+3353:2:1561
+3354:0:2112
+3355:2:1562
+3356:2:1566
+3357:2:1567
+3358:2:1575
+3359:2:1576
+3360:2:1580
+3361:2:1581
+3362:2:1589
+3363:2:1594
+3364:2:1598
+3365:2:1599
+3366:2:1606
+3367:2:1607
+3368:2:1618
+3369:2:1626
+3370:2:1627
+3371:2:1631
+3372:2:1636
+3373:2:1637
+3374:0:2112
+3375:2:1649
+3376:0:2112
+3377:2:1651
+3378:0:2112
+3379:1:311
+3380:1:315
+3381:1:316
+3382:1:324
+3383:1:333
+3384:1:334
+3385:1:338
+3386:1:343
+3387:1:347
+3388:1:348
+3389:1:355
+3390:1:356
+3391:1:367
+3392:1:368
+3393:1:371
+3394:1:372
+3395:1:380
+3396:1:385
+3397:1:386
+3398:0:2112
+3399:1:398
+3400:0:2112
+3401:2:1652
+3402:2:1656
+3403:2:1657
+3404:2:1665
+3405:2:1666
+3406:2:1670
+3407:2:1671
+3408:2:1679
+3409:2:1684
+3410:2:1688
+3411:2:1689
+3412:2:1696
+3413:2:1697
+3414:2:1708
+3415:2:1716
+3416:2:1717
+3417:2:1721
+3418:2:1726
+3419:2:1727
+3420:0:2112
+3421:2:1739
+3422:0:2112
+3423:2:1560
+3424:0:2112
+3425:2:1561
+3426:0:2112
+3427:2:1562
+3428:2:1566
+3429:2:1567
+3430:2:1575
+3431:2:1576
+3432:2:1580
+3433:2:1581
+3434:2:1589
+3435:2:1594
+3436:2:1598
+3437:2:1599
+3438:2:1606
+3439:2:1607
+3440:2:1618
+3441:2:1626
+3442:2:1627
+3443:2:1631
+3444:2:1636
+3445:2:1637
+3446:0:2112
+3447:2:1649
+3448:0:2112
+3449:2:1651
+3450:0:2112
+3451:1:400
+3452:0:2112
+3453:1:404
+3454:0:2112
+3455:1:9
+3456:0:2112
+3457:1:10
+3458:0:2112
+3459:1:11
+3460:0:2112
+3461:2:1652
+3462:2:1656
+3463:2:1657
+3464:2:1665
+3465:2:1666
+3466:2:1670
+3467:2:1671
+3468:2:1679
+3469:2:1684
+3470:2:1688
+3471:2:1689
+3472:2:1696
+3473:2:1697
+3474:2:1708
+3475:2:1716
+3476:2:1717
+3477:2:1721
+3478:2:1726
+3479:2:1727
+3480:0:2112
+3481:2:1739
+3482:0:2112
+3483:2:1560
+3484:0:2112
+3485:2:1561
+3486:0:2112
+3487:2:1562
+3488:2:1566
+3489:2:1567
+3490:2:1575
+3491:2:1576
+3492:2:1580
+3493:2:1581
+3494:2:1589
+3495:2:1594
+3496:2:1598
+3497:2:1599
+3498:2:1606
+3499:2:1607
+3500:2:1618
+3501:2:1626
+3502:2:1627
+3503:2:1631
+3504:2:1636
+3505:2:1637
+3506:0:2112
+3507:2:1649
+3508:0:2112
+3509:2:1651
+3510:0:2112
+3511:1:12
+3512:1:16
+3513:1:17
+3514:1:25
+3515:1:34
+3516:1:35
+3517:1:39
+3518:1:44
+3519:1:48
+3520:1:49
+3521:1:56
+3522:1:57
+3523:1:68
+3524:1:69
+3525:1:72
+3526:1:73
+3527:1:81
+3528:1:86
+3529:1:87
+3530:0:2112
+3531:1:99
+3532:0:2112
+3533:2:1652
+3534:2:1656
+3535:2:1657
+3536:2:1665
+3537:2:1666
+3538:2:1670
+3539:2:1671
+3540:2:1679
+3541:2:1684
+3542:2:1688
+3543:2:1689
+3544:2:1696
+3545:2:1697
+3546:2:1708
+3547:2:1716
+3548:2:1717
+3549:2:1721
+3550:2:1726
+3551:2:1727
+3552:0:2112
+3553:2:1739
+3554:0:2112
+3555:2:1560
+3556:0:2112
+3557:2:1561
+3558:0:2112
+3559:2:1562
+3560:2:1566
+3561:2:1567
+3562:2:1575
+3563:2:1576
+3564:2:1580
+3565:2:1581
+3566:2:1589
+3567:2:1594
+3568:2:1598
+3569:2:1599
+3570:2:1606
+3571:2:1607
+3572:2:1618
+3573:2:1626
+3574:2:1627
+3575:2:1631
+3576:2:1636
+3577:2:1637
+3578:0:2112
+3579:2:1649
+3580:0:2112
+3581:2:1651
+3582:0:2112
+3583:1:101
+3584:0:2112
+3585:2:1652
+3586:2:1656
+3587:2:1657
+3588:2:1665
+3589:2:1666
+3590:2:1670
+3591:2:1671
+3592:2:1679
+3593:2:1684
+3594:2:1688
+3595:2:1689
+3596:2:1696
+3597:2:1697
+3598:2:1708
+3599:2:1716
+3600:2:1717
+3601:2:1721
+3602:2:1726
+3603:2:1727
+3604:0:2112
+3605:2:1739
+3606:0:2112
+3607:2:1560
+3608:0:2112
+3609:2:1561
+3610:0:2112
+3611:2:1562
+3612:2:1566
+3613:2:1567
+3614:2:1575
+3615:2:1576
+3616:2:1580
+3617:2:1581
+3618:2:1589
+3619:2:1594
+3620:2:1598
+3621:2:1599
+3622:2:1606
+3623:2:1607
+3624:2:1618
+3625:2:1626
+3626:2:1627
+3627:2:1631
+3628:2:1636
+3629:2:1637
+3630:0:2112
+3631:2:1649
+3632:0:2112
+3633:2:1651
+3634:0:2112
+3635:1:102
+3636:1:106
+3637:1:107
+3638:1:115
+3639:1:124
+3640:1:125
+3641:1:129
+3642:1:134
+3643:1:138
+3644:1:139
+3645:1:146
+3646:1:147
+3647:1:158
+3648:1:159
+3649:1:162
+3650:1:163
+3651:1:171
+3652:1:176
+3653:1:177
+3654:0:2112
+3655:1:189
+3656:0:2112
+3657:1:191
+3658:0:2112
+3659:2:1652
+3660:2:1656
+3661:2:1657
+3662:2:1665
+3663:2:1666
+3664:2:1670
+3665:2:1671
+3666:2:1679
+3667:2:1684
+3668:2:1688
+3669:2:1689
+3670:2:1696
+3671:2:1697
+3672:2:1708
+3673:2:1716
+3674:2:1717
+3675:2:1721
+3676:2:1726
+3677:2:1727
+3678:0:2112
+3679:2:1739
+3680:0:2112
+3681:2:1560
+3682:0:2112
+3683:2:1561
+3684:0:2112
+3685:2:1562
+3686:2:1566
+3687:2:1567
+3688:2:1575
+3689:2:1576
+3690:2:1580
+3691:2:1581
+3692:2:1589
+3693:2:1594
+3694:2:1598
+3695:2:1599
+3696:2:1606
+3697:2:1607
+3698:2:1618
+3699:2:1626
+3700:2:1627
+3701:2:1631
+3702:2:1636
+3703:2:1637
+3704:0:2112
+3705:2:1649
+3706:0:2112
+3707:2:1651
+3708:0:2112
+3709:1:192
+3710:0:2112
+3711:2:1652
+3712:2:1656
+3713:2:1657
+3714:2:1665
+3715:2:1666
+3716:2:1670
+3717:2:1671
+3718:2:1679
+3719:2:1684
+3720:2:1688
+3721:2:1689
+3722:2:1696
+3723:2:1697
+3724:2:1708
+3725:2:1716
+3726:2:1717
+3727:2:1721
+3728:2:1726
+3729:2:1727
+3730:0:2112
+3731:2:1739
+3732:0:2112
+3733:2:1560
+3734:0:2112
+3735:2:1561
+3736:0:2112
+3737:2:1562
+3738:2:1566
+3739:2:1567
+3740:2:1575
+3741:2:1576
+3742:2:1580
+3743:2:1581
+3744:2:1589
+3745:2:1594
+3746:2:1598
+3747:2:1599
+3748:2:1606
+3749:2:1607
+3750:2:1618
+3751:2:1626
+3752:2:1627
+3753:2:1631
+3754:2:1636
+3755:2:1637
+3756:0:2112
+3757:2:1649
+3758:0:2112
+3759:2:1651
+3760:0:2112
+3761:1:193
+3762:1:197
+3763:1:198
+3764:1:206
+3765:1:215
+3766:1:216
+3767:1:220
+3768:1:225
+3769:1:229
+3770:1:230
+3771:1:237
+3772:1:238
+3773:1:249
+3774:1:250
+3775:1:253
+3776:1:254
+3777:1:262
+3778:1:267
+3779:1:268
+3780:0:2112
+3781:1:280
+3782:0:2112
+3783:2:1652
+3784:2:1656
+3785:2:1657
+3786:2:1665
+3787:2:1666
+3788:2:1670
+3789:2:1671
+3790:2:1679
+3791:2:1684
+3792:2:1688
+3793:2:1689
+3794:2:1696
+3795:2:1697
+3796:2:1708
+3797:2:1716
+3798:2:1717
+3799:2:1721
+3800:2:1726
+3801:2:1727
+3802:0:2112
+3803:2:1739
+3804:0:2112
+3805:2:1560
+3806:0:2112
+3807:2:1561
+3808:0:2112
+3809:2:1562
+3810:2:1566
+3811:2:1567
+3812:2:1575
+3813:2:1576
+3814:2:1580
+3815:2:1581
+3816:2:1589
+3817:2:1594
+3818:2:1598
+3819:2:1599
+3820:2:1606
+3821:2:1607
+3822:2:1618
+3823:2:1626
+3824:2:1627
+3825:2:1631
+3826:2:1636
+3827:2:1637
+3828:0:2112
+3829:2:1649
+3830:0:2112
+3831:1:282
+3832:0:2112
+3833:1:291
+3834:0:2112
+3835:1:293
+3836:0:2112
+3837:1:11
+3838:0:2112
+3839:1:12
+3840:1:16
+3841:1:17
+3842:1:25
+3843:1:26
+3844:1:27
+3845:1:39
+3846:1:44
+3847:1:48
+3848:1:49
+3849:1:56
+3850:1:57
+3851:1:68
+3852:1:69
+3853:1:70
+3854:1:81
+3855:1:86
+3856:1:87
+3857:0:2112
+3858:1:99
+3859:0:2112
+3860:1:101
+3861:0:2112
+3862:1:102
+3863:1:106
+3864:1:107
+3865:1:115
+3866:1:116
+3867:1:120
+3868:1:121
+3869:1:129
+3870:1:134
+3871:1:138
+3872:1:139
+3873:1:146
+3874:1:147
+3875:1:158
+3876:1:159
+3877:1:160
+3878:1:171
+3879:1:176
+3880:1:177
+3881:0:2112
+3882:1:189
+3883:0:2112
+3884:1:285
+3885:0:2112
+3886:1:286
+3887:0:2112
+3888:1:291
+3889:0:2112
+3890:1:293
+3891:0:2112
+3892:1:296
+3893:0:2112
+3894:1:301
+3895:0:2112
+3896:1:302
+3897:0:2112
+3898:1:303
+3899:0:2112
+3900:1:304
+3901:0:2112
+3902:1:305
+3903:0:2112
+3904:1:306
+3905:0:2112
+3906:1:308
+3907:0:2112
+3908:1:310
+3909:0:2112
+3910:1:311
+3911:1:315
+3912:1:316
+3913:1:324
+3914:1:325
+3915:1:326
+3916:1:338
+3917:1:343
+3918:1:347
+3919:1:348
+3920:1:355
+3921:1:356
+3922:1:367
+3923:1:368
+3924:1:369
+3925:1:380
+3926:1:385
+3927:1:386
+3928:0:2112
+3929:1:398
+3930:0:2112
+3931:1:400
+3932:0:2112
+3933:1:305
+3934:0:2112
+3935:1:306
+3936:0:2112
+3937:1:308
+3938:0:2112
+3939:1:310
+3940:0:2112
+3941:1:311
+3942:1:315
+3943:1:316
+3944:1:324
+3945:1:325
+3946:1:326
+3947:1:338
+3948:1:343
+3949:1:347
+3950:1:348
+3951:1:355
+3952:1:356
+3953:1:367
+3954:1:368
+3955:1:369
+3956:1:380
+3957:1:385
+3958:1:386
+3959:0:2112
+3960:1:398
+3961:0:2112
+3962:1:400
+3963:0:2112
+3964:1:404
+3965:0:2112
+3966:1:9
+3967:0:2112
+3968:1:10
+3969:0:2112
+3970:1:11
+3971:0:2112
+3972:1:12
+3973:1:16
+3974:1:17
+3975:1:25
+3976:1:26
+3977:1:27
+3978:1:39
+3979:1:44
+3980:1:48
+3981:1:49
+3982:1:56
+3983:1:57
+3984:1:68
+3985:1:69
+3986:1:70
+3987:1:81
+3988:1:86
+3989:1:87
+3990:0:2112
+3991:1:99
+3992:0:2112
+3993:1:101
+3994:0:2112
+3995:1:102
+3996:1:106
+3997:1:107
+3998:1:115
+3999:1:116
+4000:1:120
+4001:1:121
+4002:1:129
+4003:1:134
+4004:1:138
+4005:1:139
+4006:1:146
+4007:1:147
+4008:1:158
+4009:1:159
+4010:1:160
+4011:1:171
+4012:1:176
+4013:1:177
+4014:0:2112
+4015:1:189
+4016:0:2112
+4017:1:191
+4018:0:2112
+4019:1:192
+4020:0:2112
+4021:1:193
+4022:1:197
+4023:1:198
+4024:1:206
+4025:1:207
+4026:1:211
+4027:1:212
+4028:1:220
+4029:1:225
+4030:1:229
+4031:1:230
+4032:1:237
+4033:1:238
+4034:1:249
+4035:1:250
+4036:1:251
+4037:1:262
+4038:1:267
+4039:1:268
+4040:0:2112
+4041:1:280
+4042:0:2112
+4043:1:282
+4044:0:2112
+4045:2:1651
+4046:0:2112
+4047:1:291
+4048:0:2112
+4049:2:1652
+4050:2:1656
+4051:2:1657
+4052:2:1665
+4053:2:1666
+4054:2:1670
+4055:2:1671
+4056:2:1679
+4057:2:1684
+4058:2:1688
+4059:2:1689
+4060:2:1696
+4061:2:1697
+4062:2:1708
+4063:2:1716
+4064:2:1717
+4065:2:1721
+4066:2:1726
+4067:2:1727
+4068:0:2112
+4069:2:1739
+4070:0:2112
+4071:2:1560
+4072:0:2112
+4073:1:293
+4074:0:2112
+4075:1:11
+4076:0:2112
+4077:1:12
+4078:1:16
+4079:1:17
+4080:1:25
+4081:1:26
+4082:1:27
+4083:1:39
+4084:1:44
+4085:1:48
+4086:1:49
+4087:1:56
+4088:1:57
+4089:1:68
+4090:1:69
+4091:1:70
+4092:1:81
+4093:1:86
+4094:1:87
+4095:0:2112
+4096:1:99
+4097:0:2112
+4098:1:101
+4099:0:2112
+4100:1:102
+4101:1:106
+4102:1:107
+4103:1:115
+4104:1:116
+4105:1:120
+4106:1:121
+4107:1:129
+4108:1:134
+4109:1:138
+4110:1:139
+4111:1:146
+4112:1:147
+4113:1:158
+4114:1:159
+4115:1:160
+4116:1:171
+4117:1:176
+4118:1:177
+4119:0:2112
+4120:1:189
+4121:0:2112
+4122:1:285
+4123:0:2112
+4124:1:286
+4125:0:2112
+4126:1:291
+4127:0:2112
+4128:1:293
+4129:0:2112
+4130:1:296
+4131:0:2112
+4132:1:301
+4133:0:2112
+4134:1:302
+4135:0:2112
+4136:1:303
+4137:0:2112
+4138:1:304
+4139:0:2112
+4140:1:305
+4141:0:2112
+4142:1:306
+4143:0:2112
+4144:1:308
+4145:0:2112
+4146:1:310
+4147:0:2112
+4148:1:311
+4149:1:315
+4150:1:316
+4151:1:324
+4152:1:325
+4153:1:326
+4154:1:338
+4155:1:343
+4156:1:347
+4157:1:348
+4158:1:355
+4159:1:356
+4160:1:367
+4161:1:368
+4162:1:369
+4163:1:380
+4164:1:385
+4165:1:386
+4166:0:2112
+4167:1:398
+4168:0:2112
+4169:1:400
+4170:0:2112
+4171:1:305
+4172:0:2112
+4173:1:306
+4174:0:2112
+4175:1:308
+4176:0:2112
+4177:1:310
+4178:0:2112
+4179:1:311
+4180:1:315
+4181:1:316
+4182:1:324
+4183:1:325
+4184:1:326
+4185:1:338
+4186:1:343
+4187:1:347
+4188:1:348
+4189:1:355
+4190:1:356
+4191:1:367
+4192:1:368
+4193:1:369
+4194:1:380
+4195:1:385
+4196:1:386
+4197:0:2112
+4198:1:398
+4199:0:2112
+4200:1:400
+4201:0:2112
+4202:1:404
+4203:0:2112
+4204:1:9
+4205:0:2112
+4206:1:10
+4207:0:2112
+4208:1:11
+4209:0:2112
+4210:1:12
+4211:1:16
+4212:1:17
+4213:1:25
+4214:1:26
+4215:1:27
+4216:1:39
+4217:1:44
+4218:1:48
+4219:1:49
+4220:1:56
+4221:1:57
+4222:1:68
+4223:1:69
+4224:1:70
+4225:1:81
+4226:1:86
+4227:1:87
+4228:0:2112
+4229:1:99
+4230:0:2112
+4231:1:101
+4232:0:2112
+4233:1:102
+4234:1:106
+4235:1:107
+4236:1:115
+4237:1:116
+4238:1:120
+4239:1:121
+4240:1:129
+4241:1:134
+4242:1:138
+4243:1:139
+4244:1:146
+4245:1:147
+4246:1:158
+4247:1:159
+4248:1:160
+4249:1:171
+4250:1:176
+4251:1:177
+4252:0:2112
+4253:1:189
+4254:0:2112
+4255:1:191
+4256:0:2112
+4257:1:192
+4258:0:2112
+4259:1:193
+4260:1:197
+4261:1:198
+4262:1:206
+4263:1:207
+4264:1:211
+4265:1:212
+4266:1:220
+4267:1:225
+4268:1:229
+4269:1:230
+4270:1:237
+4271:1:238
+4272:1:249
+4273:1:250
+4274:1:251
+4275:1:262
+4276:1:267
+4277:1:268
+4278:0:2112
+4279:1:280
+4280:0:2112
+4281:1:282
+4282:0:2112
+4283:1:291
+4284:0:2112
+4285:1:293
+4286:0:2112
+4287:2:1561
+4288:0:2112
+4289:1:11
+4290:0:2112
+4291:1:12
+4292:1:16
+4293:1:17
+4294:1:25
+4295:1:26
+4296:1:27
+4297:1:39
+4298:1:44
+4299:1:48
+4300:1:49
+4301:1:56
+4302:1:57
+4303:1:68
+4304:1:69
+4305:1:70
+4306:1:81
+4307:1:86
+4308:1:87
+-1:-1:-1
+4309:0:2112
+4310:1:99
+4311:0:2112
+4312:1:101
+4313:0:2112
+4314:1:102
+4315:1:106
+4316:1:107
+4317:1:115
+4318:1:116
+4319:1:120
+4320:1:121
+4321:1:129
+4322:1:134
+4323:1:138
+4324:1:139
+4325:1:146
+4326:1:147
+4327:1:158
+4328:1:159
+4329:1:160
+4330:1:171
+4331:1:176
+4332:1:177
+4333:0:2112
+4334:1:189
+4335:0:2112
+4336:1:285
+4337:0:2112
+4338:1:286
+4339:0:2112
+4340:1:291
+4341:0:2112
+4342:1:293
+4343:0:2112
+4344:1:296
+4345:0:2112
+4346:1:301
+4347:0:2112
+4348:1:302
+4349:0:2112
+4350:1:303
+4351:0:2112
+4352:1:304
+4353:0:2112
+4354:1:305
+4355:0:2112
+4356:1:306
+4357:0:2112
+4358:1:308
+4359:0:2112
+4360:1:310
+4361:0:2112
+4362:1:311
+4363:1:315
+4364:1:316
+4365:1:324
+4366:1:325
+4367:1:326
+4368:1:338
+4369:1:343
+4370:1:347
+4371:1:348
+4372:1:355
+4373:1:356
+4374:1:367
+4375:1:368
+4376:1:369
+4377:1:380
+4378:1:385
+4379:1:386
+4380:0:2112
+4381:1:398
+4382:0:2112
+4383:1:400
+4384:0:2112
+4385:1:305
+4386:0:2112
+4387:1:306
+4388:0:2112
+4389:1:308
+4390:0:2112
+4391:1:310
+4392:0:2112
+4393:1:311
+4394:1:315
+4395:1:316
+4396:1:324
+4397:1:325
+4398:1:326
+4399:1:338
+4400:1:343
+4401:1:347
+4402:1:348
+4403:1:355
+4404:1:356
+4405:1:367
+4406:1:368
+4407:1:369
+4408:1:380
+4409:1:385
+4410:1:386
+4411:0:2112
+4412:1:398
+4413:0:2112
+4414:1:400
+4415:0:2112
+4416:1:404
+4417:0:2112
+4418:1:9
+4419:0:2112
+4420:1:10
+4421:0:2112
+4422:1:11
+4423:0:2112
+4424:1:12
+4425:1:16
+4426:1:17
+4427:1:25
+4428:1:34
+4429:1:35
+4430:1:39
+4431:1:44
+4432:1:48
+4433:1:49
+4434:1:56
+4435:1:57
+4436:1:68
+4437:1:69
+4438:1:72
+4439:1:73
+4440:1:81
+4441:1:86
+4442:1:87
+4443:0:2112
+4444:1:99
+4445:0:2112
+4446:2:1562
+4447:2:1566
+4448:2:1567
+4449:2:1575
+4450:2:1576
+4451:2:1580
+4452:2:1581
+4453:2:1589
+4454:2:1594
+4455:2:1598
+4456:2:1599
+4457:2:1606
+4458:2:1607
+4459:2:1618
+4460:2:1626
+4461:2:1627
+4462:2:1631
+4463:2:1636
+4464:2:1637
+4465:0:2112
+4466:2:1649
+4467:0:2112
+4468:2:1651
+4469:0:2112
+4470:2:1652
+4471:2:1656
+4472:2:1657
+4473:2:1665
+4474:2:1666
+4475:2:1670
+4476:2:1671
+4477:2:1679
+4478:2:1684
+4479:2:1688
+4480:2:1689
+4481:2:1696
+4482:2:1697
+4483:2:1708
+4484:2:1716
+4485:2:1717
+4486:2:1721
+4487:2:1726
+4488:2:1727
+4489:0:2112
+4490:2:1739
+4491:0:2112
+4492:2:1560
+4493:0:2112
+4494:2:1561
+4495:0:2112
+4496:1:101
+4497:0:2112
+4498:2:1562
+4499:2:1566
+4500:2:1567
+4501:2:1575
+4502:2:1576
+4503:2:1580
+4504:2:1581
+4505:2:1589
+4506:2:1594
+4507:2:1598
+4508:2:1599
+4509:2:1606
+4510:2:1607
+4511:2:1618
+4512:2:1626
+4513:2:1627
+4514:2:1631
+4515:2:1636
+4516:2:1637
+4517:0:2112
+4518:2:1649
+4519:0:2112
+4520:2:1651
+4521:0:2112
+4522:2:1652
+4523:2:1656
+4524:2:1657
+4525:2:1665
+4526:2:1666
+4527:2:1670
+4528:2:1671
+4529:2:1679
+4530:2:1684
+4531:2:1688
+4532:2:1689
+4533:2:1696
+4534:2:1697
+4535:2:1708
+4536:2:1716
+4537:2:1717
+4538:2:1721
+4539:2:1726
+4540:2:1727
+4541:0:2112
+4542:2:1739
+4543:0:2112
+4544:2:1560
+4545:0:2112
+4546:2:1561
+4547:0:2112
+4548:1:102
+4549:1:106
+4550:1:107
+4551:1:115
+4552:1:116
+4553:1:117
+4554:1:129
+4555:1:134
+4556:1:138
+4557:1:139
+4558:1:146
+4559:1:147
+4560:1:158
+4561:1:159
+4562:1:160
+4563:1:171
+4564:1:176
+4565:1:177
+4566:0:2112
+4567:1:189
+4568:0:2112
+4569:1:191
+4570:0:2112
+4571:2:1562
+4572:2:1566
+4573:2:1567
+4574:2:1575
+4575:2:1576
+4576:2:1580
+4577:2:1581
+4578:2:1589
+4579:2:1594
+4580:2:1598
+4581:2:1599
+4582:2:1606
+4583:2:1607
+4584:2:1618
+4585:2:1626
+4586:2:1627
+4587:2:1631
+4588:2:1636
+4589:2:1637
+4590:0:2112
+4591:2:1649
+4592:0:2112
+4593:2:1651
+4594:0:2112
+4595:2:1652
+4596:2:1656
+4597:2:1657
+4598:2:1665
+4599:2:1666
+4600:2:1670
+4601:2:1671
+4602:2:1679
+4603:2:1684
+4604:2:1688
+4605:2:1689
+4606:2:1696
+4607:2:1697
+4608:2:1708
+4609:2:1716
+4610:2:1717
+4611:2:1721
+4612:2:1726
+4613:2:1727
+4614:0:2112
+4615:2:1739
+4616:0:2112
+4617:2:1560
+4618:0:2112
+4619:2:1561
+4620:0:2112
+4621:1:192
+4622:0:2112
+4623:2:1562
+4624:2:1566
+4625:2:1567
+4626:2:1575
+4627:2:1576
+4628:2:1580
+4629:2:1581
+4630:2:1589
+4631:2:1594
+4632:2:1598
+4633:2:1599
+4634:2:1606
+4635:2:1607
+4636:2:1618
+4637:2:1626
+4638:2:1627
+4639:2:1631
+4640:2:1636
+4641:2:1637
+4642:0:2112
+4643:2:1649
+4644:0:2112
+4645:2:1651
+4646:0:2112
+4647:2:1652
+4648:2:1656
+4649:2:1657
+4650:2:1665
+4651:2:1666
+4652:2:1670
+4653:2:1671
+4654:2:1679
+4655:2:1684
+4656:2:1688
+4657:2:1689
+4658:2:1696
+4659:2:1697
+4660:2:1708
+4661:2:1716
+4662:2:1717
+4663:2:1721
+4664:2:1726
+4665:2:1727
+4666:0:2112
+4667:2:1739
+4668:0:2112
+4669:2:1560
+4670:0:2112
+4671:2:1561
+4672:0:2112
+4673:1:193
+4674:1:197
+4675:1:198
+4676:1:206
+4677:1:207
+4678:1:211
+4679:1:212
+4680:1:220
+4681:1:225
+4682:1:229
+4683:1:230
+4684:1:237
+4685:1:238
+4686:1:249
+4687:1:250
+4688:1:251
+4689:1:262
+4690:1:267
+4691:1:268
+4692:0:2112
+4693:1:280
+4694:0:2112
+4695:2:1562
+4696:2:1566
+4697:2:1567
+4698:2:1575
+4699:2:1576
+4700:2:1580
+4701:2:1581
+4702:2:1589
+4703:2:1594
+4704:2:1598
+4705:2:1599
+4706:2:1606
+4707:2:1607
+4708:2:1618
+4709:2:1626
+4710:2:1627
+4711:2:1631
+4712:2:1636
+4713:2:1637
+4714:0:2112
+4715:2:1649
+4716:0:2112
+4717:2:1651
+4718:0:2112
+4719:2:1652
+4720:2:1656
+4721:2:1657
+4722:2:1665
+4723:2:1666
+4724:2:1670
+4725:2:1671
+4726:2:1679
+4727:2:1684
+4728:2:1688
+4729:2:1689
+4730:2:1696
+4731:2:1697
+4732:2:1708
+4733:2:1716
+4734:2:1717
+4735:2:1721
+4736:2:1726
+4737:2:1727
+4738:0:2112
+4739:2:1739
+4740:0:2112
+4741:2:1560
+4742:0:2112
+4743:2:1561
+4744:0:2112
+4745:1:282
+4746:0:2112
+4747:1:291
+4748:0:2112
+4749:1:293
+4750:0:2112
+4751:1:11
+4752:0:2112
+4753:2:1562
+4754:2:1566
+4755:2:1567
+4756:2:1575
+4757:2:1576
+4758:2:1580
+4759:2:1581
+4760:2:1589
+4761:2:1594
+4762:2:1598
+4763:2:1599
+4764:2:1606
+4765:2:1607
+4766:2:1618
+4767:2:1626
+4768:2:1627
+4769:2:1631
+4770:2:1636
+4771:2:1637
+4772:0:2112
+4773:2:1649
+4774:0:2112
+4775:2:1651
+4776:0:2112
+4777:2:1652
+4778:2:1656
+4779:2:1657
+4780:2:1665
+4781:2:1666
+4782:2:1670
+4783:2:1671
+4784:2:1679
+4785:2:1684
+4786:2:1688
+4787:2:1689
+4788:2:1696
+4789:2:1697
+4790:2:1708
+4791:2:1716
+4792:2:1717
+4793:2:1721
+4794:2:1726
+4795:2:1727
+4796:0:2112
+4797:2:1739
+4798:0:2112
+4799:2:1560
+4800:0:2112
+4801:2:1561
+4802:0:2112
+4803:1:12
+4804:1:16
+4805:1:17
+4806:1:25
+4807:1:26
+4808:1:27
+4809:1:39
+4810:1:44
+4811:1:48
+4812:1:49
+4813:1:56
+4814:1:57
+4815:1:68
+4816:1:69
+4817:1:70
+4818:1:81
+4819:1:86
+4820:1:87