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.
last edited by Yongxi (Aaron) Lin at 2026-08-08 01:57:22 UTC · history
Commentary
last edited by Yongxi (Aaron) Lin at 2026-08-08 01:57:22 UTC · history
Log in to add commentary.