.DS_Store
*.agdai
*.smt2