#s idigest "02986e3e0ed27225069bfceca9e16086"
#p 2 60
#s name "p26-heuristic-pub078"
(((((13,10),(2,18)),60),((3,(34,11)),((9,15),(((42,55),((53,8),29)),((37,(17,22)),27))))),(((47,(((56,59),((36,24),(16,(19,6)))),(49,(32,57)))),((((50,43),41),35),46)),(((33,45),(((31,40),14),(1,(54,(((30,(25,(26,21))),5),(28,(23,4))))))),(((44,52),48),(((7,20),(39,12)),(38,(51,58)))))));
(((((((((50,21),(56,58)),(((48,(36,38)),(6,(12,19))),(9,35))),(22,3)),((((28,(59,15)),(32,(39,(26,(33,31))))),(((45,(14,5)),40),(23,25))),((1,20),(13,(41,57))))),(((((52,43),(44,51)),53),(34,42)),11)),24),(4,(46,49))),(((((47,55),27),29),((17,((10,7),37)),((60,(16,30)),(18,2)))),(54,8)));
#x treedecomp [112,[[60,63,175],[62,63,64,65,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,121,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,166,167,168,169,170,171,172,173,174,175,176,178],[1,102,153],[88,89,134,135],[6,89,134],[19,89,135],[3,68,137],[4,110,163],[5,105,150],[7,116,173],[8,76,178],[9,71,136],[10,65,173],[11,69,156],[12,117,135],[13,65,154],[14,100,150],[15,71,142],[16,88,176],[17,79,171],[20,116,153],[21,108,128],[22,79,137],[23,110,151],[24,87,122],[25,107,151],[26,108,145],[27,77,168],[28,109,141],[29,75,167],[30,106,176],[31,101,146],[32,91,143],[33,98,146],[34,69,162],[35,93,136],[36,87,133],[37,78,172],[38,118,133],[39,117,144],[40,101,148],[41,94,155],[42,74,162],[43,95,160],[44,113,161],[45,98,149],[46,92,164],[47,82,169],[48,112,132],[49,90,164],[50,95,128],[51,119,161],[52,113,160],[53,76,158],[54,103,178],[55,74,169],[56,85,129],[57,91,155],[58,119,129],[59,85,142],[61,62,80],[120,121,165],[64,174,177],[64,66,177],[2,66,177],[18,66,177]],[[1,2],[2,3],[2,4],[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],[4,5],[4,6],[63,64],[64,65],[65,66]]]