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