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