To verify that the correct version of a data file was used for a production run, an IS auditor should review: