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

RUN-052

RUN-052 — Hard-Zeta A-U.2d.24: every counter reproduced, two theorems with none, and two bounds carrying the same spare three