A ZIP file contains one or more files that have been compressed , to reduce their file size , or stored as-is . A ZIP file contains one or more files that have been compressed to reduce file size , or stored as-is .