tla2tools.jar
states/
*.out
