import sys
input = sys.stdin.readline

from random import randint

N,Q=map(int,input().split())
X=[int(input()) for i in range(N)]

ANS=[]
SET=set()

for x in X:
    if x in SET:
        ANS.append((2,x))
    else:
        ANS.append((1,x,x))
        ANS.append((2,x))
        SET.add(x)

if len(ANS)>Q:
    print("No")
else:        
    while len(ANS)<Q:
        ANS.append((1,1,1))

    print("Yes")

    for ans in ANS:
        print(*ans)