z3.all