N, Q = map(int, input().split()) X = [int(input()) for _ in range(N)] l = len(set(X)) if Q - l < l: print("No") exit() print("Yes") d = {} for i, x in enumerate(set(X)): d[x] = i print(f"1 {i+1} {x}") for i in range(N): print(f"2 {d[X[i]] + 1}") for i in range(Q - l - N): print("1 1 0")