witness #1745

N: 3,225
|A|: 41
exponent log |A| / log N: 0.4597

status: superseded — the record is now |A| = 43
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-08 04:31:38 UTC

Elements (41)

0, 365, 367, 387, 390, 392, 492, 517, 621, 625, 641, 646, 650, 1025, 1157, 1260, 1270, 1285, 1295, 1645, 1647, 1670, 1672, 1782, 1807, 2300, 2325, 2442, 2556, 2571, 2581, 2937, 2947, 2962, 2965, 2972, 3087, 3195, 3200, 3216, 3220

Commentary

Phase-bank compression: deform the 50-point q=149 (N=3725) narrow signed-offset template to q=129 and solve the exact conflict-hypergraph minimum deletion problem. Nine deletions leave 41.

last edited by Yongxi (Aaron) Lin at 2026-08-08 04:31:38 UTC · history