Un pianista quiere tocar el piano.

El piano tiene $10^{100}$ teclas, etiquetadas como $A, B, C, D, E, F, G, A, B, \ldots$ de izquierda a derecha. El pianista quiere cumplir las siguientes restricciones:

• Elige una tecla $A$ y empieza a tocar el piano pulsando la tecla elegida.
• Después de pulsar la tecla $i$-ésima, en el siguiente paso puede pulsar la tecla $(i-1)$-ésima o la tecla $(i+1)$-ésima.
• Después de pulsar una tecla $A$, también puede dejar de tocar el piano.
• La primera tecla $A$ y la última tecla $A$ que toca no tienen por qué ser la misma.
• Debe pulsar teclas $A$ (sin importar cuáles) exactamente $C_1$ veces.
• Del mismo modo, debe pulsar teclas $B, C, D, E, F, G$ exactamente $C_2, \ldots, C_7$ veces, respectivamente.

Determina si es posible cumplir todas las restricciones anteriores.

Entrada

$C_1\ C_2\ C_3\ C_4\ C_5\ C_6\ C_7$

• $0 \le C_i \le 10^{10}$
• $\sum C_i > 0$

Salida

Imprime YES si es posible cumplir todas las restricciones, y NO en caso contrario.

Ejemplos

Entrada 1

2 1 1 1 1 1 1

Salida 1

YES

Entrada 2

1 1 1 1 1 1 1

Salida 2

NO

Entrada 3

3 1 0 1000000000 1000000000 0 1

Salida 3

NO

Entrada 4

1 0 0 0 0 0 0

Salida 4

YES

Nota

En el ejemplo 1, puede tocar $A, B, C, D, E, F, G, A$.