Tail/arc-compression search. The previous size-31 record fits entirely in the upper 55% arc after translation, so all residues are >0.45N. A direct insertion was blocked, but a tail-preserving 1→2 exchange removed 2577 and inserted 1898,2077, yielding this size-32 witness entirely above 0.45N.
Yongxi (Aaron) Lin · 2026-08-09 15:45:26 UTC