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

2.0 KB · on GitHub

{
  "family": "bel-k2",
  "source": "Bevan-Erskine-Lewis arXiv:1506.04962 Thm 10(a) / Cor 18",
  "q": 43,
  "r1": 43,
  "r2": 41,
  "w": 6,
  "n": 10578,
  "m": 172,
  "co": 45,
  "cu": 43,
  "product_covered": 10578,
  "product_ok": true,
  "ratio": 1.672348040175751,
  "bel_const": 1.632993161855452,
  "A": [
    0,
    2,
    8,
    14,
    20,
    26,
    32,
    38,
    43,
    44,
    246,
    301,
    492,
    559,
    738,
    817,
    904,
    984,
    994,
    1075,
    1084,
    1174,
    1230,
    1264,
    1333,
    1354,
    1444,
    1476,
    1534,
    1591,
    1624,
    1714,
    1722,
    1766,
    1772,
    1778,
    1784,
    1790,
    1796,
    1802,
    1804,
    1849,
    1968,
    2107,
    2214,
    2365,
    2460,
    2623,
    2706,
    2881,
    2952,
    3139,
    3198,
    3397,
    3444,
    3526,
    3530,
    3536,
    3542,
    3548,
    3554,
    3560,
    3566,
    3616,
    3655,
    3690,
    3706,
    3796,
    3886,
    3913,
    3936,
    3976,
    4066,
    4156,
    4171,
    4182,
    4246,
    4336,
    4426,
    4428,
    4429,
    4674,
    4687,
    4920,
    4945,
    5166,
    5203,
    5294,
    5300,
    5306,
    5312,
    5318,
    5324,
    5330,
    5412,
    5461,
    5658,
    5719,
    5904,
    5977,
    6150,
    6235,
    6238,
    6328,
    6396,
    6418,
    6493,
    6508,
    6598,
    6642,
    6688,
    6751,
    6778,
    6868,
    6888,
    6958,
    7009,
    7048,
    7052,
    7058,
    7064,
    7070,
    7076,
    7082,
    7088,
    7094,
    7134,
    7267,
    7380,
    7525,
    7626,
    7783,
    7872,
    8041,
    8118,
    8299,
    8364,
    8557,
    8610,
    8815,
    8816,
    8822,
    8828,
    8834,
    8840,
    8846,
    8852,
    8856,
    8858,
    8860,
    8950,
    9040,
    9073,
    9102,
    9130,
    9220,
    9310,
    9331,
    9348,
    9400,
    9490,
    9580,
    9589,
    9594,
    9670,
    9760,
    9840,
    9847,
    10086,
    10105,
    10332,
    10363
  ]
}