files / problems / thin-cyclic-bases / compute / certs / bel_q7.json

541 B · on GitHub

{
  "family": "bel-k2",
  "source": "Bevan-Erskine-Lewis arXiv:1506.04962 Thm 10(a) / Cor 18",
  "q": 7,
  "r1": 7,
  "r2": 5,
  "w": 6,
  "n": 210,
  "m": 28,
  "co": 9,
  "cu": 7,
  "product_covered": 210,
  "product_ok": true,
  "ratio": 1.9321835661585918,
  "bel_const": 1.632993161855452,
  "A": [
    0,
    2,
    7,
    8,
    22,
    30,
    38,
    40,
    49,
    60,
    70,
    74,
    88,
    90,
    91,
    110,
    120,
    133,
    136,
    140,
    146,
    150,
    175,
    176,
    180,
    182,
    184,
    202
  ]
}