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

582 B · on GitHub

{
  "kind": "summary",
  "drawn": 40,
  "kept": 40,
  "maxrank": 16,
  "evals": 1389568,
  "distinct": 20,
  "new": 0,
  "complete": true,
  "schemes": [
    "<13 u 1<2>>",
    "<14 u 1<1> u 1<2>>",
    "<14 u 1<2>>",
    "<14 u 1<3>>",
    "<14 u 2<1>>",
    "<15 u 1<1> u 1<2>>",
    "<15 u 1<1>>",
    "<15 u 1<2>>",
    "<15 u 1<3>>",
    "<15 u 1<4>>",
    "<15 u 2<1>>",
    "<16 u 1<1> u 1<2>>",
    "<16 u 1<1>>",
    "<16 u 1<2>>",
    "<16 u 1<3>>",
    "<16 u 2<1>>",
    "<17 u 1<1> u 1<2>>",
    "<17 u 1<2>>",
    "<17 u 1<3>>",
    "<18 u 1<3>>"
  ],
  "novel": []
}