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