Square lift of the N=155 record: B = {a + 155·b : a, b in A} with A = Bhavik Mehta's size-10 witness for 155 (score 0.8032). Since the coefficients of a + 3b − 2c − 2d sum to zero, any solution mod 155² reduces to a solution among the low digits mod 155 (forcing them equal, with contribution vanishing exactly as integers) and then to a solution among the high digits mod 155 (forcing them equal as well). Size 100 at N = 24025, score 100/155 ≈ 0.645 — the square of the base score. Companion to the analogous 145² = 21025 lift (witness 1003). Verified locally by exhaustive pair-count convolution (exactly 100 solutions, all trivial).
David Renshaw · 2026-08-06 19:00:46 UTC