一数据文件压缩后的大小是512KB，已知其压缩比20:1，原文件大小是20MB。