package main

import . "fmt"
import . "os"
import bf "bufio"

func main() {
	rd:=bf.NewReader(Stdin)
	var n,q int
	Fscan(rd,&n,&q)
	x:=make([]int,n)
	t:=map[int]int{}
	for i:=range x {
		Fscan(rd,&x[i])
		t[x[i]]++
	}
	// delete(t,0)
	if len(t)+n>q {
		Println("No")
		return
	}
	Println("Yes")
	for _,v:=range x {
		if _,ok:=t[v];ok {
			Println(1,v,v)
			q--
			delete(t,v)
		}
		Println(2,v)
		q--
	}
	for ;q>0;q-- {
		Println(1,1,1)
	}
}