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