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