These are the original files supplied with the assignment