新评分方案

题目描述

给定 8 个整数 $S_1,S_2,\dots,S_8$。如果以下三个条件全部满足,输出 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$

输出格式

输出答案。

样例

125 175 250 300 400 525 600 650

Yes

这三个条件都满足了。

100 250 300 400 325 575 625 675

No

因为 $S_4 \gt S_5$,不满足第一个条件。

0 23 24 145 301 413 631 632

No

不满足第二个和第三个条件。

数据范围

• $0 \leq S_i \leq 1000$
• 输入中的所有值均为整数