n,q = map(int, input().split())
x = [int(input()) for i in range(n)]

assert 1 <= n <= 2 * 10 ** 5
assert 1 <= q <= 2 * 10 ** 5
for xi in x:
    assert 1 <= xi <= 10 ** 9

a = dict()
idx = 1
ans = []
for xi in x:
    if not xi in a:
        a[xi] = idx
        ans.append((1, idx, xi))
        idx += 1
    ans.append((2, a[xi]))

if len(ans) > q:
    print("No")
    exit()

print("Yes")
for i in ans:
    print(*i)

for _ in range(q - len(ans)):
    print(1, 1, 1)