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

using namespace std;
using ll = long long;

void and1(int i,int j,int k){
    cout<<"AND "<<i<<" "<<j<<" "<<k<<endl;
}
void xor1(int i,int j,int k){
    cout<<"XOR "<<i<<" "<<j<<" "<<k<<endl;
}
void upd(int i,int x){
    cout<<"UPD "<<i<<" "<<x<<endl;
}
int main(){
    cin.tie(nullptr);
    ios::sync_with_stdio(false);

    int n,k;
    cin>>n>>k;
    for(int i = n-1;i>0;i--){
        for(int j = i;j>0;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);
}