#s idigest "0400c73275ba08fd740cbb1fab24cb64"
#a 1.12 8
#p 2 150
#s name "p26-lower-pub047"
((((((57,(22,67)),(147,(71,138))),((34,(((21,12),(73,74)),((42,(46,(49,1))),(65,15)))),(((108,40),(149,5)),(32,24)))),((4,31),120)),((((109,(121,((107,(14,98)),58))),((117,((111,139),133)),66)),((((141,96),27),(89,75)),(114,124))),(((((37,72),50),(140,((84,(47,86)),(7,81)))),(85,52)),((82,(146,3)),(129,122))))),(((119,148),(80,132)),(((126,(((6,30),60),(26,((92,36),35)))),((41,(((106,103),(43,70)),17)),((23,(143,(144,135))),(45,2)))),(((((64,145),(115,104)),69),(((19,(53,16)),(54,131)),(112,128))),(((118,102),77),(((((134,8),((((((((68,56),33),10),(((90,150),63),93)),(((((125,((88,87),38)),(142,113)),(79,95)),(99,((44,39),136))),(83,94))),55),110),97)),(123,59)),(((100,(62,78)),61),(((130,101),18),76))),(((51,28),(13,11)),((((91,25),29),48),((127,116),((137,(20,105)),9))))))))));
(((((((((((70,5),((112,126),(99,140))),142),(44,55)),(((8,((10,72),(29,123))),((111,(91,102)),121)),39)),78),(40,88)),(128,((((113,100),(133,((130,101),103))),144),107))),(((120,104),119),(97,98))),((((59,60),109),(116,106)),((3,(((54,30),((58,14),(147,35))),((16,(129,((6,46),26))),(22,21)))),((((143,136),((132,82),131)),33),108)))),(((((51,138),((76,(19,124)),(((13,(12,9)),15),69))),((114,36),7)),(((((85,45),((11,1),(135,(4,117)))),(80,110)),((137,84),((37,(32,71)),(89,48)))),((41,((42,(((50,49),28),(86,52))),((139,141),127))),((((95,(24,79)),87),67),47)))),((((((122,118),((149,150),(18,(53,20)))),(((64,94),27),(43,73))),((((77,23),(((90,93),((63,62),145)),74)),(115,(125,134))),75)),(((34,17),2),((148,57),56))),((((146,96),105),(81,(((68,92),(31,38)),((25,61),83)))),(66,65)))));
#x treedecomp [292,[[150,265,414],[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,200,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,275,276,277,278,279,280,281,282,283,284,285,287,288,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,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,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,385,386,387,388,389,390,391,392,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,169,382],[268,274,405,406],[79,274,406],[95,274,405],[2,234,433],[3,209,343],[4,177,384],[5,174,310],[6,220,354],[7,205,374],[8,254,317],[9,297,373],[10,260,319],[11,290,382],[12,164,373],[13,290,372],[14,185,348],[15,170,371],[16,244,351],[17,226,434],[18,285,415],[19,243,369],[20,299,416],[21,164,355],[22,157,355],[23,231,424],[24,175,406],[25,294,447],[26,221,353],[27,192,418],[28,289,397],[29,293,320],[30,220,346],[31,177,445],[32,175,390],[33,261,357],[34,161,434],[35,222,349],[36,223,375],[37,200,389],[38,271,445],[39,277,315],[40,173,324],[41,225,393],[42,167,395],[43,229,420],[44,277,314],[45,234,380],[46,168,354],[47,204,402],[48,292,391],[49,169,398],[50,199,398],[51,289,366],[52,206,399],[53,244,416],[54,245,346],[55,257,314],[56,262,435],[57,156,436],[58,183,348],[59,279,340],[60,219,340],[61,281,447],[62,283,429],[63,264,429],[64,239,419],[65,170,448],[66,186,448],[67,157,403],[68,262,444],[69,237,370],[70,229,310],[71,159,390],[72,200,319],[73,165,420],[74,165,425],[75,194,421],[76,284,368],[77,248,424],[78,283,305],[80,214,385],[81,205,441],[82,208,361],[83,278,446],[84,203,387],[85,206,380],[86,204,399],[87,272,404],[88,272,324],[89,194,391],[90,265,427],[91,294,323],[92,223,444],[93,263,427],[94,278,419],[96,193,440],[97,255,336],[98,185,336],[99,275,313],[100,282,329],[102,249,323],[103,228,331],[104,240,335],[105,299,439],[106,228,341],[107,184,326],[108,173,356],[109,181,339],[110,256,385],[111,189,322],[112,246,312],[113,273,329],[114,195,375],[115,240,430],[116,296,341],[117,187,384],[118,249,412],[119,213,334],[120,176,335],[121,182,321],[122,210,412],[123,279,320],[124,195,369],[125,270,431],[126,217,312],[127,296,400],[128,246,325],[129,210,352],[131,245,360],[132,214,361],[133,188,330],[134,254,431],[135,233,383],[136,276,359],[137,298,387],[138,159,366],[139,189,401],[140,201,313],[141,193,401],[142,273,308],[143,232,359],[144,233,327],[145,239,428],[146,209,440],[147,158,349],[148,213,436],[149,174,414],[151,152,211],[300,301,362],[285,331,332],[285,286,332],[101,286,332],[130,286,332]],[[1,2],[2,3],[2,4],[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],[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],[2,140],[2,141],[2,142],[2,143],[2,144],[2,145],[2,146],[2,147],[2,148],[2,149],[2,150],[2,151],[2,152],[2,153],[4,5],[4,6],[153,154],[154,155],[155,156]]]