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

RUN-014

RUN-014 — the Phase 2 anchor: `r_an = 0` computed, and `L(E,1) = Ω` to the last bit