#s idigest "04ea800d414a3522c3441ceaa4aeffa1"
#a 1.05 4
#p 2 130
#s name "p26-lower-pub062"
(((19,(25,39)),(((((2,(1,6)),((((79,((((47,76),((82,45),(((90,54),(57,67)),((41,72),71)))),((43,((44,55),63)),((56,(48,61)),99))),((80,66),93))),((((((84,87),92),(78,73)),((75,(((83,(96,70)),85),(69,(50,62)))),52)),((81,88),(65,64))),((((97,53),((100,(68,((94,91),58))),74)),(((42,46),(89,77)),95)),((49,59),((98,51),(86,60)))))),((4,9),5)),((10,3),(8,7)))),((105,31),24)),(((((40,29),((117,113),(106,((11,15),26)))),36),(33,((37,(28,(127,((122,(123,((130,126),((129,(121,128)),124)))),125)))),12))),(((((20,17),103),(((((23,(120,118)),(111,(102,107))),101),112),34)),(116,119)),((32,38),114)))),((14,((104,(22,21)),110)),109))),(((13,18),16),((30,27),((108,35),115))));
((89,((((71,81),((70,(82,86)),((62,44),(85,93)))),(58,(45,47))),(((((96,(50,66)),(69,77)),95),(((((98,(100,79)),((((84,90),67),42),78)),59),((((88,(73,(68,53))),((55,41),((60,(92,91)),48))),(51,94)),(57,(72,80)))),(((52,((61,87),(83,74))),43),((75,56),46)))),((97,(49,(54,(76,63)))),(64,(65,99)))))),((((107,(111,35)),125),(((114,((21,(18,19)),101)),((((6,120),(9,1)),((27,((115,112),(113,109))),((116,((102,(110,103)),117)),(3,(28,(11,13)))))),118)),(4,((39,(14,126)),(29,34))))),((((16,15),10),((23,40),(7,8))),(((((105,(26,31)),(24,((12,32),(2,36)))),(119,(((33,37),(123,121)),((25,106),129)))),(104,(128,130))),((((127,38),30),(20,(17,124))),(122,((22,5),108)))))));
#x treedecomp [134,[[99,161,319],[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,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,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,320],[132,133,134,135,136,137,138,139,140,141,142,143,202,203,204,205,207,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,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,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,359,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],[1,140,335],[207,208,365,366],[31,208,366],[105,208,365],[235,236,384,385],[17,236,385],[20,236,384],[2,139,370],[3,205,346],[4,203,349],[5,202,388],[6,140,334],[9,203,335],[10,205,356],[11,218,348],[12,220,369],[13,255,348],[14,249,352],[15,218,357],[16,254,357],[18,255,330],[19,133,330],[21,252,329],[22,252,388],[23,241,359],[24,207,367],[25,134,377],[26,217,366],[27,257,337],[28,222,347],[29,213,353],[30,257,382],[32,247,369],[33,219,374],[34,237,353],[35,259,324],[36,211,370],[37,221,374],[38,247,383],[39,134,351],[40,213,359],[101,239,328],[102,244,344],[103,235,345],[104,251,378],[106,216,377],[107,244,323],[108,259,387],[109,248,340],[110,250,345],[111,243,324],[112,238,339],[113,215,340],[114,246,327],[115,258,339],[116,245,342],[117,215,343],[118,242,331],[119,245,371],[120,242,334],[121,231,375],[122,225,386],[123,226,375],[124,229,385],[125,224,322],[126,228,352],[127,223,383],[128,231,379],[129,230,376],[130,228,379],[131,132,253],[204,358,360],[204,206,360],[7,206,360],[8,206,360],[181,183,318,319],[64,183,318],[65,183,319],[41,156,298],[42,195,288],[43,158,306],[44,160,270],[45,150,273],[46,195,311],[47,148,273],[48,163,299],[49,198,315],[50,180,279],[51,200,302],[52,173,307],[53,187,296],[54,153,316],[55,160,298],[56,162,312],[57,154,303],[58,191,272],[59,198,283],[60,201,300],[61,163,309],[62,180,270],[63,159,317],[66,165,279],[67,154,289],[68,190,296],[69,179,280],[70,178,267],[71,155,265],[72,156,304],[73,172,295],[74,188,310],[75,174,312],[76,148,317],[77,196,280],[78,172,287],[79,144,286],[80,165,304],[81,182,265],[82,150,268],[83,177,310],[84,171,290],[85,176,271],[86,201,268],[87,171,309],[88,182,294],[89,196,261],[90,153,290],[91,192,301],[92,170,301],[93,164,271],[94,192,302],[95,193,276],[96,178,278],[97,187,314],[98,200,285],[100,189,286],[260,261,320]],[[1,2],[2,3],[2,79],[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],[3,4],[3,5],[3,8],[3,11],[3,12],[3,13],[3,14],[3,15],[3,16],[3,17],[3,18],[3,19],[3,20],[3,21],[3,22],[3,23],[3,24],[3,25],[3,26],[3,27],[3,28],[3,29],[3,30],[3,31],[3,32],[3,33],[3,34],[3,35],[3,36],[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],[5,6],[5,7],[8,9],[8,10],[75,76],[76,77],[77,78],[79,80],[79,81]]]