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

RUN-005

RUN-005 — every removed curve recounted over F₃, and a bucket that holds two different things