#include<cstdio>

typedef long long i64;

int _(){

    int x=,c=getchar();

    while(c<)c=getchar();

    while(c>)x=x*+c-,c=getchar();

    return x;

}

int n,v[],d[];

i64 dfs(int*d0,int n,bool _9,bool _0){

    bool dd=;

    for(int i=;i<n;++i)if(d0[i]){dd=;break;}

    if(!dd)return _0;

    if(n==){

        int x=*d0;

        if(x==)x=;

        i64 v=;

        for(int i=;i<;++i)if(x>>i&){

            v=i;

            x^=<<i;

            break;

        }

        for(int i=;i<;++i)if(x>>i&)v=v*+i;

        return v;

    }

    i64 v0=1ll<<;

    int*d1=d0+n;

    for(int a=;a<;++a){

        if(a==&&!_9)break;

        int n1=,x=a,s=;

        for(int b=;b<n;++b){

            s|=d0[b]&~(<<x);

            if(++x==){

                x=;

                d1[n1++]=s;

                s=;

            }

        }

        if(x)d1[n1++]=s;

        i64 v1=dfs(d1,n1,a!=||n>,!a&&(_0||(&*d0)))*+a;

        if(v1<v0)v0=v1;

    }

    return v0;

}

int main(){

    n=_();

    for(int i=;i<n;++i)d[i]=<<(v[i]=_());

    printf("%lld",dfs(d,n,,));

    return ;

}