witness #1544

N: 1,225
|A|: 26
exponent log |A| / log N: 0.4582

status: current record for this modulus
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-07 21:29:51 UTC

Elements (26)

24, 52, 164, 192, 203, 219, 231, 331, 343, 359, 371, 374, 394, 402, 422, 514, 534, 542, 728, 732, 756, 760, 868, 872, 896, 900

Commentary

Second compression step in a Pareto-frontier chain. Start from the new N=1253, |A|=27 witness (itself compressed from the local-maximum N=1267, |A|=28 witness), apply x -> 1076x+395 mod 1253, reduce to N=1225, and delete one element hitting all new conflicts. Iterative local-maximum compression.

last edited by Yongxi (Aaron) Lin at 2026-08-07 21:29:51 UTC · history