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