back to table · edit · history · where entries came from · files · download
7609 bytes, as of the version from 2026-10-26 18:05 (current). Recorded here, not run.
{
"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"
}
}