{
  "table": "T531",
  "instruction_manifest": "agents/runs/20261026T231411Z-repair-skills/manifest.json",
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "generate_sha256": "d1523b4cd4d3368e61745d0b89a7ff277e53315d4a66639eba6a8a6562ab3e42",
  "sage_version": "10.9",
  "numberdb_version": "0.1.10",
  "entries_checked": 19,
  "selection": "integers 2 through 20",
  "new_values": false,
  "argument_uncertainty": "Exact integer orders; no rounded root arguments. Arb encloses Ai(0), Ai prime(0), exact rational Gamma arguments and cube-root exponent, and propagates all uncertainty.",
  "independent_method": "700-bit Taylor division of Ai prime / Ai, direct Arb Airy initial values",
  "control": "1/(3-z): all coefficients through degree 19 enclose 3^(-m-1)",
  "results": [
    {
      "n": 2,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "2.2246706e-128",
      "independent_relative_radius": "2.1404181e-210"
    },
    {
      "n": 3,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "1.1572822e-127",
      "independent_relative_radius": "1.3570364e-209"
    },
    {
      "n": 4,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "2.5095408e-127",
      "independent_relative_radius": "4.0698033e-209"
    },
    {
      "n": 5,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "4.6779066e-127",
      "independent_relative_radius": "1.0058757e-208"
    },
    {
      "n": 6,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "1.0137977e-126",
      "independent_relative_radius": "2.4436606e-208"
    },
    {
      "n": 7,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "2.1516303e-126",
      "independent_relative_radius": "5.7365729e-208"
    },
    {
      "n": 8,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "4.1961737e-126",
      "independent_relative_radius": "1.3203815e-207"
    },
    {
      "n": 9,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "2.1904528e-125",
      "independent_relative_radius": "3.0313770e-207"
    },
    {
      "n": 10,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "3.2395668e-125",
      "independent_relative_radius": "6.9538021e-207"
    },
    {
      "n": 11,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "5.2263141e-125",
      "independent_relative_radius": "1.5914700e-206"
    },
    {
      "n": 12,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "1.5302237e-124",
      "independent_relative_radius": "3.6377021e-206"
    },
    {
      "n": 13,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "3.1397195e-124",
      "independent_relative_radius": "8.3131104e-206"
    },
    {
      "n": 14,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "4.5528240e-124",
      "independent_relative_radius": "1.8994652e-205"
    },
    {
      "n": 15,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "1.4819534e-123",
      "independent_relative_radius": "4.3392252e-205"
    },
    {
      "n": 16,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "2.1613363e-123",
      "independent_relative_radius": "9.9117610e-205"
    },
    {
      "n": 17,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "4.9385788e-123",
      "independent_relative_radius": "2.2640062e-204"
    },
    {
      "n": 18,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "1.0864748e-122",
      "independent_relative_radius": "5.1712451e-204"
    },
    {
      "n": 19,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "1.7166464e-122",
      "independent_relative_radius": "1.1811490e-203"
    },
    {
      "n": 20,
      "generator_inside_stored_interval": true,
      "independent_inside_stored_interval": true,
      "overlap": true,
      "generator_relative_radius": "4.2619331e-122",
      "independent_relative_radius": "2.6978049e-203"
    }
  ]
}