from collections import defaultdict
N, Q = map(int, input().split())
assert 1 <= N <= Q <= 2 * 10 ** 5

D, cnt = defaultdict(int), 0
tmp = []
for i in range(N):
	X = int(input())
	assert 1 <= X <= 10 ** 9
	if not D[X]:
		D[X] = i+1
		tmp.append([1, i+1, X])
		cnt += 1
	cnt += 1
	tmp.append([2, D[X]])
	
	if cnt > Q:
		exit(print('No'))

print('Yes')
while cnt < Q:
	tmp.append([1, 1, 10])
	cnt += 1

for ans in tmp:
	print(*ans)