#s idigest "41e15fde21d54d85c3a46ff8a81181ee"
#p 20 19
#s name "p26-exact-pub074"
((8,6),(((3,11),((9,4),5)),(18,((19,((7,(15,17)),(14,((1,13),2)))),((12,16),10)))));
(3,(11,(1,(((7,8),(10,((((14,6),16),((5,13),(18,(17,4)))),((19,(2,9)),12)))),15))));
((((12,2),(15,((17,(((9,((11,(4,(13,18))),10)),8),3)),((19,(16,(5,1))),7)))),14),6);
((18,((14,15),(((13,(((16,(19,((11,7),(3,4)))),10),17)),(((9,12),2),8)),(5,6)))),1);
(11,(18,((((8,7),((14,6),(3,16))),(5,(((10,13),(1,(4,9))),((19,(2,17)),12)))),15)));
((2,7),((((17,13),(3,15)),10),((1,(16,((19,8),(18,(6,(9,4)))))),((12,14),(11,5)))));
(((10,((19,(13,2)),((8,(18,4)),(5,6)))),7),(17,((11,((1,((9,(15,12)),14)),3)),16)));
(((12,7),(18,17)),(((15,(1,(14,4))),(8,10)),((((6,5),2),(16,19)),(((3,11),13),9))));
(((18,(((7,(((16,(4,((11,13),19))),10),17)),8),(5,6))),(3,(((14,12),2),15))),(1,9));
((((((15,1),((((14,13),6),(((19,16),(((9,4),2),8)),10)),11)),3),(17,(7,12))),5),18);
(((11,((((16,15),((6,8),(19,(9,3)))),17),4)),18),(7,((1,5),((2,13),((12,10),14)))));
(11,(((18,((8,((14,6),7)),(5,(((10,(2,(1,9))),((19,(13,17)),12)),4)))),(3,16)),15));
(3,(11,(1,(((7,8),((((14,10),(6,(5,13))),18),((19,(2,(9,17))),12))),(15,(4,16))))));
(((16,(((13,8),((15,(1,((5,(4,19)),(7,((11,(10,9)),(14,6)))))),12)),17)),(3,2)),18);
((((17,13),(3,15)),10),(((((19,8),((18,(2,7)),(((12,14),6),(9,4)))),1),16),(11,5)));
(3,(((11,(((14,6),16),(((5,13),(18,17)),4))),(1,(8,(10,((19,2),12))))),((15,9),7)));
(11,(18,((((8,7),(1,16)),(2,((((3,9),10),13),((19,((15,17),(14,(6,4)))),12)))),5)));
((2,7),((((17,13),(3,10)),15),(1,(9,((19,(8,11)),(18,(6,(16,(4,((12,14),5))))))))));
(((12,7),16),(((17,19),((3,((8,11),(14,((4,(2,18)),(10,((6,5),13)))))),9)),(15,1)));
((18,15),((13,((17,(((((11,((9,4),(8,((3,2),14)))),7),((19,16),6)),12),1)),5)),10));
#x treedecomp [358,[[3,290,291],[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,111,112,113,114,115,116,117,118,119,120,121,122,123,124,125,126,127,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,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,219,220,221,222,223,224,225,226,227,228,229,230,231,232,233,234,235,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,309,310,311,312,313,314,315,316,317,318,319,320,321,322,323,324,325,327,328,329,330,331,332,333,334,335,336,337,338,339,340,341,342,343,345,346,347,348,349,350,351,352,353,354,355,356,357,358,359,360,361,363,364,365,366,367,368,369,370,371,372,373,374,375,376,377,378,379],[20,21,22],[3,38,39],[6,56,57],[1,74,75],[11,92,93],[110,111,112],[128,129,138],[146,147,150],[164,165,181],[18,182,183],[200,201,211],[11,218,219],[3,236,237],[18,254,255],[272,273,277],[11,308,309],[326,327,328],[344,345,347],[362,363,364]],[[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]]]