stored-evidence.json

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

6787 bytes, as of the version from 2026-10-26 04:07 (current). Recorded here, not run.

{
  "table": "T504",
  "mode": "stored",
  "versions": {
    "sage": "10.9",
    "python": "3.12.3",
    "numberdb": "0.1.10"
  },
  "entries": 12,
  "all_passed": true,
  "controls_passed": true,
  "gamma_r1_passed": true,
  "strictly_decreasing": true,
  "working_bits": 429,
  "minimum_accuracy_bits": 427,
  "measured_serialized": {
    "entries": 12,
    "longest": 101,
    "longest_at": 1,
    "block_kb": 1.6083984375
  },
  "values": {
    "1": "1.086434811213308014575316121510223457070205707245218885920790315981856732267109795960561618489679764",
    "2": "1.023523999341005863497798656724971852564914607948784741872151985874134797767846031113022857746876019",
    "3": "1.008666841725232885465487417162683667430282464328049143567062350007344780563743555049119741420707616",
    "4": "1.003734885487739091047679595066953866207994332444519408254958153247325173329563798056949832166444235",
    "5": "1.001779064615381202177110882475934358381789965777873877326019094360370487732371453217220866622341394",
    "6": "1.000909921887256762919286004121566671804588146730301330859241796813958542087950056332754220221829115",
    "7": "1.000491167326285921785729793827326814658794622363230300853476431606564563510667592176560174287530005",
    "8": "1.000276688372042286062204483364677742495813309527477822501068232932101445703821825857121558297222172",
    "9": "1.000161399035140694021502070389399573887508391242375289372799863139144370455187453485128542493007120",
    "10": "1.000096937793894731568940341141091584051440682580458400192358357278780556122688022522470605141859220",
    "11": "1.000059690546777789512636720096492035760291811758082056798821874345795941139126435209508247341058958",
    "12": "1.000037557066632685136150730727319517179060309415959268140310001982398439203354621330178456862954173"
  },
  "evidence": [
    {
      "r": 1,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 2,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 3,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 4,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 5,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 6,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 7,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 8,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 9,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 10,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 11,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    },
    {
      "r": 12,
      "production_accuracy_bits": 427,
      "series_accuracy_bits": 510,
      "checks": [
        "bounded theta series",
        "Jacobi quartic identity",
        "eta product identity",
        "T295 parameter",
        "elliptic K from T295",
        "T296 value",
        "complementary elliptic ratio",
        "T297 Ramanujan and Weber",
        "T299 elliptic alpha"
      ]
    }
  ]
}