flamapy-z3