Туфтуф, младший брат Таттаха, недавно начал изучать программирование. Его старший брат — очень хороший программист, и заветная мечта Туфтуфа — перегнать его. Будучи студентом в GUC Туфтуф учится писать программы на языке Gava. Сегодня Туфтуф познакомился с беззнаковыми целыми типами данных.

В языке Gava есть n беззнаковых целых типов данных. Их размеры (в битах): a₁, a₂, ... a_n. Тип данных номер i имеет размер a_i бит, то есть в него помещается любое число от 0 до 2^a_i - 1 включительно.

Туфтуф думает начать изучать другой язык программирования вместо Gava. Он решил, что бросит Gava, если выяснится, что существует такое целое число x, что x помещается в тип i (в a_i бит), но при этом x·x не помещается в другой тип j (в a_j бит), такой что a_i < a_j.

Зная все a_i определите, бросит ли Туфтуф изучать Gava.