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