Delete res9a.tex~