Values corresponding to n=6413 and n=6741 were both certified Fermat and Lucas PRPs with WinPFGW and submitted to Lifchitz's Top PRPs database.
Table of n, a(n) for n=1..8.
(PARI) is(n)=ispseudoprime(10^n*(5+3*10^n)+3) \\ Charles R Greathouse IV, Jun 13 2017
Sequence in context: A122062 A314593 A137011 * A102178 A337657 A314594
Adjacent sequences: A171626 A171627 A171628 * A171630 A171631 A171632
Jason Earls, Dec 13 2009