Another term is a(16)=6766. All values in the sequence are Fermat and Lucas PRPs except for the first which was proved with ECM. The larger values won't be easily provable until RSA-2048 is factored, which has a prize of $200000 for its factorization.