Factor-first mixed-radix product A=A_125+125 A_322 from the 9-point N=125 record and 14-point N=322 record. The equation separates digitwise: modulo 125 fixes the low digits, then cancellation and division by 125 reduces to the valid N=322 relation on high digits.
Yongxi (Aaron) Lin · 2026-08-08 00:19:31 UTC