#s idigest "0422642513894e901ff86b444a2f9baf"
#p 2 160
#s name "p26-heuristic-pub021"
((((((28,23),(((32,(77,113)),95),((72,(18,62)),150))),86),((141,147),61)),(((((5,(60,(8,70))),(29,2)),((((107,104),17),((13,124),(119,73))),((92,99),31))),((((30,157),(142,((11,4),(65,19)))),((42,116),((26,(((149,117),(66,44)),((131,128),136))),(9,58)))),(((105,(10,33)),(12,90)),53))),((((154,109),91),((((151,108),158),126),(81,((148,140),(121,106))))),(((((127,123),88),(98,(103,146))),80),(125,((68,(78,(63,69))),15)))))),(((((((((79,6),(16,14)),3),24),(38,21)),(54,52)),(((110,118),57),(156,(59,49)))),(((160,46),((55,22),96)),(137,(((((93,130),(97,84)),(((75,((101,152),115)),((155,(41,51)),(133,102))),(20,1))),((((34,135),153),(((((134,(138,94)),43),((159,(83,(89,100))),144)),(82,((122,(27,111)),76))),(((36,((145,143),129)),114),85))),(((39,74),(45,139)),(64,((56,35),(50,(37,25))))))),(7,(71,67)))))),((((120,112),((132,87),47)),40),48)));
(((((9,(70,106)),73),(156,((42,(52,45)),(((157,110),((113,115),81)),124)))),(((27,(148,111)),155),((((((152,149),55),(((120,101),154),136)),(((147,132),(48,43)),(151,((91,84),56)))),(((30,31),118),((((60,(((11,12),(117,139)),(17,80))),57),(94,144)),(((112,((150,116),67)),(1,41)),140)))),(((74,(46,53)),(58,44)),((((95,121),2),((35,((100,(99,83)),98)),39)),135))))),(((((75,71),92),(38,(36,(61,62)))),(((((141,14),((32,(((19,8),76),(103,108))),(93,((13,68),(146,107))))),((159,(85,(16,((66,(7,63)),5)))),(((((4,(78,64)),(109,114)),126),((28,(145,(160,(127,137)))),(((47,59),10),6))),((77,88),(122,(79,72)))))),((125,128),((49,(54,20)),(89,(138,87))))),(131,51))),(((((((22,134),130),(90,3)),((97,(129,86)),33)),37),((34,15),23)),(((18,((25,24),((26,123),50))),(((104,(105,119)),96),((143,(158,133)),(142,153)))),((82,65),((102,69),(40,(21,29))))))));
#x treedecomp [314,[[156,256,326],[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,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,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,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],[1,279,373],[296,297,337,338],[27,297,337],[111,297,338],[2,183,381],[3,247,452],[4,199,422],[5,180,415],[6,249,430],[7,312,417],[8,182,405],[9,211,324],[10,215,431],[11,199,364],[12,216,364],[13,189,409],[14,250,400],[15,237,457],[16,250,414],[17,186,366],[18,173,460],[19,200,405],[20,279,441],[21,251,478],[22,262,451],[23,166,456],[24,246,462],[25,311,462],[26,204,464],[28,166,426],[29,183,478],[30,196,357],[31,191,357],[32,169,402],[33,215,453],[34,283,457],[35,309,384],[36,300,394],[37,311,447],[38,251,393],[39,305,383],[40,315,477],[41,277,373],[42,202,328],[43,287,351],[44,208,378],[45,306,329],[46,260,377],[47,318,432],[48,314,351],[49,257,440],[50,310,463],[51,277,444],[52,252,329],[53,212,377],[54,252,441],[55,262,343],[56,309,353],[57,254,360],[58,211,378],[59,257,432],[60,181,361],[61,174,395],[62,173,395],[63,240,417],[64,307,423],[65,200,474],[66,208,416],[67,313,371],[68,238,409],[69,240,476],[70,182,325],[71,313,392],[72,172,436],[73,190,323],[74,305,376],[75,272,392],[76,295,404],[77,170,434],[78,239,423],[79,249,436],[80,230,366],[81,225,333],[82,294,474],[83,292,387],[84,269,354],[85,298,413],[86,164,455],[87,319,443],[88,232,434],[89,293,442],[90,216,452],[91,219,354],[92,192,391],[93,268,407],[94,289,367],[95,168,382],[96,261,466],[97,269,454],[98,234,385],[99,192,387],[100,293,386],[101,274,347],[102,278,476],[103,235,406],[104,187,467],[105,214,468],[106,228,325],[107,187,410],[108,224,406],[109,220,424],[110,255,332],[112,317,370],[113,170,334],[114,299,424],[115,273,334],[116,202,372],[117,207,365],[118,255,356],[119,190,468],[120,317,347],[121,228,382],[122,296,435],[123,233,464],[124,189,330],[125,236,438],[126,222,420],[127,233,429],[128,210,438],[129,301,455],[130,268,450],[131,210,444],[132,319,350],[133,278,471],[134,288,451],[135,283,379],[136,209,345],[137,263,429],[138,289,443],[139,306,365],[140,227,368],[141,175,400],[142,197,472],[143,302,470],[144,290,367],[145,302,427],[146,235,410],[147,175,350],[148,227,338],[149,207,344],[150,171,372],[151,224,352],[152,274,344],[153,282,472],[154,220,346],[155,276,336],[157,196,332],[158,223,471],[159,291,412],[160,260,428],[161,162,241],[320,321,388]],[[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],[2,154],[2,155],[2,156],[2,157],[2,158],[2,159],[2,160],[2,161],[2,162],[2,163],[2,164],[4,5],[4,6]]]