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