砖块

题目描述

有 $N$ 块砖横排成一列。

从左数第 $i$（$1 \leq i \leq N$）块砖上写着整数 $a_i$。

你可以选择其中的任意 $N - 1$ 块以下的砖敲碎。

假设敲碎后剩下 $K$ 块砖。此时，如果对任意整数 $i$（$1 \leq i \leq K$），剩下砖中从左数第 $i$ 块上写着的整数都是 $i$，那么 snuke 君会感到满意。

请输出为了让 snuke 君满意而需要敲碎的最少砖块数。如果无论怎样敲碎都不可能，则输出 -1。

输入格式

输入按以下格式从标准输入给出：

$N$
$a_1$ $a_2$ $...$ $a_N$

输出格式

输出为了让 snuke 君满意而需要敲碎的最少砖块数。如果无论怎样敲碎都不可能，则输出 -1。

样例

3
2 1 2

1

敲碎最左边的 $1$ 块砖后，剩下砖上写着的整数从左到右为 $1$, $2$。

此时 snuke 君会感到满意。

3
2 2 2

-1

这种情况下，不存在让 snuke 君满意的敲砖方式。

10
3 1 4 1 5 9 2 6 5 3

7

1
1

0

有时一块砖也不用敲碎。

数据范围

• 输入均为整数。
• $1 \leq N \leq 200000$
• $1 \leq a_i \leq N$