#s idigest "03df8f4d4814133e080c762e3cdd77ca"
#p 2 100
#s name "p26-heuristic-pub081"
((((39,4),87),((((14,13),9),((47,48),(49,50))),(10,24))),(((31,72),((18,((64,33),68)),((3,11),92))),(15,((((((((88,27),22),65),(((8,7),98),32)),(41,91)),(((56,61),((36,(52,86)),71)),((2,26),35))),((((57,30),(((((28,12),17),23),(89,6)),((79,70),(42,34)))),(((29,53),75),(69,43))),94)),(((((((66,(19,63)),(90,60)),(((100,99),21),45)),((55,(85,84)),(83,76))),(((95,96),((97,74),(20,51))),(5,38))),(((((40,67),44),((54,16),80)),(((((81,82),77),78),62),46)),59)),((37,(1,(93,25))),(58,73)))))));
(((((42,(91,52)),((14,((9,2),(27,32))),(85,71))),((((21,48),1),6),(55,((31,((97,53),28)),(77,(78,84)))))),(((79,57),(25,43)),24)),(((((((99,(44,3)),(((81,63),39),(8,50))),(((30,56),(35,(37,((82,(87,(7,18))),73)))),(98,((46,29),(54,51))))),(((88,15),60),((23,22),(((74,62),(67,61)),34)))),((47,(4,41)),((((90,80),(20,(12,92))),38),((((16,89),86),(((70,75),72),13)),(96,(65,5)))))),((68,(76,((((93,94),(45,49)),((40,(10,(64,58))),17)),33))),(69,(((66,36),(19,83)),(11,26))))),((95,100),59)));
#x treedecomp [195,[[96,178,277],[102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,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,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,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],[1,197,214],[2,142,209],[3,121,234],[4,104,263],[5,182,278],[6,152,213],[7,133,247],[8,133,238],[9,107,209],[10,112,289],[11,121,296],[12,151,269],[13,108,274],[14,108,207],[15,122,254],[16,189,273],[17,150,287],[18,117,247],[19,167,295],[20,181,268],[21,170,215],[22,129,256],[23,149,256],[24,112,223],[25,198,226],[26,142,296],[27,130,210],[28,151,219],[29,158,250],[30,146,241],[31,115,218],[32,131,210],[33,119,282],[34,155,257],[35,141,242],[36,139,294],[37,196,243],[38,182,265],[39,104,236],[40,187,288],[41,134,263],[42,155,204],[43,159,226],[44,186,234],[45,169,286],[46,190,250],[47,110,262],[48,110,215],[49,111,286],[50,111,238],[51,181,251],[52,140,205],[53,158,220],[54,189,251],[55,173,216],[56,137,241],[57,146,225],[58,199,290],[59,183,297],[60,168,253],[61,137,260],[62,191,259],[63,167,237],[64,119,290],[65,128,278],[66,166,294],[67,187,260],[68,118,280],[69,159,291],[70,154,276],[71,138,211],[72,115,275],[73,199,244],[74,180,259],[75,157,276],[76,175,281],[77,193,221],[78,192,222],[79,154,225],[80,188,267],[81,194,237],[82,194,245],[83,175,295],[84,174,222],[85,174,211],[86,140,272],[87,103,246],[88,130,254],[89,152,273],[90,168,267],[91,134,205],[92,120,269],[93,198,285],[94,143,285],[95,178,298],[97,180,220],[98,132,248],[99,171,233],[100,171,298],[101,102,113],[200,201,227]],[[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]]]