#include<stdio.h>
#include<algorithm>
#include<vector>
#define gc char(zz==ZZ&&(zz=(ZZ=buf)+fread(buf,1,1<<20,stdin),zz==ZZ)?EOF:*ZZ++)
char buf[1<<20],*zz{buf},*ZZ{buf};
template<typename Tp>
inline void read(Tp &x) {
	x=0;char ch{gc};
	while(ch<=32) {
		ch=gc;
	}
	while(ch>32) {
		x=(x<<3)+(x<<1)+(ch^'0');
		ch=gc;
	}
}
#undef gc
constexpr int N{5000000},L{21};
int a[N+5],f[1<<L|1];
std::vector<int> id[L+1];
constexpr void check(int &x,const int &y) {
	x=std::max(x,y);
}
constexpr int trans(const int &x,const int &y) {
	int z{x>>y};
	if(z==0) {
		return x^1<<y;
	}
	return x^1<<y^1<<y+__builtin_ctz(z);
}
int main() {
	int n;
	read(n);
	for(int i=0;i!=n;i++) {
		read(a[i]);
		a[i]=L-a[i];
	}
	for(int i=0;i!=1<<L;i++) {
		id[__builtin_popcount(i)].emplace_back(i);
	}
	int ans{-1};
	f[0]=0;
	for(int i=0;i<=L&&ans==-1;i++) {
		std::reverse(id[i].begin(),id[i].end());
		for(int &j:id[i]) {
			while(f[j]<n-1) {
				if(j>>a[f[j]+1]&1) {
					f[j]+=2;
				}
				else if(j>>a[f[j]]&1) {
					++f[j];
				}
				else {
					break;
				}
			}
			if(f[j]>=n-1) {
				ans=i;
				break;
			}
			check(f[trans(j,a[f[j]])],f[j]+1);
			check(f[trans(j,a[f[j]+1])],f[j]+2);
			for(int k=0;k!=L;k++) {
				check(f[j|1<<k],f[j]);
			}
		}
	}
	printf("%d\n",ans);
	return 0;
}