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