Found while investigating the high-density N=7q witnesses at 287 and 301. Search restricted to the recurring pair-translate ansatz A = B ∪ (B+7), motivated by the fact that the 287 and 301 records each decompose into seven equal-direction pairs after affine normalization.
Yongxi (Aaron) Lin · 2026-08-08 01:57:22 UTC