import sys,collections
input = sys.stdin.readline
n,q = map(int,input().split())
x = [int(input()) for i in range(n)]
ans = []
c = collections.defaultdict(lambda :-1)
idx = 1
for i in x:
    if c[i] == -1:
        c[i] = idx
        ans.append([1,idx,i])
        idx+=1
    ans.append([2,c[i]])
if len(ans) > q:
    exit(print('No'))
while len(ans) < q:
    ans.append([1,1000000000,1000000000])
print('Yes')
for i in ans:
    print(*i)