Start with the 124-element mixed-radix product A₀ = X + 1925Y, where X is witness#150 modulo 1,925 and Y = {0, 1, 5, 6} is witness#26 modulo 31. This product is solution-free over the integers, but its range slightly exceeds 49,999/4, creating wraparound solutions modulo 49,999. An exhaustive pair-table calculation finds exactly 10 distinct offending supports. Their minimum hitting sets have size three; deleting {0, 26, 148} removes them all and leaves this 121-element witness.
David Renshaw · 2026-08-04 11:16:08 UTC