#KKT100501. 指数序列

指数序列

题目描述

给出非负整数序列 a1≤⋯≤ana_1\le\cdots\le a_n,它对应的数列为 2a1,…,2an2^{a_1},\ldots,2^{a_n}。允许加入任意多个形如 2x2^x 的数,其中 xx 为非负整数。求至少加入多少个数,才能使所有数的和为 2v−12^v-1,其中 vv 为某个非负整数。

输入格式

第一行 nn,第二行 nn 个指数。

输出格式

输出至少加入的数的个数。

样例

4
0 1 1 1
0
1
3
3

数据范围

1≤n≤1051\le n\le10^5,0≤ai≤2×1090\le a_i\le2\times10^9,序列单调不降。