Problem Statement

You are given a sequence of three numbers: $A=(A_1,A_2,A_3)$.

Is it possible to rearrange the elements of $A$ into an arithmetic sequence?

In other words, is it possible to rearrange the elements of $A$ so that $A_3-A_2=A_2-A_1$?

Constrains

• $1 \leq A_i \leq 100$
• All values in input are integers.

Input

Input is given from Standard Input in the following format:

A_1 A_2 A_3

Output

If it is possible to rearrange the elements of $A$ into an arithmetic sequence, print Yes; otherwise, print No.