一位鋼琴家想要彈鋼琴。

這架鋼琴有 $10^{100}$ 個琴鍵，從左到右依序標記為 $A,B,C,D,E,F,G,A,B,\ldots$。 鋼琴家希望滿足下列條件：

• 他選擇一個 $A$ 琴鍵，並按下所選的琴鍵開始彈奏。
• 按下第 $i$ 個琴鍵後，下一步他可以按下第 $i-1$ 個或第 $i+1$ 個琴鍵。
• 按下某個 $A$ 琴鍵後，他也可以停止彈奏。
• 他彈奏的第一個 $A$ 琴鍵與最後一個 $A$ 琴鍵不一定相同。
• 他必須恰好按下 $A$ 琴鍵 $C_1$ 次（無論按的是哪些 $A$ 琴鍵）。
• 同樣地，他必須分別恰好按下 $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$。