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