{
  "type": "ZkVmReceipt",
  "system": "risc0",
  "receiptFormat": "groth16-bn254",
  "imageId": "sha256:a1a0bc89b5b1febaeda3519f6dbade0fa5ac16beeb143c4e1b01689573567bc6",
  "seal": "Ic/4UIXbRt7L6PBQx8wwcPfevHu9o91hecmwnEj+CpUDBRag4Tu6i4TAXWSFpD26YnqOX73FRpwtidTVnyIqRikzcq5HPOcCeXd2NEcKdjqcaLKXaB1nmhv5Alg4TJk5JdOEOBbUQcZRqUxtjZx/lqE5dMJvYabkwbNXfTUiEl0aSVv27Fg6PiAmIV7cK0L1XopsNMz5aOkR5XXpm8puhQsAoETyKD64PUTnctLinmD+l3ZRIw89gj7U/L/lWy1zLDN6q4sBpbWrV3xzKppHWF6v/DhIm1EvwRnFvUPzBhcb0dUeUesJqB0VPDfUx1GxJtd5csj5Yn5jhhrM/uN4QQ==",
  "journal": {
    "chaingraph_version": "0.4.0",
    "kernel_digest": "sha256:c6359bd684edd6f0f850aa8393553666a926775cdfd48f2c19fa006d2d3f8b06",
    "output": {
      "bel_fcf_delta": 200,
      "bridge_delta": 200,
      "bridge_within_tolerance": true,
      "ifrs17_csm": 300,
      "ifrs17_fcf": 9800,
      "ifrs17_insurance_contract_liabilities": 10800,
      "ifrs17_ra": 700,
      "ra_vs_risk_margin_ratio_pct": 70,
      "relative_bridge_delta_pct": 1.82,
      "rm_ra_delta": 300,
      "sii_best_estimate": 10000,
      "sii_risk_margin": 1000,
      "sii_technical_provisions": 11000
    }
  }
}