#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint1000000007;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000001

void NG(){
	cout<<"No"<<endl;
	exit(0);
}

int main(){
	
	int N,K;
	cin>>N>>K;
	
	if(K==2&&N%2==0){
		cout<<"Yes"<<endl;
		
		rep(i,N-1){
			int w = 2;
			if(i%2==1)w = -3;
			cout<<i+1<<' '<<i+2<<' '<<w<<endl;
		}
		
		return 0;
	}
	assert(K!=2);
	
	if(K==1||K==N-1||K==2){
		NG();
	}
	
	vector<int> u(N-1),v(N-1),w(N-1);
	
	rep(i,N-1){
		if(i+1<=K-1){
			u[i] = i;
			v[i] = i+1;
			w[i] = 0;
		}
		else{
			u[i] = K-1;
			v[i] = i+1;
			w[i] = 2;
		}
	}
	
	w[0] = -3;
	cout<<"Yes"<<endl;
	rep(i,N-1){
		printf("%d %d %d\n",u[i]+1,v[i]+1,w[i]);
	}
	
	return 0;
}