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