files / problems / two-smooth-summands / compute / certs / covering_refined.json
{
"limit": 80000,
"rows": {
"short_0.5": {
"count": 6,
"all": [
2,
3,
7,
8,
23,
24
]
},
"short_0.45": {
"count": 13,
"all": [
2,
3,
4,
7,
8,
11,
16,
23,
24,
32,
71,
72,
160
]
},
"short_0.4": {
"count": 110,
"first20": [
2,
3,
4,
5,
7,
8,
11,
12,
13,
14,
15,
16,
22,
23,
24,
31,
32,
41,
42,
43
],
"last10": [
1427,
1428,
2335,
2336,
2337,
2338,
2339,
2340,
3495,
3496
],
"max": 3496
},
"square_adj_a0.4_K1": {
"count": 23502,
"first20": [
3,
4,
5,
7,
9,
10,
11,
13,
14,
15,
16,
23,
26,
27,
29,
30,
31,
33,
35,
36
],
"max": 79995
},
"square_adj_a0.4_K4": {
"count": 8292,
"first20": [
3,
4,
5,
7,
10,
11,
13,
14,
15,
23,
26,
29,
30,
35,
46,
47,
49,
50,
51,
53
],
"max": 79982
},
"square_adj_a0.4_K16": {
"count": 1563,
"first20": [
3,
4,
5,
7,
10,
11,
13,
14,
15,
23,
26,
29,
30,
35,
46,
47,
50,
51,
53,
62
],
"max": 79967
},
"square_adj_a0.4_K64": {
"count": 500,
"first20": [
3,
4,
5,
7,
10,
11,
13,
14,
15,
23,
26,
29,
30,
35,
46,
47,
50,
51,
53,
62
],
"max": 79922
},
"square_adj_a0.4_K256": {
"count": 309,
"first20": [
3,
4,
5,
7,
10,
11,
13,
14,
15,
23,
26,
29,
30,
35,
46,
47,
50,
51,
53,
62
],
"max": 79922
},
"square_adj_a0.49_K32": {
"count": 24,
"all": [
3,
4,
7,
14,
23,
26,
47,
53,
62,
122,
138,
167,
173,
182,
215,
293,
318,
362,
398,
983,
1055,
1722,
2351,
7213
]
},
"short_0.4_mod8": {
"2": 11,
"3": 14,
"4": 14,
"5": 13,
"7": 17,
"0": 18,
"6": 16,
"1": 7
},
"short_0.4_mod24": {
"0": 9,
"1": 1,
"2": 3,
"3": 3,
"4": 2,
"5": 3,
"6": 4,
"7": 3,
"8": 3,
"9": 2,
"10": 2,
"11": 6,
"12": 7,
"13": 3,
"14": 4,
"15": 6,
"16": 6,
"17": 4,
"18": 6,
"19": 5,
"20": 5,
"21": 7,
"22": 8,
"23": 8
}
},
"is_dent": false
}