AT_codefestival_2015_final_f 歩くピアニスト

[problemUrl]: https://atcoder.jp/contests/code-festival-2015-final-open/tasks/codefestival_2015_final_f あるピアニストは足でピアノを演奏したいと思い、特別な大きなピアノを用意しました。このピアノには鍵盤が $ 10^{100} $ 個あり、それぞれの鍵盤には順にド、レ、ミ、ファ、ソ、ラ、シ、ド、レ・・・と音が割り当てられています。鍵盤を $ 1 $ 回踏むと、踏んだ鍵盤に割り当てられた音が $ 1 $ 回鳴ります。 ピアニストが考えている理想の演奏は以下の通りです。 - ド〜シの音をそれぞれちょうど $ C_1\ ～\ C_7 $ 回ずつ鳴らす。同じ音であればどの鍵盤を踏んでも良い。 - ある鍵盤を踏んだ直後は、その隣の鍵盤しか踏むことはできない。つまり、$ i $ 番目の鍵盤を踏んだ直後は $ i-1 $ 番目または $ i+1 $ 番目の鍵盤しか踏むことはできない。 - ドの音から始まって、ドの音で終わる。どのドの音の鍵盤から始めても、どのドの音の鍵盤で終えても良く、それらの鍵盤は一致している必要はない。 ピアニストが理想の演奏を行うことができるかどうかを判定してください。

入力は以下の形式で標準入力から与えられる。 > $ C_1 $ $ C_2 $ $ C_3 $ $ C_4 $ $ C_5 $ $ C_6 $ $ C_7 $ - $ 1 $ 行目には、$ 7 $ 個の整数 $ C_1\ ～\ C_7\ (0\ ≦\ C_1\ ～\ C_7\ ≦\ 10^{10}) $ が空白区切りで与えられる。これらは順にド、レ、ミ、ファ、ソ、ラ、シの音をピアニストが鳴らしたい回数を表す。ただし、$ C_1\ ～\ C_7 $ の和は $ 1 $ 以上であることが保証される。

ピアニストが理想の演奏を行うことができる場合は `YES` を、できない場合は `NO` を $ 1 $ 行に出力せよ。出力の末尾に改行を入れること。

### Sample Explanation 1 ド、レ、ミ、ファ、ソ、ラ、シ、ドの順に鍵盤を踏むことで理想の演奏を行うことができます。