Ein Pianist möchte Klavier spielen.

Das Klavier hat $10^{100}$ Tasten, die von links nach rechts mit $A, B, C, D, E, F, G, A, B, \ldots$ beschriftet sind. Der Pianist möchte die folgenden Bedingungen erfüllen:

• Er wählt eine Taste mit der Beschriftung $A$ und beginnt das Klavierspiel, indem er diese Taste drückt.
• Nachdem er die $i$-te Taste gedrückt hat, kann er im nächsten Schritt entweder die $(i-1)$-te oder die $(i+1)$-te Taste drücken.
• Nachdem er eine Taste mit der Beschriftung $A$ gedrückt hat, kann er auch aufhören zu spielen.
• Die erste und die letzte Taste mit der Beschriftung $A$, die er spielt, müssen nicht dieselbe sein.
• Er muss Tasten mit der Beschriftung $A$ genau $C_1$-mal drücken; dabei ist es egal, welche dieser Tasten er drückt.
• Ebenso muss er Tasten mit den Beschriftungen $B, C, D, E, F, G$ jeweils genau $C_2, \ldots, C_7$-mal drücken.

Bestimme, ob alle obigen Bedingungen erfüllt werden können.

Eingabe

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

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

Ausgabe

Gib YES aus, wenn alle Bedingungen erfüllt werden können, und andernfalls NO.

Beispiele

Eingabe 1

2 1 1 1 1 1 1

Ausgabe 1

YES

Eingabe 2

1 1 1 1 1 1 1

Ausgabe 2

NO

Eingabe 3

3 1 0 10000000000 10000000000 0 1

Ausgabe 3

NO

Eingabe 4

1 0 0 0 0 0 0

Ausgabe 4

YES

Hinweis

Im ersten Beispiel kann er $A, B, C, D, E, F, G, A$ spielen.