#abc190e. [abc190_e]Magical Ornament

[abc190_e]Magical Ornament

問題文

AtCoder 王国には 1,2,dots,N1, 2, \\dots, N の番号がついた NN 種類の魔法石が流通しています。
高橋くんは、魔法石を一列に並べて飾りを作ろうとしています。
魔法石には隣り合わせにできる組とできない組があります。 隣り合わせにできる組は ((魔法石 A1,A_1, 魔法石 B1),(B_1), (魔法石 A2,A_2, 魔法石 B2),dots,(B_2), \\dots, (魔法石 AM,A_M, 魔法石 BM)B_M)MM 組で、それ以外の組は隣り合わせることができません。(これらの組において、石の順序は不問です。)
魔法石 C1,C2,dots,CKC_1, C_2, \\dots, C_K をそれぞれ 11 個以上含む魔法石の列を作ることができるか判定し、作れる場合はそのような列を作るのに必要な魔法石の個数の最小値を求めてください。

制約

  • 入力は全て整数
  • 1 N1051 ≤ N ≤ 10^5
  • 0 M1050 ≤ M ≤ 10^5
  • 1Ai<BiN1 ≤ A_i < B_i ≤ N
  • iji ≠ j ならば (Ai,Bi)(Aj,Bj)(A_i, B_i) ≠ (A_j, B_j)
  • 1K171 ≤ K ≤ 17
  • 1C1<C2<dots<CKN1 ≤ C_1 < C_2 < \\dots < C_K ≤ N

入力

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

NN MM A1A_1 B1B_1 A2A_2 B2B_2 hspace7mmvdots\\hspace{7mm}\\vdots AMA_M BMB_M KK C1C_1 C2C_2 cdots\\cdots CKC_K

出力

魔法石 C1,C2,dots,CKC_1, C_2, \\dots, C_K を含む魔法石の列を作るのに必要な魔法石の個数の最小値を出力せよ。
作ることができない場合、代わりに -1 を出力せよ。


入力例 1

4 3
1 4
2 4
3 4
3
1 2 3

出力例 1

5

例えば、魔法石を \[1, 4, 2, 4, 3\] と並べると、魔法石 1,2,31, 2, 3 を含む長さ 55 の列を作ることができます。


入力例 2

4 3
1 4
2 4
1 2
3
1 2 3

出力例 2

-1

入力例 3

10 10
3 9
3 8
8 10
2 10
5 8
6 8
5 7
6 7
1 6
2 4
4
1 2 7 9

出力例 3

11

例えば、魔法石を \[1, 6, 7, 5, 8, 3, 9, 3, 8, 10, 2\] と並べると、魔法石 1,2,7,91, 2, 7, 9 を含む長さ 1111 の列を作ることができます。