#include <stdio.h>
#include <string.h>
int main(void){
	int n,x;
	long long i;
	char d[1001],tmp[1001];
	scanf("%d",&n);
	for(i=0;i<n;i++){
		scanf("%d",&x);
		d[i]=x+'0';
	}
	d[i]=0;
	for(i=0;;i++){
		sprintf(tmp,"%d",i);
		if(strstr(d,tmp)==NULL){
			printf("%lld\n",i);
			return 0;
		}
	}
}