← AMRAL · Collatz Conjecture · Layer 2 · Recomputation · RUN-054

RUN-054

RUN-054 — Hard-Zeta A-U.2d.26: a withdrawn constant, a certificate rebuilt from exact rationals, and a PASS for a file that isn't there