changed hw1_spec format to pdf