witness #221277

N: 42,435
|A|: 143
exponent log |A| / log N: 0.465744

status: superseded — the record is now |A| = 145
submitted by: David Renshaw
submitted at: 2026-09-28 17:01:48 UTC

Elements (143)

0, 38, 41, 120, 205, 243, 246, 1034, 1046, 1075, 1087, 1239, 1251, 1280, 1292, 2072, 2091, 2113, 2173, 2277, 2296, 2318, 3122, 3124, 3204, 3206, 3327, 3329, 4142, 4146, 4183, 4187, 4347, 4351, 4388, 4392, 6211, 6243, 6252, 6325, 6416, 6448, 6457, 8306, 8314, 8388, 8396, 8511, 8519, 11409, 11419, 11491, 11501, 11614, 11624, 13476, 13477, 13559, 13599, 13681, 13682, 15557, 15562, 15639, 15644, 15762, 15767, 16569, 16592, 16610, 16674, 16774, 16797, 16815, 17598, 17605, 17639, 17646, 17803, 17810, 17844, 17851, 18630, 18656, 18671, 18738, 18835, 18861, 18876, 19671, 19698, 19712, 19780, 19876, 19903, 19917, 23804, 23815, 23845, 23856, 24009, 24020, 24050, 24061, 24843, 24859, 24884, 24941, 25048, 25064, 25089, 27941, 27969, 27982, 28051, 28146, 28174, 28187, 31059, 31100, 31264, 31305, 34160, 34166, 34201, 34207, 34365, 34371, 34406, 34412, 37277, 37298, 37359, 37380, 37482, 37503, 38300, 38317, 38341, 38399, 38505, 38522, 38546

Commentary

Local extension, exchange, regrowth or neighboring transfer, seeded from witness #162810; independently checked by exact solution counting.

last edited by David Renshaw at 2026-09-28 17:01:48 UTC · history