#pragma GCC target("avx")
#pragma GCC optimize("O3")
#pragma GCC optimize("unroll-loops")
#include<bits/stdc++.h>
using namespace std;
int N,K;
int main(){
  cin.tie(0);
  ios::sync_with_stdio(0);
  cin>>N>>K;
  cout<<N*(N-1)/2*3+2<<'\n';
  for(int b=0;b<N;++b)for(int a=0;a<b;++a){
    cout<<"XOR "<<N<<' '<<a<<' '<<b<<'\n';
    cout<<"AND "<<b<<' '<<a<<' '<<b<<'\n';
    cout<<"XOR "<<a<<' '<<b<<' '<<N<<'\n';
  }
  cout<<"UPD "<<N<<" 0\n";
  cout<<"XOR "<<N<<' '<<K-1<<' '<<N<<'\n';
}