#s idigest "04c059b3efaceb69e07551db7ef4852e"
#a 1.04 4
#p 2 150
#s name "p26-lower-pub046"
((((((87,(118,71)),((((134,126),(7,(119,121))),(22,11)),((144,142),98))),((125,62),((40,(79,77)),((128,8),36)))),(92,(64,111))),(88,((((((101,105),(112,104)),((75,(5,148)),(89,1))),(131,82)),(((((((143,146),((37,(115,(100,96))),107)),(((((55,106),99),(29,63)),(145,(60,57))),(((48,74),(65,113)),129))),(94,95)),(108,(124,(68,14)))),(((((83,81),((130,127),132)),((18,140),116)),(16,4)),(((61,135),149),(44,66)))),((133,(70,27)),84))),((((((((42,45),(((12,15),21),25)),19),(138,102)),17),((52,109),(139,150))),(51,((54,((103,141),((136,137),35))),2))),((20,56),((9,78),114)))))),((((123,((58,(47,46)),38)),((85,30),122)),(((((86,90),147),(23,(((13,(67,43)),76),28))),(41,(120,59))),(80,((49,50),69)))),(((((24,((73,32),31)),39),((33,72),34)),((53,110),(3,(117,((93,(6,10)),91))))),(97,26))));
(((((((94,91),95),((79,76),(112,(9,93)))),((30,28),(((50,121),(47,(84,(44,41)))),137))),(((53,52),(146,17)),((((39,(3,((((21,22),((142,141),((88,100),6))),38),(136,(29,96))))),((139,(129,40)),(149,(20,87)))),(92,135)),(133,61)))),((58,19),((113,36),126))),((((35,((122,33),(106,117))),55),2),((65,((((((7,130),(119,32)),(((145,132),(((46,66),97),109)),((57,5),60))),((((143,(62,(131,134))),37),((((((148,(86,56)),42),(67,12)),107),((1,(70,120)),((72,48),89))),((45,(49,13)),73))),((51,((4,138),16)),((8,82),108)))),(((((59,18),(26,(83,78))),((85,43),((69,(75,71)),(23,(14,(25,24)))))),((((68,(123,125)),(90,150)),144),(80,77))),(124,110))),(((147,(115,64)),31),(54,98)))),((((105,128),((10,127),140)),(116,((114,((((103,(101,104)),102),111),(((11,(118,15)),(63,99)),27))),(74,34)))),81))));
#x treedecomp [292,[[146,195,322],[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,208,209,210,211,213,214,215,216,217,218,219,220,221,222,223,224,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,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,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,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,187,388],[206,207,371,372],[57,207,372],[60,207,371],[192,212,305,306],[94,212,306],[95,212,305],[217,225,397,398],[4,225,398],[16,225,397],[2,249,350],[3,294,327],[5,186,372],[6,298,334],[7,162,363],[8,173,400],[9,258,310],[10,298,434],[11,164,445],[12,243,386],[13,276,394],[14,215,414],[15,243,446],[17,236,322],[18,224,405],[19,238,346],[20,256,342],[21,242,331],[22,164,331],[23,273,413],[24,287,415],[25,241,415],[26,299,406],[27,232,443],[28,274,312],[29,205,337],[30,267,312],[31,288,425],[32,289,364],[33,291,354],[34,290,448],[35,253,352],[36,172,348],[37,197,375],[38,263,329],[39,286,326],[40,170,340],[41,278,318],[42,240,383],[43,277,409],[44,229,318],[45,240,393],[46,265,370],[47,265,316],[48,210,391],[49,282,394],[50,282,315],[51,248,396],[52,246,321],[53,293,321],[54,250,428],[55,204,351],[56,256,385],[58,264,346],[59,279,405],[61,228,344],[62,168,377],[63,205,447],[64,175,427],[65,211,357],[66,229,370],[67,277,386],[68,215,419],[69,281,411],[70,232,389],[71,157,412],[72,291,391],[73,289,392],[74,210,448],[75,185,412],[76,275,308],[77,171,422],[78,258,407],[79,171,308],[80,280,422],[81,220,429],[82,188,400],[83,220,407],[84,230,317],[85,267,409],[86,272,385],[87,156,342],[88,176,335],[89,187,390],[90,272,421],[91,296,306],[92,174,343],[93,297,310],[96,199,337],[97,299,369],[98,165,428],[99,203,447],[100,199,335],[101,182,442],[102,244,440],[103,252,441],[104,183,442],[105,182,432],[106,204,355],[107,196,381],[108,213,399],[109,246,368],[110,293,423],[111,175,439],[112,183,309],[113,211,348],[114,257,437],[115,198,427],[116,223,435],[117,295,355],[118,157,446],[119,163,364],[120,279,389],[121,163,315],[122,266,354],[123,262,420],[124,214,423],[125,168,420],[126,161,347],[127,222,434],[128,173,432],[129,208,340],[130,222,363],[131,188,378],[132,221,367],[133,231,344],[134,161,378],[135,228,343],[136,254,336],[137,254,313],[138,244,398],[139,247,339],[140,224,433],[141,252,333],[142,166,333],[143,195,376],[144,166,417],[145,206,367],[147,271,426],[148,186,384],[149,227,341],[150,247,421],[151,152,259],[300,301,349]],[[1,2],[2,3],[2,4],[2,7],[2,10],[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],[2,154],[2,155],[2,156],[4,5],[4,6],[7,8],[7,9],[10,11],[10,12]]]