files / problems / two-smooth-summands / compute / certs / f_exceptions_exact.json
{
"exact_1_2": {
"test": "F^2>n",
"X_scan_C": 1000000,
"exceptions": [
{
"n": 3,
"F": 2,
"a": 1,
"b": 2,
"witness_split_P": [
1,
2
]
},
{
"n": 7,
"F": 3,
"a": 1,
"b": 6,
"witness_split_P": [
1,
3
]
},
{
"n": 23,
"F": 5,
"a": 3,
"b": 20,
"witness_split_P": [
3,
5
]
}
]
},
"exact_2_5": {
"test": "F^5>n^2",
"X_scan_C": 1000000,
"exceptions": [
{
"n": 3,
"F": 2,
"a": 1,
"b": 2,
"witness_split_P": [
1,
2
]
},
{
"n": 4,
"F": 2,
"a": 2,
"b": 2,
"witness_split_P": [
2,
2
]
},
{
"n": 5,
"F": 2,
"a": 1,
"b": 4,
"witness_split_P": [
1,
2
]
},
{
"n": 7,
"F": 3,
"a": 1,
"b": 6,
"witness_split_P": [
1,
3
]
},
{
"n": 11,
"F": 3,
"a": 2,
"b": 9,
"witness_split_P": [
2,
3
]
},
{
"n": 13,
"F": 3,
"a": 1,
"b": 12,
"witness_split_P": [
1,
3
]
},
{
"n": 14,
"F": 3,
"a": 2,
"b": 12,
"witness_split_P": [
2,
3
]
},
{
"n": 15,
"F": 3,
"a": 3,
"b": 12,
"witness_split_P": [
3,
3
]
},
{
"n": 23,
"F": 5,
"a": 3,
"b": 20,
"witness_split_P": [
3,
5
]
},
{
"n": 46,
"F": 5,
"a": 1,
"b": 45,
"witness_split_P": [
1,
5
]
},
{
"n": 47,
"F": 5,
"a": 2,
"b": 45,
"witness_split_P": [
2,
5
]
},
{
"n": 53,
"F": 5,
"a": 3,
"b": 50,
"witness_split_P": [
3,
5
]
},
{
"n": 71,
"F": 7,
"a": 1,
"b": 70,
"witness_split_P": [
1,
7
]
},
{
"n": 119,
"F": 7,
"a": 7,
"b": 112,
"witness_split_P": [
7,
7
]
},
{
"n": 311,
"F": 11,
"a": 3,
"b": 308,
"witness_split_P": [
3,
11
]
},
{
"n": 479,
"F": 13,
"a": 11,
"b": 468,
"witness_split_P": [
11,
13
]
}
]
},
"exact_1_3": {
"test": "F^3>n",
"X_scan_C": 300000,
"exceptions": [
{
"n": 3,
"F": 2,
"a": 1,
"b": 2,
"witness_split_P": [
1,
2
]
},
{
"n": 4,
"F": 2,
"a": 2,
"b": 2,
"witness_split_P": [
2,
2
]
},
{
"n": 5,
"F": 2,
"a": 1,
"b": 4,
"witness_split_P": [
1,
2
]
},
{
"n": 6,
"F": 2,
"a": 2,
"b": 4,
"witness_split_P": [
2,
2
]
},
{
"n": 7,
"F": 3,
"a": 1,
"b": 6,
"witness_split_P": [
1,
3
]
},
{
"n": 11,
"F": 3,
"a": 2,
"b": 9,
"witness_split_P": [
2,
3
]
},
{
"n": 13,
"F": 3,
"a": 1,
"b": 12,
"witness_split_P": [
1,
3
]
},
{
"n": 14,
"F": 3,
"a": 2,
"b": 12,
"witness_split_P": [
2,
3
]
},
{
"n": 15,
"F": 3,
"a": 3,
"b": 12,
"witness_split_P": [
3,
3
]
},
{
"n": 19,
"F": 3,
"a": 1,
"b": 18,
"witness_split_P": [
1,
3
]
},
{
"n": 21,
"F": 3,
"a": 3,
"b": 18,
"witness_split_P": [
3,
3
]
},
{
"n": 22,
"F": 3,
"a": 4,
"b": 18,
"witness_split_P": [
2,
3
]
},
{
"n": 23,
"F": 5,
"a": 3,
"b": 20,
"witness_split_P": [
3,
5
]
},
{
"n": 25,
"F": 3,
"a": 1,
"b": 24,
"witness_split_P": [
1,
3
]
},
{
"n": 26,
"F": 3,
"a": 2,
"b": 24,
"witness_split_P": [
2,
3
]
},
{
"n": 46,
"F": 5,
"a": 1,
"b": 45,
"witness_split_P": [
1,
5
]
},
{
"n": 47,
"F": 5,
"a": 2,
"b": 45,
"witness_split_P": [
2,
5
]
},
{
"n": 53,
"F": 5,
"a": 3,
"b": 50,
"witness_split_P": [
3,
5
]
},
{
"n": 61,
"F": 5,
"a": 1,
"b": 60,
"witness_split_P": [
1,
5
]
},
{
"n": 69,
"F": 5,
"a": 5,
"b": 64,
"witness_split_P": [
5,
2
]
},
{
"n": 71,
"F": 7,
"a": 1,
"b": 70,
"witness_split_P": [
1,
7
]
},
{
"n": 77,
"F": 5,
"a": 2,
"b": 75,
"witness_split_P": [
2,
5
]
},
{
"n": 79,
"F": 5,
"a": 4,
"b": 75,
"witness_split_P": [
2,
5
]
},
{
"n": 92,
"F": 5,
"a": 2,
"b": 90,
"witness_split_P": [
2,
5
]
},
{
"n": 94,
"F": 5,
"a": 4,
"b": 90,
"witness_split_P": [
2,
5
]
},
{
"n": 95,
"F": 5,
"a": 5,
"b": 90,
"witness_split_P": [
5,
5
]
},
{
"n": 101,
"F": 5,
"a": 1,
"b": 100,
"witness_split_P": [
1,
5
]
},
{
"n": 103,
"F": 5,
"a": 3,
"b": 100,
"witness_split_P": [
3,
5
]
},
{
"n": 106,
"F": 5,
"a": 6,
"b": 100,
"witness_split_P": [
3,
5
]
},
{
"n": 107,
"F": 5,
"a": 27,
"b": 80,
"witness_split_P": [
3,
5
]
},
{
"n": 115,
"F": 5,
"a": 15,
"b": 100,
"witness_split_P": [
5,
5
]
},
{
"n": 119,
"F": 7,
"a": 7,
"b": 112,
"witness_split_P": [
7,
7
]
},
{
"n": 121,
"F": 5,
"a": 1,
"b": 120,
"witness_split_P": [
1,
5
]
},
{
"n": 122,
"F": 5,
"a": 2,
"b": 120,
"witness_split_P": [
2,
5
]
},
{
"n": 142,
"F": 7,
"a": 2,
"b": 140,
"witness_split_P": [
2,
7
]
},
{
"n": 191,
"F": 7,
"a": 2,
"b": 189,
"witness_split_P": [
2,
7
]
},
{
"n": 211,
"F": 7,
"a": 1,
"b": 210,
"witness_split_P": [
1,
7
]
},
{
"n": 213,
"F": 7,
"a": 3,
"b": 210,
"witness_split_P": [
3,
7
]
},
{
"n": 223,
"F": 7,
"a": 7,
"b": 216,
"witness_split_P": [
7,
3
]
},
{
"n": 238,
"F": 7,
"a": 14,
"b": 224,
"witness_split_P": [
7,
7
]
},
{
"n": 239,
"F": 7,
"a": 14,
"b": 225,
"witness_split_P": [
7,
5
]
},
{
"n": 284,
"F": 7,
"a": 4,
"b": 280,
"witness_split_P": [
2,
7
]
},
{
"n": 299,
"F": 7,
"a": 5,
"b": 294,
"witness_split_P": [
5,
7
]
},
{
"n": 311,
"F": 11,
"a": 3,
"b": 308,
"witness_split_P": [
3,
11
]
},
{
"n": 319,
"F": 7,
"a": 4,
"b": 315,
"witness_split_P": [
2,
7
]
},
{
"n": 479,
"F": 13,
"a": 11,
"b": 468,
"witness_split_P": [
11,
13
]
},
{
"n": 551,
"F": 11,
"a": 1,
"b": 550,
"witness_split_P": [
1,
11
]
},
{
"n": 619,
"F": 11,
"a": 3,
"b": 616,
"witness_split_P": [
3,
11
]
},
{
"n": 622,
"F": 11,
"a": 6,
"b": 616,
"witness_split_P": [
3,
11
]
},
{
"n": 671,
"F": 11,
"a": 11,
"b": 660,
"witness_split_P": [
11,
11
]
},
{
"n": 719,
"F": 11,
"a": 15,
"b": 704,
"witness_split_P": [
5,
11
]
},
{
"n": 839,
"F": 11,
"a": 14,
"b": 825,
"witness_split_P": [
7,
11
]
},
{
"n": 851,
"F": 11,
"a": 4,
"b": 847,
"witness_split_P": [
2,
11
]
},
{
"n": 933,
"F": 11,
"a": 9,
"b": 924,
"witness_split_P": [
3,
11
]
},
{
"n": 937,
"F": 11,
"a": 55,
"b": 882,
"witness_split_P": [
11,
7
]
},
{
"n": 958,
"F": 13,
"a": 13,
"b": 945,
"witness_split_P": [
13,
7
]
},
{
"n": 1102,
"F": 11,
"a": 2,
"b": 1100,
"witness_split_P": [
2,
11
]
},
{
"n": 1103,
"F": 11,
"a": 3,
"b": 1100,
"witness_split_P": [
3,
11
]
},
{
"n": 1117,
"F": 11,
"a": 28,
"b": 1089,
"witness_split_P": [
7,
11
]
},
{
"n": 1151,
"F": 13,
"a": 7,
"b": 1144,
"witness_split_P": [
7,
13
]
},
{
"n": 1193,
"F": 11,
"a": 5,
"b": 1188,
"witness_split_P": [
5,
11
]
},
{
"n": 1238,
"F": 11,
"a": 6,
"b": 1232,
"witness_split_P": [
3,
11
]
},
{
"n": 1244,
"F": 11,
"a": 12,
"b": 1232,
"witness_split_P": [
3,
11
]
},
{
"n": 1291,
"F": 11,
"a": 11,
"b": 1280,
"witness_split_P": [
11,
5
]
},
{
"n": 1319,
"F": 13,
"a": 32,
"b": 1287,
"witness_split_P": [
2,
13
]
},
{
"n": 1437,
"F": 13,
"a": 7,
"b": 1430,
"witness_split_P": [
7,
13
]
},
{
"n": 1559,
"F": 17,
"a": 12,
"b": 1547,
"witness_split_P": [
3,
17
]
},
{
"n": 1679,
"F": 13,
"a": 15,
"b": 1664,
"witness_split_P": [
5,
13
]
},
{
"n": 1916,
"F": 13,
"a": 5,
"b": 1911,
"witness_split_P": [
5,
13
]
},
{
"n": 2999,
"F": 17,
"a": 7,
"b": 2992,
"witness_split_P": [
7,
17
]
},
{
"n": 3071,
"F": 17,
"a": 11,
"b": 3060,
"witness_split_P": [
11,
17
]
},
{
"n": 3118,
"F": 17,
"a": 24,
"b": 3094,
"witness_split_P": [
3,
17
]
},
{
"n": 4677,
"F": 17,
"a": 2,
"b": 4675,
"witness_split_P": [
2,
17
]
},
{
"n": 5711,
"F": 19,
"a": 11,
"b": 5700,
"witness_split_P": [
11,
19
]
},
{
"n": 10559,
"F": 23,
"a": 2,
"b": 10557,
"witness_split_P": [
2,
23
]
},
{
"n": 18191,
"F": 29,
"a": 8,
"b": 18183,
"witness_split_P": [
2,
29
]
}
]
},
"spot_nonexceptions": [
{
"n": 2,
"F": 1,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": true
},
{
"n": 4,
"F": 2,
"le_sqrt": true,
"le_2_5": false,
"le_1_3": false
},
{
"n": 5,
"F": 2,
"le_sqrt": true,
"le_2_5": false,
"le_1_3": false
},
{
"n": 6,
"F": 2,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": false
},
{
"n": 8,
"F": 2,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": true
},
{
"n": 9,
"F": 2,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": true
},
{
"n": 24,
"F": 2,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": true
},
{
"n": 25,
"F": 3,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": false
},
{
"n": 27,
"F": 3,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": true
},
{
"n": 125,
"F": 5,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": true
},
{
"n": 480,
"F": 3,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": true
},
{
"n": 1559,
"F": 17,
"le_sqrt": true,
"le_2_5": true,
"le_1_3": false
}
],
"is_dent": false
}