查找City.txt文件中的信息

将 City.zip 解压缩，得到 City.txt。

编写程序，实现以下功能：用程序读取文件 City.txt 中的信息。

当用户输入城市名（支持模糊查找，即不区分大小写，而且可以只输入部分字符串）后，显示该城市的相关信息。

程序文件名要求保存为：CityInfo.py，请严格按照此文件名保存，否则视为无效作业。

以下为多次运行程序后，针对不同的输入，得到的结果：

假如读取的文本行列表为txts,输入inp为一个要查找的字符串，遍历txts,for txt in txts:判断if inp in txt:,字符串切分，获取城市名及人口数信息，再添加到新列表中lst.append(txt)，然后再保存。