大学四年时光转瞬即逝，厉害的dp哥哥凭借着优秀的代码能力，熟练的数据结构，令人仰望的数理基础，成功成为了欢乐搬砖集团的一员。可是在实习期间，dp哥哥遇到了难题。

dp哥哥的面前有​堆砖块，每堆砖块由不同的数量组成。dp哥哥有一个强迫症，他喜欢看到这些砖块整体呈现从左往右严格上升的趋势（即第i​堆的砖块数量需要严格小于第i+1堆的数量），并且最左边那一堆的砖块数量需要大于等于1块。

但是dp哥哥有点懒惰，他只愿意从左往右走一遍，也就是说，他只能按递增顺序把第i​堆的砖搬到第i+1​堆。

因为dp哥哥身体强壮，所以他可以搬任意块砖。

dp哥哥想知道他的强迫症可不可以得到满足QAQ。

如果他的强迫症可以得到满足，那么输出“YES”（不包含引号），否则输出“NO”（不包含引号）。

by illume