#s idigest "04d53aaa2bcba2e6dfa2995a6a91e70e"
#p 2 160
#s name "p26-heuristic-pub032"
(((35,(((((14,101),79),((135,29),134)),((10,(57,(36,((130,160),(66,(22,118)))))),132)),(((80,(((110,131),((99,95),115)),(((122,141),139),(((((43,((45,52),47)),27),((5,4),(26,33))),((34,120),65)),((60,(106,31)),93))))),(((55,54),51),147)),(148,(156,149))))),((((((53,50),56),(117,84)),(123,9)),(((((((128,133),126),152),((81,((108,77),(41,(11,86)))),(64,(((125,153),(124,129)),(8,38))))),((87,((136,150),(46,(144,151)))),146)),(((113,3),((89,(91,94)),(83,140))),(49,((((42,59),107),114),85)))),((105,(1,72)),((((98,((19,82),(23,((92,111),(69,(25,18)))))),(104,145)),137),((76,6),74))))),((159,(158,44)),((((100,97),20),138),(30,(63,154)))))),(((((24,(28,2)),88),((15,(155,121)),(((((90,7),70),40),157),143))),((((102,(78,73)),(32,142)),(96,((((13,16),12),(58,48)),61))),(((67,71),75),(119,17)))),((21,37),((127,112),((68,62),(((103,109),39),116))))));
((((((((123,(151,129)),((55,((17,136),(34,39))),((52,54),115))),((12,16),(41,65))),73),(((103,(57,58)),(44,38)),(((((24,64),((35,((100,97),79)),(((137,124),159),((134,131),(140,127))))),22),147),95))),((((118,111),42),(113,109)),(((62,27),(104,(19,14))),(60,(8,120))))),((30,3),(46,(((33,51),(28,(49,53))),(114,(135,(77,(101,10)))))))),(((((((2,145),157),((93,74),((128,155),45))),(((26,61),121),((82,63),105))),(((143,158),156),(((13,15),90),(117,(119,(9,122)))))),((((((43,(71,(110,(40,29)))),(31,18)),(7,86)),((((149,((25,(81,99)),23)),((20,6),76)),(((1,108),11),160)),(((89,96),144),(94,(((91,98),(((148,142),50),133)),84))))),((37,85),((((48,59),75),(36,21)),(((((69,67),66),106),(56,(139,(((146,152),132),153)))),78)))),((((((((4,(112,107)),92),47),141),(5,130)),((72,87),32)),88),((102,(83,68)),(80,70))))),(((150,((138,154),126)),125),116)));
#x treedecomp [312,[[160,176,428],[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,272,273,274,275,276,277,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,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,257,430],[270,271,426,427],[6,271,427],[76,271,426],[2,286,389],[3,245,372],[4,198,465],[5,198,467],[7,294,418],[8,236,370],[9,217,407],[10,172,382],[11,230,429],[12,304,337],[13,305,404],[14,168,368],[15,288,404],[16,305,337],[17,310,332],[18,268,417],[19,263,368],[20,277,427],[21,312,447],[22,178,346],[23,264,423],[24,285,348],[25,268,424],[26,199,396],[27,193,366],[28,286,377],[29,170,416],[30,279,372],[31,204,417],[32,300,468],[33,199,376],[34,201,333],[35,163,350],[36,174,447],[37,312,442],[38,236,343],[39,318,333],[40,292,416],[41,229,338],[42,254,361],[43,194,413],[44,274,343],[45,196,392],[46,241,373],[47,195,463],[48,306,446],[49,250,378],[50,215,439],[51,206,376],[52,196,335],[53,215,378],[54,207,335],[55,207,330],[56,214,453],[57,173,342],[58,306,342],[59,254,446],[60,203,369],[61,302,396],[62,316,366],[63,280,398],[64,231,348],[65,200,338],[66,177,451],[67,309,452],[68,316,472],[69,267,452],[70,293,473],[71,309,414],[72,257,469],[73,299,324],[74,270,391],[75,308,445],[77,228,381],[78,299,448],[79,167,351],[80,181,473],[81,226,425],[82,263,398],[83,249,472],[84,216,435],[85,251,442],[86,230,418],[87,238,469],[88,284,459],[89,247,433],[90,294,403],[91,248,437],[92,266,464],[93,202,391],[94,248,434],[95,186,344],[96,301,433],[98,261,437],[99,186,425],[101,168,382],[102,298,471],[103,319,341],[104,269,367],[105,256,397],[106,204,450],[107,253,466],[108,228,430],[109,319,363],[110,184,415],[111,266,362],[112,314,466],[113,245,363],[114,252,379],[115,185,334],[116,317,474],[117,216,405],[118,178,362],[119,310,406],[120,201,370],[121,289,395],[122,189,407],[123,217,327],[124,235,355],[125,234,475],[126,223,477],[127,314,358],[128,224,393],[129,235,328],[130,176,467],[131,184,357],[132,171,456],[133,224,438],[134,169,357],[135,170,380],[136,240,332],[137,259,355],[138,276,478],[139,188,454],[140,249,358],[141,189,462],[142,300,440],[143,290,401],[144,242,432],[145,269,389],[146,237,457],[147,205,345],[148,208,440],[149,209,422],[150,240,476],[151,242,328],[152,222,457],[153,234,455],[154,280,478],[155,289,393],[156,209,400],[157,291,388],[158,274,401],[159,273,354],[161,162,281],[320,321,383],[277,351,352],[277,278,352],[97,278,352],[100,278,352]],[[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],[4,5],[4,6],[163,164],[164,165],[165,166]]]