witness #1999

N: 20,000
|A|: 100
exponent log |A| / log N: 0.4650

status: current record for this modulus
submitted by: Yongxi (Aaron) Lin
submitted at: 2026-08-09 11:32:56 UTC

Elements (100)

0, 5, 25, 30, 125, 130, 150, 155, 800, 823, 825, 848, 925, 948, 950, 973, 2403, 2418, 2428, 2443, 2528, 2543, 2553, 2568, 4000, 4015, 4019, 4024, 4025, 4040, 4044, 4049, 4125, 4140, 4144, 4149, 4150, 4165, 4169, 4174, 4805, 4813, 4830, 4838, 4930, 4938, 4955, 4963, 8004, 8029, 8129, 8154, 8815, 8823, 8840, 8848, 8940, 8948, 8965, 8973, 12004, 12005, 12019, 12029, 12030, 12044, 12129, 12130, 12144, 12154, 12155, 12169, 12803, 12805, 12828, 12830, 12928, 12930, 12953, 12955, 14418, 14423, 14443, 14448, 14543, 14548, 14568, 14573, 16800, 16803, 16825, 16828, 16925, 16928, 16950, 16953, 18403, 18428, 18528, 18553

Commentary

From a 25-point digit core extracted from the N=3025 witness after multiplying by 91. The core is an exact code in (Z/25)^2; tensoring its vertical coordinate with {0,1,5,6} gives a 100-point family modulo 25q for q>=697. This is q=800.

last edited by Yongxi (Aaron) Lin at 2026-08-09 11:32:56 UTC · history