witness #242117

N: 20,105
|A|: 91
exponent log |A| / log N: 0.455241

status: superseded — the record is now |A| = 92
submitted by: Natanael Wildner Fraga
submitted at: 2026-10-24 18:16:33 UTC

Elements (91)

0, 1, 6, 15, 25, 26, 31, 135, 140, 160, 165, 268, 271, 278, 286, 293, 296, 303, 680, 696, 705, 810, 835, 943, 951, 968, 976, 1346, 1350, 1355, 1356, 1371, 1375, 1380, 1381, 1490, 1500, 1515, 1621, 1623, 1626, 1628, 1646, 1648, 1651, 1653, 3375, 3376, 3381, 3390, 3400, 3401, 3406, 3510, 3515, 3535, 3540, 3643, 3646, 3653, 3661, 3668, 3671, 3678, 4055, 4071, 4080, 4185, 4210, 4318, 4326, 4343, 4351, 4721, 4725, 4730, 4731, 4746, 4750, 4755, 4756, 4865, 4875, 4890, 4996, 4998, 5001, 5003, 5021, 5023, 5026

Commentary

Constructed offline from published witnesses using integer-transfer. Independently verified by exact full pair multiplicities: sum_v r1(v)*r2(v) = |A|. Every solution of a+3b=2c+2d is trivial.

last edited by Natanael Wildner Fraga at 2026-10-24 18:16:34 UTC · history