L. Три точки Антипова
ограничение по времени на тест
2 секунды
ограничение по памяти на тест
256 мегабайт
ввод
стандартный ввод
вывод
стандартный вывод

Однажды, на NEERC-2015, Андрей Антипов, выпускник самарского ICPC движения, попросил anonymous'a стать его тренером, на что тот ответил, что Андрею необходимо для начала быть красным после трех контестов подряд на Codeforces, чтобы показать свою мотивацию. Красный рейтинг в тот момент начинался с 2200.

Времени с тех времен прошло много, anonymous так и не стал тренером Антипова, но нам интересно, а был ли шанс? В этой задаче вам даны все точки на графике рейтинга Антипова, определите, мог ли он претендовать на тренерство anonymous'a и на лучшую жизнь чем сейчас?

Входные данные

В первой строке дано число n (1 ≤ n ≤ 200 000) - количество точек на графике Андрея. В следующей строке указано n чисел - ai (1 ≤ ai ≤ 4 000) - рейтинг Андрея после контеста с номером i.

Выходные данные

Выведите YES, если Андрей мог претендовать на тренерство anonymous'a, и NO в противоположном случая.

Примеры
Входные данные
11
2051 2141 2223 2230 2193 2200 2289 2305 2245 2252 2218
Выходные данные
YES
Входные данные
5
1795 1860 1927 2069 2039
Выходные данные
NO