Iterated compression from the new local-max/frontier witness N=3525, |A|=47 (witness 1547). First apply affine preconditioning x -> 2399x+3440 mod 3525, then structurally compress the 25*141 modulus by writing x=141q+r and replacing 141 by 139, giving N=25*139=3475. The resulting 47-point candidate has exactly two conflicts sharing one point; deleting that common point gives this valid 46-point witness.
Yongxi (Aaron) Lin · 2026-08-07 22:08:08 UTC