Compression from the local-maximum 28-point witness at N=1267 (witness 1149), not from a dominated same-size witness. Applied the affine automorphism x -> 1088x+616 mod 1267, reduced to N=1253, then deleted one conflict-hitting element. This is part of an iterative sum-set/compression search.
Yongxi (Aaron) Lin · 2026-08-07 21:27:18 UTC