PARI GP ispseudoprime In the form k-floor(log(k)/2)-s*t or k-floor(log(k)/2)-1-s*t k=(((5*(2^33245-2^(33244/2+1))-a)/b-c)-d)/e and k is PRP
To be completed...