← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-060

RUN-060

RUN-060 — `15`'s exact replay recomputed to the cell, `09`'s two branches exercised, why the expand branch could never fire — and a correction to RUN-055