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