This documentation is automatically generated by online-judge-tools/verification-helper
#include "ModInt.h"
#include "MillerRabin.h"
u64 pollard(u64 n) {
u64 x = 0, y = 0, t = 30, prd = 2, i = 1, q;
auto f = [&](u64 x) { return modmul(x, x, n) + i; };
while (t++ % 40 || gcd(prd, n) == 1) {
if (x == y) x = ++i, y = f(x);
if ((q = modmul(prd, max(x, y) - min(x, y), n))) prd = q;
x = f(x), y = f(f(y));
}
return gcd(prd, n);
}
vector<u64> factor(u64 n) {
if (n == 1) return {};
if (isPrime(n)) return {n};
u64 x = pollard(n);
auto l = factor(x), r = factor(n / x);
l.insert(l.end(), all(r));
return l;
}#line 2 "math/ModInt.h"
template <int mod>
struct modint {
using M = modint;
static_assert(mod > 0 && mod <= 2147483647);
static constexpr int modulo = mod;
static constexpr u32 r1 = []() {
u32 r1 = mod;
for (int i = 0; i < 5; ++i) r1 *= 2 - mod * r1;
return -r1;
}();
static constexpr u32 r2 = -u64(mod) % mod;
static u32 reduce(u64 x) {
u32 y = u32(x) * r1, r = (x + u64(y) * mod) >> 32;
return r >= mod ? r - mod : r;
}
u32 x;
modint() : x(0) {}
modint(i64 x) : x(reduce(u64(x % mod + mod) * r2)) {}
M& operator+=(const M& a) {
if ((x += a.x) >= mod) x -= mod;
return *this;
}
M& operator-=(const M& a) {
if ((x += mod - a.x) >= mod) x -= mod;
return *this;
}
M& operator*=(const M& a) {
x = reduce(u64(x) * a.x);
return *this;
}
M& operator/=(const M& a) { return *this *= a.inv(); }
M operator-() const { return M(0) - *this; }
M operator+(const M& a) const { return M(*this) += a; }
M operator-(const M& a) const { return M(*this) -= a; }
M operator*(const M& a) const { return M(*this) *= a; }
M operator/(const M& a) const { return M(*this) /= a; }
bool operator==(const M& a) const { return x == a.x; }
bool operator!=(const M& a) const { return x != a.x; }
M pow(u64 k) const {
M res(1), b = *this;
while (k) {
if (k & 1) res *= b;
b *= b, k >>= 1;
}
return res;
}
M inv() const { return pow(mod - 2); }
friend ostream& operator<<(ostream& os, const M& a) {
return os << reduce(a.x);
}
friend istream& operator>>(istream& is, M& a) {
i64 v;
is >> v;
a = M(v);
return is;
}
};
u64 modmul(u64 x, u64 y, u64 m) { return u128(x) * y % m; }
u64 modpow(u64 x, u64 k, u64 m) {
u64 res = 1;
while (k) {
if (k & 1) res = modmul(res, x, m);
x = modmul(x, x, m);
k >>= 1;
}
return res;
}
#line 1 "math/MillerRabin.h"
bool isPrime(u64 n) {
if (n < 2 || n % 6 % 4 != 1) return (n | 1) == 3;
u64 A[] = {2, 325, 9375, 28178, 450775, 9780504, 1795265022},
s = __builtin_ctzll(n - 1), d = n >> s;
for (u64 a : A) { // ^ count trailing zeroes
u64 p = modpow(a % n, d, n), i = s;
while (p != 1 && p != n - 1 && a % n && i--) p = modmul(p, p, n);
if (p != n - 1 && i != s) return 0;
}
return 1;
}
#line 3 "math/Factor.h"
u64 pollard(u64 n) {
u64 x = 0, y = 0, t = 30, prd = 2, i = 1, q;
auto f = [&](u64 x) { return modmul(x, x, n) + i; };
while (t++ % 40 || gcd(prd, n) == 1) {
if (x == y) x = ++i, y = f(x);
if ((q = modmul(prd, max(x, y) - min(x, y), n))) prd = q;
x = f(x), y = f(f(y));
}
return gcd(prd, n);
}
vector<u64> factor(u64 n) {
if (n == 1) return {};
if (isPrime(n)) return {n};
u64 x = pollard(n);
auto l = factor(x), r = factor(n / x);
l.insert(l.end(), all(r));
return l;
}