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