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