*.aux *.log /gtlc.pdf *.fls *.fdb_latexmk *.synctex.gz *.out *.toc *.nav *.snm *.bbl *.blg \#* .\#* *.agdai *.agda~