n, m = gets.split.map &:to_i
abort "n" unless 2 <= n && n <= 100000
abort "m" unless 0 <= m && m <= 100000
puts "verified"