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