files / problems / hilbert16-degree-8 / compute / q7 / certs / thicken_witnesses.json

182 B · on GitHub

{
  "what": "Radius-1 sign flips on greedy refinements of distinct odd size-5 collections.",
  "witnesses": 32,
  "evals": 1440,
  "novel": [],
  "regular": [],
  "complete": true
}