Deleted z3 pyc
Removed unneded import
merged