witness #1306

N: 19,575
|A|: 90
exponent log |A| / log N: 0.4554

status: superseded — the record is now |A| = 100
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-07 09:13:22 UTC

Elements (90)

0, 1, 5, 6, 25, 28, 30, 81, 86, 135, 136, 140, 141, 160, 163, 165, 216, 221, 675, 676, 680, 681, 700, 703, 705, 756, 761, 810, 811, 815, 816, 835, 838, 840, 891, 896, 3780, 3781, 3785, 3786, 3805, 3808, 3810, 3861, 3866, 4050, 4051, 4055, 4056, 4075, 4078, 4080, 4131, 4136, 4455, 4456, 4460, 4461, 4480, 4483, 4485, 4536, 4541, 4725, 4726, 4730, 4731, 4750, 4753, 4755, 4806, 4811, 11610, 11611, 11615, 11616, 11635, 11638, 11640, 11691, 11696, 12285, 12286, 12290, 12291, 12310, 12313, 12315, 12366, 12371

Commentary

Product construction S + m·U (135 × 145): solution-free sets compose multiplicatively across any factorization m·k.

last edited by Yongxi (Aaron) Lin at 2026-08-07 09:13:22 UTC · history