The Lucas-Lehmer (LL) test is the most efficient known for deterministically testing the primality of Mersenne numbers, i.e., the integers Ml = 2 l − 1, for l ≥ 1. The Mersenne numbers are so-called in honour of the French scholar Marin Mersenne (1588-1648), who in 1644 published a list of exponents l ≤ 257 which he conjectured produced all and only those Ml which are prime, for l in this range...