files / problems / two-squares-gap / compute / shiu_family_m2000.json
{
"m_min": 2,
"m_max": 2000,
"empty": [
2
],
"fails_a3": [
2
],
"n_is_two_square": 2,
"max_actual_ratio": 2.8137207960402684,
"argmax_m": 1730,
"sample_rows": [
{
"m": 2,
"n": 21,
"actual_gap": 4,
"ratio": 1.8685519109128004,
"witness": [
5,
0,
25
],
"beats_a3": false
},
{
"m": 4,
"n": 161,
"actual_gap": 3,
"ratio": 0.8421991246820377,
"witness": [
10,
8,
164
],
"beats_a3": true
},
{
"m": 6,
"n": 613,
"actual_gap": 4,
"ratio": 0.8038867540752339,
"witness": [
19,
16,
617
],
"beats_a3": true
},
{
"m": 8,
"n": 1665,
"actual_gap": 0,
"ratio": 0.0,
"witness": [
39,
12,
1665
],
"beats_a3": true
},
{
"m": 10,
"n": 3701,
"actual_gap": 5,
"ratio": 0.6410475328090676,
"witness": [
59,
15,
3706
],
"beats_a3": true
},
{
"m": 12,
"n": 7201,
"actual_gap": 12,
"ratio": 1.3026658957661612,
"witness": [
83,
18,
7213
],
"beats_a3": true
},
{
"m": 14,
"n": 12741,
"actual_gap": 21,
"ratio": 1.976598292254176,
"witness": [
111,
21,
12762
],
"beats_a3": true
},
{
"m": 16,
"n": 20993,
"actual_gap": 12,
"ratio": 0.9969253044248954,
"witness": [
142,
29,
21005
],
"beats_a3": true
},
{
"m": 18,
"n": 32725,
"actual_gap": 15,
"ratio": 1.115247723087234,
"witness": [
176,
42,
32740
],
"beats_a3": true
},
{
"m": 20,
"n": 48801,
"actual_gap": 1,
"ratio": 0.06728105916096519,
"witness": [
219,
29,
48802
],
"beats_a3": true
},
{
"m": 22,
"n": 70181,
"actual_gap": 12,
"ratio": 0.7372696528014905,
"witness": [
263,
32,
70193
],
"beats_a3": true
},
{
"m": 24,
"n": 97921,
"actual_gap": 25,
"ratio": 1.4132566857720803,
"witness": [
311,
35,
97946
],
"beats_a3": true
},
{
"m": 26,
"n": 133173,
"actual_gap": 40,
"ratio": 2.0939000415390274,
"witness": [
363,
38,
133213
],
"beats_a3": true
},
{
"m": 28,
"n": 177185,
"actual_gap": 39,
"ratio": 1.900893863971936,
"witness": [
418,
50,
177224
],
"beats_a3": true
},
{
"m": 30,
"n": 231301,
"actual_gap": 36,
"ratio": 1.6415651484827174,
"witness": [
476,
69,
231337
],
"beats_a3": true
},
{
"m": 32,
"n": 296961,
"actual_gap": 4,
"ratio": 0.1713504057184884,
"witness": [
543,
46,
296965
],
"beats_a3": true
},
{
"m": 34,
"n": 375701,
"actual_gap": 21,
"ratio": 0.848220387877857,
"witness": [
611,
49,
375722
],
"beats_a3": true
},
{
"m": 36,
"n": 469153,
"actual_gap": 40,
"ratio": 1.528380073558437,
"witness": [
683,
52,
469193
],
"beats_a3": true
},
{
"m": 38,
"n": 579045,
"actual_gap": 61,
"ratio": 2.211320825804176,
"witness": [
759,
55,
579106
],
"beats_a3": true
},
{
"m": 40,
"n": 707201,
"actual_gap": 24,
"ratio": 0.8276096104579829,
"witness": [
835,
100,
707225
],
"beats_a3": true
},
{
"m": 42,
"n": 855541,
"actual_gap": 19,
"ratio": 0.6247314853985905,
"witness": [
922,
74,
855560
],
"beats_a3": true
},
{
"m": 44,
"n": 1026081,
"actual_gap": 9,
"ratio": 0.28277896330592833,
"witness": [
1011,
63,
1026090
],
"beats_a3": true
},
{
"m": 46,
"n": 1220933,
"actual_gap": 32,
"ratio": 0.9626690741104812,
"witness": [
1103,
66,
1220965
],
"beats_a3": true
},
{
"m": 48,
"n": 1442305,
"actual_gap": 57,
"ratio": 1.6447904601764054,
"witness": [
1199,
69,
1442362
],
"beats_a3": true
},
{
"m": 50,
"n": 1692501,
"actual_gap": 84,
"ratio": 2.3288796853107705,
"witness": [
1299,
72,
1692585
],
"beats_a3": true
},
{
"m": 52,
"n": 1973921,
"actual_gap": 3,
"ratio": 0.08003663346489058,
"witness": [
1400,
118,
1973924
],
"beats_a3": true
},
{
"m": 54,
"n": 2289061,
"actual_gap": 64,
"ratio": 1.6453777965695655,
"witness": [
1510,
95,
2289125
],
"beats_a3": true
},
{
"m": 56,
"n": 2640513,
"actual_gap": 16,
"ratio": 0.39691535946438694,
"witness": [
1623,
80,
2640529
],
"beats_a3": true
},
{
"m": 58,
"n": 3030965,
"actual_gap": 45,
"ratio": 1.078492882749568,
"witness": [
1739,
83,
3031010
],
"beats_a3": true
},
{
"m": 60,
"n": 3463201,
"actual_gap": 76,
"ratio": 1.7617495438764612,
"witness": [
1859,
86,
3463277
],
"beats_a3": true
},
{
"m": 62,
"n": 3940101,
"actual_gap": 109,
"ratio": 2.4465250073120153,
"witness": [
1983,
89,
3940210
],
"beats_a3": true
},
{
"m": 64,
"n": 4464641,
"actual_gap": 3,
"ratio": 0.06526413989965968,
"witness": [
2110,
112,
4464644
],
"beats_a3": true
},
{
"m": 66,
"n": 5039893,
"actual_gap": 127,
"ratio": 2.6803924866505735,
"witness": [
2242,
116,
5040020
],
"beats_a3": true
},
{
"m": 68,
"n": 5669025,
"actual_gap": 25,
"ratio": 0.5123454876474772,
"witness": [
2379,
97,
5669050
],
"beats_a3": true
},
{
"m": 70,
"n": 6355301,
"actual_gap": 60,
"ratio": 1.1949981123766147,
"witness": [
2519,
100,
6355361
],
"beats_a3": true
},
{
"m": 72,
"n": 7102081,
"actual_gap": 97,
"ratio": 1.8789937216279908,
"witness": [
2663,
103,
7102178
],
"beats_a3": true
},
{
"m": 74,
"n": 7912821,
"actual_gap": 136,
"ratio": 2.564224663277758,
"witness": [
2811,
106,
7912957
],
"beats_a3": true
},
{
"m": 76,
"n": 8791073,
"actual_gap": 60,
"ratio": 1.1018964370385473,
"witness": [
2962,
133,
8791133
],
"beats_a3": true
},
{
"m": 78,
"n": 9740485,
"actual_gap": 13,
"ratio": 0.23270097708035195,
"witness": [
3113,
223,
9740498
],
"beats_a3": true
},
{
"m": 80,
"n": 10764801,
"actual_gap": 36,
"ratio": 0.6284938022122712,
"witness": [
3279,
114,
10764837
],
"beats_a3": true
}
]
}