题目描述

给定 $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$

输出格式

请输出答案。

样例 1

输入

125 175 250 300 400 525 600 650

输出

Yes

样例 2

输入

100 250 300 400 325 575 625 675

输出

No

样例 3

输入

0 23 24 145 301 413 631 632

输出

No

说明/提示

限制条件

• $0 \leq S_i \leq 1000$
• 输入均为整数

样例解释 1

满足全部 $3$ 个条件。

样例解释 2

由于 $S_4 > S_5$，不满足第 $1$ 个条件。

样例解释 3

不满足第 $2$ 个和第 $3$ 个条件。

由 ChatGPT 4.1 翻译