Delete z3.py~