An toàn lập trình

Trong một buổi họp nhóm, FullHouse Dev đã được giao một bài toán thú vị về "An toàn lập trình". Họ cần phát triển thói quen lập trình an toàn bằng cách kiểm tra các kiểu dữ liệu số nguyên không dấu với kích thước khác nhau.

Bài toán

Bạn được cung cấp \(N\) kiểu dữ liệu số nguyên không dấu với kích thước (tính bằng bit) \(a_1, a_2, a_3, \ldots, a_n\). Nếu kiểu dữ liệu thứ \(i\) có kích thước \(a_i\) bit, bạn có thể lưu trữ tất cả các số nguyên từ \(0\) đến \(2^{a_i} - 1\).

Quy tắc của lập trình an toàn như sau:

Nếu \(n\) là một số có thể được biểu diễn bởi kích thước bit \(a_i\), và nếu ít nhất một \(a_j > a_i\) có trong mảng đã cho, thì chúng ta phải có khả năng biểu diễn \(n^3\) bằng bất kỳ một trong các kích thước bit có trong mảng \(a\).

INPUT FORMAT:

• Dòng đầu tiên chứa số nguyên \(N\) - số lượng kiểu dữ liệu có sẵn.
• Dòng tiếp theo chứa \(N\) số nguyên cách nhau bởi dấu cách - các kích thước bit có sẵn.

OUTPUT FORMAT:

• In ra \(1\) nếu đó là "Lập trình an toàn"; ngược lại, in ra \(0\).

Ràng buộc:

• \(1 \leq N \leq 100\)
• \(1 \leq a[i] \leq 30\)

VÍ DỤ

INPUT

4
3 10 3 3

OUTPUT

1

Giải thích

• Với \(N = 4\) và \(a = [3, 10, 3, 3]\), ta có thể chọn \(n = 7\) (có thể được biểu diễn bằng kích thước \(a_1 = 3\) bit). Kích thước \(a_2 = 10\) có trong mảng và \(a_2 > a_1\). Do đó, chúng ta cần có khả năng biểu diễn \(n^3 = 343\) bằng kích thước \(10\) bit. Số lớn nhất có thể được biểu diễn bằng \(10\) bit là \(2^{10} - 1 = 1023\), và \(343 < 1023\). Do đó, đáp án là \(1\).