N, Q = gets.split.map(&:to_i)
X = Array.new(N) { gets.to_i }

ans = []
hash = {}
X.each do |x|
	unless hash.key?(x)
		i = hash.size + 2
		hash[x] = i
		ans << "1 #{i} #{x}"
	end
	ans << "2 #{hash[x]}"
end

if ans.size > Q
	puts "No"
	exit
else
	puts "Yes"
end

(Q - ans.size).times do
	ans.unshift("1 1 1")
end

puts ans