n=gets.to_i
c1=0
ds=[]
while c1<n
t=gets.chomp.split(" ")
t.each{|t2|
ds<<t2
}
c1+=t.size
end
hs={}
n.times{|i|
t=""
j=0
while i+j<n && j<4
t+=ds[i+j]
hs[t.to_i]=1
break if t=="0"
j+=1
end
}
ans=0
m1=hs.keys.max+1
while ans<=m1
break if hs.member?(ans)==false
ans+=1
end
puts ans
bj1nZXRzLnRvX2kKYzE9MApkcz1bXQp3aGlsZSBjMTxuCgl0PWdldHMuY2hvbXAuc3BsaXQoIiAiKQoJdC5lYWNoe3x0MnwKCQlkczw8dDIKCX0KCWMxKz10LnNpemUKZW5kCmhzPXt9Cm4udGltZXN7fGl8Cgl0PSIiCglqPTAKCXdoaWxlIGkrajxuICYmIGo8NAoJCXQrPWRzW2kral0KCQloc1t0LnRvX2ldPTEKCQlicmVhayBpZiB0PT0iMCIKCQlqKz0xCgllbmQKfQphbnM9MAptMT1ocy5rZXlzLm1heCsxCndoaWxlIGFuczw9bTEKCWJyZWFrIGlmIGhzLm1lbWJlcj8oYW5zKT09ZmFsc2UKCWFucys9MQplbmQKcHV0cyBhbnM=