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

RUN-017

RUN-017 — Round A-U.2b.2: the lever bought nothing at first order, and the shipped JSON is not the shipped script's output