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