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