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

1.0 KB · on GitHub

{
  "family": "bel-k2",
  "source": "Bevan-Erskine-Lewis arXiv:1506.04962 Thm 10(a) / Cor 18",
  "q": 19,
  "r1": 19,
  "r2": 17,
  "w": 6,
  "n": 1938,
  "m": 76,
  "co": 21,
  "cu": 19,
  "product_covered": 1938,
  "product_ok": true,
  "ratio": 1.7263812316121676,
  "bel_const": 1.632993161855452,
  "A": [
    0,
    2,
    8,
    14,
    19,
    20,
    102,
    133,
    172,
    204,
    214,
    247,
    256,
    298,
    306,
    326,
    332,
    338,
    340,
    361,
    408,
    475,
    510,
    589,
    612,
    646,
    650,
    656,
    662,
    688,
    703,
    714,
    730,
    772,
    814,
    816,
    817,
    918,
    931,
    974,
    980,
    986,
    1020,
    1045,
    1122,
    1159,
    1162,
    1204,
    1224,
    1246,
    1273,
    1288,
    1292,
    1298,
    1304,
    1310,
    1326,
    1387,
    1428,
    1501,
    1530,
    1615,
    1616,
    1622,
    1628,
    1632,
    1634,
    1636,
    1678,
    1720,
    1729,
    1734,
    1762,
    1804,
    1836,
    1843
  ]
}