vị (dtper.*)

Cho số nguyên dương \(n\) và dãy số nguyên dương \(a_{1},a_{2},\ldots,a_{n}\). Bạn được thực hiện nhiều thao tác, với mỗi thao tác bạn được chọn một số nguyên \(a_{i}\) rồi thay nó bằng giá trị \(\frac{a_{i}}{2}\) (chỉ lấy phần nguyên).

Yêu cầu: Hãy cho biết có thể thực hiện các thao tác như ở trên để chuyển dãy số thành một hoán vị của \(1,\ 2,\ 3,\ldots,n\) hay không?

Dữ liệu vào:

+ Dòng đầu tiên ghi một số nguyên \(t\) \((1\ \leq \ t\ \leq \ 10000)\) cho biết số lượng testcase; Mỗi testcase có cấu trúc như sau:

• Dòng đầu tiên ghi số nguyên dương \(n\ (1 \leq n \leq 50)\)

• Dòng thứ hai ghi lần lượt các số nguyên dương \(a_{1},a_{2},\ldots,a_{n}\ (1 \leq a_{i} \leq 10^{9})\)

Kết quả:

+ Với mỗi testcase ghi “yes” nếu có thể chuyển dãy số thành hoán vị của \(1,\ 2,3,\ldots,n\); ngược lại ghi “no”.

Ví dụ: