{
  "commitment_sha256": "9325931cce70d42f19c29f2ba59c3579521f8b0d95a4fc8fb444a37623ad2512",
  "miter_inputs": 523,
  "miter_gates": 3768,
  "coi_inputs": 59,
  "coi_gates": 496,
  "lean_file": "lean/BvDecideDivider_gen.lean",
  "neg_file": "lean/BvDecideDividerNeg_gen.lean",
  "neg_coi_gates": 496,
  "kernel_checked": true,
  "negative_control_refused": true,
  "check_seconds": 4.6,
  "neg_seconds": 1.6
}