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