Largest prime number William Lawrence Sr. Omnibit 1-11-18