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