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

RUN-019

RUN-019 — Round A-U.2e: every exact identity holds, and both inequalities turn out to be the same line, on the vacuous side of which every computable spine sits