grading works correctly now when the input files are identical