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.)