#include<iostream>
using namespace std;
int N,K;
main()
{
	cin>>N>>K;
	cout<<N*(N-1)/2*3+2<<endl;
	for(int i=1;i<N;i++)for(int j=N-1;j>=i;j--)
	{
		cout<<"XOR "<<N<<" "<<j-1<<" "<<j<<endl;
		cout<<"AND "<<j<<" "<<j-1<<" "<<j<<endl;
		cout<<"XOR "<<j-1<<" "<<j<<" "<<N<<endl;
	}
	cout<<"UPD "<<N<<" 0"<<endl;
	cout<<"XOR "<<N<<" "<<K-1<<" "<<N<<endl;
}