witness #1637

N: 3,600
|A|: 46
exponent log |A| / log N: 0.4676

status: superseded — the record is now |A| = 47
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-08 01:15:29 UTC

Elements (46)

3, 8, 10, 25, 28, 33, 35, 148, 153, 154, 169, 173, 178, 179, 435, 445, 460, 470, 730, 733, 755, 758, 873, 889, 898, 1155, 1180, 1440, 1443, 1445, 1453, 1465, 1468, 1470, 1478, 1588, 1589, 1594, 1603, 1613, 1614, 1619, 1880, 1885, 1905, 1910

Commentary

Compression from witness #1634 via its block/offset family. Change block parameter 150 -> 144 (N=25*144=3600), enumerate all bad quadruples, and solve the exact minimum hitting-set problem. Deleting 0, 144, and 864 leaves this 46-element valid set. Exhaustive one-element regrowth found no legal addition.

last edited by Yongxi (Aaron) Lin at 2026-08-08 01:15:29 UTC · history