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