Congrats, that is great news. Also very good timing as I will use that information in my talk on prime numbers in a couple of weeks. It will be especially good to use that as a concrete example of how deterministic primality testing in the general case takes a LONG time (ie: 500 million years) compared to specialized cases like Mersenne Primes which can be 28x larger (ie: 12.9 million digits) and only take a week or two to verify.

Jeff.