在 Python 中执行字符串压缩的程序