Because 7 is the only prime congruent to 0 mod 7, it is more efficient to search only for primes that are congruent to 5 mod 7 and then insert 7 as the second term of the sequence (see the second Mathematica program below). - Harvey P. Dale, Jun 24 2017