files / problems / sidon-second-term / compute / bose_greedy.json
[
{
"p": 3,
"N0": 8,
"size": 3,
"max": 7,
"sidon": true,
"sqrtN": 2.8284271247461903,
"second_term": 0.1715728752538097,
"greedy_in_interval": 4,
"extra_in_interval": 1,
"greedy_wide": 5,
"extra_wide": 2,
"wide_N": 20,
"wide_second": 0.5278640450004204
},
{
"p": 5,
"N0": 24,
"size": 5,
"max": 17,
"sidon": true,
"sqrtN": 4.898979485566356,
"second_term": 0.10102051443364424,
"greedy_in_interval": 6,
"extra_in_interval": 1,
"greedy_wide": 8,
"extra_wide": 3,
"wide_N": 44,
"wide_second": 1.3667504192892004
},
{
"p": 7,
"N0": 48,
"size": 7,
"max": 31,
"sidon": true,
"sqrtN": 6.928203230275509,
"second_term": 0.07179676972449123,
"greedy_in_interval": 7,
"extra_in_interval": 0,
"greedy_wide": 10,
"extra_wide": 3,
"wide_N": 76,
"wide_second": 1.282202112918652
},
{
"p": 11,
"N0": 120,
"size": 11,
"max": 112,
"sidon": true,
"sqrtN": 10.954451150103322,
"second_term": 0.04554884989667762,
"greedy_in_interval": 11,
"extra_in_interval": 0,
"greedy_wide": 13,
"extra_wide": 2,
"wide_N": 164,
"wide_second": 0.19375152513430294
},
{
"p": 13,
"N0": 168,
"size": 13,
"max": 159,
"sidon": true,
"sqrtN": 12.96148139681572,
"second_term": 0.03851860318427924,
"greedy_in_interval": 13,
"extra_in_interval": 0,
"greedy_wide": 14,
"extra_wide": 1,
"wide_N": 220,
"wide_second": -0.832396974191326
},
{
"p": 17,
"N0": 288,
"size": 17,
"max": 254,
"sidon": true,
"sqrtN": 16.97056274847714,
"second_term": 0.02943725152286092,
"greedy_in_interval": 17,
"extra_in_interval": 0,
"greedy_wide": 18,
"extra_wide": 1,
"wide_N": 356,
"wide_second": -0.8679622641132063
},
{
"p": 19,
"N0": 360,
"size": 19,
"max": 354,
"sidon": true,
"sqrtN": 18.973665961010276,
"second_term": 0.02633403898972375,
"greedy_in_interval": 19,
"extra_in_interval": 0,
"greedy_wide": 20,
"extra_wide": 1,
"wide_N": 436,
"wide_second": -0.8806130178211014
},
{
"p": 23,
"N0": 528,
"size": 23,
"max": 438,
"sidon": true,
"sqrtN": 22.978250586152114,
"second_term": 0.021749413847885535,
"greedy_in_interval": 23,
"extra_in_interval": 0,
"greedy_wide": 24,
"extra_wide": 1,
"wide_N": 620,
"wide_second": -0.8997991959774652
},
{
"p": 29,
"N0": 840,
"size": 29,
"max": 800,
"sidon": true,
"sqrtN": 28.982753492378876,
"second_term": 0.017246507621123897,
"greedy_in_interval": 29,
"extra_in_interval": 0,
"greedy_wide": 30,
"extra_wide": 1,
"wide_N": 956,
"wide_second": -0.9192496674806137
},
{
"p": 31,
"N0": 960,
"size": 31,
"max": 914,
"sidon": true,
"sqrtN": 30.983866769659336,
"second_term": 0.01613323034066383,
"greedy_in_interval": 31,
"extra_in_interval": 0,
"greedy_wide": 32,
"extra_wide": 1,
"wide_N": 1084,
"wide_second": -0.9241552663086594
},
{
"p": 37,
"N0": 1368,
"size": 37,
"max": 1347,
"sidon": true,
"sqrtN": 36.98648401781386,
"second_term": 0.01351598218614214,
"greedy_in_interval": 37,
"extra_in_interval": 0,
"greedy_wide": 38,
"extra_wide": 1,
"wide_N": 1516,
"wide_second": -0.9358446678635701
},
{
"p": 41,
"N0": 1680,
"size": 41,
"max": 1678,
"sidon": true,
"sqrtN": 40.98780306383839,
"second_term": 0.012196936161608107,
"greedy_in_interval": 41,
"extra_in_interval": 0,
"greedy_wide": 42,
"extra_wide": 1,
"wide_N": 1844,
"wide_second": -0.941821107167776
},
{
"p": 43,
"N0": 1848,
"size": 43,
"max": 1812,
"sidon": true,
"sqrtN": 42.988370520409354,
"second_term": 0.01162947959064553,
"greedy_in_interval": 43,
"extra_in_interval": 0,
"greedy_wide": 44,
"extra_wide": 1,
"wide_N": 2020,
"wide_second": -0.9444101084884622
},
{
"p": 47,
"N0": 2208,
"size": 47,
"max": 2189,
"sidon": true,
"sqrtN": 46.98936049788292,
"second_term": 0.010639502117079758,
"greedy_in_interval": 47,
"extra_in_interval": 0,
"greedy_wide": 48,
"extra_wide": 1,
"wide_N": 2396,
"wide_second": -0.9489530020816659
},
{
"p": 53,
"N0": 2808,
"size": 53,
"max": 2736,
"sidon": true,
"sqrtN": 52.99056519796708,
"second_term": 0.009434802032920686,
"greedy_in_interval": 53,
"extra_in_interval": 0,
"greedy_wide": 54,
"extra_wide": 1,
"wide_N": 3020,
"wide_second": -0.9545266561363448
},
{
"p": 59,
"N0": 3480,
"size": 59,
"max": 3440,
"sidon": true,
"sqrtN": 58.9915248150105,
"second_term": 0.008475184989499951,
"greedy_in_interval": 59,
"extra_in_interval": 0,
"greedy_wide": 60,
"extra_wide": 1,
"wide_N": 3716,
"wide_second": -0.9590026165126844
},
{
"p": 61,
"N0": 3720,
"size": 61,
"max": 3694,
"sidon": true,
"sqrtN": 60.991802727907626,
"second_term": 0.008197272092374419,
"greedy_in_interval": 61,
"extra_in_interval": 0,
"greedy_wide": 62,
"extra_wide": 1,
"wide_N": 3964,
"wide_second": -0.960304954788775
},
{
"p": 67,
"N0": 4488,
"size": 67,
"max": 4450,
"sidon": true,
"sqrtN": 66.9925368977769,
"second_term": 0.007463102223098872,
"greedy_in_interval": 67,
"extra_in_interval": 0,
"greedy_wide": 68,
"extra_wide": 1,
"wide_N": 4756,
"wide_second": -0.963758598266665
},
{
"p": 71,
"N0": 5040,
"size": 71,
"max": 4884,
"sidon": true,
"sqrtN": 70.9929573971954,
"second_term": 0.007042602804602893,
"greedy_in_interval": 71,
"extra_in_interval": 0,
"greedy_wide": 72,
"extra_wide": 1,
"wide_N": 5324,
"wide_second": -0.9657453878187994
},
{
"p": 73,
"N0": 5328,
"size": 73,
"max": 5247,
"sidon": true,
"sqrtN": 72.99315036357864,
"second_term": 0.00684963642136438,
"greedy_in_interval": 73,
"extra_in_interval": 0,
"greedy_wide": 74,
"extra_wide": 1,
"wide_N": 5620,
"wide_second": -0.9666592559652543
},
{
"p": 79,
"N0": 6240,
"size": 79,
"max": 6204,
"sidon": true,
"sqrtN": 78.99367063252599,
"second_term": 0.006329367474009473,
"greedy_in_interval": 79,
"extra_in_interval": 0,
"greedy_wide": 80,
"extra_wide": 1,
"wide_N": 6556,
"wide_second": -0.9691299199886458
}
]