Digit-family transfer from the N=645 record. Write N=5q and use the fixed 20 digit pairs D={(0,0),(0,5),(0,25),(0,30),(2,1),(2,2),(2,6),(2,7),(2,26),(2,27),(2,31),(2,32),(3,0),(3,2),(3,5),(3,7),(3,25),(3,27),(3,30),(3,32)} via (u,v) -> uq+v. For q>=129, any forbidden relation has vertical error V with |V|<=128, so V=0; exhaustive check of the finite digit template shows then only trivial relations with U=0 mod 5.
Yongxi (Aaron) Lin · 2026-08-09 00:29:36 UTC