+ ‘LaTeX/somesudoku.log’