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