in_n, in_q = gets.chomp.split.map(&:to_i)
in_x = in_n.times.map { gets.chomp.to_i }

kinds = in_x.to_set
if kinds.size + in_x.size > in_q
  puts "No"
  exit
end

puts "Yes"
kinds.each { |kind| puts "1 #{kind} #{kind}" }
in_x.each { |x| puts "2 #{x}" }

(kinds.size + in_x.size).upto(in_q - 1) { |i| puts "1 4 25" }