Compression from the 80-point positional product A_104 + 104 A_145 at modulus 15080. The first 8 outer A_145 digits lie in [0,35], giving a 64-point block contained in [0,3724]. Since 4*3724 < 15001, any congruence mod 15001 among these representatives is an actual integer equality; validity follows from the original sum-set witness. Exhaustive local exchange checks found no 1-for-2, 2-for-3, or 3-for-4 improvement from this block.
Yongxi (Aaron) Lin · 2026-08-08 04:14:00 UTC