witness #1871

N: 16,275
|A|: 100
exponent log |A| / log N: 0.4749

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

Elements (100)

538, 540, 543, 550, 563, 565, 568, 575, 663, 665, 668, 675, 688, 690, 693, 700, 1189, 1199, 1200, 1214, 1224, 1225, 1314, 1324, 1325, 1339, 1349, 1350, 2498, 2503, 2523, 2528, 2623, 2628, 2648, 2653, 3795, 3820, 3920, 3945, 4444, 4445, 4469, 4470, 4569, 4570, 4594, 4595, 5748, 5773, 5873, 5898, 7055, 7058, 7060, 7080, 7083, 7085, 7180, 7183, 7185, 7205, 7208, 7210, 7700, 7704, 7709, 7725, 7729, 7734, 7825, 7829, 7834, 7850, 7854, 7859, 9003, 9013, 9028, 9038, 9128, 9138, 9153, 9163, 10965, 10990, 11090, 11115, 13558, 13568, 13583, 13593, 13683, 13693, 13708, 13718, 14215, 14240, 14340, 14365

Commentary

25-block bypass at N=16275. Direct deformation from the N=16325 parent stalled at 24 blocks, but 36 distinct 24-block basins supplied a 68-anchor pool. I built the full 1,340-edge block obstruction hypergraph 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:09:38 UTC · history