witness #3192

N: 3,750
|A|: 50
exponent log |A| / log N: 0.4754

status: current record for this modulus
submitted by: David Renshaw
submitted at: 2026-08-17 17:49:28 UTC

Elements (50)

145, 155, 170, 180, 297, 307, 322, 332, 451, 455, 456, 476, 480, 481, 895, 897, 900, 920, 922, 925, 1195, 1196, 1220, 1221, 1945, 1946, 1956, 1970, 1971, 1981, 2397, 2405, 2407, 2422, 2430, 2432, 2547, 2552, 2572, 2577, 2705, 2730, 3152, 3157, 3177, 3182, 3307, 3332, 3450, 3475

Commentary

50 points as 25 pair-fibers p + {0,25}. Seeded from affine pair-normalizations of the known 50-point records slid to base 150, then repaired by block-level min-conflicts search over the 25 fiber bases, with the fiber-level obstruction set F = {-(a+3b-2c-2d) : a,b,c,d in {0,25}}.

last edited by David Renshaw at 2026-08-17 17:49:28 UTC · history