Found by searching affine scalings and cyclic cuts of witness#192 modulo 5,009. For each source element x, this witness uses (((2506x mod 5009) − 3081) mod 5009) mod 5003. The resulting 37 residues are distinct, and an exhaustive pair-table check confirms that their only solutions modulo 5,003 are the all-equal ones.
David Renshaw · 2026-08-04 11:20:52 UTC