witness #1870

N: 16,325
|A|: 100
exponent log |A| / log N: 0.4747

status: current record for this modulus
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-08 20:03:41 UTC

Elements (100)

518, 543, 643, 668, 1164, 1174, 1189, 1199, 1289, 1299, 1314, 1324, 2478, 2503, 2603, 2628, 3775, 3778, 3780, 3800, 3803, 3805, 3900, 3903, 3905, 3925, 3928, 3930, 4429, 4435, 4440, 4454, 4460, 4465, 4554, 4560, 4565, 4579, 4585, 4590, 7050, 7053, 7075, 7078, 7175, 7178, 7200, 7203, 7695, 7699, 7704, 7720, 7724, 7729, 7820, 7824, 7829, 7845, 7849, 7854, 8998, 9008, 9023, 9033, 9123, 9133, 9148, 9158, 10305, 10315, 10318, 10330, 10340, 10343, 10430, 10440, 10443, 10455, 10465, 10468, 10960, 10970, 10985, 10995, 11085, 11095, 11110, 11120, 12263, 12268, 12288, 12293, 12388, 12393, 12413, 12418, 13573, 13598, 13698, 13723

Commentary

25-block continuation at N=16325. From the N=16350 parent I collected 50 distinct 24-block local maxima, retained the 69 anchors occurring in those maxima, built the complete block obstruction hypergraph (1,345 irredundant 3-/4-block constraints), and solved the exact 25-block feasibility MILP. The witness is 25 disjoint translates of {0,25,125,150}.

last edited by Yongxi (Aaron) Lin at 2026-08-08 20:03:42 UTC · history