AT_abc308_a [ABC308A] New Scheme

给定 $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$ 的倍数。

输入以如下格式从标准输入读入。 > $S_1$ $S_2$ $\dots$ $S_8$

请输出答案。

### 限制条件 - $0 \leq S_i \leq 1000$ - 输入均为整数 ### 样例解释 1 满足全部 $3$ 个条件。 ### 样例解释 2 由于 $S_4 > S_5$，不满足第 $1$ 个条件。 ### 样例解释 3 不满足第 $2$ 个和第 $3$ 个条件。 由 ChatGPT 4.1 翻译