题目描述

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

约束条件

• $0\\leq S_i \\leq 1000$
• 所有输入值都是整数。

输入

输入数据从标准输入中获取，格式如下：

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

输出

打印答案。

示例输入 1

125 175 250 300 400 525 600 650

示例输出 1

Yes

它们满足所有三个条件。

示例输入 2

100 250 300 400 325 575 625 675

示例输出 2

No

它们违反了第一个条件，因为 $S_4 > S_5$。

示例输入 3

0 23 24 145 301 413 631 632

示例输出 3

No

它们违反了第二个和第三个条件。