X-Git-Url: http://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=formal-model%2Furcu-nosched-model%2Fresult-signal-over-writer%2Ftestmerge%2Furcu_progress_writer_error.spin.input.trail;fp=formal-model%2Furcu-nosched-model%2Fresult-signal-over-writer%2Ftestmerge%2Furcu_progress_writer_error.spin.input.trail;h=ff6f1c57315efd386c55c03f2d3f228917cfc686;hp=0000000000000000000000000000000000000000;hb=06e8b2a87f862183a26e0005bf04221633f49d0c;hpb=8322221dc666e720badeb06bc780a1f8e69020a0

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