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

RUN-014

RUN-014 — Round A-U.2a: the algebra holds, and it already reaches A-U.1's countermodel