*.out
*.proof
*.trimmed
