8f7ddc7cf4e4f07a5834e08ba11f20a4.json

{ "prover": "Alt-Ergo:2.2.0", "verdict": "valid", "time": 0.0074,
  "steps": 24 }