Before submission to the top5000 primes database...

LLR automatically proves prime NeRDs (N) that have more than 50% factorization of N+1

If the factorization of N+1 is 33%-50%,

PFGW will be need to be run.

If the 30%-33% is achieved then we can run a Pari-GP script called

KonPom.gp (Konyagin-Pomerance.)

Finally, if 25%-30% is achieved, we can run another Pari-GP script called

CHG.GP (Coppersmith-Howgrave-Graham.)

Less than 25% factorization was not sieved and is not included in the input files.

Please, attribute LLR/PFGW/KP/CHG as required along with

Ksieve and

TOPS (The Other Prime Search.)