Add verif results

[urcu.git] / formal-model / urcu-controldataflow-alpha-ipi-progress-minimal / urcu_progress_writer_error.spin.input.trail

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