AT_arc194_e [ARC194E] Swap 0^X and 1^Y

`0` と `1` のみからなる長さ $ N $ の文字列 $ S, T $ と、正整数 $ X, Y $ が与えられます。 $ i = 1, 2, \ldots, N $ について、 $ S $ の $ i $ 文字目を $ S_i $ で表します。 「下記の操作 A と操作 B のどちらかを行う」ことを好きな回数（ $ 0 $ 回でも良い）だけ繰り返すことで、 $ S $ を $ T $ に一致させることができるかどうかを判定してください。 - （操作 A） $ 1 \leq i \leq N-(X+Y)+1, S_{i} = S_{i+1} = \cdots = S_{i+X-1} = $ `0`, $ S_{i+X} = S_{i+X+1} = \cdots = S_{i+X+Y-1} = $ `1` を満たす整数 $ i $ を選び、 $ S_{i}, S_{i+1}, \ldots, S_{i+Y-1} $ をそれぞれ `1` に、 $ S_{i+Y}, S_{i+Y+1}, \ldots, S_{i+Y+X-1} $ をそれぞれ `0` に変更する。 - （操作 B） $ 1 \leq i \leq N-(X+Y)+1, S_{i} = S_{i+1} = \cdots = S_{i+Y-1} = $ `1`, $ S_{i+Y} = S_{i+Y+1} = \cdots = S_{i+Y+X-1} = $ `0` を満たす整数 $ i $ を選び、 $ S_{i}, S_{i+1}, \ldots, S_{i+X-1} $ をそれぞれ `0` に、 $ S_{i+X}, S_{i+X+1}, \ldots, S_{i+X+Y-1} $ をそれぞれ `1` に変更する。

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

$ S $ を $ T $ に一致させることが可能な場合は `Yes` を、そうでない場合は `No` を出力せよ。

### Sample Explanation 1 下記の手順によって $ S $ を $ T $ に一致させることができます。 - まず、 $ i = 2 $ として操作 A を行う。その結果、 $ S = $ `010011001` となる。 - 次に、 $ i = 6 $ として操作 B を行う。その結果、 $ S = $ `010010011` となる。 - 最後に、 $ i = 3 $ として操作 A を行う。その結果、 $ S = $ `011000011` となる。 よって、`Yes` を出力します。 ### Sample Explanation 2 $ S $ を $ T $ に一致させることはできません。よって、`No` を出力します。 ### Constraints - $ 1 \leq N \leq 5 \times 10^5 $ - $ 1 \leq X, Y \leq N $ - $ S, T $ はそれぞれ `0` と `1` のみからなる長さ $ N $ の文字列 - 入力はすべて整数