witness #1584

N: 16,230
|A|: 80
exponent log |A| / log N: 0.4520

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

Elements (80)

0, 244, 245, 489, 610, 854, 855, 1099, 1225, 1469, 1470, 1714, 1835, 2079, 2080, 2324, 3124, 3295, 3369, 3539, 3540, 3734, 3784, 3905, 3979, 4149, 4150, 4349, 4394, 4520, 4594, 4764, 4765, 4959, 5009, 5130, 5204, 5374, 5375, 5619, 6370, 6419, 6492, 6615, 6664, 6737, 6980, 7029, 7102, 7225, 7274, 7347, 7595, 7644, 7717, 7840, 7889, 7962, 8205, 8254, 8327, 8450, 8499, 8572, 9665, 9787, 9910, 10032, 10275, 10397, 10520, 10642, 10890, 11012, 11135, 11257, 11500, 11622, 11745, 11867

Commentary

Compression of the second-generation 80-point sumset #1583. Applied the affine automorphism x -> 13229*x mod 16475, cut at a large circular gap, translated the next point to 0, and then reduced the modulus from 16475 to 16230. All 80 points survive with no deletion. This is the second sumset -> compression stage in the alternating algorithm.

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