Un pianiste veut jouer du piano.

Le piano possède $10^{100}$ touches, étiquetées $A, B, C, D, E, F, G, A, B, \ldots$ de gauche à droite. Le pianiste veut respecter les contraintes suivantes :

• Il choisit une touche $A$ et commence à jouer du piano en appuyant sur la touche choisie.
• Après avoir appuyé sur la $i$-ième touche, il peut appuyer soit sur la $(i-1)$-ième touche, soit sur la $(i+1)$-ième touche à l'étape suivante.
• Après avoir appuyé sur une touche $A$, il peut également arrêter de jouer du piano.
• La première touche $A$ et la dernière touche $A$ sur lesquelles il appuie ne sont pas nécessairement les mêmes.
• Il doit appuyer sur des touches $A$ (peu importe lesquelles) exactement $C_1$ fois.
• De même, il doit appuyer sur des touches $B, C, D, E, F, G$ exactement $C_2, \ldots, C_7$ fois, respectivement.

Déterminez s'il est possible de respecter toutes les contraintes ci-dessus.

Entrée

$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$

Sortie

Affichez YES s'il est possible de respecter toutes les contraintes, et NO sinon.

Exemples

Entrée 1

2 1 1 1 1 1 1

Sortie 1

YES

Entrée 2

1 1 1 1 1 1 1

Sortie 2

NO

Entrée 3

3 1 0 10000000000 10000000000 0 1

Sortie 3

NO

Entrée 4

1 0 0 0 0 0 0

Sortie 4

YES

Remarque

Dans l'exemple 1, il peut jouer $A, B, C, D, E, F, G, A$.