AT_arc150_c [ARC150C] Path and Subsequence

Description

[problemUrl]: https://atcoder.jp/contests/arc150/tasks/arc150_c $ N $ 頂点 $ M $ 辺の連結無向グラフ $ G $ があります。頂点には $ 1 $ から $ N $ の番号がついています。$ i $ 番目の辺は頂点 $ U_i,\ V_i $ を結びます。 また、長さ $ N $ の整数列 $ A=(A_1,\ A_2,\ \dots,\ A_N) $ 、および長さ $ K $ の整数列 $ B=(B_1,\ B_2,\ \dots,\ B_K) $ が与えられます。 $ G,\ A,\ B $ が以下の条件を満たすか判定してください。 - $ G $ における頂点 $ 1 $ から $ N $ への任意の単純パス $ v=(v_1,\ v_2,\ \dots,\ v_k)\ (v_1=1,\ v_k=N) $ に対し、$ B $ は $ (A_{v_1},\ A_{v_2},\ \dots,\ A_{v_k}) $ の(連続とは限らない)部分列になる。

Input Format

入力は以下の形式で標準入力から与えられます。 > $ N $ $ M $ $ K $ $ U_1 $ $ V_1 $ $ U_2 $ $ V_2 $ $ \vdots $ $ U_M $ $ V_M $ $ A_1 $ $ A_2 $ $ \dots $ $ A_N $ $ B_1 $ $ B_2 $ $ \dots $ $ B_K $

Output Format

条件を満たす場合 `Yes` と、満たさない場合 `No` と出力してください。

Explanation/Hint

### 制約 - $ 2\ \leq\ N\ \leq\ 10^5 $ - $ 1\ \leq\ K\ \leq\ N $ - $ N-1\ \leq\ M\ \leq\ 2\ \times\ 10^5 $ - $ 1\ \leq\ U_i\