.lake/
__pycache__/
*.py[cod]
verification/local*/
publication/monograph_source/verification/tex_build/
.DS_Store
Thumbs.db
