lucas-lehmer test