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