{
  "controls": [
    {
      "known": "7/24",
      "method": "Arb integral k^2, 1/2..1",
      "result": "[0.29166666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667 +/- 4.12e-150]"
    },
    {
      "absolute_error": "0.0",
      "known": 1,
      "n": 3,
      "s": 0,
      "seconds": 16.92174021527171,
      "value": "1.0"
    },
    {
      "absolute_error": "0.0",
      "known": 3,
      "n": 3,
      "s": 2,
      "seconds": 0.025032786186784506,
      "value": "3.0"
    },
    {
      "absolute_error": "1.33638e-51",
      "known": 1,
      "n": 4,
      "s": 0,
      "seconds": 0.019251258112490177,
      "value": "1.0"
    },
    {
      "absolute_error": "5.34553e-51",
      "known": 4,
      "n": 4,
      "s": 2,
      "seconds": 0.01726072607561946,
      "value": "4.0"
    }
  ],
  "elliptic_three_step_seed_check": true,
  "instruction_manifest": "../20261026T172724Z-build-skills/manifest.json",
  "instruction_manifest_sha256": "d03b756eaa1cd22ce39c8cee78fb3a44b052146786d6371925ac7bc9dec564f3",
  "instruction_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "log_integral_controls": true,
  "mahler_derivatives": [
    {
      "absolute_difference": "2.0045735e-51",
      "n": 3,
      "value": "0.32306594721945051409363651072380639407224184078059"
    },
    {
      "absolute_difference": "2.6727647e-51",
      "n": 4,
      "value": "0.42627839881750579092352142659616687305800676962964"
    }
  ],
  "measure": {
    "block_kb": 2.357421875,
    "entries": 10,
    "longest": 181,
    "longest_at": [
      3,
      -1
    ]
  },
  "recurrences": [
    {
      "n": 3,
      "residual": "[+/- 1.32e-161]",
      "s": -1
    },
    {
      "n": 3,
      "residual": "[+/- 2.77e-160]",
      "s": 1
    },
    {
      "n": 3,
      "residual": "[+/- 4.58e-159]",
      "s": 3
    },
    {
      "n": 4,
      "residual": "[+/- 2.73e-159]",
      "s": -1
    },
    {
      "n": 4,
      "residual": "[+/- 1.58e-157]",
      "s": 1
    },
    {
      "n": 4,
      "residual": "[+/- 6.36e-156]",
      "s": 3
    }
  ],
  "rows": [
    {
      "bessel_50_digits": "1.5745972375518936574946921830765196902216661807585",
      "certified_100_digits": "1.574597237551893657494692183076519690221666180758519170193693098301831180594454382131085313362241953",
      "n": 3,
      "precision_overlap": true,
      "radius_150": "1.2630307e-163",
      "radius_200": "1.4141535e-213",
      "relative_difference": "0.0",
      "s": 1,
      "seconds": 0.024881886783987284
    },
    {
      "bessel_50_digits": "0.89644078877676286423277090003497049913878440341624",
      "certified_100_digits": "0.8964407887767628642327709000349704991387844034162414609834833987065596797806136031423376992276078122",
      "n": 3,
      "precision_overlap": true,
      "radius_150": "7.0951936e-164",
      "radius_200": "7.6548590e-214",
      "relative_difference": "1.4907648e-51",
      "s": -1,
      "seconds": 0.01786271156743169
    },
    {
      "bessel_50_digits": "6.4516796531320742040757926209887880552289911067902",
      "certified_100_digits": "6.451679653132074204075792620988788055228991106790181333253751060035319162993506846802727096462854635",
      "n": 3,
      "precision_overlap": true,
      "radius_150": "7.2789799e-163",
      "radius_200": "7.8805729e-213",
      "relative_difference": "0.0",
      "s": 3,
      "seconds": 0.02344281831756234
    },
    {
      "bessel_50_digits": "36.705189102627705392128333510839422801565663946343",
      "certified_100_digits": "36.70518910262770539212833351083942280156566394634277292805674123053093515107189216917695516978563411",
      "n": 3,
      "precision_overlap": true,
      "radius_150": "5.5427682e-162",
      "radius_200": "6.0103653e-212",
      "relative_difference": "2.3301466e-51",
      "s": 5,
      "seconds": 0.025663862004876137
    },
    {
      "bessel_50_digits": "241.54388843258189093945721206533456615796423162343",
      "certified_100_digits": "241.5438884325818909394572120653345661579642316234345510198866599376377900615201209124784525460868827",
      "n": 3,
      "precision_overlap": true,
      "radius_150": "4.6389015e-161",
      "radius_200": "5.0264735e-211",
      "relative_difference": "1.4163632e-51",
      "s": 7,
      "seconds": 0.027175576891750097
    },
    {
      "bessel_50_digits": "1.7990924798428510335326028458461089100662820032916",
      "certified_100_digits": "1.799092479842851033532602845846108910066282003291620456626641773598854266932120575241161930573474828",
      "n": 4,
      "precision_overlap": true,
      "radius_150": "6.9127051e-162",
      "radius_200": "9.5804117e-212",
      "relative_difference": "0.0",
      "s": 1,
      "seconds": 0.024546883068978786
    },
    {
      "bessel_50_digits": "0.90272857832383482419039339877276298503046350360141",
      "certified_100_digits": "0.9027285783238348241903933987727629850304635036014195522559185553239931867554294224993878943710033573",
      "n": 4,
      "precision_overlap": true,
      "radius_150": "1.3617129e-162",
      "radius_200": "1.8784186e-212",
      "relative_difference": "1.4803811e-50",
      "s": -1,
      "seconds": 0.015598129946738482
    },
    {
      "bessel_50_digits": "10.12068101030959857117828689311952623741652682871",
      "certified_100_digits": "10.12068101030959857117828689311952623741652682870990046944160365931309708011713714090418407354722791",
      "n": 4,
      "precision_overlap": true,
      "radius_150": "5.0377731e-161",
      "radius_200": "6.9866423e-211",
      "relative_difference": "4.2254306e-51",
      "s": 3,
      "seconds": 0.019783373922109604
    },
    {
      "bessel_50_digits": "82.65146061218160253264341821152523717355689861471",
      "certified_100_digits": "82.65146061218160253264341821152523717355689861471062139494090139831178199309483015283222906911803326",
      "n": 4,
      "precision_overlap": true,
      "radius_150": "6.3140774e-160",
      "radius_200": "8.7568194e-210",
      "relative_difference": "4.1392358e-51",
      "s": 5,
      "seconds": 0.022066439036279917
    },
    {
      "bessel_50_digits": "822.27337296275454738759066367365198765868712561554",
      "certified_100_digits": "822.2733729627545473875906636736519876586871256155389079039288911570862095415026148804830247323282182",
      "n": 4,
      "precision_overlap": true,
      "radius_150": "9.2688140e-159",
      "radius_200": "1.2852709e-208",
      "relative_difference": "4.9927028e-51",
      "s": 7,
      "seconds": 0.021606760565191507
    }
  ],
  "seconds": 18.03608187008649,
  "stored_independent_rows": 10,
  "stored_intervals_contain_certified_balls": true,
  "stored_recurrences": [
    {
      "n": 3,
      "residual": "[+/- 5.32e-98]",
      "s": -1
    },
    {
      "n": 3,
      "residual": "[+/- 5.67e-97]",
      "s": 1
    },
    {
      "n": 3,
      "residual": "[+/- 1.14e-95]",
      "s": 3
    },
    {
      "n": 4,
      "residual": "[+/- 5.46e-97]",
      "s": -1
    },
    {
      "n": 4,
      "residual": "[+/- 2.05e-95]",
      "s": 1
    },
    {
      "n": 4,
      "residual": "[+/- 2.03e-94]",
      "s": 3
    }
  ],
  "stored_singular_elliptic_identity": true,
  "stored_watson_identity": true,
  "table": "T522",
  "verify": "<VerifyReport T522: 10/10 matched, 0 differing, 0 missing, 0 extra>",
  "versions": {
    "mpmath": "1.4.1",
    "numberdb": "0.1.10",
    "python": "3.12.3 (main, Mar 23 2026, 19:04:32) [GCC 13.3.0]",
    "sage": "10.9"
  }
}