{
  "passed": true,
  "rows_checked": 6,
  "actual_pairs_checked": 872570,
  "integer_frontier_rows_checked": 2488,
  "anchor_checks": 6,
  "monotonicity_checks": 1740586,
  "small_population_fixtures": 2500,
  "small_completion_pairs": 11025,
  "manual_count_cells_checked": 36,
  "independent_of_main_imports": true
}