AT_abc386_f [ABC386F] Operate K

**この問題は C 問題 (Operate 1) を完全に含んでおり、 $ K \le 20 $ です。** **この問題に正解するコードを C 問題に提出することで、 C 問題に正解できます。** 文字列 $ S $ に対して以下の操作を $ 0 $ 回以上 $ K $ 回以下行って、文字列 $ T $ と一致させられるか判定してください。 - 次の $ 3 $ 種類の操作のうちひとつを選択し、実行する。 - $ S $ 中の (先頭や末尾を含む) 任意の位置に、任意の文字を $ 1 $ つ挿入する。 - $ S $ 中の文字を $ 1 $ つ選び、削除する。 - $ S $ 中の文字を $ 1 $ つ選び、別の $ 1 $ つの文字に変更する。

入力は以下の形式で標準入力から与えられる。 > $ K $ $ S $ $ T $

$ K $ 回以下の操作で $ S $ を $ T $ に一致させられる時 `Yes` 、そうでない時 `No` と出力せよ。

### Sample Explanation 1 例えば、次のように操作することで、 $ 3 $ 回の操作で `abc` を `awtf` に変換できます。 - $ 2 $ 文字目の `b` を `w` に変更する。操作後の文字列は `awc` となる。 - $ 3 $ 文字目の `c` を `f` に変更する。操作後の文字列は `awf` となる。 - $ 2 $ 文字目と $ 3 $ 文字目の間に `t` を挿入する。操作後の文字列は `awtf` となる。 ### Sample Explanation 2 $ 2 $ 回以下の操作では `abc` を `awtf` に変換できません。 ### Constraints - $ S,T $ は英小文字からなる長さ $ 1 $ 以上 $ 500000 $ 以下の文字列 - $ K $ は $ \color{red}{1 \le K \le 20} $ を満たす整数