Update res1.tex