{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0081,
  "steps": 51 }