Charles 对蚂蚁非常着迷。为了长期观察一个蚁群，Charles 设法编写了一个程序，利用图像识别技术唯一地标识每一只蚂蚁。（是的，每一只蚂蚁都是独一无二的。）在程序内部，每只蚂蚁都被标记为一个唯一的非负整数。每当蚁群中有新蚂蚁出生时，它会被分配一个新的标签，该标签与所有已分配的标签都不同。每当有蚂蚁消失时，它的标签就会回到可用标签池中。

Charles 的程序工作流程如下：它首先扫描整个蚁群，建立已识别蚂蚁的标签列表。然后，它为新蚂蚁分配新的标签。为此，程序只需选择当前未分配给任何蚂蚁的最小自然数（即非负整数），依此类推。

由于图像识别设备和程序本身存在一些故障，输入列表中有时会出现负数或非常大的数字。Charles 的程序会直接忽略这些数字。

你的任务是重新实现 Charles 程序中寻找分配给新蚂蚁的新标签的那部分功能。

输入格式

输入包含以下行： 第一行：一个整数 $N$； 接下来的 $N$ 行：一些整数 $X_1, \dots, X_N$，每行一个。

数据范围

输入满足 $0 \leqslant N \leqslant 10^6$。每个整数 $X_i$ 的位数少于 100 位。

输出格式

不属于集合 $\{X_1, \dots, X_N\}$ 的最小自然数。

样例

样例输入 1

5
1
-1
0
3
10

样例输出 1

2