小红的阶梯
题号：NC302587
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

小红定义一个阶梯为，排列好的三个数，第二个数比第一个数大 ，第三个数比第二个数大 。
现在小红按顺序得到了三个数 ，请你判断他们是不是一个阶梯。

输入描述:

第一行输入三个整数 a_1,a_2,a_3\left(1 \leqq a_1,a_2,a_3 \leqq 10 \right)。

输出描述:

\hspace{15pt}如果是一个阶梯，请输出 \texttt{Yes}，否则输出 \texttt{No}。
示例1

输入

复制 
1 2 3

输出

复制 
Yes

说明

因为 1 + 1 = 2，2 + 1 = 3，所以这三个数是一个阶梯。
示例2

输入

复制 
3 2 1

输出

复制 
No

说明

因为 3 + 1 \ne 2，2 + 1\ne1，所以这三个数不是一个阶梯。