Туфтуф, младший брат Таттаха, недавно начал изучать программирование. Его старший брат — очень хороший программист, и заветная мечта Туфтуфа — перегнать его. Будучи студентом в 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.