#s idigest "07fcbaf97061047252b99ad5812d85c5"
#p 2 1491
#s name "p26-heuristic-pub111"
((((((((((1018,48),988),(1430,173)),((1029,253),(521,1241))),((((883,1427),((1056,1063),(320,1218))),1359),(((366,(29,692)),257),689))),((((((((((1286,1274),((737,(21,1393)),605)),((986,851),968)),((70,1372),602)),((((367,520),((1105,1072),(1129,((793,((1322,668),99)),525)))),(1107,740)),(852,((700,969),((760,((1085,87),652)),277))))),(1205,((555,755),((96,(65,(1020,671))),1088)))),((1298,(1467,1260)),(710,186))),(((481,(((172,473),860),(212,175))),(((1447,1236),(207,264)),213)),(((946,(120,896)),926),(((((((962,(715,1256)),377),(((657,84),1101),(511,(1148,1282)))),1488),(1489,252)),(498,(((1098,79),((509,1247),(538,985))),(((450,703),201),357)))),(((((126,(957,789)),(1377,756)),(((1352,1002),(942,794)),(406,(497,(632,219))))),((1465,326),(886,(560,(924,(1099,510)))))),(((1061,(561,472)),(807,(734,(828,(722,598))))),(((295,22),(((110,1131),517),((824,1296),1163))),(1391,209)))))))),((((1178,(5,54)),1234),((382,(88,(1192,352))),(982,(925,28)))),((((1170,565),((427,92),((364,581),(702,((726,(86,195)),323))))),((((608,(1095,((132,696),853))),((999,(1383,1219)),(1373,134))),963),((((((977,(194,(197,(1066,549)))),932),(1436,842)),402),((((((((1354,1038),2),(914,248)),1461),1211),1138),1473),(1409,865))),(((1176,(437,1288)),1113),354)))),((((648,(1071,609)),(((730,(152,983)),((1188,(((479,554),(1470,((446,1280),(49,91)))),(((435,1319),1042),8))),(((1165,697),1481),(1299,1303)))),((911,(276,627)),18))),1369),(((1297,(1264,(1121,(704,38)))),((875,(((677,338),835),(698,(259,630)))),(((646,(1259,1132)),559),(((1394,80),(944,1486)),((1484,578),(477,1423)))))),((346,((545,1225),613)),((59,(1166,589)),((((638,288),((394,1144),1325)),1224),(((544,(1206,495)),669),((637,386),(1311,(((1238,1028),923),680)))))))))))),((((((((322,1405),493),((39,776),625)),105),(((((1041,341),(1366,855)),(((1083,1073),562),((((166,778),1363),(((1235,129),(631,536)),(995,500))),(((((1387,(858,428)),((73,659),241)),((459,1097),508)),231),(((214,1168),717),((1001,261),(1392,(503,(433,488))))))))),(((612,586),((956,119),1180)),(817,(((127,611),1335),19)))),((907,1190),((321,(1076,314)),(((332,((1464,289),(584,(((319,1435),(((576,(664,1339)),1139),1051)),1222)))),((1216,(504,535)),((556,((1434,952),1258)),((((1334,177),(1313,(628,344))),(701,((56,164),((32,1454),(((897,514),892),(1141,870)))))),430)))),(((1140,821),823),223)))))),((((1103,(908,620)),204),(((958,622),867),(((((878,68),974),1315),375),830))),((((752,654),(17,211)),(((1237,505),1295),(1418,895))),((775,1096),(1220,707))))),(((((345,(1022,411)),600),(((243,1408),(((273,774),461),399)),((1265,((1013,615),((189,537),((1248,(804,480)),(((1268,(661,573)),1215),653))))),(72,((1438,307),575))))),((154,1093),1242)),(((882,184),(13,227)),(((((((((((((843,1119),574),903),1217),(293,(((1420,((1361,1075),((258,767),((731,931),27)))),((709,815),37)),(116,((306,317),1179))))),(1231,(530,591))),((1158,667),(1431,777))),(787,316)),((298,(76,1079)),(1253,706))),(((610,(1154,1375)),(148,(490,(1035,1400)))),(((1183,(973,(325,1175))),(921,(191,1157))),111))),(((616,1171),((801,647),1382)),226)),(469,(516,(708,188)))),(((1477,(((998,(579,1104)),(((89,543),1479),(1146,1348))),((1006,522),((327,861),1136)))),((238,425),(83,(771,((685,814),(405,(1194,1254))))))),(210,910)))))),(((563,(837,(935,360))),(234,955)),(362,33))))),((((183,1428),(((((365,1424),224),333),(1362,1320)),((((1055,1371),1301),1321),((94,90),6)))),(((((1040,1155),((1384,1092),(499,676))),((1485,(1151,(1437,(((266,422),1208),((1402,328),1024))))),(63,945))),(1426,640)),(((1357,(((1232,757),761),(((1045,899),993),(106,254)))),46),((527,(300,1016)),((((((1415,(150,854)),(34,(629,448))),1440),100),1317),(((270,((417,1177),(711,557))),799),24)))))),(1012,(879,315)))),((((((1150,462),((((1401,691),(679,1025)),((455,383),(308,245))),((55,802),(278,947)))),(((645,232),1124),(1368,(1338,179)))),((((45,(1009,((((891,(833,1054)),964),960),155))),(719,(729,(888,844)))),(((((809,342),((736,1134),641)),(((1043,720),(1160,(143,216))),1441)),(((((1111,1285),133),1395),((((718,(1207,571)),160),((((893,1159),812),147),1482)),(((1196,496),(1081,1149)),1314))),181)),((1460,((((658,506),136),(1287,850)),431)),862))),(((((1340,(904,1161)),((1419,1397),118)),452),(((146,((467,329),(1239,1390))),(((1078,401),((705,1385),(524,735))),(414,1491))),970)),(((759,(((478,(1257,388)),900),951)),(780,(1310,635))),(((750,218),(928,766)),163))))),((((((((742,220),443),(((831,587),1389),1003)),((((((873,819),810),((564,(1030,(754,202))),((255,434),416))),(((1378,(1416,682)),((372,1283),(139,1386))),(((((1109,137),1376),(976,577)),439),1439))),((((811,1186),751),(528,144)),(((1084,1451),532),1010))),(74,((1143,797),9)))),(((741,(178,(597,(1308,624)))),(((339,((651,(806,311)),((943,990),454))),(355,(378,(992,1421)))),(((((((281,1213),(784,872)),913),(424,(1164,((621,933),(((376,1278),593),871))))),((((((790,721),456),400),922),((788,779),1370)),(((165,353),1026),((174,572),(1053,(1052,1457)))))),(((1212,471),(619,(915,487))),((391,642),1067))),(((650,(660,(124,1356))),((678,1039),(733,825))),((395,1118),(((792,336),((894,(104,885)),(64,984))),518)))))),((384,744),225))),((531,((((1388,1276),547),(453,190)),(583,279))),((738,494),(782,44)))),(((((930,((569,1246),(25,287))),93),(((304,1374),((((869,674),(1108,(1476,617))),(123,(588,20))),(1214,153))),((927,(199,898)),(936,(596,(1112,502)))))),(82,460)),(((849,(((795,(1082,(1187,1270))),381),((265,(413,237)),673))),(540,(((((1089,1452),1269),507),((407,(((614,1062),((269,570),(1307,594))),(256,141))),((((857,(95,971)),1209),((618,1275),(1346,(385,1153)))),(1327,1284)))),((((((1279,(432,(713,1290))),(1057,(35,1271))),(1031,((351,292),1469))),438),359),((((937,772),(1291,(644,1255))),302),((268,732),1102)))))),((534,(745,666)),((938,348),(187,(101,1047))))))),(330,(1490,585)))),((((((827,(((1367,((864,826),(845,(((103,1070),(1181,1358)),959)))),((50,159),280)),((484,1015),((1449,816),(783,(1432,(566,(489,109)))))))),(599,53)),((1455,(((841,791),728),78)),(((244,(271,1462)),(1049,230)),(1090,939)))),((((((((419,1302),1197),(403,(1014,1091))),((130,(656,(688,397))),(309,1351))),1037),(((1064,((582,404),(714,1226))),((840,(1120,(313,675))),(1342,1380))),((491,185),((206,(249,113)),(151,(1364,1475)))))),((((464,550),31),(((1058,85),(((753,192),445),(294,486))),((((1468,712),((1048,1223),(1261,1474))),((389,(859,(786,633))),(829,513))),(((1198,(233,310)),980),(941,(81,(15,(41,989)))))))),((967,(283,683)),((((107,305),((961,115),409)),((727,949),803)),((1350,98),358))))),((440,((297,724),(58,716))),(((((128,(1442,(987,(848,420)))),(1446,(863,392))),(182,874)),((607,((822,548),60)),(781,636))),(1240,(834,662)))))),((1272,121),(1032,953))),((((171,1292),140),(1429,(1172,541))),(((((((695,284),(4,((529,539),997))),((((877,(972,((429,176),868))),(820,1329)),((447,670),994)),((1407,((1422,412),1343)),(1309,1059)))),(1305,379)),(((43,(1293,1459)),((748,275),470)),((856,145),(215,51)))),(((686,764),(239,((813,1336),1147))),(((((916,1086),805),1068),725),(1065,(1277,331))))),(((1349,1152),(((((515,1396),(((229,(291,114)),(169,(1417,(1323,1244)))),(((168,(1156,1023)),247),(208,301)))),((((1289,267),(1106,170)),690),((((604,(1345,687)),246),(((112,1399),((1135,1471),(441,906))),((1027,196),(97,(523,1411))))),(749,1182)))),(((1060,1126),(1425,1189)),(((290,1185),1337),374))),(1229,(((884,14),978),1230)))),((552,((299,149),(1398,418))),(((((1262,1330),(240,449)),1324),1114),(125,693))))))))),((((1080,((1100,1443),1044)),(347,468)),((343,(158,1463)),(1017,482))),(((881,135),((1406,1478),(274,(1087,905)))),((((285,880),901),(((200,(371,663)),1263),1193)),((1318,(426,((1204,743),1414))),1130))))),((((((((1128,1487),(684,1453)),(361,((553,917),832))),(((758,681),66),((1448,(71,1433)),(934,(1306,(410,655)))))),1326),(((((((1312,1466),(889,193)),(1251,634)),((1011,866),(1450,(1074,(1344,10))))),(966,(30,263))),(286,((512,69),((1174,1004),340)))),(((((((((235,1413),(122,919)),(798,699)),485),(312,1341)),((36,(318,483)),((475,(920,(350,1133))),(451,(558,1033))))),(1007,1221)),((12,474),167)),(((117,580),(((1145,((1137,296),61)),((981,902),(1115,1036))),(((1304,1173),773),(((1008,((762,1162),(((519,1201),1069),606))),(603,(1333,11))),(1294,533))))),((138,((236,465),(1021,1122))),((((639,(423,228)),950),((1328,(746,((623,1281),876))),954)),(1228,(808,1202)))))))),(((((((551,1365),((763,(272,1227)),(356,415))),(1347,((466,601),1233))),((16,(1266,62)),(221,((770,47),(796,(368,1077)))))),(((102,(1117,((818,23),75))),(890,334)),(((723,847),373),((912,747),((((948,1353),(((((836,1046),1403),769),(((387,(672,217)),421),1116)),(1381,1050))),1005),((((526,975),(739,991)),(40,(457,785))),(1110,(77,1249)))))))),(((((546,(1000,(369,940))),(198,(((390,205),1123),(1,(1472,(1360,(((7,(108,463)),643),(442,768)))))))),250),((568,349),(((1245,1456),694),(380,567)))),((((839,157),1404),492),((((458,262),((929,393),242)),(((1127,542),1267),(846,(((161,1191),(1125,1243)),((398,370),1094))))),(((((1195,800),3),(((996,(1410,251)),(337,26)),1412)),((((1169,((444,1034),1300)),(57,(1210,260))),(1379,156)),(((476,1250),(396,(67,131))),((838,(1355,1483)),335)))),(((282,1184),979),((1480,1331),303))))))),592)),(((((1200,1445),((((363,(1203,1252)),142),1332),((665,408),((595,(1444,162)),(1199,(1167,(((965,(52,1019)),1273),203))))))),590),(((626,501),(1316,765)),((649,909),(42,222)))),((1142,(436,((324,887),918))),(1458,180)))));
(((((((((1373,696),1112),553),(((390,1123),((800,628),((((1313,67),830),396),996))),1471)),((((431,658),1287),58),(((458,1039),(((606,519),(((1162,902),(746,683)),(1294,140))),(((541,1281),1333),967))),((556,444),838)))),((((((1428,477),((887,1484),918)),(1490,((((630,287),(963,25)),1246),(722,(828,(1207,1149)))))),(1093,((298,613),745))),((((((804,661),(452,(1028,1144))),((((1472,152),282),(940,933)),((((307,575),(653,(((1311,(637,1401)),(((947,278),(386,394)),(669,(455,245)))),((1161,329),1385)))),(289,(839,9))),(23,1404)))),(1386,((((1109,873),(976,137)),1283),1376))),((((53,184),((927,502),(684,898))),(((809,1044),468),(342,343))),((719,729),((1406,888),(361,596))))),((((1260,531),500),(631,536)),((190,454),666)))),(((1432,(1240,566)),((((578,(1132,1394)),(((1232,993),((((221,796),254),(106,1357)),(46,1077))),((770,585),47))),((1452,837),1254)),((((((1105,(19,525)),(793,(1322,1129))),(997,529)),1107),(((((433,1178),(990,(651,(76,1234)))),(((459,(778,(1316,1168))),(54,((1083,(1225,214)),1276))),((((((503,1392),(5,(488,1073))),534),(706,1253)),((992,616),((943,(453,355)),1079))),1001))),(129,((501,1298),(710,626)))),(((((((1320,271),78),((34,629),1415)),1049),728),671),((((820,593),(871,((1278,1280),(176,868)))),((369,621),627)),((537,(189,(573,934))),(816,(489,(59,109)))))))),((((((((1042,1141),344),(1334,867)),(((((818,1182),1117),((288,638),(1124,645))),749),74)),(((131,3),(1412,((337,57),177))),(((479,424),(198,687)),(((604,1345),546),(49,(91,784)))))),((((1058,85),192),866),((1197,((((889,193),((1475,(1137,138)),(1384,305))),(((499,580),(117,634)),1251)),((1008,(((639,283),954),1429)),1069))),((((98,113),1350),949),(1068,916))))),(((((1457,((442,(7,567)),(788,441))),((611,(4,1072)),539)),(((((982,220),(266,1208)),587),(((682,(139,1003)),(1439,1142)),(422,1024))),((((610,815),(1420,37)),148),((1361,490),(903,325))))),((443,(120,896)),(1119,(1235,(186,1467))))),(((1305,347),274),379))),((1264,(789,497)),(((734,893),812),93)))))),((((1256,657),(((1128,1219),(608,199)),((711,(799,((1365,(1295,939)),1205))),(((224,1055),((1301,755),1371)),(527,(763,300)))))),((((1143,(232,157)),72),((((1491,735),524),((1139,((584,1339),1051)),((((495,680),1025),691),(544,(679,1206))))),(1397,1239))),(1181,((826,103),1070)))),((((723,(761,847)),368),((((988,(123,(315,907))),(((879,1214),(1476,20)),(((1018,48),173),617))),912),(((((414,904),66),(((1056,204),(461,774)),273)),((319,1222),(821,(332,223)))),844))),((101,(((77,((1057,881),172)),(((234,563),1089),(1110,910))),(((292,351),975),((((((1469,35),860),144),(1271,(470,1459))),(811,(((528,(215,43)),(1010,(457,1451))),1084))),(481,1031))))),(((848,438),((1062,522),1006)),(861,1136)))))))),(((((((814,(771,387)),685),180),(((((1477,1327),998),269),((579,420),(128,(987,(1442,1348))))),((618,1275),(1346,407)))),(((((938,348),(474,((1199,(((((1054,776),1405),((965,322),162)),((833,964),((408,(1009,363)),665))),1203)),((849,(840,1324)),((((205,730),(((1370,1407),(97,1411)),(412,670))),1483),((((164,(1026,(56,1216))),(68,(535,(1319,32)))),878),((((1480,979),1059),(((1399,994),400),(1422,1343))),(((((768,380),790),1245),((349,(568,906)),694)),(((250,18),911),554))))))))),(257,((1202,464),(366,550)))),((((((823,(1218,908)),(922,276)),((514,701),((1000,872),(((643,1456),(721,913)),(303,(1188,1309)))))),((1470,779),((972,1164),1329))),(((462,146),(1408,(797,75))),((1289,((267,1106),170)),586))),((225,(105,((855,341),1041))),(311,(806,316))))),(437,(354,1113)))),(377,(((((932,1372),(((538,1247),(338,(509,569))),(930,635))),((794,1352),((1002,1377),756))),(((977,357),(((1159,((715,160),((571,598),(147,1285)))),807),1391)),((1098,824),(1393,((70,(605,21)),737))))),(((((1099,1274),(1286,766)),(549,(((371,703),1066),((663,197),1263)))),1067),(((181,1310),(875,698)),(1282,(704,(38,1121)))))))),((((((1186,((40,275),212)),((135,145),991)),((713,(213,(264,1447))),207)),(((((((1224,1435),1438),((1433,(681,(758,1325))),(512,1359))),((179,(1341,1338)),(312,1368))),((1410,476),((1071,(1210,1355)),(((1434,260),((((1315,165),(504,375)),(622,1052)),((572,1053),435))),((((1169,(1258,1300)),(952,1034)),(((1379,335),648),(609,8))),430))))),(((1200,142),(891,1019)),1252)),(432,(1279,874)))),((((1291,323),1170),((268,772),747)),(759,((1266,1212),471)))),717))),(((((451,(((393,1133),350),(885,(542,1323)))),((780,(((84,450),(((632,(957,126)),1081),(201,(391,((642,1436),842))))),(942,951))),(((((905,1463),(1100,1443)),(((((697,870),(892,897)),1481),(958,(353,974))),(((((((1306,69),(1448,(480,1268))),((615,1013),655)),((308,923),383)),((620,1103),(320,((1140,1427),399)))),((1063,243),883)),((467,1340),(((1150,340),(118,1004)),((1419,1174),(1390,705))))))),302),((51,785),1012)))),(((1366,346),547),((((1114,((1450,404),1011)),((941,914),1138)),(676,(623,762))),((882,((127,((1335,740),367)),520)),(((143,915),700),1029))))),((((((1489,252),((((928,510),(1193,924)),295),886)),(((((398,(384,678)),(((((((894,104),(208,(114,846))),1094),(((515,650),262),(1303,1299))),124),1033),(((((395,660),1356),(318,558)),242),((((247,920),(168,1023)),929),((483,1118),1396))))),1156),((64,(301,984)),1191)),((((983,1184),((523,196),1135)),1027),(589,((1215,1248),1265))))),(((439,((1416,1318),(416,(1378,372)))),1238),(((917,1383),999),(227,(832,13))))),((1190,((153,(1108,540)),588)),(((1353,(1446,359)),((507,(548,636)),385)),(1269,955)))),(((((1078,55),(802,401)),(664,576)),(((559,183),(646,(1486,901))),285)),(((26,251),156),(1211,(((662,1166),(834,(783,(45,1449)))),((1015,485),((798,280),(460,82))))))))),((((((((1092,296),206),(31,(((185,1228),(29,1155)),(692,(491,1040))))),((1021,1187),(((1014,345),656),(1091,1022)))),(((986,1465),326),(1314,(163,851)))),(492,(1464,612))),(((((((1111,(1482,962)),602),(((194,200),(1196,(((601,1347),(466,1148)),(718,(1488,(133,496)))))),511)),((((402,561),(1297,472)),406),((((900,478),388),1257),1395))),((1423,324),((944,80),880))),(654,284)),((641,(427,(592,(187,92)))),1244))),(((((674,1430),869),188),((970,410),(((699,959),(50,(((159,1007),1367),845))),864))),((((1045,(831,((1030,1130),((1204,(925,1414)),1437)))),((978,((1220,1230),707)),(((624,(505,(551,1308))),(695,(1227,((((178,1455),211),(752,17)),(((895,1418),356),1090))))),333))),((61,107),265)),((((865,1409),(690,286)),((484,167),1221)),(1413,1358))))))),(((((((((953,1032),1272),(1096,775)),(((764,24),((365,1424),417)),(((1362,841),(1462,230)),((((1440,817),100),854),448)))),((((((545,(1179,843)),(1158,(591,1231))),((1175,574),(583,(921,191)))),(226,1229)),(((328,1402),742),((306,530),(777,1431)))),((((((423,(1328,1172)),((1262,294),(((675,313),(240,445)),(10,693)))),((237,413),(((689,600),465),(411,403)))),(418,((((1261,(1038,81)),(813,239)),((1426,1223),(1354,(980,1048)))),966))),(1388,((1097,1363),231))),(((((1217,((((((647,116),731),317),1375),(667,1382)),1400)),((((258,767),(1183,973)),709),111)),(562,261)),(659,1171)),(((119,440),((716,506),1460)),(((((850,1242),334),(136,724)),884),(((1088,1020),65),899))))))),(((1167,960),203),(1445,493))),(((((1,447),((((456,(463,108)),1360),1331),112)),(235,(919,122))),(((1016,(597,((557,(((90,(6,94)),(1177,686)),1321)),1237))),(272,(555,270))),(253,((852,((1043,652),(277,87))),(487,760))))),((((16,62),(1478,(668,99))),(((((1095,1487),(1453,853)),(134,599)),132),330)),(((339,787),995),(((1157,293),765),((931,(27,1154)),((801,279),(1035,1075)))))))),((936,(((((1046,769),857),((44,(((1116,526),(532,751)),((1381,(738,741)),494))),((570,((((1307,89),1104),543),(1479,(327,594)))),(1005,256)))),((42,((1146,948),((909,1403),836))),(((((781,((95,1209),1153)),33),935),((((60,822),(971,607)),360),362)),(392,(((210,(1249,141)),863),(614,1284)))))),((956,297),(1180,((862,154),890))))),(((52,625),(((1134,482),736),((1017,158),(1080,1087)))),((757,373),(((1317,(150,244)),791),(415,96)))))),(((((((202,564),926),577),(((((1389,(28,426)),(((754,946),819),743)),810),121),(985,(835,(259,677))))),(((((((216,(((969,1085),((720,(1160,1241)),619)),1441)),((((708,725),((1326,1086),(1152,(469,516)))),(1349,1473)),((115,1364),(((310,2),389),1474)))),(((1236,1458),((((1293,(473,175)),(748,739)),(421,1290)),(405,1194))),(590,782))),(((876,((((1037,1185),((374,1302),(419,236))),((397,(688,12)),(((1189,(381,(795,290))),309),((1060,1351),1122)))),(859,((((15,41),(640,(712,(633,(786,829))))),(513,1336)),((1468,1461),233))))),((((((((945,950),773),1485),(1304,(1036,(981,1115)))),263),(((((449,(((171,1398),753),1330)),299),(1380,1342)),(1277,(331,1226))),((1064,149),486))),(((989,1147),1198),248)),(((552,1292),(((582,(1120,1065)),714),125)),((727,((((30,228),1173),(1151,1201)),((11,603),(63,533)))),(1466,(((358,409),803),((961,249),1312))))))),((((73,378),(428,1421)),(1387,((858,(166,508)),241))),((1259,436),(968,1061))))),(1192,((352,382),434))),((1374,(1176,(304,1288))),((((877,376),446),(((281,1213),429),246)),((130,((1270,(1126,1082)),((673,1425),1337))),((1145,151),(1344,1074)))))),((808,((1047,((((86,937),((702,(732,364)),((565,1255),195))),(581,1102)),644)),726)),((88,255),(521,(((1163,((((750,(79,560)),1131),110),22)),209),(((1296,(517,218)),219),((1233,1101),498)))))))),(((182,((649,1050),856)),((102,827),14)),(((((1195,1250),((1454,1165),174)),(((825,1127),518),(((((1417,1243),169),(((370,1267),161),792)),(336,1125)),((36,(733,475)),(744,(229,291)))))),((1369,805),71)),(((155,(39,1273)),(1076,(((1444,321),314),1332))),595)))),(((672,(222,83)),238),(217,425)))));
#x treedecomp [2861,[[509,1598,3548],[1493,1494,1495,1496,1497,1498,1499,1500,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,1534,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,1579,1580,1581,1582,1583,1584,1585,1586,1587,1588,1589,1590,1591,1593,1594,1595,1596,1597,1598,1599,1600,1601,1602,1603,1604,1605,1606,1607,1608,1610,1611,1612,1613,1614,1615,1616,1617,1619,1620,1621,1622,1623,1624,1625,1626,1627,1628,1629,1630,1631,1632,1633,1634,1635,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,1666,1667,1668,1669,1670,1671,1672,1673,1674,1675,1676,1677,1678,1679,1680,1681,1682,1684,1685,1686,1687,1688,1689,1690,1691,1692,1694,1695,1696,1697,1698,1699,1700,1701,1702,1703,1704,1705,1706,1707,1708,1709,1710,1711,1712,1713,1714,1716,1717,1718,1719,1720,1721,1723,1724,1725,1726,1727,1728,1729,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,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,1788,1789,1790,1791,1792,1793,1794,1795,1796,1797,1798,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,1834,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,1861,1862,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,1893,1896,1897,1898,1899,1900,1901,1902,1903,1904,1905,1908,1909,1910,1912,1914,1915,1916,1917,1918,1919,1920,1921,1922,1923,1924,1925,1926,1927,1928,1930,1931,1932,1933,1934,1935,1936,1937,1938,1939,1940,1941,1942,1943,1944,1945,1946,1947,1948,1949,1951,1952,1953,1954,1955,1956,1957,1958,1959,1960,1961,1963,1964,1965,1966,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,2003,2004,2005,2006,2007,2008,2009,2011,2012,2013,2014,2015,2016,2017,2018,2019,2020,2021,2022,2023,2024,2025,2026,2027,2028,2030,2031,2032,2033,2034,2037,2038,2039,2040,2041,2042,2043,2044,2045,2046,2047,2048,2049,2050,2051,2052,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,2103,2104,2105,2106,2108,2109,2110,2111,2112,2113,2114,2115,2116,2117,2118,2119,2120,2121,2122,2123,2124,2125,2126,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,2178,2179,2180,2181,2182,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,2251,2252,2253,2254,2255,2256,2257,2258,2259,2260,2261,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,2289,2290,2291,2292,2293,2294,2295,2296,2297,2298,2299,2300,2301,2302,2303,2304,2305,2306,2307,2308,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,2338,2339,2340,2341,2342,2343,2344,2345,2346,2347,2348,2350,2351,2352,2353,2354,2355,2356,2357,2358,2359,2361,2362,2363,2364,2365,2366,2367,2368,2369,2370,2371,2372,2373,2374,2375,2376,2377,2378,2379,2380,2381,2383,2384,2385,2386,2387,2388,2389,2390,2391,2392,2393,2394,2395,2396,2397,2399,2400,2401,2402,2403,2404,2405,2406,2407,2408,2409,2410,2412,2413,2414,2415,2416,2417,2418,2419,2420,2421,2422,2423,2424,2425,2426,2427,2428,2429,2431,2432,2433,2434,2435,2436,2437,2438,2439,2440,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,2468,2469,2470,2471,2472,2473,2474,2475,2476,2477,2480,2481,2482,2483,2484,2485,2486,2487,2488,2489,2490,2491,2492,2494,2495,2496,2497,2498,2499,2500,2501,2502,2503,2504,2505,2506,2507,2509,2510,2511,2512,2513,2514,2515,2516,2517,2518,2519,2520,2521,2522,2523,2524,2525,2526,2527,2528,2529,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,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,2611,2612,2613,2614,2615,2616,2617,2618,2619,2620,2621,2622,2623,2624,2625,2626,2627,2628,2629,2630,2631,2632,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,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,2721,2722,2723,2724,2725,2726,2727,2728,2729,2730,2731,2732,2733,2735,2736,2737,2738,2739,2740,2741,2742,2743,2744,2745,2746,2747,2748,2749,2750,2751,2752,2753,2754,2755,2756,2758,2759,2760,2761,2762,2763,2764,2765,2767,2768,2769,2770,2771,2772,2773,2774,2775,2776,2777,2778,2779,2780,2781,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,2810,2811,2812,2813,2814,2815,2816,2817,2818,2819,2820,2821,2822,2823,2824,2825,2826,2827,2828,2829,2830,2831,2832,2834,2835,2836,2837,2838,2839,2840,2841,2842,2843,2844,2846,2847,2848,2849,2850,2851,2852,2853,2854,2855,2856,2857,2858,2859,2860,2861,2862,2863,2864,2865,2866,2867,2868,2869,2870,2871,2872,2873,2874,2875,2876,2877,2878,2879,2880,2881,2882,2883,2884,2885,2886,2887,2889,2890,2892,2893,2894,2895,2896,2897,2898,2899,2900,2901,2902,2903,2904,2905,2906,2907,2908,2909,2910,2911,2912,2913,2914,2915,2916,2917,2918,2919,2920,2921,2922,2923,2924,2925,2926,2927,2928,2929,2930,2931,2932,2933,2934,2935,2936,2937,2938,2939,2940,2941,2942,2943,2944,2945,2946,2947,2948,2949,2950,2951,2952,2953,2954,2955,2956,2957,2958,2960,2961,2962,2963,2964,2965,2966,2967,2968,2969,2970,2971,2972,2973,2974,2975,2976,2977,2978,2979,2980,2981,2983,2984,2985,2986,2987,2988,2989,2990,2991,2992,2993,2994,2995,2996,2997,2998,2999,3000,3001,3002,3003,3004,3005,3006,3007,3008,3009,3010,3011,3012,3013,3014,3015,3016,3017,3018,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,3060,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,3100,3101,3102,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,3144,3145,3146,3147,3148,3149,3150,3151,3152,3153,3154,3155,3156,3157,3158,3160,3161,3162,3163,3164,3165,3166,3167,3168,3169,3170,3171,3172,3173,3174,3175,3176,3177,3178,3179,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,3211,3212,3213,3214,3215,3216,3217,3218,3219,3220,3221,3222,3223,3224,3225,3226,3227,3228,3229,3231,3232,3233,3234,3235,3237,3238,3239,3240,3241,3242,3243,3244,3245,3246,3247,3248,3249,3250,3251,3252,3253,3254,3255,3256,3257,3258,3259,3260,3261,3262,3263,3264,3265,3266,3267,3268,3269,3270,3271,3272,3273,3274,3275,3276,3277,3278,3279,3280,3281,3282,3283,3284,3285,3286,3287,3288,3290,3291,3292,3293,3294,3295,3296,3297,3298,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,3338,3339,3340,3341,3342,3343,3344,3345,3346,3347,3348,3349,3350,3351,3352,3353,3354,3355,3356,3357,3358,3359,3360,3361,3362,3364,3365,3366,3367,3368,3369,3370,3371,3373,3374,3375,3376,3377,3378,3379,3380,3381,3382,3383,3384,3385,3386,3387,3388,3389,3391,3392,3393,3394,3395,3396,3397,3398,3399,3400,3401,3402,3403,3404,3405,3406,3407,3408,3409,3410,3411,3412,3413,3414,3415,3416,3417,3418,3419,3420,3421,3422,3423,3424,3425,3426,3427,3428,3429,3430,3431,3433,3434,3435,3436,3437,3439,3440,3441,3442,3443,3444,3445,3446,3447,3448,3449,3450,3451,3452,3453,3454,3455,3456,3457,3458,3459,3460,3461,3462,3463,3464,3465,3466,3467,3468,3469,3470,3471,3472,3473,3474,3475,3476,3477,3478,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,3529,3530,3531,3532,3534,3535,3536,3537,3538,3539,3540,3541,3542,3543,3544,3545,3546,3547,3548,3549,3550,3551,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,3590,3591,3592,3593,3594,3595,3596,3597,3598,3599,3600,3601,3602,3603,3604,3605,3606,3607,3608,3609,3610,3611,3612,3613,3614,3615,3616,3617,3618,3619,3620,3621,3622,3623,3624,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,3658,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,3684,3685,3686,3687,3688,3689,3691,3692,3693,3694,3695,3696,3697,3698,3699,3700,3701,3702,3703,3704,3705,3706,3707,3708,3710,3711,3712,3713,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,3758,3759,3760,3761,3762,3763,3764,3765,3766,3767,3768,3769,3770,3771,3772,3773,3774,3775,3776,3777,3778,3779,3780,3782,3783,3784,3785,3786,3787,3788,3789,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,3828,3829,3830,3831,3832,3833,3834,3835,3836,3837,3838,3839,3840,3841,3842,3843,3844,3845,3846,3847,3848,3849,3850,3851,3852,3853,3854,3855,3856,3857,3859,3860,3861,3862,3863,3864,3865,3866,3867,3868,3869,3870,3871,3872,3873,3874,3875,3876,3877,3878,3879,3880,3881,3882,3883,3884,3885,3886,3887,3888,3889,3890,3891,3892,3893,3894,3895,3896,3897,3898,3899,3900,3901,3902,3903,3904,3905,3906,3907,3908,3909,3910,3911,3915,3916,3917,3918,3919,3920,3921,3922,3923,3924,3925,3926,3927,3928,3929,3930,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,3961,3962,3963,3964,3965,3966,3968,3969,3970,3971,3972,3974,3975,3976,3977,3978,3979,3980,3981,3982,3983,3984,3985,3988,3989,3990,3991,3993,3994,3995,3996,3997,3998,3999,4000,4001,4002,4003,4004,4005,4006,4007,4008,4009,4010,4011,4012,4013,4014,4015,4016,4018,4019,4021,4022,4023,4024,4025,4026,4027,4028,4029,4030,4031,4033,4034,4035,4037,4038,4039,4040,4041,4042,4043,4044,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,4071,4072,4073,4074,4075,4076,4077,4078,4079,4080,4081,4082,4083,4084,4085,4086,4087,4088,4089,4090,4091,4092,4093,4094,4095,4096,4097,4098,4099,4100,4102,4104,4105,4106,4107,4108,4109,4110,4111,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,4177,4178,4179,4180,4181,4182,4183,4184,4185,4186,4187,4188,4189,4190,4191,4192,4193,4194,4195,4196,4197,4198,4199,4200,4201,4202,4203,4204,4205,4206,4207,4208,4209,4210,4211,4212,4213,4214,4215,4216,4217,4218,4219,4220,4221,4222,4223,4224,4225,4226,4227,4228,4229,4230,4231,4232,4233,4234,4235,4236,4237,4238,4239,4240,4241,4242,4243,4244,4245,4246,4247,4248,4249,4250,4251,4252,4253,4254,4255,4256,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,4282,4283,4284,4285,4286,4287,4288,4289,4290,4291,4292,4293,4294,4295,4296,4297,4298,4299,4300,4301,4302,4303,4304,4305,4306,4307,4308,4309,4310,4311,4312,4313,4314,4315,4316,4317,4318,4320,4321,4322,4323,4324,4325,4326,4327,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,4373,4374,4375,4376,4377,4378,4379,4380,4381,4382,4383,4385,4386,4387,4388,4389,4390,4391,4392,4393,4394,4395,4396,4397,4398,4399,4400,4401,4402,4403,4404,4405,4406,4407,4408,4409,4410,4411,4412,4413,4414,4415,4416,4417,4418,4419,4420,4421,4422,4423,4424,4425,4426,4427,4428,4429,4430,4431,4432,4433,4434,4435,4436,4437,4438,4439,4440,4441,4442,4443,4444,4445,4446,4447,4448,4449,4450,4451,4452,4453,4454,4455,4456,4457,4458,4459,4460,4461,4462,4463,4464,4465,4466,4467,4468,4469,4470,4471],[1,2882,4096],[1606,1609,3552,3553],[756,1609,3552],[1377,1609,3553],[1617,1618,3881,3882],[326,1618,3881],[1465,1618,3882],[1635,1636,4416,4417],[110,1636,4416],[1131,1636,4417],[1677,1683,3682,3683],[842,1683,3682],[1436,1683,3683],[1713,1715,3225,3226],[49,1715,3225],[91,1715,3226],[1893,1895,3951,3952],[707,1895,3951],[1220,1895,3952],[1905,1906,1907,3369,3370,3372],[273,1907,3369],[461,1906,3372],[774,1907,3372],[1912,1913,3189,3190],[189,1913,3190],[537,1913,3189],[1927,1929,3817,3818],[13,1929,3818],[227,1929,3817],[2001,2002,3410,3411],[522,2002,3411],[1006,2002,3410],[2009,2010,3418,3419],[685,2010,3418],[814,2010,3419],[2106,2107,3617,3618],[179,2107,3617],[1338,2107,3618],[2126,2127,4207,4208],[736,2127,4207],[1134,2127,4208],[2175,2177,3330,3331],[524,2177,3330],[735,2177,3331],[2249,2250,3534,3535],[311,2250,3534],[806,2250,3535],[2287,2288,3659,3660],[471,2288,3659],[1212,2288,3660],[2306,2309,3796,3797],[64,2309,3796],[984,2309,3797],[2336,2337,3928,3929],[674,2337,3929],[869,2337,3928],[2429,2430,3344,3345],[103,2430,3345],[1070,2430,3344],[2440,2441,3193,3194],[109,2441,3194],[489,2441,3193],[2466,2467,4288,4289],[397,2467,4288],[688,2467,4289],[2507,2508,4304,4305],[633,2508,4304],[786,2508,4305],[2529,2530,3252,3253],[98,2530,3253],[1350,2530,3252],[2609,2610,4329,4330],[331,2610,4330],[1277,2610,4329],[2719,2720,3613,3614],[681,2720,3613],[758,2720,3614],[2765,2766,3667,3668],[350,2766,3667],[1133,2766,3668],[2832,2833,3120,3121],[47,2833,3120],[770,2833,3121],[2844,2845,3349,3350],[723,2845,3349],[847,2845,3350],[2890,2891,3489,3490],[349,2891,3489],[568,2891,3490],[2958,2959,3451,3452],[408,2959,3452],[665,2959,3451],[1786,1788,3532,3533],[1786,1787,3532,3533],[341,1787,3533],[1041,1787,3532],[855,1788,3533],[2780,2781,4318,4319],[2780,2782,4318,4319],[1036,2782,4318],[1115,2782,4319],[981,2781,4319],[2,1690,4264],[3,2919,3214],[4,2570,3266],[5,1644,3157],[7,2887,3262],[8,1716,3645],[9,2237,3071],[10,2740,4034],[11,2795,4351],[12,2771,4289],[14,2662,4431],[15,2516,4301],[16,2829,4127],[17,1888,3964],[18,1723,3493],[19,1825,3130],[20,2341,3360],[21,1529,3570],[22,1633,4415],[23,2841,3072],[24,2078,3990],[25,2330,3033],[26,2925,3846],[27,1951,4145],[28,1650,4231],[29,1516,3871],[30,2742,4348],[31,2489,3867],[32,1863,3474],[33,2020,4183],[34,2076,3177],[35,2395,3396],[36,2761,4453],[37,1953,3283],[39,1782,4462],[40,2867,3597],[41,2517,4301],[42,2975,4175],[43,2591,3403],[44,2322,4157],[45,2111,3853],[46,2057,3119],[50,2433,3935],[51,2597,3729],[52,2968,4205],[53,2442,3082],[54,1644,3147],[55,2101,3836],[56,1861,3471],[57,2932,3217],[58,2535,3001],[59,1755,3194],[60,2549,4190],[61,2778,3969],[62,2830,4127],[63,2054,4352],[65,1558,4086],[66,2719,3367],[67,2939,2999],[68,1883,3472],[69,2745,3705],[70,1533,3569],[71,2723,4457],[72,1921,3325],[73,1808,4362],[74,2236,3204],[75,2840,3524],[76,1966,3141],[77,2870,3381],[78,2445,3174],[79,1596,4419],[80,1745,3918],[81,2515,4046],[83,2007,4470],[84,1589,3675],[86,1662,4402],[87,1552,4122],[88,1647,4410],[89,1999,4170],[92,1656,3924],[93,2326,3299],[95,2380,4186],[96,1557,4218],[97,2649,3464],[99,1543,4129],[100,2071,3999],[101,2413,3378],[102,2838,4432],[104,2308,3775],[105,1777,3531],[106,2065,3118],[107,2524,3969],[111,1975,4067],[112,2643,4097],[113,2484,3253],[114,2622,3777],[115,2526,4261],[116,1955,4065],[117,2774,3244],[118,2164,3724],[119,1823,4076],[121,2555,4227],[123,2340,3355],[124,2297,3771],[125,2674,4339],[126,1607,3679],[127,1827,3746],[128,2540,3428],[129,1798,3165],[130,2465,4386],[131,2939,3214],[132,1669,4131],[133,2136,3905],[134,1673,4136],[135,2688,3599],[136,2155,4084],[137,2226,3078],[138,2798,3239],[139,2221,3276],[140,2559,3014],[141,2375,4196],[142,2955,3648],[143,2132,3751],[144,2232,3394],[145,2596,3599],[146,2168,3522],[147,2144,3564],[148,1972,3280],[149,2666,4332],[150,2075,4217],[151,2485,4393],[152,1706,3051],[153,2342,3822],[154,1925,4202],[155,2113,4461],[156,2934,3845],[157,2899,3327],[158,2684,4210],[159,2433,3938],[160,2140,3561],[161,2912,4449],[162,2962,3447],[163,2188,3884],[164,1861,3469],[165,2281,3631],[166,1795,4367],[167,2770,3976],[168,2628,3792],[169,2623,4446],[171,2560,4327],[172,1569,3382],[173,1502,3362],[174,2283,4438],[175,1570,4272],[176,2579,3185],[177,1856,3216],[178,2242,3963],[180,2981,3417],[181,2133,3585],[182,2546,4428],[183,2024,3841],[184,1928,3082],[185,2481,3870],[186,1563,3292],[187,2412,3924],[188,1989,3927],[190,2318,3101],[191,1981,4013],[192,2496,3229],[194,1680,3897],[195,1662,4406],[196,2648,3803],[197,1681,3582],[198,2878,3221],[199,2345,3309],[200,2699,3897],[201,1601,3680],[202,2212,4225],[203,2965,4089],[204,1873,3371],[205,2881,3460],[206,2483,3865],[207,1574,3600],[208,2630,3776],[209,1639,4413],[210,2013,4195],[211,1888,3962],[212,1570,3596],[213,1571,3602],[214,1813,3150],[215,2597,3403],[216,2132,4244],[217,2860,4471],[218,2190,4423],[219,1616,4421],[220,2199,3271],[221,2831,3117],[222,2975,4470],[223,1868,3376],[224,2028,3318],[225,2310,3530],[226,1982,4014],[228,2806,4348],[229,2621,4456],[230,2452,3996],[231,1802,4053],[232,2105,3327],[233,2513,4307],[234,2019,3386],[235,2756,4102],[236,2800,4286],[238,2006,4468],[239,2601,4047],[240,2673,4033],[241,1807,4365],[242,2904,3783],[243,1904,3718],[244,2450,4217],[245,2099,3067],[246,2638,4382],[247,2627,3791],[248,1692,4333],[249,2484,4358],[250,2873,3493],[251,2924,3846],[253,1504,4117],[254,2065,3116],[255,2214,4410],[256,2375,4173],[257,1514,3494],[259,1738,4237],[260,2933,3627],[261,1815,4072],[262,2903,3779],[263,2742,4312],[264,1574,3603],[265,2359,3968],[266,2051,3272],[268,2406,3657],[269,2373,3423],[270,2080,4116],[271,2451,3175],[272,2823,4115],[274,2691,3294],[275,2594,3597],[276,1725,3505],[277,1549,4122],[279,2319,4147],[280,2432,3857],[282,2945,3050],[283,2520,3249],[284,2569,3919],[285,2696,3839],[286,2743,3974],[287,2330,3032],[289,1837,3070],[290,2658,4294],[291,2622,4456],[293,1943,4142],[294,2497,4029],[295,1633,3759],[296,2779,3866],[297,2534,4199],[298,1965,3039],[299,2666,4323],[300,2068,3322],[301,2630,3797],[302,2400,3686],[303,2946,3514],[304,2333,4377],[305,2524,3240],[306,1957,4019],[307,1923,3056],[308,2099,3711],[309,2468,4291],[310,2513,4264],[312,2759,3619],[314,1832,4465],[315,2085,3356],[316,1963,3535],[317,1957,4063],[318,2762,3787],[319,1841,3374],[320,1512,3714],[321,1831,4466],[322,1780,3448],[323,1660,3655],[324,2980,3916],[325,1979,3286],[327,2004,4172],[329,2170,3069],[330,2414,4130],[332,1835,3376],[333,2027,3953],[334,2842,4082],[335,2940,3644],[336,2305,4451],[337,2925,3217],[338,1736,3547],[339,2247,4139],[340,2746,3723],[342,2125,3089],[343,2683,3089],[344,1858,3201],[345,1900,3878],[346,1751,3732],[347,2681,3295],[352,1648,4373],[353,2281,3698],[354,1694,3537],[355,2253,3164],[356,2824,3966],[357,1600,3556],[358,2529,4356],[359,2387,3827],[360,2018,4188],[361,2715,3094],[362,2020,4187],[363,2956,3453],[364,1658,4405],[366,1515,3497],[367,1537,3747],[368,2835,3348],[369,2877,3187],[370,2915,4450],[371,2700,3580],[372,2220,3813],[373,2844,4213],[374,2656,4285],[375,1880,3632],[376,2270,4381],[377,1584,3538],[378,2254,4362],[379,2588,3293],[380,2895,3487],[381,2354,4293],[382,1646,4373],[383,2098,3710],[384,2311,3768],[385,2384,3828],[386,1768,3065],[387,2859,3420],[389,2506,4263],[390,2881,2993],[391,2292,3681],[392,2545,4192],[393,2905,3668],[394,1762,3065],[395,2302,3786],[396,2938,2997],[398,2915,3767],[399,1905,3715],[400,2274,3480],[401,2174,3837],[402,1676,3909],[403,2462,4040],[404,2473,3738],[405,2011,4275],[406,1614,3907],[407,2368,3433],[409,2525,4356],[410,2726,3931],[411,1901,4040],[412,2586,3465],[414,2178,3368],[415,2824,4218],[416,2213,3812],[417,2082,3991],[418,2667,4041],[419,2461,4286],[420,2543,3427],[421,2858,4274],[422,2051,3278],[423,2806,4026],[424,2264,3220],[425,2006,4471],[426,2703,4231],[427,1656,3922],[428,1806,4363],[429,2579,4383],[430,1853,3636],[431,2153,3003],[432,2392,3650],[433,1818,3138],[434,2214,4372],[435,1718,3634],[436,2978,4369],[437,1697,3536],[438,2388,3409],[439,2223,3809],[440,2532,4076],[441,2646,3263],[442,2889,3261],[443,2198,3288],[444,2931,3019],[445,2495,4033],[446,1714,4380],[447,2582,4096],[448,2077,3997],[449,2673,4324],[450,1602,3675],[451,2767,3665],[452,2160,3046],[453,2318,3164],[454,2251,3101],[455,2098,3067],[456,2275,4100],[457,2868,3405],[458,2903,3006],[459,1810,3144],[462,2091,3522],[464,2490,3496],[465,2800,4038],[466,2827,3902],[467,2170,3720],[468,2681,3087],[469,1987,4258],[470,2593,3398],[472,1626,3910],[473,1569,4272],[474,2771,3439],[475,2764,4454],[476,2937,3621],[477,1749,3025],[479,1711,3220],[480,1916,3707],[481,1566,3406],[482,2685,4208],[483,2762,3794],[484,2435,3976],[485,2753,3855],[486,2497,4331],[487,2290,4123],[488,1818,3158],[490,1973,3285],[491,2481,3873],[492,2897,3885],[493,1779,4091],[494,2321,4162],[495,1766,3339],[496,2149,3905],[497,1615,3298],[498,1593,4424],[499,2044,3243],[500,1800,3097],[501,2971,3167],[502,2348,3084],[503,1817,3156],[504,1848,3632],[505,1891,3956],[506,2156,4078],[507,2364,3829],[508,1809,4367],[510,1622,3761],[511,1590,3895],[512,2745,3615],[513,2509,4306],[514,1866,3507],[515,2618,3780],[516,1988,4258],[517,1635,4423],[518,2303,4441],[519,2793,3009],[520,1537,3745],[521,1505,4411],[523,2650,3803],[525,1541,3130],[526,2865,4160],[527,2067,3321],[528,2232,3402],[529,2572,3133],[530,1959,4019],[531,2313,3098],[532,2234,4161],[533,2796,4352],[534,2408,3154],[535,1848,3473],[538,1599,3546],[539,2572,3264],[540,2361,3823],[541,2562,3017],[542,2908,3670],[543,1999,4168],[544,1765,3340],[545,1753,4006],[546,2875,3223],[547,2316,3731],[548,2550,3830],[549,1682,3577],[550,2490,3497],[551,2820,3957],[552,2664,4338],[553,2717,2988],[554,1711,3491],[555,1555,4116],[556,1850,3019],[557,2083,4109],[558,2768,3787],[559,1740,3841],[560,1620,4419],[561,1626,3909],[562,1790,4072],[563,2016,3386],[564,2210,4225],[565,1654,4407],[566,2440,3105],[567,2895,3262],[569,2329,3548],[570,2373,4166],[571,2142,3563],[572,2283,3635],[573,1920,3191],[574,1941,4011],[575,1922,3056],[576,1844,3838],[577,2227,4223],[578,1748,3109],[579,1996,3427],[580,2774,3243],[581,1658,4408],[582,2473,4341],[583,2319,4012],[584,1838,3335],[585,2415,3121],[586,1821,3525],[587,2202,3269],[588,2341,3821],[589,1756,3804],[590,2950,4276],[591,1959,4009],[592,2814,3923],[593,2269,3181],[594,2374,4172],[595,2961,4459],[596,2347,3094],[597,2243,4107],[598,1630,3563],[599,2442,4136],[600,1899,4039],[601,2827,3901],[602,1532,3892],[603,2794,4351],[604,2639,3224],[605,1527,3570],[606,2791,3009],[607,2548,4191],[608,1666,3309],[609,1702,3645],[610,1970,3282],[611,1827,3265],[612,1821,3886],[613,1752,3039],[614,2371,4197],[616,1984,3161],[617,2339,3361],[619,2289,4248],[620,1875,3713],[621,2267,3187],[622,1878,3633],[623,2811,3742],[624,2244,3955],[625,1781,4205],[626,2971,3168],[627,1725,3186],[628,1858,2995],[629,2077,3177],[630,1738,3032],[632,1616,3678],[634,2735,3244],[635,2187,3549],[636,2551,3830],[637,1768,3061],[639,2805,3249],[640,2055,4302],[641,2126,3921],[642,2292,3683],[643,2886,3512],[644,2404,4399],[645,2105,3211],[646,1741,3842],[647,1986,4065],[648,1701,3643],[649,2974,4430],[650,2295,3780],[651,2249,3140],[652,1551,4121],[653,1917,3057],[654,1887,3919],[655,2726,3708],[656,2466,3877],[657,1589,3305],[658,2156,3003],[659,1808,4073],[660,2296,3786],[661,1920,3045],[662,2553,3850],[663,2700,3582],[664,1845,3838],[666,2409,3100],[667,1961,4066],[668,1544,4129],[669,1764,3066],[670,2582,3465],[671,1559,3170],[672,2860,4469],[673,2358,4391],[676,2044,3741],[677,1736,4237],[678,2299,3768],[679,2096,3341],[680,1770,3339],[682,2218,3275],[683,2520,3013],[684,2714,3085],[686,2600,4114],[687,2640,3221],[689,1513,4039],[690,2632,3974],[691,2095,3337],[692,1516,3872],[693,2674,4034],[694,2893,3488],[695,2569,3958],[696,1669,2990],[697,1721,3695],[698,1737,3586],[699,2758,3934],[700,1548,3750],[701,1859,3507],[702,1659,4404],[703,1602,3580],[705,2176,3727],[708,1989,4254],[709,1954,4068],[710,1563,3168],[711,2083,3311],[712,2501,4303],[713,2393,3601],[714,2474,4340],[715,1586,3561],[716,2535,4078],[717,1812,3590],[718,2141,3903],[719,2118,3091],[720,2130,4249],[721,2276,3513],[722,1630,3034],[724,2534,4084],[725,2605,4254],[726,1661,4397],[727,2528,4344],[728,2446,3171],[729,2119,3091],[730,1705,3460],[731,1952,4064],[732,2406,4405],[733,2300,4454],[734,1628,3301],[737,1528,3568],[738,2321,4164],[739,2866,4273],[740,1545,3748],[741,2241,4164],[742,2199,4016],[743,2705,4232],[744,2311,4455],[745,2409,3038],[746,2809,3013],[747,2847,3656],[748,2594,4273],[749,2651,3205],[750,2190,4418],[751,2230,4161],[752,1887,3964],[753,2496,4326],[754,2212,4234],[755,1555,3320],[757,2061,4213],[759,2181,3658],[760,1550,4123],[761,2060,3350],[762,2790,3742],[763,2822,3322],[764,2600,3990],[765,2972,4141],[766,2191,3576],[768,2889,3487],[769,2854,4155],[771,2008,3420],[772,2402,3657],[773,2784,4315],[776,1782,3446],[778,1795,3145],[779,2278,3517],[780,2186,3672],[781,2551,4184],[782,2322,4276],[783,2438,3852],[784,2263,3226],[785,2868,3729],[787,1963,4139],[788,2278,3263],[789,1608,3298],[790,2276,3486],[791,2447,4215],[792,2305,4448],[793,1542,3131],[794,1613,3551],[795,2355,4294],[796,2834,3117],[797,2238,3524],[798,2758,3857],[799,2079,3312],[800,2920,2995],[801,1986,4147],[802,2101,3837],[803,2527,4355],[804,1916,3045],[805,2607,4458],[807,1627,3558],[808,2813,4396],[809,2125,3088],[810,2207,4228],[811,2231,3399],[812,2145,3300],[813,2603,4047],[815,1954,3282],[816,2437,3192],[817,1824,4000],[818,2841,3208],[819,2208,4233],[820,2580,3181],[821,1870,3375],[822,2550,4190],[823,1869,3503],[824,1638,3566],[825,2300,4442],[826,2426,3345],[827,2421,4432],[828,1629,3035],[829,2509,4305],[830,1879,2998],[831,2202,3943],[832,2716,3818],[833,2117,3450],[834,2553,3851],[835,1735,4236],[836,2856,4178],[837,2017,3123],[838,2941,3018],[839,2899,3071],[840,2476,3456],[841,2447,3995],[843,1942,4007],[844,2120,3364],[845,2427,3936],[846,2909,3777],[848,2543,3409],[849,2352,3455],[850,2157,4083],[851,1531,3884],[852,1546,4119],[853,1668,4135],[854,2075,3998],[856,2596,4429],[857,2379,4154],[858,1806,4366],[859,2507,4297],[860,1568,3395],[861,2004,3412],[862,2151,4202],[863,2545,4194],[864,2426,3932],[866,2737,3228],[867,1877,3203],[868,2578,3185],[870,1867,3695],[871,2268,3182],[872,2263,3509],[873,2208,3077],[874,2546,3651],[875,1733,3586],[876,2810,4279],[877,2576,4381],[878,1883,3467],[879,2085,3359],[880,2696,3917],[881,2688,3383],[882,1928,3744],[883,1509,3717],[884,2662,4080],[885,2308,3669],[886,1619,3758],[887,2980,3027],[888,2120,3093],[890,2842,4201],[891,2116,3649],[892,1865,3696],[893,2146,3301],[894,2307,3775],[897,1866,3696],[898,2345,3085],[899,2064,4085],[901,2695,3843],[902,2781,3012],[903,1940,3286],[904,2163,3368],[905,2692,3689],[906,2646,3490],[907,1829,3356],[908,1875,3504],[909,2974,4179],[910,2013,3387],[911,1724,3492],[912,2847,3352],[913,2260,3513],[914,1692,3740],[915,2290,3751],[916,2608,3254],[917,2717,3816],[918,2979,3026],[920,2765,3791],[921,1980,4013],[922,2273,3505],[923,1771,3711],[924,1621,3762],[925,1650,3948],[926,1576,4224],[927,2344,3084],[928,2191,3761],[929,2905,3789],[930,2327,3549],[931,1952,4144],[932,1678,3543],[933,2267,3052],[934,2724,3191],[935,2018,4182],[936,2346,4150],[937,2402,4402],[939,2453,3315],[940,2877,3052],[941,2514,3740],[942,1613,3684],[943,2252,3163],[944,1746,3918],[945,2054,4316],[946,1577,4234],[948,2851,4177],[949,2528,3251],[950,2804,4316],[951,2182,3684],[952,1852,3641],[954,2807,3248],[955,2019,3831],[956,1823,4199],[957,1608,3679],[958,1878,3697],[959,2428,3934],[960,2114,4090],[961,2526,4358],[962,1585,3894],[963,1664,3033],[964,2115,3450],[965,2967,3448],[966,2741,4042],[967,2519,3015],[968,1530,4370],[969,1548,4247],[970,2166,3931],[971,2380,4191],[972,2577,3519],[973,1978,4071],[974,1882,3698],[975,2865,3389],[976,2227,3078],[977,1679,3556],[978,2661,3950],[979,2944,3478],[980,2511,4051],[982,1649,3271],[983,1706,3801],[985,1599,4235],[986,1531,3882],[987,2542,3429],[988,1500,3354],[989,2517,4335],[990,2252,3139],[991,2866,3598],[992,2255,3161],[993,2063,3113],[994,2581,3481],[995,1800,4138],[996,2923,2996],[997,2571,3133],[998,1995,3424],[999,1671,3815],[1000,2876,3509],[1001,1815,3151],[1002,1612,3553],[1003,2200,3276],[1004,2747,3724],[1005,2849,4173],[1007,2769,3938],[1008,2788,3246],[1009,2112,3453],[1010,2233,3404],[1011,2737,3737],[1012,2084,3728],[1014,2463,3878],[1015,2435,3855],[1016,2068,4106],[1017,2685,4210],[1019,2968,3649],[1020,1559,4087],[1021,2801,3875],[1022,1901,3879],[1023,2629,3792],[1024,2052,3278],[1025,2096,3338],[1026,2280,3470],[1027,2648,3799],[1028,1772,3047],[1029,1504,3749],[1030,2211,3945],[1031,2396,3406],[1033,2768,3770],[1034,2931,3641],[1035,1974,4148],[1037,2457,4283],[1038,1691,4046],[1039,2299,3006],[1040,2041,3873],[1042,1717,3202],[1043,2130,4121],[1044,2679,3088],[1045,2064,3942],[1046,2856,4155],[1047,2413,4398],[1048,2503,4051],[1049,2452,3172],[1050,2861,4430],[1051,1842,3334],[1052,2285,3633],[1053,2284,3635],[1054,2117,3446],[1055,2034,3318],[1056,1511,3371],[1057,2394,3383],[1059,2587,3477],[1060,2654,4296],[1061,1625,4370],[1062,2371,3411],[1063,1511,3718],[1064,2471,4332],[1065,2609,4342],[1066,1682,3579],[1067,2291,3572],[1068,2606,3254],[1069,2792,3245],[1071,1702,3623],[1072,1539,3266],[1073,1791,3158],[1074,2739,4394],[1075,1948,4148],[1076,1832,4463],[1077,2835,3119],[1078,2174,3836],[1079,1966,3162],[1080,2678,4211],[1081,2150,3677],[1082,2356,4389],[1083,1791,3149],[1084,2235,3400],[1085,1552,4247],[1086,2608,4256],[1087,2692,4211],[1088,1556,4087],[1089,2366,3385],[1090,2453,3965],[1091,2463,3879],[1092,2043,3866],[1093,1925,3037],[1094,2914,3773],[1095,1667,4134],[1097,1810,4054],[1098,1596,3566],[1099,1622,3575],[1101,1588,4425],[1102,2405,4408],[1103,1874,3713],[1104,1996,4169],[1105,1539,3129],[1107,1545,3126],[1108,2338,3823],[1109,2226,3077],[1110,2869,3387],[1111,2137,3893],[1112,2348,2989],[1113,1695,3537],[1114,2669,3736],[1116,2857,4160],[1117,2839,3207],[1118,2302,3794],[1119,1942,3290],[1120,2477,4342],[1122,2801,4295],[1123,2880,2993],[1124,2104,3211],[1125,2913,4451],[1126,2654,4389],[1127,2908,4442],[1128,2713,3308],[1129,1540,3132],[1130,2701,3945],[1132,1742,3110],[1135,2645,3802],[1136,2003,3412],[1137,2779,3239],[1138,1686,3739],[1139,1843,3333],[1140,1870,3716],[1141,1867,3202],[1142,2977,3277],[1143,2238,3326],[1144,1762,3047],[1145,2777,4393],[1146,2000,4177],[1147,2602,4335],[1148,1591,3902],[1149,2150,3036],[1150,2091,3723],[1151,2047,4349],[1152,2613,4257],[1153,2384,4185],[1154,1971,4145],[1155,2041,3871],[1156,2629,3765],[1157,1981,4142],[1158,1961,4008],[1159,2146,3559],[1160,2131,4250],[1161,2163,3069],[1162,2790,3012],[1163,1637,4414],[1164,2265,3519],[1165,1721,4439],[1166,1756,3850],[1167,2964,4090],[1168,1813,3146],[1169,2929,3639],[1170,1654,3654],[1171,1984,4073],[1172,2562,4027],[1173,2785,4347],[1174,2747,3726],[1175,1979,4011],[1176,1696,4376],[1177,2082,4114],[1178,1643,3138],[1179,1956,4007],[1180,1822,4200],[1181,2431,3343],[1182,2651,3208],[1183,1977,4071],[1184,2945,3801],[1185,2658,4283],[1186,2231,3595],[1187,2357,3875],[1188,1708,3515],[1189,2655,4292],[1190,1829,3820],[1191,2912,3795],[1192,1648,4371],[1193,2697,3762],[1194,2012,4275],[1195,2920,4437],[1196,2149,3898],[1197,2460,3232],[1198,2512,4334],[1199,2963,3441],[1200,2952,3648],[1201,2793,4349],[1202,2813,3496],[1203,2957,3442],[1204,2705,3947],[1205,1553,3313],[1206,1766,3341],[1207,2142,3036],[1208,2050,3272],[1209,2378,4186],[1210,2933,3624],[1211,1687,3847],[1214,2342,3359],[1215,1918,3806],[1216,1847,3471],[1217,1939,4059],[1218,1512,3504],[1219,1672,3308],[1221,2769,3975],[1222,1839,3374],[1223,2503,4049],[1224,1758,3610],[1225,1753,3150],[1226,2474,4330],[1227,2823,3959],[1228,2812,3870],[1229,2659,4014],[1230,2660,3952],[1231,1958,4009],[1232,2061,3113],[1233,2826,4425],[1234,1642,3141],[1235,1798,3291],[1236,1573,4267],[1237,1891,4108],[1238,1772,3808],[1239,2171,3342],[1240,2552,3105],[1241,1505,4250],[1242,1924,4083],[1243,2913,4447],[1244,2625,3920],[1245,2894,3485],[1246,2329,3030],[1247,1598,3546],[1248,1915,3806],[1249,2870,4196],[1250,2937,4437],[1251,2735,3241],[1252,2957,3646],[1254,2012,3122],[1255,2404,4407],[1256,1586,3305],[1258,1851,3640],[1259,1742,4369],[1260,1562,3098],[1261,2504,4045],[1262,2672,4029],[1263,2698,3581],[1264,1729,3297],[1265,1909,3805],[1266,2830,3660],[1267,2907,4450],[1268,1919,3707],[1269,2365,3831],[1270,2357,4388],[1271,2395,3397],[1272,2555,3985],[1273,2966,4462],[1274,1526,3575],[1276,2317,3148],[1278,2270,3184],[1279,2391,3651],[1280,1714,3184],[1281,2811,3017],[1282,1591,3587],[1283,2220,3075],[1284,2385,4197],[1285,2137,3564],[1286,1526,3576],[1287,2157,3002],[1288,1697,4377],[1290,2393,4274],[1291,2403,3655],[1292,2560,4338],[1293,2592,4271],[1294,2796,3014],[1295,1890,3315],[1296,1638,4422],[1297,1728,3910],[1298,1561,3167],[1300,2930,3640],[1301,2033,3320],[1302,2461,4285],[1304,2785,4317],[1305,2588,3295],[1306,2725,3705],[1307,2374,4170],[1308,2244,3957],[1309,2587,3515],[1310,2187,3585],[1311,1769,3060],[1312,2733,4357],[1313,1857,2999],[1314,2147,3883],[1315,1881,3631],[1316,2972,3146],[1317,2070,4216],[1318,2702,3811],[1319,1718,3474],[1320,2030,3175],[1321,2032,4110],[1322,1544,3132],[1323,2625,3670],[1324,2670,3456],[1325,1761,3614],[1326,2709,4256],[1327,2385,3425],[1328,2808,4027],[1329,2580,3518],[1330,2672,4325],[1331,2947,4098],[1332,2954,4464],[1333,2795,3016],[1334,1856,3203],[1335,1826,3748],[1336,2603,4306],[1337,2657,4390],[1339,1845,3335],[1340,2162,3720],[1341,2759,3618],[1343,2585,3482],[1344,2740,4394],[1345,2640,3224],[1346,2383,3433],[1347,2825,3901],[1348,2000,3430],[1349,2613,4259],[1351,2468,4296],[1352,1612,3551],[1353,2851,3826],[1354,1691,4050],[1355,2942,3624],[1356,2297,3785],[1357,2058,3118],[1358,2431,3977],[1359,1507,3615],[1360,2884,4099],[1361,1948,3285],[1362,2030,3995],[1363,1794,4054],[1364,2486,4261],[1365,2820,3314],[1366,1788,3732],[1367,2424,3937],[1368,2106,3619],[1369,1699,4458],[1370,2277,3463],[1371,2034,3319],[1372,1533,3543],[1373,1673,2990],[1374,2333,4375],[1375,1971,4062],[1376,2225,3074],[1378,2217,3813],[1379,2934,3644],[1381,2861,4163],[1382,1985,4066],[1383,1672,3816],[1384,2043,3240],[1385,2176,3068],[1386,2221,3073],[1387,1805,4364],[1388,2317,4052],[1389,2201,4230],[1390,2171,3727],[1391,1639,3557],[1392,1816,3156],[1393,1529,3567],[1394,1745,3110],[1395,2135,3911],[1396,2618,3793],[1397,2165,3342],[1398,2667,4327],[1399,2643,3481],[1400,1974,4060],[1401,2095,3061],[1403,2855,4179],[1404,2898,3072],[1405,1780,3445],[1406,2690,3093],[1407,2584,3463],[1408,1904,3523],[1410,2924,3621],[1411,2650,3464],[1412,2921,3215],[1413,2756,3977],[1414,2704,3948],[1415,2074,3176],[1416,2218,3811],[1417,2624,4447],[1419,2165,3726],[1420,1946,3283],[1421,2255,4363],[1422,2586,3482],[1423,1749,3916],[1425,2655,4391],[1426,2055,4049],[1427,1509,3716],[1428,2024,3025],[1429,2561,3247],[1430,1502,3929],[1432,2439,3104],[1433,2723,3612],[1434,1852,3627],[1435,1841,3610],[1437,2048,3946],[1438,1923,3609],[1439,2222,3277],[1440,2072,4000],[1441,2128,4245],[1442,2541,3430],[1444,2962,4466],[1445,2952,4091],[1446,2544,3827],[1447,1573,3603],[1448,2722,3706],[1449,2437,3853],[1450,2738,3738],[1451,2235,3405],[1452,2366,3123],[1453,2714,4135],[1454,1863,4439],[1455,2444,3963],[1456,2894,3512],[1457,2285,3259],[1458,2981,4267],[1459,2592,3398],[1460,2152,4077],[1461,1688,4308],[1462,2451,3996],[1463,2684,3689],[1464,1837,3886],[1466,2733,4353],[1467,1562,3292],[1468,2501,4308],[1469,2397,3396],[1470,1712,3517],[1471,2645,2991],[1472,2883,3051],[1473,1685,4259],[1474,2504,4262],[1475,2486,3238],[1476,2339,3360],[1477,1992,3425],[1478,2690,4128],[1479,1998,4171],[1480,2947,3478],[1481,1720,3693],[1482,2143,3894],[1483,2942,3458],[1484,1748,3027],[1485,2046,4314],[1486,1746,3843],[1487,2713,4134],[1488,1582,3904],[1490,2415,3028],[1491,2178,3331],[1492,1493,2706],[2982,2983,3978],[2100,3063,3064],[2100,2102,3064],[278,2102,3064],[947,2102,3064],[1797,3096,3099],[1797,1799,3099],[536,1799,3099],[631,1799,3099],[1964,3153,3159],[1964,1967,3159],[706,1967,3159],[1253,1967,3159],[1759,3209,3210],[1759,1760,3210],[288,1760,3210],[638,1760,3210],[2492,3229,3230],[2492,2493,3230],[85,2493,3230],[1058,2493,3230],[2732,3235,3236],[2732,2734,3236],[193,2734,3236],[889,2734,3236],[1577,3288,3289],[1577,1578,3289],[120,1578,3289],[896,1578,3289],[1500,3362,3363],[1500,1501,3363],[48,1501,3363],[1018,1501,3363],[2397,3389,3390],[2397,2398,3390],[292,2398,3390],[351,2398,3390],[2381,3431,3432],[2381,2382,3432],[618,2382,3432],[1275,2382,3432],[2410,3437,3438],[2410,2411,3438],[348,2411,3438],[938,2411,3438],[2632,3525,3526],[2632,2633,3526],[2633,2634,3526,3527],[2633,2634,3527,3528],[2633,2635,3527,3528],[170,2635,3527],[1106,2635,3528],[267,2634,3528],[1289,2634,3526],[1729,3587,3588],[1729,1730,3588],[1730,1731,3588,3589],[38,1731,3589],[704,1731,3588],[1121,1730,3589],[2679,3688,3690],[2679,2680,3690],[1100,2680,3690],[1443,2680,3690],[1910,3708,3709],[1910,1911,3709],[615,1911,3709],[1013,1911,3709],[1581,3756,3757],[1581,1592,3757],[252,1592,3757],[1489,1592,3757],[1719,3778,3781],[1719,1722,3781],[1299,1722,3781],[1303,1722,3781],[2324,3856,3858],[2324,2349,3858],[82,2349,3858],[460,2349,3858],[2182,3911,3912],[2182,2183,2184,2185,3912,3913,3914],[388,2185,3913],[478,2184,3914],[900,2183,3914],[1257,2185,3912],[1889,3966,3967],[1889,1892,3967],[895,1892,3967],[1418,1892,3967],[1684,3972,3973],[1684,1693,3973],[865,1693,3973],[1409,1693,3973],[2554,3985,3986],[2554,2556,3986],[953,2556,3986],[1032,2556,3986],[1893,3984,3987],[1893,1894,3987],[775,1894,3987],[1096,1894,3987],[2028,3991,3992],[2028,2029,3992],[365,2029,3992],[1424,2029,3992],[2052,4016,4017],[2052,2053,4017],[328,2053,4017],[1402,2053,4017],[1960,4018,4020],[1960,1962,4020],[777,1962,4020],[1431,1962,4020],[2477,4031,4032],[2477,2478,4032],[313,2478,4032],[675,2478,4032],[2359,4035,4036],[2359,2360,4036],[237,2360,4036],[413,2360,4036],[1949,4069,4070],[1949,1950,4070],[258,1950,4070],[767,1950,4070],[2887,4100,4101],[2887,2888,4101],[108,2888,4101],[463,2888,4101],[2755,4102,4103],[2755,2757,4103],[122,2757,4103],[919,2757,4103],[2031,4111,4112],[2031,2035,4112],[2035,2036,4112,4113],[6,2035,4113],[90,2036,4112],[94,2036,4113],[2475,4322,4328],[2475,2479,4328],[1342,2479,4328],[1380,2479,4328],[2261,4383,4384],[2261,2262,4384],[281,2262,4384],[1213,2262,4384]],[[1,2],[2,3],[2,4],[2,7],[2,10],[2,13],[2,16],[2,19],[2,22],[2,26],[2,29],[2,32],[2,35],[2,38],[2,41],[2,44],[2,47],[2,50],[2,53],[2,56],[2,59],[2,62],[2,65],[2,68],[2,71],[2,74],[2,77],[2,80],[2,83],[2,86],[2,89],[2,92],[2,95],[2,100],[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,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,1459],[2,1463],[2,1467],[2,1471],[2,1475],[2,1479],[2,1483],[2,1487],[2,1491],[2,1495],[2,1499],[2,1508],[2,1514],[2,1518],[2,1522],[2,1526],[2,1530],[2,1534],[2,1540],[2,1544],[2,1548],[2,1552],[2,1556],[2,1560],[2,1564],[2,1568],[2,1572],[2,1576],[2,1580],[2,1584],[2,1588],[2,1594],[2,1598],[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],[22,25],[26,27],[26,28],[29,30],[29,31],[32,33],[32,34],[35,36],[35,37],[38,39],[38,40],[41,42],[41,43],[44,45],[44,46],[47,48],[47,49],[50,51],[50,52],[53,54],[53,55],[56,57],[56,58],[59,60],[59,61],[62,63],[62,64],[65,66],[65,67],[68,69],[68,70],[71,72],[71,73],[74,75],[74,76],[77,78],[77,79],[80,81],[80,82],[83,84],[83,85],[86,87],[86,88],[89,90],[89,91],[92,93],[92,94],[95,96],[95,99],[96,97],[96,98],[100,101],[100,104],[101,102],[101,103],[1455,1456],[1456,1457],[1457,1458],[1459,1460],[1460,1461],[1461,1462],[1463,1464],[1464,1465],[1465,1466],[1467,1468],[1468,1469],[1469,1470],[1471,1472],[1472,1473],[1473,1474],[1475,1476],[1476,1477],[1477,1478],[1479,1480],[1480,1481],[1481,1482],[1483,1484],[1484,1485],[1485,1486],[1487,1488],[1488,1489],[1489,1490],[1491,1492],[1492,1493],[1493,1494],[1495,1496],[1496,1497],[1497,1498],[1499,1500],[1500,1501],[1501,1502],[1501,1507],[1502,1503],[1502,1506],[1503,1504],[1503,1505],[1508,1509],[1509,1510],[1510,1511],[1510,1512],[1510,1513],[1514,1515],[1515,1516],[1516,1517],[1518,1519],[1519,1520],[1520,1521],[1522,1523],[1523,1524],[1524,1525],[1526,1527],[1527,1528],[1528,1529],[1530,1531],[1531,1532],[1532,1533],[1534,1535],[1535,1536],[1535,1537],[1535,1538],[1535,1539],[1540,1541],[1541,1542],[1542,1543],[1544,1545],[1545,1546],[1546,1547],[1548,1549],[1549,1550],[1550,1551],[1552,1553],[1553,1554],[1554,1555],[1556,1557],[1557,1558],[1558,1559],[1560,1561],[1561,1562],[1562,1563],[1564,1565],[1565,1566],[1566,1567],[1568,1569],[1569,1570],[1570,1571],[1572,1573],[1573,1574],[1574,1575],[1576,1577],[1577,1578],[1578,1579],[1580,1581],[1581,1582],[1582,1583],[1584,1585],[1585,1586],[1586,1587],[1588,1589],[1589,1590],[1590,1591],[1590,1592],[1590,1593],[1594,1595],[1595,1596],[1596,1597],[1598,1599],[1599,1600],[1600,1601]]]