n, q = map(int, input().split())
nxt = 1
to = []
rev = {}
xs = [int(input()) for i in range(n)]
for x in xs:
    if x not in rev:
        to.append(x)
        rev[x] = nxt
        nxt += 1

if (nxt - 1) > (q - n):
    print("No")
else:
    print("Yes")
    for i in range(q - n):
        if i < len(rev):
            print(1, i + 1, to[i])
        else:
            print(1, i + 1, 1)
    for x in xs:
        print(2, rev[x])