Delete 0517.tex