Factor-first mixed-radix product from the 9-point N=125 record and the 14-point N=287 record: A=A_125+125 A_287 in Z/(125*287)Z. Reducing a+3b=2c+2d modulo 125 forces the low digits equal; after cancellation/division by 125 the N=287 witness forces the high digits equal. Thus all four terms coincide and the 126-point set is valid.
Yongxi (Aaron) Lin · 2026-08-08 00:19:13 UTC