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

1.7 KB · on GitHub

{
  "family": "bel-k2",
  "source": "Bevan-Erskine-Lewis arXiv:1506.04962 Thm 10(a) / Cor 18",
  "q": 37,
  "r1": 37,
  "r2": 35,
  "w": 6,
  "n": 7770,
  "m": 148,
  "co": 39,
  "cu": 37,
  "product_covered": 7770,
  "product_ok": true,
  "ratio": 1.6790019711267818,
  "bel_const": 1.632993161855452,
  "A": [
    0,
    2,
    8,
    14,
    20,
    26,
    32,
    37,
    38,
    210,
    259,
    420,
    481,
    630,
    703,
    706,
    784,
    840,
    862,
    925,
    940,
    1018,
    1050,
    1096,
    1147,
    1174,
    1252,
    1260,
    1298,
    1304,
    1310,
    1316,
    1322,
    1328,
    1330,
    1369,
    1470,
    1591,
    1680,
    1813,
    1890,
    2035,
    2100,
    2257,
    2310,
    2479,
    2520,
    2590,
    2594,
    2600,
    2606,
    2612,
    2618,
    2624,
    2668,
    2701,
    2730,
    2746,
    2824,
    2902,
    2923,
    2940,
    2980,
    3058,
    3136,
    3145,
    3150,
    3214,
    3292,
    3360,
    3367,
    3570,
    3589,
    3780,
    3811,
    3890,
    3896,
    3902,
    3908,
    3914,
    3920,
    3990,
    4033,
    4200,
    4255,
    4410,
    4477,
    4552,
    4620,
    4630,
    4699,
    4708,
    4786,
    4830,
    4864,
    4921,
    4942,
    5020,
    5040,
    5098,
    5143,
    5176,
    5180,
    5186,
    5192,
    5198,
    5204,
    5210,
    5216,
    5250,
    5365,
    5460,
    5587,
    5670,
    5809,
    5880,
    6031,
    6090,
    6253,
    6300,
    6475,
    6476,
    6482,
    6488,
    6494,
    6500,
    6506,
    6510,
    6512,
    6514,
    6592,
    6670,
    6697,
    6720,
    6748,
    6826,
    6904,
    6919,
    6930,
    6982,
    7060,
    7138,
    7140,
    7141,
    7350,
    7363,
    7560,
    7585
  ]
}