{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0237,
  "steps": 257 }