Туфтуф, младший брат Таттаха, недавно начал изучать программирование. Его старший брат — очень хороший программист, и заветная мечта Туфтуфа — перегнать его. Будучи студентом в GUC Туфтуф учится писать программы на языке Gava. Сегодня Туфтуф познакомился с беззнаковыми целыми типами данных.
В языке Gava есть n беззнаковых целых типов данных. Их размеры (в битах): a1, a2, ... an. Тип данных номер i имеет размер ai бит, то есть в него помещается любое число от 0 до 2ai - 1 включительно.
Туфтуф думает начать изучать другой язык программирования вместо Gava. Он решил, что бросит Gava, если выяснится, что существует такое целое число x, что x помещается в тип i (в ai бит), но при этом x·x не помещается в другой тип j (в aj бит), такой что ai < aj.
Зная все ai определите, бросит ли Туфтуф изучать Gava.
В первой строке записано целое число n (2 ≤ n ≤ 105) — количество беззнаковых целых типов в языке Gava. На второй строке через пробел записано n целых чисел ai (1 ≤ ai ≤ 109) — размеры типов в битах. Размеры некоторых типов данных могут совпадать.
Выведите «YES» если Туфтуф бросит Gava и «NO» в противном случае.
3
64 16 32
NO
4
4 2 1 3
YES
Во втором примере x = 7 (1112) помещается в 3 бита, но x2 = 49 (1100012) не помещается в 4 бита.
| Codeforces Beta Round 83 (Div. 2 Only) |
|---|
| Закончено |
