z3/.gitignore