A11570 | Ravioli Sort

Everybody knows of [spaghetti sort](https://en.wikipedia.org/wiki/Spaghetti_sort). You decided to implement an analog sorting algorithm yourself, but as you survey your pantry you realize you're out of spaghetti! The only type of pasta you have is ravioli, but you are not going to let this stop you...

You come up with the following algorithm. For each number in the array $a_{i}$ , build a stack of $a_{i}$ ravioli. The image shows the stack for $a_{i}=4$ .

Arrange the stacks in one row in the order in which the corresponding numbers appear in the input array. Find the tallest one (if there are several stacks of maximal height, use the leftmost one). Remove it and add its height to the end of the output array. Shift the stacks in the row so that there is no gap between them. Repeat the procedure until all stacks have been removed.

At first you are very happy with your algorithm, but as you try it on more inputs you realize that it doesn't always produce the right sorted array. Turns out when two stacks of ravioli are next to each other (at any step of the process) and differ in height by two or more, the top ravioli of the taller stack slides down on top of the lower stack.

Given an input array, figure out whether the described algorithm will sort it correctly.

The first line of input contains a single number $n$ ( $1<=n<=10$ ) — the size of the array.

The second line of input contains $n$ space-separated integers $a_{i}$ ( $1<=a_{i}<=100$ ) — the elements of the array.

Output "YES" if the array can be sorted using the described procedure and "NO" if it can not.