files / problems / two-smooth-summands / compute / certs / g_of_y.json

3.9 KB · on GitHub

{
  "rows": [
    {
      "y": 1,
      "search_limit": 3,
      "small_bound": 3,
      "n_smooth": 1,
      "n_small": 1,
      "first_uncovered": 3,
      "published": 3,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 2,
      "search_limit": 7,
      "small_bound": 7,
      "n_smooth": 3,
      "n_small": 3,
      "first_uncovered": 7,
      "published": 7,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 3,
      "search_limit": 23,
      "small_bound": 23,
      "n_smooth": 10,
      "n_small": 10,
      "first_uncovered": 23,
      "published": 23,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 5,
      "search_limit": 71,
      "small_bound": 71,
      "n_smooth": 27,
      "n_small": 27,
      "first_uncovered": 71,
      "published": 71,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 7,
      "search_limit": 311,
      "small_bound": 311,
      "n_smooth": 82,
      "n_small": 82,
      "first_uncovered": 311,
      "published": 311,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 11,
      "search_limit": 479,
      "small_bound": 479,
      "n_smooth": 130,
      "n_small": 130,
      "first_uncovered": 479,
      "published": 479,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 13,
      "search_limit": 1559,
      "small_bound": 1559,
      "n_smooth": 304,
      "n_small": 304,
      "first_uncovered": 1559,
      "published": 1559,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 17,
      "search_limit": 5711,
      "small_bound": 5711,
      "n_smooth": 718,
      "n_small": 718,
      "first_uncovered": 5711,
      "published": 5711,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 19,
      "search_limit": 10559,
      "small_bound": 10000,
      "n_smooth": 1197,
      "n_small": 1169,
      "first_uncovered": 10559,
      "published": 10559,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 23,
      "search_limit": 18191,
      "small_bound": 10000,
      "n_smooth": 1883,
      "n_small": 1385,
      "first_uncovered": 18191,
      "published": 18191,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 29,
      "search_limit": 31391,
      "small_bound": 10000,
      "n_smooth": 2898,
      "n_small": 1581,
      "first_uncovered": 31391,
      "published": 31391,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    },
    {
      "y": 31,
      "search_limit": 118271,
      "small_bound": 10000,
      "n_smooth": 6598,
      "n_small": 1778,
      "first_uncovered": 118271,
      "published": 118271,
      "matches_published": true,
      "published_has_representation": false,
      "uncovered_is_false_hole": false,
      "G_certified": true
    }
  ],
  "mismatches": [],
  "is_dent": false,
  "reason": "Finite G(y) table. Search residue, not an exponent."
}