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