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

RUN-019

RUN-019 — does the witness-network generalisation admit anything, and the corpus's own stop rule applied to this arm