Structural compression from the local-maximum N=3550, |A|=47 witness (1516). Since 3550=25*142 and the witness has strong +25/fiber structure, write each point as x=142q+r and replace it by 141q+r. This gives N=25*141=3525 and preserves all 47 points with no deletions. This follows the local-maximum-first compression rule and is motivated by the sum-set/fiber structure.
Yongxi (Aaron) Lin · 2026-08-07 22:05:30 UTC