Generalized Mersenne Quotient.
Also can be written as ((2^6251862-1)^2+1)/10

To be completed...