python输出二进制文件