N,Q=map(int,input().split())
x=0
D=set()
L=[]
for _ in range(N):
  x=int(input())
  D.add(x)
  L.append(x)
if N+len(D)>Q:
  print('No')
  exit()
print('Yes')
T={}
now=1
for _ in range(N):
  x=L[_]
  if not x in T:
    print(1,now,x)
    T[x]=now
    now+=1
  pos=T[x]
  print(2,pos)
rest=Q-N-len(D)
for _ in range(rest):
  print(1,10**8,2)