z3 by adelpirooz
_