…
..
consensus	…
consistency	…
.gitignore	…
StatsFile.tla	…
actions.py	…
install_deps.py	…
last_line.sh	…
loc.py	…
make_traces.sh	…
requirements.txt	…
tlc.sh	…
tlc_debug.sh	…
trace2scen.py	…