files / problems / two-smooth-summands / compute / certs / covering_search.json
{
"limit": 50000,
"short_interval": [
{
"alpha": 0.5,
"limit": 50000,
"first_hole": 3,
"n_holes": 5,
"worst_short_P_over_sqrt": {
"n": 3,
"ratio": 1.1547005383792517
},
"covers_the_range": false
},
{
"alpha": 0.45,
"limit": 50000,
"first_hole": 3,
"n_holes": 12,
"worst_short_P_over_sqrt": {
"n": 4,
"ratio": 1.5
},
"covers_the_range": false
},
{
"alpha": 0.4,
"limit": 50000,
"first_hole": 3,
"n_holes": 109,
"worst_short_P_over_sqrt": {
"n": 15,
"ratio": 1.8073922282301278
},
"covers_the_range": false
},
{
"alpha": 0.3333333333333333,
"limit": 50000,
"first_hole": 3,
"n_holes": 7927,
"worst_short_P_over_sqrt": {
"n": 216,
"ratio": 2.9257794149910183
},
"covers_the_range": false
},
{
"alpha": 0.3,
"limit": 50000,
"first_hole": 3,
"n_holes": 23076,
"worst_short_P_over_sqrt": {
"n": 216,
"ratio": 2.9257794149910183
},
"covers_the_range": false
}
],
"trivial_2sqrt_window": {
"window": "2*sqrt(n)+1",
"limit": 50000,
"n_holes": 0,
"first_hole": null,
"covers_the_range": true
},
"residue_small_shift": [
{
"modulus": 8,
"alpha": 0.4,
"limit": 20000,
"n_candidates": 40,
"uncovered_classes": [
5
],
"n_uncovered_classes": 1,
"first_fail_by_class": {
"0": null,
"1": null,
"2": null,
"3": null,
"4": null,
"5": 18181,
"6": null,
"7": null
},
"sample_holes": {
"5": [
18181
]
},
"covers_all_classes": false
},
{
"modulus": 8,
"alpha": 0.3333333333333333,
"limit": 20000,
"n_candidates": 40,
"uncovered_classes": [
0,
1,
2,
3,
4,
5,
6,
7
],
"n_uncovered_classes": 8,
"first_fail_by_class": {
"0": 4272,
"1": 937,
"2": 4282,
"3": 2155,
"4": 4276,
"5": 941,
"6": 1846,
"7": 943
},
"sample_holes": {
"0": [
4272,
4280,
4288,
4672,
4680
],
"1": [
937,
945,
2153,
4281,
4289
],
"2": [
4282,
4290,
4666,
4674,
6234
],
"3": [
2155,
4283,
4451,
4531,
4651
],
"4": [
4276,
4284,
4668,
4676,
6236
],
"5": [
941,
1117,
2149,
3821,
3957
],
"6": [
1846,
4278,
4286,
4670,
4678
],
"7": [
943,
1111,
2143,
3231,
3359
]
},
"covers_all_classes": false
},
{
"modulus": 24,
"alpha": 0.4,
"limit": 20000,
"n_candidates": 40,
"uncovered_classes": [
13
],
"n_uncovered_classes": 1,
"first_fail_by_class": {
"0": null,
"1": null,
"2": null,
"3": null,
"4": null,
"5": null,
"6": null,
"7": null,
"8": null,
"9": null,
"10": null,
"11": null,
"12": null,
"13": 18181,
"14": null,
"15": null,
"16": null,
"17": null,
"18": null,
"19": null,
"20": null,
"21": null,
"22": null,
"23": null
},
"sample_holes": {
"13": [
18181
]
},
"covers_all_classes": false
},
{
"modulus": 24,
"alpha": 0.3333333333333333,
"limit": 20000,
"n_candidates": 40,
"uncovered_classes": [
0,
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23
],
"n_uncovered_classes": 24,
"first_fail_by_class": {
"0": 4272,
"1": 937,
"2": 6986,
"3": 6219,
"4": 4276,
"5": 941,
"6": 4278,
"7": 943,
"8": 4280,
"9": 945,
"10": 4282,
"11": 4283,
"12": 4284,
"13": 1117,
"14": 4286,
"15": 3231,
"16": 4288,
"17": 2153,
"18": 4290,
"19": 2155,
"20": 4676,
"21": 3957,
"22": 1846,
"23": 3359
},
"sample_holes": {
"0": [
4272,
4680,
4800,
6720,
6984
],
"1": [
937,
4441,
4657,
6985,
8881
],
"2": [
6986,
12074,
12218,
16298,
16994
],
"3": [
6219,
6987,
8883,
12075,
12219
],
"4": [
4276,
6988,
9676,
11812,
12076
],
"5": [
941,
3821,
4661,
6701,
6989
],
"6": [
4278,
6990,
8886,
12078,
12222
],
"7": [
943,
1111,
2143,
4087,
4447
],
"8": [
4280,
6992,
8312,
8888,
9680
],
"9": [
945,
4281,
4665,
6225,
6705
],
"10": [
4282,
4666,
6994,
8890,
10450
],
"11": [
4283,
4451,
4667,
6707,
6995
]
},
"covers_all_classes": false
},
{
"modulus": 120,
"alpha": 0.4,
"limit": 20000,
"n_candidates": 40,
"uncovered_classes": [
22,
23,
24
],
"n_uncovered_classes": 3,
"first_fail_by_class": {
"0": null,
"1": null,
"2": null,
"3": null,
"4": null,
"5": null,
"6": null,
"7": null,
"8": null,
"9": null,
"10": null,
"11": null,
"12": null,
"13": null,
"14": null,
"15": null,
"16": null,
"17": null,
"18": null,
"19": null,
"20": null,
"21": null,
"22": 17542,
"23": 17543,
"24": 17544,
"25": null,
"26": null,
"27": null,
"28": null,
"29": null,
"30": null,
"31": null,
"32": null,
"33": null,
"34": null,
"35": null,
"36": null,
"37": null,
"38": null,
"39": null,
"40": null,
"41": null,
"42": null,
"43": null,
"44": null,
"45": null,
"46": null,
"47": null,
"48": null,
"49": null,
"50": null,
"51": null,
"52": null,
"53": null,
"54": null,
"55": null,
"56": null,
"57": null,
"58": null,
"59": null,
"60": null,
"61": null,
"62": null,
"63": null,
"64": null,
"65": null,
"66": null,
"67": null,
"68": null,
"69": null,
"70": null,
"71": null,
"72": null,
"73": null,
"74": null,
"75": null,
"76": null,
"77": null,
"78": null,
"79": null,
"80": null,
"81": null,
"82": null,
"83": null,
"84": null,
"85": null,
"86": null,
"87": null,
"88": null,
"89": null,
"90": null,
"91": null,
"92": null,
"93": null,
"94": null,
"95": null,
"96": null,
"97": null,
"98": null,
"99": null,
"100": null,
"101": null,
"102": null,
"103": null,
"104": null,
"105": null,
"106": null,
"107": null,
"108": null,
"109": null,
"110": null,
"111": null,
"112": null,
"113": null,
"114": null,
"115": null,
"116": null,
"117": null,
"118": null,
"119": null
},
"sample_holes": {
"22": [
17542
],
"23": [
17543
],
"24": [
17544
]
},
"covers_all_classes": false
},
{
"modulus": 120,
"alpha": 0.3333333333333333,
"limit": 20000,
"n_candidates": 40,
"uncovered_classes": [
0,
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
17,
18,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
65,
66,
67,
68,
69,
70,
71,
72,
73,
74,
75,
76,
77,
78,
79,
80,
81,
82,
83,
84,
85,
86,
87,
88,
89,
90,
91,
92,
93,
94,
95,
96,
97,
98,
99,
100,
101,
102,
103,
104,
105,
106,
107,
108,
109,
110,
111,
112,
113,
114,
115,
116,
117,
118,
119
],
"n_uncovered_classes": 120,
"first_fail_by_class": {
"0": 4680,
"1": 8881,
"2": 8882,
"3": 8883,
"4": 8884,
"5": 8885,
"6": 8886,
"7": 8887,
"8": 8888,
"9": 8889,
"10": 8890,
"11": 4451,
"12": 4452,
"13": 4453,
"14": 4454,
"15": 4455,
"16": 18136,
"17": 6977,
"18": 6978,
"19": 6979,
"20": 6980,
"21": 6981,
"22": 6982,
"23": 6983,
"24": 6984,
"25": 6985,
"26": 6986,
"27": 6987,
"28": 6988,
"29": 6989,
"30": 6990,
"31": 6991,
"32": 6992,
"33": 6993,
"34": 6994,
"35": 6995,
"36": 6996,
"37": 6997,
"38": 6998,
"39": 6999,
"40": 7000,
"41": 19841,
"42": 19842,
"43": 19843,
"44": 13964,
"45": 13965,
"46": 17086,
"47": 6047,
"48": 6048,
"49": 17089,
"50": 17090,
"51": 17091,
"52": 17092,
"53": 12053,
"54": 12054,
"55": 12055,
"56": 12056,
"57": 12057,
"58": 12058,
"59": 12059,
"60": 12060,
"61": 12061,
"62": 11822,
"63": 11823,
"64": 11824,
"65": 11825,
"66": 11826,
"67": 11827,
"68": 11828,
"69": 11829,
"70": 11830,
"71": 4991,
"72": 4992,
"73": 12073,
"74": 12074,
"75": 12075,
"76": 4276,
"77": 4277,
"78": 4278,
"79": 4279,
"80": 4280,
"81": 4281,
"82": 4282,
"83": 4283,
"84": 4284,
"85": 4285,
"86": 4286,
"87": 4287,
"88": 4288,
"89": 4289,
"90": 4290,
"91": 12091,
"92": 12092,
"93": 12093,
"94": 12094,
"95": 12095,
"96": 12096,
"97": 12217,
"98": 12218,
"99": 12219,
"100": 12220,
"101": 941,
"102": 942,
"103": 943,
"104": 944,
"105": 945,
"106": 4666,
"107": 4667,
"108": 4668,
"109": 4669,
"110": 4670,
"111": 4671,
"112": 4672,
"113": 2153,
"114": 2154,
"115": 2155,
"116": 2156,
"117": 4677,
"118": 4678,
"119": 4679
},
"sample_holes": {
"0": [
4680,
4800,
6720,
10080,
11760
],
"1": [
8881
],
"2": [
8882
],
"3": [
8883
],
"4": [
8884
],
"5": [
8885,
10445
],
"6": [
8886,
10446
],
"7": [
8887,
10447
],
"8": [
8888,
10448
],
"9": [
8889,
10449,
18129
],
"10": [
8890,
10450,
18130
],
"11": [
4451,
8891,
18131,
19931
]
},
"covers_all_classes": false
}
],
"rough_short_interval": [
{
"alpha": 0.4,
"limit": 50000,
"first_rough_short_interval_holes": [
3,
4,
5,
7,
11,
12,
13,
14,
15,
22,
23,
31,
41,
42,
43,
44,
45,
46,
47,
53
],
"n_recorded": 40,
"stopped_early": true
},
{
"alpha": 0.3333333333333333,
"limit": 50000,
"first_rough_short_interval_holes": [
3,
4,
5,
6,
7,
11,
12,
13,
14,
15,
19,
20,
21,
22,
23,
24,
25,
26,
31,
40
],
"n_recorded": 40,
"stopped_early": true
}
],
"even_reduction": {
"identity": "if m=a+b then 2m=(2a)+(2b) and P+(2a)=max(2,P+(a))",
"consequence": "F(n) <= max(2, F(odd_part(n)))",
"does_not_remove_the_odd_obstruction": true
},
"is_dent": false,
"reason": "No template covered every residue class at any alpha<1/2. Short-interval alpha=1/2 is the trivial covering. Holes are recorded in certs/covering_search.json."
}