Largest primes sequence search with Miller–Rabin primality test.