Tattah's youngest brother, Tuftuf, is new to programming.

Since his older brother is such a good programmer, his biggest dream is to outshine him. Tuftuf is a student at the German University in Cairo (GUC) where he learns to write programs in Gava.

Today, Tuftuf was introduced to Gava's unsigned integer datatypes. Gava has *n* unsigned integer datatypes of sizes (in bits) *a*_{1}, *a*_{2}, ... *a*_{n}. The *i*-th datatype have size *a*_{i} bits, so it can represent every integer between 0 and 2^{ai} - 1 inclusive.

Tuftuf is thinking of learning a better programming language. If there exists an integer *x*, such that *x* fits in some type *i* (in *a*_{i} bits) and *x*·*x* does not fit in some other type *j* (in *a*_{j} bits) where *a*_{i} < *a*_{j}, then Tuftuf will stop using Gava.

Your task is to determine Tuftuf's destiny.

提交代码