. . . "prime 2159 + 27 + 1 and p is a 512-bit prime equal to 12qr 1 (for some r large enough to" .