#s idigest "04cd3a08dc8add1a4c8d708732ad6e08"
#p 2 180
#s name "p26-heuristic-pub071"
((((((((((((53,149),126),24),((54,(44,162)),(91,(155,143)))),((((163,127),167),135),13)),71),((((157,(102,((76,2),(28,(38,32))))),104),(99,((147,(151,158)),64))),(((((176,175),168),41),((10,83),(159,((144,154),(14,(((96,93),66),148)))))),(117,((138,129),171))))),((((46,45),97),((124,121),73)),((1,9),(42,90)))),(((((100,18),88),(101,((36,132),118))),(((25,(113,((35,111),(82,87)))),((59,(77,123)),(((6,4),79),(((((72,43),70),65),161),((150,110),((39,60),56)))))),((95,3),(128,140)))),((173,178),(((130,179),(34,(103,((((180,164),108),(37,63)),(40,115))))),((152,156),((160,(27,(61,(8,((5,12),20))))),47)))))),(((134,((169,((26,(85,86)),((69,((22,23),68)),((112,(31,30)),(105,106))))),((136,(78,74)),131))),((50,(107,(139,177))),((58,48),7))),(((153,75),((172,174),21)),((170,(29,52)),(145,146))))),(141,(((((92,94),(11,67)),(15,19)),165),((122,133),119)))),(((109,(142,51)),((166,114),80)),(((((116,((49,81),89)),(125,137)),84),17),(((16,98),120),(62,(33,(55,57)))))));
((((157,131),133),(((148,((110,((96,93),14)),(63,114))),35),(((1,44),(((3,82),169),((((50,(71,(147,152))),(106,(171,126))),51),113))),(13,((38,33),39))))),((((167,((134,156),(27,136))),((((115,(101,103)),(48,65)),109),(32,(92,94)))),(((((122,124),(139,165)),((107,112),52)),(((18,((77,(97,99)),85)),151),(149,((168,((24,(130,73)),((87,49),70))),((20,56),(28,(21,(80,29)))))))),((((154,111),(176,64)),(25,62)),((119,155),(((150,53),(8,46)),22))))),(((72,(((((((75,4),153),(69,118)),159),((127,104),158)),31),((40,88),(61,(179,180))))),((((67,((6,7),(74,43))),(12,(160,((15,23),((105,141),121))))),(((146,(60,9)),(98,(175,(129,((45,((34,(78,(76,79))),42)),(117,(144,5))))))),(68,(((143,145),128),142)))),((((11,16),59),(91,81)),(173,164)))),((((((132,57),47),(26,55)),(((138,(161,(174,(166,162)))),((89,66),54)),((36,((120,(30,83)),37)),(108,170)))),(((((86,90),172),((100,2),(((116,123),41),(58,(17,10))))),(163,(19,84))),(177,137))),((125,102),((135,140),(178,95)))))));
#x treedecomp [350,[[227,228,370],[227,369,370],[182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208,209,210,211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226,227,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320,321,322,324,325,326,327,328,329,330,331,332,333,334,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,361,362,363,364,365,366,367,368,369,371,372,373,374,375,376,377,378,379,380,381,382,383,384,385,386,387,388,389,390,391,392,393,394,395,396,397,398,399,400,401,402,404,405,406,407,408,409,410,411,412,413,414,415,416,417,418,419,420,421,422,423,424,425,426,427,428,429,430,431,432,433,434,435,436,437,438,439,440,441,442,443,444,445,446,447,448,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,525,526,527,528,529,530,531,532,533,534,535,536,537,538],[1,239,374],[322,323,451,452],[75,323,452],[153,323,451],[2,208,525],[3,272,377],[4,261,452],[5,295,487],[6,261,465],[7,319,465],[8,293,442],[9,239,476],[10,221,530],[11,336,495],[12,295,467],[13,198,386],[14,225,369],[15,337,470],[16,356,495],[17,347,530],[18,245,414],[19,337,532],[20,294,427],[21,324,429],[22,307,439],[23,307,470],[24,190,422],[25,251,436],[26,302,504],[27,291,395],[28,209,428],[29,328,430],[30,310,517],[31,310,447],[32,210,402],[33,358,388],[34,279,483],[35,254,365],[36,248,514],[37,285,515],[38,210,388],[39,270,387],[40,286,457],[41,217,527],[42,240,482],[43,266,466],[44,195,374],[45,235,481],[46,235,442],[47,289,502],[48,320,401],[49,352,425],[50,316,381],[51,343,379],[52,328,410],[53,192,441],[54,194,511],[55,359,504],[56,269,427],[57,359,503],[58,320,529],[59,257,494],[60,270,476],[61,292,458],[62,357,436],[63,285,371],[64,212,435],[65,264,401],[66,227,512],[67,336,463],[68,306,488],[69,305,453],[70,265,424],[71,187,382],[72,266,445],[73,236,423],[74,314,466],[76,208,485],[77,258,416],[78,314,484],[79,260,485],[80,344,430],[81,352,496],[82,255,377],[83,221,517],[84,348,532],[85,303,415],[86,303,523],[87,255,425],[88,244,457],[89,351,512],[90,240,523],[91,196,496],[95,272,538],[97,234,417],[98,356,477],[99,211,417],[100,245,525],[101,246,400],[102,206,535],[103,280,400],[104,204,455],[105,311,472],[106,311,384],[107,317,411],[108,283,518],[109,342,397],[110,268,368],[111,254,434],[112,309,411],[113,252,378],[114,345,371],[115,286,399],[116,350,528],[117,229,486],[118,247,453],[119,338,438],[120,355,516],[121,237,471],[122,339,408],[123,258,528],[124,237,408],[125,353,535],[126,191,385],[127,201,455],[128,273,490],[129,231,479],[130,278,423],[131,312,363],[132,248,503],[133,339,362],[134,298,394],[135,199,537],[136,313,395],[137,353,533],[138,231,507],[139,318,409],[140,273,537],[141,330,472],[142,343,489],[143,197,491],[144,224,487],[145,329,491],[146,329,475],[147,213,383],[148,226,366],[149,192,418],[150,268,441],[151,214,413],[152,288,383],[154,224,434],[155,197,438],[156,288,394],[157,205,363],[158,214,454],[159,222,449],[160,290,468],[161,263,508],[162,195,510],[163,201,531],[164,284,497],[165,332,409],[166,345,510],[167,200,392],[168,218,420],[169,300,376],[170,327,518],[171,230,385],[172,325,522],[173,275,497],[174,325,509],[175,219,478],[176,219,435],[177,318,533],[178,275,538],[179,278,459],[180,284,459],[181,182,340],[360,361,389],[334,402,403],[334,335,403],[92,335,403],[94,335,403],[93,228,370],[96,228,370]],[[1,2],[1,187],[2,3],[3,4],[3,5],[3,8],[3,9],[3,10],[3,11],[3,12],[3,13],[3,14],[3,15],[3,16],[3,17],[3,18],[3,19],[3,20],[3,21],[3,22],[3,23],[3,24],[3,25],[3,26],[3,27],[3,28],[3,29],[3,30],[3,31],[3,32],[3,33],[3,34],[3,35],[3,36],[3,37],[3,38],[3,39],[3,40],[3,41],[3,42],[3,43],[3,44],[3,45],[3,46],[3,47],[3,48],[3,49],[3,50],[3,51],[3,52],[3,53],[3,54],[3,55],[3,56],[3,57],[3,58],[3,59],[3,60],[3,61],[3,62],[3,63],[3,64],[3,65],[3,66],[3,67],[3,68],[3,69],[3,70],[3,71],[3,72],[3,73],[3,74],[3,75],[3,76],[3,77],[3,78],[3,79],[3,80],[3,81],[3,82],[3,83],[3,84],[3,85],[3,86],[3,87],[3,88],[3,89],[3,90],[3,91],[3,92],[3,93],[3,94],[3,95],[3,96],[3,97],[3,98],[3,99],[3,100],[3,101],[3,102],[3,103],[3,104],[3,105],[3,106],[3,107],[3,108],[3,109],[3,110],[3,111],[3,112],[3,113],[3,114],[3,115],[3,116],[3,117],[3,118],[3,119],[3,120],[3,121],[3,122],[3,123],[3,124],[3,125],[3,126],[3,127],[3,128],[3,129],[3,130],[3,131],[3,132],[3,133],[3,134],[3,135],[3,136],[3,137],[3,138],[3,139],[3,140],[3,141],[3,142],[3,143],[3,144],[3,145],[3,146],[3,147],[3,148],[3,149],[3,150],[3,151],[3,152],[3,153],[3,154],[3,155],[3,156],[3,157],[3,158],[3,159],[3,160],[3,161],[3,162],[3,163],[3,164],[3,165],[3,166],[3,167],[3,168],[3,169],[3,170],[3,171],[3,172],[3,173],[3,174],[3,175],[3,176],[3,177],[3,178],[3,179],[3,180],[3,181],[3,182],[3,183],[5,6],[5,7],[183,184],[184,185],[185,186],[187,188]]]