#include <stdio.h>
#include <bits/stdc++.h>
#include <atcoder/all>
using namespace atcoder;
using mint = modint998244353;
using namespace std;
#define rep(i,n) for (int i = 0; i < (n); ++i)
#define Inf 1000000001

int N,K,T;

vector<string> s;
vector<int> a,b,c;

void UPD(int i,int x){
	s.push_back("UPD ");
	a.push_back(i);
	b.push_back(x);
	c.push_back(-1);
}

void AND(int i,int j,int k){
	s.push_back("AND ");
	a.push_back(i);
	b.push_back(j);
	c.push_back(k);
}

void XOR(int i,int j,int k){
	s.push_back("XOR ");
	a.push_back(i);
	b.push_back(j);
	c.push_back(k);
}

int main(){
	
	
	cin>>N>>K>>T;
	
	vector<vector<int>> C(T,vector<int>(N));
	rep(i,T){
		rep(j,N){
			cin>>C[i][j];
		}
	}
	
	rep(i,N){
		if(i==0)continue;
		int r = i;
		int l = i-1;
		while(l>=0){
			XOR(l,l,r);
			UPD(N,0);
			XOR(N,r,N);
			AND(r,l,r);
			XOR(r,r,N);
			XOR(l,l,r);
			l--;
		}
		
	}
	
	UPD(N,0);
	XOR(N,N,K-1);
	
	cout<<s.size()<<endl;
	rep(i,s.size()){
		cout<<s[i]<<a[i]<<' '<<b[i];
		if(s[i]!="UPD "){
			cout<<' '<<c[i];
		}
		cout<<endl;
	}
	
    return 0;
}