numerical-evidence.json

back to table · edit · history · where entries came from · files · download

3791 bytes, as of the version from 2026-10-26 19:23 (current). Recorded here, not run.

{
  "table": "T524",
  "stage": "pre-fill",
  "skill_manifest": "agents/runs/20261026T191343Z-build-skills/manifest.json",
  "skill_sha256": "b4d51ded0d52cfe3dcc0859de0845c3879b0c2363273ba7e809a7e06ded40b18",
  "environment": {
    "python": "3.12.3",
    "numberdb": "0.1.10",
    "sage": "10.9"
  },
  "working_bits": 513,
  "minimum_odd_relative_accuracy_bits": 509,
  "independent_working_bits": 768,
  "ode_and_airy_orders_checked": [
    0,
    1,
    2,
    3,
    4,
    5,
    6,
    7,
    8,
    9,
    10,
    11,
    12
  ],
  "outside_family_check": "Folded-normal marginal mean and beta integral, independent of the moment recurrence",
  "published_table2_positive_moments_checked": [
    1,
    2,
    3,
    4
  ],
  "controls": "P0=1, P1=-(1+x+x^2)/2; M0=1; Gamma(1)=Gamma(2)=1 and Gamma(1/2)=sqrt(pi)",
  "exactness": true,
  "serialized_enclosures_checked": 12,
  "strict_log_convexity_checks": 11,
  "raw_measurement": {
    "entries": 12,
    "longest": 174,
    "longest_at": 11,
    "block_kb": 1.5458984375
  },
  "serialized_measurement": {
    "entries": 12,
    "longest": 104,
    "longest_at": 7,
    "block_kb": 1.115234375
  },
  "rows": [
    {
      "params": {
        "n": "1"
      },
      "number": "0.3133285343288750628019706606013806566258733425762422895787404470427867068259802468683244797972571583",
      "rational_factor": "1/4",
      "exact": false
    },
    {
      "params": {
        "n": "2"
      },
      "number": "7/60",
      "rational_factor": "7/60",
      "exact": true
    },
    {
      "params": {
        "n": "3"
      },
      "number": "0.05140546266333106499094831150491401397768234526641475063401210459295719408863738425183448496673750253",
      "rational_factor": "21/512",
      "exact": false
    },
    {
      "params": {
        "n": "4"
      },
      "number": "19/720",
      "rational_factor": "19/720",
      "exact": true
    },
    {
      "params": {
        "n": "5"
      },
      "number": "0.01545223728867987370263624839879855777305332402353538635129530524966868036592968990903358030250145165",
      "rational_factor": "101/8192",
      "exact": false
    },
    {
      "params": {
        "n": "6"
      },
      "number": "70753/7001280",
      "rational_factor": "70753/7001280",
      "exact": true
    },
    {
      "params": {
        "n": "7"
      },
      "number": "0.007250089015820064917017644888681340643249947089549250528872497129983263983985554692983340230009267121",
      "rational_factor": "45493/7864320",
      "exact": false
    },
    {
      "params": {
        "n": "8"
      },
      "number": "206530429/36714712320",
      "rational_factor": "206530429/36714712320",
      "exact": true
    },
    {
      "params": {
        "n": "9"
      },
      "number": "0.004668916525464758066447476371868728301485700733632331152248799373797706146670277309070233103958507243",
      "rational_factor": "89374187/23991418880",
      "exact": false
    },
    {
      "params": {
        "n": "10"
      },
      "number": "1256447927/305663155200",
      "rational_factor": "1256447927/305663155200",
      "exact": true
    },
    {
      "params": {
        "n": "11"
      },
      "number": "0.003813678010375084714755916948502299248277432659792747145229124222095837540843711500869493178456493594",
      "rational_factor": "10193857261/3350074490880",
      "exact": false
    },
    {
      "params": {
        "n": "12"
      },
      "number": "48970038774497/13202610550272000",
      "rational_factor": "48970038774497/13202610550272000",
      "exact": true
    }
  ],
  "stored_checks": [],
  "generator_sha256": "a53db9e1ddef66b10d92700b42335e23a50b4918e53929e0c0a610579e5a7586",
  "checks_sha256": "2a995c0e7b1b75611360ed0b27a0f04fd297f36d9db4f4699083ac4efaf75e7b"
}