#include using namespace std; //* ATCODER #include using namespace atcoder; typedef modint998244353 mint; //*/ /* BOOST MULTIPRECISION #include using namespace boost::multiprecision; //*/ typedef long long ll; #define rep(i, s, n) for (int i = (int)(s); i < (int)(n); i++) #define rrep(i, s, n) for (int i = (int)(n)-1; i >= (int)(s); i--) template bool chmin(T &a, const T &b) { if (a <= b) return false; a = b; return true; } template bool chmax(T &a, const T &b) { if (a >= b) return false; a = b; return true; } template T max(vector &a){ assert(!a.empty()); T ret = a[0]; for (int i=0; i<(int)a.size(); i++) chmax(ret, a[i]); return ret; } template T min(vector &a){ assert(!a.empty()); T ret = a[0]; for (int i=0; i<(int)a.size(); i++) chmin(ret, a[i]); return ret; } template T sum(vector &a){ T ret = 0; for (int i=0; i<(int)a.size(); i++) ret += a[i]; return ret; } int main(){ ios_base::sync_with_stdio(false); cin.tie(NULL); int n,m,k;cin >> n >> m >> k; vector edge(n, vector(n)); rep(i,0,m){ int a, b; cin >> a >> b; a--; b--; edge[a][b] = 1; edge[b][a] = 1; } unordered_map mp; rep(i,0,n){ mp[i<<24] = 1; } auto calc = [&](auto self, int state) -> mint { int i = state>>24; if (mp.find(state) != mp.end()) return mp[state]; mint ret = 0; rep(j,0,n){ if (edge[i][j]){ if ((state>>(j*4)&15)==0) continue; state-=1<<(j*4); state-=i<<24; state+=j<<24; ret += self(self,state); state-=j<<24; state+=i<<24; state+=1<<(j*4); } } mp[state]=ret; return ret; }; mint ans=0; rep(i,0,n){ int state=0; rep(j,0,n){ state+=k<<(j*4); } state+=i<<24; state-=1<<(i*4); ans += calc(calc,state); } cout << ans.val() << '\n'; }