#s idigest "08a31235d9b13fa644d944795762afba"
#p 2 2214
#s name "p26-heuristic-pub121"
(((((((((1230,759),((1063,1573),(((1051,((980,(1196,320)),661)),(216,217)),(80,1884)))),(95,(1561,858))),(814,(2125,1348))),(((43,1557),(((481,133),643),2208)),1520)),(((1920,2104),1548),459)),((((1997,343),((((((397,(1871,1147)),(1123,((1119,2070),1224))),((956,196),406)),225),1792),((2010,((743,(569,1562)),(1698,28))),(1437,2145)))),((1826,1713),(1183,1102))),(((((712,1689),(1188,1072)),(1549,1152)),(((590,2028),(1056,1675)),(208,264))),(((1364,((1649,739),1332)),(336,(876,(1793,139)))),(1587,197))))),((((((((((2046,660),1847),(1231,441)),(1286,((988,1148),1513))),(496,(((800,1535),538),(2001,1753)))),1355),((((((1866,665),((((651,(1386,1806)),((381,1807),1255)),((((1654,(122,1969)),(1850,58)),(1308,2099)),((815,(402,2100)),1964))),(1300,36))),(1158,(658,(992,1944)))),(((838,((1982,(1565,1325)),(((964,1519),1066),(((1878,482),611),972)))),1679),((373,(916,1832)),985))),((817,1352),(1390,(1415,(497,1952))))),(((((431,((315,1449),1223)),(2018,399)),(436,287)),(1194,1905)),((1931,(1977,1801)),(1009,1521))))),((((1880,1584),1410),467),((1002,490),((((2112,598),(1708,((1572,2114),(1270,1201)))),(1582,((((((((2135,1135),952),(1459,1207)),((701,1636),(((1019,266),(27,113)),789))),((268,1661),398)),((351,1013),1095)),(((1205,(1926,1132)),(1787,(1443,458))),((148,1281),2186))),(((1844,1160),(160,(1090,2156))),((((173,1214),((869,1310),484)),(1233,(128,1435))),((((2069,(1011,942)),1431),2025),551)))))),((((((((116,560),(1646,461)),(1783,(190,60))),((((2115,126),717),1577),1800)),(((((2075,1730),1197),(2064,1118)),(1992,74)),(((2199,34),579),(886,1130)))),((((1824,1266),((680,1947),1068)),(367,(646,944))),((119,2204),(((178,1368),201),66)))),((185,(((1929,(1746,(2067,(794,1409)))),167),((1010,(191,(1789,391))),1707))),((((((758,1670),(42,1137)),(2206,1651)),((((69,1534),(444,88)),(2004,((145,548),37))),408)),((((1006,440),1145),(649,1546)),1363)),(((325,(617,2091)),622),((((2200,1909),9),(((477,((1166,(1738,1060)),558)),(1040,(((928,583),896),460))),189)),((1732,(87,1796)),1790)))))),(((((((763,(2073,671)),(769,919)),(((1103,1726),(1211,454)),((2162,((1485,1192),1701)),(1113,((1365,553),420))))),(1615,(416,1146))),694),285),((1759,(1480,142)),(70,227)))))))),((((((1293,(((546,403),736),1353)),144),((((((((1105,1547),2019),((((878,746),995),837),1176)),(1392,1752)),(146,(627,(1199,(2014,984))))),(2140,(221,1586))),(((1705,492),2036),((2008,2118),234))),((1970,((393,1112),(1236,(1645,331)))),(1294,(((842,357),713),(300,290)))))),((((((((859,111),1165),((((309,1029),2082),63),(499,1280))),(576,504)),(449,(206,1174))),(250,(730,1784))),(1750,(498,1384))),((549,456),699))),((((((1172,2026),1276),305),(((1923,(788,1991)),(681,1815)),866)),((((((((1527,1467),(((318,1913),295),1416)),(2096,1243)),1337),(((1780,1065),8),554)),((542,(1405,((((389,1235),(1059,1154)),172),((353,1897),1770)))),(((2043,691),453),(1809,552)))),(120,941)),(((2009,745),((73,(689,1475)),384)),(1564,2138)))),((((1189,2121),1178),(951,271)),1023))),(((1465,((((592,1984),(((98,1218),2039),816)),(1357,(1020,(1240,682)))),(((1250,2210),898),(302,1552)))),((1370,(((1805,404),((905,(1098,1395)),256)),((((1608,708),4),(669,1648)),(1004,((413,1653),1244))))),((124,2060),(2077,(662,1943))))),((((1531,82),((1912,684),1087)),((734,879),((1545,(1550,(762,934))),1936))),(((379,2013),(780,1830)),(443,2038)))))),((((((1190,((1406,507),(1203,1611))),1888),(((68,((894,1762),2182)),1514),1221)),(((1470,(654,346)),(396,2212)),1706)),(((1369,1684),((291,1782),1131)),825)),(((748,((1427,((1933,2111),1261)),(1640,((1954,563),322)))),(2090,(528,885))),((((740,(2164,(1542,1773))),(1681,(((((101,2106),38),((559,1229),(1303,465))),612),((1812,1331),1338)))),(666,998)),((((976,692),(1351,10)),56),562)))))),(((1798,(((((((1094,778),(600,20)),(((1187,(48,(245,(1715,72)))),(((1350,1814),2035),1791)),(((1949,(1228,841)),(226,2179)),(((1488,1616),((1315,1124),1965)),((1638,(871,1425)),(1249,117)))))),((((64,1067),1149),(1894,863)),(((3,2154),1400),(1885,((900,115),(751,830)))))),(1062,1027)),((255,(698,181)),(356,260))),((1397,((1058,422),2040)),(((797,(57,211)),((1162,457),2185)),2120)))),((((((((((809,1015),(2057,1129)),1664),((932,1254),1120)),1144),((567,1981),2146)),(((((((1524,293),((169,1043),(726,1237))),(1864,786)),(12,(33,(((180,(1541,341)),2159),1837)))),((1854,1735),1860)),((2027,1628),((1477,1663),1108))),((((589,(761,954)),156),(((166,29),864),(962,(((1747,1709),319),(298,448))))),(((2030,(581,((1872,1114),2170))),659),(((333,582),747),1210))))),((303,1786),2180)),((274,(1153,806)),((((((278,1597),(135,1161)),781),(299,(((71,1438),(539,(1532,1434))),1522))),((683,200),((((1417,1159),1819),(1605,880)),((((1304,((1890,1),473)),(1283,(1039,(1785,118)))),((((1742,1655),1241),93),((162,(1957,986)),1838))),((846,1484),((((958,(1275,1424)),(1987,(338,1725))),834),((35,999),(2011,991)))))))),((62,((198,1329),((((52,(129,1402)),((371,313),1879)),945),(593,1853)))),(1718,1111))))),(((674,((94,14),((1109,(1590,1366)),1016))),(1733,993)),(((((204,989),((1227,355),2161)),2032),767),(((1846,1563),530),((147,949),(165,1248))))))),((((((((704,914),((1037,(824,1917)),((851,1927),411))),((((1986,((340,1937),((729,(1985,1630)),1637))),1609),664),157)),((2044,(1892,544)),(1848,(2150,1256)))),((213,((536,1828),(1334,(822,926)))),(((((((1662,1591),625),1658),(1895,(386,(1526,1382)))),(1697,1239)),(((((835,433),((725,361),485)),452),((1808,(2066,((1602,931),410))),(1921,((1622,326),(1313,1053))))),(((1772,((1962,360),(1259,2137))),(714,(((2131,1307),606),1302))),(((((1127,332),(1326,1340)),(((153,765),401),(2173,284))),(534,(((874,1583),1626),1444))),(1958,((((827,1533),2058),2107),1714)))))),(((((((2022,(568,1886)),1716),(((((491,168),((1076,1343),1717)),(1656,(244,1048))),2003),1296)),((((1831,522),720),(((971,1354),(352,1939)),330)),(1376,2048))),((1862,705),1777)),(564,1226)),((((((969,1771),231),1598),561),(432,961)),((((177,818),((1647,(241,1403)),478)),1942),(199,(1447,844)))))))),((((((1553,965),((1083,((2053,1509),182)),50)),(((((1613,2183),1407),(1301,537)),(16,((158,902),1614))),(((((1295,((1287,2155),1490)),((388,207),((1070,6),608))),(((912,1650),1560),1323)),(((1979,1881),(((1580,1768),((86,1471),(1441,((1858,1540),635)))),(((((1492,792),((((516,1170),(1084,1755)),(1570,414)),(1333,1877))),442),(372,588)),(603,(574,2139))))),((((731,409),1133),728),657))),((723,((((597,((1455,1955),1989)),((996,2072),591)),(((557,923),(2055,1889)),((959,1096),362))),(1473,((1685,2034),468)))),(((1404,506),(599,1974)),1092))))),(((((702,918),(1619,(385,1191))),((1091,15),(((1941,483),((672,376),187)),(1568,(1868,1644))))),((1422,1106),(((2056,54),((480,358),670)),1967))),(((((((1908,1566),1988),(486,138)),((((((354,1571),596),1312),(1466,437)),(((329,1251),44),280)),((((1567,764),2015),1898),(1841,1335)))),(((870,1389),(51,382)),((292,((((1948,829),(1904,19)),238),(246,1976))),(((1903,1754),641),((791,520),1569))))),((((((314,1411),((((2147,517),2033),(321,252)),((1346,543),(1388,76)))),(1086,308)),(2108,417)),((((141,927),296),((((2198,637),(159,1419)),1177),2017)),((673,317),((2132,(((1767,1865),334),337)),((((628,875),220),((652,1585),1495)),11))))),((424,(((2166,1262),1639),(1371,130))),(438,(2188,(753,1292)))))),((1677,(171,239)),840)))),(((((((2068,237),(140,(1215,1279))),(1208,((925,948),(1643,1232)))),577),(1731,(((1360,711),((1479,620),1575)),877))),((1961,1500),1642)),((((257,265),(502,508)),((570,1030),((2176,1825),((1700,472),(802,25))))),((((2202,1398),((218,1559),439)),(527,1339)),((((719,1574),1456),1686),(((1497,953),464),1673)))))),((((1204,(1678,426)),1769),(((270,1774),((312,(849,1928)),108)),((((2105,(1916,495)),(272,(328,1318))),((955,1264),1620)),(((584,1122),(1285,1202)),1073)))),(150,((854,(1499,1448)),(947,1930)))))),((((((1394,(754,(242,(1327,1359)))),((5,((2023,(450,1604)),40)),(1906,104))),(((((269,1518),(((1116,((304,1946),1311)),771),45)),(1543,1245)),(((1896,((1618,(1667,85)),277)),23),((647,883),(804,994)))),(((((706,(1748,727)),521),(114,(1810,2174))),(1822,489)),2109))),(((2122,974),(((2098,462),((188,(1578,1195)),(773,884))),((1021,(1517,2123)),((2050,555),(609,1932))))),(((((1599,587),31),243),1901),(1117,(893,1816))))),((((((997,1163),2168),(1008,1938)),((1242,(267,1710)),((1463,1433),1722))),((((258,1739),640),(((573,2163),(639,((463,917),855))),(1469,2095))),(((688,(1155,(((((110,1140),1971),1047),(493,645)),2071))),((392,2007),415)),(1817,1669)))),((((((1856,1451),(798,((2002,675),(1290,((772,777),289))))),(1342,(429,1209))),((((((1671,((1453,24),1511)),2124),(1734,744)),(903,((349,785),679))),(((1267,((1516,(721,(930,125))),1554)),(((889,1537),(1213,1607)),375)),1483)),(((644,((92,865),1401)),1193),(451,733)))),((((((((192,(1601,1052)),(154,(920,248))),(((((1922,(470,2187)),505),((203,1919),(1396,2097))),(((1115,1001),(7,1220)),(78,2024))),1291)),(((782,1756),(155,((1464,127),1428))),(((1272,850),((2020,724),1501)),((99,((648,(685,(1358,(1699,1702)))),((982,261),1320))),668)))),(((((1273,(1851,1625)),(1788,1966)),(((1034,2153),((1322,1631),(1379,(212,1412)))),(((((1544,(1468,(1061,895))),(634,(752,1408))),1462),(1305,(368,1990))),((1383,(2101,572)),175)))),((1720,179),(1482,580))),((((((1393,(1740,380)),(710,345)),(((632,853),595),((1579,469),(1600,134)))),((805,(((2117,262),(2063,1381)),(((1018,1551),(1069,(102,(1007,1861)))),301))),209)),(((1882,1763),(808,(((716,585),626),749))),((1022,653),((663,((1247,990),547)),(1764,1910))))),(((475,831),((783,1978),(2152,1873))),((((1282,1592),1539),(1751,1288)),((((1953,977),(1139,(899,636))),(((940,103),(1491,400)),1494)),((1014,(107,(1493,2042))),1277))))))),((833,1907),(((275,(((427,1439),((1839,1911),2126)),1852)),(412,693)),(((((((867,316),(2049,1624)),862),(861,32)),(((1110,((1271,718),170)),((897,100),(((344,1744),202),1914))),(112,823))),(1399,(738,378))),(1121,((1859,(703,1721)),((1596,1743),(921,619)))))))),(((((1028,2061),(214,((1418,1766),2079))),(((1216,1972),((((707,1741),(195,2130)),(((2167,(1476,((1212,1692),(1099,2201)))),(1185,(1869,(2165,(1263,1104))))),((1623,1074),(2078,236)))),((776,700),(2016,1175)))),((18,715),(2021,(1512,1071))))),((946,1206),((614,532),2084))),((((1372,909),(383,795)),(1973,1617)),430))),((((((1694,1035),((((1054,1959),913),1297),(1289,390))),(1863,(46,1257))),1156),((((1693,306),((1429,650),((888,(283,973)),121))),(2005,987)),(359,1151))),(((1504,1268),((575,(131,1983)),84)),(((910,2045),434),((425,2031),1794)))))),(((((1031,(1994,(((1891,((1041,1097),1813)),1980),109))),(1299,(709,933))),2089),((106,(1606,1836)),(1142,(1975,((821,1834),(1138,((722,1126),(79,1665)))))))),(((((77,624),1077),((656,(2080,(784,91))),(957,512))),((((1486,((335,230),531)),(1387,811)),(((363,(219,1101)),228),((1362,1460),((((766,1893),(1799,1341)),421),2214)))),(((494,161),836),((1317,21),445)))),((((1179,1168),(1634,535)),(136,377)),(1855,(53,983)))))))),((((2195,387),(((2141,1414),186),529)),((((1842,1594),423),1960),1603)),2062))),((((((594,365),(1024,1724)),((((1737,240),((224,756),1727)),(514,852)),((1918,1461),(607,1633)))),((((2203,2194),(2172,1081)),(1198,(193,(2081,205)))),(533,((1530,(286,1712)),((2133,466),1321))))),(((((((455,1458),(1843,1581)),1779),((1502,394),686)),1017),((((1033,1430),(975,1298)),(1082,2151)),((1690,65),((((1219,(735,((545,1252),17))),1760),1536),((((447,1487),1757),(2160,1012)),49))))),(((((((((1776,621),1723),(((1253,1167),(((1874,2184),1821),164)),(768,1421))),((1781,2087),(2119,((550,1835),((904,1378),(327,(323,((1143,1420),1347)))))))),((((((1057,(1180,1385)),1506),1173),(578,(2189,1945))),(1525,(1064,540))),((222,((1169,1687),1085)),((774,(1629,(2113,(1445,732)))),(2193,2207))))),((1672,((1238,1621),(((276,(2088,936)),(1996,667)),(176,229)))),((((629,1269),((1508,2006),787)),((970,(2076,978)),(13,1093))),929))),((966,939),((1641,(1956,638)),1481))),(((1736,1668),((1797,1324),1036)),(((2157,((1857,1870),347)),(511,342)),924))),(((((59,1141),((1803,407),1680)),(((630,((143,1377),(1745,2))),586),(((479,96),(2129,(742,55))),((259,369),(((1704,(1496,307)),526),(((1413,(2094,755)),1474),((1934,1440),1278))))))),(((((892,(1883,799)),(873,2092)),1003),(((1632,(2158,((1635,1612),(233,1367)))),(((1802,906),1660),1691)),((695,47),(((950,281),(1875,(2116,(232,697)))),(((1935,(779,474)),350),(857,(1316,((1683,907),1728)))))))),((1306,446),(1820,872)))),((((((1538,((1703,471),(556,810))),((796,820),793)),(((981,(1951,1676)),1610),(476,324))),((((435,(2103,868)),1719),(((2102,750),((2142,(41,1075)),((1246,1157),891))),((418,(2181,1867)),(((1164,618),828),(803,2012))))),((((1361,1200),297),(183,757)),((1222,(419,1576)),519)))),((((1049,(678,2093)),(61,(((339,(1260,174)),(1038,1887)),524))),(1588,1778)),(((1652,(1795,((1128,807),(2128,1657)))),(2041,915)),(((2134,938),1171),((501,1457),1344))))),((((1000,2083),(1682,1274)),((370,847),(30,(((251,(273,288)),366),(163,2052))))),(235,488))))))),((((((1940,263),1225),(2047,(1336,1345))),((((253,775),623),((1659,503),254)),((((279,((1234,1436),((1181,1044),1999))),(((1765,737),525),2085)),((((1423,1818),2192),(2196,(1374,(1833,(1998,509))))),((2209,((1993,676),(943,2177))),(123,(1510,1505))))),((968,631),(1695,132))))),(((((1330,1515),(1498,294)),((((1080,(513,1876)),(2127,(610,515))),((500,1089),215)),(((2110,(348,1265)),1507),(((1046,1902),(2143,882)),(839,819))))),((22,((1005,1489),223)),((1823,604),848))),((((((1995,1900),1711),(510,960)),((487,565),((149,1150),615))),((151,642),(911,2065))),(((2074,364),1328),((((1450,(1674,935)),1555),(1426,2171)),1217))))),((((395,83),((((741,((1182,1924),(1589,137))),((541,(832,1804)),690)),(((937,2144),(1761,194)),((((((826,(97,184)),1472),((((1529,696),1454),602),(((967,247),428),(605,518)))),((2086,(1666,1442)),(655,1079))),(901,(1446,(1696,(2197,1284))))),(1309,282)))),(1593,(908,(2149,845))))),(((2059,(1373,571)),((2191,(311,1968)),1523)),((2000,26),((2175,2051),(1840,1925))))),((((1134,((1258,90),((((1558,566),((((1811,((523,(89,2178)),(1503,(1849,81)))),(1088,1100)),((1899,1729),2029)),1125)),(677,((1186,374),(813,210)))),(890,(((2190,249),1026),((((2136,1025),2037),1032),(1184,39))))))),((((1758,(1349,1478)),(1055,1136)),1528),((1950,881),(812,(1314,(1078,152)))))),((((843,1627),1452),1829),(2169,(2213,1432)))),((2148,((105,760),(1827,(75,963)))),((((770,(860,(((801,1845),((1380,1319),1045)),(1107,((1556,616),1963))))),((922,790),601)),((310,(67,1775)),((1595,(1375,1688)),(2054,(633,((1356,1391),(405,2211))))))),(((613,1042),(1749,687)),(((887,1915),(1050,979)),(856,2205))))))))))));
(((((((((1705,2118),((1970,331),(393,((1112,1645),1236)))),(2008,((492,234),2036))),(((((1752,995),(878,837)),1547),(((1176,357),(1392,713)),((((1294,146),(1199,984)),627),2014))),(((290,(221,1586)),(2140,(2019,1105))),((300,746),842)))),(736,(403,(1353,(144,(546,1293)))))),((((1897,172),(941,(1059,1235))),(((1809,552),(1065,1780)),(8,554))),(((((2009,689),1475),((305,(2026,1564)),(1276,1172))),(2138,((1416,((1527,1467),(1913,(295,318)))),453))),(((((1023,(((951,2121),271),1189)),1178),((1991,1923),788)),(((353,((1405,1154),389)),(120,(1770,542))),((1243,(2043,1337)),(2096,691)))),(((1815,681),866),((745,73),384)))))),((((2001,1535),((1679,482),((((((658,((1944,(992,1158)),665)),1866),(651,1807)),(((((1832,1194),916),(1905,373)),(((1847,2018),(1148,(1513,(1223,402)))),985)),(((((381,(1806,1654)),1850),(1969,1386)),(122,(436,(58,1255)))),(2046,815)))),((287,(399,(1300,1308))),(((988,2099),(2100,431)),36))),((496,1753),(800,538))))),((((((497,1952),817),(1352,1390)),1415),((((1977,1801),1521),(1355,1009)),1931)),((((((838,964),1565),(1066,(1982,972))),((1878,1519),1325)),611),(((1964,1231),1286),(660,((315,1449),441)))))),(((871,(1315,(1638,1425))),(2154,((((698,181),((260,1814),(1350,356))),1062),((1027,(2035,(1894,863))),1791)))),(((1993,(1765,737)),(((1225,2047),((1336,1940),263)),1345)),((((623,((503,1659),(775,253))),254),((943,1423),((525,((132,2177),1818)),1505))),((676,(1833,(968,(2192,1695)))),((2085,1510),((((((1999,509),1998),(1234,123)),(1374,279)),((2196,(1436,1181)),1044)),(631,2209))))))))),(((((1108,(1628,1477)),(1718,1663)),(((((1111,(1872,448)),((298,2170),(((954,166),581),(156,589)))),(659,1747)),(((962,(((2030,747),1210),864)),(319,(1709,761))),(333,(582,1114)))),(71,((((1434,((809,1981),1015)),(986,1957)),((((93,1655),((1838,1283),1039)),(((958,35),(338,880)),((1987,(1890,(473,(200,2011)))),((1159,(((1605,834),(1424,(999,1819))),1725)),((1304,1417),(991,683)))))),1)),((1597,278),((299,781),(135,1161))))))),((((((((1043,(1524,1860)),(((2159,33),12),(1735,180))),(1864,((341,((1237,(726,1854)),169)),1541))),2027),((786,293),1837)),29),((313,(1329,62)),((198,1402),(1853,371)))),((((1522,1120),(1532,1144)),(((2057,1664),(539,(1438,1129))),932)),((846,1484),(((1275,162),((1241,1785),(118,1742))),((2146,1254),567)))))),(((((1912,2038),(684,780)),1087),(((((934,1936),762),443),1550),1545)),(((82,1531),(734,1830)),((379,2013),879))))),(((((773,(((1932,2050),((2122,609),(974,555))),(((((2098,1578),(462,1901)),(1117,((1816,893),2123))),(((884,(1599,587)),31),((188,1195),243))),(1517,1021)))),(((((994,(883,647)),(1311,(((1667,1116),1618),771))),(1394,(2023,1604))),((((450,40),5),((23,804),(1245,(1543,(277,45))))),(1327,((((269,(521,1810)),114),((1518,2174),((85,1946),(304,1896)))),(706,(1748,((1822,727),(2109,489)))))))),(1906,((242,1359),(754,104))))),(((((1050,((((1563,767),(((1556,1846),(616,1380)),1963)),1845),(((1827,((963,(1248,75)),165)),2032),(((((1319,1045),801),2161),(860,770)),(530,((204,1107),989)))))),(1134,((((979,1915),((2205,856),887)),((922,((1950,601),790)),881)),((((1349,1478),((((2029,1100),89),(2178,(81,1811))),(1503,1849))),(((152,1314),(1258,(812,90))),((374,210),(((1528,1758),1055),1136)))),(((((1184,249),(2037,2136)),(1729,((1899,523),1088))),((677,(1125,1186)),813)),((((566,2190),(890,39)),((1025,(1558,1032)),1026)),1078)))))),((1595,67),((((1391,633),((405,1375),2211)),(2054,(1356,1775))),(1688,310)))),(((600,((((751,900),3),((1885,1094),20)),((778,1400),(115,830)))),((((797,2120),2185),((1397,211),1162)),(2040,((((1058,457),57),422),1798)))),(((2074,364),(911,(642,(151,2065)))),(((1450,1674),((((1995,1900),935),1555),(1711,(2171,((1426,(510,960)),1328))))),((487,1150),(((615,149),1217),565)))))),(((((1432,(2213,2169)),((1627,613),(1829,(1452,1042)))),((1749,(2148,687)),843)),((1227,355),((760,(147,105)),949))),(((1153,806),((303,2180),(1786,274))),(((129,593),((1879,945),52)),((((((2000,(2175,(1840,26))),1925),(((184,605),(2197,1284)),((1472,967),((((518,(97,826)),1446),(901,(428,1529))),(247,(((602,1454),696),1696)))))),2051),((((541,(832,1373)),690),(2059,(137,(1924,1182)))),(((((1590,(655,1109)),1079),(((1016,1366),(14,2086)),(94,(1666,(674,1442))))),(((2191,(311,993)),1523),(1968,1733))),(83,(2149,(((908,1593),395),845)))))),((((741,1804),571),1589),(1761,((282,194),((1309,2144),937)))))))))),((((((1137,(758,2206)),((1670,42),1651)),((1363,(649,440)),((1546,1145),1006))),((((558,(1060,1166)),((2200,583),896)),(((477,189),1738),(1790,((928,1732),((1796,((9,1909),460)),(87,1040)))))),(((70,((285,142),(1480,(1759,227)))),(((((88,1615),(2004,454)),((694,1365),420)),37),(2073,((919,(769,408)),(671,763))))),(1701,1192)))),((((718,(1271,(823,(861,112)))),((((795,((909,383),(1372,1973))),1617),((((1869,1623),(((1512,(18,214)),(2021,1071)),1692)),((700,((1766,776),1418)),1175)),(((((2061,1104),((2165,((707,1263),1741)),1028)),((715,((2078,1972),2201)),(((1216,1185),2130),((1476,1074),1212)))),2016),2167))),(((614,2084),((430,532),(946,1206))),(195,(1099,(236,2079)))))),((((1360,877),1500),(((257,577),(1575,711)),620)),((1339,1961),(((1825,((237,1279),2068)),1232),(925,1208))))),((((580,833),((((((1763,1494),400),(940,1014)),((1539,2063),((((1381,(1551,262)),(1282,805)),1069),(2117,1751)))),(((595,((469,853),134)),(((380,1393),((345,710),1740)),(1579,(1600,632)))),(1978,2152))),(((((316,1399),1624),862),(921,(1914,((100,(344,1744)),(897,202))))),(((((1061,1468),((1544,(175,1383)),(1408,752))),(((1034,(1990,1305)),1322),1966)),1342),(((378,((703,((1121,1859),738)),1721)),(2049,867)),((619,(((1743,1596),32),170)),1110)))))),(((230,531),(228,((1486,335),(811,1387)))),((1460,219),((1893,1362),(((766,421),1799),(2214,(1341,(363,1101)))))))),((((((1634,1168),377),535),((91,77),(512,957))),(((((((258,2168),((2071,855),2163)),997),(((((463,1155),(1739,(415,1669))),((392,917),1469)),(1047,1938)),2007)),((1008,(688,1817)),(1140,(110,(639,493))))),(784,(((((1077,53),656),983),(624,2080)),1855))),(((1722,(267,1242)),1710),(1433,1463)))),((947,1930),(((((((((1764,1247),(((990,(808,(716,1910))),1022),663)),626),((585,547),749)),(((2042,(102,(1861,1007))),((209,301),((((1873,475),831),783),((1288,1018),1592)))),(((1491,(1953,636)),107),((1493,103),(((1277,(899,1139)),653),(977,1882)))))),(((((1412,2101),634),(1907,(1720,(179,1482)))),((2153,368),(1788,((895,1379),(((572,212),1462),1631))))),((1625,1273),((1851,1209),429)))),((((2126,2002),(((1839,427),1439),1290)),(777,(275,289))),(1856,((((693,412),(1451,675)),798),(1852,(772,1911)))))),((((724,(((470,505),((((261,2187),1699),1115),(668,78))),((1396,(7,2097)),1922))),(((1320,99),((1702,982),1358)),(1919,2024))),(127,((782,1756),1428))),((1464,155),((((192,(1291,(1052,1501))),((920,2020),1272)),((648,(1001,685)),(203,1220))),(((248,1601),850),154))))),(((1448,150),(854,1499)),(((((((1891,(106,109)),(1097,1041)),1299),((1834,2089),((1126,933),(722,1665)))),((821,79),((1606,(1031,1813)),1994))),(((((955,1285),(1678,584)),(1073,(1264,1620))),1202),(((1769,1122),1204),426))),(((((1928,(108,270)),(1774,849)),312),((1980,(1975,1138)),((1142,709),1836))),((495,1318),((272,1916),(328,2105)))))))))))),(((((((1347,1420),(2087,327)),(((((1143,550),(323,(1378,1781))),((904,2119),1835)),(((2184,((1085,540),(1169,1776))),((1064,222),(1525,1723))),(((1945,(578,2189)),((732,((1269,1621),1238)),(276,1445))),(((1093,(2088,929)),2207),((629,1996),(1629,2113)))))),(((2193,176),(((((229,(1508,936)),(13,((970,787),667))),((978,1506),(2076,1173))),(2006,(1180,((1057,1672),774)))),1385)),((164,((1687,1421),(621,768))),(1253,((1874,1167),1821)))))),((((1033,(((1298,686),1017),975)),(1690,1458)),(((1779,(1430,455)),(((1757,1487),((49,(17,(1252,1012))),((545,2160),((1219,447),1760)))),((((1082,1581),1536),1843),(2151,65)))),((1502,394),735))),(((569,(264,1675)),((((1119,(1224,((406,1123),2070))),(((1147,(196,397)),956),(1792,1871))),225),(((139,(1332,(1587,(876,1793)))),((1649,(1997,343)),336)),2145))),(((((1713,1437),(1826,1183)),1102),((2010,1698),((1056,((590,2028),208)),(28,(743,1562))))),(((1188,1689),(((1072,1152),1549),712)),(739,(1364,197))))))),((((1884,(2104,80)),2125),(((95,43),((1557,((643,1561),320)),(((((1051,(217,481)),(1573,133)),(1196,1920)),((661,(1063,2208)),980)),(459,((814,1520),858))))),(1230,((759,(1348,1548)),216)))),((((1003,(873,799)),(((55,(((586,2),1377),((1745,630),143))),(2092,(1883,892))),((((259,1413),755),1474),((369,(526,96)),(479,742))))),((446,2129),(((((1683,(907,1680)),474),(233,(1875,2116))),(((857,(350,1803)),((1316,1728),((779,1935),407))),(((47,1660),((695,(1802,906)),1691)),1367))),((1820,((59,1141),(1306,872))),((1635,(1612,2158)),1632))))),(((((((1324,924),1668),511),1036),((347,1857),((2157,(1736,342)),1870))),1797),((((1704,1440),(307,((1278,1934),1496))),2094),(232,((697,950),281))))))),(((((((1662,(931,1382)),(((1591,(1622,1895)),1313),((386,410),(1053,1658)))),(((326,1602),((625,1808),1921)),(2066,1526))),((433,485),2107)),(((536,(213,1334)),926),(1828,822))),((((869,(1281,1310)),2186),(((148,((((1013,1095),173),1214),(484,1582))),351),(((1443,1636),(701,(1787,789))),((1207,(266,1019)),(952,27))))),((((2069,(942,1431)),(551,(1011,2025))),((2112,((1926,1135),((((113,(1132,458)),1205),1459),2135))),((1435,1233),(398,268)))),((((1708,1201),((160,((2114,1160),1090)),2156)),((598,1572),(1844,1270))),(1661,128))))),(((((((((1707,1746),(391,(1929,1010))),1409),((794,2067),(185,((1789,167),191)))),(((646,1118),((1947,66),(178,(1197,367)))),((((622,(2204,2091)),119),(617,325)),((((2199,944),(886,1992)),(680,1368)),((1730,579),(74,1130)))))),(((2064,34),((201,1068),(2075,(1266,1824)))),((126,((1800,560),(1577,461))),(1646,(116,((1783,(190,(717,60))),2115)))))),(1892,((1848,2044),(1256,(2150,544))))),((((((1942,(241,231)),969),((((((1376,1296),1716),568),1354),(330,720)),1447)),(((((1403,1598),((1239,1771),818)),(199,((844,1862),((2022,(1886,2048)),((((1076,1717),1343),352),2003))))),((432,(478,(961,561))),(177,((564,(1226,1697)),1647)))),((1831,(((1939,971),1048),(((168,(244,1656)),491),522))),(1777,705)))),((((1326,(534,((2173,284),153))),(((((1583,874),332),(606,2131)),((1307,1626),1340)),(401,765))),((1444,(1127,((2058,827),1958))),(1714,1533))),((835,1962),((452,(1259,1772)),360)))),((1302,2137),((714,725),361)))),(((411,1037),((824,(1917,851)),1927)),(((((1584,1002),490),467),(1880,1410)),((((1146,416),(((1534,((1103,553),(69,145))),((548,1113),1726)),(1211,444))),(2162,1485)),(((340,(704,729)),1637),(1986,((1937,1985),((914,157),((1609,1630),664))))))))))),((((((865,(744,((((679,785),(24,1453)),1671),(((349,1734),(2124,903)),1511)))),(((((((2005,650),1429),((306,987),1693)),(973,((359,121),((283,1151),888)))),(46,(1156,(1959,1694)))),(((644,(1401,(92,733))),451),1193)),(((((((434,1607),((930,375),721)),((1267,1516),(889,1537))),(((1213,1554),(2045,1794)),125)),((910,425),(1483,2031))),((84,131),(1504,((575,1268),1983)))),(1297,(1054,(913,(1289,(1035,(1863,(1257,390)))))))))),(((((((2082,1280),(63,499)),309),682),(((111,(1165,1020)),(816,98)),1984)),((708,(1384,413)),256)),(((((((((1004,1648),669),1750),(4,(1653,(498,1608)))),(905,1098)),(1805,(404,1395))),((1029,((449,(1174,1357)),((859,1240),(592,(576,(1218,206)))))),((2060,((2039,504),1465)),((2077,124),(662,1943))))),(((302,(2210,898)),((1552,1250),1370)),1244)),(549,((730,(456,(1784,699))),250))))),(((((1470,1706),(((1514,894),((68,1221),(1762,2182))),346)),(((291,(1131,1369)),(1782,(825,1684))),(((1888,1611),1406),((2212,(396,654)),(507,(1190,1203)))))),((((((692,1351),56),(10,562)),976),(((1640,2090),(885,563)),((322,(2111,1427)),((1954,528),(1933,(1261,748)))))),((((((1812,(465,(1229,612))),(1338,((2106,38),1303))),(559,(101,(1331,1681)))),(740,666)),1773),(2164,(998,1542))))),((1481,((((1956,966),638),939),1641)),(((174,(((524,(1038,1588)),(2093,1049)),(1778,((678,61),(1260,339))))),((((1000,488),847),((((((273,1171),1274),1682),((938,2052),288)),(366,30)),2134)),(251,163))),(((370,(2083,235)),((618,750),2102)),(1887,(((435,((((2142,(1157,1676)),(1344,418)),((1703,41),((1075,471),324))),((2012,2181),1164))),(((297,757),(183,1361)),(796,(1457,(((868,476),(((556,1538),1657),(2103,1795))),(((891,(1246,981)),(((2041,915),807),(1128,501))),1719)))))),(((1652,(419,((793,1222),(1576,519)))),((820,1200),(((2128,1610),810),(1951,828)))),(803,1867))))))))),(((((245,64),1187),(((1715,1067),(1124,((1965,1616),48))),1249)),(((72,1228),((2179,1949),841)),(226,1488))),(((((500,((513,215),(1089,1080))),2127),(((604,515),1823),848)),((((1330,1515),2110),((348,1265),2143)),(((1046,((1507,((1902,294),882)),1498)),(610,1876)),((839,(223,1489)),(22,(1005,819)))))),((117,1149),255)))),((((((130,424),2166),(1371,(1639,1262))),((((((520,(641,1754)),(1569,(1903,791))),((((((376,1868),187),(1619,385)),1941),((1091,(1566,138)),1908)),((1568,(((672,1644),483),(1988,1191))),(486,15)))),(((1677,(((1967,(((358,670),(54,480)),2056)),840),(1106,((171,239),1422)))),(((((918,1898),1466),(1312,(1567,2015))),((1571,((702,437),(354,596))),764)),((1841,329),((280,1251),(44,1335))))),((((1976,1904),(1389,238)),(870,((((19,829),382),1948),292))),(51,246)))),(((((1585,((1495,875),628)),11),(((337,(1865,(1767,334))),2132),((1292,753),(2188,(438,673))))),((((417,314),(1177,(637,321))),((159,((76,141),543)),((296,(1346,927)),((2198,2017),((2033,1419),252))))),(308,(517,(2147,1388))))),((652,220),317))),(1411,(2108,1086)))),(((218,(570,(1398,472))),((1497,527),(439,(1559,(1731,2202))))),((((((508,1686),1456),502),(719,1574)),(1673,(((2176,140),((1643,948),1215)),(1479,(265,1642))))),((464,953),(1700,(802,(25,1030))))))),(((((2095,1163),((573,(645,1971)),640)),(494,((161,21),(445,(1317,836))))),(136,1179)),(((((((1603,2141),((529,1594),423)),(2195,2062)),186),(((((597,1455),723),((591,1096),362)),(923,(((996,(2072,506)),(2055,1889)),(557,959)))),((1842,1960),387))),(((608,1614),(902,(((2155,16),537),((1301,1490),388)))),(((965,1553),(182,1083)),((((731,1133),657),1509),(((1070,6),(1287,(1295,158))),((2183,207),1407)))))),((((1414,(1685,((2034,(1974,599)),1473))),(1989,1404)),((1613,((((1877,1580),(1570,(((1979,((1755,372),((1881,516),86))),(414,1333)),(442,(1441,((2139,635),1858)))))),((574,(((1323,1560),603),1650)),(912,((792,(1471,1170)),1492)))),(((588,1084),1768),1540))),(2053,((728,50),409)))),(468,(1955,1092)))))))))),((((1712,((2133,1321),(466,1530))),286),((((607,(1918,1737)),((365,2194),((193,1198),((2081,205),2172)))),(((1024,594),1724),2203)),(((240,(1727,1461)),(1633,533)),((852,514),(756,224))))),1081)));
#x treedecomp [2005,[[61,4148,6236],[4099,4100,4101,4102,4103,4104,4105,4106,4107,4108,4109,4110,4111,4112,4113,4114,4115,4116,4117,4118,4119,4120,4121,4123,4124,4125,4126,4127,4128,4129,4130,4131,4132,4133,4134,4135,4136,4137,4138,4139,4140,4141,4142,4143,4144,4145,4146,4147,4148,4149,4150,4151,4152,4153,4154,4155,4156,4157,4158,4159,4160,4161,4163,4164,4165,4166,4167,4168,4169,4170,4171,4173,4174,4175,4176,4177,4178,4179,4180,4181,6220,6226,6227,6228,6229,6230,6231,6232,6233,6234,6235,6236,6237,6238,6239,6240,6241,6242,6243,6244,6245,6246,6247,6248,6249,6250,6251,6252,6253,6254,6255,6256,6257,6258,6259,6260,6261,6262,6263,6264,6265,6266,6267,6268,6269,6270,6271,6272,6273,6274,6275,6276,6277,6278,6279,6280,6281,6282,6283,6284,6285,6286,6287,6288,6289,6290,6291,6292,6294,6295,6296,6297,6298,6299,6300,6301,6302,6303,6304,6305,6306,6307,6308],[2216,2217,2294,2295,2296,2374,2378,2380,2434,2435,2436,2437,2449,2450,2451,2452,2453,2454,2455,2456,2457,2458,2459,2460,2461,2462,2464,2465,2466,2467,2468,2469,2470,2471,2472,2473,2474,2485,2486,2487,2493,2494,2495,2496,2497,2498,2499,2500,2501,2506,2507,2508,2509,2527,2528,2529,2530,2531,2532,2536,2537,2538,2539,2540,2541,2542,2543,2544,2545,2546,2547,2549,2550,2551,2552,2553,2554,2555,2597,2598,2599,2600,2601,2602,2603,2604,2605,2606,2607,2608,2609,2610,2611,2612,2613,2614,2615,2616,2617,2618,2619,2672,2673,2674,2675,2676,2677,2678,2679,2680,2681,2682,2683,2684,2689,2690,2691,2692,2694,2695,2696,2697,2698,2699,2700,2702,2703,2704,2709,2785,2786,2787,2788,2789,2790,2791,2792,2793,2794,2795,2796,2797,2798,2799,2800,2801,2802,2803,2804,2805,2806,2807,2808,2809,2810,2811,2812,2813,2814,2815,2818,2819,2820,2821,2822,2824,2825,2826,2827,2828,2829,2830,2831,2832,2833,2835,2836,2837,2838,2839,2840,2841,2842,2843,2844,2845,2846,2847,2848,2849,2850,2851,2852,2853,2854,2856,2857,2858,2859,2860,2861,2862,2863,2864,2865,2866,2867,2868,2869,2871,2872,2873,2874,2875,2876,2878,2879,2880,2881,2882,2883,2884,2885,2886,2887,2888,2889,2890,2891,2892,2893,2894,2895,2896,2897,2898,2899,2900,2901,2902,2903,2904,2908,2909,2911,2912,2913,2918,2919,2920,2921,2922,2923,2924,2925,2926,2927,2928,2929,2930,2931,2932,2933,2934,2935,2936,2937,2938,2939,2940,2941,2942,2943,2944,2945,2947,2949,2950,2951,2952,2953,2954,2955,2956,2957,2958,2959,2960,2961,2962,2963,2964,2965,2966,2967,2968,2969,2970,2971,2972,2973,2974,2975,2976,2977,2978,2979,2980,2981,2982,2983,2984,2986,2988,2989,2990,2991,2992,2993,2994,2995,2996,2997,2998,2999,3000,3001,3007,3008,3009,3010,3011,3012,3013,3014,3015,3021,3022,3027,3028,3029,3030,3031,3032,3033,3034,3035,3036,3037,3038,3039,3040,3041,3042,3043,3045,3046,3047,3048,3049,3050,3051,3052,3053,3054,3055,3056,3057,3058,3059,3060,3061,3062,3063,3064,3065,3066,3067,3068,3069,3070,3071,3072,3074,3075,3076,3078,3079,3080,3081,3082,3083,3084,3085,3086,3087,3088,3089,3090,3091,3092,3093,3094,3098,3099,3100,3101,3102,3103,3104,3105,3106,3107,3108,3109,3110,3112,3113,3114,3115,3116,3117,3118,3119,3120,3121,3122,3123,3124,3125,3126,3127,3128,3129,3130,3131,3132,3134,3135,3136,3137,3138,3139,3140,3141,3142,3143,3144,3145,3146,3147,3148,3149,3150,3151,3152,3153,3154,3155,3156,3158,3159,3160,3161,3162,3163,3164,3165,3166,3167,3168,3169,3170,3171,3172,3173,3174,3175,3177,3178,3179,3180,3181,3182,3183,3184,3185,3186,3187,3188,3189,3190,3191,3192,3193,3194,3195,3196,3197,3198,3199,3201,3202,3203,3205,3206,3207,3208,3209,3210,3211,3212,3327,3328,3329,3330,3331,3332,3334,3335,3336,3337,3338,3339,3340,3341,3342,3343,3344,3345,3346,3347,3348,3349,3350,3351,3352,3353,3354,3355,3356,3357,3358,3360,3361,3362,3363,3364,3365,3366,3367,3368,3369,3371,3372,3373,3374,3375,3376,3377,3378,3379,3385,3386,3392,3393,3394,3395,3396,3397,3398,3399,3403,3404,3470,3471,3472,3473,3474,3475,3476,3482,3483,3484,3485,3486,3487,3488,3489,3490,3491,3492,3493,3494,3495,3496,3497,3498,3499,3500,3502,3503,3504,3505,3506,3507,3508,3509,3510,3511,3512,3513,3514,3515,3516,3517,3518,3520,3521,3532,3533,3534,3535,3536,3537,3538,3539,3540,3542,3543,3544,3545,3546,3547,3548,3549,3550,3551,3552,3594,3595,3596,3597,3598,3599,3600,3601,3602,3603,3604,3605,3606,3607,3608,3609,3610,3611,3612,3613,3614,3615,3617,3618,3619,3620,3621,3622,3624,3625,3626,3627,3639,3640,3641,3642,3643,3644,3645,3646,3647,3648,3651,3652,3653,3654,3655,3656,3657,3658,3659,3660,3661,3662,3663,3664,3665,3666,3668,3669,3670,3671,3672,3673,3674,3675,3676,3677,3678,3679,3680,3681,3682,3683,3684,3685,3686,3687,3688,3689,3690,3691,3692,3693,3694,3695,3696,3698,3699,3701,3702,3703,3704,3705,3706,3707,3708,3709,3710,3711,3712,3713,3715,3721,3722,3723,3724,3725,3727,3729,3777,3778,3779,3780,3781,3782,3783,3784,3785,3786,3787,3788,3789,3801,3807,3808,3809,3810,3811,3812,3813,3814,3815,3816,3817,3818,3819,3820,3821,3823,3824,3825,3826,3827,3828,3829,3830,3831,3832,3833,3834,3835,3836,3837,3838,3839,3840,3841,3842,3843,3844,3846,3869,3870,3871,3872,3873,3874,3875,3876,3877,3878,3879,3880,3881,3882,3883,3884,3885,3886,3887,3888,3889,3890,3919,3949,3950,3951,3952,4033,4034,4035,4036,4038,4039,4040,4041,4046,4047,4048,4049,4050,4051,4052,4053,4054,4055,4057,4058,4059,4060,4061,4062,4063,4064,4065,4066,4067,4068,4069,4070,4071,4072,4073,4074,4076,4077,4078,4080,4081,4082,4083,4085,4086,4087,4088,4089,4090,4091,4092,4093,4094,4095,4096,4097,4098,4099,4182,4183,4225,4226,4278,4279,4280,4282,4283,4284,4285,4286,4288,4289,4290,4291,4292,4296,4297,4298,4311,4312,4314,4323,4324,4325,4326,4327,4328,4329,4330,4335,4336,4337,4338,4339,4341,4342,4343,4344,4345,4346,4347,4348,4349,4350,4351,4352,4353,4354,4355,4356,4357,4358,4359,4360,4361,4362,4363,4364,4365,4366,4367,4368,4369,4370,4371,4372,4373,4376,4377,4378,4379,4380,4381,4382,4383,4384,4387,4388,4389,4391,4393,4394,4395,4396,4397,4398,4399,4400,4401,4402,4403,4404,4405,4406,4419,4420,4421,4423,4424,4425,4426,4429,4430,4431,4526,4527,4604,4605,4606,4607,4609,4610,4611,4612,4614,4615,4616,4617,4618,4619,4662,4663,4664,4665,4666,4667,4668,4669,4670,4671,4672,4673,4674,4675,4676,4677,4678,4679,4680,4681,4682,4683,4684,4685,4686,4687,4688,4689,4690,4691,4692,4693,4694,4695,4696,4697,4698,4700,4701,4702,4703,4704,4705,4706,4707,4708,4709,4710,4711,4712,4713,4714,4715,4716,4717,4718,4719,4720,4721,4722,4723,4724,4725,4730,4731,4732,4733,4734,4735,4736,4737,4738,4739,4740,4741,4742,4743,4744,4745,4746,4747,4748,4749,4750,4751,4752,4753,4754,4755,4756,4757,4758,4759,4760,4761,4762,4763,4764,4765,4766,4767,4769,4770,4771,4772,4773,4774,4775,4776,4794,4795,4796,4862,4863,4864,4865,4866,4867,4868,4869,4870,4871,4872,4873,4874,4875,4876,4877,4878,4879,4880,4881,4882,4883,4884,4885,4886,4887,4888,4889,4890,4891,4892,4893,4894,4895,4897,4898,4899,4900,4901,4902,4903,4905,4906,4907,4908,4909,4910,4911,4912,4913,4914,4915,4916,4917,4918,4919,4920,4921,4922,4923,4924,4925,4926,4927,4928,4929,4930,4931,4932,4933,4934,4935,4936,4937,4938,4939,4940,4941,4953,4954,4955,4956,4957,4958,4959,4960,4961,4962,4963,4964,4965,4966,4967,4968,4969,4970,4971,4972,4973,4974,4975,4999,5000,5001,5002,5005,5006,5007,5008,5009,5010,5011,5012,5014,5015,5016,5017,5018,5020,5022,5023,5024,5025,5026,5027,5028,5029,5030,5031,5036,5053,5054,5055,5056,5057,5058,5059,5061,5062,5063,5064,5065,5066,5067,5068,5069,5070,5071,5072,5073,5074,5075,5076,5077,5078,5079,5084,5085,5086,5087,5088,5093,5094,5095,5096,5107,5125,5126,5127,5128,5129,5130,5131,5132,5133,5134,5135,5136,5137,5138,5139,5140,5141,5142,5143,5145,5146,5147,5148,5149,5150,5151,5152,5200,5201,5202,5203,5204,5205,5206,5207,5208,5209,5210,5211,5212,5213,5214,5215,5216,5217,5218,5219,5220,5221,5222,5223,5224,5225,5226,5227,5228,5229,5230,5231,5232,5233,5234,5235,5236,5248,5249,5250,5251,5252,5253,5254,5260,5261,5262,5263,5264,5265,5266,5267,5269,5270,5271,5272,5273,5274,5275,5276,5277,5278,5279,5280,5281,5282,5283,5284,5303,5304,5305,5306,5307,5308,5309,5310,5312,5313,5314,5315,5316,5317,5318,5319,5320,5321,5322,5323,5324,5325,5326,5327,5328,5329,5330,5331,5332,5333,5334,5335,5336,5337,5338,5339,5340,5341,5342,5343,5349,5351,5352,5353,5354,5355,5356,5357,5358,5359,5360,5361,5362,5363,5364,5365,5366,5367,5368,5369,5372,5373,5374,5375,5376,5377,5378,5379,5380,5381,5382,5383,5384,5385,5386,5387,5388,5389,5390,5391,5392,5393,5394,5395,5396,5397,5399,5400,5401,5402,5403,5404,5405,5406,5407,5408,5409,5410,5411,5412,5413,5414,5415,5416,5417,5418,5419,5420,5421,5422,5423,5425,5426,5427,5469,5470,5473,5474,5475,5476,5477,5478,5479,5480,5482,5483,5484,5485,5486,5487,5488,5489,5490,5491,5492,5493,5494,5495,5496,5497,5498,5499,5500,5501,5502,5503,5504,5510,5511,5512,5513,5514,5520,5521,5522,5523,5589,5590,5666,5696,5697,5698,5699,5700,5701,5702,5703,5709,5710,5711,5712,5713,5714,5715,5716,5717,5718,5719,5720,5721,5722,5723,5724,5725,5726,5727,5728,5729,5730,5731,5732,5733,5734,5735,5736,5737,5738,5739,5740,5741,5743,5744,5745,5747,5748,5749,5751,5763,5764,5765,5766,5767,5768,5769,5770,5771,5772,5773,5774,5775,5776,5777,5778,5779,5780,5781,5782,5783,5784,5785,5786,5787,5788,5789,5790,5791,5792,5793,5794,5795,5854,5855,5856,5857,5858,5870,5871,5872,5873,5874,5875,5876,5877,5878,5879,5880,5881,5882,5883,5884,5885,5886,5887,5888,5889,5890,5891,5892,5893,5894,5895,5896,5897,5915,5916,5917,5918,5919,5920,5921,5922,5923,5924,5925,5926,5927,5928,5929,5930,5931,5932,5933,5934,5935,5936,5937,5938,5939,5940,5941,5942,5943,5946,5947,5948,5949,5950,5951,5952,5953,5954,5955,5956,5957,5958,5959,5960,5961,5962,5963,5964,5965,5966,5967,5968,5969,5971,5972,5973,5974,5976,5977,5978,5979,5980,5981,5982,5983,5984,5985,5986,5987,5988,5989,5990,5991,5992,5993,5994,5995,6001,6002,6007,6008,6009,6011,6012,6013,6014,6015,6016,6017,6018,6019,6020,6021,6022,6023,6024,6025,6026,6027,6028,6029,6030,6031,6032,6033,6034,6035,6036,6037,6048,6049,6050,6062,6063,6064,6065,6066,6067,6068,6069,6070,6071,6072,6073,6074,6075,6076,6077,6078,6079,6080,6082,6083,6084,6085,6086,6087,6088,6094,6095,6096,6097,6098,6099,6100,6101,6102,6103,6104,6105,6106,6107,6108,6109,6110,6111,6112,6113,6114,6115,6116,6117,6118,6119,6120,6121,6122,6123,6124,6125,6126,6127,6128,6129,6130,6131,6132,6133,6134,6135,6136,6137,6138,6139,6140,6141,6142,6143,6144,6145,6149,6150,6153,6155,6156,6157,6158,6159,6160,6220,6309,6310,6311,6312,6313,6314,6315,6316,6317,6318,6319,6320,6321,6322,6323,6324,6325,6326,6327,6356,6357,6358,6359,6473,6474,6475,6476,6477,6478,6479,6480,6481,6482,6483,6484,6485,6486,6487,6488,6490,6491,6492,6493,6494,6495,6496,6497,6498,6499,6500,6501,6502,6503,6504,6505,6506,6507,6508,6509,6510,6516,6517,6518,6519,6520,6521,6522,6523,6524,6525,6526,6527,6528,6529,6530,6531,6532,6533,6534,6535,6536,6537,6538,6540,6541,6542,6543,6544,6545,6546,6547,6548,6549,6550,6551,6552,6553,6555,6556,6557,6558,6559,6560,6561,6563,6564,6565,6566,6567,6568,6569,6570,6571,6572,6573,6575,6576,6577,6578,6579,6580,6581,6582,6583,6584,6585,6586,6587,6588,6589,6590,6591,6592,6593,6594,6595,6596,6597,6598,6599,6600,6601,6602,6603,6604,6605,6606,6607,6608,6609,6610,6611],[1,2936,4700],[2374,2375,2376,2377,2378,6002,6003,6004,6005,6006],[2378,2379,6004,6005],[490,2379,6004],[1002,2379,6005],[467,2375,6003],[1410,2376,6006],[1584,2377,6005],[1880,2377,6006],[2532,2533,2534,5140,5141,5144],[671,2534,5144],[763,2533,5144],[2073,2534,5140],[2532,2535,5142,5143],[769,2535,5143],[919,2535,5142],[2675,2685,2686,2687,2688,6150,6151,6152,6153,6154],[302,2688,6151],[898,2686,6152],[1250,2687,6154],[1552,2688,6154],[2210,2687,6152],[2692,2693,6130,6131],[404,2693,6131],[1805,2693,6130],[2698,2701,6124,6125],[669,2701,6124],[1648,2701,6125],[2689,2705,2706,6142,6143,6146],[2705,2706,6146,6147],[2705,2707,6146,6147],[2077,2707,6147],[2707,6146,6148],[2707,2708,6148],[662,2708,6148],[1943,2708,6148],[124,2706,6147],[2060,2706,6143],[2815,2816,2817,4606,4607,4608],[871,2817,4606],[1425,2817,4608],[1638,2816,4608],[2854,2855,4697,4698],[809,2855,4698],[1015,2855,4697],[2868,2870,4747,4748],[726,2870,4748],[1237,2870,4747],[2876,2877,4744,4745],[341,2877,4745],[1541,2877,4744],[2904,2905,4690,4691],[333,2905,4690],[582,2905,4691],[2848,2906,2907,5020,5021,5022],[303,2907,5021],[1786,2907,5022],[2180,2906,5021],[2913,2914,2918,4725,4727,4728],[2914,2915,4725,4727],[2915,4725,4726],[2915,2916,4726],[278,2916,4726],[1597,2916,4726],[2915,4727,4729],[2915,2917,4729],[135,2917,4729],[1161,2917,4729],[299,2918,4728],[781,2914,4728],[2984,2985,4888,4889],[204,2985,4889],[989,2985,4888],[3043,3044,5993,5994],[361,3044,5993],[725,3044,5994],[3094,3095,5960,5961],[168,3095,5961],[491,3095,5960],[3084,3111,5952,5953],[564,3111,5952],[1226,3111,5953],[3175,3176,6601,6602],[792,3176,6602],[1492,3176,6601],[3199,3200,6537,6538],[996,3200,6537],[2072,3200,6538],[3332,3333,5213,5214],[237,3333,5214],[2068,3333,5213],[3357,3359,6501,6502],[25,3359,6502],[802,3359,6501],[3500,3501,5334,5335],[110,3501,5335],[1140,3501,5334],[3518,3519,5409,5410],[429,3519,5409],[1209,3519,5410],[3666,3667,5376,5377],[475,3667,5377],[831,3667,5376],[3696,3697,5416,5417],[427,3697,5417],[1439,3697,5416],[3713,3714,5149,5150],[718,3714,5149],[1271,3714,5150],[3710,3720,5151,5152],[112,3720,5152],[823,3720,5151],[3725,3726,5276,5277],[703,3726,5277],[1721,3726,5276],[4055,4056,5767,5768],[307,4056,5767],[1496,4056,5768],[4083,4084,5771,5772],[281,4084,5771],[950,4084,5772],[4280,4281,4282,4320,4321,4322,5079,5080,5081,5082,5083],[83,4281,5079],[395,4281,5082],[845,4322,5081],[908,4321,5083],[1593,4320,5083],[2149,4322,5080],[4292,4293,4295,4296,4319,5088,5089,5090,5091,5092],[4293,4294,5091,5092],[937,4294,5091],[2144,4294,5092],[194,4295,5090],[282,4319,5090],[1309,4319,5092],[1761,4295,5088],[4297,4298,4299,4300,4301,4302,4303,4304,4305,4306,4307,4308,4309,4310,4315,4316,4317,5036,5037,5038,5040,5041,5042,5043,5044,5045,5046,5047,5048,5049,5050,5051,5052],[97,4302,5046],[184,4302,5038],[247,4309,5049],[428,4308,5048],[518,4310,5045],[602,4304,5052],[605,4310,5038],[696,4306,5051],[826,4301,5046],[901,4315,5047],[967,4309,5041],[1446,4316,5044],[1454,4305,5052],[1472,4300,5041],[1529,4306,5048],[1696,4317,5050],[4317,5037,5039],[4317,4318,5039],[1284,4318,5039],[2197,4318,5039],[4312,4313,5072,5073],[1442,4313,5073],[1666,4313,5072],[4330,4331,4332,4333,4334,5030,5031,5032,5033,5034,5035],[26,4331,5035],[1840,4334,5035],[1925,4334,5032],[2000,4331,5033],[2051,4333,5030],[2175,4333,5034],[4339,4340,4915,4916],[90,4340,4916],[1258,4340,4915],[4372,4375,4919,4920],[1055,4375,4920],[1136,4375,4919],[4389,4390,5015,5016],[105,4390,5016],[760,4390,5015],[4391,4392,4879,4880],[75,4392,4880],[963,4392,4879],[4406,4407,4898,4899],[790,4407,4899],[922,4407,4898],[4420,4422,5010,5011],[687,4422,5011],[1749,4422,5010],[3622,3624,5397,5398],[3622,3623,5397,5398],[179,3623,5398],[1720,3623,5397],[1482,3624,5398],[3398,3399,5470,5471],[3399,3400,3401,5470,5471,5472],[854,3400,5472],[1448,3401,5471],[1499,3401,5472],[150,3398,5471],[4073,4074,5749,5750],[4074,4075,5749,5750],[1612,4075,5750],[1635,4075,5749],[2158,4073,5750],[3,2826,4958],[4,2699,6126],[12,2872,4740],[14,2976,5070],[16,3144,6549],[20,2795,4960],[29,2891,4732],[32,3709,5284],[33,2873,4741],[34,2458,5894],[35,2957,4708],[37,2499,5133],[39,4369,4938],[46,3789,6062],[47,4081,5739],[48,2799,6318],[50,3134,6609],[52,2966,5026],[53,3876,5342],[55,4050,5703],[57,2843,4974],[62,2960,4753],[63,2606,6108],[64,2822,6313],[66,2470,5874],[69,2496,6016],[70,2552,5127],[71,2921,4692],[72,2801,6322],[74,2455,5891],[77,3840,5310],[79,3835,5488],[81,4353,4910],[86,3168,6588],[88,2497,5136],[89,4351,4907],[91,3844,5310],[92,3547,6069],[93,2941,4703],[94,2976,5071],[96,4048,5717],[98,2681,6113],[103,3684,5385],[106,3826,5480],[107,3688,5381],[109,3818,5480],[111,2604,6111],[115,2829,4964],[117,2818,6357],[118,2939,4774],[119,2469,5879],[125,3538,6082],[129,2967,5025],[136,3874,6516],[137,4288,5059],[140,3334,6493],[142,2551,5129],[145,2500,6016],[147,2992,5016],[152,4380,4914],[153,3072,5969],[156,2886,4680],[157,3007,6029],[158,3146,6564],[162,2945,4771],[165,2993,4878],[166,2891,4679],[169,2869,4746],[170,3713,5283],[175,3619,5267],[177,3122,5950],[178,2472,5875],[180,2876,4742],[182,3136,6555],[186,3882,6520],[198,2962,4755],[199,3126,5936],[200,2925,4714],[201,2471,5896],[206,2612,6141],[207,3155,6566],[209,3639,5373],[210,4360,4918],[211,2843,4970],[212,3607,5406],[218,3365,6475],[226,2809,6325],[227,2552,5131],[231,3116,5921],[232,4087,5770],[233,4076,5727],[241,3125,5921],[244,3099,5962],[245,2800,6313],[249,4364,4926],[250,2613,6156],[255,2833,6356],[256,2694,6114],[257,3351,5206],[258,3485,5318],[259,4052,5714],[260,2835,4615],[262,3643,5233],[265,3351,6497],[274,2909,5022],[275,3694,5419],[285,2528,5129],[289,3516,5419],[293,2867,4750],[298,2896,4676],[301,3645,5373],[309,2608,6105],[311,4329,5077],[313,2969,4752],[316,3707,5253],[319,2894,4688],[325,2508,5882],[326,3052,5790],[330,3104,5928],[332,3068,5974],[338,2955,4709],[340,3012,6023],[350,4089,5732],[352,3107,5943],[356,2835,4616],[360,3058,5988],[362,3205,6532],[367,2466,5876],[368,3618,5400],[369,4052,5716],[371,2969,4756],[372,3184,6587],[374,4359,4918],[375,3539,6078],[377,3874,5307],[378,3722,5275],[386,3035,5786],[387,3880,6541],[388,3155,6550],[390,3787,6100],[392,3504,5329],[400,3685,5224],[401,3071,5979],[407,4039,5735],[408,2493,5143],[409,3190,6608],[410,3048,5786],[413,2704,6116],[414,3182,6590],[415,3503,5327],[420,2545,5138],[422,2839,4973],[423,3886,6524],[425,3811,6087],[426,3378,5500],[432,3118,5947],[433,3042,5795],[434,3808,6076],[439,3364,6480],[442,3174,6591],[444,2497,6019],[446,4097,5720],[448,2896,4674],[449,2611,6135],[451,3548,6066],[452,3040,5989],[454,2539,5137],[456,2618,6158],[457,2845,4975],[463,3491,5325],[464,3372,6499],[468,3208,6610],[472,3358,6477],[473,2935,4713],[474,4091,5724],[478,3123,5948],[479,4048,5718],[485,3043,5795],[493,3502,5336],[498,2616,6128],[499,2609,6108],[502,3352,6486],[504,2610,6145],[506,3212,6538],[508,3352,6488],[516,3180,6589],[522,3103,5959],[523,4350,4930],[526,4054,5717],[527,3366,6479],[529,3881,6525],[530,2989,4887],[534,3074,5968],[535,3873,5306],[537,3143,6548],[539,2922,4765],[541,4290,5056],[547,3662,5366],[548,2500,6018],[549,2618,6155],[553,2546,6015],[557,3203,6540],[561,3114,5949],[566,4344,4937],[567,2860,4775],[568,3090,5925],[570,3354,6476],[571,4326,5086],[572,3621,5406],[573,3488,6509],[574,3186,6596],[576,2610,6140],[577,3330,5206],[579,2457,5890],[580,3624,5219],[581,2900,4678],[584,3396,5497],[585,3657,5366],[588,3184,6606],[589,2887,4680],[591,3199,6533],[592,2678,6139],[593,2970,5025],[597,3196,6531],[600,2795,4955],[601,4406,4900],[603,3185,6598],[606,3062,5976],[608,3156,6545],[613,4421,5006],[616,4405,4874],[617,2509,5882],[619,3729,5282],[620,3345,5204],[622,2507,5880],[624,3840,5343],[625,3032,5792],[626,3656,5357],[634,3615,5394],[635,3170,6594],[636,3681,5383],[639,3489,5336],[640,3484,6508],[644,3545,6067],[645,3502,6510],[646,2467,5872],[653,3659,5387],[655,4314,5066],[656,3842,5341],[657,3187,6558],[659,2898,4681],[663,3661,5360],[664,3008,6030],[674,2974,5073],[675,3514,5425],[677,4357,4932],[680,2465,5888],[682,2684,6104],[683,2925,4724],[688,3495,5333],[690,4289,5055],[694,2529,5139],[695,4081,5741],[697,4087,5772],[699,2617,6159],[704,3001,6024],[705,3110,5963],[708,2700,6115],[709,3824,5514],[711,3343,5207],[714,3060,5994],[716,3657,5364],[720,3102,5928],[721,3537,6077],[722,3834,5486],[723,3192,6530],[728,3188,6609],[729,3014,6024],[730,2614,6157],[731,3190,6559],[733,3548,6069],[738,3722,5278],[741,4285,5087],[742,4050,5718],[747,2904,4687],[749,3655,5365],[751,2830,4959],[755,4060,5713],[761,2888,4689],[765,3072,5979],[767,2982,4870],[770,4396,4886],[772,3517,5427],[777,3517,5418],[778,2794,4963],[779,4091,5736],[783,3669,5375],[784,3844,5337],[786,2871,4750],[797,2842,4968],[798,3512,5422],[799,4068,5700],[801,4400,4884],[805,3640,5234],[808,3654,5363],[812,4378,4916],[813,4360,4931],[816,2679,6113],[818,3122,5934],[821,3831,5488],[827,3082,5984],[830,2830,4964],[832,4291,5057],[833,3691,5219],[834,2950,4719],[835,3042,5987],[841,2808,6323],[843,4384,5009],[844,3127,5938],[855,3490,5320],[857,4092,5731],[859,2604,6138],[860,4397,4886],[861,3709,5152],[862,3705,5251],[864,2890,4685],[865,3547,6037],[867,3707,5280],[872,4098,5747],[873,4069,5700],[877,3341,5203],[880,2930,4709],[881,4377,4897],[886,2459,5887],[887,4425,4895],[890,4361,4938],[892,4067,5710],[895,3614,5403],[899,3681,5389],[900,2829,4959],[902,3146,6546],[905,2695,6129],[907,4095,5726],[910,3809,6087],[912,3160,6600],[913,3785,6096],[914,3001,6029],[917,3491,5329],[921,3729,5254],[923,3203,6534],[925,3338,5215],[930,3538,6078],[931,3049,5780],[932,2858,4762],[933,3824,5485],[940,3684,5226],[944,2467,5886],[945,2964,5027],[948,3338,6495],[949,2992,5014],[953,3373,6499],[954,2888,4679],[955,3393,5496],[958,2952,4708],[959,3206,6540],[961,3118,5949],[962,2892,4684],[969,3117,5919],[971,3106,5958],[977,3679,5390],[979,4426,4894],[983,3876,5340],[990,3663,5362],[991,2958,4724],[993,2980,5077],[997,3475,5316],[999,2957,4721],[1003,4065,5699],[1004,2702,6125],[1008,3476,5332],[1014,3687,5226],[1016,2977,5069],[1018,3647,5379],[1020,2683,6112],[1022,3659,5361],[1025,4368,4940],[1026,4363,4939],[1027,2831,4618],[1029,2608,6133],[1030,3354,6502],[1031,3816,5491],[1032,4366,4941],[1034,3603,5271],[1035,3782,6098],[1039,2938,4704],[1042,4421,5008],[1043,2869,4737],[1045,4401,4885],[1047,3499,5330],[1048,3099,5957],[1050,4426,4866],[1053,3053,5787],[1054,3786,6095],[1058,2839,4975],[1061,3614,5264],[1062,2831,4611],[1067,2822,6316],[1068,2464,5896],[1069,3648,5230],[1073,3394,5498],[1077,3839,5342],[1078,4380,4934],[1079,4314,5064],[1083,3135,6555],[1084,3181,6606],[1088,4354,4929],[1092,3210,6611],[1094,2794,4961],[1096,3206,6533],[1098,2696,6129],[1100,4354,4908],[1103,2538,6015],[1107,4403,4889],[1108,2882,4666],[1109,2978,5066],[1110,3712,5281],[1111,2971,4673],[1113,2544,6018],[1114,2902,4691],[1118,2454,5872],[1120,2857,4760],[1121,3723,5279],[1122,3396,5502],[1124,2814,6317],[1125,4345,4933],[1126,3834,5485],[1127,3068,5982],[1129,2856,4766],[1130,2459,5891],[1133,3189,6559],[1134,4338,4890],[1138,3832,5512],[1139,3680,5389],[1142,3828,5514],[1144,2851,4761],[1149,2821,6357],[1155,3496,5325],[1156,3779,6063],[1159,2929,4716],[1162,2845,4969],[1163,3475,6507],[1165,2603,6112],[1168,3872,5308],[1170,3180,6603],[1174,2612,6136],[1179,3872,6516],[1184,4369,4926],[1186,4359,4933],[1187,2798,6312],[1192,2543,5145],[1193,3544,6065],[1197,2452,5876],[1202,3397,5493],[1204,3377,5501],[1208,3336,5215],[1210,2903,4686],[1211,2539,6019],[1213,3542,6084],[1215,3335,6494],[1218,2681,6141],[1228,2808,6322],[1232,3339,5211],[1239,3037,5935],[1240,2684,6138],[1241,2942,4773],[1244,2703,6149],[1247,3663,5359],[1248,2993,4880],[1249,2818,6314],[1254,2858,4776],[1257,3789,6100],[1259,3059,5990],[1264,3393,5499],[1267,3534,6080],[1273,3598,5408],[1275,2953,4771],[1277,3686,5388],[1278,4061,5769],[1279,3335,5214],[1280,2609,6107],[1282,3674,5234],[1283,2937,4705],[1285,3397,5496],[1287,3153,6563],[1288,3675,5379],[1289,3787,6097],[1290,3515,5415],[1295,3151,6564],[1296,3091,5927],[1297,3784,6094],[1299,3823,5477],[1301,3143,6551],[1302,3061,5992],[1304,2934,4723],[1305,3617,5272],[1306,4097,5747],[1307,3063,5978],[1313,3053,5782],[1314,4379,4914],[1315,2814,4607],[1316,4093,5734],[1319,4402,4885],[1322,3605,5270],[1323,3158,6599],[1326,3069,5967],[1329,2962,4753],[1333,3183,6590],[1339,3366,5209],[1340,3069,5977],[1342,3518,5261],[1350,2804,4616],[1354,3106,5924],[1357,2682,6136],[1360,3343,5203],[1365,2546,5139],[1366,2979,5069],[1367,4076,5737],[1368,2472,5888],[1370,2690,6153],[1373,4326,5057],[1376,3108,5927],[1379,3606,5403],[1380,4402,4874],[1381,3644,5232],[1382,3036,5780],[1383,3620,5267],[1384,2616,6116],[1395,2696,6131],[1397,2837,4970],[1398,3363,6477],[1399,3721,5253],[1400,2825,4963],[1401,3546,6068],[1402,2967,4755],[1403,3125,5933],[1404,3212,6575],[1407,3141,6565],[1412,3607,5395],[1413,4059,5714],[1414,3883,6570],[1417,2929,4723],[1424,2953,4720],[1434,2923,4696],[1438,2921,4766],[1440,4062,5766],[1441,3169,6592],[1444,3075,5981],[1447,3127,5922],[1451,3511,5425],[1452,4383,5008],[1455,3198,6531],[1456,3369,6487],[1462,3610,5405],[1465,2674,6144],[1468,3613,5264],[1469,3492,5328],[1471,3168,6603],[1473,3207,6572],[1474,4058,5712],[1477,2883,4667],[1479,3345,6496],[1480,2551,5130],[1483,3532,6088],[1485,2543,6020],[1488,2812,6325],[1490,3152,6551],[1491,3685,5382],[1493,3689,5385],[1494,3682,5225],[1497,3373,6479],[1500,3347,5202],[1503,4352,4911],[1509,3137,6557],[1516,3536,6080],[1522,2919,4760],[1523,4327,5075],[1524,2867,4738],[1526,3036,5793],[1528,4371,4921],[1532,2923,4761],[1533,3082,5985],[1534,2496,6013],[1539,3673,5228],[1540,3171,6604],[1544,3612,5266],[1551,3647,5233],[1554,3535,6084],[1556,4405,4873],[1558,4344,4941],[1559,3365,6481],[1560,3159,6599],[1563,2990,4870],[1570,3182,6582],[1575,3344,5207],[1580,3166,6581],[1589,4288,5085],[1590,2979,5065],[1591,3033,5783],[1592,3674,5378],[1594,3887,6525],[1598,3115,5933],[1602,3049,5790],[1603,3884,6523],[1605,2930,4719],[1606,3827,5490],[1607,3542,6076],[1608,2700,6128],[1609,3009,6031],[1613,3142,6577],[1614,3145,6545],[1615,2547,5136],[1616,2812,6319],[1620,3392,5499],[1622,3052,5784],[1624,3708,5252],[1625,3599,5408],[1626,3076,5978],[1627,4384,5006],[1628,2881,4667],[1630,3015,6031],[1631,3605,5404],[1632,4072,5748],[1634,3873,5308],[1637,3013,6022],[1642,3346,6497],[1643,3339,6495],[1647,3124,5951],[1650,3160,6597],[1653,2704,6127],[1655,2943,4703],[1656,3098,5962],[1658,3031,5787],[1660,4078,5739],[1662,3033,5779],[1663,2883,4668],[1664,2853,4764],[1665,3835,5486],[1669,3505,5327],[1673,3371,6490],[1678,3378,5497],[1680,4038,5726],[1683,4095,5725],[1685,3209,6571],[1686,3368,6488],[1691,4077,5740],[1694,3782,6064],[1697,3037,5953],[1700,3358,6500],[1701,2542,5145],[1704,4055,5766],[1709,2895,4689],[1714,3079,5985],[1715,2801,6316],[1716,3088,5926],[1718,2971,4668],[1725,2955,4717],[1726,2538,6017],[1728,4094,5734],[1729,4356,4928],[1730,2453,5890],[1731,3340,6482],[1733,2980,5078],[1735,2879,4742],[1739,3485,5326],[1742,2943,4774],[1747,2895,4681],[1750,2615,6123],[1751,3675,5235],[1755,3181,6587],[1758,4373,4921],[1759,2550,5131],[1763,3653,5225],[1764,3664,5359],[1768,3166,6605],[1769,3376,5502],[1771,3117,5935],[1772,3056,5990],[1777,3109,5963],[1784,2614,6159],[1785,2939,4773],[1788,3600,5401],[1791,2802,4617],[1794,3810,6085],[1798,2787,4972],[1803,4039,5732],[1804,4291,5087],[1808,3046,5792],[1811,4348,4910],[1813,3821,5491],[1814,2804,4615],[1817,3505,5333],[1819,2928,4721],[1820,4098,5744],[1825,3356,5212],[1827,4391,4877],[1829,4382,5007],[1831,3103,5955],[1834,3831,5483],[1836,3827,5513],[1837,2874,4749],[1838,2944,4705],[1839,3699,5417],[1842,3887,6542],[1845,4400,4868],[1846,2990,4873],[1849,4353,4911],[1851,3599,5410],[1852,3695,5426],[1853,2970,4756],[1854,2879,4748],[1855,3875,5338],[1856,3511,5420],[1858,3171,6593],[1859,3725,5279],[1860,2878,4738],[1862,3110,5938],[1863,3788,6099],[1864,2871,4743],[1872,2902,4674],[1873,3670,5377],[1875,4085,5728],[1877,3183,6581],[1879,2968,5027],[1881,3163,6589],[1882,3653,5390],[1883,4068,5710],[1885,2827,4961],[1886,3090,5941],[1890,2936,4712],[1891,3820,5479],[1895,3034,5784],[1899,4356,4930],[1907,3691,5396],[1910,3664,5364],[1911,3699,5427],[1915,4425,4894],[1921,3050,5791],[1934,4062,5769],[1935,4090,5736],[1937,3012,6027],[1938,3476,5330],[1939,3107,5958],[1942,3120,5920],[1947,2465,5874],[1949,2807,6324],[1950,4377,4900],[1953,3679,5383],[1955,3198,6611],[1958,3078,5983],[1959,3786,6064],[1960,3885,6542],[1961,3347,5209],[1962,3058,5987],[1963,4404,4871],[1965,2813,6319],[1966,3600,5269],[1968,4329,5078],[1971,3500,6510],[1975,3829,5512],[1978,3669,5248],[1979,3163,6585],[1980,3819,5511],[1981,2860,4698],[1984,2678,6109],[1985,3015,6027],[1986,3010,6025],[1987,2954,4711],[1989,3197,6575],[1990,3618,5272],[1992,2455,5887],[1994,3817,5489],[2002,3514,5414],[2003,3092,5942],[2004,2498,5137],[2007,3504,5321],[2011,2958,4714],[2022,3089,5940],[2027,2881,4734],[2029,4355,4908],[2030,2899,4687],[2031,3811,6088],[2032,2983,4876],[2034,3209,6573],[2035,2803,4619],[2037,4367,4927],[2039,2680,6145],[2040,2838,4971],[2042,3689,5369],[2045,3809,6085],[2048,3108,5941],[2049,3708,5280],[2053,3137,6607],[2057,2856,4764],[2058,3081,5984],[2059,4325,5058],[2062,3877,6526],[2063,3644,5228],[2064,2454,5894],[2066,3047,5793],[2071,3497,5320],[2075,2453,5897],[2080,3843,5343],[2082,2607,6107],[2086,4312,5070],[2089,3814,5483],[2091,2509,5881],[2092,4069,5709],[2094,4060,5764],[2095,3492,6507],[2101,3621,5395],[2107,3080,5794],[2116,4086,5728],[2117,3643,5235],[2120,2840,4968],[2126,3698,5414],[2129,4049,5720],[2131,3063,5976],[2136,4368,4927],[2137,3059,5992],[2139,3186,6594],[2141,3883,6523],[2146,2859,4776],[2148,4388,5011],[2152,3670,5248],[2153,3603,5400],[2154,2826,4609],[2155,3153,6549],[2159,2875,4741],[2161,2986,4883],[2162,2541,6020],[2163,3488,5319],[2168,3474,5318],[2170,2901,4676],[2176,3356,6493],[2178,4351,4909],[2179,2809,6324],[2183,3142,6566],[2185,2844,4967],[2190,4364,4937],[2191,4328,5076],[2195,3880,6526],[2199,2458,5886],[2202,3363,6482],[2204,2469,5881],[2215,2216,2785],[2217,2218,2219,2220,2221,2222,2223,2224,2225,2226,2227,2228,2229,2230,2231,2232,2234,2235,2236,2237,2238,2239,2240,2241,2242,2243,2244,2245,2246,5666,5667,5668,5669,5670,5671,5672,5673,5674,5675,5676,5677,5678,5679,5680,5681,5682,5683,5684,5685,5686,5687,5688,5689,5690,5691,5692,5693,5694,5695],[2226,2233,5669,5670],[80,2233,5670],[1884,2233,5669],[43,2240,5673],[95,2234,5673],[133,2243,5684],[216,2232,5693],[217,2232,5683],[320,2231,5676],[459,2244,5689],[481,2243,5683],[643,2242,5677],[661,2229,5687],[759,2223,5694],[814,2236,5691],[858,2235,5690],[980,2230,5686],[1051,2228,5682],[1063,2225,5688],[1196,2231,5685],[1230,2223,5692],[1348,2237,5695],[1520,2238,5691],[1548,2245,5695],[1557,2240,5675],[1561,2235,5677],[1573,2225,5684],[1920,2246,5685],[2104,2246,5670],[2125,2237,5668],[2208,2241,5688],[2296,2297,2298,2299,2300,2301,2302,2303,2304,2305,2306,2307,2308,2309,2310,2311,2312,2313,2314,2315,2316,2317,2319,2320,2321,2322,2323,2324,2325,2326,2327,2328,2329,2330,2331,2332,2333,2334,2335,2336,2340,2341,2342,2343,2344,2345,2346,2347,2348,2349,2350,2351,2352,2353,2355,2360,2361,2362,2363,2364,2365,2367,2368,2369,2370,2371,2373,4527,4528,4529,4530,4531,4532,4533,4534,4535,4536,4541,4542,4543,4544,4545,4546,4547,4548,4549,4550,4551,4552,4553,4554,4555,4556,4557,4558,4559,4560,4561,4562,4563,4564,4565,4566,4567,4568,4569,4570,4571,4572,4573,4574,4575,4576,4577,4583,4584,4585,4587,4588,4589,4590,4591,4592,4593,4594,4595,4596,4597,4598,4599,4600,4601,4602],[2316,2317,2318,4536,4537,4538],[2316,2337,2338,4537,4538,4539],[2337,2338,4539,4540],[2338,2339,4539,4540],[992,2339,4540],[1944,2339,4539],[1158,2337,4540],[658,2338,4537],[665,2318,4538],[1866,2318,4536],[2353,2354,4545,4546],[916,2354,4545],[1832,2354,4546],[36,2336,4569],[58,2331,4563],[122,2330,4561],[287,2368,4566],[373,2353,4547],[381,2325,4558],[399,2367,4567],[402,2335,4553],[431,2364,4572],[436,2368,4562],[441,2304,4602],[482,2351,4531],[496,2308,4574],[538,2310,4575],[611,2350,4589],[651,2322,4541],[660,2303,4601],[800,2311,4575],[815,2334,4564],[838,2342,4593],[964,2348,4593],[972,2349,4595],[985,2352,4548],[988,2307,4571],[1009,2373,4587],[1066,2347,4594],[1148,2307,4551],[1194,2369,4546],[1223,2365,4553],[1231,2304,4600],[1255,2324,4563],[1286,2305,4599],[1300,2336,4568],[1308,2332,4568],[1325,2345,4596],[1355,2298,4587],[1386,2323,4560],[1513,2306,4552],[1519,2348,4597],[1521,2373,4585],[1535,2311,4529],[1565,2345,4592],[1654,2329,4559],[1679,2341,4531],[1753,2312,4574],[1806,2323,4559],[1807,2325,4541],[1847,2302,4550],[1850,2331,4557],[1878,2351,4597],[1905,2369,4547],[1931,2371,4583],[1964,2333,4600],[1969,2330,4560],[1982,2344,4595],[2001,2312,4529],[2018,2367,4550],[2046,2303,4564],[2099,2332,4571],[2100,2335,4572],[2355,4577,4578],[2355,2356,2357,2358,4578,4579,4580,4582],[817,2356,4580],[1352,2356,4582],[1390,2357,4582],[1415,2358,4578],[2358,4580,4581],[2358,2359,4581],[497,2359,4581],[1952,2359,4581],[2371,4585,4586],[2371,2372,4586],[1801,2372,4586],[1977,2372,4586],[2365,4602,4603],[2365,2366,4603],[315,2366,4603],[1449,2366,4603],[2380,2381,2382,2383,2384,2385,2386,2387,2388,2389,2390,2391,2392,2393,2394,2395,2396,2397,2398,2399,2400,2401,2403,2404,2405,2406,2407,2408,2409,2410,2411,2412,2413,2414,2415,2416,2417,2418,2419,2420,2421,2422,2423,2425,2427,2428,2429,5774,5801,5802,5803,5804,5805,5806,5807,5808,5809,5810,5811,5812,5813,5814,5815,5816,5817,5818,5819,5820,5822,5823,5824,5830,5831,5832,5833,5834,5835,5836,5837,5838,5839,5840,5841,5842,5843,5844,5845,5846,5847,5848,5849,5850,5851,5852,5853],[2423,2424,5810,5811],[173,2424,5811],[1214,2424,5810],[2425,2426,5804,5805],[869,2426,5804],[1310,2426,5805],[27,2403,5822],[113,2403,5837],[128,2428,5853],[148,2415,5808],[160,2419,5847],[268,2405,5841],[351,2407,5807],[398,2404,5841],[458,2413,5838],[484,2425,5813],[598,2383,5851],[701,2399,5817],[789,2400,5818],[952,2395,5822],[1013,2407,5812],[1090,2420,5848],[1095,2406,5812],[1132,2411,5838],[1135,2396,5833],[1160,2418,5849],[1201,2387,5845],[1205,2410,5836],[1207,2397,5820],[1233,2427,5840],[1270,2387,5852],[1281,2415,5805],[1435,2428,5840],[1443,2413,5816],[1459,2397,5835],[1572,2386,5851],[1582,2388,5813],[1636,2399,5816],[1661,2405,5853],[1708,2384,5845],[1787,2412,5818],[1844,2418,5852],[1926,2411,5833],[2112,2383,5831],[2114,2386,5849],[2135,2396,5834],[2156,2420,5846],[2186,2414,5803],[2401,5820,5821],[2401,2402,5821],[266,2402,5821],[1019,2402,5821],[2429,5824,5825],[2429,2430,2431,2432,2433,5825,5826,5827,5828,5829],[551,2429,5828],[942,2433,5827],[1011,2433,5829],[1431,2431,5827],[2025,2430,5829],[2069,2432,5826],[2437,2438,2439,2440,2441,2442,2443,2445,2446,2447,2448,5892,5899,5900,5901,5902,5903,5904,5905,5906,5907,5908,5909],[2443,2444,5908,5909],[60,2444,5909],[190,2444,5908],[116,2441,5905],[126,2448,5900],[461,2442,5903],[560,2441,5902],[717,2447,5909],[1577,2446,5903],[1646,2442,5904],[1783,2443,5907],[1800,2445,5902],[2115,2448,5906],[2474,2475,2476,2477,2478,2479,2480,2481,2482,2483,2484,5858,5859,5860,5861,5862,5863,5864,5865,5866,5867,5868,5869],[167,2476,5869],[185,2474,5867],[191,2483,5868],[391,2484,5863],[794,2480,5866],[1010,2482,5864],[1409,2480,5860],[1707,2481,5862],[1746,2478,5862],[1789,2484,5869],[1929,2477,5864],[2067,2479,5866],[2506,2510,2511,2512,2513,2514,2515,2516,2517,2518,2519,2520,2521,2522,2523,2524,2525,2526,5107,5108,5109,5110,5111,5112,5113,5114,5115,5116,5117,5118,5119,5120,5121,5122,5123,5124],[9,2512,5123],[87,2526,5124],[189,2514,5116],[460,2521,5122],[477,2516,5116],[558,2517,5110],[583,2523,5113],[896,2522,5112],[928,2523,5119],[1040,2520,5124],[1060,2519,5111],[1166,2518,5111],[1732,2525,5119],[1738,2519,5115],[1790,2524,5117],[1796,2526,5121],[1909,2513,5123],[2200,2513,5113],[2709,2710,2711,2713,2714,2715,2716,2717,2718,2719,2721,2722,2724,2725,4662,4777,4778,4779,4780,4781,4782,4783,4784,4785,4786,4787,4788,4789,4791,4792],[2719,2720,4786,4787],[762,2720,4786],[934,2720,4787],[443,2725,4785],[684,2714,4782],[734,2716,4791],[780,2724,4782],[879,2716,4792],[1087,2713,4779],[1545,2718,4783],[1550,2719,4784],[1830,2724,4791],[1912,2714,4781],[1936,2717,4787],[2038,2725,4781],[2711,4789,4790],[2711,2712,4790],[82,2712,4790],[1531,2712,4790],[2722,4792,4793],[2722,2723,4793],[379,2723,4793],[2013,2723,4793],[3130,3214,3215,3216,3217,3218,3219,3220,3221,3222,3223,3224,3225,3226,3227,3228,3229,3230,3237,3238,3239,3240,3241,3242,3243,3244,3245,3246,3247,3248,3251,3252,3253,3254,3255,3256,3257,3258,3259,3260,3261,3262,3263,3264,3265,3266,3267,3268,3269,3270,3271,3277,3278,3279,3280,3281,3282,3283,3284,3285,3287,3288,3289,3290,3291,3292,3293,3294,3295,3296,3297,3298,3299,3300,3301,3302,3303,3304,3309,3310,3311,3313,3314,3315,3321,3324,3325,6359,6360,6366,6367,6368,6369,6375,6376,6377,6378,6379,6380,6381,6382,6383,6384,6385,6386,6387,6388,6389,6390,6391,6392,6393,6394,6395,6396,6402,6403,6405,6406,6407,6408,6409,6410,6411,6412,6413,6414,6415,6417,6418,6419,6420,6421,6422,6423,6424,6425,6426,6427,6428,6429,6430,6431,6432,6433,6434,6435,6436,6437,6438,6439,6440,6445,6447,6448,6449,6450,6451,6452,6453,6454,6455,6456,6457,6458,6459,6460,6461,6462,6463,6464,6465,6466,6467,6468,6469,6470,6471,6472],[3230,3231,6402,6403],[1106,3231,6402],[1422,3231,6403],[3248,3249,3250,6413,6414,6416],[354,3250,6416],[596,3249,6416],[1571,3250,6413],[3285,3286,6467,6468],[517,3286,6467],[2147,3286,6468],[3311,3312,6438,6439],[628,3312,6438],[875,3312,6439],[3321,3322,6445,6447],[2188,3322,6447],[3322,6445,6446],[3322,3323,6446],[753,3323,6446],[1292,3323,6446],[11,3309,6436],[15,3222,6391],[19,3270,6431],[44,3253,6421],[51,3263,6432],[76,3290,6458],[138,3244,6384],[141,3296,6458],[159,3301,6456],[187,3226,6379],[220,3311,6470],[238,3267,6426],[246,3271,6432],[252,3287,6464],[280,3252,6420],[292,3265,6428],[296,3295,6460],[308,3291,6466],[314,3282,6452],[317,3303,6469],[321,3287,6454],[329,3254,6418],[376,3227,6380],[382,3263,6430],[385,3220,6381],[417,3292,6452],[437,3251,6415],[438,3321,6448],[483,3225,6388],[486,3244,6391],[543,3289,6457],[637,3300,6454],[652,3314,6470],[672,3227,6389],[673,3303,6448],[702,3218,6415],[764,3258,6412],[829,3269,6431],[840,3324,6396],[870,3262,6427],[918,3218,6409],[927,3296,6461],[1086,3291,6472],[1091,3222,6383],[1177,3298,6453],[1191,3220,6390],[1251,3254,6420],[1312,3248,6410],[1335,3259,6421],[1346,3289,6461],[1388,3290,6468],[1389,3262,6426],[1411,3282,6471],[1419,3301,6465],[1466,3251,6408],[1495,3313,6439],[1566,3243,6384],[1567,3258,6411],[1568,3228,6386],[1585,3314,6437],[1619,3219,6381],[1644,3229,6389],[1677,3325,6394],[1841,3259,6418],[1868,3229,6380],[1898,3256,6409],[1904,3270,6425],[1908,3243,6382],[1941,3225,6377],[1948,3269,6429],[1976,3271,6425],[1988,3242,6390],[2015,3257,6411],[2017,3297,6463],[2033,3285,6465],[2108,3292,6472],[2198,3300,6463],[3315,6360,6361],[3315,3316,6361],[3316,3317,3318,3319,3320,6361,6362,6363,6364,6365],[130,3320,6363],[424,3316,6363],[1262,3319,6365],[1371,3320,6364],[1639,3318,6365],[2166,3319,6362],[3264,6369,6370],[3264,3272,6370],[3272,3273,3274,3275,3276,6370,6371,6372,6373,6374],[520,3276,6371],[641,3273,6372],[791,3276,6374],[1569,3275,6373],[1754,3274,6372],[1903,3274,6374],[3230,6396,6397],[3230,3232,6397],[1967,3232,6397],[3232,6397,6398],[3232,3233,6398],[3233,3234,6398,6399],[3233,3234,6399,6401],[3233,3235,3236,6399,6400,6401],[358,3236,6400],[480,3236,6401],[670,3235,6400],[54,3234,6401],[2056,3234,6398],[3325,6403,6404],[3325,3326,6404],[171,3326,6404],[239,3326,6404],[3304,6440,6441],[3304,3305,6441],[2132,3305,6441],[3305,6441,6442],[3305,3306,6442],[337,3306,6442],[3306,6442,6443],[3306,3307,6443],[3307,3308,6443,6444],[334,3307,6444],[1767,3308,6444],[1865,3308,6443],[3552,3553,3554,3555,3556,3557,3558,3559,3560,3561,3562,3563,3564,3565,3566,3567,3569,3570,3571,3572,3573,3574,3575,3577,3578,3579,3580,3581,3582,3583,3584,3585,3586,3587,3588,3589,3590,3591,3592,3593,5352,5428,5429,5430,5431,5432,5433,5434,5435,5436,5437,5438,5439,5440,5441,5442,5443,5444,5445,5446,5447,5448,5449,5450,5452,5453,5454,5455,5456,5457,5458,5459,5460,5461,5462,5463,5464,5465,5466,5467,5468],[3566,3568,5441,5442],[1396,3568,5441],[2097,3568,5442],[7,3572,5442],[78,3573,5439],[99,3586,5445],[127,3579,5449],[154,3558,5466],[155,3577,5453],[192,3556,5457],[203,3567,5465],[248,3559,5468],[261,3593,5438],[470,3565,5434],[505,3563,5434],[648,3588,5463],[668,3585,5439],[685,3589,5464],[724,3584,5431],[850,3582,5467],[920,3559,5461],[982,3593,5447],[1001,3571,5464],[1052,3557,5459],[1115,3571,5436],[1220,3572,5465],[1272,3582,5460],[1291,3560,5458],[1320,3592,5445],[1358,3590,5446],[1428,3578,5450],[1464,3579,5453],[1501,3583,5459],[1601,3557,5468],[1699,3591,5437],[1702,3591,5447],[1919,3567,5448],[1922,3564,5440],[2020,3584,5461],[2024,3573,5448],[2187,3565,5438],[3575,5450,5451],[3575,3576,5451],[782,3576,5451],[1756,3576,5451],[3627,3628,3633,3634,3635,3636,3637,3638,5236,5237,5238,5239,5240,5241,5246,5247],[134,3638,5239],[469,3637,5240],[595,3634,5238],[632,3635,5247],[853,3635,5240],[1579,3637,5246],[1600,3638,5247],[3628,5241,5242],[3628,3629,5242],[3629,3630,3631,5242,5243,5244],[380,3631,5243],[1393,3630,5243],[1740,3631,5244],[3629,5244,5245],[3629,3632,5245],[345,3632,5245],[710,3632,5245],[3550,3730,3731,3732,3733,3734,3735,3736,3738,3739,3740,3741,3742,3743,3745,3746,3747,3748,3749,3750,3751,3752,3753,3754,3755,3756,3757,3758,3759,3760,3761,3762,3763,3764,3767,3769,3770,3771,3772,5148,5153,5154,5160,5161,5162,5163,5164,5165,5166,5167,5169,5170,5171,5172,5173,5174,5175,5176,5177,5178,5179,5180,5181,5182,5183,5184,5185,5186,5187,5188,5189,5190,5191,5192,5193,5194,5195,5197,5198,5199],[3736,3737,5171,5172],[1418,3737,5171],[1766,3737,5172],[3743,3744,5180,5181],[707,3744,5181],[1741,3744,5180],[3763,3765,3766,5165,5166,5168],[1071,3766,5168],[1512,3766,5166],[2021,3765,5168],[18,3764,5167],[195,3745,5197],[214,3735,5167],[236,3759,5199],[430,3771,5195],[532,3770,5195],[614,3770,5193],[700,3761,5170],[715,3764,5183],[776,3761,5172],[1028,3734,5178],[1074,3758,5190],[1099,3752,5198],[1104,3756,5177],[1175,3762,5169],[1185,3753,5188],[1212,3751,5189],[1216,3740,5188],[1263,3756,5181],[1476,3749,5190],[1623,3758,5163],[1692,3751,5164],[1869,3754,5163],[1972,3740,5185],[2016,3762,5174],[2061,3734,5177],[2078,3759,5185],[2079,3736,5199],[2084,3769,5193],[2130,3745,5187],[2165,3755,5179],[2167,3748,5173],[2201,3752,5184],[3772,5154,5155],[3772,3773,3774,3775,3776,5155,5156,5157,5158,5159],[383,3775,5158],[795,3775,5156],[909,3774,5158],[1372,3774,5159],[1617,3776,5155],[1973,3776,5159],[3767,5194,5196],[3767,3768,5196],[946,3768,5196],[1206,3768,5196],[3919,3920,3921,3922,3923,3924,3925,3926,3927,3929,3930,3931,3932,3933,3934,3935,3936,3937,3938,3939,3940,3941,3942,3943,3944,3945,3946,3947,3948,5590,5591,5592,5593,5594,5595,5596,5597,5598,5599,5600,5601,5602,5603,5604,5605,5606,5607,5608,5609,5610,5611,5612,5613,5614,5615,5616,5617],[17,3942,5606],[49,3944,5605],[65,3936,5616],[447,3947,5611],[455,3925,5600],[545,3943,5609],[686,3927,5595],[735,3941,5617],[975,3933,5593],[1012,3948,5607],[1017,3921,5594],[1033,3932,5592],[1082,3934,5615],[1219,3940,5611],[1252,3943,5607],[1298,3933,5595],[1430,3932,5600],[1458,3925,5596],[1487,3947,5603],[1536,3938,5614],[1581,3926,5615],[1690,3936,5596],[1757,3946,5603],[1760,3939,5610],[1779,3923,5599],[1843,3926,5613],[2151,3934,5616],[2160,3948,5609],[3927,5617,5618],[3927,3928,5618],[394,3928,5618],[1502,3928,5618],[3952,3953,3954,3955,3956,3957,3958,3959,3960,3961,3962,3963,3964,3965,3966,3967,3968,3969,3970,3971,3972,3973,3974,3975,3976,3977,3978,3979,3980,3981,3982,3985,3986,3987,3988,3989,3990,3991,3992,3993,3994,3995,3996,3997,3998,3999,4001,4002,4003,4004,4005,4006,4007,4008,4009,4010,4011,4012,4013,4014,4015,4016,5523,5524,5525,5526,5527,5528,5529,5530,5531,5532,5533,5534,5535,5536,5537,5538,5539,5540,5541,5542,5543,5544,5545,5546,5547,5550,5551,5552,5553,5554,5555,5556,5557,5558,5559,5560,5561,5562,5563,5564,5565,5566,5567,5568,5569,5570,5571,5572,5573,5574,5575,5576,5577,5578,5579,5580,5581,5582,5583,5584,5585,5586,5587,5588],[3999,4000,5552,5553],[1238,4000,5552],[1621,4000,5553],[13,4016,5571],[164,3961,5582],[176,4006,5564],[222,3988,5544],[229,4006,5569],[276,4003,5554],[323,3973,5533],[327,3972,5527],[540,3986,5541],[550,3969,5532],[621,3957,5585],[629,4010,5560],[667,4005,5572],[732,3995,5551],[768,3964,5585],[774,3992,5579],[787,4011,5573],[904,3971,5536],[929,4007,5558],[936,4004,5570],[970,4014,5573],[978,4015,5575],[1057,3981,5580],[1064,3986,5544],[1085,3989,5541],[1093,4016,5557],[1143,3975,5532],[1167,3960,5588],[1169,3990,5542],[1173,3979,5576],[1180,3982,5578],[1253,3960,5586],[1269,4010,5553],[1347,3974,5526],[1378,3971,5534],[1385,3982,5565],[1420,3975,5526],[1421,3964,5584],[1445,3995,5554],[1506,3980,5575],[1508,4012,5570],[1525,3985,5545],[1629,3993,5561],[1672,3998,5580],[1687,3990,5584],[1723,3956,5545],[1776,3957,5542],[1781,3966,5534],[1821,3962,5587],[1835,3969,5535],[1874,3963,5588],[1996,4005,5560],[2006,4012,5577],[2076,4015,5576],[2087,3966,5527],[2088,4004,5558],[2113,3994,5561],[2119,3967,5536],[2184,3963,5539],[2193,3996,5564],[2207,3996,5556],[3978,5547,5548],[3978,3983,5548],[3983,3984,5548,5549],[578,3983,5549],[1945,3984,5548],[2189,3984,5549],[4183,4184,4190,4196,4197,4198,4199,4200,4201,4202,4203,4204,4205,4207,4208,4209,4210,4211,4212,4213,4215,4216,4217,4218,4219,4220,4221,4222,4223,4224,4604,4621,4622,4623,4630,4631,4637,4638,4639,4640,4641,4642,4643,4644,4645,4646,4647,4648,4649,4650,4651,4652,4653,4654,4655,4656,4657,4658,4659,4660,4661],[4213,4214,4654,4655],[509,4214,4655],[1998,4214,4654],[123,4220,4656],[132,4224,4642],[279,4199,4657],[525,4205,4640],[631,4223,4661],[676,4218,4644],[943,4219,4638],[968,4223,4646],[1044,4203,4658],[1181,4203,4660],[1234,4201,4656],[1374,4212,4657],[1423,4210,4638],[1436,4201,4660],[1505,4221,4639],[1510,4221,4649],[1695,4224,4647],[1818,4210,4641],[1833,4213,4645],[1993,4218,4623],[1999,4202,4655],[2085,4204,4649],[2177,4219,4642],[2192,4209,4647],[2196,4211,4659],[2209,4216,4661],[4205,4623,4624],[4205,4206,4624],[737,4206,4624],[1765,4206,4624],[4184,4622,4625],[4184,4185,4186,4188,4189,4625,4626,4627,4628,4629],[4186,4187,4628,4629],[263,4187,4628],[1940,4187,4629],[1225,4186,4627],[1336,4189,4629],[1345,4189,4625],[2047,4188,4627],[4190,4631,4632],[4190,4191,4632],[4191,4194,4632,4633],[4191,4194,4633,4634],[4191,4192,4633,4634],[623,4192,4633],[4192,4634,4636],[4192,4193,4636],[253,4193,4636],[775,4193,4636],[4194,4634,4635],[4194,4195,4635],[503,4195,4635],[1659,4195,4635],[254,4194,4632],[4226,4227,4228,4230,4231,4232,4233,4234,4235,4236,4237,4238,4239,4240,4241,4242,4244,4245,4246,4247,4248,4249,4250,4251,4252,4253,6327,6328,6329,6330,6331,6332,6333,6334,6335,6336,6337,6338,6339,6341,6343,6344,6345,6346,6347,6348,6349,6350,6351,6352,6353,6354,6355],[4253,4254,6335,6336],[604,4254,6336],[1823,4254,6335],[22,4250,6354],[215,4238,6332],[223,4251,6353],[294,4230,6349],[500,4239,6330],[513,4235,6332],[515,4237,6336],[610,4237,6350],[819,4248,6355],[839,4248,6352],[848,4253,6334],[882,4247,6348],[1005,4252,6355],[1046,4246,6345],[1080,4234,6333],[1089,4239,6333],[1489,4252,6353],[1498,4230,6346],[1507,4241,6347],[1876,4235,6350],[1902,4246,6349],[2110,4242,6339],[2127,4236,6329],[2143,4247,6341],[4228,6339,6340],[4228,4229,6340],[1330,4229,6340],[1515,4229,6340],[4242,6341,6342],[4242,4243,6342],[348,4243,6342],[1265,4243,6342],[4428,4429,4794],[2555,4431,4432],[2555,2556,2557,2562,4432],[2562,4432,4433],[2562,2563,2564,2565,2566,2567,2568,2569,2570,2571,2572,2573,2574,2575,2576,2577,2578,2579,2581,2586,2587,2592,2593,2594,2595,2596,4433,4434,4435,4437,4445,4446,4447,4448,4449,4450,4451,4452,4453,4454,4455,4456,4457,4458,4459,4460,4461,4462,4464,4465,4466,4467],[2581,2582,2583,2584,2585,4434,4435,4436,4442,4443,4444],[234,2584,4444],[492,2583,4444],[1705,2583,4436],[2008,2585,4442],[2036,2582,4443],[2118,2585,4436],[146,2575,4458],[290,2596,4462],[300,2596,4467],[357,2595,4453],[627,2576,4456],[713,2594,4454],[746,2573,4467],[837,2571,4450],[842,2595,4466],[878,2573,4450],[984,2578,4459],[995,2572,4449],[1105,2569,4465],[1176,2570,4453],[1199,2577,4459],[1294,2592,4458],[1392,2574,4454],[1547,2569,4447],[1752,2574,4449],[2014,2578,4455],[2019,2568,4465],[2140,2579,4464],[2587,2588,2589,2590,2591,4437,4438,4439,4440,4441],[331,2591,4438],[393,2589,4439],[1112,2589,4441],[1236,2590,4440],[1645,2591,4441],[1970,2587,4438],[2579,4462,4463],[2579,2580,4463],[221,2580,4463],[1586,2580,4463],[2557,4432,4468],[2557,2558,2559,2560,2561,4468,4469,4470,4471,4472],[144,2557,4471],[403,2561,4469],[546,2561,4472],[736,2560,4468],[1293,2558,4472],[1353,2559,4470],[2619,4431,4473],[2619,2620,2621,2622,2623,2624,2625,2626,2630,2631,2632,2633,2634,2635,2641,2645,2646,2647,2648,2649,2650,2651,2652,2653,2654,2655,2656,2657,2659,2660,2661,2662,2663,2664,2666,4473,4474,4475,4476,4477,4478,4479,4480,4484,4485,4486,4487,4488,4489,4490,4491,4492,4493,4494,4500,4501,4502,4510,4511,4512,4513,4514,4515,4516,4517,4518,4519,4520,4521,4522,4524,4525],[2633,2642,2643,4479,4480,4483],[8,2643,4483],[554,2642,4483],[2643,4480,4482],[2643,2644,4482],[1065,2644,4482],[1780,2644,4482],[2664,2665,4487,4488],[689,2665,4488],[1475,2665,4487],[73,2664,4525],[120,2659,4515],[172,2649,4476],[305,2622,4490],[353,2654,4512],[384,2663,4524],[389,2651,4513],[453,2656,4494],[542,2646,4516],[691,2657,4520],[745,2662,4525],[866,2625,4522],[941,2659,4477],[1059,2652,4478],[1154,2652,4514],[1172,2624,4492],[1235,2651,4478],[1243,2641,4518],[1276,2623,4492],[1337,2634,4519],[1405,2647,4514],[1564,2666,4491],[1770,2653,4516],[1897,2654,4476],[2009,2662,4488],[2026,2624,4491],[2043,2657,4519],[2096,2641,4520],[2138,2666,4493],[2655,4480,4481],[2655,2658,4481],[552,2658,4481],[1809,2658,4481],[2635,4494,4495],[2635,2636,4495],[2636,2638,4495,4496],[1416,2638,4495],[2636,4496,4497],[2636,2637,4497],[1467,2637,4497],[1527,2637,4497],[2638,4496,4498],[2638,2639,4498],[2639,2640,4498,4499],[295,2639,4499],[318,2640,4499],[1913,2640,4498],[2619,4502,4503],[2619,2667,4503],[2667,2668,2669,4503,4504,4505],[2668,2669,2670,4505,4506,4507],[2668,2671,4506,4507],[271,2671,4506],[951,2671,4507],[1189,2670,4505],[2121,2670,4507],[1023,2667,4504],[1178,2669,4503],[2626,4502,4508],[2626,2627,4508],[2627,2628,4508,4509],[788,2628,4508],[1923,2627,4509],[1991,2628,4509],[2626,4522,4523],[2626,2629,4523],[681,2629,4523],[1815,2629,4523],[2833,4612,4613],[2833,2834,4613],[181,2834,4613],[698,2834,4613],[2820,4619,4620],[2820,2823,4620],[863,2823,4620],[1894,2823,4620],[2945,4695,4699],[2945,2946,4699],[986,2946,4699],[1957,2946,4699],[2947,4767,4768],[2947,2948,4768],[846,2948,4768],[1484,2948,4768],[3404,4796,4797],[3404,3405,3406,3447,4797],[3447,4797,4798],[3447,3448,3449,3450,3451,3452,3453,3454,3455,3456,3457,3458,3459,3460,3461,3462,3463,3464,3465,4798,4799,4800,4801,4802,4803,4804,4805,4806,4807,4808,4809,4810,4811,4812,4814,4815,4816,4818,4819,4820],[3465,3466,4815,4816],[31,3466,4815],[3466,4816,4817],[3466,3467,4817],[587,3467,4817],[1599,3467,4817],[3463,3468,4811,4812],[1117,3468,4811],[3468,4812,4813],[3468,3469,4813],[893,3469,4813],[1816,3469,4813],[188,3454,4819],[243,3465,4818],[462,3452,4810],[555,3461,4804],[609,3462,4803],[773,3456,4798],[884,3456,4816],[974,3449,4804],[1021,3458,4820],[1195,3455,4819],[1517,3459,4820],[1578,3455,4809],[1901,3464,4810],[1932,3462,4801],[2050,3461,4801],[2098,3452,4809],[2122,3449,4803],[2123,3459,4812],[3406,4797,4821],[3406,3407,3408,3409,3410,3411,3412,3413,3414,3415,3416,3417,3418,3419,3420,3421,3422,3423,3424,3425,3426,3427,3429,3430,3431,3432,3433,3434,3435,3437,3438,3439,3440,3441,3442,3443,3444,3445,3446,4821,4822,4823,4824,4825,4827,4828,4829,4830,4831,4832,4833,4834,4835,4836,4837,4838,4839,4840,4841,4842,4843,4844,4845,4846,4847,4848,4849,4850,4851,4852,4853,4854,4855,4856,4857,4858,4859,4860,4861],[3420,3428,4839,4840],[1245,3428,4839],[1543,3428,4840],[5,3413,4835],[23,3430,4838],[40,3414,4836],[45,3423,4841],[85,3434,4851],[104,3417,4861],[114,3444,4845],[242,3410,4860],[269,3422,4846],[277,3432,4841],[304,3427,4852],[450,3416,4836],[489,3446,4857],[521,3441,4847],[706,3442,4853],[727,3443,4856],[754,3409,4861],[771,3424,4828],[804,3437,4838],[994,3437,4825],[1116,3425,4830],[1311,3426,4827],[1327,3411,4842],[1359,3411,4860],[1394,3408,4831],[1518,3422,4849],[1604,3416,4832],[1618,3433,4829],[1667,3434,4830],[1748,3443,4854],[1810,3445,4847],[1822,3446,4856],[1896,3431,4852],[1906,3417,4858],[1946,3427,4851],[2023,3415,4832],[2109,3438,4857],[2174,3445,4849],[3435,4825,4826],[3435,3436,4826],[647,3436,4826],[883,3436,4826],[4423,4895,4896],[4423,4427,4896],[856,4427,4896],[2205,4427,4896],[4373,4903,4904],[4373,4374,4904],[1349,4374,4904],[1478,4374,4904],[4394,4864,4942],[4394,4408,4409,4410,4411,4412,4413,4414,4415,4416,4417,4942,4943,4944,4945,4946,4947,4948,4949,4950,4951,4952],[4416,4418,4948,4949],[405,4418,4949],[2211,4418,4948],[67,4410,4943],[310,4409,4952],[633,4415,4947],[1356,4417,4951],[1375,4413,4949],[1391,4417,4947],[1595,4412,4943],[1688,4413,4952],[1775,4410,4951],[2054,4414,4950],[4225,4953,4976],[4225,4255,4976],[4255,4256,4257,4258,4259,4262,4263,4264,4265,4269,4270,4272,4273,4274,4275,4276,4277,4976,4977,4982,4983,4984,4985,4986,4987,4989,4990,4991,4992,4994,4995,4996,4997,4998],[149,4265,4998],[487,4263,4995],[565,4263,4996],[615,4264,4998],[935,4276,4987],[1150,4265,4995],[1217,4272,4997],[1328,4270,4991],[1426,4277,4992],[1450,4275,4984],[1555,4274,4986],[1674,4276,4984],[1711,4259,4989],[2171,4277,4990],[4270,4977,4978],[4270,4271,4978],[364,4271,4978],[2074,4271,4978],[4256,4977,4979],[4256,4266,4979],[4266,4268,4979,4980],[4266,4268,4980,4981],[4266,4267,4980,4981],[151,4267,4981],[642,4267,4980],[2065,4268,4981],[911,4268,4979],[4259,4987,4988],[4259,4260,4988],[1900,4260,4988],[1995,4260,4988],[4258,4992,4993],[4258,4261,4993],[510,4261,4993],[960,4261,4993],[4381,5002,5003],[4381,4385,5003],[4385,4386,5003,5004],[1432,4386,5003],[2169,4385,5004],[2213,4386,5004],[2986,5012,5013],[2986,2987,5013],[355,2987,5013],[1227,2987,5013],[2909,5018,5019],[2909,2910,5019],[806,2910,5019],[1153,2910,5019],[4286,5059,5060],[4286,4287,5060],[1182,4287,5060],[1924,4287,5060],[2487,5096,5097],[2487,2488,2489,2490,2491,2492,5097,5098,5099,5100,5101],[42,2491,5101],[758,2490,5099],[1137,2491,5098],[1651,2492,5100],[1670,2490,5101],[2206,2492,5099],[2501,5096,5102],[2501,2502,2503,2504,2505,5102,5103,5104,5105,5106],[440,2504,5104],[649,2505,5104],[1006,2504,5105],[1145,2503,5106],[1363,2501,5103],[1546,2505,5106],[3715,5254,5255],[3715,3717,5255,5256],[3715,3716,3717,3718,5256,5257,5259],[100,3716,5257],[202,3718,5259],[897,3716,5259],[3718,5257,5258],[3718,3719,5258],[344,3719,5258],[1744,3719,5258],[1914,3717,5255],[3615,5265,5268],[3615,3616,5268],[752,3616,5268],[1408,3616,5268],[3727,5284,5285],[3727,3728,5285],[1596,3728,5285],[1743,3728,5285],[3846,5217,5286],[3846,3847,5286],[3847,3853,3854,3855,3856,3857,3858,3859,3860,3861,3862,3863,5286,5287,5289,5293,5294,5295,5296,5297,5298,5299,5300,5301,5302],[3847,3848,3849,3850,3851,5287,5288,5289,5290,5291],[230,3851,5288],[335,3851,5291],[531,3850,5288],[1486,3849,5291],[3848,5290,5292],[3848,3852,5292],[811,3852,5292],[1387,3852,5292],[219,3856,5294],[228,3854,5289],[363,3855,5302],[421,3860,5299],[766,3862,5299],[1101,3856,5302],[1341,3863,5301],[1362,3858,5296],[1460,3858,5294],[1799,3863,5298],[1893,3862,5296],[2214,3859,5300],[3841,5309,5311],[3841,3845,5311],[512,3845,5311],[957,3845,5311],[3472,5312,5344],[3472,3477,5344],[3477,3480,5344,5345],[3477,3480,5345,5346],[3477,3478,3479,5345,5346,5347],[267,3479,5347],[1242,3478,5347],[1710,3479,5345],[1722,3480,5346],[3480,5344,5348],[3480,3481,5348],[1433,3481,5348],[1463,3481,5348],[3399,5349,5350],[3399,3402,5350],[947,3402,5350],[1930,3402,5350],[3648,5369,5370],[3648,3649,5370],[102,3649,5370],[3649,5370,5371],[3649,3650,5371],[1007,3650,5371],[1861,3650,5371],[3693,5423,5424],[3693,3700,5424],[412,3700,5424],[693,3700,5424],[3821,5478,5481],[3821,3822,5481],[1041,3822,5481],[1097,3822,5481],[3379,5504,5505],[3379,3380,3381,3382,3383,3384,5505,5506,5507,5508,5509],[108,3382,5508],[270,3381,5508],[312,3383,5505],[849,3384,5509],[1774,3381,5509],[1928,3384,5507],[3386,5503,5515],[3386,3387,3388,3389,3390,3391,5515,5516,5517,5518,5519],[272,3390,5518],[328,3391,5519],[495,3389,5516],[1318,3391,5516],[1916,3389,5518],[2105,3388,5519],[2217,5589,5619],[2217,2247,2248,2249,2251,2263,2264,2265,2266,2267,2268,2269,2270,2271,2272,2273,2274,2280,2281,2283,2284,2285,2286,2287,2288,2289,2290,2291,2292,2293,5619,5620,5621,5622,5623,5635,5636,5637,5638,5639,5640,5641,5642,5644,5645,5646,5647,5648,5649,5650,5651,5652,5653,5654,5656,5657,5658,5664,5665],[28,2268,5656],[139,2292,5637],[197,2293,5665],[208,2284,5654],[264,2284,5622],[336,2290,5641],[569,2267,5621],[739,2289,5664],[743,2266,5657],[876,2291,5640],[1056,2283,5653],[1102,2272,5646],[1183,2272,5649],[1332,2288,5638],[1364,2287,5665],[1437,2269,5648],[1562,2267,5657],[1587,2293,5639],[1649,2289,5642],[1675,2283,5622],[1698,2268,5651],[1713,2271,5648],[1793,2292,5640],[1826,2271,5649],[2010,2264,5651],[2145,2269,5635],[2251,5623,5624],[2251,2252,2253,2254,2255,2256,2257,2258,2259,2260,2261,2262,5624,5625,5626,5627,5628,5629,5630,5631,5632,5633,5634],[196,2262,5633],[225,2253,5624],[397,2256,5633],[406,2261,5629],[956,2262,5631],[1119,2260,5626],[1123,2258,5629],[1147,2257,5632],[1224,2259,5627],[1792,2252,5634],[1871,2257,5634],[2070,2260,5628],[2249,5642,5643],[2249,2250,5643],[343,2250,5643],[1997,2250,5643],[2281,5654,5655],[2281,2282,5655],[590,2282,5655],[2028,2282,5655],[2274,5658,5659],[2274,2275,5659],[2275,2276,2277,2278,5659,5660,5661,5662,5663],[2275,2279,5662,5663],[1152,2279,5663],[1549,2279,5662],[712,2277,5661],[1072,2278,5663],[1188,2278,5660],[1689,2277,5660],[4041,5703,5704],[4041,4042,4043,4044,4045,5704,5705,5706,5707,5708],[2,4045,5706],[143,4044,5707],[586,4041,5706],[630,4042,5708],[1377,4044,5705],[1745,4045,5708],[4078,5741,5742],[4078,4079,5742],[906,4079,5742],[1802,4079,5742],[4036,5745,5746],[4036,4037,5746],[59,4037,5746],[1141,4037,5746],[3950,5751,5752],[3950,4022,4023,4024,4025,4026,4027,4028,4029,4032,5752,5753,5754,5755,5756,5757,5758,5760,5761,5762],[4029,4030,4031,5758,5759,5760],[347,4030,5759],[1857,4031,5759],[1870,4031,5760],[342,4032,5762],[511,4032,5755],[924,4027,5757],[1036,4025,5754],[1324,4026,5757],[1668,4024,5756],[1736,4024,5762],[1797,4026,5752],[2157,4029,5761],[3022,5775,5796],[3022,3023,3024,3025,3026,5796,5797,5798,5799,5800],[213,3022,5799],[536,3024,5798],[822,3026,5800],[926,3026,5797],[1334,3025,5799],[1828,3024,5800],[2462,5897,5898],[2462,2463,5898],[1266,2463,5898],[1824,2463,5898],[2998,5856,5910],[2998,3016,3017,3018,3019,5910,5911,5912,5913,5914],[3019,3020,5913,5914],[1256,3020,5913],[2150,3020,5914],[544,3018,5914],[1848,3019,5912],[1892,3018,5910],[2044,3017,5912],[3094,5943,5944],[3094,3096,5944],[3096,3097,5944,5945],[1076,3097,5945],[1343,3097,5944],[1717,3096,5945],[3070,5969,5970],[3070,3073,5970],[284,3073,5970],[2173,3073,5970],[3076,5974,5975],[3076,3077,5975],[874,3077,5975],[1583,3077,5975],[3000,5995,5996],[3000,3002,3003,3005,3006,5996,5997,5998,5999,6000],[3003,3004,5999,6000],[824,3004,5999],[1917,3004,6000],[411,3005,5997],[851,3006,6000],[1037,3003,5997],[1927,3006,5998],[2547,6009,6010],[2547,2548,6010],[416,2548,6010],[1146,2548,6010],[3521,6037,6038],[3521,3522,3523,3524,3525,3526,3528,3529,3530,3531,6038,6039,6040,6041,6042,6044,6045,6046,6047],[349,3531,6046],[679,3530,6042],[744,3528,6038],[785,3531,6042],[903,3529,6047],[1511,3526,6044],[1671,3525,6040],[1734,3528,6046],[2124,3524,6047],[3526,6041,6043],[3526,3527,6043],[24,3527,6043],[1453,3527,6043],[3778,6050,6051],[3778,3790,6051],[3790,3791,3792,3794,3796,3797,3798,3799,3800,6051,6052,6053,6054,6055,6056,6057,6058,6059,6060,6061],[3792,3793,6055,6056],[306,3793,6056],[1693,3793,6055],[3794,3795,6053,6054],[650,3795,6054],[1429,3795,6053],[121,3796,6059],[283,3798,6061],[359,3800,6059],[888,3797,6060],[973,3798,6057],[987,3799,6056],[1151,3800,6061],[2005,3799,6054],[3540,6079,6081],[3540,3541,6081],[889,3541,6081],[1537,3541,6081],[3801,6071,6089],[3801,3802,3803,3804,3805,3806,6089,6090,6091,6092,6093],[84,3804,6090],[131,3806,6090],[575,3805,6093],[1268,3803,6093],[1504,3803,6091],[1983,3806,6092],[2294,6160,6161],[2294,2726,2727,2750,6161],[2727,6161,6162],[2727,2728,2729,2730,2740,2741,2742,2743,6162,6163,6164,6165,6171,6177,6180,6181,6182],[2730,2731,2732,2733,2734,6177,6178,6179,6180,6183,6184],[507,2733,6183],[1190,2731,6184],[1203,2734,6184],[1406,2733,6178],[1611,2734,6179],[1888,2730,6179],[2741,2744,6181,6182],[396,2744,6182],[2212,2744,6181],[346,2743,6165],[654,2743,6182],[1470,2742,6164],[1706,2740,6164],[2729,6165,6166],[2729,2735,6166],[2735,2736,2737,2738,2739,6166,6167,6168,6169,6170],[68,2737,6169],[894,2739,6167],[1221,2735,6169],[1514,2736,6167],[1762,2739,6170],[2182,2738,6170],[2727,6171,6172],[2727,2745,2746,2747,2748,2749,6172,6173,6174,6175,6176],[291,2749,6173],[825,2745,6176],[1131,2748,6174],[1369,2747,6174],[1684,2747,6176],[1782,2749,6175],[2750,6161,6185],[2750,2762,2763,2780,6185,6186,6187],[2780,2781,2782,2783,2784,6187,6188,6189,6190,6191],[10,2784,6191],[56,2781,6189],[562,2780,6191],[692,2783,6190],[976,2783,6187],[1351,2784,6190],[2750,6186,6192],[2750,2751,2752,2753,2754,2755,2756,2757,2758,2759,2760,2761,6192,6193,6194,6195,6196,6197,6198,6199,6200,6201,6202],[322,2758,6197],[528,2761,6200],[563,2759,6195],[748,2752,6202],[885,2761,6195],[1261,2755,6202],[1427,2754,6198],[1640,2757,6194],[1933,2756,6201],[1954,2759,6200],[2090,2760,6194],[2111,2756,6198],[2763,6185,6203],[2763,2764,2765,2766,2767,2768,2779,6203,6204,6205,6217,6218,6219],[666,2779,6217],[740,2765,6217],[998,2779,6219],[1542,2767,6219],[1773,2767,6204],[2164,2766,6218],[2768,6205,6206],[2768,2769,2770,2771,2772,2773,2774,2775,2776,2777,2778,6206,6207,6208,6209,6210,6211,6212,6213,6214,6215,6216],[38,2772,6213],[101,2773,6215],[465,2776,6209],[559,2775,6214],[612,2770,6210],[1229,2775,6210],[1303,2776,6212],[1331,2778,6216],[1338,2777,6211],[1681,2768,6216],[1812,2778,6208],[2106,2773,6213],[3951,6220,6221],[3951,4017,6221],[4017,4019,6221,6222],[4017,4018,4019,4020,6222,6223,6224,6225],[4020,4021,6224,6225],[638,4021,6224],[1956,4021,6225],[939,4018,6223],[966,4018,6225],[1641,4020,6222],[1481,4019,6221],[3369,6485,6489],[3369,3370,6489],[719,3370,6489],[1574,3370,6489],[3846,6505,6511],[3846,3864,3865,3866,3867,3868,6511,6512,6513,6514,6515],[21,3868,6513],[161,3866,6513],[445,3867,6514],[494,3866,6511],[836,3865,6515],[1317,3868,6515],[3202,6536,6539],[3202,3204,6539],[1889,3204,6539],[2055,3204,6539],[3132,6553,6554],[3132,3133,6554],[965,3133,6554],[1553,3133,6554],[3156,6561,6562],[3156,3157,6562],[6,3157,6562],[1070,3157,6562],[3211,6573,6574],[3211,3213,6574],[599,3213,6574],[1974,3213,6574],[3890,4794,6612],[3890,3891,3892,3893,3895,3896,3897,3898,3899,3902,3903,3904,3905,3906,3907,3908,3909,3913,6612,6613,6619,6620,6621,6622,6623,6624,6625,6626,6628,6630,6631,6633,6634,6635,6636,6637,6638],[3906,3910,3911,6626,6627,6628],[193,3911,6627],[1198,3910,6627],[3911,6628,6629],[3911,3912,6629],[205,3912,6629],[2081,3912,6629],[3892,3893,6631,6632],[3892,3894,6631,6632],[1024,3894,6632],[1724,3894,6631],[594,3893,6632],[240,3898,6635],[365,3893,6625],[533,3913,6637],[607,3904,6622],[1081,3909,6612],[1461,3903,6636],[1633,3904,6637],[1727,3899,6636],[1737,3898,6623],[1918,3903,6623],[2172,3909,6628],[2194,3908,6625],[2203,3908,6630],[3913,6613,6614],[3913,3914,6614],[3914,3915,6614,6615,6616],[3915,3916,6614,6615],[286,3916,6614],[1712,3916,6615],[3914,3915,6616,6618],[3914,3917,3918,6616,6617,6618],[466,3918,6618],[1321,3917,6617],[2133,3918,6617],[1530,3915,6618],[3896,6638,6639],[3896,3901,6639],[514,3901,6639],[852,3901,6639],[3899,6638,6640],[3899,3900,6640],[224,3900,6640],[756,3900,6640],[4121,4122,6256,6257],[750,4122,6257],[2102,4122,6256],[4170,4172,6245,6246],[1274,4172,6246],[1682,4172,6245],[30,4175,6250],[41,4125,6269],[163,4180,6251],[174,4152,6228],[183,4139,6277],[235,4181,6255],[251,4178,6251],[273,4179,6247],[288,4179,6248],[297,4137,6276],[324,4114,6270],[339,4151,6237],[366,4177,6250],[370,4174,6254],[418,4129,6267],[419,4142,6298],[435,4118,6261],[471,4106,6271],[476,4114,6282],[488,4181,6241],[501,4167,6294],[519,4140,6301],[524,4149,6231],[556,4107,6285],[618,4133,6257],[678,4147,6236],[757,4139,6276],[793,4108,6300],[796,4109,6278],[803,4134,6308],[807,4160,6292],[810,4107,6305],[820,4109,6303],[828,4132,6307],[847,4174,6240],[868,4119,6282],[891,4126,6289],[938,4165,6249],[981,4112,6290],[1000,4171,6241],[1038,4153,6232],[1049,4146,6233],[1075,4125,6271],[1128,4160,6294],[1157,4127,6266],[1164,4133,6272],[1171,4164,6247],[1200,4138,6303],[1222,4141,6300],[1246,4127,6290],[1260,4152,6237],[1344,4166,6267],[1361,4138,6277],[1457,4167,6279],[1538,4104,6285],[1576,4142,6301],[1588,4154,6232],[1610,4111,6306],[1652,4157,6297],[1657,4161,6284],[1676,4113,6266],[1703,4106,6269],[1719,4117,6287],[1778,4154,6234],[1795,4158,6286],[1867,4130,6308],[1887,4153,6258],[1951,4113,6307],[2012,4134,6273],[2052,4180,6249],[2083,4171,6255],[2093,4147,6233],[2103,4119,6286],[2128,4161,6306],[2134,4165,6242],[2142,4124,6265],[2181,4130,6273],[4156,6292,6293],[4156,4162,6293],[915,4162,6293],[2041,4162,6293]],[[1,2],[2,3],[2,2546],[2,2549],[2,2552],[2,2553],[2,2554],[2,2555],[2,2556],[2,2557],[2,2558],[2,2559],[2,2560],[2,2561],[2,2562],[2,2563],[2,2564],[2,2565],[2,2566],[2,2567],[2,2568],[2,2569],[2,2570],[2,2571],[2,2572],[2,2573],[2,2574],[2,2575],[2,2576],[2,2577],[2,2578],[2,2579],[2,2580],[2,2581],[2,2582],[2,2583],[2,2584],[2,2585],[2,2586],[2,2587],[2,2588],[2,2589],[2,2590],[2,2591],[2,2592],[2,2593],[2,2594],[2,2595],[2,2596],[2,2597],[2,2598],[2,2599],[2,2600],[2,2601],[2,2602],[2,2603],[2,2604],[2,2605],[2,2606],[2,2607],[2,2608],[2,2609],[2,2610],[2,2611],[2,2612],[2,2613],[2,2614],[2,2615],[2,2616],[2,2617],[2,2618],[2,2619],[2,2620],[2,2621],[2,2622],[2,2623],[2,2624],[2,2625],[2,2626],[2,2627],[2,2628],[2,2629],[3,4],[3,5],[3,13],[3,17],[3,20],[3,26],[3,29],[3,32],[3,42],[3,46],[3,49],[3,52],[3,55],[3,58],[3,62],[3,74],[3,77],[3,80],[3,83],[3,86],[3,89],[3,92],[3,95],[3,98],[3,101],[3,104],[3,107],[3,110],[3,113],[3,116],[3,119],[3,122],[3,125],[3,132],[3,140],[3,161],[3,164],[3,171],[3,174],[3,177],[3,180],[3,183],[3,186],[3,189],[3,194],[3,200],[3,205],[3,206],[3,207],[3,208],[3,209],[3,210],[3,211],[3,212],[3,213],[3,214],[3,215],[3,216],[3,217],[3,218],[3,219],[3,220],[3,221],[3,222],[3,223],[3,224],[3,225],[3,226],[3,227],[3,228],[3,229],[3,230],[3,231],[3,232],[3,233],[3,234],[3,235],[3,236],[3,237],[3,238],[3,239],[3,240],[3,241],[3,242],[3,243],[3,244],[3,245],[3,246],[3,247],[3,248],[3,249],[3,250],[3,251],[3,252],[3,253],[3,254],[3,255],[3,256],[3,257],[3,258],[3,259],[3,260],[3,261],[3,262],[3,263],[3,264],[3,265],[3,266],[3,267],[3,268],[3,269],[3,270],[3,271],[3,272],[3,273],[3,274],[3,275],[3,276],[3,277],[3,278],[3,279],[3,280],[3,281],[3,282],[3,283],[3,284],[3,285],[3,286],[3,287],[3,288],[3,289],[3,290],[3,291],[3,292],[3,293],[3,294],[3,295],[3,296],[3,297],[3,298],[3,299],[3,300],[3,301],[3,302],[3,303],[3,304],[3,305],[3,306],[3,307],[3,308],[3,309],[3,310],[3,311],[3,312],[3,313],[3,314],[3,315],[3,316],[3,317],[3,318],[3,319],[3,320],[3,321],[3,322],[3,323],[3,324],[3,325],[3,326],[3,327],[3,328],[3,329],[3,330],[3,331],[3,332],[3,333],[3,334],[3,335],[3,336],[3,337],[3,338],[3,339],[3,340],[3,341],[3,342],[3,343],[3,344],[3,345],[3,346],[3,347],[3,348],[3,349],[3,350],[3,351],[3,352],[3,353],[3,354],[3,355],[3,356],[3,357],[3,358],[3,359],[3,360],[3,361],[3,362],[3,363],[3,364],[3,365],[3,366],[3,367],[3,368],[3,369],[3,370],[3,371],[3,372],[3,373],[3,374],[3,375],[3,376],[3,377],[3,378],[3,379],[3,380],[3,381],[3,382],[3,383],[3,384],[3,385],[3,386],[3,387],[3,388],[3,389],[3,390],[3,391],[3,392],[3,393],[3,394],[3,395],[3,396],[3,397],[3,398],[3,399],[3,400],[3,401],[3,402],[3,403],[3,404],[3,405],[3,406],[3,407],[3,408],[3,409],[3,410],[3,411],[3,412],[3,413],[3,414],[3,415],[3,416],[3,417],[3,418],[3,419],[3,420],[3,421],[3,422],[3,423],[3,424],[3,425],[3,426],[3,427],[3,428],[3,429],[3,430],[3,431],[3,432],[3,433],[3,434],[3,435],[3,436],[3,437],[3,438],[3,439],[3,440],[3,441],[3,442],[3,443],[3,444],[3,445],[3,446],[3,447],[3,448],[3,449],[3,450],[3,451],[3,452],[3,453],[3,454],[3,455],[3,456],[3,457],[3,458],[3,459],[3,460],[3,461],[3,462],[3,463],[3,464],[3,465],[3,466],[3,467],[3,468],[3,469],[3,470],[3,471],[3,472],[3,473],[3,474],[3,475],[3,476],[3,477],[3,478],[3,479],[3,480],[3,481],[3,482],[3,483],[3,484],[3,485],[3,486],[3,487],[3,488],[3,489],[3,490],[3,491],[3,492],[3,493],[3,494],[3,495],[3,496],[3,497],[3,498],[3,499],[3,500],[3,501],[3,502],[3,503],[3,504],[3,505],[3,506],[3,507],[3,508],[3,509],[3,510],[3,511],[3,512],[3,513],[3,514],[3,515],[3,516],[3,517],[3,518],[3,519],[3,520],[3,521],[3,522],[3,523],[3,524],[3,525],[3,526],[3,527],[3,528],[3,529],[3,530],[3,531],[3,532],[3,533],[3,534],[3,535],[3,536],[3,537],[3,538],[3,539],[3,540],[3,541],[3,542],[3,543],[3,544],[3,545],[3,546],[3,547],[3,548],[3,549],[3,550],[3,551],[3,552],[3,553],[3,554],[3,555],[3,556],[3,557],[3,558],[3,559],[3,560],[3,561],[3,562],[3,563],[3,564],[3,565],[3,566],[3,567],[3,568],[3,569],[3,570],[3,571],[3,572],[3,573],[3,574],[3,575],[3,576],[3,577],[3,578],[3,579],[3,580],[3,581],[3,582],[3,583],[3,584],[3,585],[3,586],[3,587],[3,588],[3,589],[3,590],[3,591],[3,592],[3,593],[3,594],[3,595],[3,596],[3,597],[3,598],[3,599],[3,600],[3,601],[3,602],[3,603],[3,604],[3,605],[3,606],[3,607],[3,608],[3,609],[3,610],[3,611],[3,612],[3,613],[3,614],[3,615],[3,616],[3,617],[3,618],[3,619],[3,620],[3,621],[3,622],[3,623],[3,624],[3,625],[3,626],[3,627],[3,628],[3,629],[3,630],[3,631],[3,632],[3,633],[3,634],[3,635],[3,636],[3,637],[3,638],[3,639],[3,640],[3,641],[3,642],[3,643],[3,644],[3,645],[3,646],[3,647],[3,648],[3,649],[3,650],[3,651],[3,652],[3,653],[3,654],[3,655],[3,656],[3,657],[3,658],[3,659],[3,660],[3,661],[3,662],[3,663],[3,664],[3,665],[3,666],[3,667],[3,668],[3,669],[3,670],[3,671],[3,672],[3,673],[3,674],[3,675],[3,676],[3,677],[3,678],[3,679],[3,680],[3,681],[3,682],[3,683],[3,684],[3,685],[3,686],[3,687],[3,688],[3,689],[3,690],[3,691],[3,692],[3,693],[3,694],[3,695],[3,696],[3,697],[3,698],[3,699],[3,700],[3,701],[3,702],[3,703],[3,704],[3,705],[3,706],[3,707],[3,708],[3,709],[3,710],[3,711],[3,712],[3,713],[3,714],[3,715],[3,716],[3,717],[3,718],[3,719],[3,720],[3,721],[3,722],[3,723],[3,724],[3,725],[3,726],[3,727],[3,728],[3,729],[3,730],[3,731],[3,732],[3,733],[3,734],[3,735],[3,736],[3,737],[3,738],[3,739],[3,740],[3,741],[3,742],[3,743],[3,744],[3,745],[3,746],[3,747],[3,748],[3,749],[3,750],[3,751],[3,752],[3,753],[3,754],[3,755],[3,756],[3,757],[3,758],[3,759],[3,760],[3,761],[3,762],[3,763],[3,764],[3,765],[3,766],[3,767],[3,768],[3,769],[3,770],[3,771],[3,772],[3,773],[3,774],[3,775],[3,776],[3,777],[3,778],[3,779],[3,780],[3,781],[3,782],[3,783],[3,784],[3,785],[3,786],[3,787],[3,788],[3,789],[3,790],[3,791],[3,792],[3,793],[3,794],[3,795],[3,796],[3,797],[3,798],[3,799],[3,800],[3,801],[3,802],[3,803],[3,804],[3,805],[3,806],[3,807],[3,808],[3,809],[3,810],[3,811],[3,812],[3,813],[3,814],[3,815],[3,816],[3,817],[3,818],[3,819],[3,820],[3,821],[3,822],[3,823],[3,824],[3,825],[3,826],[3,827],[3,828],[3,829],[3,830],[3,831],[3,832],[3,833],[3,834],[3,835],[3,836],[3,837],[3,838],[3,839],[3,840],[3,841],[3,842],[3,843],[3,844],[3,845],[3,846],[3,847],[3,848],[3,849],[3,850],[3,851],[3,852],[3,853],[3,854],[3,855],[3,856],[3,857],[3,858],[3,859],[3,860],[3,861],[3,862],[3,863],[3,864],[3,865],[3,866],[3,867],[3,868],[3,869],[3,870],[3,871],[3,872],[3,873],[3,874],[3,875],[3,876],[3,877],[3,878],[3,879],[3,880],[3,881],[3,882],[3,883],[3,884],[3,885],[3,886],[3,887],[3,888],[3,889],[3,890],[3,891],[3,892],[3,893],[3,894],[3,895],[3,896],[3,897],[3,898],[3,899],[3,900],[3,901],[3,902],[3,903],[3,904],[3,905],[3,906],[3,907],[3,908],[3,909],[3,910],[3,911],[3,912],[3,913],[3,914],[3,915],[3,916],[3,917],[3,918],[3,919],[3,920],[3,921],[3,922],[3,923],[3,924],[3,925],[3,926],[3,927],[3,928],[3,929],[3,930],[3,931],[3,932],[3,933],[3,934],[3,935],[3,936],[3,937],[3,938],[3,939],[3,940],[3,941],[3,942],[3,943],[3,944],[3,945],[3,946],[3,947],[3,948],[3,949],[3,950],[3,951],[3,952],[3,953],[3,954],[3,955],[3,956],[3,957],[3,958],[3,959],[3,960],[3,961],[3,962],[3,963],[3,964],[3,965],[3,966],[3,967],[3,968],[3,969],[3,970],[3,971],[3,972],[3,973],[3,974],[3,975],[3,976],[3,977],[3,978],[3,979],[3,980],[3,981],[3,982],[3,983],[3,984],[3,985],[3,986],[3,987],[3,988],[3,989],[3,990],[3,991],[3,992],[3,993],[3,994],[3,995],[3,996],[3,997],[3,998],[3,999],[3,1000],[3,1001],[3,1002],[3,1003],[3,1004],[3,1005],[3,1006],[3,1007],[3,1008],[3,1009],[3,1010],[3,1011],[3,1012],[3,1013],[3,1014],[3,1015],[3,1016],[3,1017],[3,1018],[3,1019],[3,1020],[3,1021],[3,1022],[3,1023],[3,1024],[3,1025],[3,1026],[3,1027],[3,1028],[3,1029],[3,1030],[3,1031],[3,1032],[3,1033],[3,1034],[3,1035],[3,1036],[3,1037],[3,1038],[3,1039],[3,1040],[3,1041],[3,1042],[3,1043],[3,1044],[3,1045],[3,1046],[3,1047],[3,1048],[3,1049],[3,1050],[3,1051],[3,1052],[3,1053],[3,1054],[3,1055],[3,1056],[3,1057],[3,1058],[3,1059],[3,1060],[3,1092],[3,1184],[3,1245],[3,1259],[3,1272],[3,1291],[3,1315],[3,1459],[3,1505],[3,1523],[3,1579],[3,1612],[3,1683],[3,1741],[3,1777],[3,1778],[3,1830],[3,1910],[3,1914],[3,1918],[3,1922],[3,1926],[3,2007],[3,2011],[3,2015],[3,2030],[3,2068],[3,2074],[3,2078],[3,2082],[3,2086],[3,2094],[3,2102],[3,2113],[3,2117],[3,2121],[3,2145],[3,2149],[3,2162],[3,2166],[3,2173],[3,2177],[3,2181],[3,2189],[3,2197],[3,2257],[3,2265],[3,2269],[3,2273],[3,2288],[3,2296],[3,2300],[3,2309],[3,2315],[3,2319],[3,2323],[3,2332],[3,2336],[3,2351],[3,2368],[3,2372],[3,2380],[3,2460],[3,2471],[3,2475],[3,2483],[3,2487],[3,2491],[3,2495],[3,2499],[5,6],[5,9],[5,10],[5,11],[5,12],[6,7],[6,8],[13,14],[13,15],[13,16],[17,18],[17,19],[20,21],[20,22],[20,23],[20,24],[20,25],[26,27],[26,28],[29,30],[29,31],[32,33],[32,41],[33,34],[33,40],[34,35],[34,36],[36,37],[37,38],[38,39],[42,43],[42,44],[42,45],[46,47],[46,48],[49,50],[49,51],[52,53],[52,54],[55,56],[55,57],[58,59],[58,60],[58,61],[62,63],[62,72],[62,73],[63,64],[63,68],[64,65],[65,66],[66,67],[68,69],[69,70],[70,71],[74,75],[74,76],[77,78],[77,79],[80,81],[80,82],[83,84],[83,85],[86,87],[86,88],[89,90],[89,91],[92,93],[92,94],[95,96],[95,97],[98,99],[98,100],[101,102],[101,103],[104,105],[104,106],[107,108],[107,109],[110,111],[110,112],[113,114],[113,115],[116,117],[116,118],[119,120],[119,121],[122,123],[122,124],[125,126],[125,127],[125,128],[125,129],[125,130],[125,131],[132,133],[132,136],[132,137],[132,138],[132,139],[133,134],[133,135],[140,141],[140,142],[140,143],[140,144],[140,145],[140,146],[140,147],[140,148],[140,149],[140,150],[140,151],[140,152],[140,153],[140,154],[140,155],[140,156],[140,157],[157,158],[158,159],[159,160],[161,162],[161,163],[164,165],[164,166],[164,167],[164,168],[164,169],[164,170],[171,172],[171,173],[174,175],[174,176],[177,178],[177,179],[180,181],[180,182],[183,184],[183,185],[186,187],[186,188],[189,190],[189,193],[190,191],[190,192],[194,195],[194,199],[195,196],[195,197],[195,198],[200,201],[200,204],[201,202],[201,203],[1060,1061],[1060,1064],[1060,1065],[1060,1066],[1060,1067],[1060,1068],[1060,1069],[1060,1070],[1060,1071],[1060,1072],[1060,1073],[1060,1074],[1060,1075],[1060,1076],[1060,1077],[1060,1078],[1060,1079],[1060,1080],[1060,1081],[1060,1082],[1060,1083],[1060,1084],[1060,1085],[1060,1086],[1060,1087],[1060,1088],[1060,1089],[1060,1090],[1060,1091],[1061,1062],[1061,1063],[1092,1093],[1092,1103],[1092,1106],[1092,1107],[1092,1108],[1092,1109],[1092,1110],[1092,1111],[1092,1112],[1092,1113],[1092,1114],[1092,1115],[1092,1116],[1092,1117],[1092,1118],[1092,1119],[1092,1120],[1092,1121],[1092,1122],[1092,1123],[1092,1124],[1092,1125],[1092,1126],[1092,1127],[1092,1128],[1092,1129],[1092,1130],[1092,1131],[1092,1132],[1092,1133],[1092,1134],[1092,1135],[1092,1136],[1092,1137],[1092,1138],[1092,1139],[1092,1140],[1092,1141],[1092,1142],[1092,1143],[1092,1144],[1092,1145],[1092,1146],[1092,1147],[1092,1148],[1092,1149],[1092,1150],[1092,1151],[1092,1152],[1092,1153],[1092,1154],[1092,1155],[1092,1156],[1092,1157],[1092,1158],[1092,1159],[1092,1160],[1092,1161],[1092,1162],[1092,1163],[1092,1164],[1092,1165],[1092,1166],[1092,1176],[1092,1180],[1093,1094],[1093,1101],[1093,1102],[1094,1095],[1094,1100],[1095,1096],[1095,1099],[1096,1097],[1096,1098],[1103,1104],[1103,1105],[1166,1167],[1167,1168],[1167,1169],[1167,1170],[1167,1171],[1167,1172],[1172,1173],[1173,1174],[1174,1175],[1176,1177],[1177,1178],[1178,1179],[1180,1181],[1181,1182],[1182,1183],[1184,1185],[1184,1188],[1184,1191],[1184,1192],[1184,1193],[1184,1194],[1184,1195],[1184,1196],[1184,1197],[1184,1198],[1184,1199],[1184,1200],[1184,1201],[1184,1202],[1184,1203],[1184,1204],[1184,1205],[1184,1206],[1184,1207],[1184,1208],[1184,1209],[1184,1210],[1184,1211],[1184,1212],[1184,1213],[1184,1214],[1184,1215],[1184,1216],[1184,1217],[1184,1218],[1184,1219],[1184,1220],[1184,1221],[1184,1222],[1184,1223],[1184,1224],[1184,1225],[1184,1226],[1184,1227],[1184,1228],[1184,1229],[1184,1230],[1184,1231],[1184,1232],[1184,1233],[1184,1237],[1185,1186],[1185,1187],[1188,1189],[1188,1190],[1233,1234],[1234,1235],[1235,1236],[1237,1238],[1238,1239],[1238,1240],[1238,1241],[1238,1242],[1238,1243],[1238,1244],[1245,1246],[1245,1249],[1245,1250],[1245,1251],[1245,1252],[1245,1253],[1245,1254],[1245,1255],[1245,1256],[1245,1257],[1245,1258],[1246,1247],[1246,1248],[1259,1260],[1259,1261],[1259,1262],[1259,1263],[1259,1264],[1259,1265],[1259,1266],[1259,1267],[1259,1268],[1259,1269],[1259,1270],[1259,1271],[1272,1273],[1272,1274],[1272,1275],[1272,1276],[1272,1277],[1272,1278],[1272,1279],[1272,1280],[1272,1281],[1272,1282],[1272,1283],[1272,1284],[1272,1285],[1272,1286],[1272,1287],[1272,1288],[1272,1289],[1272,1290],[1291,1292],[1291,1295],[1291,1296],[1291,1297],[1291,1298],[1291,1299],[1291,1300],[1291,1301],[1291,1302],[1291,1303],[1291,1304],[1291,1305],[1291,1306],[1291,1307],[1291,1311],[1292,1293],[1292,1294],[1307,1308],[1308,1309],[1309,1310],[1311,1312],[1312,1313],[1313,1314],[1315,1316],[1315,1319],[1315,1323],[1315,1326],[1315,1329],[1315,1335],[1315,1336],[1315,1337],[1315,1338],[1315,1339],[1315,1340],[1315,1341],[1315,1342],[1315,1343],[1315,1344],[1315,1345],[1315,1346],[1315,1347],[1315,1348],[1315,1349],[1315,1350],[1315,1351],[1315,1352],[1315,1353],[1315,1354],[1315,1355],[1315,1356],[1315,1357],[1315,1358],[1315,1359],[1315,1360],[1315,1361],[1315,1362],[1315,1363],[1315,1364],[1315,1365],[1315,1366],[1315,1367],[1315,1368],[1315,1369],[1315,1370],[1315,1371],[1315,1372],[1315,1373],[1315,1374],[1315,1375],[1315,1376],[1315,1377],[1315,1378],[1315,1379],[1315,1380],[1315,1381],[1315,1382],[1315,1383],[1315,1384],[1315,1385],[1315,1386],[1315,1387],[1315,1388],[1315,1389],[1315,1390],[1315,1391],[1315,1392],[1315,1393],[1315,1394],[1315,1395],[1315,1396],[1315,1397],[1315,1398],[1315,1399],[1315,1400],[1315,1401],[1315,1402],[1315,1403],[1315,1404],[1315,1405],[1315,1406],[1315,1407],[1315,1408],[1315,1409],[1315,1410],[1315,1411],[1315,1412],[1315,1421],[1315,1430],[1315,1443],[1315,1447],[1316,1317],[1316,1318],[1319,1320],[1319,1321],[1319,1322],[1323,1324],[1323,1325],[1326,1327],[1326,1328],[1329,1330],[1329,1331],[1331,1332],[1332,1333],[1333,1334],[1412,1413],[1413,1414],[1414,1415],[1414,1416],[1414,1417],[1414,1418],[1414,1419],[1414,1420],[1421,1422],[1422,1423],[1423,1424],[1423,1425],[1423,1426],[1423,1427],[1423,1428],[1423,1429],[1430,1431],[1431,1432],[1432,1433],[1433,1434],[1434,1435],[1435,1436],[1435,1442],[1436,1437],[1436,1441],[1437,1438],[1437,1439],[1437,1440],[1443,1444],[1444,1445],[1445,1446],[1447,1448],[1448,1449],[1449,1450],[1450,1451],[1451,1452],[1452,1453],[1453,1454],[1454,1455],[1455,1456],[1455,1457],[1455,1458],[1459,1460],[1459,1463],[1459,1464],[1459,1465],[1459,1466],[1459,1467],[1459,1468],[1459,1469],[1459,1470],[1459,1471],[1459,1472],[1459,1473],[1459,1474],[1459,1475],[1459,1476],[1459,1477],[1459,1478],[1459,1479],[1459,1480],[1459,1481],[1459,1482],[1459,1483],[1459,1484],[1459,1485],[1459,1486],[1459,1487],[1459,1488],[1459,1489],[1459,1490],[1459,1491],[1459,1492],[1459,1493],[1459,1494],[1459,1495],[1459,1496],[1459,1497],[1459,1498],[1459,1499],[1459,1500],[1459,1501],[1460,1461],[1460,1462],[1501,1502],[1502,1503],[1503,1504],[1505,1506],[1505,1507],[1505,1508],[1505,1509],[1505,1510],[1505,1511],[1505,1512],[1505,1513],[1513,1514],[1514,1515],[1515,1516],[1515,1517],[1515,1518],[1515,1519],[1519,1520],[1520,1521],[1521,1522],[1523,1524],[1523,1527],[1523,1530],[1523,1534],[1523,1535],[1523,1536],[1523,1537],[1523,1538],[1523,1539],[1523,1540],[1523,1541],[1523,1542],[1523,1543],[1523,1544],[1523,1545],[1523,1546],[1523,1547],[1523,1548],[1523,1549],[1523,1550],[1523,1551],[1523,1552],[1523,1553],[1523,1554],[1523,1555],[1523,1556],[1523,1557],[1523,1558],[1523,1559],[1523,1560],[1523,1561],[1523,1562],[1523,1563],[1523,1564],[1523,1565],[1523,1566],[1523,1567],[1523,1575],[1524,1525],[1524,1526],[1527,1528],[1527,1529],[1530,1531],[1530,1532],[1530,1533],[1567,1568],[1568,1569],[1568,1570],[1568,1571],[1568,1572],[1568,1573],[1568,1574],[1575,1576],[1576,1577],[1577,1578],[1579,1580],[1579,1581],[1579,1582],[1579,1583],[1579,1584],[1579,1585],[1579,1586],[1579,1587],[1579,1588],[1579,1589],[1579,1590],[1579,1591],[1579,1592],[1579,1593],[1579,1594],[1579,1595],[1579,1596],[1579,1597],[1579,1598],[1579,1599],[1579,1600],[1579,1601],[1579,1602],[1579,1603],[1579,1604],[1579,1605],[1579,1606],[1579,1607],[1579,1608],[1608,1609],[1609,1610],[1610,1611],[1612,1613],[1612,1616],[1612,1617],[1612,1618],[1612,1619],[1612,1620],[1612,1621],[1612,1622],[1612,1623],[1612,1624],[1612,1625],[1612,1626],[1612,1627],[1612,1628],[1612,1629],[1612,1630],[1612,1631],[1612,1632],[1612,1633],[1612,1634],[1612,1635],[1612,1636],[1612,1637],[1612,1638],[1612,1639],[1612,1640],[1612,1641],[1612,1642],[1612,1643],[1612,1644],[1612,1645],[1612,1646],[1612,1647],[1612,1648],[1612,1649],[1612,1650],[1612,1651],[1612,1652],[1612,1653],[1612,1654],[1612,1655],[1612,1656],[1612,1657],[1612,1658],[1612,1659],[1612,1660],[1612,1661],[1612,1662],[1612,1663],[1612,1664],[1612,1665],[1612,1666],[1612,1667],[1612,1668],[1612,1669],[1612,1670],[1612,1671],[1612,1672],[1612,1673],[1612,1674],[1612,1675],[1612,1676],[1612,1677],[1613,1614],[1613,1615],[1677,1678],[1678,1679],[1679,1680],[1679,1681],[1679,1682],[1683,1684],[1683,1687],[1683,1688],[1683,1689],[1683,1690],[1683,1691],[1683,1692],[1683,1693],[1683,1694],[1683,1695],[1683,1696],[1683,1697],[1683,1698],[1683,1699],[1683,1700],[1683,1701],[1683,1702],[1683,1703],[1683,1704],[1683,1705],[1683,1706],[1683,1707],[1683,1708],[1683,1709],[1683,1710],[1683,1711],[1683,1712],[1683,1713],[1683,1717],[1683,1726],[1684,1685],[1684,1686],[1713,1714],[1714,1715],[1715,1716],[1717,1718],[1718,1719],[1718,1722],[1718,1723],[1718,1724],[1718,1725],[1719,1720],[1719,1721],[1726,1727],[1727,1728],[1728,1729],[1728,1740],[1729,1730],[1729,1736],[1730,1731],[1730,1732],[1732,1733],[1733,1734],[1734,1735],[1736,1737],[1737,1738],[1738,1739],[1741,1742],[1741,1745],[1741,1746],[1741,1747],[1741,1748],[1741,1749],[1741,1750],[1741,1751],[1741,1752],[1741,1753],[1741,1754],[1741,1755],[1741,1756],[1741,1757],[1741,1758],[1741,1759],[1741,1760],[1741,1761],[1741,1762],[1741,1763],[1741,1764],[1741,1765],[1741,1766],[1741,1767],[1741,1768],[1741,1769],[1741,1773],[1742,1743],[1742,1744],[1769,1770],[1770,1771],[1771,1772],[1773,1774],[1774,1775],[1775,1776],[1778,1779],[1779,1780],[1779,1822],[1780,1781],[1781,1782],[1781,1789],[1781,1790],[1781,1791],[1781,1792],[1781,1793],[1781,1794],[1781,1795],[1781,1796],[1781,1797],[1781,1798],[1781,1799],[1781,1800],[1781,1801],[1781,1802],[1781,1803],[1781,1804],[1781,1805],[1781,1806],[1781,1807],[1781,1808],[1781,1809],[1781,1810],[1781,1811],[1781,1818],[1782,1783],[1782,1784],[1782,1785],[1782,1786],[1782,1787],[1782,1788],[1811,1812],[1811,1813],[1811,1814],[1811,1815],[1811,1816],[1811,1817],[1818,1819],[1819,1820],[1820,1821],[1822,1823],[1823,1824],[1823,1825],[1823,1826],[1823,1827],[1823,1828],[1823,1829],[1830,1831],[1831,1832],[1831,1839],[1831,1842],[1831,1843],[1831,1844],[1831,1845],[1831,1846],[1831,1847],[1831,1848],[1831,1849],[1831,1850],[1831,1851],[1831,1852],[1831,1853],[1831,1854],[1831,1855],[1831,1856],[1831,1857],[1831,1858],[1831,1859],[1831,1860],[1831,1861],[1831,1862],[1831,1863],[1831,1864],[1831,1865],[1831,1866],[1831,1867],[1831,1868],[1831,1869],[1831,1870],[1831,1871],[1831,1875],[1831,1889],[1831,1900],[1831,1906],[1832,1833],[1832,1834],[1832,1835],[1835,1836],[1836,1837],[1837,1838],[1839,1840],[1839,1841],[1871,1872],[1872,1873],[1873,1874],[1875,1876],[1876,1877],[1877,1878],[1877,1879],[1877,1883],[1879,1880],[1880,1881],[1881,1882],[1883,1884],[1884,1885],[1885,1886],[1885,1887],[1885,1888],[1889,1890],[1890,1891],[1891,1892],[1891,1898],[1891,1899],[1892,1893],[1892,1896],[1892,1897],[1893,1894],[1893,1895],[1900,1901],[1901,1902],[1902,1903],[1902,1904],[1902,1905],[1906,1907],[1907,1908],[1908,1909],[1910,1911],[1911,1912],[1912,1913],[1914,1915],[1915,1916],[1916,1917],[1918,1919],[1919,1920],[1920,1921],[1922,1923],[1923,1924],[1924,1925],[1926,1927],[1927,1928],[1927,1960],[1928,1929],[1929,1930],[1929,1936],[1929,1942],[1929,1943],[1929,1944],[1929,1945],[1929,1946],[1929,1947],[1929,1948],[1929,1949],[1929,1950],[1929,1951],[1929,1952],[1929,1953],[1929,1954],[1929,1955],[1929,1956],[1929,1957],[1929,1958],[1929,1959],[1930,1931],[1930,1932],[1932,1933],[1933,1934],[1934,1935],[1936,1937],[1936,1938],[1938,1939],[1939,1940],[1940,1941],[1960,1961],[1961,1962],[1961,1965],[1961,1966],[1961,1967],[1961,1968],[1961,1969],[1961,1970],[1961,1971],[1961,1972],[1961,1973],[1961,1974],[1961,1975],[1961,1976],[1961,1977],[1961,1978],[1961,1979],[1961,1980],[1961,1981],[1961,1982],[1961,1983],[1961,1984],[1961,1985],[1961,1986],[1961,1987],[1961,1988],[1961,1989],[1961,1990],[1961,1991],[1961,1992],[1961,1993],[1961,1994],[1961,1995],[1961,1996],[1961,1997],[1961,1998],[1961,1999],[1961,2000],[1961,2001],[1961,2002],[1961,2003],[1962,1963],[1962,1964],[2003,2004],[2004,2005],[2005,2006],[2007,2008],[2008,2009],[2009,2010],[2011,2012],[2012,2013],[2013,2014],[2015,2016],[2016,2017],[2016,2020],[2016,2021],[2016,2022],[2016,2023],[2016,2024],[2016,2025],[2016,2026],[2016,2027],[2016,2028],[2016,2029],[2017,2018],[2017,2019],[2030,2031],[2031,2032],[2032,2033],[2032,2034],[2032,2035],[2032,2036],[2032,2037],[2032,2038],[2032,2039],[2032,2040],[2032,2041],[2032,2042],[2032,2043],[2032,2044],[2032,2045],[2032,2046],[2032,2047],[2032,2051],[2032,2060],[2032,2064],[2047,2048],[2048,2049],[2049,2050],[2051,2052],[2052,2053],[2053,2054],[2053,2059],[2054,2055],[2054,2058],[2055,2056],[2055,2057],[2060,2061],[2061,2062],[2062,2063],[2064,2065],[2065,2066],[2066,2067],[2068,2069],[2069,2070],[2070,2071],[2070,2072],[2070,2073],[2074,2075],[2075,2076],[2076,2077],[2078,2079],[2079,2080],[2080,2081],[2082,2083],[2083,2084],[2084,2085],[2086,2087],[2087,2088],[2087,2089],[2087,2090],[2087,2091],[2087,2092],[2087,2093],[2094,2095],[2095,2096],[2095,2097],[2095,2098],[2095,2099],[2095,2100],[2095,2101],[2102,2103],[2103,2104],[2103,2112],[2104,2105],[2104,2106],[2104,2107],[2104,2108],[2108,2109],[2109,2110],[2110,2111],[2113,2114],[2114,2115],[2115,2116],[2117,2118],[2118,2119],[2119,2120],[2121,2122],[2122,2123],[2123,2124],[2123,2133],[2123,2134],[2123,2135],[2123,2136],[2123,2137],[2123,2138],[2123,2139],[2123,2140],[2123,2141],[2123,2142],[2123,2143],[2123,2144],[2124,2125],[2124,2126],[2124,2127],[2124,2128],[2124,2129],[2129,2130],[2130,2131],[2131,2132],[2145,2146],[2146,2147],[2147,2148],[2149,2150],[2150,2151],[2151,2152],[2151,2158],[2152,2153],[2152,2157],[2153,2154],[2153,2155],[2153,2156],[2158,2159],[2159,2160],[2160,2161],[2162,2163],[2163,2164],[2164,2165],[2166,2167],[2167,2168],[2168,2169],[2169,2170],[2170,2171],[2171,2172],[2173,2174],[2174,2175],[2175,2176],[2177,2178],[2178,2179],[2179,2180],[2181,2182],[2182,2183],[2182,2184],[2182,2185],[2182,2186],[2182,2187],[2182,2188],[2189,2190],[2190,2191],[2190,2192],[2190,2193],[2190,2194],[2190,2195],[2190,2196],[2197,2198],[2198,2199],[2198,2200],[2198,2201],[2198,2202],[2198,2203],[2198,2204],[2198,2205],[2198,2206],[2198,2207],[2198,2208],[2198,2209],[2198,2210],[2198,2211],[2198,2212],[2198,2213],[2198,2214],[2198,2215],[2198,2216],[2198,2217],[2198,2218],[2198,2219],[2198,2220],[2198,2221],[2198,2222],[2198,2223],[2198,2224],[2198,2225],[2198,2239],[2198,2243],[2198,2247],[2225,2226],[2226,2227],[2226,2228],[2226,2229],[2226,2230],[2226,2231],[2226,2232],[2226,2233],[2226,2234],[2226,2235],[2226,2236],[2226,2237],[2226,2238],[2239,2240],[2240,2241],[2241,2242],[2243,2244],[2244,2245],[2245,2246],[2247,2248],[2248,2249],[2249,2250],[2249,2253],[2249,2254],[2249,2255],[2249,2256],[2250,2251],[2250,2252],[2257,2258],[2258,2259],[2258,2260],[2258,2261],[2258,2262],[2258,2263],[2258,2264],[2265,2266],[2266,2267],[2267,2268],[2269,2270],[2270,2271],[2271,2272],[2273,2274],[2274,2275],[2274,2279],[2274,2280],[2274,2281],[2274,2282],[2274,2283],[2274,2284],[2274,2285],[2274,2286],[2274,2287],[2275,2276],[2275,2277],[2275,2278],[2288,2289],[2289,2290],[2289,2291],[2289,2292],[2289,2293],[2289,2294],[2289,2295],[2296,2297],[2297,2298],[2298,2299],[2300,2301],[2301,2302],[2301,2305],[2301,2306],[2301,2307],[2301,2308],[2302,2303],[2302,2304],[2309,2310],[2310,2311],[2311,2312],[2311,2313],[2311,2314],[2315,2316],[2316,2317],[2317,2318],[2319,2320],[2320,2321],[2321,2322],[2323,2324],[2324,2325],[2324,2328],[2324,2329],[2324,2330],[2324,2331],[2325,2326],[2325,2327],[2332,2333],[2333,2334],[2334,2335],[2336,2337],[2337,2338],[2337,2339],[2337,2340],[2337,2341],[2337,2342],[2337,2343],[2337,2344],[2337,2345],[2337,2346],[2337,2347],[2347,2348],[2348,2349],[2349,2350],[2351,2352],[2352,2353],[2353,2354],[2353,2357],[2353,2360],[2353,2361],[2353,2362],[2353,2363],[2353,2364],[2353,2365],[2353,2366],[2353,2367],[2354,2355],[2354,2356],[2357,2358],[2357,2359],[2368,2369],[2369,2370],[2370,2371],[2372,2373],[2373,2374],[2373,2375],[2373,2376],[2373,2377],[2373,2378],[2373,2379],[2380,2381],[2381,2382],[2381,2415],[2382,2383],[2383,2384],[2383,2391],[2383,2394],[2383,2395],[2383,2396],[2383,2397],[2383,2398],[2383,2407],[2384,2385],[2384,2386],[2384,2387],[2384,2388],[2384,2389],[2384,2390],[2391,2392],[2391,2393],[2398,2399],[2399,2400],[2400,2401],[2400,2402],[2400,2403],[2400,2404],[2400,2405],[2400,2406],[2407,2408],[2408,2409],[2408,2410],[2408,2411],[2408,2412],[2408,2413],[2408,2414],[2415,2416],[2416,2417],[2416,2424],[2416,2438],[2417,2418],[2417,2419],[2417,2420],[2417,2421],[2417,2422],[2417,2423],[2424,2425],[2425,2426],[2425,2427],[2425,2428],[2425,2429],[2425,2430],[2425,2431],[2425,2432],[2425,2433],[2425,2434],[2425,2435],[2425,2436],[2425,2437],[2438,2439],[2439,2440],[2439,2441],[2439,2442],[2439,2443],[2439,2444],[2439,2445],[2439,2446],[2446,2447],[2447,2448],[2447,2449],[2447,2450],[2447,2451],[2447,2452],[2447,2453],[2447,2454],[2447,2455],[2447,2456],[2447,2457],[2447,2458],[2447,2459],[2460,2461],[2461,2462],[2462,2463],[2462,2470],[2463,2464],[2463,2467],[2463,2468],[2463,2469],[2464,2465],[2464,2466],[2471,2472],[2472,2473],[2473,2474],[2475,2476],[2476,2477],[2476,2478],[2476,2479],[2476,2480],[2476,2481],[2476,2482],[2483,2484],[2484,2485],[2485,2486],[2487,2488],[2488,2489],[2489,2490],[2491,2492],[2492,2493],[2493,2494],[2495,2496],[2496,2497],[2497,2498],[2499,2500],[2500,2501],[2500,2508],[2500,2513],[2500,2514],[2500,2515],[2500,2516],[2500,2517],[2500,2518],[2500,2519],[2500,2520],[2500,2521],[2500,2522],[2500,2523],[2500,2524],[2500,2525],[2500,2526],[2500,2538],[2500,2542],[2501,2502],[2501,2503],[2501,2504],[2504,2505],[2505,2506],[2506,2507],[2508,2509],[2508,2512],[2509,2510],[2509,2511],[2526,2527],[2527,2528],[2528,2529],[2528,2532],[2529,2530],[2529,2531],[2532,2533],[2532,2537],[2533,2534],[2533,2535],[2533,2536],[2538,2539],[2539,2540],[2540,2541],[2542,2543],[2543,2544],[2544,2545],[2546,2547],[2546,2548],[2549,2550],[2549,2551],[2629,2630],[2630,2631],[2631,2632]]]