#s idigest "00bcd6d5ed8fa0fc426208d4fd4d6698"
#p 2 12
#s name "tiny07"
((((6,5),7),(((((4,2),11),12),9),(8,10))),(1,3));
((8,7),(((1,(9,4)),6),(((3,10),12),((5,11),2))));
#x treedecomp [3,[[14,22,34],[14,22,23],[1,23,28],[22,23,32],[3,23,32],[10,22,32],[13,14,23],[14,18,22,34],[18,20,21,34],[2,21,33],[18,21,29],[4,21,29],[9,18,29],[11,20,34],[18,19,20],[12,19,31],[14,17,18,22],[14,16,22,34],[5,16,34],[6,16,27],[14,15,16,22],[15,22,25],[7,15,25],[8,22,25],[24],[26],[30]],[[1,2],[1,8],[1,18],[1,25],[1,26],[1,27],[2,3],[2,4],[2,7],[4,5],[4,6],[8,9],[8,17],[9,10],[9,11],[9,14],[9,15],[11,12],[11,13],[15,16],[18,19],[18,20],[18,21],[21,22],[22,23],[22,24]]]