이진수 도장

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

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

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

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

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

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

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

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

• $1 \leq n \leq 200\ 000$.
• $1 \leq a,b,c \leq \min(100,n)$.