n,*d=$<.read.split.map &:to_i
n.times{|i|C=0;o=i;(o>i&&c+=1;d[o],o=p,d[o]-1)while d[o];C==1&&break}
puts C==1?:No:'Yes'