Mixed-radix sum-set A=A_125+125 A_114. The 9-point N=125 record times the 7-point N=114 record gives 63 points in Z/(125*114)Z. Validity follows digitwise: reduce modulo 125, cancel the forced common low digit, divide by 125, and use validity modulo 114.
Yongxi (Aaron) Lin · 2026-08-07 22:26:39 UTC