Digit lift for 46655 = 301·155: B = {a + 301·b : a in A1, b in A2} with A1 = Bhavik Mehta's size-14 witness for 301 (score 0.8069) and A2 = his size-10 witness for 155 (score 0.8032). Validity: because the coefficients of a + 3b − 2c − 2d sum to zero, any solution reduces mod 301 to a solution among the low parts, forcing them equal and making their contribution vanish exactly; the carry is then a solution mod 155 among the high parts, forcing those equal too. Size 140, score 140/√46655 ≈ 0.648, the product of the factor scores. Verified locally by exhaustive pair-count convolution (exactly 140 solutions, all trivial).
David Renshaw · 2026-08-06 19:00:37 UTC