# TLC temp files
states/

# Spin temp files
pan
*.pml.trail
