added my z3 scripts