← AMRAL · BSD Conjecture · Layer 2 · Recomputation · 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