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

2.8 KB · on GitHub

{
  "family": "bel-k2",
  "source": "Bevan-Erskine-Lewis arXiv:1506.04962 Thm 10(a) / Cor 18",
  "q": 61,
  "r1": 61,
  "r2": 59,
  "w": 6,
  "n": 21594,
  "m": 244,
  "co": 63,
  "cu": 61,
  "product_covered": 21594,
  "product_ok": true,
  "ratio": 1.6604403472852178,
  "bel_const": 1.632993161855452,
  "A": [
    0,
    2,
    8,
    14,
    20,
    26,
    32,
    38,
    44,
    50,
    56,
    61,
    62,
    354,
    427,
    708,
    793,
    1062,
    1159,
    1416,
    1525,
    1770,
    1891,
    1894,
    2020,
    2124,
    2146,
    2257,
    2272,
    2398,
    2478,
    2524,
    2623,
    2650,
    2776,
    2832,
    2902,
    2989,
    3028,
    3154,
    3186,
    3280,
    3355,
    3406,
    3532,
    3540,
    3602,
    3608,
    3614,
    3620,
    3626,
    3632,
    3638,
    3644,
    3650,
    3656,
    3658,
    3721,
    3894,
    4087,
    4248,
    4453,
    4602,
    4819,
    4956,
    5185,
    5310,
    5551,
    5664,
    5917,
    6018,
    6283,
    6372,
    6649,
    6726,
    7015,
    7080,
    7198,
    7202,
    7208,
    7214,
    7220,
    7226,
    7232,
    7238,
    7244,
    7250,
    7256,
    7324,
    7381,
    7434,
    7450,
    7576,
    7702,
    7747,
    7788,
    7828,
    7954,
    8080,
    8113,
    8142,
    8206,
    8332,
    8458,
    8479,
    8496,
    8584,
    8710,
    8836,
    8845,
    8850,
    8962,
    9088,
    9204,
    9211,
    9558,
    9577,
    9912,
    9943,
    10266,
    10309,
    10620,
    10675,
    10802,
    10808,
    10814,
    10820,
    10826,
    10832,
    10838,
    10844,
    10850,
    10856,
    10974,
    11041,
    11328,
    11407,
    11682,
    11773,
    12036,
    12139,
    12390,
    12505,
    12628,
    12744,
    12754,
    12871,
    12880,
    13006,
    13098,
    13132,
    13237,
    13258,
    13384,
    13452,
    13510,
    13603,
    13636,
    13762,
    13806,
    13888,
    13969,
    14014,
    14140,
    14160,
    14266,
    14335,
    14392,
    14396,
    14402,
    14408,
    14414,
    14420,
    14426,
    14432,
    14438,
    14444,
    14450,
    14456,
    14514,
    14701,
    14868,
    15067,
    15222,
    15433,
    15576,
    15799,
    15930,
    16165,
    16284,
    16531,
    16638,
    16897,
    16992,
    17263,
    17346,
    17629,
    17700,
    17995,
    17996,
    18002,
    18008,
    18014,
    18020,
    18026,
    18032,
    18038,
    18044,
    18050,
    18054,
    18056,
    18058,
    18184,
    18310,
    18361,
    18408,
    18436,
    18562,
    18688,
    18727,
    18762,
    18814,
    18940,
    19066,
    19093,
    19116,
    19192,
    19318,
    19444,
    19459,
    19470,
    19570,
    19696,
    19822,
    19824,
    19825,
    20178,
    20191,
    20532,
    20557,
    20886,
    20923,
    21240,
    21289
  ]
}