压缩toy.py