No-carry compression with residue-outlier deletion from the local maximum N=15625, |A|=93 (witness 10). Use 15625=25*625 and affine preconditioning x -> 312x+155 mod 15625. Then 89 of 93 points have base-625 residues in [0,155]; the discarded original points are 1244, 3119, 6244, 7494. With W=155, replace x=625q+r by 621q+r. Since 621>4W=620, the no-carry lemma preserves exactly the solution pattern, yielding N=25*621=15525.
Yongxi (Aaron) Lin · 2026-08-08 00:11:09 UTC