((7,((8,20),(15,(18,(13,(5,1)))))),((11,17),(((10,(19,(14,(2,(6,(16,4)))))),12),(9,3))));
(((7,6),(15,(13,(5,1)))),((10,(19,((16,(14,4)),(((17,((8,20),11)),18),2)))),((9,12),3)));
((6,((8,20),((15,4),(13,(5,1))))),(((11,17),18),(((10,(14,(2,(16,7)))),19),((9,12),3))));
(((20,(8,6)),(7,(15,(13,(5,1))))),((11,17),((10,(19,(14,(2,(16,4))))),(((9,12),18),3))));
(((7,6),(20,(15,13))),((((5,11),17),18),((10,(19,(14,(2,(16,4))))),(1,((8,3),(9,12))))));
(((7,6),((8,20),(15,(13,(5,1))))),((((10,(19,(14,(2,4)))),(16,18)),((11,17),(9,12))),3));
(((7,6),((8,(20,9)),(15,(13,(5,1))))),((10,(19,(14,(2,(16,(4,(((11,17),12),3))))))),18));
