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