{
  "accepted_production_executions": 41,
  "cases_sha256": "e1022ca51113506968807f5bec7a963b60ff9f0ca36909a2ce4fb2c6b0ca6e7a",
  "checker_sha256": "6370f25f8e4eee9e2aa1c859582c1b944658c2a605e22a5edfa4976523843a81",
  "kernel_proved_rejections": 14,
  "out_of_contract_probes": 6,
  "proof_sha256": "0070878c71b7b1baf8fa3630d03b0d37c83527c7aa3f4000b289c30f45742968",
  "seed": 765321
}