*.aux
*.dvi
*.fdb_latexmk
*.fls
*.log
*.out
*.fls
for_lawyers.pdf
_minted*
*.toc
formalization.pdf
*.run.xml
*.bbl 
*.bcf
*.blg
*~