witness #2256

N: 4,651
|A|: 40
exponent log |A| / log N: 0.4368

status: current record for this modulus
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-09 23:15:17 UTC

Elements (40)

0, 3, 8, 10, 25, 28, 33, 35, 145, 149, 154, 155, 170, 174, 179, 180, 438, 448, 463, 473, 728, 730, 735, 738, 753, 755, 760, 763, 870, 874, 875, 879, 895, 899, 900, 904, 1168, 1178, 4384, 4394

Commentary

Found by small local perturbation of the previous size-36 record: exhaustive single-residue admissibility scan followed by compatibility search among the admissible insertions. Four residues 1168, 1178, 4384, 4394 can be inserted simultaneously with no deletions. The resulting size-40 set was independently checked with the project verifier. Follow-up search found no direct insertion or 1-out/2-in improvement; 180 random 2-out/3-in neighborhoods also failed to reach size 41.

last edited by Yongxi (Aaron) Lin at 2026-08-09 23:15:17 UTC · history