AT_abc308_a [ABC308A] New Scheme

Description

[problemUrl]: https://atcoder.jp/contests/abc308/tasks/abc308_a $ 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 $ の倍数である。

Input Format

入力は以下の形式で標準入力から与えられる。 > $ S_1 $ $ S_2 $ $ \dots $ $ S_8 $

Output Format

答えを出力せよ。

Explanation/Hint

### 制約 - $ 0\leq\ S_i\ \leq\ 1000 $ - 入力は全て整数 ### Sample Explanation 1 $ 3 $ つの条件を全て満たしています。 ### Sample Explanation 2 $ S_4\ >\ S_5 $ であるため、$ 1 $ つ目の条件を満たしていません。 ### Sample Explanation 3 $ 2 $ つ目の条件と $ 3 $ つ目の条件を満たしていません。