#include <bits/stdc++.h> #include <atcoder/all> 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<ll,ll>; using lb = long double; using T = tuple<ll, vector<int>, ll>; #ifdef LOCAL # include <debug_print.hpp> # define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define dbg(...) (static_cast<void>(0)) #endif int main() { int n, m, k; cin >> n >> m >> k; vector<int> pow(n+1, 1); rep(i,n) pow[i+1] = pow[i] * (k+1); vector<vector<mint>> dp(pow[n], vector<mint>(n)); dbg(pow); vector<vector<int>> g(n); rep(i,m){ int u, v; cin >> u >> v; --u;--v; g[u].push_back(v); g[v].push_back(u); } rep(i,n) { dp[pow[i]][i] = 1; } rep(i,pow[n]-1) { rep(j,n) { for(int v : g[j]) { int cnt = (i/pow[v])%(k+1); if(cnt+1<=k) { dp[i+pow[v]][v] += dp[i][j]; } } } } mint ans = 0; rep(i,n) ans += dp[pow[n]-1][i]; cout << ans.val() << endl; return 0; }