Add Perrin pseudoprime, Frobenius has arguments