n,q=map(int,input().split())
L=[int(input()) for _ in range(n)]
S=set(L)
S-=set([0])
SL=list(S)
d=dict()
d[0]=0
for i in range(len(S)):
	d[SL[i]]=i+1
if n+len(S)<=q:
	print("Yes")
	for i in range(len(S)):
		print(1,i+1,SL[i])
	for e in L:
		print(2,d[e])
	for _ in range(q-n-len(S)):
		print(1,1,1)
else:
	print("No")