N,Q = map(int,input().split())

X = [ int(input()) for i in range(N) ]

dic = {}

ans = []

for i in range(N):

    if X[i] in dic:
        ans.append( (2,dic[X[i]]) )
    else:
        p = len(dic) + 1
        ans.append( (1,p,X[i]) )
        dic[X[i]] = p
        ans.append( (2,p) )

while len(ans) < Q:
    ans.append( (1,10**9,1) )

if len(ans) == Q:
    print ("Yes")
    for tup in ans:
        print (*tup)
else:
    print ("No")