files / problems / hilbert16-degree-8 / compute / q1 / certs / thick_r1_rank_le17.json

581 B · on GitHub

{
 "what": "Radius-1 thicken of the Haas maximal stratum on every census triangulation of twist-rank at most 17.",
 "scope_rank_max": 17,
 "triangulations": 120,
 "complete": 120,
 "ranks": {
  "6": 1,
  "10": 5,
  "11": 7,
  "12": 12,
  "13": 23,
  "14": 19,
  "15": 11,
  "16": 29,
  "17": 13
 },
 "evals": 208532352,
 "novel_vs_census": [
  "<4 u 1<2> u 1<13>>",
  "<4 u 1<3> u 1<12>>",
  "<6 u 1<8 u 1<4>>>",
  "<6 u 1<9 u 1<4>>>"
 ],
 "already_certified": [
  "<4 u 1<2> u 1<13>>",
  "<4 u 1<3> u 1<12>>",
  "<6 u 1<8 u 1<4>>>",
  "<6 u 1<9 u 1<4>>>"
 ],
 "new_schemes": []
}