pad(n)=padovan number=([0,1,0;0,0,1;1,1,0]^(n+1))[3,2];
F(n)=Fibonacci number
PARI GP ispseudoprime

To be completed...