Mixed-radix sum-set A=A_125+125 A_117. The 9-point N=125 record times the 7-point N=117 record gives 63 points in Z/(125*117)Z. Reduction modulo 125 forces equality of low digits; after cancellation/division by 125, the N=117 witness forces equality of high digits.
Yongxi (Aaron) Lin · 2026-08-07 22:26:22 UTC