k = gets.to_i
n = gets.to_i
x = gets.split.map(&:to_i)
abort unless n == x.size
abort unless n == x.uniq.size