#include #include using namespace std; using namespace atcoder; #define rep(i, n) for(int i=0;i<(n);++i) #define rep1(i, n) for(int i=1;i<=(n);i++) #define ll long long using mint = modint998244353; using P = pair; using lb = long double; using T = tuple; #ifdef LOCAL # include # define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define dbg(...) (static_cast(0)) #endif int main() { int n, m, k; cin >> n >> m >> k; vector a(m); rep(i,m) cin >> a[i]; vector ds(1e6+1); rep(i,m) ds[a[i]]++; mint ans = 0; mint inv = mint(m).pow(k).inv(); for(int i=1;i<=n;i++) { int cnt = 0; for(int j=1;j*j<=i;j++) { if(i%j==0) { cnt += ds[j]; if(j!=i/j) cnt += ds[i/j]; } } ans += 1 - mint(m-cnt).pow(k)*inv; } cout << ans.val() << endl; return 0; }