← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-061

RUN-061

RUN-061 — `08`'s thirteen removed curves, row by row against the 500K census; and `03`'s six soundness gates, against what the package records