Provided files for lab3