Data on factor types
Can be gotten from prime pages they have the proof.
Sieving small prime factors
Before learning how to use polynomial remainder theorem they sieved to 40,000 for each candidate factor, afterwards I think that jumped to 40,000,000
additional restrictions that could be added to prime factors
They also need to be prime for least factors, that means since we can sieve of sundaram within them...