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