이진수 도장

길이가 $n$인 이진 문자열 $s$와, 길이가 각각 $a,b,c$인 세 이진 문자열 $t_1,t_2,t_3$가 주어진다. 네 문자열의 첫 번째 문자와 마지막 문자는 모두 1이다.

한 번의 연산으로 $k \in \{1,2,3\}$와 정수 $l$을 골라, $s$의 연속한 $|t_k|$개의 위치 $l,l+1,\cdots,l+|t_k|-1$에 $t_k$를 비트별 XOR할 수 있다. 이때 선택한 구간은 $s$의 범위를 벗어나면 안 된다.

예를 들어 $s=`111111`$이고 $t_k=`101`$일 때, $l=2$로 연산하면 $s$는 $`101011`$이 된다.

연산을 원하는 만큼 수행하여 $s$를 모든 문자가 0인 문자열로 만들 수 있는지 판별하여라.

입력은 다음과 같은 형식으로 주어진다.

$n\ a\ b\ c$ $s$ $t_1$ $t_2$ $t_3$

$s$를 모든 문자가 0인 문자열로 만들 수 있으면 첫째 줄에 YES를 출력한다.

그렇지 않으면 첫째 줄에 NO를 출력한다.

• $1 \leq n \leq 200\ 000$.
• $1 \leq a,b,c \leq \min(100,n)$.
• $s$는 길이 $n$의 이진 문자열이다.
• $t_1,t_2,t_3$는 각각 길이 $a,b,c$의 이진 문자열이다.
• $s$의 첫 번째 문자와 마지막 문자는 모두 1이다.
• $t_i$의 첫 번째 문자와 마지막 문자는 모두 1이다 ($1 \leq i \leq 3$).