Детерминированная реализация Миллера-Рабина

Я пытаюсь реализовать функцию проверки простоты с помощью детерминированного алгоритма Миллера-Рабина, но результаты не всегда правильные: при проверке первых 1 000 000 чисел он находит только 78 495 вместо 78 498.

Это получается с использованием [2, 7, 61] в качестве базы, которая, согласно Википедии, всегда должна быть правильной для значений до 4 759 123 141. 2, 7 и 61).

Почему это происходит? Код, который я использую, следующий:

T modular_power(T base, T exponent, T modulo) {
    base %= modulo;
    T result = 1;

    while (exponent > 0) {
        if (exponent % 2 == 1)
            result = (result * base) % modulo;
        base = (base * base) % modulo;
        exponent /= 2;
    }

    return result;
}

bool miller_rabin(const T& n, const vector<T>& witnesses) {
    unsigned int s = 0;
    T d = n - 1;
    while (d % 2 == 0) {
        s++;
        d /= 2;
    }

    for (const auto& a : witnesses) {
        if (modular_power<T>(a, d, n) == 1)
            continue;

        bool composite = true;
        for (unsigned int r = 0; r < s; r++) {
            if (modular_power<T>(a, (T) pow(2, r) * d, n) == n - 1) {
                composite = false;
                break;
            }
        }

        if (composite)
            return false;
    }

    return true;
}

bool is_prime(const T& n) {
    if (n < 4759123141)
        return miller_rabin(n, {2, 7, 61});
    return false; // will use different base
}