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