#include namespace { #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic warning "-Wunused-function" using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; using mint = modint998244353; template vector divisors(T x) { vector res1, res2; T d = 1; for(; d * d < x; d++) { if (x % d == 0) { res1.emplace_back(d); res2.emplace_back(x / d); } } if (d * d == x) res1.emplace_back(d); res1.insert(res1.end(), res2.rbegin(), res2.rend()); return res1; } } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, m; cin >> n >> m; VI a(n); rep(i, n) cin >> a[i]; int l = 1; for(int x: a) l = lcm(l, x); auto divs = divisors(l); int sz = divs.size(); vector dp(sz); rep(i, sz) { int d = divs[i]; mint v = 1; for(int x: a) { int g = gcd(x, d); v *= mint(m).pow(g); } dp[i] = v; } rep(i, sz) rep(j, i) { if (divs[i] % divs[j] == 0) { dp[i] -= dp[j]; } } mint ans; rep(i, sz) ans += dp[i] / divs[i]; cout << ans.val() << '\n'; }