以下类型的文件中，不经过压缩的文件格式是______。