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