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