問題文

$8$ 個の整数 $S_1,S_2,\\dots,S_8$ が与えられます。 以下の $3$ つの条件が全て満たされるならば Yes を、そうでないならば No を出力してください。

• 数列 $(S_1,S_2,\\dots,S_8)$ は広義単調増加である。すなわち、$S_1 \\leq S_2 \\leq \\dots \\leq S_8$ である。
• $S_1,S_2,\\dots,S_8$ は全て $100$ 以上 $675$ 以下である。
• $S_1,S_2,\\dots,S_8$ は全て $25$ の倍数である。

制約

• $0\\leq S_i \\leq 1000$
• 入力は全て整数

入力

入力は以下の形式で標準入力から与えられる。

$S_1$ $S_2$ $\\dots$ $S_8$

出力

答えを出力せよ。

入力例 1

125 175 250 300 400 525 600 650

出力例 1

Yes

$3$ つの条件を全て満たしています。

入力例 2

100 250 300 400 325 575 625 675

出力例 2

No

$S_4 > S_5$ であるため、$1$ つ目の条件を満たしていません。

入力例 3

0 23 24 145 301 413 631 632

出力例 3

No

$2$ つ目の条件と $3$ つ目の条件を満たしていません。