#s idigest "037fbedcb4bb43a8a6ecf629cd9f8de7"
#p 2 100
#s name "p26-exact-pub033"
((((53,51),(90,(75,22))),46),(((((69,(36,(87,65))),((50,25),((77,(40,(18,59))),(49,73)))),74),(70,55)),(((31,48),((60,(((((78,26),21),((93,19),100)),(((98,2),61),38)),(((((((((((27,(29,39)),23),91),6),((84,54),(37,76))),((13,88),((10,9),((34,8),56)))),(((33,11),(((57,(95,(((71,(((92,68),32),(97,58))),5),82))),3),(89,72))),(((86,80),30),((24,15),(12,7))))),79),4),(((17,67),(96,(85,(44,64)))),(((47,(94,1)),((41,(62,(43,35))),42)),((81,(45,63)),(28,14))))),((66,(52,20)),99)))),83)),16)));
(((((66,2),(50,(1,22))),21),(74,(59,20))),(((((75,(73,(99,3))),((52,39),(72,45))),64),86),((((4,54),((34,30),6)),(((62,19),((35,(13,((88,43),(33,((87,81),(44,((11,93),7))))))),(((83,14),(((17,60),((70,63),((((((95,12),28),68),((78,(40,(92,57))),18)),((46,36),((16,(90,48)),((32,69),100)))),((((77,(25,(((((84,26),80),(67,15)),10),65))),98),((47,91),96)),((((9,38),55),56),(82,((31,94),8))))))),((49,42),5))),27))),(((89,76),((53,((41,(97,(79,((23,37),51)))),61)),85)),71))),((29,24),58))));
#x treedecomp [195,[[97,171,293],[102,103,104,105,106,107,108,109,110,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,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,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,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],[1,188,206],[2,136,204],[3,162,215],[4,139,222],[5,166,284],[6,144,223],[7,178,237],[8,157,282],[9,155,280],[10,155,270],[11,160,238],[12,178,252],[13,153,230],[14,196,241],[15,177,274],[16,122,260],[17,181,244],[18,119,253],[19,133,227],[20,199,208],[21,130,202],[22,106,206],[23,146,296],[24,177,298],[25,115,268],[26,131,273],[27,147,239],[28,196,251],[29,148,298],[30,174,224],[31,124,283],[32,169,263],[33,160,233],[34,157,224],[35,192,229],[36,112,258],[37,151,296],[38,134,280],[39,148,217],[40,118,255],[41,190,292],[42,189,285],[43,192,232],[44,184,236],[45,195,218],[46,102,258],[47,187,276],[48,124,261],[49,120,285],[50,115,205],[51,104,295],[52,199,217],[53,104,290],[54,150,222],[55,121,279],[56,156,278],[57,163,256],[58,171,297],[59,119,208],[60,126,244],[61,135,291],[62,191,227],[63,195,246],[64,184,211],[65,113,269],[66,198,204],[67,181,274],[68,170,250],[69,111,263],[70,121,246],[71,167,286],[72,172,218],[73,120,214],[74,109,207],[75,106,213],[76,151,288],[77,117,267],[78,131,254],[79,140,294],[80,175,272],[81,194,235],[82,165,281],[83,125,241],[84,150,273],[85,183,289],[86,175,210],[87,113,235],[88,153,232],[89,172,288],[90,105,261],[91,145,276],[92,170,256],[93,133,238],[94,188,283],[95,164,252],[96,182,275],[98,136,266],[99,197,215],[100,132,262],[101,102,107],[200,201,209]],[[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]]]