{
  "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
    }
  ]
}