P15186 [SWERC 2019] Ants

Charles 对蚂蚁非常着迷。为了长期观察一个蚂蚁群落，Charles 设法编写了一个程序，通过图像识别来唯一标识每只蚂蚁。（是的，每只蚂蚁都是独特的。）在程序内部，每只蚂蚁被标记一个唯一的非负整数。每当群落中有新蚂蚁出生时，新蚂蚁会被分配一个新的标记，该标记不同于所有已分配的标记。每当某只蚂蚁消失时，它的标记会重新回到可用标记池中。 Charles 的程序工作原理如下。它首先扫描整个群落，构建出已识别蚂蚁的标记列表。然后，它为新生蚂蚁分配新的标记。为此，程序只需选取当前未被分配给任何蚂蚁的最小自然数（即非负整数），依此类推。 由于图像识别设备和程序的某些故障，输入列表中有时会出现负数或非常大的数字。这些数字会被 Charles 的程序直接忽略。 你的任务是重新实现 Charles 程序中为新生蚂蚁寻找新标记的部分。

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

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

#### 数据范围 输入满足 $0 \leq N \leq 10^6$。每个整数 $X_i$ 的位数少于 100 位。 翻译由 DeepSeek 完成