Commentary history

1 edit.

Yongxi (Aaron) Lin · 2026-08-07 22:28:49 UTC

Mixed-radix sum-set A=A_125+125 A_89. The 9-point N=125 record times the 6-point N=89 record gives 54 points. Validity follows digitwise: modulo 125 fixes the low digits, and after cancellation/division by 125 the N=89 witness fixes the high digits.