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

RUN-014

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