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