在 Python 中从两个字符串执行前缀压缩的程序