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