#s idigest "04b6a5e8736a80fc6c9d31118c853aff"
#p 2 160
#s name "p26-heuristic-pub060"
((((95,((((122,(137,33)),21),(132,(86,71))),(133,89))),((((41,((((1,75),(69,(84,94))),((77,((57,54),17)),((((53,22),19),106),((36,88),97)))),145)),37),(28,((159,(92,(((14,63),(7,(5,29))),111))),(64,(3,153))))),(((((134,118),(72,(32,81))),(128,143)),(((4,39),24),(85,((34,10),(47,26))))),((136,((146,(103,157)),(31,38))),(140,123))))),(((((55,52),(152,158)),(((35,(78,6)),((117,104),((23,42),99))),114)),(62,((46,(144,147)),119))),((135,(((56,((((70,68),79),(43,(8,9))),107)),(156,154)),((48,90),110))),105))),(((((((16,27),13),58),150),(100,60)),((((20,(73,15)),(61,98)),(155,(((121,(131,(44,76))),((160,151),74)),30))),((82,96),(45,((((83,87),(129,50)),((125,124),(66,2))),((115,(126,108)),67)))))),((((59,18),((93,25),11)),65),(((116,((139,(112,109)),((40,12),51))),((102,((113,(148,142)),(80,49))),(((149,(130,138)),127),101))),((141,120),91)))));
(((((((34,18),97),70),(19,119)),(156,135)),((((125,138),11),((45,(107,110)),67)),(136,100))),(((((((96,(158,59)),(((((95,88),26),((25,21),71)),111),(55,30))),(((((((48,10),89),153),(152,(140,127))),((((73,68),56),((85,(63,46)),(115,(76,91)))),77)),(61,((((62,6),94),147),146))),(((29,((144,154),129)),(79,(7,86))),((84,((((32,4),3),122),(121,126))),(123,130))))),(((131,27),(((((90,98),81),24),(143,22)),(99,14))),((150,(49,83)),((82,92),78)))),((((118,114),8),15),(((((51,2),60),((((160,142),(137,(1,37))),148),28)),((151,(57,17)),(65,117))),((((101,109),(124,132)),(((102,128),52),159)),(113,103))))),(((108,((47,53),39)),157),(((((75,72),(36,87)),(35,(5,40))),((74,139),(64,(((149,20),104),(155,(9,58)))))),(145,(133,134))))),((141,(((116,(105,120)),((31,(50,23)),(69,(16,44)))),80)),(((106,13),(42,(54,41))),(((112,(93,(12,33))),66),(38,43))))));
#x treedecomp [315,[[156,255,328],[162,163,164,165,166,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,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,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,359,360,361,362,363,364,365,366,367,368,369,370,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,403,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],[1,180,420],[2,290,414],[3,203,387],[4,214,388],[5,201,446],[6,235,375],[7,200,382],[8,254,408],[9,254,454],[10,217,359],[11,298,331],[12,307,477],[13,263,470],[14,199,400],[15,270,407],[16,264,467],[17,185,423],[18,297,326],[19,189,327],[20,269,452],[21,167,351],[22,190,399],[23,239,465],[24,213,396],[25,299,351],[26,218,348],[27,264,393],[28,193,415],[29,201,378],[30,273,352],[31,224,464],[32,210,388],[33,169,477],[34,217,326],[35,234,445],[36,192,444],[37,175,420],[38,224,478],[39,214,437],[40,307,446],[41,176,472],[42,239,471],[43,253,478],[44,277,467],[45,282,334],[46,242,368],[47,218,438],[48,257,359],[49,313,403],[50,287,465],[51,306,414],[52,230,431],[53,190,438],[54,186,472],[55,230,352],[56,248,364],[57,186,423],[58,262,454],[59,297,344],[60,265,413],[61,271,371],[62,240,375],[63,199,368],[64,202,449],[65,295,424],[66,290,474],[67,291,333],[68,252,365],[69,181,466],[70,252,324],[71,171,350],[72,209,443],[73,270,365],[74,278,448],[75,180,443],[76,277,370],[77,184,362],[78,235,404],[79,251,381],[80,313,459],[81,210,397],[82,281,405],[83,286,403],[84,182,384],[85,215,367],[86,171,382],[87,286,444],[88,192,349],[89,172,358],[90,257,398],[91,318,370],[92,196,405],[93,299,476],[94,182,374],[95,164,349],[96,281,343],[97,191,325],[98,271,398],[99,238,400],[100,265,336],[101,314,428],[102,309,432],[103,223,433],[104,237,451],[105,244,462],[106,188,470],[107,249,335],[108,293,436],[109,305,428],[110,256,335],[111,197,346],[112,305,475],[113,311,433],[114,232,409],[115,292,369],[116,302,461],[117,237,424],[118,208,409],[119,241,327],[120,319,462],[121,275,389],[122,168,386],[123,225,390],[124,289,429],[125,289,332],[126,293,389],[127,315,361],[128,211,432],[129,287,379],[130,317,390],[131,276,393],[132,170,429],[133,172,456],[134,208,456],[135,245,328],[136,220,336],[137,169,419],[138,317,332],[139,304,448],[140,225,361],[141,319,458],[142,312,418],[143,211,399],[144,243,380],[145,177,455],[146,222,372],[147,243,373],[148,312,416],[149,316,452],[150,261,402],[151,279,422],[152,231,360],[153,203,357],[154,255,380],[155,272,453],[157,223,435],[158,231,344],[159,195,430],[160,279,418],[161,162,258],[320,321,337]],[[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],[2,123],[2,124],[2,125],[2,126],[2,127],[2,128],[2,129],[2,130],[2,131],[2,132],[2,133],[2,134],[2,135],[2,136],[2,137],[2,138],[2,139],[2,140],[2,141],[2,142],[2,143],[2,144],[2,145],[2,146],[2,147],[2,148],[2,149],[2,150],[2,151],[2,152],[2,153],[2,154],[2,155],[2,156],[2,157],[2,158],[2,159],[2,160],[2,161],[2,162],[2,163]]]