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