#s idigest "040c716785b94a4a17e378bf9bf003fd"
#a 1.20 6
#p 2 146
#s name "p26-lower-pub055"
(((((((45,46),(((48,39),50),(41,38))),(42,49)),((((((82,57),((115,3),127)),73),((((20,2),(131,(91,121))),86),122)),(((((((130,124),53),68),26),(52,145)),85),((14,(((118,65),60),69)),95))),((47,(43,40)),51))),((((22,63),27),61),(94,(117,88)))),(((76,18),(((((29,126),137),((97,92),120)),((107,35),(19,17))),(((1,8),(136,87)),((((((58,132),(144,71)),(133,((109,((114,28),93)),138))),(((99,(98,11)),123),((146,(112,(31,(72,96)))),(((142,66),143),33)))),80),(((((7,(54,16)),(100,30)),((125,70),21)),56),59))))),((113,37),((((74,104),13),67),(108,105))))),(((((((106,84),((81,55),135)),((((119,78),34),(139,(90,75))),15)),(129,102)),(((134,(((128,(79,62)),44),141)),((((4,83),111),64),(36,77))),(101,(12,5)))),10),((23,(24,(116,(32,110)))),((25,((89,(103,140)),9)),6))));
(((32,(52,((118,124),((53,(69,130)),(68,60))))),((((((10,140),(103,89)),((25,9),(23,(37,113)))),(13,74)),((117,88),86)),(((2,20),(((121,131),(91,61)),((63,22),27))),((64,78),119)))),((40,43),(((107,(87,136)),((((((17,35),19),((102,(18,(76,129))),(((81,55),(106,84)),135))),(((34,((44,79),(141,(128,62)))),((134,(4,83)),111)),(139,((101,(75,(36,77))),(15,((5,12),90)))))),((73,((115,(57,82)),3)),127)),(42,((((39,50),(48,49)),38),(41,(46,45)))))),((51,47),(((85,(14,(95,((65,26),145)))),(((67,104),(116,110)),(6,(105,(108,24))))),(94,((((138,59),((31,56),146)),((((8,1),(((((7,(((98,11),99),21)),(70,125)),123),((96,72),112)),(54,16))),80),((33,143),((122,(109,(28,(93,114)))),((((71,(58,144)),133),132),((100,30),(66,142))))))),((137,(126,29)),((97,92),120)))))))));
#x treedecomp [176,[[280,363,364],[148,149,150,159,160,161,167,168,169,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,189,190,193,195,196,198,199,205,206,208,209,212,213,214,215,219,220,224,225,228,229,230,231,233,234,236,237,238,239,240,243,245,247,248,249,250,252,253,254,255,256,261,262,263,265,266,267,268,269,270,275,276,280,282,283,284,285,286,287,288,289,290,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,309,310,311,313,314,316,317,319,320,322,325,326,327,329,330,331,333,334,335,336,337,339,340,341,342,347,348,349,354,355,357,358,359,360,362,363,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,405,406,407,408,409,410,414,417,418,419,420,424,425,429],[209,403,404],[209,210,404],[8,210,404],[1,210,404],[169,171,172,320,321,322],[91,172,322],[121,172,321],[131,171,321],[196,197,341,342],[18,197,341],[76,197,342],[247,251,392,393],[105,251,392],[108,251,393],[263,264,325,326],[78,264,326],[119,264,325],[276,277,354,355],[111,277,354],[277,355,356],[277,278,356],[4,278,356],[83,278,356],[290,291,306,307,308],[89,290,308],[103,291,308],[140,291,307],[205,206,337,338],[205,207,337,338],[17,207,338],[19,207,337],[35,206,338],[215,219,425,426],[215,216,217,425,426,427],[216,217,427,428],[216,218,427,428],[71,218,427],[144,218,428],[58,217,428],[132,217,425],[133,219,426],[6,287,391],[7,240,409],[9,289,310],[10,253,307],[13,249,313],[14,182,383],[15,261,362],[21,243,410],[23,283,311],[24,284,393],[25,288,310],[26,176,386],[31,231,400],[32,286,294],[33,233,418],[34,263,349],[47,187,379],[51,186,379],[52,180,295],[53,178,299],[56,237,400],[59,236,398],[60,184,301],[61,190,322],[64,276,326],[65,185,386],[67,248,389],[68,177,301],[69,183,300],[74,250,313],[75,266,360],[80,213,402],[85,174,382],[86,168,314],[90,266,363],[94,193,394],[95,181,384],[101,280,359],[102,267,340],[104,250,389],[107,206,331],[110,286,390],[112,230,414],[116,285,390],[118,185,297],[122,167,420],[123,225,407],[124,179,297],[129,267,342],[130,179,300],[134,270,355],[138,220,398],[139,265,357],[143,234,418],[145,180,385],[146,229,399],[147,148,252],[292,293,327],[245,311,312],[245,246,312],[37,246,312],[113,246,312],[193,314,315],[193,194,315],[88,194,315],[117,194,315],[169,317,318],[169,170,318],[2,170,318],[20,170,318],[190,319,323],[190,191,323],[27,191,323],[191,323,324],[191,192,324],[22,192,324],[63,192,324],[187,327,328],[187,188,328],[40,188,328],[43,188,328],[209,331,332],[209,211,332],[87,211,332],[136,211,332],[256,339,343],[256,257,343],[257,259,343,344],[135,259,343],[259,344,345],[259,260,345],[55,260,345],[81,260,345],[257,344,346],[257,258,346],[84,258,346],[106,258,346],[270,349,350],[270,271,350],[271,272,273,274,350,351,352,353],[44,272,351],[62,274,353],[79,274,351],[128,273,353],[141,271,352],[275,360,361],[275,279,361],[36,279,361],[77,279,361],[161,334,365],[161,162,365],[162,163,165,365,366,367],[163,165,367,368],[165,166,367,368],[3,166,367],[115,166,368],[163,368,369],[163,164,369],[57,164,369],[82,164,369],[73,162,366],[127,165,365],[150,333,370],[150,151,370],[151,152,154,157,158,370,371,372,373,375,376],[154,155,156,373,374,375],[39,156,374],[48,156,375],[50,155,374],[38,157,372],[41,157,376],[42,158,370],[49,158,375],[152,376,377],[152,153,377],[45,153,377],[46,153,377],[225,410,411],[225,226,411],[99,226,411],[226,411,412],[226,227,412],[11,227,412],[98,227,412],[243,408,413],[243,244,413],[70,244,413],[125,244,413],[231,414,415],[231,232,415],[72,232,415],[96,232,415],[240,405,416],[240,241,416],[16,241,416],[54,241,416],[220,420,421],[220,221,421],[109,221,421],[221,421,422],[221,222,422],[222,223,422,423],[28,223,422],[93,222,423],[114,223,423],[239,429,430],[239,242,430],[30,242,430],[100,242,430],[234,429,431],[234,235,431],[66,235,431],[142,235,431],[199,395,432],[199,200,432],[200,432,433],[200,201,433],[137,201,433],[201,433,434],[201,202,434],[29,202,434],[126,202,434],[200,432,435],[200,203,435],[120,203,435],[203,435,436],[203,204,436],[92,204,436],[97,204,436],[280,281,364],[5,281,364],[12,281,364]],[[1,2],[1,233],[2,3],[2,7],[2,11],[2,14],[2,17],[2,20],[2,26],[2,30],[2,35],[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,106],[2,110],[2,114],[2,121],[2,125],[2,129],[2,141],[2,149],[2,153],[2,166],[2,181],[2,188],[2,192],[2,196],[2,200],[2,209],[2,213],[2,217],[3,4],[4,5],[5,6],[7,8],[7,9],[7,10],[11,12],[11,13],[14,15],[14,16],[17,18],[17,19],[20,21],[20,22],[22,23],[23,24],[24,25],[26,27],[26,28],[26,29],[30,31],[30,34],[31,32],[31,33],[35,36],[35,43],[36,37],[36,42],[37,38],[37,41],[38,39],[38,40],[102,103],[103,104],[104,105],[106,107],[107,108],[108,109],[110,111],[111,112],[112,113],[114,115],[115,116],[116,117],[117,118],[118,119],[119,120],[121,122],[122,123],[123,124],[125,126],[126,127],[127,128],[129,130],[130,131],[131,132],[131,133],[131,137],[133,134],[134,135],[135,136],[137,138],[138,139],[139,140],[141,142],[142,143],[143,144],[143,145],[143,146],[143,147],[143,148],[149,150],[150,151],[151,152],[153,154],[154,155],[155,156],[155,164],[155,165],[156,157],[156,160],[157,158],[157,159],[160,161],[161,162],[162,163],[166,167],[167,168],[168,169],[168,173],[168,174],[168,175],[168,176],[168,177],[169,170],[169,171],[169,172],[177,178],[178,179],[179,180],[181,182],[182,183],[183,184],[184,185],[185,186],[186,187],[188,189],[189,190],[190,191],[192,193],[193,194],[194,195],[196,197],[197,198],[198,199],[200,201],[201,202],[202,203],[203,204],[204,205],[205,206],[205,207],[205,208],[209,210],[210,211],[211,212],[213,214],[214,215],[215,216],[217,218],[218,219],[219,220],[219,226],[220,221],[221,222],[222,223],[223,224],[224,225],[226,227],[227,228],[228,229],[229,230],[230,231],[231,232],[233,234],[234,235]]]