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