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