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