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

769 B · on GitHub

{
  "family": "bel-k2",
  "source": "Bevan-Erskine-Lewis arXiv:1506.04962 Thm 10(a) / Cor 18",
  "q": 13,
  "r1": 13,
  "r2": 11,
  "w": 6,
  "n": 858,
  "m": 52,
  "co": 15,
  "cu": 13,
  "product_covered": 858,
  "product_ok": true,
  "ratio": 1.775250729197189,
  "bel_const": 1.632993161855452,
  "A": [
    0,
    2,
    8,
    13,
    14,
    66,
    91,
    94,
    124,
    132,
    146,
    152,
    154,
    169,
    198,
    247,
    264,
    286,
    290,
    296,
    316,
    325,
    330,
    346,
    376,
    396,
    403,
    434,
    440,
    462,
    481,
    508,
    528,
    538,
    559,
    568,
    572,
    578,
    584,
    594,
    637,
    660,
    715,
    716,
    722,
    726,
    728,
    730,
    760,
    790,
    792,
    793
  ]
}