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