n, q = gets.split.map(&:to_i)
xs = n.times.map { gets.to_i }
uni = xs.uniq
if uni.size + xs.size > q
  puts 'No'
  exit
end
puts 'Yes'

qs = []
uni.each { |x| qs << "1 #{x} #{x}" }
xs.each { |x| qs << "2 #{x}" }

(q - qs.size).times { qs << '1 1 1' }

puts qs