N,Q=map(int, input().split())
A=[];B=[]
for i in range(N):
  s=int(input())
  B.append(s)
  A.append(s)

A=list(set(A))
a=len(A)
if len(A)+N>Q:
  print('No')
  exit()

D={}
ans=[]
for i in range(len(B)):
  b=B[i]+31
  if b not in D:
    D[b]=1
    ans.append((1,b-31,b-31))
    ans.append((2,b-31))
  else:
    ans.append((2,b-31))
    
c=Q-len(ans)
for i in range(c):
  ans.append((1,1,1))
  
print('Yes')
for a in ans:
  print(*a)