Next step of the iterative local-maximum compression chain. Start from the new N=3475, |A|=46 witness (1548), apply affine preconditioning x -> 626x+3055 mod 3475, then structurally compress 3475=25*139 by replacing x=139q+r with 137q+r, giving N=25*137=3425. The 46-point image has exactly two conflicts sharing one point; deleting it gives this valid 45-point witness.
Yongxi (Aaron) Lin · 2026-08-07 22:09:02 UTC