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