#s idigest "05d14c1e23cae052b70d76dff9dc0c15"
#p 2 421
#s name "p26-heuristic-pub010"
(((((((242,223),(((34,389),((213,((192,378),((212,288),(69,186)))),(195,122))),140)),((218,191),(158,115))),63),(46,(92,(400,(((263,(413,307)),(193,345)),(((((386,(381,245)),363),(418,189)),((136,157),(38,254))),(279,341))))))),((((((367,(((177,68),(((283,278),((((128,207),352),47),((((318,182),282),286),((249,253),(343,(96,214)))))),(16,219))),((74,113),229))),((255,166),199)),(131,71)),116),((75,(287,((333,(((296,344),((179,((202,244),((380,168),90))),(((416,(154,99)),(362,48)),143))),120)),256))),((330,((175,((36,111),9)),(272,72))),((64,((152,297),(107,(280,365)))),(303,(137,((28,292),234))))))),79)),(250,(((246,(((((((271,89),91),155),((((((((((221,((((((110,56),(258,327)),(((290,273),259),(70,316))),(((((417,349),(390,388)),((52,267),(146,304))),(405,289)),((26,103),(132,(124,151))))),((204,6),(396,(372,150)))),127)),41),(355,227)),21),((311,((266,364),309)),((374,((((281,(((((320,40),(37,3)),((((7,196),112),19),269)),276),((118,275),(((322,102),(10,163)),414)))),(67,(284,379))),104),262)),339))),57),(73,12)),243),(85,15)),((130,391),(174,241)))),403),(((360,(356,(((357,25),(353,239)),(167,407)))),((((159,247),(406,222)),(((125,383),2),((393,(61,(180,((359,326),((147,(((20,((201,(145,184)),(((((376,324),(((419,398),(((((260,210),(8,22)),87),((65,109),188)),(294,208))),(119,(342,(18,231))))),(80,(332,335))),(198,377)),101))),(371,(264,397))),98)),(((209,216),(299,(337,(334,(((375,(351,11)),114),((((45,(325,251)),29),95),295)))))),((354,(224,24)),((185,350),(((313,181),274),(123,411)))))))))),373))),((314,1),(317,((230,298),(134,(142,(205,((88,(81,270)),(310,((277,(161,(55,(228,(197,(235,323)))))),121))))))))))),44)),((((368,35),(329,4)),(77,(82,(62,(((((170,((225,(((((165,358),((66,220),(412,106))),(((385,54),(200,93)),((((291,361),415),83),(331,308)))),(((319,217),((238,173),190)),(((5,53),(395,(257,366))),((97,328),(420,50))))),((((348,((13,(387,((((285,(399,233)),42),117),315))),394)),(23,156)),(((248,160),(((((338,302),(265,203)),(((43,172),300),(144,402))),30),((336,252),126))),((((178,(((261,(312,194)),((((17,236),(347,(94,86))),((58,100),141)),(((14,(226,149)),(138,404)),(410,78)))),84)),(206,164)),((240,(((60,(176,49)),162),211)),(108,293))),(((129,169),(392,31)),(32,(370,139)))))),215))),171)),153),409),(183,340)),(((((((((301,384),(148,232)),(346,321)),(((382,27),135),76)),((305,133),39)),187),(306,(237,33))),105),421)))))),(59,408)))),(51,(268,369))),401)));
((((75,(((((218,191),(158,115)),((223,242),((34,389),((((((288,212),(186,69)),(195,122)),(192,378)),213),140)))),116),(((((((((107,(365,280)),(297,152)),64),(303,((28,(234,292)),137))),(330,(72,((175,((111,36),9)),272)))),63),(51,401)),46),250))),79),(((333,(120,((296,344),((143,179),(((202,244),(90,(380,168))),((416,(99,154)),(362,48))))))),287),256)),(((((413,307),((193,345),(400,((((363,(386,(245,381))),(418,189)),((136,157),(38,254))),(341,279))))),263),((92,(((131,71),(177,(367,((199,(255,166)),((68,((283,278),((((47,((128,207),352)),((286,((249,253),(343,(96,214)))),((182,318),282))),219),16))),(229,(113,74))))))),268)),(((408,59),((403,((((((((310,((((55,((197,(323,235)),228)),161),277),121)),((270,81),88)),(205,142)),(((298,317),314),1)),(35,368)),(((4,44),(((262,(281,12)),((374,(174,((((309,(155,73)),15),((284,391),339)),(57,67)))),(((((269,((112,(7,196)),19)),(37,((40,320),3))),276),((((322,102),(10,163)),414),(118,275))),((((379,364),((241,((21,((227,355),(((127,((((103,151),(150,6)),(((204,405),(372,289)),(((((((290,327),(258,56)),((316,110),((273,70),259))),124),132),(((417,349),(390,(388,((215,(((156,(23,(30,((60,(49,((((((43,361),291),415),240),211),176))),162)))),348),((((217,248),160),(((252,(336,141)),126),(((338,((293,108),((178,(((((((149,226),14),((404,(312,139)),138)),78),((58,100),((236,17),((94,86),347)))),(261,194)),84)),164))),302),(203,265)))),(((31,392),((129,169),83)),(370,32))))),((((5,53),((97,(395,(366,257))),328)),((238,173),(190,319))),((((412,106),(66,220)),((((13,(((117,((206,42),(285,(233,399)))),315),(387,(93,200)))),394),165),358)),((331,308),((385,54),((172,(((50,420),410),300)),(144,402)))))))))),((146,304),(267,52)))),26))),396)),221),41))),91)),(266,243))),((311,130),((89,104),85))),271)))),329)),(((407,167),((239,353),(25,357))),(356,360)))),(((159,((334,((375,(((((325,251),45),29),95),(114,295))),(11,351))),(((354,(((((393,185),(147,((180,98),224))),(((20,101),(((((201,335),(208,(294,((419,398),((198,(119,(342,((324,376),(18,231))))),(377,((65,(210,(22,188))),(87,(8,109))))))))),((145,260),184)),((332,80),(264,397))),371)),209)),123),((359,350),((326,181),((216,337),(411,(274,(61,313)))))))),299),24))),(247,406)),(((222,125),2),(373,383)))),(230,134))),(237,(82,(421,(((187,((306,(77,153)),(409,(340,((((170,39),(183,((232,((135,((301,105),384)),321)),133))),(225,171)),((148,62),(((382,27),76),346))))))),33),305)))))),246))),369));
#x treedecomp [185,[[666,667,1218],[666,1216,1218],[637,638,639,640,641,643,644,645,646,648,649,651,652,653,654,655,656,657,658,660,661,663,664,665,666,1188,1189,1190,1191,1192,1193,1194,1195,1196,1197,1198,1200,1201,1202,1203,1204,1207,1208,1209,1210,1211,1212,1213,1214,1215,1216,1217],[630,631,632,633,634,635,636,637,668,669,670,671,672,683,684,685,686,687,688,689,690,691,1165,1166,1167,1177,1178,1179,1180,1181,1182,1183,1184,1185,1186,1187,1188,1219,1220,1221,1222,1223,1224,1225,1226,1227],[621,622,623,624,625,626,627,628,629,630,959,1163,1164,1165,1228,1229,1230,1231,1232],[532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,560,561,562,563,569,570,571,572,573,574,575,576,577,579,580,581,582,583,584,585,586,587,588,605,606,607,608,609,610,611,612,613,614,621,692,693,694,695,696,697,711,712,713,715,716,717,718,719,720,721,722,723,724,725,726,820,821,822,823,824,825,826,827,828,830,831,832,833,835,836,837,838,954,956,957,958,959,960,961,962,976,977,978,980,981,982,983,984,985,986,987,988,989,990,991,992,993,994,995,996,997,998,1015,1016,1017,1018,1019,1020,1021,1022,1023,1025,1026,1027,1028,1029,1030,1031,1032,1033,1034,1035,1036,1037,1038,1039,1040,1041,1049,1050,1052,1053,1054,1151,1152,1153,1154,1155,1233,1234,1235,1236,1237,1238,1239,1240,1241,1242,1243,1244,1245,1246,1247,1248,1249,1250,1251,1252,1253,1254,1255,1256,1257,1258,1259,1260],[1,693,976],[563,565,1052,1053],[388,565,1053],[390,565,1052],[828,829,1254,1255],[301,829,1255],[384,829,1254],[4,715,982],[6,575,1032],[12,607,986],[15,608,992],[21,545,1022],[26,571,1037],[33,838,1238],[39,835,1248],[41,547,1025],[44,612,982],[57,543,997],[62,718,1258],[67,605,997],[73,607,994],[76,832,1260],[77,716,1242],[82,717,1235],[85,608,1154],[89,538,1155],[91,537,1021],[103,571,1031],[104,586,1155],[105,822,1255],[124,573,1040],[127,549,1027],[130,610,1153],[132,572,1039],[133,836,1250],[134,697,1233],[135,833,1253],[148,830,1258],[150,577,1032],[151,573,1031],[153,722,1242],[155,536,994],[170,723,1248],[171,724,1256],[174,611,989],[183,820,1249],[187,824,1239],[204,575,1035],[221,548,1026],[225,725,1256],[230,696,1233],[232,830,1251],[237,838,1234],[241,611,1020],[243,541,1151],[262,585,985],[266,582,1151],[271,538,1015],[281,588,986],[284,606,996],[289,569,1036],[298,696,978],[305,836,1237],[306,837,1241],[309,581,993],[311,580,1153],[314,693,977],[317,694,978],[321,831,1252],[329,715,983],[339,583,995],[340,820,1244],[346,831,1259],[364,582,1018],[372,577,1036],[374,584,988],[379,606,1018],[391,610,996],[396,576,1028],[403,534,957],[405,569,1035],[409,721,1243],[421,821,1236],[551,552,553,554,555,556,557,558,559,1041,1042,1043,1044,1045,1046,1047,1048],[56,554,1044],[70,559,1048],[110,554,1046],[258,555,1044],[259,557,1047],[273,558,1048],[290,558,1043],[316,559,1046],[327,555,1043],[726,727,728,729,730,734,735,738,739,740,743,744,745,746,748,749,753,756,757,758,759,760,761,762,763,764,765,768,769,770,772,773,774,775,778,779,780,782,784,785,786,787,788,789,790,791,792,793,798,800,801,805,806,807,808,809,810,811,814,815,818,819,1054,1055,1056,1057,1058,1059,1060,1061,1062,1063,1064,1065,1066,1067,1068,1069,1070,1071,1072,1073,1074,1075,1076,1077,1078,1079,1080,1081,1083,1084,1085,1086,1087,1088,1089,1092,1093,1094,1095,1101,1103,1104,1106,1108,1109,1110,1111,1113,1114,1117,1119,1120,1121,1125,1126,1127,1128,1129,1130,1131,1132,1133,1136,1138,1140,1142,1143,1144,1145],[740,741,1068,1069],[291,741,1068],[361,741,1069],[753,754,1113,1114],[97,754,1114],[328,754,1113],[770,771,1072,1073],[160,771,1072],[248,771,1073],[775,776,1079,1080],[302,776,1079],[338,776,1080],[782,783,1076,1077],[252,783,1076],[336,783,1077],[801,804,1092,1093],[138,804,1092],[404,804,1093],[811,812,1063,1064],[49,812,1063],[176,812,1064],[13,761,1128],[23,768,1059],[30,773,1060],[32,818,1108],[42,765,1133],[43,780,1069],[60,811,1062],[78,805,1088],[83,739,1106],[84,788,1085],[117,764,1131],[126,782,1075],[139,819,1094],[141,798,1077],[156,768,1058],[162,810,1061],[164,806,1083],[165,730,1126],[172,780,1143],[178,787,1084],[190,746,1119],[194,791,1101],[206,806,1133],[211,809,1065],[215,756,1055],[217,745,1073],[240,808,1066],[261,790,1101],[300,779,1144],[312,791,1094],[315,763,1130],[319,745,1119],[348,759,1057],[358,730,1125],[370,819,1108],[387,762,1136],[394,760,1127],[410,805,1145],[415,740,1067],[807,1081,1082],[807,813,1082],[108,813,1082],[293,813,1082],[801,1089,1090],[801,802,1090],[14,802,1090],[802,1090,1091],[802,803,1091],[149,803,1091],[226,803,1091],[798,1095,1096],[798,799,1096],[58,799,1096],[100,799,1096],[793,1095,1097],[793,794,1097],[794,1097,1098],[794,795,1098],[17,795,1098],[236,795,1098],[794,1097,1099],[794,796,1099],[347,796,1099],[796,1099,1100],[796,797,1100],[86,797,1100],[94,797,1100],[775,1078,1102],[775,777,1102],[203,777,1102],[265,777,1102],[815,1104,1105],[815,817,1105],[31,817,1105],[392,817,1105],[815,1106,1107],[815,816,1107],[129,816,1107],[169,816,1107],[749,1111,1112],[749,750,1112],[5,750,1112],[53,750,1112],[749,1114,1115],[749,751,1115],[395,751,1115],[751,1115,1116],[751,752,1116],[257,752,1116],[366,752,1116],[746,1117,1118],[746,747,1118],[173,747,1118],[238,747,1118],[729,1121,1122],[729,731,1122],[731,1122,1123],[731,733,1123],[106,733,1123],[412,733,1123],[731,1122,1124],[731,732,1124],[66,732,1124],[220,732,1124],[765,1132,1134],[765,766,1134],[285,766,1134],[766,1134,1135],[766,767,1135],[233,767,1135],[399,767,1135],[735,1136,1137],[735,737,1137],[93,737,1137],[200,737,1137],[738,1138,1139],[738,742,1139],[308,742,1139],[331,742,1139],[735,1140,1141],[735,736,1141],[54,736,1141],[385,736,1141],[753,1145,1146],[753,755,1146],[50,755,1146],[420,755,1146],[778,1142,1147],[778,781,1147],[144,781,1147],[402,781,1147],[532,953,954],[531,532,953],[246,531,953],[530,531,953],[423,424,425,426,443,444,462,463,464,492,493,494,528,529,530,840,841,843,844,845,846,847,865,866,867,868,886,887,904,905,906,923,924,925,953],[46,443,866],[51,840,886],[63,425,868],[75,493,845],[79,462,844],[92,444,924],[116,464,847],[250,528,865],[268,841,925],[369,841,904],[401,529,886],[422,423,528],[444,445,446,447,906,907,909,911],[447,448,906,907],[263,448,906],[448,907,908],[448,449,908],[307,449,908],[413,449,908],[400,445,911],[447,909,910],[447,450,910],[193,450,910],[345,450,910],[446,911,912],[446,451,912],[451,912,913],[451,452,913],[452,913,914],[452,453,914],[453,914,915],[453,454,915],[363,454,915],[454,915,916],[454,455,916],[386,455,916],[455,916,917],[455,456,917],[245,456,917],[381,456,917],[453,914,918],[453,457,918],[189,457,918],[418,457,918],[452,913,919],[452,458,919],[458,919,920],[458,459,920],[136,459,920],[157,459,920],[458,919,921],[458,460,921],[38,460,921],[254,460,921],[451,912,922],[451,461,922],[279,461,922],[341,461,922],[494,495,496,887,888,889],[256,495,887],[287,494,888],[333,496,889],[496,889,890],[496,497,890],[120,497,890],[497,498,890],[498,890,891],[498,891,892],[498,499,892],[296,499,892],[344,499,892],[498,891,893],[498,500,501,506,893,894,895],[143,506,894],[179,501,894],[501,895,896],[501,502,896],[502,896,897],[502,503,897],[202,503,897],[244,503,897],[502,896,898],[502,504,898],[90,504,898],[504,898,899],[504,505,899],[168,505,899],[380,505,899],[506,895,900],[506,507,900],[507,900,901],[507,508,901],[416,508,901],[508,901,902],[508,509,902],[99,509,902],[154,509,902],[507,900,903],[507,510,903],[48,510,903],[362,510,903],[842,843,904],[426,847,848],[426,848,849],[426,440,849],[440,849,850],[440,441,850],[191,441,850],[218,441,850],[440,849,851],[440,442,851],[115,442,851],[158,442,851],[426,848,852],[426,427,852],[427,429,852],[427,852,853],[427,428,853],[223,428,853],[242,428,853],[429,852,854],[429,430,432,854,856,857],[140,429,856],[432,433,434,857,858,859],[213,433,857],[434,859,860],[434,436,860],[436,860,861],[436,437,861],[212,437,861],[288,437,861],[436,860,862],[436,438,862],[69,438,862],[186,438,862],[432,859,863],[432,439,863],[122,439,863],[195,439,863],[434,858,864],[434,435,864],[192,435,864],[378,435,864],[430,854,855],[430,431,855],[34,431,855],[389,431,855],[492,868,869],[492,511,512,518,869],[518,869,870],[518,870,871],[518,519,871],[64,519,871],[519,871,872],[519,520,872],[520,872,873],[520,522,873],[107,522,873],[522,873,874],[522,523,874],[280,523,874],[365,523,874],[520,872,875],[520,521,875],[152,521,875],[297,521,875],[518,870,876],[518,524,876],[303,524,876],[524,525,876],[525,876,877],[137,525,877],[525,877,878],[525,526,527,878,879],[28,527,878],[234,526,879],[292,527,879],[512,869,880],[330,512,880],[512,880,881],[512,513,517,881,882],[72,517,881],[272,517,882],[513,882,883],[513,514,883],[175,514,883],[514,883,884],[514,515,884],[9,515,884],[515,884,885],[515,516,885],[36,516,885],[111,516,885],[464,925,926],[464,465,926],[465,466,926],[466,467,468,469,470,471,926,928,929,930,933,934,935],[68,470,934],[177,470,928],[367,467,929],[471,472,474,935,937,938],[471,486,937,938],[16,486,937],[219,486,938],[472,935,936],[472,473,936],[278,473,936],[283,473,936],[474,938,939],[474,939,940],[474,475,940],[47,475,940],[475,940,941],[475,476,941],[352,476,941],[476,941,942],[476,477,942],[128,477,942],[207,477,942],[474,939,943],[474,478,479,943,944],[286,479,944],[478,944,945],[478,482,945],[482,945,946],[482,483,946],[249,483,946],[253,483,946],[482,945,947],[482,484,947],[343,484,947],[484,947,948],[484,485,948],[96,485,948],[214,485,948],[479,943,949],[479,480,949],[282,480,949],[480,949,950],[480,481,950],[182,481,950],[318,481,950],[466,930,931],[466,489,931],[199,489,931],[489,931,932],[489,490,932],[166,490,932],[255,490,932],[468,933,951],[468,487,951],[229,487,951],[487,951,952],[487,488,952],[74,488,952],[113,488,952],[465,926,927],[465,491,927],[71,491,927],[131,491,927],[711,954,955],[711,839,955],[59,839,955],[408,839,955],[697,962,963],[697,698,699,963,975],[142,698,975],[205,699,975],[699,963,964],[699,700,964],[700,964,965],[700,703,965],[310,703,965],[703,965,966],[703,704,966],[121,704,966],[704,966,967],[704,705,967],[277,705,967],[705,967,968],[705,706,968],[161,706,968],[706,968,969],[706,707,969],[55,707,969],[707,969,970],[707,708,970],[228,708,970],[708,970,971],[708,709,971],[197,709,971],[709,971,972],[709,710,972],[235,710,972],[323,710,972],[700,964,973],[700,701,973],[88,701,973],[701,973,974],[701,702,974],[81,702,974],[270,702,974],[713,961,979],[713,714,979],[35,714,979],[368,714,979],[588,998,999],[588,589,999],[589,590,999],[590,999,1000],[276,590,1000],[590,1000,1001],[590,591,1001],[591,592,1001],[591,1001,1002],[591,595,1002],[269,595,1002],[595,1002,1003],[595,596,1003],[19,596,1003],[596,1003,1004],[596,597,1004],[112,597,1004],[597,1004,1005],[597,598,1005],[7,598,1005],[196,598,1005],[592,1001,1006],[592,594,1006,1007],[3,594,1007],[37,594,1006],[592,1007,1008],[592,593,1008],[40,593,1008],[320,593,1008],[589,999,1009],[589,599,1009],[599,1009,1010],[599,601,1010],[414,601,1010],[601,1010,1011],[601,602,1011],[602,1011,1012],[602,603,1012],[102,603,1012],[322,603,1012],[602,1011,1013],[602,604,1013],[10,604,1013],[163,604,1013],[599,1009,1014],[599,600,1014],[118,600,1014],[275,600,1014],[546,1023,1024],[546,578,1024],[227,578,1024],[355,578,1024],[563,1050,1051],[563,564,1051],[349,564,1051],[417,564,1051],[562,1049,1148],[562,566,1148],[566,1148,1149],[566,568,1149],[146,568,1149],[304,568,1149],[566,1148,1150],[566,567,1150],[52,567,1150],[267,567,1150],[614,980,1156],[614,615,1156,1162],[356,615,1162],[360,614,1162],[615,1156,1157],[615,616,1157],[616,1157,1158],[616,620,1158],[167,620,1158],[407,620,1158],[616,1157,1159],[616,617,1159],[617,1159,1160],[617,619,1160],[239,619,1160],[353,619,1160],[617,1159,1161],[617,618,1161],[25,618,1161],[357,618,1161],[833,1260,1261],[833,834,1261],[27,834,1261],[382,834,1261],[2,627,1230],[125,628,1231],[159,624,1165],[222,625,1231],[247,624,1228],[373,629,1232],[383,628,1232],[406,625,1228],[24,685,1177],[61,631,1227],[98,637,1187],[123,691,1181],[147,636,1185],[180,632,1187],[181,690,1222],[185,687,1184],[209,670,1188],[216,670,1224],[224,685,1186],[274,689,1226],[299,671,1178],[313,690,1227],[326,634,1222],[337,672,1224],[350,687,1220],[354,684,1179],[359,634,1220],[393,630,1184],[411,691,1225],[672,673,1167],[334,673,1167],[673,674,1167],[674,675,676,1167,1168,1169,1170,1175],[674,678,1170,1175],[295,678,1175],[678,1170,1171],[678,679,1171],[95,679,1171],[679,1171,1172],[679,680,1172],[29,680,1172],[680,1172,1173],[680,681,1173],[45,681,1173],[681,1173,1174],[681,682,1174],[251,682,1174],[325,682,1174],[114,675,1175],[375,676,1169],[676,1168,1176],[676,677,1176],[11,677,1176],[351,677,1176],[641,642,1214,1215],[145,642,1215],[184,642,1214],[651,659,1196,1197],[208,659,1196],[294,659,1197],[8,656,1213],[20,639,1190],[22,656,1211],[65,658,1209],[80,663,1217],[87,653,1212],[101,643,1190],[109,658,1213],[119,660,1202],[188,657,1211],[198,665,1201],[201,641,1195],[210,655,1210],[260,655,1215],[332,664,1217],[335,664,1195],[342,661,1203],[371,666,1191],[377,665,1207],[649,1198,1199],[649,650,1199],[398,650,1199],[419,650,1199],[646,1204,1205],[646,647,1205],[324,647,1205],[376,647,1205],[661,1204,1206],[661,662,1206],[18,662,1206],[231,662,1206],[264,667,1218],[397,667,1218]],[[1,2],[1,745],[2,3],[3,4],[3,708],[3,711],[3,714],[3,715],[3,716],[3,717],[3,718],[3,719],[3,720],[3,721],[3,722],[3,723],[3,724],[3,725],[3,726],[3,727],[3,728],[3,729],[3,730],[3,731],[3,732],[3,733],[3,737],[3,741],[4,5],[4,662],[4,663],[4,664],[4,665],[4,666],[4,667],[4,668],[4,669],[4,670],[4,671],[4,672],[4,673],[4,674],[4,675],[4,676],[4,677],[4,678],[4,679],[4,680],[4,681],[4,682],[4,683],[5,6],[5,654],[5,655],[5,656],[5,657],[5,658],[5,659],[5,660],[5,661],[6,7],[6,8],[6,11],[6,14],[6,15],[6,16],[6,17],[6,18],[6,19],[6,20],[6,21],[6,22],[6,23],[6,24],[6,25],[6,26],[6,27],[6,28],[6,29],[6,30],[6,31],[6,32],[6,33],[6,34],[6,35],[6,36],[6,37],[6,38],[6,39],[6,40],[6,41],[6,42],[6,43],[6,44],[6,45],[6,46],[6,47],[6,48],[6,49],[6,50],[6,51],[6,52],[6,53],[6,54],[6,55],[6,56],[6,57],[6,58],[6,59],[6,60],[6,61],[6,62],[6,63],[6,64],[6,65],[6,66],[6,67],[6,68],[6,69],[6,70],[6,71],[6,72],[6,73],[6,74],[6,75],[6,76],[6,77],[6,78],[6,79],[6,80],[6,81],[6,82],[6,83],[6,84],[6,85],[6,86],[6,87],[6,88],[6,89],[6,90],[6,100],[6,253],[6,518],[6,522],[6,560],[6,564],[6,612],[6,616],[6,620],[6,630],[6,650],[8,9],[8,10],[11,12],[11,13],[90,91],[90,92],[90,93],[90,94],[90,95],[90,96],[90,97],[90,98],[90,99],[100,101],[100,104],[100,107],[100,110],[100,113],[100,116],[100,119],[100,122],[100,123],[100,124],[100,125],[100,126],[100,127],[100,128],[100,129],[100,130],[100,131],[100,132],[100,133],[100,134],[100,135],[100,136],[100,137],[100,138],[100,139],[100,140],[100,141],[100,142],[100,143],[100,144],[100,145],[100,146],[100,147],[100,148],[100,149],[100,150],[100,151],[100,152],[100,153],[100,154],[100,155],[100,156],[100,157],[100,158],[100,159],[100,160],[100,161],[100,165],[100,172],[100,176],[100,189],[100,193],[100,197],[100,201],[100,205],[100,212],[100,216],[100,226],[100,233],[100,237],[100,241],[100,245],[100,249],[101,102],[101,103],[104,105],[104,106],[107,108],[107,109],[110,111],[110,112],[113,114],[113,115],[116,117],[116,118],[119,120],[119,121],[161,162],[162,163],[163,164],[165,166],[166,167],[167,168],[168,169],[169,170],[170,171],[172,173],[173,174],[174,175],[176,177],[177,178],[178,179],[178,182],[179,180],[180,181],[182,183],[183,184],[184,185],[185,186],[186,187],[187,188],[189,190],[190,191],[191,192],[193,194],[194,195],[195,196],[197,198],[198,199],[199,200],[201,202],[202,203],[203,204],[205,206],[206,207],[207,208],[208,209],[209,210],[210,211],[212,213],[213,214],[214,215],[216,217],[217,218],[218,219],[218,222],[219,220],[220,221],[222,223],[223,224],[224,225],[226,227],[227,228],[228,229],[229,230],[230,231],[231,232],[233,234],[234,235],[235,236],[237,238],[238,239],[239,240],[241,242],[242,243],[243,244],[245,246],[246,247],[247,248],[249,250],[250,251],[251,252],[253,254],[254,255],[255,256],[256,257],[257,258],[257,259],[257,260],[257,261],[257,262],[257,263],[257,264],[257,265],[257,266],[257,267],[257,268],[257,269],[257,270],[257,316],[257,359],[257,360],[257,405],[257,451],[270,271],[270,277],[270,278],[270,282],[271,272],[271,273],[273,274],[274,275],[275,276],[278,279],[279,280],[280,281],[282,283],[283,284],[284,285],[284,312],[285,286],[286,287],[286,302],[287,288],[288,289],[288,298],[289,290],[290,291],[291,292],[292,293],[293,294],[294,295],[295,296],[296,297],[298,299],[299,300],[300,301],[302,303],[303,304],[304,305],[304,308],[305,306],[306,307],[308,309],[309,310],[310,311],[312,313],[313,314],[314,315],[316,317],[316,318],[316,319],[319,320],[320,321],[321,322],[322,323],[323,324],[324,325],[325,326],[325,329],[326,327],[327,328],[329,330],[330,331],[330,332],[330,333],[330,346],[333,334],[334,335],[335,336],[335,339],[336,337],[337,338],[339,340],[340,341],[341,342],[342,343],[343,344],[344,345],[346,347],[347,348],[348,349],[348,355],[349,350],[350,351],[351,352],[352,353],[353,354],[355,356],[356,357],[357,358],[360,361],[361,362],[361,371],[362,363],[363,364],[363,367],[364,365],[365,366],[367,368],[368,369],[369,370],[371,372],[372,373],[373,374],[373,378],[374,375],[375,376],[376,377],[378,379],[379,380],[379,381],[379,401],[381,382],[381,383],[381,393],[381,397],[383,384],[384,385],[385,386],[385,389],[386,387],[387,388],[389,390],[390,391],[391,392],[393,394],[394,395],[395,396],[397,398],[398,399],[399,400],[401,402],[402,403],[403,404],[405,406],[406,407],[406,435],[407,408],[408,409],[408,424],[409,410],[410,411],[411,412],[412,413],[413,414],[413,420],[414,415],[415,416],[416,417],[417,418],[418,419],[420,421],[421,422],[422,423],[424,425],[425,426],[426,427],[427,428],[428,429],[429,430],[430,431],[431,432],[431,433],[431,434],[435,436],[436,437],[437,438],[438,439],[438,440],[438,441],[441,442],[442,443],[443,444],[444,445],[445,446],[446,447],[447,448],[448,449],[449,450],[451,452],[452,453],[453,454],[453,514],[454,455],[454,456],[454,457],[454,458],[454,500],[454,507],[458,459],[458,462],[458,466],[459,460],[459,461],[462,463],[463,464],[464,465],[466,467],[467,468],[467,477],[468,469],[469,470],[470,471],[471,472],[472,473],[473,474],[474,475],[475,476],[477,478],[478,479],[478,480],[478,493],[480,481],[481,482],[482,483],[482,486],[483,484],[484,485],[486,487],[487,488],[488,489],[489,490],[490,491],[491,492],[493,494],[494,495],[495,496],[496,497],[497,498],[498,499],[500,501],[501,502],[502,503],[503,504],[504,505],[505,506],[507,508],[508,509],[509,510],[510,511],[511,512],[512,513],[514,515],[515,516],[516,517],[518,519],[519,520],[520,521],[522,523],[523,524],[523,525],[523,526],[526,527],[527,528],[528,529],[528,553],[529,530],[530,531],[531,532],[532,533],[533,534],[534,535],[535,536],[536,537],[537,538],[538,539],[539,540],[540,541],[541,542],[542,543],[543,544],[544,545],[545,546],[546,547],[547,548],[548,549],[549,550],[550,551],[551,552],[553,554],[554,555],[555,556],[556,557],[557,558],[558,559],[560,561],[561,562],[562,563],[564,565],[565,566],[566,567],[566,593],[567,568],[568,569],[569,570],[570,571],[571,572],[571,585],[572,573],[573,574],[574,575],[575,576],[576,577],[577,578],[578,579],[579,580],[580,581],[581,582],[582,583],[583,584],[585,586],[586,587],[586,588],[586,589],[589,590],[590,591],[591,592],[593,594],[594,595],[595,596],[595,608],[596,597],[597,598],[598,599],[599,600],[600,601],[600,604],[601,602],[602,603],[604,605],[605,606],[606,607],[608,609],[609,610],[610,611],[612,613],[613,614],[614,615],[616,617],[617,618],[618,619],[620,621],[621,622],[622,623],[622,626],[623,624],[624,625],[626,627],[627,628],[628,629],[630,631],[631,632],[631,633],[631,634],[634,635],[635,636],[636,637],[636,640],[637,638],[638,639],[640,641],[641,642],[642,643],[642,646],[643,644],[644,645],[646,647],[647,648],[648,649],[650,651],[651,652],[652,653],[683,684],[684,685],[685,686],[686,687],[686,702],[686,703],[686,704],[687,688],[687,689],[689,690],[690,691],[691,692],[692,693],[693,694],[694,695],[695,696],[696,697],[697,698],[698,699],[699,700],[700,701],[704,705],[705,706],[706,707],[708,709],[708,710],[711,712],[711,713],[733,734],[734,735],[735,736],[737,738],[738,739],[739,740],[741,742],[742,743],[743,744],[745,746]]]