N,Q=map(int, input().split())
A=[];B=[]
for i in range(N):
  s=int(input())
  B.append(s)
  if len(A)==0 or A[-1]!=s:
    A.append(s)


if len(A)+N>Q:
  print('No')
  exit()
  
print('Yes')
ans=[]
for i in range(len(B)):
  if i==0:
    ans.append((1,1,B[i]))
    ans.append((2,1))
  else:
    if B[i-1]==B[i]:
      ans.append((2,1))
    else:
      ans.append((1,1,B[i]))
      ans.append((2,1))

c=Q-len(ans)
for i in range(c):
  ans.append((1,1,1))
  
for a in ans:
  print(*a)