files / problems / two-smooth-summands / compute / q1 / certs / q1_search.json
{
"limit": 20000,
"two_factor_limit": 20000,
"exponents": [
"9/20",
"2/5",
"1/3",
"27/100"
],
"closed_form": [
{
"template": "square_plus_remainder",
"exponent": "9/20",
"limit": 20000,
"first_hole": 3,
"last_hole": 19994,
"n_holes": 7081,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
7,
9,
10,
11,
14,
16,
21,
23,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
43,
47,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59,
60,
61,
62,
63,
64,
71
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "square_plus_remainder",
"exponent": "2/5",
"limit": 20000,
"first_hole": 3,
"last_hole": 19999,
"n_holes": 10053,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
7,
9,
10,
11,
12,
13,
14,
15,
16,
21,
23,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
41,
43,
46,
47,
49,
50,
51,
52,
53,
54,
55,
56,
57,
58,
59
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "square_plus_remainder",
"exponent": "1/3",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 13646,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
6,
7,
9,
10,
11,
12,
13,
14,
15,
16,
19,
21,
22,
23,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
41,
43,
46,
47,
49,
50,
51,
52,
53,
54,
55
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "square_plus_remainder",
"exponent": "27/100",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 16950,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
19,
21,
22,
23,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "largest_pow2",
"exponent": "9/20",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 12737,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
7,
11,
13,
15,
21,
23,
26,
27,
29,
30,
31,
39,
43,
45,
46,
49,
51,
53,
54,
55,
58,
60,
61,
63,
71,
75,
77,
81,
83,
86,
87,
90,
93,
95,
97,
98,
101,
102
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "largest_pow2",
"exponent": "2/5",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 14602,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
7,
11,
13,
14,
15,
21,
23,
26,
27,
29,
30,
31,
37,
39,
42,
43,
45,
46,
47,
49,
51,
52,
53,
54,
55,
58,
60,
61,
63,
71,
75,
77,
78,
81,
83,
85,
86
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "largest_pow2",
"exponent": "1/3",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 16708,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
6,
7,
11,
13,
14,
15,
19,
21,
22,
23,
25,
26,
27,
29,
30,
31,
37,
39,
42,
43,
45,
46,
47,
49,
51,
52,
53,
54,
55,
57,
58,
60,
61,
62,
63,
69,
71
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "largest_pow2",
"exponent": "27/100",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 18287,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
19,
21,
22,
23,
25,
26,
27,
28,
29,
30,
31,
35,
37,
38,
39,
41,
42,
43,
44,
45,
46,
47,
49,
50,
51,
52,
53
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "triangular",
"exponent": "9/20",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 12272,
"n_holes_recorded": 40,
"first_holes": [
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,
43,
52,
56,
57,
58,
59
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "triangular",
"exponent": "2/5",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 14613,
"n_holes_recorded": 40,
"first_holes": [
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,
41,
43,
46,
47,
48,
49
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "triangular",
"exponent": "1/3",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 17731,
"n_holes_recorded": 40,
"first_holes": [
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,
41,
43,
46,
47,
48,
49
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "triangular",
"exponent": "27/100",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 19523,
"n_holes_recorded": 40,
"first_holes": [
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
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "cube",
"exponent": "9/20",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 9316,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
6,
7,
8,
11,
13,
15,
18,
19,
21,
22,
23,
25,
27,
32,
34,
38,
40,
41,
44,
46,
48,
49,
50,
53,
55,
56,
58,
60,
61,
62,
64,
71,
75,
77,
81,
83,
86,
87
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "cube",
"exponent": "2/5",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 11375,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
6,
7,
8,
11,
13,
14,
15,
18,
19,
21,
22,
23,
25,
27,
32,
34,
37,
38,
40,
41,
42,
44,
46,
47,
48,
49,
50,
52,
53,
55,
56,
58,
60,
61,
62,
64,
71
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "cube",
"exponent": "1/3",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 14094,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
6,
7,
8,
11,
13,
14,
15,
17,
18,
19,
20,
21,
22,
23,
25,
26,
27,
32,
34,
37,
38,
40,
41,
42,
44,
46,
47,
48,
49,
50,
52,
53,
55,
56,
57,
58,
60
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "cube",
"exponent": "27/100",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 17360,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
17,
18,
19,
20,
21,
22,
23,
25,
26,
27,
28,
29,
30,
31,
32,
33,
34,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
}
],
"floor_divisor": [
{
"template": "floor_divisor",
"exponent": "9/20",
"limit": 20000,
"first_hole": 3,
"last_hole": 19890,
"n_holes": 6034,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
7,
8,
11,
16,
17,
18,
22,
23,
24,
29,
30,
31,
32,
36,
37,
38,
39,
40,
67,
68,
69,
70,
71,
72,
78,
79,
80,
81,
82,
83,
84,
92,
93,
94,
95,
96,
97,
98
],
"covers_the_range": false,
"holes_persist_to_limit": false,
"is_dent": false
},
{
"template": "floor_divisor",
"exponent": "2/5",
"limit": 20000,
"first_hole": 3,
"last_hole": 19968,
"n_holes": 9585,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
7,
8,
11,
12,
13,
14,
15,
16,
17,
18,
22,
23,
24,
31,
32,
41,
42,
43,
44,
45,
46,
47,
48,
53,
54,
55,
56,
57,
58,
59,
60,
66,
67,
68,
69,
70,
71
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "floor_divisor",
"exponent": "1/3",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 14244,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
6,
7,
8,
11,
12,
13,
14,
15,
16,
19,
20,
21,
22,
23,
24,
25,
26,
31,
32,
33,
34,
35,
36,
40,
41,
42,
43,
44,
45,
46,
47,
48,
52,
53,
54,
58,
59
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
},
{
"template": "floor_divisor",
"exponent": "27/100",
"limit": 20000,
"first_hole": 3,
"last_hole": 20000,
"n_holes": 17848,
"n_holes_recorded": 40,
"first_holes": [
3,
4,
5,
6,
7,
8,
9,
10,
11,
12,
13,
14,
15,
16,
19,
20,
21,
22,
23,
24,
25,
26,
27,
28,
29,
30,
31,
32,
35,
36,
37,
38,
39,
40,
41,
42,
43,
44,
45,
46
],
"covers_the_range": false,
"holes_persist_to_limit": true,
"is_dent": false
}
],
"two_factor": [
{
"template": "two_factor",
"alpha": "1/5",
"exponent": "2/5",
"limit": 20000,
"first_hole": 3,
"last_hole": 479,
"n_holes": 16,
"first_holes": [
3,
4,
5,
7,
11,
13,
14,
15,
23,
46,
47,
53,
71,
119,
311,
479
],
"covers_the_range": false,
"is_dent": false,
"matches_known_F_exceptions": true,
"known_F_exceptions_2_5": [
3,
4,
5,
7,
11,
13,
14,
15,
23,
46,
47,
53,
71,
119,
311,
479
]
},
{
"template": "two_factor",
"alpha": "1/5",
"exponent": "1/3",
"limit": 20000,
"first_hole": 3,
"last_hole": 18191,
"n_holes": 76,
"first_holes": [
3,
4,
5,
6,
7,
11,
13,
14,
15,
19,
21,
22,
23,
25,
26,
46,
47,
53,
61,
69,
71,
77,
79,
92,
94,
95,
101,
103,
106,
107,
115,
119,
121,
122,
142,
191,
211,
213,
223,
238,
239,
284,
299,
311,
319,
479,
551,
619,
622,
671,
719,
839,
851,
933,
937,
958,
1102,
1103,
1117,
1151,
1193,
1238,
1244,
1291,
1319,
1437,
1559,
1679,
1916,
2999,
3071,
3118,
4677,
5711,
10559,
18191
],
"covers_the_range": false,
"is_dent": false
}
],
"square_trivial_bound_holes": [],
"is_dent": false,
"reason": "Every closed-form template has a first hole at every tested exponent below 1/2. The square template is the 1/2 covering already recorded. Two-factor at u<=n^{1/5} is a thin search, not an infinite cover."
}