يريد عازف بيانو أن يعزف على البيانو.

يحتوي البيانو على $10^{100}$ مفتاح، وتحمل المفاتيح التسميات $A,B,C,D,E,F,G,A,B,\ldots$ من اليسار إلى اليمين. يريد العازف استيفاء القيود التالية:

• يختار مفتاحًا يحمل التسمية $A$، ويبدأ العزف بالضغط على المفتاح المختار.
• بعد أن يضغط على المفتاح رقم $i$، يمكنه في الخطوة التالية الضغط إما على المفتاح رقم $i-1$ أو على المفتاح رقم $i+1$.
• بعد أن يضغط على مفتاح يحمل التسمية $A$، يمكنه أيضًا التوقف عن العزف.
• ليس بالضرورة أن يكون أول مفتاح يحمل التسمية $A$ وآخر مفتاح يحمل التسمية $A$ يعزف عليهما هما المفتاح نفسه.
• يجب أن يضغط على مفاتيح تحمل التسمية $A$ (بغض النظر عن أي مفاتيح $A$ يختار) بالضبط $C_1$ مرة.
• وبالمثل، يجب أن يضغط على المفاتيح التي تحمل التسميات $B,C,D,E,F,G$ بالضبط $C_2,\ldots,C_7$ مرة، على الترتيب.

حدد ما إذا كان من الممكن استيفاء جميع القيود المذكورة أعلاه.

الإدخال

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

الإخراج

اطبع YES إذا كان من الممكن استيفاء جميع القيود، وNO خلاف ذلك.

أمثلة

الإدخال 1

2 1 1 1 1 1 1

الإخراج 1

YES

الإدخال 2

1 1 1 1 1 1 1

الإخراج 2

NO

الإدخال 3

3 1 0 10000000000 10000000000 0 1

الإخراج 3

NO

الإدخال 4

1 0 0 0 0 0 0

الإخراج 4

YES

ملاحظة

في المثال 1، يمكنه العزف على $A,B,C,D,E,F,G,A$.