#abc294h. [abc294_h]K-Coloring

[abc294_h]K-Coloring

問題文

頂点に 11 から NN の、辺に 11 から MM の番号がついた NN 頂点 MM 辺の単純無向グラフが与えられます。辺 ii は頂点 uiu_i と頂点 viv_i を結んでいます。

このグラフのそれぞれの頂点に 11 以上 KK 以下の整数を書きこむ方法のうち、次の条件を満たす方法の個数を 998244353998244353 で割った余りを求めてください。

  • 辺で結ばれた頂点同士には異なる数が書きこまれている。

制約

  • 1leqNleq301 \\leq N \\leq 30
  • $0 \\leq M \\leq \\min \\left(30, \\frac{N(N-1)}{2} \\right)$
  • 1leqKleq1091 \\leq K \\leq 10^9
  • 1lequiltvileqN1 \\leq u_i \\lt v_i \\leq N
  • 入力で与えられるグラフは単純

入力

入力は以下の形式で標準入力から与えられる。

NN MM KK u1u_1 v1v_1 u2u_2 v2v_2 vdots\\vdots uMu_M vMv_M

出力

条件を満たすように頂点に 11 以上 KK 以下の整数を書きこむ方法の個数を 998244353998244353 で割った余りを出力せよ。


入力例 1

4 3 2
1 2
2 4
2 3

出力例 1

2

条件を満たす整数の書きこみ方は次の 22 通りです。

  • 頂点 1,3,41, 3, 411 を、頂点 2222 を書きこむ。
  • 頂点 2211 を、頂点 1,3,41, 3, 422 を書きこむ。

入力例 2

4 0 10

出力例 2

10000

10410^4 通り全ての書きこみ方が条件を満たします。


入力例 3

5 10 5
3 5
1 3
1 2
1 4
3 4
2 5
4 5
1 5
2 3
2 4

出力例 3

120

入力例 4

5 6 294
1 2
2 4
1 3
2 3
4 5
3 5

出力例 4

838338733

入力例 5

7 12 1000000000
4 5
2 7
3 4
6 7
3 5
5 6
5 7
1 3
4 7
1 5
2 3
3 6

出力例 5

418104233