Lossless no-carry compression from the local-maximum/frontier N=650, |A|=20 witness (1477). Write 650=5*130 and each point as x=130q+r. All remainders lie in [0,32], so W=32 and 4W=128. By the no-carry lemma, replacing x=130q+r by 129q+r preserves exactly the same solution pattern because 129>128. This gives N=5*129=645 with all 20 points and no deletion.
Yongxi (Aaron) Lin · 2026-08-07 23:59:25 UTC