puts '000102030405111213141623242533343645'.index(gets.split.map{|e|e.to_i.abs}.minmax*'')?:YES: :NO