z3.java 15 KB