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