#ifdef LOCAL #include #else #include #define debug(...) ((void)0) #define postprocess(...) ((void)0) #endif #include using mint = atcoder::modint998244353; namespace atcoder { template * = nullptr> std::ostream& operator<<(std::ostream& os, const static_modint& x) { return os << x.val(); } } // namespace atcoder using namespace std; using ll = long long; using ld = long double; int N, M, K; vector adj[10]; int hash_state(const int cur, const vector& rem) { assert((int)rem.size() == N); int ret = 0; for (int i = 0; i < N; i++) { ret *= (K + 1); ret += rem[i]; } return ret * 6 + cur; } optional memo[3200000]; mint rec(int cur, vector& rem) { auto key = hash_state(cur, rem); if (memo[key].has_value()) return memo[key].value(); bool finished = true; for (int i = 0; i < N; i++) { finished &= (rem[i] == 0); } if(finished) return 1; mint ret = 0; for (auto&& next : adj[cur]) { if (rem[next] > 0) { rem[next] -= 1; ret += rec(next, rem); rem[next] += 1; } } return (memo[key] = ret).value(); } void solve([[maybe_unused]] int test) { cin >> N >> M >> K; for (int i = 0; i < M; i++) { int u, v; cin >> u >> v; --u, --v; adj[u].push_back(v); adj[v].push_back(u); } mint ans = 0; vector rem(N, K); for (int i = 0; i < N; i++) { rem[i] -= 1; ans += rec(i, rem); rem[i] += 1; } cout << ans << endl; } int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int t = 1; // cin >> t; for (int i = 1; i <= t; i++) { solve(i); } postprocess(); }