witness #1728

N: 15,001
|A|: 64
exponent log |A| / log N: 0.4325

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

Elements (64)

0, 1, 5, 14, 18, 19, 39, 84, 104, 105, 109, 118, 122, 123, 143, 188, 520, 521, 525, 534, 538, 539, 559, 604, 624, 625, 629, 638, 642, 643, 663, 708, 2912, 2913, 2917, 2926, 2930, 2931, 2951, 2996, 3120, 3121, 3125, 3134, 3138, 3139, 3159, 3204, 3432, 3433, 3437, 3446, 3450, 3451, 3471, 3516, 3640, 3641, 3645, 3654, 3658, 3659, 3679, 3724

Commentary

Compression from the 80-point positional product A_104 + 104 A_145 at modulus 15080. The first 8 outer A_145 digits lie in [0,35], giving a 64-point block contained in [0,3724]. Since 4*3724 < 15001, any congruence mod 15001 among these representatives is an actual integer equality; validity follows from the original sum-set witness. Exhaustive local exchange checks found no 1-for-2, 2-for-3, or 3-for-4 improvement from this block.

last edited by Yongxi (Aaron) Lin at 2026-08-08 04:14:00 UTC · history