back to table · edit · history · where entries came from · files · download
5188 bytes, as of the version from 2026-10-26 20:49 (current). Recorded here, not run.
{
"table": "T527",
"skill_manifest": "agents/runs/20261026T204019Z-build-skills/manifest.json",
"skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
"sage_version": "10.9",
"working_bits": 513,
"independent_bits": 768,
"minimum_odd_relative_accuracy_bits": 509,
"checks": {
"resolvent_polynomial_identities": "all orders 1..12",
"coefficient_agreement_resolvent": "all orders 0..12",
"coefficient_agreement_factorial_series_quotient": "all orders 0..12",
"gamma_normalization_controls": true,
"reflection_principle_mean": true,
"published_low_moments": "orders 0..4",
"arcsine_meander_convolution": "orders 0..12",
"strict_log_convexity": "orders 1..11, with M0=1",
"exactness_and_named_imports": true
},
"serialized_measurement": {
"entries": 12,
"longest": 102,
"longest_at": 1,
"block_kb": 1.10546875
},
"rows": [
{
"n": 1,
"exact_rational_factor": "1",
"factor_multiplies_sqrt_2_over_pi": true,
"written": "0.7978845608028653558798921198687637369517172623298693153318516593413158517986036770025046678146138729",
"relative_accuracy_bits": 511,
"independent_relative_accuracy_bits": 764,
"written_interval_contains_independent_enclosure": true
},
{
"n": 2,
"exact_rational_factor": "17/24",
"factor_multiplies_sqrt_2_over_pi": false,
"written": "17/24",
"relative_accuracy_bits": null,
"independent_relative_accuracy_bits": 766,
"written_interval_contains_independent_enclosure": true
},
{
"n": 3,
"exact_rational_factor": "123/140",
"factor_multiplies_sqrt_2_over_pi": true,
"written": "0.7009985784196602769516195053132709974647230233326708984701268149927274983659160876522005295799821883",
"relative_accuracy_bits": 510,
"independent_relative_accuracy_bits": 764,
"written_interval_contains_independent_enclosure": true
},
{
"n": 4,
"exact_rational_factor": "2963/3840",
"factor_multiplies_sqrt_2_over_pi": false,
"written": "2963/3840",
"relative_accuracy_bits": null,
"independent_relative_accuracy_bits": 766,
"written_interval_contains_independent_enclosure": true
},
{
"n": 5,
"exact_rational_factor": "56549/48048",
"factor_multiplies_sqrt_2_over_pi": true,
"written": "0.9390520735273316893450720006339227555961259462931189625520496063122725212986854672580468793758033611",
"relative_accuracy_bits": 509,
"independent_relative_accuracy_bits": 764,
"written_interval_contains_independent_enclosure": true
},
{
"n": 6,
"exact_rational_factor": "5172905/4128768",
"factor_multiplies_sqrt_2_over_pi": false,
"written": "5172905/4128768",
"relative_accuracy_bits": null,
"independent_relative_accuracy_bits": 766,
"written_interval_contains_independent_enclosure": true
},
{
"n": 7,
"exact_rational_factor": "3560839/1564992",
"factor_multiplies_sqrt_2_over_pi": true,
"written": "1.815433217297413834042601608328584936104092509531952574158178016754891907691980609877827949814645601",
"relative_accuracy_bits": 509,
"independent_relative_accuracy_bits": 764,
"written_interval_contains_independent_enclosure": true
},
{
"n": 8,
"exact_rational_factor": "5008835/1769472",
"factor_multiplies_sqrt_2_over_pi": false,
"written": "5008835/1769472",
"relative_accuracy_bits": null,
"independent_relative_accuracy_bits": 766,
"written_interval_contains_independent_enclosure": true
},
{
"n": 9,
"exact_rational_factor": "280968915189/47593145600",
"factor_multiplies_sqrt_2_over_pi": true,
"written": "4.710358112888272506291404102902500737792497431971975313204104043583097251039090167478660703439212541",
"relative_accuracy_bits": 510,
"independent_relative_accuracy_bits": 764,
"written_interval_contains_independent_enclosure": true
},
{
"n": 10,
"exact_rational_factor": "5021421521635/604583755776",
"factor_multiplies_sqrt_2_over_pi": false,
"written": "5021421521635/604583755776",
"relative_accuracy_bits": null,
"independent_relative_accuracy_bits": 766,
"written_interval_contains_independent_enclosure": true
},
{
"n": 11,
"exact_rational_factor": "108287856650989/5601107506176",
"factor_multiplies_sqrt_2_over_pi": true,
"written": "15.42573657959406265311531610224198079020079526237846180668449236166183577933558733690834514479043892",
"relative_accuracy_bits": 509,
"independent_relative_accuracy_bits": 764,
"written_interval_contains_independent_enclosure": true
},
{
"n": 12,
"exact_rational_factor": "828744195187165/27599459844096",
"factor_multiplies_sqrt_2_over_pi": false,
"written": "828744195187165/27599459844096",
"relative_accuracy_bits": null,
"independent_relative_accuracy_bits": 766,
"written_interval_contains_independent_enclosure": true
}
]
}