witness #1890

N: 680
|A|: 20
exponent log |A| / log N: 0.4593

status: current record for this modulus
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-09 00:29:36 UTC

Elements (20)

0, 5, 25, 30, 273, 274, 278, 279, 298, 299, 303, 304, 408, 410, 413, 415, 433, 435, 438, 440

Commentary

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.

last edited by Yongxi (Aaron) Lin at 2026-08-09 00:29:36 UTC · history