#pragma GCC optimize("Ofast")
#pragma GCC target("avx2")

#define rd(v) int v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;}

char wbuf[1<<25];
#define wbuf_end (wbuf+sizeof wbuf)

#define wt(v) {long _z=v;do*--wp=_z%10+48;while(_z/=10);}

main(){
	char rbuf[64];
	read(0,rbuf,sizeof rbuf);
	char*rp=rbuf;
	rd(n);
	rd(k);
	char*wp=wbuf_end;

	if(!(n&1)&&k==2){
		for(int i=n;--i;){
			*--wp='\n';
			if(i&1){
				*--wp='8';
				*--wp='9';
				*--wp='9';
				*--wp='9';
			}else{
				*--wp='9';
				*--wp='9';
				*--wp='9';
				*--wp='9';
				*--wp='-';
			}
			*--wp=' ';
			wt(i+1);
			*--wp=' ';
			wt(i);
		}
		goto end_yes;
	}

	if(k<3||k==n-1){
		*--wp='\n';
		*--wp='o';
		*--wp='N';
		goto end;
	}

	{
		for(int i=n;i>k;--i){
			*--wp='\n';
			*--wp='2';
			*--wp=' ';
			wt(i);
			*--wp=' ';
			*--wp='1';
		}
		for(int i=k;i>2;--i){
			*--wp='\n';
			*--wp='1';
			*--wp=' ';
			wt(i);
			*--wp=' ';
			wt(i-1);
		}
		*--wp='\n';
		wt(k+1);
		*--wp='-';
		*--wp=' ';
		*--wp='2';
		*--wp=' ';
		*--wp='1';
	}

	end_yes:;
	*--wp='\n';
	*--wp='s';
	*--wp='e';
	*--wp='Y';
	end:;
	write(1,wp,wbuf_end-wp);
	_exit(0);
}