← AMRAL · BSD Conjecture · Layer 2 · Recomputation · RUN-042

RUN-042

RUN-042 — The corpus's own base certificate, compared row by row, and the discriminant that needed care