tla2tools.jar
states/
*.dot
