Annual Appeal: Please make a donation (tax deductible in USA) to keep the OEIS running. Over 5000 articles have referenced us, often saying "we discovered this result with the help of the OEIS".
Not proved, only Fermat and Lucas PRPs. Next term is greater than 12000. Concerning primes of the form n * 10^n + n + 1, only n=42 yields one for all n up to 7700.