z3 path