gets.to_i
num = gets.to_s.split(" ").map(&:to_i)
#p num.size()
bad = ""
for n in 1..num.size()
  bad += n.to_s
end
#p bad.reverse
puts "NO" if num.join.eql? bad.reverse
puts "YES" if !num.join.eql? bad.reverse