#include<bits/stdc++.h>
#define rep(i,a,n) for(int i=(a);i<=(n);++i)
#define per(i,a,n) for(int i=(n);i>=(a);--i)
#define SZ(x) ((int)(x).size())

using namespace std;
typedef double db;
typedef long long ll;
typedef pair<int,int> pii;

const int maxn=5e6+10,maxV=22;

int n,mx,a[maxn],f[1<<maxV];

inline void solve(){
	scanf("%d",&n);
	rep(i,1,n){
		scanf("%d",&a[i]);	
		mx=max(mx,a[i]);
	}
	int res=1e9;
	auto popcount=[&](int x){
		int cnt=0;
		while(x) cnt+=x&1,x>>=1;
		return cnt;
	};
	rep(S,0,(1<<mx)-1){
		while(f[S]<n-1 && (((S>>(a[f[S]+1]-1))&1) || ((S>>(a[f[S]+2]-1))&1))){
			if((S>>(a[f[S]+1]-1))&1) f[S]++;
			else f[S]+=2;
		}
		if(f[S]>=n-1) res=min(res,popcount(S));
		rep(i,0,mx-1){
			int T=S|(1<<i);
			if(i) T=T^(1<<(i-1));
			f[T]=max(f[S],f[T]);
		} 
	}
	printf("%d\n",res);
}

signed main(){
    int _=1;
    //scanf("%d",&_); 
    while(_--) solve();
}