Cho n số nguyên dương (n ≤ 10) $a_1$, $a_2$, …, $a_n$ ($a_i$ ≤ 100). Hãy tìm số nguyên dương m nhỏ nhất sao cho m không phân tích được tống của một số các số (mỗi số chỉ sử dụng một lần) tron n số trên.

Dữ liệu vào:

• Dòng đầu ghi số nguyên dương n
• Dòng thứ hai ghi n số nguyên dương $a_1$, $a_2$, …, $a_n$ giữa các số cách nhau một dấu cách.

Kết quả:

Ghi số m tìm được.

Ví dụ

INPUT

4
1 2 3 6

OUTPUT

13