files / problems / two-squares-gap / compute / shiu_family_m200.json
{
"m_max": 200,
"n_family": 100,
"empty_open_intervals": [
2
],
"fails_a3": [
2
],
"max_actual_ratio": 1.8685519109128004,
"argmax_m": 2,
"n_is_two_square_count": 35,
"rows": [
{
"m": 2,
"u": 4,
"n": 21,
"prev": 20,
"bc": 25,
"gap_bc": 4,
"phi": 6.054800208070183,
"phi_minus_3": 3.0548002080701826,
"bc_fails_a3": true,
"empty_open_interval": true,
"n_is_two_square": false,
"actual_next": 25,
"actual_gap": 4,
"ratio": 1.8685519109128004,
"witness": [
5,
0,
25
]
},
{
"m": 4,
"u": 12,
"n": 161,
"prev": 160,
"bc": 169,
"gap_bc": 8,
"phi": 10.075148650198477,
"phi_minus_3": 7.075148650198477,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 162,
"actual_gap": 1,
"ratio": 0.28073304156067924,
"witness": [
9,
9,
162
],
"beats_a3": true
},
{
"m": 6,
"u": 24,
"n": 613,
"prev": 612,
"bc": 625,
"gap_bc": 12,
"phi": 14.073759073191468,
"phi_minus_3": 11.073759073191468,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 613,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
17,
18,
613
],
"beats_a3": true
},
{
"m": 8,
"u": 40,
"n": 1665,
"prev": 1664,
"bc": 1681,
"gap_bc": 16,
"phi": 18.067520366936098,
"phi_minus_3": 15.067520366936098,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 1665,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
12,
39,
1665
],
"beats_a3": true
},
{
"m": 10,
"u": 60,
"n": 3701,
"prev": 3700,
"bc": 3721,
"gap_bc": 20,
"phi": 22.06097816453668,
"phi_minus_3": 19.06097816453668,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 3701,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
26,
55,
3701
],
"beats_a3": true
},
{
"m": 12,
"u": 84,
"n": 7201,
"prev": 7200,
"bc": 7225,
"gap_bc": 24,
"phi": 26.055127110694684,
"phi_minus_3": 23.055127110694684,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 7202,
"actual_gap": 1,
"ratio": 0.10855549131384677,
"witness": [
31,
79,
7202
],
"beats_a3": true
},
{
"m": 14,
"u": 112,
"n": 12741,
"prev": 12740,
"bc": 12769,
"gap_bc": 28,
"phi": 30.050096599006867,
"phi_minus_3": 27.050096599006867,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 12745,
"actual_gap": 4,
"ratio": 0.37649491281031927,
"witness": [
36,
107,
12745
],
"beats_a3": true
},
{
"m": 16,
"u": 144,
"n": 20993,
"prev": 20992,
"bc": 21025,
"gap_bc": 32,
"phi": 34.04580598597022,
"phi_minus_3": 31.04580598597022,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 20996,
"actual_gap": 3,
"ratio": 0.24923132610622384,
"witness": [
50,
136,
20996
],
"beats_a3": true
},
{
"m": 18,
"u": 180,
"n": 32725,
"prev": 32724,
"bc": 32761,
"gap_bc": 36,
"phi": 38.042137179843664,
"phi_minus_3": 35.042137179843664,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 32733,
"actual_gap": 8,
"ratio": 0.5947987856465248,
"witness": [
117,
138,
32733
],
"beats_a3": true
},
{
"m": 20,
"u": 220,
"n": 48801,
"prev": 48800,
"bc": 48841,
"gap_bc": 40,
"phi": 42.03898036116492,
"phi_minus_3": 39.03898036116492,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 48802,
"actual_gap": 1,
"ratio": 0.06728105916096519,
"witness": [
29,
219,
48802
],
"beats_a3": true
},
{
"m": 22,
"u": 264,
"n": 70181,
"prev": 70180,
"bc": 70225,
"gap_bc": 44,
"phi": 46.036243819319274,
"phi_minus_3": 43.036243819319274,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 70181,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
110,
241,
70181
],
"beats_a3": true
},
{
"m": 24,
"u": 312,
"n": 97921,
"prev": 97920,
"bc": 97969,
"gap_bc": 48,
"phi": 50.033853602485955,
"phi_minus_3": 47.033853602485955,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 97921,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
89,
300,
97921
],
"beats_a3": true
},
{
"m": 26,
"u": 364,
"n": 133173,
"prev": 133172,
"bc": 133225,
"gap_bc": 52,
"phi": 54.03175067836155,
"phi_minus_3": 51.03175067836155,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 133173,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
162,
327,
133173
],
"beats_a3": true
},
{
"m": 28,
"u": 420,
"n": 177185,
"prev": 177184,
"bc": 177241,
"gap_bc": 56,
"phi": 58.029887915262364,
"phi_minus_3": 55.029887915262364,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 177185,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
128,
401,
177185
],
"beats_a3": true
},
{
"m": 30,
"u": 480,
"n": 231301,
"prev": 231300,
"bc": 231361,
"gap_bc": 60,
"phi": 62.02822750286652,
"phi_minus_3": 59.02822750286652,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 231304,
"actual_gap": 3,
"ratio": 0.1367970957068931,
"witness": [
102,
470,
231304
],
"beats_a3": true
},
{
"m": 32,
"u": 544,
"n": 296961,
"prev": 296960,
"bc": 297025,
"gap_bc": 64,
"phi": 66.02673890117339,
"phi_minus_3": 63.02673890117339,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 296962,
"actual_gap": 1,
"ratio": 0.0428376014296221,
"witness": [
219,
499,
296962
],
"beats_a3": true
},
{
"m": 34,
"u": 612,
"n": 375701,
"prev": 375700,
"bc": 375769,
"gap_bc": 68,
"phi": 70.02539725350614,
"phi_minus_3": 67.02539725350614,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 375701,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
130,
599,
375701
],
"beats_a3": true
},
{
"m": 36,
"u": 684,
"n": 469153,
"prev": 469152,
"bc": 469225,
"gap_bc": 72,
"phi": 74.02418216984289,
"phi_minus_3": 71.02418216984289,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 469153,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
172,
663,
469153
],
"beats_a3": true
},
{
"m": 38,
"u": 760,
"n": 579045,
"prev": 579044,
"bc": 579121,
"gap_bc": 76,
"phi": 78.02307679473572,
"phi_minus_3": 75.02307679473572,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 579050,
"actual_gap": 5,
"ratio": 0.1812558053937849,
"witness": [
95,
755,
579050
],
"beats_a3": true
},
{
"m": 40,
"u": 840,
"n": 707201,
"prev": 707200,
"bc": 707281,
"gap_bc": 80,
"phi": 82.0220670907191,
"phi_minus_3": 79.0220670907191,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 707202,
"actual_gap": 1,
"ratio": 0.03448373376908262,
"witness": [
129,
831,
707202
],
"beats_a3": true
},
{
"m": 42,
"u": 924,
"n": 855541,
"prev": 855540,
"bc": 855625,
"gap_bc": 84,
"phi": 86.02114128422775,
"phi_minus_3": 83.02114128422775,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 855553,
"actual_gap": 12,
"ratio": 0.3945672539359518,
"witness": [
348,
857,
855553
],
"beats_a3": true
},
{
"m": 44,
"u": 1012,
"n": 1026081,
"prev": 1026080,
"bc": 1026169,
"gap_bc": 88,
"phi": 90.02028943424605,
"phi_minus_3": 87.02028943424605,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 1026082,
"actual_gap": 1,
"ratio": 0.03141988481176981,
"witness": [
219,
989,
1026082
],
"beats_a3": true
},
{
"m": 46,
"u": 1104,
"n": 1220933,
"prev": 1220932,
"bc": 1221025,
"gap_bc": 92,
"phi": 94.0195030940515,
"phi_minus_3": 91.0195030940515,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 1220933,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
322,
1057,
1220933
],
"beats_a3": true
},
{
"m": 48,
"u": 1200,
"n": 1442305,
"prev": 1442304,
"bc": 1442401,
"gap_bc": 96,
"phi": 98.01877504399059,
"phi_minus_3": 95.01877504399059,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 1442305,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
336,
1153,
1442305
],
"beats_a3": true
},
{
"m": 50,
"u": 1300,
"n": 1692501,
"prev": 1692500,
"bc": 1692601,
"gap_bc": 100,
"phi": 102.0180990788177,
"phi_minus_3": 99.0180990788177,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 1692505,
"actual_gap": 4,
"ratio": 0.11089903263384622,
"witness": [
291,
1268,
1692505
],
"beats_a3": true
},
{
"m": 52,
"u": 1404,
"n": 1973921,
"prev": 1973920,
"bc": 1974025,
"gap_bc": 104,
"phi": 106.01746983724375,
"phi_minus_3": 103.01746983724375,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 1973921,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
236,
1385,
1973921
],
"beats_a3": true
},
{
"m": 54,
"u": 1512,
"n": 2289061,
"prev": 2289060,
"bc": 2289169,
"gap_bc": 108,
"phi": 110.01688266437161,
"phi_minus_3": 107.01688266437161,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 2289061,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
145,
1506,
2289061
],
"beats_a3": true
},
{
"m": 56,
"u": 1624,
"n": 2640513,
"prev": 2640512,
"bc": 2640625,
"gap_bc": 112,
"phi": 114.01633349993733,
"phi_minus_3": 111.01633349993733,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 2640521,
"actual_gap": 8,
"ratio": 0.19845767973219347,
"witness": [
340,
1589,
2640521
],
"beats_a3": true
},
{
"m": 58,
"u": 1740,
"n": 3030965,
"prev": 3030964,
"bc": 3031081,
"gap_bc": 116,
"phi": 118.01581878694095,
"phi_minus_3": 115.01581878694095,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 3030970,
"actual_gap": 5,
"ratio": 0.11983254252772978,
"witness": [
453,
1681,
3030970
],
"beats_a3": true
},
{
"m": 60,
"u": 1860,
"n": 3463201,
"prev": 3463200,
"bc": 3463321,
"gap_bc": 120,
"phi": 122.01533539649611,
"phi_minus_3": 119.01533539649611,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 3463204,
"actual_gap": 3,
"ratio": 0.06954274515301821,
"witness": [
480,
1798,
3463204
],
"beats_a3": true
},
{
"m": 62,
"u": 1984,
"n": 3940101,
"prev": 3940100,
"bc": 3940225,
"gap_bc": 124,
"phi": 126.01488056566437,
"phi_minus_3": 123.01488056566437,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 3940105,
"actual_gap": 4,
"ratio": 0.08978073421328496,
"witness": [
259,
1968,
3940105
],
"beats_a3": true
},
{
"m": 64,
"u": 2112,
"n": 4464641,
"prev": 4464640,
"bc": 4464769,
"gap_bc": 128,
"phi": 130.01445184574962,
"phi_minus_3": 127.01445184574962,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 4464641,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
880,
1921,
4464641
],
"beats_a3": true
},
{
"m": 66,
"u": 2244,
"n": 5039893,
"prev": 5039892,
"bc": 5040025,
"gap_bc": 132,
"phi": 134.01404705906947,
"phi_minus_3": 131.01404705906947,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 5039905,
"actual_gap": 12,
"ratio": 0.253265431809503,
"witness": [
241,
2232,
5039905
],
"beats_a3": true
},
{
"m": 68,
"u": 2380,
"n": 5669025,
"prev": 5669024,
"bc": 5669161,
"gap_bc": 136,
"phi": 138.01366426263468,
"phi_minus_3": 135.01366426263468,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 5669028,
"actual_gap": 3,
"ratio": 0.06148145851769726,
"witness": [
1638,
1728,
5669028
],
"beats_a3": true
},
{
"m": 70,
"u": 2520,
"n": 6355301,
"prev": 6355300,
"bc": 6355441,
"gap_bc": 140,
"phi": 142.01330171749018,
"phi_minus_3": 139.01330171749018,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 6355301,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
910,
2351,
6355301
],
"beats_a3": true
},
{
"m": 72,
"u": 2664,
"n": 7102081,
"prev": 7102080,
"bc": 7102225,
"gap_bc": 144,
"phi": 146.0129578627185,
"phi_minus_3": 143.0129578627185,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 7102082,
"actual_gap": 1,
"ratio": 0.019371069295133925,
"witness": [
1181,
2389,
7102082
],
"beats_a3": true
},
{
"m": 74,
"u": 2812,
"n": 7912821,
"prev": 7912820,
"bc": 7912969,
"gap_bc": 148,
"phi": 150.0126312933036,
"phi_minus_3": 147.0126312933036,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 7912825,
"actual_gap": 4,
"ratio": 0.07541837244934582,
"witness": [
501,
2768,
7912825
],
"beats_a3": true
},
{
"m": 76,
"u": 2964,
"n": 8791073,
"prev": 8791072,
"bc": 8791225,
"gap_bc": 152,
"phi": 154.0123207412047,
"phi_minus_3": 151.0123207412047,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 8791074,
"actual_gap": 1,
"ratio": 0.018364940617309124,
"witness": [
243,
2955,
8791074
],
"beats_a3": true
},
{
"m": 78,
"u": 3120,
"n": 9740485,
"prev": 9740484,
"bc": 9740641,
"gap_bc": 156,
"phi": 158.01202505911223,
"phi_minus_3": 155.01202505911223,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 9740485,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
702,
3041,
9740485
],
"beats_a3": true
},
{
"m": 80,
"u": 3280,
"n": 10764801,
"prev": 10764800,
"bc": 10764961,
"gap_bc": 160,
"phi": 162.01174320645475,
"phi_minus_3": 159.01174320645475,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 10764801,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
720,
3201,
10764801
],
"beats_a3": true
},
{
"m": 82,
"u": 3444,
"n": 11867861,
"prev": 11867860,
"bc": 11868025,
"gap_bc": 164,
"phi": 166.01147423730174,
"phi_minus_3": 163.01147423730174,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 11867861,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
310,
3431,
11867861
],
"beats_a3": true
},
{
"m": 84,
"u": 3612,
"n": 13053601,
"prev": 13053600,
"bc": 13053769,
"gap_bc": 168,
"phi": 170.01121728987056,
"phi_minus_3": 167.01121728987056,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 13053601,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
1815,
3124,
13053601
],
"beats_a3": true
},
{
"m": 86,
"u": 3784,
"n": 14326053,
"prev": 14326052,
"bc": 14326225,
"gap_bc": 172,
"phi": 174.0109715773954,
"phi_minus_3": 171.0109715773954,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 14326058,
"actual_gap": 5,
"ratio": 0.08127151693674045,
"witness": [
1147,
3607,
14326058
],
"beats_a3": true
},
{
"m": 88,
"u": 3960,
"n": 15689345,
"prev": 15689344,
"bc": 15689521,
"gap_bc": 176,
"phi": 178.01073638015723,
"phi_minus_3": 175.01073638015723,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 15689354,
"actual_gap": 9,
"ratio": 0.14300173484116468,
"witness": [
1427,
3695,
15689354
],
"beats_a3": true
},
{
"m": 90,
"u": 4140,
"n": 17147701,
"prev": 17147700,
"bc": 17147881,
"gap_bc": 180,
"phi": 182.0105110385059,
"phi_minus_3": 179.0105110385059,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 17147705,
"actual_gap": 4,
"ratio": 0.06215964360756752,
"witness": [
128,
4139,
17147705
],
"beats_a3": true
},
{
"m": 92,
"u": 4324,
"n": 18705441,
"prev": 18705440,
"bc": 18705625,
"gap_bc": 184,
"phi": 186.01029494673435,
"phi_minus_3": 183.01029494673435,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 18705448,
"actual_gap": 7,
"ratio": 0.10644029073171968,
"witness": [
2538,
3502,
18705448
],
"beats_a3": true
},
{
"m": 94,
"u": 4512,
"n": 20366981,
"prev": 20366980,
"bc": 20367169,
"gap_bc": 188,
"phi": 190.01008754768563,
"phi_minus_3": 187.01008754768563,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 20366992,
"actual_gap": 11,
"ratio": 0.16374235059704362,
"witness": [
3104,
3276,
20366992
],
"beats_a3": true
},
{
"m": 96,
"u": 4704,
"n": 22136833,
"prev": 22136832,
"bc": 22137025,
"gap_bc": 192,
"phi": 194.00988832799302,
"phi_minus_3": 191.00988832799302,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 22136834,
"actual_gap": 1,
"ratio": 0.014578778170133538,
"witness": [
1453,
4475,
22136834
],
"beats_a3": true
},
{
"m": 98,
"u": 4900,
"n": 24019605,
"prev": 24019604,
"bc": 24019801,
"gap_bc": 196,
"phi": 198.00969681386837,
"phi_minus_3": 195.00969681386837,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 24019609,
"actual_gap": 4,
"ratio": 0.05713714369059304,
"witness": [
453,
4880,
24019609
],
"beats_a3": true
},
{
"m": 100,
"u": 5100,
"n": 26020001,
"prev": 26020000,
"bc": 26020201,
"gap_bc": 200,
"phi": 202.00951256736627,
"phi_minus_3": 199.00951256736627,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 26020004,
"actual_gap": 3,
"ratio": 0.04200436537070943,
"witness": [
848,
5030,
26020004
],
"beats_a3": true
},
{
"m": 102,
"u": 5304,
"n": 28142821,
"prev": 28142820,
"bc": 28143025,
"gap_bc": 204,
"phi": 206.0093351830631,
"phi_minus_3": 203.0093351830631,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 28142825,
"actual_gap": 4,
"ratio": 0.05491842633699694,
"witness": [
460,
5285,
28142825
],
"beats_a3": true
},
{
"m": 104,
"u": 5512,
"n": 30392961,
"prev": 30392960,
"bc": 30393169,
"gap_bc": 208,
"phi": 210.0091642850976,
"phi_minus_3": 207.0091642850976,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 30392968,
"actual_gap": 7,
"ratio": 0.09427678997067598,
"witness": [
1298,
5358,
30392968
],
"beats_a3": true
},
{
"m": 106,
"u": 5724,
"n": 32775413,
"prev": 32775412,
"bc": 32775625,
"gap_bc": 212,
"phi": 214.00899952452875,
"phi_minus_3": 211.00899952452875,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 32775426,
"actual_gap": 13,
"ratio": 0.17181311395031365,
"witness": [
1185,
5601,
32775426
],
"beats_a3": true
},
{
"m": 108,
"u": 5940,
"n": 35295265,
"prev": 35295264,
"bc": 35295481,
"gap_bc": 216,
"phi": 218.00884057697118,
"phi_minus_3": 215.00884057697118,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 35295269,
"actual_gap": 4,
"ratio": 0.05189564087879405,
"witness": [
1630,
5713,
35295269
],
"beats_a3": true
},
{
"m": 110,
"u": 6160,
"n": 37957701,
"prev": 37957700,
"bc": 37957921,
"gap_bc": 220,
"phi": 222.00868714047547,
"phi_minus_3": 219.00868714047547,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 37957712,
"actual_gap": 11,
"ratio": 0.14014180603897541,
"witness": [
836,
6104,
37957712
],
"beats_a3": true
},
{
"m": 112,
"u": 6384,
"n": 40768001,
"prev": 40768000,
"bc": 40768225,
"gap_bc": 224,
"phi": 226.00853893362392,
"phi_minus_3": 223.00853893362392,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 40768001,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
1624,
6175,
40768001
],
"beats_a3": true
},
{
"m": 114,
"u": 6612,
"n": 43731541,
"prev": 43731540,
"bc": 43731769,
"gap_bc": 228,
"phi": 230.00839569381665,
"phi_minus_3": 227.00839569381665,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 43731554,
"actual_gap": 13,
"ratio": 0.1598617846569718,
"witness": [
2977,
5905,
43731554
],
"beats_a3": true
},
{
"m": 116,
"u": 6844,
"n": 46853793,
"prev": 46853792,
"bc": 46854025,
"gap_bc": 232,
"phi": 234.00825717572644,
"phi_minus_3": 231.00825717572644,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 46853797,
"actual_gap": 4,
"ratio": 0.048347475578559736,
"witness": [
3391,
5946,
46853797
],
"beats_a3": true
},
{
"m": 118,
"u": 7080,
"n": 50140325,
"prev": 50140324,
"bc": 50140561,
"gap_bc": 236,
"phi": 238.0081231499033,
"phi_minus_3": 235.0081231499033,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 50140325,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
703,
7046,
50140325
],
"beats_a3": true
},
{
"m": 120,
"u": 7320,
"n": 53596801,
"prev": 53596800,
"bc": 53597041,
"gap_bc": 240,
"phi": 242.00799340151167,
"phi_minus_3": 239.00799340151167,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 53596801,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
1320,
7201,
53596801
],
"beats_a3": true
},
{
"m": 122,
"u": 7564,
"n": 57228981,
"prev": 57228980,
"bc": 57229225,
"gap_bc": 244,
"phi": 246.00786772918647,
"phi_minus_3": 243.00786772918647,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 57228989,
"actual_gap": 8,
"ratio": 0.0919784281975832,
"witness": [
325,
7558,
57228989
],
"beats_a3": true
},
{
"m": 124,
"u": 7812,
"n": 61042721,
"prev": 61042720,
"bc": 61042969,
"gap_bc": 248,
"phi": 250.00774594399468,
"phi_minus_3": 247.00774594399468,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 61042721,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
5489,
5560,
61042721
],
"beats_a3": true
},
{
"m": 126,
"u": 8064,
"n": 65043973,
"prev": 65043972,
"bc": 65044225,
"gap_bc": 252,
"phi": 254.00762786849143,
"phi_minus_3": 251.00762786849143,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 65043981,
"actual_gap": 8,
"ratio": 0.08908164368073436,
"witness": [
1266,
7965,
65043981
],
"beats_a3": true
},
{
"m": 128,
"u": 8320,
"n": 69238785,
"prev": 69238784,
"bc": 69239041,
"gap_bc": 256,
"phi": 258.00751333586066,
"phi_minus_3": 255.00751333586066,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 69238789,
"actual_gap": 4,
"ratio": 0.04385030634459536,
"witness": [
3042,
7745,
69238789
],
"beats_a3": true
},
{
"m": 130,
"u": 8580,
"n": 73633301,
"prev": 73633300,
"bc": 73633561,
"gap_bc": 260,
"phi": 262.00740218913177,
"phi_minus_3": 259.00740218913177,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 73633312,
"actual_gap": 11,
"ratio": 0.11874740221938151,
"witness": [
2116,
8316,
73633312
],
"beats_a3": true
},
{
"m": 132,
"u": 8844,
"n": 78233761,
"prev": 78233760,
"bc": 78234025,
"gap_bc": 264,
"phi": 266.0072942804646,
"phi_minus_3": 263.0072942804646,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 78233762,
"actual_gap": 1,
"ratio": 0.010632893103164457,
"witness": [
881,
8801,
78233762
],
"beats_a3": true
},
{
"m": 134,
"u": 9112,
"n": 83046501,
"prev": 83046500,
"bc": 83046769,
"gap_bc": 268,
"phi": 270.0071894704956,
"phi_minus_3": 267.0071894704956,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 83046501,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
5745,
7074,
83046501
],
"beats_a3": true
},
{
"m": 136,
"u": 9384,
"n": 88077953,
"prev": 88077952,
"bc": 88078225,
"gap_bc": 272,
"phi": 274.0070876277391,
"phi_minus_3": 271.0070876277391,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 88077956,
"actual_gap": 3,
"ratio": 0.030967379156872452,
"witness": [
1184,
9310,
88077956
],
"beats_a3": true
},
{
"m": 138,
"u": 9660,
"n": 93334645,
"prev": 93334644,
"bc": 93334921,
"gap_bc": 276,
"phi": 278.00698862803944,
"phi_minus_3": 275.00698862803944,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 93334649,
"actual_gap": 4,
"ratio": 0.04069577011289448,
"witness": [
6005,
7568,
93334649
],
"beats_a3": true
},
{
"m": 140,
"u": 9940,
"n": 98823201,
"prev": 98823200,
"bc": 98823481,
"gap_bc": 280,
"phi": 282.006892354067,
"phi_minus_3": 279.006892354067,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 98823204,
"actual_gap": 3,
"ratio": 0.03008891486093566,
"witness": [
1680,
9798,
98823204
],
"beats_a3": true
},
{
"m": 142,
"u": 10224,
"n": 104550341,
"prev": 104550340,
"bc": 104550625,
"gap_bc": 284,
"phi": 286.00679869485634,
"phi_minus_3": 283.00679869485634,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 104550345,
"actual_gap": 4,
"ratio": 0.03955748097811995,
"witness": [
756,
10197,
104550345
],
"beats_a3": true
},
{
"m": 144,
"u": 10512,
"n": 110522881,
"prev": 110522880,
"bc": 110523169,
"gap_bc": 288,
"phi": 290.0067075453802,
"phi_minus_3": 287.0067075453802,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 110522881,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
4816,
9345,
110522881
],
"beats_a3": true
},
{
"m": 146,
"u": 10804,
"n": 116747733,
"prev": 116747732,
"bc": 116748025,
"gap_bc": 292,
"phi": 294.0066188061583,
"phi_minus_3": 291.0066188061583,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 116747737,
"actual_gap": 4,
"ratio": 0.038481135373499904,
"witness": [
6691,
8484,
116747737
],
"beats_a3": true
},
{
"m": 148,
"u": 11100,
"n": 123231905,
"prev": 123231904,
"bc": 123232201,
"gap_bc": 296,
"phi": 298.006532382896,
"phi_minus_3": 295.006532382896,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 123231908,
"actual_gap": 3,
"ratio": 0.02847347441141388,
"witness": [
6712,
8842,
123231908
],
"beats_a3": true
},
{
"m": 150,
"u": 11400,
"n": 129982501,
"prev": 129982500,
"bc": 129982801,
"gap_bc": 300,
"phi": 302.0064481861508,
"phi_minus_3": 299.0064481861508,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 129982505,
"actual_gap": 4,
"ratio": 0.03746181105381967,
"witness": [
1168,
11341,
129982505
],
"beats_a3": true
},
{
"m": 152,
"u": 11704,
"n": 137006721,
"prev": 137006720,
"bc": 137007025,
"gap_bc": 304,
"phi": 306.00636613102466,
"phi_minus_3": 303.00636613102466,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 137006721,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
8136,
8415,
137006721
],
"beats_a3": true
},
{
"m": 154,
"u": 12012,
"n": 144311861,
"prev": 144311860,
"bc": 144312169,
"gap_bc": 308,
"phi": 310.00628613687894,
"phi_minus_3": 307.00628613687894,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 144311861,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
2681,
11710,
144311861
],
"beats_a3": true
},
{
"m": 156,
"u": 12324,
"n": 151905313,
"prev": 151905312,
"bc": 151905625,
"gap_bc": 312,
"phi": 314.00620812707115,
"phi_minus_3": 311.00620812707115,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 151905322,
"actual_gap": 9,
"ratio": 0.08106796446653154,
"witness": [
5271,
11141,
151905322
],
"beats_a3": true
},
{
"m": 158,
"u": 12640,
"n": 159794565,
"prev": 159794564,
"bc": 159794881,
"gap_bc": 316,
"phi": 318.00613202871006,
"phi_minus_3": 315.00613202871006,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 159794568,
"actual_gap": 3,
"ratio": 0.026682760235178446,
"witness": [
762,
12618,
159794568
],
"beats_a3": true
},
{
"m": 160,
"u": 12960,
"n": 167987201,
"prev": 167987200,
"bc": 167987521,
"gap_bc": 320,
"phi": 322.0060577724293,
"phi_minus_3": 319.0060577724293,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 167987201,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
3199,
12560,
167987201
],
"beats_a3": true
},
{
"m": 162,
"u": 13284,
"n": 176490901,
"prev": 176490900,
"bc": 176491225,
"gap_bc": 324,
"phi": 326.0059852921773,
"phi_minus_3": 323.0059852921773,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 176490913,
"actual_gap": 12,
"ratio": 0.10411197041838091,
"witness": [
5148,
12247,
176490913
],
"beats_a3": true
},
{
"m": 164,
"u": 13612,
"n": 185313441,
"prev": 185313440,
"bc": 185313769,
"gap_bc": 328,
"phi": 330.0059145250212,
"phi_minus_3": 327.0059145250212,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 185313442,
"actual_gap": 1,
"ratio": 0.008570837673673688,
"witness": [
5659,
12381,
185313442
],
"beats_a3": true
},
{
"m": 166,
"u": 13944,
"n": 194462693,
"prev": 194462692,
"bc": 194463025,
"gap_bc": 332,
"phi": 334.0058454109654,
"phi_minus_3": 331.0058454109654,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 194462693,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
2158,
13777,
194462693
],
"beats_a3": true
},
{
"m": 168,
"u": 14280,
"n": 203946625,
"prev": 203946624,
"bc": 203946961,
"gap_bc": 336,
"phi": 338.0057778927819,
"phi_minus_3": 335.0057778927819,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 203946625,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
1855,
14160,
203946625
],
"beats_a3": true
},
{
"m": 170,
"u": 14620,
"n": 213773301,
"prev": 213773300,
"bc": 213773641,
"gap_bc": 340,
"phi": 342.0057119158531,
"phi_minus_3": 339.0057119158531,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 213773305,
"actual_gap": 4,
"ratio": 0.03308046650919204,
"witness": [
1208,
14571,
213773305
],
"beats_a3": true
},
{
"m": 172,
"u": 14964,
"n": 223950881,
"prev": 223950880,
"bc": 223951225,
"gap_bc": 344,
"phi": 346.0056474280244,
"phi_minus_3": 343.0056474280244,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 223950884,
"actual_gap": 3,
"ratio": 0.024523534333362774,
"witness": [
3590,
14528,
223950884
],
"beats_a3": true
},
{
"m": 174,
"u": 15312,
"n": 234487621,
"prev": 234487620,
"bc": 234487969,
"gap_bc": 348,
"phi": 350.0055843794669,
"phi_minus_3": 347.0055843794669,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 234487621,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
7570,
13311,
234487621
],
"beats_a3": true
},
{
"m": 176,
"u": 15664,
"n": 245391873,
"prev": 245391872,
"bc": 245392225,
"gap_bc": 352,
"phi": 354.0055227225494,
"phi_minus_3": 351.0055227225494,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 245391880,
"actual_gap": 7,
"ratio": 0.055928477389152825,
"witness": [
306,
15662,
245391880
],
"beats_a3": true
},
{
"m": 178,
"u": 16020,
"n": 256672085,
"prev": 256672084,
"bc": 256672441,
"gap_bc": 356,
"phi": 358.0054624117188,
"phi_minus_3": 355.0054624117188,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 256672085,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
2567,
15814,
256672085
],
"beats_a3": true
},
{
"m": 180,
"u": 16380,
"n": 268336801,
"prev": 268336800,
"bc": 268337161,
"gap_bc": 360,
"phi": 362.0054034033875,
"phi_minus_3": 359.0054034033875,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 268336801,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
1576,
16305,
268336801
],
"beats_a3": true
},
{
"m": 182,
"u": 16744,
"n": 280394661,
"prev": 280394660,
"bc": 280395025,
"gap_bc": 364,
"phi": 366.0053456558292,
"phi_minus_3": 363.0053456558292,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 280394669,
"actual_gap": 8,
"ratio": 0.06182264075248526,
"witness": [
5650,
15763,
280394669
],
"beats_a3": true
},
{
"m": 184,
"u": 17112,
"n": 292854401,
"prev": 292854400,
"bc": 292854769,
"gap_bc": 368,
"phi": 370.00528912908027,
"phi_minus_3": 367.00528912908027,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 292854402,
"actual_gap": 1,
"ratio": 0.007644288359779266,
"witness": [
5271,
16281,
292854402
],
"beats_a3": true
},
{
"m": 186,
"u": 17484,
"n": 305724853,
"prev": 305724852,
"bc": 305725225,
"gap_bc": 372,
"phi": 374.0052337848477,
"phi_minus_3": 371.0052337848477,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 305724857,
"actual_gap": 4,
"ratio": 0.03025013416120574,
"witness": [
10556,
13939,
305724857
],
"beats_a3": true
},
{
"m": 188,
"u": 17860,
"n": 319014945,
"prev": 319014944,
"bc": 319015321,
"gap_bc": 376,
"phi": 378.0051795864226,
"phi_minus_3": 375.0051795864226,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 319014952,
"actual_gap": 7,
"ratio": 0.05237756237860419,
"witness": [
10894,
14154,
319014952
],
"beats_a3": true
},
{
"m": 190,
"u": 18240,
"n": 332733701,
"prev": 332733700,
"bc": 332734081,
"gap_bc": 380,
"phi": 382.00512649859996,
"phi_minus_3": 379.00512649859996,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 332733706,
"actual_gap": 5,
"ratio": 0.037020800619498445,
"witness": [
3195,
17959,
332733706
],
"beats_a3": true
},
{
"m": 192,
"u": 18624,
"n": 346890241,
"prev": 346890240,
"bc": 346890625,
"gap_bc": 384,
"phi": 386.0050744876012,
"phi_minus_3": 383.0050744876012,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 346890241,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
6105,
17596,
346890241
],
"beats_a3": true
},
{
"m": 194,
"u": 19012,
"n": 361493781,
"prev": 361493780,
"bc": 361494169,
"gap_bc": 388,
"phi": 390.00502352100364,
"phi_minus_3": 387.00502352100364,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 361493785,
"actual_gap": 4,
"ratio": 0.029009135310215983,
"witness": [
5356,
18243,
361493785
],
"beats_a3": true
},
{
"m": 196,
"u": 19404,
"n": 376553633,
"prev": 376553632,
"bc": 376554025,
"gap_bc": 392,
"phi": 394.0049735676727,
"phi_minus_3": 391.0049735676727,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": true,
"actual_next": 376553633,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
5588,
18583,
376553633
],
"beats_a3": true
},
{
"m": 198,
"u": 19800,
"n": 392079205,
"prev": 392079204,
"bc": 392079601,
"gap_bc": 396,
"phi": 398.00492459769896,
"phi_minus_3": 395.00492459769896,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 392079208,
"actual_gap": 3,
"ratio": 0.021319538653486368,
"witness": [
1242,
19762,
392079208
],
"beats_a3": true
},
{
"m": 200,
"u": 20200,
"n": 408080001,
"prev": 408080000,
"bc": 408080401,
"gap_bc": 400,
"phi": 402.004876582338,
"phi_minus_3": 399.004876582338,
"bc_fails_a3": true,
"empty_open_interval": false,
"n_is_two_square": false,
"actual_next": 408080002,
"actual_gap": 1,
"ratio": 0.007035803020083206,
"witness": [
4059,
19789,
408080002
],
"beats_a3": true
}
]
}