一个pdf文件压缩的小软件。可以将pdf文件压缩到更小的水平。