{"status":"online","service":"ZAP Diagnostic Gateway","engine":"SymPy CFL Symbolic Reasoning","version":"2.2.0"}