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

RUN-046

RUN-046 — Hard-Zeta A-U.2d.18: the round that makes the slack profile an integer, and the branch that has no finite instance