(64 choose 32)*(32!)