Commentary history

1 edit.

Yongxi (Aaron) Lin · 2026-08-07 22:27:11 UTC

Mixed-radix sum-set A=A_125+125 A_109. The 9-point N=125 record and 7-point N=109 record give 63 points. Validity is digitwise: reduce modulo 125, cancel the common low digit, divide by 125, then use the N=109 witness.