back to table · edit · history · where entries came from · files
As of the current version, 2026-10-26 15:41, “Attach reproducible selection, certified generator and independent checks”. See the history to look at the files of an earlier one.
| name | size | last changed | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| checks-evidence.json | 49499 bytes | 2026-10-26 — in this version | |||||||||
| checks.py | 10538 bytes | 2026-10-26 — in this version | |||||||||
| generate.py | 488 bytes | 2026-10-26 — in this version | |||||||||
| generate.sage | 129 bytes | 2026-10-26 — in this version | |||||||||
2 versions of this file
|
|||||||||||
| selection.md | 1792 bytes | 2026-10-26 — in this version | |||||||||
| values.py | 6809 bytes | 2026-10-26 — in this version | |||||||||
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.
