files / problems / thin-cyclic-bases / compute / certs / bel_q31.json
{
"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
]
}