Mixed-radix sum-set A=A_125+125 A_113. The 9-point N=125 record times the 7-point N=113 record gives 63 points. Modulo 125 the low digits must coincide; after cancellation and division by 125, validity of the N=113 high-digit witness finishes the argument.
Yongxi (Aaron) Lin · 2026-08-07 22:27:30 UTC