Redirecting to Lucas–Lehmer test