from collections import defaultdict
n,q=map(int,input().split())
ans=[]
idx=1
pl=defaultdict(lambda:0)
for i in range(n):
    x=int(input())
    if pl[x]!=0:
        ans.append((2,pl[x]))
        continue
    pl[x]=idx
    ans.append((1,idx,x))
    ans.append((2,idx))
    idx+=1
for _ in range(q-len(ans)):
    ans.append((1,1,1))
if len(ans)>q:
    print("No")
else:
    print("Yes")
    for row in ans:
        print(*row)