{
  "seed": 9104,
  "diagram_pairs": 874,
  "all_second_orders_through_b": 6,
  "max_frontier_tested": 5,
  "occurrence_reduction_cases": 154,
  "passed": true,
  "status": "finite regression checks; not formal verification"
}