{
  "scope": "All ordered bases for simplex dimensions 1 through 4; all 16 messages and four reference choices for one repeated K4 incidence matrix. No query-bound, asymptotic or proof-assistant verification.",
  "simplex": [
    {
      "r": 1,
      "length": 1,
      "nonzero_weight": 1,
      "ordered_bases": 1,
      "mean_coefficient_weight_every_nonzero_word": "1"
    },
    {
      "r": 2,
      "length": 3,
      "nonzero_weight": 2,
      "ordered_bases": 6,
      "mean_coefficient_weight_every_nonzero_word": "4/3"
    },
    {
      "r": 3,
      "length": 7,
      "nonzero_weight": 4,
      "ordered_bases": 168,
      "mean_coefficient_weight_every_nonzero_word": "12/7"
    },
    {
      "r": 4,
      "length": 15,
      "nonzero_weight": 8,
      "ordered_bases": 20160,
      "mean_coefficient_weight_every_nonzero_word": "32/15"
    }
  ],
  "duplicated_graph": {
    "m": 4,
    "d": 64,
    "max_expected_cost_ratio": "95/62",
    "theorem_certificate_bound": "9/2"
  }
}