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

RUN-024

RUN-024 — the last four undrilled gates, and the vacuous check that drilling them found