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