puts '00 01 11 12 23 33 34 45 02 24 03 36 04 05 13 14 16 24'.index(gets.split.map{|e|e.to_i.abs}.minmax*'')?:YES: :NO