n,q=map(int,input().split())
ans=[]
idx=1
for i in range(n):
    x=int(input())
    if len(ans)>1 and x==ans[-2][-1]:
        ans.append((2,idx))
        continue
    ans.append((1,idx,x))
    ans.append((2,idx))
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)