用python从txt文件中读入数据