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