*.aux
*.log
/gtlc.pdf
*.agdai
*.fls
*.fdb_latexmk
*.synctex.gz
*.out
*.agda~