Files of Gram points of the Riemann zeta function

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

As of the current version, 2026-10-28 15:11, “Remove redundant digits metadata that renders as Unknown key; preserve all values and precision claims”. See the history to look at the files of an earlier one.

namesizelast changed
argument-selection.md 2916 bytes 2026-10-28
certification.md 2703 bytes 2026-10-28
checks.py 7365 bytes 2026-10-28
dry-run.log 503 bytes 2026-10-28 not shown as text
generate.py 3694 bytes 2026-10-28
local-checks.json 54456 bytes 2026-10-28
skill-manifest.json 526 bytes 2026-10-28
sources.json 801 bytes 2026-10-28
stored-checks.json 54415 bytes 2026-10-28

Download the table and its files together — as of this version, so the code in it is the code that produced the numbers in it.

These are recorded, not executed. Several of them take hours or days to run, and nothing on this site runs them.