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

1.5 KB · on GitHub

{
  "family": "bel-k2",
  "source": "Bevan-Erskine-Lewis arXiv:1506.04962 Thm 10(a) / Cor 18",
  "q": 31,
  "r1": 31,
  "r2": 29,
  "w": 6,
  "n": 5394,
  "m": 124,
  "co": 33,
  "cu": 31,
  "product_covered": 5394,
  "product_ok": true,
  "ratio": 1.6883645082279117,
  "bel_const": 1.632993161855452,
  "A": [
    0,
    2,
    8,
    14,
    20,
    26,
    31,
    32,
    174,
    217,
    348,
    403,
    466,
    522,
    532,
    589,
    598,
    664,
    696,
    730,
    775,
    796,
    862,
    870,
    902,
    908,
    914,
    920,
    926,
    928,
    961,
    1044,
    1147,
    1218,
    1333,
    1392,
    1519,
    1566,
    1705,
    1740,
    1798,
    1802,
    1808,
    1814,
    1820,
    1826,
    1864,
    1891,
    1914,
    1930,
    1996,
    2062,
    2077,
    2088,
    2128,
    2194,
    2260,
    2262,
    2263,
    2436,
    2449,
    2610,
    2635,
    2702,
    2708,
    2714,
    2720,
    2726,
    2784,
    2821,
    2958,
    3007,
    3132,
    3193,
    3196,
    3262,
    3306,
    3328,
    3379,
    3394,
    3460,
    3480,
    3526,
    3565,
    3592,
    3596,
    3602,
    3608,
    3614,
    3620,
    3626,
    3654,
    3751,
    3828,
    3937,
    4002,
    4123,
    4176,
    4309,
    4350,
    4495,
    4496,
    4502,
    4508,
    4514,
    4520,
    4524,
    4526,
    4528,
    4594,
    4660,
    4681,
    4698,
    4726,
    4792,
    4858,
    4867,
    4872,
    4924,
    4990,
    5046,
    5053,
    5220,
    5239
  ]
}