Input
4 7 2 4 12 7 15 10 12
Output
Yes
Input
3 4 4 4 1 2 3
Output
No