Seorang pianis ingin memainkan piano.

Piano tersebut memiliki $10^{100}$ tuts, dan tuts-tutsnya diberi label $A,B,C,D,E,F,G,A,B,\ldots$ dari kiri ke kanan. Pianis tersebut ingin memenuhi batasan-batasan berikut:

• Ia memilih sebuah tuts $A$, lalu mulai memainkan piano dengan menekan tuts yang dipilihnya.
• Setelah menekan tuts ke-$i$, pada langkah berikutnya ia dapat menekan tuts ke-$(i-1)$ atau tuts ke-$(i+1)$.
• Setelah menekan sebuah tuts $A$, ia juga dapat berhenti memainkan piano.
• Tuts $A$ pertama dan tuts $A$ terakhir yang dimainkannya tidak harus merupakan tuts yang sama.
• Ia harus menekan tuts-tuts $A$ (tidak menjadi masalah tuts $A$ mana yang ditekan) tepat $C_1$ kali.
• Demikian pula, ia harus menekan tuts-tuts $B,C,D,E,F,G$ masing-masing tepat $C_2,\ldots,C_7$ kali.

Tentukan apakah semua batasan di atas dapat dipenuhi.

Masukan

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

Keluaran

Cetak "YES" jika semua batasan dapat dipenuhi, dan "NO" jika tidak.

Contoh

Masukan 1

2 1 1 1 1 1 1

Keluaran 1

YES

Masukan 2

1 1 1 1 1 1 1

Keluaran 2

NO

Masukan 3

3 1 0 10000000000 10000000000 0 1

Keluaran 3

NO

Masukan 4

1 0 0 0 0 0 0

Keluaran 4

YES

Catatan

Pada Contoh 1, ia dapat memainkan $A,B,C,D,E,F,G,A$.