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