#include<iostream>
#include<vector>
#include<algorithm>

using namespace std;
using ll = long long;

int cnt = 0;
vector<string> ans;
void and1(int i,int j,int k){
    ans.push_back("AND "+to_string(i)+" "+to_string(j)+" "+to_string(k));
}
void xor1(int i,int j,int k){
    ans.push_back("XOR "+to_string(i)+" "+to_string(j)+" "+to_string(k));
}
void upd(int i,int x){
    ans.push_back("AND "+to_string(i)+" "+to_string(x));
}
int main(){
    cin.tie(nullptr);
    ios::sync_with_stdio(false);

    int n,k;
    cin>>n>>k;
    for(int i = 0;i<n-1;i++){
        for(int j = n-1;j>i;j--){
            int ni = j-1;
            int nj = j;
            xor1(n,ni,nj);
            xor1(nj,n,nj);
            xor1(ni,ni,nj);
            and1(n,nj,n);
            xor1(nj,nj,n);
        }
    }
    upd(n,1);
    for(int i = 0;i<k;i++) and1(n,i,n);
    cout<<ans.size()<<endl;
    for(int i = 0;i<ans.size();i++) cout<<ans[i]<<endl;
}