from collections import defaultdict n,q=map(int,input().split()) items=[int(input()) for _ in range(n)] st=set(items) mp=defaultdict(int) res=0 if len(st)+n<=q: print("Yes") for i in range(n): if items[i] not in mp: mp[items[i]]=len(mp)+1 print(1,len(mp),items[i]) res+=1 print(2,mp[items[i]]) res+=1 for i in range(q-res): print(1,10**8,10**8) else: print("No")