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