{
  "schema_version": 1,
  "checker": {
    "path": "verification/check_certificate.py",
    "sha256": "5689152e970b652a8e40c3c120eda3b45320c8745968a5cb416fa9b9dbdc5385",
    "bytes": 12726,
    "mode": "100644"
  },
  "exact_arithmetic": "scaled-integer real intervals, rectangular complex intervals, outward rounding after scalar operations",
  "run": [
    "python3",
    "-I",
    "verification/check_certificate.py"
  ],
  "assertions_required": true,
  "successful_exit_code": 0,
  "successful_stdout": "empty",
  "scope": "Finite constants, two 20-by-20 blocks, parameter polytope, envelope endpoint expressions and Bernstein comparisons defined in the article. Infinite interpolation, continuous sign propagation and energy transfer are proved in the article."
}