Second-generation sum-set modulus: starting from the 19→5586 branch and multiplying by 5 gives modulus 27930. Before forming the final product with A_294, the small-factor witness was upgraded from the raw product A_5+5A_19 (size 6 at 95) to the record A_95 (size 7). Final construction A_95 + 95 A_294.
Yongxi (Aaron) Lin · 2026-08-08 04:10:44 UTC