added z3 logs and script to repo
remove .DS_Store