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