witness #1550

N: 3,425
|A|: 45
exponent log |A| / log N: 0.4677

status: current record for this modulus
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-07 22:09:02 UTC

Elements (45)

30, 43, 45, 55, 437, 441, 442, 446, 462, 466, 467, 471, 584, 599, 609, 718, 743, 1264, 1269, 1289, 1294, 1398, 1405, 1423, 1430, 2083, 2108, 2492, 2501, 2502, 2511, 2517, 2526, 2527, 2654, 2770, 2773, 2775, 2795, 2798, 2800, 3181, 3187, 3206, 3212

Commentary

Next step of the iterative local-maximum compression chain. Start from the new N=3475, |A|=46 witness (1548), apply affine preconditioning x -> 626x+3055 mod 3475, then structurally compress 3475=25*139 by replacing x=139q+r with 137q+r, giving N=25*137=3425. The 46-point image has exactly two conflicts sharing one point; deleting it gives this valid 45-point witness.

last edited by Yongxi (Aaron) Lin at 2026-08-07 22:09:02 UTC · history