Test Tiếp Theo

Hệ thống Polygon cho phép tạo các bài tập lập trình. Khi bạn thêm một test cho bài tập, hệ thống yêu cầu nhập chỉ số (index) của test đó và gợi ý sẵn một giá trị mặc định.

Giá trị mặc định được xác định là số nguyên dương nhỏ nhất chưa được dùng làm chỉ số cho bất kỳ test nào đã thêm trước đó.

Cho danh sách các chỉ số của những test đã thêm, hãy xác định chỉ số mặc định cho test tiếp theo.

Dữ liệu vào

• Dòng đầu chứa số nguyên $n$ — số lượng test đã thêm.
• Dòng thứ hai chứa $n$ số nguyên phân biệt $a_1,a_2,\dots ,a_n$ — chỉ số của các test đã thêm.

Dữ liệu ra

• In ra một số nguyên duy nhất: giá trị mặc định của chỉ số test tiếp theo.

Ràng buộc

• $1\le n\le 3000$
• $1\le a_i\le 3000$
• Tất cả $a_i$ phân biệt.

Ví dụ