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