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