lean/.lake/
tla/states/
tla/*_TTrace_*
__pycache__/
