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