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

q = []
tmp = set()
for i in range(N):
    j = int(input())
    q.append(j)
    tmp.add(j)

nokori = Q-N
if nokori < len(tmp):
    print("No")
    exit()
done = set()
cnt = 1
ans = []
dic = {}

for i in q:
    if i not in done:
        done.add(i)
        ans.append([1,len(done),i])

        dic[i] = len(done)

for i in q:
    ans.append([2,dic[i]])

#print(ans)
while len(ans) < Q:
    ans.append([1,10**8,1])

print("Yes")

for i in ans:
    print(*i)