back to table · edit · history · where entries came from · files · download
2719 bytes, as of the version from 2026-10-26 08:03 (current). Recorded here, not run.
{
"controls": {
"known_value_controls": 5,
"required_failure_controls": 3
},
"mode": "computed",
"sage": "10.9",
"numberdb": "0.1.10",
"working_bits": 429,
"independent_bits": 512,
"theta_series_N": 12,
"product_M": 80,
"minimum_accuracy_bits": 423,
"measurement_balls": {
"entries": 12,
"longest": 146,
"longest_at": 4,
"block_kb": 2.3837890625
},
"measurement_written": {
"entries": 12,
"longest": 102,
"longest_at": 1,
"block_kb": 1.6201171875
},
"serialized_containment_count": 12,
"entries": {
"1": "0.9135791381561168214072425934012220897019639163934690334196965312659080093720091139632889833595801389",
"2": "0.6587341636868087114484261991426182184349575170028492178187130533378531872650249578916285849645708538",
"3": "0.5131518035364283464167427809760052571776538945486147049080744270687965521522857125320935924865257047",
"4": "0.4157606025960270323145071362847439246488730735296086805037924302108541045187552587408754717154039373",
"5": "0.3453987573693434832583000411340316724513970888092195679018678012366022698024484844024188724196373632",
"6": "0.2920946580933849999565707721117488853240395779706612687299894416667478544001004140328076800796900503",
"7": "0.2503686168586032653155820655529367929714372945994953613109532944445561939516831998547900141318224189",
"8": "0.2169053340203222751552657389061781609332423912759947178996210409267366889068411086814318696918296287",
"9": "0.1895604509188054786269057033517587720577184337508730829420099982478710160052243883307350800352772271",
"10": "0.1668767298832390126873437190864130890084448752445431641467852350868675295540134571348652593501753058",
"11": "0.1478253399538909383837589438432730622747909591506827947590785289273691681821754813158693272114665062",
"12": "0.1316574420690201027167240791521530344736248490240303436009452012243984162774678180526971443251004580"
},
"checked_indices": [
1,
2,
3,
4,
5,
6,
7,
8,
9,
10,
11,
12
],
"identities_per_row": [
"theta2 series",
"theta2 product",
"theta3 sibling",
"theta4 sibling",
"eta sibling",
"Jacobi quartic",
"theta eta identity",
"quartic stored siblings",
"eta stored siblings",
"k squared equals m",
"modular lambda ratio",
"K theta3 identity",
"K independent evaluation",
"complementary K",
"theta2 elliptic identity",
"Weber normalisation",
"theta2 Weber identity",
"theta2 Ramanujan identity"
],
"special_checks": [
"square lattice Gamma identity",
"theta2 equals theta4 at r=1",
"T25 m=1/2 equals T296 r=1"
],
"passed": true
}