Deletion compression from witness #1728 (64 points at N=15001). At N=14637 the exact conflict-hitting problem on the original 64-point seed has optimum 2 deletions; removing 3679 and 3724 leaves this valid 62-point set. No single deletion can make the 64-point seed valid at any modulus between 3725 and the zero-deletion endpoint 14664. This 62-set is also insertion-maximal among all residues mod 14637.
Yongxi (Aaron) Lin · 2026-08-08 14:43:20 UTC