#s idigest "04dc1ba94eb4ae7d3afeec8126b27de8"
#p 2 200
#s name "p26-exact-pub056"
(((((((182,((85,102),(152,195))),(((((110,109),98),(158,185)),78),74)),((((107,32),((77,(68,116)),139)),(175,19)),(103,147))),((82,(194,153)),(((((73,129),((((193,154),150),168),(27,(((48,47),7),(136,135))))),60),(66,(97,149))),(29,(((144,143),(72,23)),181))))),((((124,(86,101)),((79,71),(((145,177),157),(167,179)))),(((81,(44,130)),((142,173),93)),((151,127),((((13,118),108),((((53,155),24),20),128)),104)))),(95,(((((56,45),54),106),((170,((199,(76,3)),((((200,92),(137,140)),186),(((52,70),57),((184,141),197))))),((28,((((65,12),(21,(64,63))),96),(50,148))),((62,38),90)))),((55,87),((192,160),156)))))),((((9,180),((25,26),178)),((80,(132,8)),(187,(99,100)))),((((191,((46,(163,171)),89)),115),22),((((164,43),(138,91)),(((112,35),126),(((69,41),134),51))),((111,18),(125,123)))))),(((((((105,37),33),59),((42,146),((113,6),(49,120)))),(122,((17,75),(((188,161),((40,39),(169,196))),(183,198))))),(34,((16,((((121,(176,131)),(((162,189),133),((119,31),5))),(((117,30),((159,172),190)),(88,(114,15)))),(10,4))),2))),((11,(((((84,58),14),(83,36)),(94,61)),67)),((166,165),(1,174)))));
((((29,((80,(62,61)),155)),((((60,74),54),((15,(84,83)),(149,193))),((((((98,(158,(141,144))),95),((58,20),131)),(((191,(21,40)),97),(152,165))),((100,23),(160,(171,(134,133))))),((177,((19,72),((92,(102,86)),(197,((((2,136),(153,198)),3),(161,169)))))),(185,142))))),(((103,(176,174)),(46,130)),(((1,(196,168)),(121,(9,8))),((115,22),(76,(37,59)))))),((((52,((118,69),(35,57))),170),(148,(((36,156),94),105))),((((((((111,(14,13)),(85,75)),(43,((((90,82),((4,((137,143),172)),(50,49))),((109,126),(114,30))),65))),((((56,147),(((120,119),44),(159,(42,45)))),((73,27),(((163,(189,151)),(127,93)),(146,187)))),(((((112,5),77),(((67,96),104),16)),((47,48),123)),((157,(116,101)),((((81,66),((200,89),79)),(99,18)),122))))),(((139,140),6),110)),((((10,164),182),(38,91)),(71,7))),((((((53,(88,113)),28),(179,173)),((125,68),(((70,41),129),(128,(25,124))))),((117,(145,78)),(31,32))),((166,190),(11,(178,162))))),((((55,(195,26)),63),(39,((((17,(((192,138),194),180)),((175,150),(186,184))),181),183))),((199,132),(((51,(167,188)),((64,33),((((34,106),12),87),((108,107),24)))),(154,135)))))));
#x treedecomp [393,[[123,344,524],[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,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,300,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,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,449,450,451,452,453,454,455,456,457,458,459,460,461,462,463,464,465,466,467,468,469,470,471,472,473,474,475,476,477,478,479,480,481,482,483,484,485,486,487,488,489,490,491,492,493,494,495,496,497,498,499,500,501,502,503,504,505,506,507,508,509,510,511,512,513,514,515,516,517,518,519,520,521,522,523,524,526,527,528,529,530,531,532,533,534,535,536,537,538,539,540,541,542,543,544,545,546,547,548,549,550,551,552,553,554,555,556,557,558,559,560,561,562,563,564,565,566,567,568,569,570,571,572,573,574,575,576,577,578,579,580,581,582,583,584,585,586,587,588,589,590,591,592,593,594,595,596,597,598],[1,399,457],[2,368,446],[3,287,444],[4,387,492],[5,378,520],[6,355,537],[7,240,544],[8,321,460],[9,316,460],[10,387,542],[11,389,566],[12,303,594],[13,272,484],[14,393,484],[15,386,412],[16,369,521],[17,359,577],[18,343,535],[19,224,438],[20,274,424],[21,304,428],[22,325,462],[23,249,431],[24,275,596],[25,318,559],[26,318,572],[27,238,509],[28,299,549],[29,245,403],[30,382,498],[31,379,563],[32,220,563],[33,350,591],[34,367,595],[35,338,471],[36,395,475],[37,351,464],[38,308,543],[39,364,573],[40,364,428],[41,341,557],[42,353,507],[43,334,486],[44,264,504],[45,282,507],[46,329,454],[49,356,495],[50,306,495],[51,339,588],[52,295,468],[53,276,550],[54,281,409],[55,310,571],[56,282,502],[57,294,471],[58,394,424],[59,349,464],[60,231,410],[61,396,406],[62,308,406],[63,305,570],[64,305,591],[65,303,487],[66,243,532],[67,390,523],[68,223,554],[69,341,470],[70,295,557],[71,256,544],[72,249,438],[73,233,509],[74,211,410],[75,359,485],[76,287,463],[77,222,519],[78,212,562],[79,256,533],[80,320,405],[81,263,532],[82,227,490],[83,395,413],[84,394,413],[85,209,485],[86,254,441],[87,310,593],[88,385,551],[89,328,534],[90,307,490],[91,335,543],[92,291,440],[93,265,514],[94,396,474],[95,277,419],[96,301,523],[97,244,426],[98,214,420],[99,323,535],[100,323,431],[101,254,528],[102,209,441],[103,225,452],[104,269,522],[105,351,473],[106,280,595],[107,220,597],[108,271,597],[109,215,497],[110,215,536],[111,343,483],[112,338,520],[113,355,551],[114,386,498],[115,326,462],[116,223,528],[117,382,561],[118,272,470],[119,379,505],[120,356,505],[121,373,459],[122,357,529],[124,253,559],[125,344,554],[126,337,497],[127,268,514],[128,273,558],[129,233,556],[130,264,454],[131,374,423],[132,321,585],[133,376,434],[134,340,434],[135,242,598],[136,242,446],[137,292,494],[138,335,580],[139,221,538],[140,292,538],[141,297,422],[142,266,449],[143,248,494],[144,248,422],[145,259,562],[146,353,515],[147,225,502],[148,306,472],[149,244,414],[150,236,582],[151,268,513],[152,210,429],[153,228,447],[154,237,598],[155,276,404],[156,311,475],[157,258,527],[158,216,421],[159,384,506],[160,312,432],[161,362,448],[162,377,567],[163,330,512],[164,334,542],[165,398,429],[166,398,565],[167,260,589],[168,235,458],[169,365,448],[170,284,467],[171,330,433],[172,384,493],[173,266,552],[174,399,453],[175,224,582],[176,374,453],[177,259,436],[178,317,567],[179,260,552],[180,316,578],[181,246,575],[182,207,541],[183,366,574],[184,297,583],[185,216,449],[186,289,583],[187,322,515],[188,362,589],[189,377,513],[190,383,565],[191,327,427],[192,312,580],[193,237,414],[194,228,579],[195,210,572],[196,365,458],[197,296,442],[198,366,447],[199,286,585],[200,291,534],[201,202,345],[400,401,465],[240,524,525],[240,241,525],[47,241,525],[48,241,525]],[[1,2],[2,3],[2,4],[2,5],[2,6],[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],[2,154],[2,155],[2,156],[2,157],[2,158],[2,159],[2,160],[2,161],[2,162],[2,163],[2,164],[2,165],[2,166],[2,167],[2,168],[2,169],[2,170],[2,171],[2,172],[2,173],[2,174],[2,175],[2,176],[2,177],[2,178],[2,179],[2,180],[2,181],[2,182],[2,183],[2,184],[2,185],[2,186],[2,187],[2,188],[2,189],[2,190],[2,191],[2,192],[2,193],[2,194],[2,195],[2,196],[2,197],[2,198],[2,199],[2,200],[2,201],[2,202],[202,203],[203,204],[204,205]]]