#s idigest "031f436e06b75c64a6563eb997483e4a"
#p 2 120
#s name "p26-heuristic-pub036"
((((((((44,72),97),((11,((104,107),((((23,22),24),(21,36)),25))),(102,51))),45),((75,(((89,86),88),(85,((105,100),113)))),((53,(91,98)),(((26,67),63),119)))),((((((68,((54,(82,93)),(35,74))),(61,17)),(12,14)),((20,49),69)),((((13,60),(((95,92),81),73)),(117,(5,(33,27)))),(66,((9,6),58)))),((2,52),(111,((((55,((120,116),83)),((101,96),114)),(38,(1,4))),(71,((19,64),(32,76)))))))),(((((62,50),31),(80,77)),(((78,42),10),(112,118))),(((3,(((29,((30,28),8)),39),47)),94),(15,79)))),(((((34,(48,46)),18),(57,56)),(((90,106),99),((41,7),(16,43)))),((((103,115),(87,37)),((110,108),40)),(((59,70),65),(109,84)))));
(((((((31,9),10),(76,77)),60),((((61,16),80),74),40)),(((((38,(4,64)),((96,((20,49),((27,(75,71)),116))),89)),(((32,46),(14,67)),43)),(54,(115,73))),(((114,(120,119)),3),((((52,(92,84)),(90,(83,107))),((111,103),(23,39))),((81,104),((17,(19,35)),78)))))),(((97,100),((42,(44,41)),(((69,50),(13,34)),((56,((58,68),48)),((36,22),(82,53)))))),(((12,11),(59,(118,(91,55)))),((((33,(47,62)),(7,57)),(((86,109),(6,(30,26))),70)),(((((88,(85,87)),((18,72),(112,(29,(65,63))))),((((1,2),37),(((106,(99,95)),((113,(117,94)),(45,5))),(101,105))),(108,98))),(102,((93,(51,110)),((66,15),25)))),(((21,24),8),(28,79)))))));
#x treedecomp [233,[[120,188,274],[122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,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,228,229,230,231,232,233,234,235,236,237,238,239,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,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,323,324,325,326,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352,353,354,355,356,357,358],[1,192,338],[2,181,338],[3,209,272],[4,192,257],[5,175,346],[6,179,322],[7,227,318],[8,213,356],[9,179,246],[10,204,245],[11,130,309],[12,164,309],[13,170,299],[14,164,268],[15,215,354],[16,228,251],[17,163,288],[18,219,331],[19,195,289],[21,137,357],[22,136,305],[23,136,284],[24,135,357],[25,133,353],[26,152,323],[27,176,263],[28,214,358],[29,212,333],[30,214,323],[31,200,246],[32,196,267],[33,176,316],[34,220,299],[35,162,289],[36,137,305],[37,233,337],[38,191,256],[39,211,284],[40,234,248],[41,227,295],[42,205,294],[43,228,265],[44,128,295],[45,125,346],[46,221,267],[47,210,317],[48,221,302],[50,201,298],[51,138,352],[52,181,278],[53,148,306],[54,160,269],[55,186,312],[56,222,301],[57,222,318],[58,178,303],[59,238,310],[60,170,243],[61,163,251],[62,201,317],[63,151,334],[64,195,257],[65,237,334],[66,177,354],[67,152,268],[68,158,303],[69,165,298],[70,238,319],[71,193,264],[72,128,331],[73,171,270],[74,162,249],[75,140,264],[76,196,247],[77,202,247],[78,205,287],[79,215,358],[80,202,250],[81,172,286],[82,161,306],[83,187,281],[84,239,279],[85,144,329],[86,143,321],[87,233,329],[88,142,328],[89,143,258],[90,225,280],[91,149,312],[92,173,279],[93,161,351],[94,208,345],[95,173,342],[96,190,259],[97,127,292],[98,149,348],[99,224,342],[100,146,292],[101,190,347],[102,138,349],[103,232,283],[104,132,286],[105,146,347],[106,225,341],[107,132,281],[108,235,348],[109,239,321],[110,235,352],[111,182,283],[112,206,332],[113,145,344],[114,189,273],[115,232,270],[116,188,262],[117,174,345],[118,206,311],[119,150,274],[121,122,216],[240,241,290],[165,260,261],[165,166,261],[20,166,261],[49,166,261]],[[1,2],[2,3],[2,4],[2,5],[2,6],[2,7],[2,8],[2,9],[2,10],[2,11],[2,12],[2,13],[2,14],[2,15],[2,16],[2,17],[2,18],[2,19],[2,20],[2,21],[2,22],[2,23],[2,24],[2,25],[2,26],[2,27],[2,28],[2,29],[2,30],[2,31],[2,32],[2,33],[2,34],[2,35],[2,36],[2,37],[2,38],[2,39],[2,40],[2,41],[2,42],[2,43],[2,44],[2,45],[2,46],[2,47],[2,48],[2,49],[2,50],[2,51],[2,52],[2,53],[2,54],[2,55],[2,56],[2,57],[2,58],[2,59],[2,60],[2,61],[2,62],[2,63],[2,64],[2,65],[2,66],[2,67],[2,68],[2,69],[2,70],[2,71],[2,72],[2,73],[2,74],[2,75],[2,76],[2,77],[2,78],[2,79],[2,80],[2,81],[2,82],[2,83],[2,84],[2,85],[2,86],[2,87],[2,88],[2,89],[2,90],[2,91],[2,92],[2,93],[2,94],[2,95],[2,96],[2,97],[2,98],[2,99],[2,100],[2,101],[2,102],[2,103],[2,104],[2,105],[2,106],[2,107],[2,108],[2,109],[2,110],[2,111],[2,112],[2,113],[2,114],[2,115],[2,116],[2,117],[2,118],[2,119],[2,120],[2,121],[2,122],[122,123],[123,124],[124,125]]]