witness #1873

N: 16,225
|A|: 100
exponent log |A| / log N: 0.4750

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

Elements (100)

548, 550, 558, 560, 573, 575, 583, 585, 673, 675, 683, 685, 698, 700, 708, 710, 1195, 1199, 1220, 1224, 1320, 1324, 1345, 1349, 3793, 3805, 3818, 3830, 3918, 3930, 3943, 3955, 4440, 4450, 4465, 4475, 4565, 4575, 4590, 4600, 5738, 5748, 5763, 5773, 5863, 5873, 5888, 5898, 7040, 7043, 7045, 7048, 7065, 7068, 7070, 7073, 7165, 7168, 7170, 7173, 7190, 7193, 7195, 7198, 7694, 7699, 7719, 7724, 7819, 7824, 7844, 7849, 8983, 8988, 9008, 9013, 9108, 9113, 9133, 9138, 10934, 10944, 10959, 10969, 11059, 11069, 11084, 11094, 14180, 14185, 14205, 14210, 14305, 14310, 14330, 14335, 15483, 15508, 15608, 15633

Commentary

25-block continuation at N=16225. I merged two different deformation-basin families, formed a recurring-anchor pool, built its complete 3-/4-block obstruction hypergraph, and used a compiled fixed-size min-conflicts/WalkSAT search. A zero-obstruction 25-block selection appeared after 41 restarts. The witness is 25 disjoint translates of {0,25,125,150}.

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