1543: [(921 2655)] succ: -1
1351: [(272 1351)] succ: -1
275: [(1470 1126)] succ: -1
870: [(1664 870)] succ: 1
409: [(498 409)] succ: 1
1446: [(301 2624)] succ: -1
1838: [(1016 25)] succ: -1
326: [(2178 326)] succ: 1
1565: [(1778 452)] succ: -1
463: [(1395 463)] succ: 1
419: [(2430 419)] succ: -1
987: [(2505 753)] succ: -1
13: [(1896 827)] succ: -1
215: [(1084 215)] succ: 1
1117: [(495 2022)] succ: -1
936: [(1921 1081)] succ: -1
1758: [(1256 1758)] succ: 1
919: [(2703 1896)] succ: -1
559: [(1730 1268)] succ: -1
94: [(1834 1033)] succ: -1
1304: [(2644 1304)] succ: -1
927: [(1896 827)] succ: -1
907: [(1275 1686)] succ: -1
2492: [(1767 2492)] succ: -1
2214: [(1908 2214)] succ: -1
2651: [(1805 2651)] succ: 1
980: [(1569 266)] succ: -1
1221: [(2380 1171)] succ: -1
1887: [(891 889)] succ: -1
1140: [(1139 933)] succ: -1
2442: [(704 2442)] succ: -1
2066: [(510 31)] succ: -1
963: [(302 963)] succ: -1
1571: [(982 1536)] succ: -1
997: [(1957 995)] succ: -1
1331: [(2135 19)] succ: -1
1457: [(952 2337)] succ: 1
1220: [(1698 1782)] succ: -1
399: [(1176 399)] succ: -1
881: [(2589 2590)] succ: -1
270: [(1214 2655)] succ: -1
439: [(1437 485)] succ: -1
322: [(2414 412)] succ: -1
956: [(959 36)] succ: -1
1078: [(1955 1078)] succ: 1
629: [(2264 624)] succ: -1
2223: [(1874 2223)] succ: -1
2345: [(744 2345)] succ: -1
2035: [(961 201)] succ: -1
2007: [(2008 2007)] succ: -1
354: [(2569 151)] succ: -1
2105: [(1268 533)] succ: -1
54: [(185 54)] succ: -1
720: [(1434 758)] succ: -1
1170: [(2238 1169)] succ: -1
1915: [(1408 1915)] succ: -1
2149: [(1738 2156)] succ: -1
1334: [(264 1334)] succ: -1
1413: [(891 2654)] succ: -1
2142: [(2559 1453)] succ: -1
511: [(1981 1518)] succ: -1
480: [(1189 239)] succ: -1
2053: [(2055 1465)] succ: -1
1598: [(163 1494)] succ: -1
2418: [(2646 962)] succ: -1
1444: [(2563 856)] succ: -1
869: [(1795 869)] succ: -1
1309: [(882 2409)] succ: -1
651: [(1629 651)] succ: 1
126: [(2235 1420)] succ: -1
648: [(1863 2381)] succ: -1
1096: [(2286 621)] succ: -1
269: [(2227 269)] succ: -1
1712: [(2592 1712)] succ: 1
969: [(1260 1604)] succ: -1
1551: [(1982 2115)] succ: -1
977: [(1678 2178)] succ: -1
810: [(1409 160)] succ: -1
2546: [(2174 2178)] succ: -1
867: [(2354 2160)] succ: -1
2167: [(1003 283)] succ: -1
2225: [(1612 1353)] succ: -1
2289: [(2284 2283)] succ: -1
774: [(1588 2559)] succ: -1
209: [(1028 209)] succ: 1
180: [(1522 753)] succ: -1
310: [(1507 2167)] succ: -1
1150: [(2594 1686)] succ: -1
95: [(1664 95)] succ: -1
2019: [(1286 2020)] succ: -1
1088: [(2436 1579)] succ: -1
494: [(2021 1516)] succ: -1
1884: [(1186 1698)] succ: -1
1784: [(932 1473)] succ: -1
2671: [(2565 2230)] succ: -1
641: [(1062 1240)] succ: -1
436: [(2177 1562)] succ: -1
175: [(1408 1915)] succ: -1
1850: [(1575 1653)] succ: -1
454: [(1711 943)] succ: -1
1284: [(2634 336)] succ: -1
753: [(88 1295)] succ: -1
733: [(1016 25)] succ: -1
638: [(939 2315)] succ: -1
2095: [(536 2065)] succ: -1
378: [(1884 1880)] succ: -1
2096: [(1981 2058)] succ: -1
851: [(58 1518)] succ: -1
1339: [(1112 1896)] succ: -1
2701: [(1018 2544)] succ: -1
1230: [(693 1230)] succ: 1
1257: [(559 2017)] succ: -1
2093: [(1738 1686)] succ: -1
2177: [(141 2455)] succ: -1
483: [(1976 483)] succ: -1
929: [(918 260)] succ: -1
1165: [(318 1506)] succ: -1
371: [(1693 371)] succ: 1
1591: [(921 2655)] succ: -1
662: [(923 181)] succ: -1
1671: [(2380 1171)] succ: -1
256: [(1315 256)] succ: -1
2143: [(1782 1698)] succ: -1
885: [(2339 1347)] succ: -1
1132: [(223 1132)] succ: -1
938: [(1060 938)] succ: 1
575: [(2194 575)] succ: -1
393: [(2563 2154)] succ: -1
565: [(2563 856)] succ: -1
1720: [(1484 1720)] succ: 1
1867: [(1982 2062)] succ: -1
642: [(1199 642)] succ: -1
2471: [(2530 2471)] succ: -1
62: [(2385 2383)] succ: -1
1454: [(370 1454)] succ: -1
547: [(1932 1742)] succ: -1
305: [(1783 305)] succ: -1
1809: [(1238 1275)] succ: -1
160: [(1409 160)] succ: 1
2415: [(345 2415)] succ: -1
2399: [(1624 854)] succ: -1
1299: [(945 196)] succ: -1
19: [(2135 19)] succ: -1
1927: [(1005 1927)] succ: -1
718: [(1016 25)] succ: -1
1307: [(1991 1963)] succ: -1
1038: [(2511 2630)] succ: -1
1749: [(171 1749)] succ: -1
2633: [(2253 1749)] succ: -1
1587: [(1620 1033)] succ: -1
2129: [(1738 2156)] succ: -1
1723: [(754 2624)] succ: -1
1663: [(380 1663)] succ: -1
1388: [(2424 1465)] succ: -1
954: [(955 200)] succ: -1
290: [(2627 290)] succ: -1
177: [(1380 1030)] succ: 1
1685: [(99 944)] succ: -1
1452: [(597 1686)] succ: -1
716: [(1130 716)] succ: 1
2519: [(737 2519)] succ: -1
2646: [(2459 2409)] succ: -1
1666: [(701 1153)] succ: -1
1364: [(2181 284)] succ: -1
1451: [(305 1450)] succ: 1
465: [(1555 465)] succ: -1
1514: [(319 1514)] succ: 1
1385: [(1386 1383)] succ: -1
1545: [(1181 1545)] succ: -1
597: [(1444 1686)] succ: -1
1868: [(1982 2115)] succ: -1
2278: [(2264 624)] succ: -1
2302: [(1927 1665)] succ: -1
1825: [(921 2655)] succ: -1
1122: [(1229 1634)] succ: -1
2615: [(1993 2177)] succ: -1
2067: [(2069 2067)] succ: -1
89: [(1345 2132)] succ: -1
1204: [(2597 1205)] succ: 1
1690: [(1863 2381)] succ: -1
868: [(1016 25)] succ: -1
2476: [(2484 1718)] succ: -1
630: [(1050 996)] succ: -1
146: [(1372 753)] succ: -1
1956: [(472 1956)] succ: -1
1199: [(1240 1199)] succ: -1
537: [(1982 31)] succ: -1
1703: [(990 984)] succ: -1
470: [(1634 1758)] succ: -1
1127: [(2512 145)] succ: -1
852: [(2125 852)] succ: 1
217: [(1095 1832)] succ: -1
2450: [(1778 452)] succ: -1
2408: [(2588 2508)] succ: -1
2287: [(2286 621)] succ: -1
1777: [(412 1777)] succ: -1
58: [(1738 855)] succ: -1
2113: [(2063 2112)] succ: -1
569: [(2162 569)] succ: -1
1779: [(1016 25)] succ: -1
1177: [(2645 1177)] succ: -1
279: [(1097 2177)] succ: -1
2022: [(495 2022)] succ: -1
2568: [(1016 25)] succ: -1
15: [(57 1323)] succ: -1
1471: [(1470 1126)] succ: -1
2010: [(777 1180)] succ: -1
1985: [(15 201)] succ: -1
394: [(947 453)] succ: -1
1418: [(2380 1171)] succ: -1
2023: [(2024 1223)] succ: -1
2670: [(1813 2670)] succ: -1
361: [(1057 2319)] succ: -1
2398: [(1488 43)] succ: -1
1891: [(15 201)] succ: -1
1453: [(306 1453)] succ: -1
2148: [(1317 1487)] succ: 1
1356: [(1337 1356)] succ: -1
949: [(2024 1223)] succ: -1
1269: [(5 6)] succ: -1
1653: [(1848 1115)] succ: -1
2112: [(2063 2113)] succ: -1
1040: [(1039 2178)] succ: -1
2248: [(2358 2160)] succ: -1
2688: [(1352 306)] succ: -1
2486: [(1365 2486)] succ: 1
1881: [(2050 933)] succ: -1
2263: [(1578 2263)] succ: -1
1595: [(2431 2432)] succ: -1
1042: [(210 1634)] succ: -1
408: [(1019 408)] succ: 1
817: [(1028 209)] succ: -1
829: [(1882 829)] succ: -1
763: [(462 763)] succ: -1
478: [(947 478)] succ: 1
1349: [(1348 428)] succ: -1
1911: [(1910 1911)] succ: -1
1461: [(50 1461)] succ: -1
456: [(1348 428)] succ: -1
2051: [(1386 880)] succ: -1
558: [(2610 1686)] succ: -1
2516: [(735 2506)] succ: -1
2285: [(623 2285)] succ: -1
134: [(1554 134)] succ: -1
1640: [(1148 1626)] succ: -1
1996: [(2631 1996)] succ: -1
557: [(1236 2383)] succ: -1
415: [(1784 932)] succ: -1
1046: [(1957 1046)] succ: -1
1494: [(163 1494)] succ: -1
2325: [(700 2325)] succ: 1
86: [(1074 396)] succ: -1
2309: [(2311 2309)] succ: -1
1813: [(944 99)] succ: -1
406: [(1016 25)] succ: -1
2252: [(2273 2252)] succ: -1
189: [(1608 1606)] succ: -1
276: [(1375 276)] succ: -1
2119: [(2688 2119)] succ: 1
497: [(2459 2409)] succ: -1
1505: [(1931 1286)] succ: -1
822: [(1264 835)] succ: -1
2295: [(2406 2294)] succ: -1
876: [(2465 876)] succ: -1
329: [(1119 329)] succ: -1
331: [(1461 1274)] succ: -1
282: [(1802 202)] succ: -1
2151: [(2036 2340)] succ: -1
1748: [(968 1516)] succ: -1
1826: [(1629 515)] succ: -1
2392: [(1896 827)] succ: -1
161: [(1516 183)] succ: -1
379: [(1436 2364)] succ: -1
1680: [(1624 854)] succ: -1
2473: [(262 2473)] succ: -1
172: [(2492 1752)] succ: -1
18: [(1995 1433)] succ: -1
1885: [(1207 962)] succ: -1
2049: [(506 1686)] succ: -1
2312: [(2021 494)] succ: 1
1732: [(2376 1575)] succ: -1
2451: [(772 1152)] succ: -1
90: [(1348 428)] succ: -1
1143: [(395 1461)] succ: -1
87: [(1173 87)] succ: -1
2327: [(1629 515)] succ: -1
991: [(766 991)] succ: -1
933: [(2050 1882)] succ: -1
1205: [(2597 1205)] succ: -1
1958: [(115 1960)] succ: -1
627: [(2298 627)] succ: -1
2232: [(2234 2231)] succ: -1
7: [(8 752)] succ: -1
1564: [(1733 204)] succ: -1
2017: [(559 2017)] succ: 1
84: [(1049 2261)] succ: -1
358: [(1003 358)] succ: -1
1634: [(525 1257)] succ: -1
2432: [(2431 2432)] succ: 1
444: [(1853 1879)] succ: -1
2254: [(605 2254)] succ: -1
2353: [(1829 2353)] succ: -1
1544: [(1141 136)] succ: -1
1572: [(1105 1572)] succ: -1
226: [(1619 1506)] succ: -1
2081: [(1470 1126)] succ: -1
2005: [(1096 2002)] succ: -1
49: [(64 49)] succ: 1
849: [(2118 2117)] succ: -1
1193: [(241 1193)] succ: -1
319: [(1463 2494)] succ: -1
803: [(1223 803)] succ: -1
109: [(1219 109)] succ: -1
2699: [(778 2563)] succ: -1
173: [(26 1686)] succ: -1
1082: [(76 1082)] succ: -1
31: [(1982 2062)] succ: -1
2677: [(81 2677)] succ: 1
552: [(2140 552)] succ: -1
2135: [(945 196)] succ: -1
1548: [(2234 2231)] succ: -1
1263: [(179 2432)] succ: -1
601: [(2249 601)] succ: 1
1389: [(2619 663)] succ: -1
658: [(2331 658)] succ: -1
2678: [(2481 1716)] succ: -1
678: [(1713 1294)] succ: -1
572: [(2172 572)] succ: 1
2656: [(2468 2656)] succ: -1
2435: [(1714 1864)] succ: -1
243: [(1357 290)] succ: -1
721: [(1608 1606)] succ: -1
2196: [(859 2196)] succ: -1
313: [(1431 313)] succ: -1
2310: [(2311 2309)] succ: -1
372: [(2454 1634)] succ: -1
108: [(1842 108)] succ: 1
2401: [(687 1576)] succ: -1
2300: [(634 2300)] succ: -1
383: [(2010 1707)] succ: 1
2084: [(2083 2084)] succ: -1
1093: [(752 1536)] succ: -1
791: [(2027 676)] succ: -1
115: [(1958 1960)] succ: -1
888: [(1641 2686)] succ: -1
2085: [(1482 2085)] succ: -1
1967: [(1778 452)] succ: -1
1724: [(2418 1724)] succ: -1
2373: [(1698 1782)] succ: -1
975: [(1620 1033)] succ: -1
1003: [(277 2480)] succ: -1
2460: [(2518 2457)] succ: -1
1562: [(2177 1562)] succ: 1
208: [(1015 208)] succ: -1
1106: [(921 1542)] succ: -1
878: [(57 1323)] succ: -1
9: [(2414 412)] succ: -1
592: [(2225 1612)] succ: -1
2437: [(2589 2437)] succ: 1
38: [(1348 428)] succ: -1
2679: [(2673 2675)] succ: -1
1350: [(1348 428)] succ: -1
1323: [(57 1323)] succ: -1
1782: [(1698 533)] succ: -1
861: [(1032 621)] succ: -1
1938: [(2571 1453)] succ: -1
2468: [(2656 1270)] succ: -1
515: [(1629 515)] succ: 1
2044: [(2045 503)] succ: -1
288: [(1380 576)] succ: -1
1500: [(1498 2393)] succ: -1
360: [(1995 1433)] succ: -1
318: [(1165 1506)] succ: -1
917: [(926 388)] succ: -1
2311: [(2310 636)] succ: -1
2703: [(1896 827)] succ: -1
2531: [(1662 1663)] succ: -1
540: [(1738 2156)] succ: -1
521: [(1016 25)] succ: -1
433: [(904 433)] succ: -1
131: [(2334 2559)] succ: -1
650: [(1250 2158)] succ: -1
2385: [(1236 2383)] succ: -1
848: [(1118 1178)] succ: -1
2092: [(1738 1686)] succ: -1
2446: [(2445 874)] succ: -1
1701: [(2177 1562)] succ: -1
1057: [(361 1057)] succ: -1
1597: [(1750 1597)] succ: -1
312: [(1991 312)] succ: -1
1899: [(1002 1899)] succ: -1
2275: [(2284 2283)] succ: -1
1803: [(1432 58)] succ: -1
1664: [(870 1686)] succ: -1
744: [(2520 744)] succ: -1
1824: [(2406 1830)] succ: 1
2512: [(839 2512)] succ: -1
2131: [(1551 2131)] succ: -1
1512: [(2647 2648)] succ: -1
984: [(1271 984)] succ: 1
2271: [(2269 2270)] succ: -1
2267: [(2268 861)] succ: -1
2367: [(2160 2367)] succ: -1
1113: [(2326 2587)] succ: -1
795: [(2612 2614)] succ: -1
1821: [(41 1821)] succ: -1
690: [(1686 1453)] succ: -1
906: [(2701 906)] succ: -1
2662: [(2628 1404)] succ: -1
1406: [(963 1406)] succ: -1
2199: [(1698 533)] succ: -1
2532: [(1662 2532)] succ: -1
1510: [(2205 1510)] succ: -1
1422: [(2262 376)] succ: -1
431: [(2499 1609)] succ: -1
1206: [(2614 2612)] succ: -1
1625: [(347 1625)] succ: 1
603: [(1125 1226)] succ: -1
514: [(2070 1465)] succ: -1
2058: [(1981 2058)] succ: -1
1613: [(1848 1115)] succ: -1
667: [(1080 667)] succ: -1
2030: [(2537 1686)] succ: -1
2056: [(2053 1465)] succ: -1
1267: [(5 6)] succ: -1
850: [(1982 2115)] succ: -1
624: [(2264 624)] succ: -1
1923: [(1947 181)] succ: -1
548: [(1987 1353)] succ: -1
2277: [(2273 2252)] succ: -1
33: [(1604 33)] succ: -1
826: [(1408 1915)] succ: -1
2427: [(163 1494)] succ: -1
145: [(1437 485)] succ: -1
2074: [(978 2074)] succ: -1
1286: [(57 1208)] succ: -1
1008: [(1365 1010)] succ: -1
1260: [(1604 33)] succ: -1
1557: [(837 1558)] succ: -1
1006: [(2486 1006)] succ: -1
2174: [(2696 753)] succ: -1
178: [(34 178)] succ: -1
2495: [(725 2495)] succ: -1
278: [(1699 1902)] succ: -1
304: [(1672 1674)] succ: -1
25: [(1016 25)] succ: 1
1126: [(1470 1469)] succ: -1
2548: [(1292 2207)] succ: -1
1619: [(1937 1695)] succ: -1
1739: [(2644 1304)] succ: -1
2106: [(2063 2112)] succ: -1
2257: [(2266 2264)] succ: -1
675: [(1629 515)] succ: -1
2648: [(1285 2648)] succ: -1
2412: [(2411 1686)] succ: -1
1555: [(1211 1555)] succ: -1
1513: [(799 1513)] succ: 1
1208: [(57 1208)] succ: -1
1910: [(1911 1910)] succ: -1
1245: [(2395 1245)] succ: -1
812: [(1533 812)] succ: 1
83: [(65 2173)] succ: 1
299: [(1004 1142)] succ: -1
560: [(1998 2200)] succ: -1
1853: [(2407 839)] succ: -1
734: [(2506 734)] succ: -1
28: [(2498 28)] succ: 1
724: [(1463 2494)] succ: -1
449: [(1869 449)] succ: -1
1016: [(1111 1634)] succ: -1
1947: [(1746 149)] succ: -1
2527: [(741 2527)] succ: -1
6: [(5 2134)] succ: -1
1847: [(1430 1847)] succ: 1
1125: [(1620 1033)] succ: -1
486: [(2583 2099)] succ: -1
1832: [(1095 1832)] succ: -1
2319: [(2448 1226)] succ: -1
210: [(1436 731)] succ: -1
2479: [(723 1832)] succ: -1
2411: [(1870 787)] succ: -1
732: [(1016 25)] succ: -1
2461: [(2518 2457)] succ: -1
1116: [(11 2441)] succ: -1
2140: [(552 2140)] succ: -1
2522: [(1710 2522)] succ: -1
1786: [(1569 1570)] succ: -1
1833: [(1876 1835)] succ: -1
2587: [(2493 1347)] succ: -1
1050: [(996 399)] succ: -1
1414: [(1815 1477)] succ: -1
1407: [(1982 2062)] succ: -1
2334: [(1639 2334)] succ: -1
1332: [(1058 1332)] succ: 1
1091: [(1134 1137)] succ: -1
1846: [(1748 1516)] succ: -1
1229: [(1554 2655)] succ: -1
1999: [(1998 2200)] succ: -1
2282: [(128 753)] succ: -1
414: [(2174 414)] succ: -1
4: [(1698 1782)] succ: -1
1053: [(2530 2471)] succ: -1
1674: [(1673 1674)] succ: -1
1069: [(1588 2559)] succ: -1
1559: [(1610 324)] succ: -1
2258: [(607 2258)] succ: 1
2171: [(571 2171)] succ: -1
2207: [(2206 2582)] succ: -1
2261: [(1049 2261)] succ: -1
2517: [(735 2517)] succ: -1
1265: [(2177 1562)] succ: -1
101: [(1711 1698)] succ: -1
2433: [(2431 2432)] succ: -1
2269: [(2270 2269)] succ: -1
1651: [(1016 25)] succ: -1
535: [(2097 2027)] succ: -1
2371: [(2373 2371)] succ: -1
622: [(1032 2255)] succ: -1
739: [(1981 2058)] succ: -1
264: [(1908 1634)] succ: -1
1807: [(963 1406)] succ: -1
909: [(952 951)] succ: -1
1036: [(2627 290)] succ: -1
2152: [(2036 2340)] succ: -1
1668: [(943 1668)] succ: -1
1960: [(115 1960)] succ: -1
2596: [(79 2599)] succ: -1
2544: [(1019 2544)] succ: -1
1405: [(1778 1405)] succ: 1
777: [(2010 383)] succ: -1
1261: [(1592 1261)] succ: -1
703: [(2438 703)] succ: -1
760: [(2479 758)] succ: -1
1358: [(1359 1358)] succ: -1
2061: [(1551 1982)] succ: -1
81: [(2677 81)] succ: -1
915: [(2590 2074)] succ: -1
1083: [(214 2178)] succ: -1
389: [(1727 389)] succ: -1
973: [(2644 1304)] succ: -1
1637: [(1308 1637)] succ: -1
1933: [(1931 1286)] succ: -1
841: [(2060 841)] succ: -1
2619: [(1530 753)] succ: -1
525: [(1257 525)] succ: -1
1455: [(1267 1686)] succ: -1
1672: [(1721 1672)] succ: -1
2089: [(528 2512)] succ: -1
1834: [(952 951)] succ: -1
1280: [(73 1280)] succ: -1
1864: [(2696 753)] succ: -1
1875: [(815 1875)] succ: -1
960: [(2272 614)] succ: -1
1769: [(1157 1153)] succ: -1
252: [(1082 201)] succ: -1
1068: [(1569 266)] succ: -1
1399: [(1852 1634)] succ: -1
328: [(1007 1009)] succ: 1
435: [(1351 435)] succ: 1
2658: [(1016 2658)] succ: 1
230: [(1162 2554)] succ: -1
2115: [(1982 2062)] succ: -1
1946: [(1214 2655)] succ: -1
368: [(1649 1164)] succ: -1
621: [(2286 621)] succ: -1
1890: [(2525 1604)] succ: -1
958: [(36 956)] succ: -1
1080: [(1436 2364)] succ: -1
2693: [(856 1686)] succ: -1
2116: [(2100 2117)] succ: -1
2039: [(2530 2471)] succ: -1
475: [(1629 515)] succ: -1
266: [(1569 266)] succ: -1
315: [(2369 2410)] succ: -1
2213: [(2214 1465)] succ: -1
1289: [(1789 1289)] succ: 1
2046: [(2082 1664)] succ: -1
983: [(1799 983)] succ: -1
2676: [(1077 2676)] succ: -1
1827: [(1134 1137)] succ: -1
2603: [(1673 1674)] succ: -1
2144: [(1698 533)] succ: -1
1948: [(2563 856)] succ: -1
2238: [(1633 1169)] succ: -1
1707: [(2010 383)] succ: -1
2333: [(1591 921)] succ: -1
59: [(60 59)] succ: -1
2210: [(2207 2210)] succ: -1
1578: [(2563 856)] succ: -1
508: [(1507 2167)] succ: -1
2029: [(1162 2554)] succ: -1
1270: [(481 1270)] succ: -1
2246: [(1444 1686)] succ: -1
1909: [(11 2229)] succ: -1
65: [(1379 1333)] succ: -1
1191: [(1051 1191)] succ: -1
1340: [(495 2022)] succ: -1
843: [(932 1473)] succ: -1
164: [(1420 618)] succ: -1
44: [(1620 1621)] succ: 1
1767: [(2492 1752)] succ: -1
2009: [(1096 2002)] succ: -1
809: [(1225 809)] succ: 1
1547: [(2691 2326)] succ: 1
440: [(1673 1674)] succ: -1
2245: [(1408 2087)] succ: -1
1224: [(2178 2642)] succ: -1
2099: [(2697 2099)] succ: -1
1491: [(163 1494)] succ: -1
2013: [(490 2013)] succ: -1
1829: [(665 1829)] succ: -1
1644: [(441 1644)] succ: 1
1854: [(617 1854)] succ: 1
2331: [(34 178)] succ: -1
1970: [(1778 1405)] succ: -1
693: [(1230 693)] succ: -1
1428: [(2677 81)] succ: 1
2402: [(1553 2402)] succ: -1
2003: [(2011 2012)] succ: -1
12: [(16 15)] succ: -1
2326: [(2691 827)] succ: -1
102: [(1741 753)] succ: -1
1531: [(2243 1171)] succ: -1
241: [(1193 241)] succ: -1
2629: [(1972 1849)] succ: -1
639: [(2540 639)] succ: 1
877: [(1686 1453)] succ: -1
1473: [(1773 1473)] succ: -1
232: [(1408 1915)] succ: -1
1734: [(2368 1734)] succ: -1
1942: [(1778 1405)] succ: -1
1147: [(1631 661)] succ: -1
469: [(1948 1686)] succ: -1
520: [(1491 2343)] succ: -1
1973: [(116 1973)] succ: 1
611: [(1578 1686)] succ: -1
2219: [(1612 1353)] succ: -1
1906: [(76 1082)] succ: -1
165: [(2652 165)] succ: -1
2308: [(1926 2300)] succ: -1
1556: [(2541 1686)] succ: -1
2457: [(2518 2460)] succ: -1
1976: [(483 1976)] succ: -1
120: [(2611 2288)] succ: -1
2160: [(2356 2177)] succ: -1
2328: [(2329 653)] succ: -1
2346: [(132 2347)] succ: -1
287: [(1417 287)] succ: -1
2566: [(1998 2200)] succ: -1
336: [(2634 336)] succ: -1
770: [(1420 618)] succ: -1
1711: [(943 1668)] succ: -1
1192: [(650 1249)] succ: -1
757: [(2579 757)] succ: -1
1061: [(1525 2643)] succ: -1
1305: [(496 1915)] succ: -1
2589: [(881 2590)] succ: -1
2549: [(2033 2045)] succ: -1
1719: [(1733 467)] succ: -1
162: [(1634 655)] succ: -1
2128: [(2032 2128)] succ: -1
390: [(1728 390)] succ: -1
534: [(1902 534)] succ: -1
799: [(1269 2467)] succ: -1
680: [(1968 680)] succ: 1
1917: [(2362 1808)] succ: -1
937: [(1404 281)] succ: -1
247: [(1672 1674)] succ: -1
2146: [(556 2146)] succ: -1
1303: [(1840 699)] succ: -1
1244: [(221 2480)] succ: -1
1264: [(835 1277)] succ: -1
23: [(1060 24)] succ: -1
273: [(2611 2288)] succ: -1
787: [(1870 2411)] succ: 1
2368: [(312 2368)] succ: -1
2586: [(11 2229)] succ: -1
277: [(1003 358)] succ: -1
778: [(2563 856)] succ: -1
566: [(31 841)] succ: -1
1534: [(986 2177)] succ: -1
182: [(2190 2559)] succ: -1
2417: [(1629 515)] succ: -1
970: [(1593 2562)] succ: -1
2079: [(2174 2178)] succ: -1
1246: [(1856 1688)] succ: -1
2125: [(851 2125)] succ: 1
523: [(1127 523)] succ: 1
513: [(2492 1767)] succ: -1
24: [(23 24)] succ: -1
532: [(2024 1223)] succ: -1
1415: [(2080 1415)] succ: -1
1310: [(1219 1310)] succ: 1
2673: [(2675 2673)] succ: -1
908: [(292 908)] succ: -1
1752: [(2492 1752)] succ: -1
37: [(1592 1261)] succ: -1
2441: [(11 2441)] succ: 1
2162: [(569 2162)] succ: 1
889: [(891 2654)] succ: -1
302: [(963 1406)] succ: -1
1570: [(982 1570)] succ: 1
2564: [(1337 1356)] succ: -1
926: [(917 926)] succ: -1
934: [(1141 399)] succ: -1
1012: [(685 1470)] succ: -1
655: [(1016 25)] succ: -1
1370: [(1068 1370)] succ: -1
434: [(1929 1147)] succ: -1
807: [(2451 772)] succ: -1
699: [(1840 1303)] succ: -1
2655: [(1214 2655)] succ: 1
847: [(1286 847)] succ: -1
324: [(1610 324)] succ: -1
591: [(1548 2231)] succ: -1
1326: [(1274 1326)] succ: -1
2705: [(2055 1465)] succ: -1
67: [(1592 1261)] succ: -1
1830: [(2406 1824)] succ: -1
2236: [(11 2229)] succ: -1
2040: [(2130 2040)] succ: -1
2595: [(2136 2599)] succ: -1
1311: [(1559 1610)] succ: -1
2020: [(1286 2020)] succ: 1
17: [(1939 2348)] succ: -1
1997: [(191 1997)] succ: -1
223: [(914 758)] succ: -1
862: [(2284 2283)] succ: -1
2134: [(5 2134)] succ: 1
886: [(1761 145)] succ: -1
1425: [(774 2139)] succ: -1
250: [(1400 250)] succ: -1
2576: [(2581 2577)] succ: -1
946: [(1420 618)] succ: -1
1814: [(1815 1477)] succ: -1
556: [(2146 556)] succ: -1
423: [(1145 423)] succ: -1
1580: [(1472 1580)] succ: -1
2161: [(125 2161)] succ: -1
825: [(1370 853)] succ: -1
2366: [(490 2013)] succ: -1
2042: [(2026 2042)] succ: -1
1788: [(104 1787)] succ: -1
1526: [(515 1717)] succ: 1
2175: [(202 2177)] succ: -1
1679: [(1629 515)] succ: -1
925: [(1496 925)] succ: -1
2157: [(2694 2156)] succ: -1
2628: [(943 1636)] succ: -1
1979: [(1470 1126)] succ: -1
943: [(1636 943)] succ: -1
2483: [(1721 1672)] succ: -1
2052: [(2055 1465)] succ: -1
793: [(1957 995)] succ: -1
1196: [(306 1196)] succ: 1
1553: [(1921 1081)] succ: -1
2642: [(2178 2642)] succ: 1
1642: [(2686 1642)] succ: -1
68: [(1604 33)] succ: -1
1210: [(359 1210)] succ: -1
2065: [(2123 2654)] succ: -1
1030: [(1380 177)] succ: -1
1537: [(940 2167)] succ: -1
482: [(2641 482)] succ: -1
2114: [(2653 2114)] succ: -1
577: [(2169 577)] succ: -1
614: [(2272 614)] succ: -1
1540: [(921 2655)] succ: -1
204: [(1733 467)] succ: -1
2389: [(924 388)] succ: -1
2102: [(2106 2102)] succ: 1
2185: [(1835 731)] succ: -1
2268: [(861 2268)] succ: -1
2166: [(2178 2642)] succ: -1
2298: [(627 2298)] succ: -1
2060: [(509 2058)] succ: -1
2057: [(2063 2113)] succ: -1
656: [(2048 656)] succ: -1
2487: [(1380 177)] succ: -1
992: [(1919 2383)] succ: -1
1345: [(2132 1344)] succ: -1
235: [(30 235)] succ: -1
158: [(921 1542)] succ: -1
2176: [(1534 2176)] succ: -1
2674: [(1533 964)] succ: -1
2117: [(2100 2117)] succ: -1
845: [(1286 847)] succ: -1
1799: [(982 1536)] succ: -1
1182: [(2075 1182)] succ: -1
248: [(2177 1562)] succ: -1
187: [(1295 2432)] succ: -1
2279: [(2280 2278)] succ: -1
586: [(2569 151)] succ: -1
1158: [(2169 2480)] succ: -1
1373: [(1431 313)] succ: -1
214: [(2178 326)] succ: -1
2474: [(1129 2474)] succ: 1
1169: [(1579 1643)] succ: 1
2695: [(1896 827)] succ: -1
2592: [(1175 2592)] succ: -1
1481: [(331 1481)] succ: 1
1770: [(2610 2614)] succ: -1
1964: [(475 1965)] succ: -1
2618: [(810 2618)] succ: 1
1695: [(1937 1695)] succ: 1
1955: [(1078 1955)] succ: -1
2359: [(2360 2359)] succ: -1
411: [(1776 1907)] succ: -1
1992: [(2368 1734)] succ: -1
1333: [(1725 2245)] succ: 1
590: [(2233 590)] succ: -1
2256: [(2252 614)] succ: -1
2458: [(2621 2458)] succ: -1
