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