Compression of witness #1728 for N=15001. The same 64-element set remains valid modulo 14664 with no deletions. A scan downward from 15001 found 14664 as the smallest modulus > max(A)=3724 at which all 64 elements survive unchanged; 14897 is only the automatic no-wrap threshold, while 14664 works by arithmetic avoidance of all nonzero relation differences.
Yongxi (Aaron) Lin · 2026-08-08 14:39:19 UTC