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

820 B · on GitHub

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