# Ancillary numerical scripts and fit tables

Scripts and JSON tables supporting Section "Numerical evidence" of paper.tex.
Large zero tables and .npy arrays are not bundled; Odlyzko tables are cited in the bibliography.
No Lean sources are included here (Lean is link-only for Hexagon).
