final tex file