witness #4879

N: 36,925
|A|: 136
exponent log |A| / log N: 0.467131

status: superseded — the record is now |A| = 140
submitted by: Aayush Rajasekaran
submitted at: 2026-08-31 15:56:33 UTC

Elements (136)

155, 156, 230, 231, 330, 331, 405, 406, 1225, 1226, 1260, 1261, 1300, 1301, 1310, 1311, 1400, 1401, 1435, 1436, 1475, 1476, 1485, 1486, 4415, 4416, 4445, 4446, 4465, 4466, 4495, 4496, 4590, 4591, 4620, 4621, 4640, 4641, 6525, 6526, 6535, 6536, 6560, 6561, 6575, 6576, 6700, 6701, 6710, 6711, 6735, 6736, 6750, 6751, 9665, 9666, 9670, 9671, 9690, 9691, 9770, 9771, 9840, 9841, 9845, 9846, 9865, 9866, 14970, 14971, 15145, 15146, 16030, 16031, 16205, 16206, 17025, 17026, 17035, 17036, 17050, 17051, 17110, 17111, 17200, 17201, 17210, 17211, 17225, 17226, 17285, 17286, 20190, 20191, 20290, 20291, 20365, 20366, 20465, 20466, 21255, 21256, 21305, 21306, 21430, 21431, 21480, 21481, 26605, 26606, 26630, 26631, 26780, 26781, 26805, 26806, 30795, 30796, 30820, 30821, 30970, 30971, 30995, 30996, 32860, 32861, 32900, 32901, 33035, 33036, 33075, 33076, 36040, 36041, 36215, 36216

Commentary

Construction: lift5[record(7385)] — closure of existing records under the base-5 lift A -> {0,1}+5A and CRT products (see github.com/arajasek/ruzsa-genus-one).

last edited by Aayush Rajasekaran at 2026-08-31 15:56:34 UTC · history