#s idigest "041e572a4a1aa58e7c8281638653ac36"
#p 2 160
#s name "p26-heuristic-pub073"
(((((((39,92),16),(49,((155,(15,19)),(90,25)))),(((81,96),(139,(124,63))),114)),(((77,20),(58,(1,8))),((87,64),160))),((23,((34,99),120)),((((38,(88,75)),21),(2,(146,(5,11)))),((107,(109,119)),(95,(117,89)))))),(((((149,(83,136)),(((22,80),84),(((29,128),((7,3),(51,44))),(103,(102,143))))),((71,148),(10,(35,(118,31))))),(((((((126,40),66),(26,60)),((85,33),113)),(74,110)),((((((((48,111),(65,55)),((57,54),104)),(((72,((132,137),152)),68),6)),159),((28,121),(153,(((130,131),45),56)))),((98,157),122)),((61,12),(151,18)))),(((((53,100),((27,(91,116)),43)),50),((142,158),145)),((123,97),(4,9))))),(((((115,78),156),((76,14),((13,(150,144)),(82,129)))),((((73,(24,(41,(135,125)))),154),17),(47,((59,46),(((108,112),(140,(37,42))),70))))),((((147,141),((30,134),(67,(((101,106),127),((94,52),62))))),(79,86)),((((32,93),(133,138)),(69,105)),36)))));
((((((((97,(86,90)),(79,51)),74),((((131,(31,57)),24),(33,144)),(159,(50,((83,77),88))))),(156,((69,114),((129,34),(73,132))))),(((((((100,109),(39,85)),(45,35)),((76,(61,62)),(93,139))),(((116,92),(123,(147,25))),158)),((((107,120),124),((11,1),19)),(((71,((113,111),59)),(135,(121,36))),(18,9)))),(((42,(54,(56,(127,70)))),(96,141)),(138,((101,(118,98)),155))))),(((((2,3),(130,125)),(((94,122),12),(148,145))),(((13,8),(((67,126),102),(91,29))),82)),((157,(30,65)),(((((153,154),(((60,27),(87,142)),23)),((((16,(106,49)),((((26,40),41),52),134)),((53,75),(15,146))),((((95,7),4),(112,110)),28))),((63,(((37,(48,(108,21))),(140,(5,66))),(81,117))),(((((150,160),151),(143,128)),(105,(136,89))),(78,(20,6))))),(((103,(80,99)),((((58,46),22),(17,(68,((137,(115,104)),(152,(47,32)))))),10)),(43,14)))))),((44,(133,55)),((38,(84,119)),((72,64),149))));
#x treedecomp [315,[[156,278,340],[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,297,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,182,369],[2,194,393],[3,215,393],[4,274,432],[5,196,443],[6,246,454],[7,215,433],[8,182,401],[9,274,377],[10,221,459],[11,196,369],[12,260,396],[13,283,401],[14,281,470],[15,171,429],[16,166,421],[17,287,463],[18,261,377],[19,171,368],[20,180,454],[21,191,441],[22,210,461],[23,186,414],[24,290,332],[25,172,363],[26,231,426],[27,268,416],[28,252,430],[29,213,405],[30,306,408],[31,223,334],[32,317,469],[33,233,335],[34,188,344],[35,222,354],[36,314,376],[37,300,439],[38,192,475],[39,167,353],[40,230,426],[41,291,425],[42,300,380],[43,267,470],[44,216,472],[45,255,354],[46,295,462],[47,293,469],[48,242,440],[49,168,422],[50,264,337],[51,216,329],[52,312,424],[53,266,428],[54,245,381],[55,243,473],[56,254,382],[57,245,334],[58,181,462],[59,295,373],[60,231,416],[61,260,357],[62,311,357],[63,177,436],[64,184,478],[65,243,408],[66,229,443],[67,307,404],[68,247,464],[69,319,342],[70,296,383],[71,220,372],[72,248,478],[73,289,345],[74,234,325],[75,193,428],[76,281,356],[77,180,339],[78,279,453],[79,313,329],[80,210,458],[81,175,444],[82,285,399],[83,207,339],[84,209,476],[85,233,353],[86,313,328],[87,184,417],[88,193,338],[89,201,452],[90,172,328],[91,269,405],[92,167,361],[93,317,358],[94,312,397],[95,200,433],[96,175,384],[97,273,327],[98,258,388],[99,188,458],[100,266,352],[101,310,387],[102,218,403],[103,217,457],[104,244,467],[105,319,451],[106,310,422],[107,198,367],[108,298,441],[109,199,352],[110,234,434],[111,242,374],[112,298,434],[113,232,374],[114,173,342],[115,279,467],[116,269,361],[117,201,444],[118,223,388],[119,199,476],[120,187,367],[121,252,376],[122,257,397],[123,273,362],[124,177,366],[125,292,394],[126,230,404],[127,309,383],[128,213,450],[129,285,344],[130,256,394],[131,256,333],[132,250,345],[133,318,473],[134,306,423],[135,292,375],[136,207,452],[137,250,466],[138,318,385],[139,176,358],[140,299,442],[141,304,384],[142,271,417],[143,218,450],[144,284,335],[145,270,398],[146,195,429],[147,304,363],[148,220,398],[149,206,477],[150,284,449],[151,261,448],[152,249,468],[153,253,413],[154,288,413],[155,170,386],[157,258,407],[158,271,359],[159,238,336],[160,183,449],[161,162,202],[320,321,471]],[[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]]]