#include #include using namespace std; #define show(...) static_cast(0) #define all(c) begin(c), end(c) #define for(...) for ([[maybe_unused]] auto&& __VA_ARGS__) #define lambda(...) [&](auto&&... args) { return __VA_ARGS__; } #define $1 get<0>(tie(args...)) #define $2 get<1>(tie(args...)) template struct Rep { int l, r, d; Rep begin() const; int end() const; bool operator!=(int) const; void operator++(); int operator*() const; }; Rep<> rep(int, int, int = 1); Rep<> rep1(int, int, int = 1); Rep per(int, int, int = 1); Rep per1(int, int, int = 1); template int len(R&&); template int len(R&&, I); template bool chmin(T&, U&&); template bool chmax(T&, U&&); template ostream& operator<<(ostream&, const vector&); template auto operator<<(ostream& os, T&& t) -> decltype(tuple_cat(t), os); template T input(); template void print(Ts&&...); using Fp = atcoder::modint998244353; vector divisors(int n) { vector ret; for (i = 1; i * i <= n; ++i) { if (n % i == 0) { ret.push_back(i); if (i * i < n) { ret.push_back(n / i); } } } sort(all(ret)); return ret; } vector go(int n, const vector& d) { vector ret(len(d)); for (i : per(0, len(d))) { ret[i] = n / d[i]; for (j : rep(i + 1, len(d))) { if (d[j] % d[i] == 0) { ret[i] -= ret[j]; } } } return ret; } void solve() { int n = input(); int m = input(); vector a(n); generate(all(a), input<>); int L = accumulate(all(a), 1, lcm); auto d = divisors(L); auto f = go(L, d); Fp ans = 0; for (i : rep(0, len(d))) { Fp cur = 1; for (e : a) { cur *= Fp(m).pow(gcd(e, d[i])); } ans += cur * f[i]; } ans /= L; print(ans.val()); } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); solve(); } template Rep Rep::begin() const { return *this; } template int Rep::end() const { return 0; } template bool Rep::operator!=(int) const { return l <= r; } template void Rep::operator++() { if constexpr (R) { r -= d; } else { l += d; } } template int Rep::operator*() const { if constexpr (R) { return r; } else { return l; } } inline Rep<> rep(int l, int r, int d) { assert(0 < d); return {l, r - 1, d}; } inline Rep<> rep1(int l, int r, int d) { assert(0 < d); return {l, r, d}; } inline Rep per(int l, int r, int d) { assert(0 < d); assert((r - l) % d == 0); return {l, r - d, d}; } inline Rep per1(int l, int r, int d) { assert(0 < d); return {l, r, d}; } template int len(R&& r) { return static_cast(size(forward(r))); } template int len(R&& r, I i) { return static_cast(distance(begin(forward(r)), i)); } template bool chmin(T& x, U&& y) { return y < x && (x = forward(y), true); } template bool chmax(T& x, U&& y) { return x < y && (x = forward(y), true); } template ostream& operator<<(ostream& os, const vector& v) { auto sep = ""; for (e : v) { os << exchange(sep, " ") << e; } return os; } template auto operator<<(ostream& os, T&& t) -> decltype(tuple_cat(t), os) { auto f = [&](auto&&... args) -> ostream& { [[maybe_unused]] auto sep = ""; (..., (os << exchange(sep, " ") << forward(args))); return os; }; return apply(f, forward(t)); } template T input() { T x; cin >> x; return x; } template void print(Ts&&... xs) { cout << forward_as_tuple(forward(xs)...) << '\n'; }