ary = gets.strip.split(' ').map(&:to_i)
ary2 = gets.strip.split(' ').map(&:to_i)
ary3 = gets.strip.split(' ').map(&:to_i)
ans = ary + ary2 + ary3
if ans.inject(:+) == 15
  puts "YES"
else
  puts "NO"
end