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

589 B · on GitHub

{
 "what": "Hamming radius-6 balls centred on the seventeen certificates already outside the published 2,367. Parent hole_balls.py; only seeds whose ball leaves the previously swept region (dist + 6 > 7).",
 "radius": 6,
 "seeds": 11,
 "complete": 11,
 "evals": 104841440,
 "novel": [],
 "seed_schemes": [
  "<13 u 1<3 u 1<2>>>",
  "<3 u 1<4> u 1<11>>",
  "<4 u 1<2> u 1<13>>",
  "<4 u 1<3> u 1<12>>",
  "<4 u 1<4> u 1<11>>",
  "<5 u 1<1> u 1<3> u 1<7>>",
  "<6 u 1<1> u 1<3> u 1<7>>",
  "<6 u 1<4 u 1<8>>>",
  "<7 u 1<1> u 1<3> u 1<7>>",
  "<6 u 1<8 u 1<4>>>",
  "<6 u 1<9 u 1<4>>>"
 ]
}