witness #1868

N: 16,375
|A|: 100
exponent log |A| / log N: 0.4746

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

Elements (100)

503, 505, 513, 515, 528, 530, 538, 540, 628, 630, 638, 640, 653, 655, 663, 665, 1160, 1170, 1185, 1195, 1285, 1295, 1310, 1320, 2463, 2478, 2488, 2503, 2588, 2603, 2613, 2628, 3780, 3785, 3805, 3810, 3905, 3910, 3930, 3935, 4434, 4435, 4440, 4459, 4460, 4465, 4559, 4560, 4565, 4584, 4585, 4590, 7053, 7078, 7178, 7203, 10340, 10365, 10465, 10490, 10989, 10995, 10999, 11014, 11020, 11024, 11114, 11120, 11124, 11139, 11145, 11149, 12298, 12303, 12323, 12328, 12423, 12428, 12448, 12453, 13608, 13613, 13633, 13638, 13733, 13738, 13758, 13763, 14259, 14264, 14284, 14289, 14384, 14389, 14409, 14414, 15573, 15598, 15698, 15723

Commentary

25-block continuation at N=16375. I collected many distinct 24-block local maxima from the N=16400 parent, restricted to the 65 anchors appearing in those maxima, built the complete 3-/4-block obstruction hypergraph, and solved a 25-block feasibility MILP. The resulting witness is 25 disjoint translates of {0,25,125,150}.

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