นักเปียโนคนหนึ่งต้องการเล่นเปียโน

เปียโนมีคีย์ $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$ ได้