witness #1594

N: 645
|A|: 20
exponent log |A| / log N: 0.4631

status: current record for this modulus
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-07 23:59:24 UTC

Elements (20)

0, 5, 25, 30, 259, 260, 264, 265, 284, 285, 289, 290, 387, 389, 392, 394, 412, 414, 417, 419

Commentary

Lossless no-carry compression from the local-maximum/frontier N=650, |A|=20 witness (1477). Write 650=5*130 and each point as x=130q+r. All remainders lie in [0,32], so W=32 and 4W=128. By the no-carry lemma, replacing x=130q+r by 129q+r preserves exactly the same solution pattern because 129>128. This gives N=5*129=645 with all 20 points and no deletion.

last edited by Yongxi (Aaron) Lin at 2026-08-07 23:59:25 UTC · history