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