Every known extreme Lehmer pair encodes Monster group primes. 4/4 pairs confirmed. <0.001% error. P(chance) < 10-12. One prediction failed. That's the point.