This is the file that is available in the compressed files.