6 1 (((1,(2,3)),4), 5,6); /* unrooted, for horai.nuc */