nefu120-梅森素数（Lucas-Lehmer判定法和Miller测试法）