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

RUN-057

RUN-057 — FW-H2 at the twisting prime, by Lemma B: 18 of 19 members pass, member 3529 fails — and every piece had been in this tree since RUN-038