two more steps from "the".
Incidentally, z3 does consume about 1 GB RAM, so probably a space leak.