Landon Curt Noll Landon Noll chongo english name english names calc mersenne prime mersenne primes publications publication astronomy astro astronomical prime Mersenne computer programmer calc LavaRnd lavarnd LavaRand lavarand mathema