[math-fun] Pendulum primes?