#include<stdio.h>

int main(void){
    int n;
    int i;

    scanf("%d",&n);

    int d[n];

    for(i=0;i<n;i++){
        scanf("%d",&d[i]);
    }

    int num[1000000] = {};
    
    for(i=0;i<n;i++){
        num[d[i]] ++;
    }

    for(i=0;i<n-1;i++){
        num[d[i]*10 + d[i+1]] ++;
    }

    for(i=0;i<n-2;i++){
        num[d[i]*100 + d[i+1]*10 + d[i+2]] ++;
    }
    
    /*for(i=0;i<200;i++){
        printf("%d %d\n",i,num[i]);
    }*/

    for(i=0;i<1000000;i++){
        if(num[i] == 0){
            printf("%d\n",i);
            break;
        }
    }


    return 0;
}
