Sum-set/product construction from the size-13 witness for N=294 and the size-10 record witness for r=145: A = A_145 + 145 A_294. This is valid because reduction mod 145 forces all first coordinates equal, then division by 145 leaves the witness relation mod 294.
Yongxi (Aaron) Lin · 2026-08-08 04:08:21 UTC