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