*~
\#*\#
.\#*
system-index.txt
.z3-trace
