z3.lits