#include <iostream>
#include <vector>
#include <string>
#include <tuple>
using namespace std;

int N, K, T;
int C[1009][1009];
vector<tuple<string, int, int, int>> Answer;

void Solve(int px, int py) {
	Answer.push_back(make_tuple("UPD", N, 1, -1));
	Answer.push_back(make_tuple("XOR", N, py, N));
	Answer.push_back(make_tuple("AND", N, px, N));
	Answer.push_back(make_tuple("XOR", px, px, N));
	Answer.push_back(make_tuple("XOR", py, py, N));
}

int main() {
	// Step #1. Input
	cin >> N >> K >> T;
	for (int i = 1; i <= T; i++) {
		for (int j = 0; j < N; j++) cin >> C[i][j];
	}

	// Step #2. Solve
	for (int i = N - 2; i >= 0; i--) {
		for (int j = 0; j <= i; j++) {
			Solve(j, j + 1);
		}
	}
	Answer.push_back(make_tuple("UPD", N, 0, -1));
	Answer.push_back(make_tuple("XOR", N, K - 1, N));

	// Step #3. Output The Answer
	cout << Answer.size() << endl;
	for (int i = 0; i < Answer.size(); i++) {
		if (get<0>(Answer[i]) == "UPD") cout << get<0>(Answer[i]) << " " << get<1>(Answer[i]) << " " << get<2>(Answer[i]) << endl;
		if (get<0>(Answer[i]) == "AND") cout << get<0>(Answer[i]) << " " << get<1>(Answer[i]) << " " << get<2>(Answer[i]) << " " << get<3>(Answer[i]) << endl;
		if (get<0>(Answer[i]) == "XOR") cout << get<0>(Answer[i]) << " " << get<1>(Answer[i]) << " " << get<2>(Answer[i]) << " " << get<3>(Answer[i]) << endl;
	}
	return 0;
}