#include <bits/stdc++.h>
using namespace std;
using ll = long long;
int main () {
	std::vector<tuple<int, int, int, int>> ans;
	ll iv = 1;
	iv <<= 32;
	iv /= 3;
	ans.emplace_back(0, 1, 1, 2);
	ans.emplace_back(0, 4, 4, 1);
	for (int n = 0; n < 32; n ++) {
		if ((iv >> n) & 1) {
			ans.emplace_back(0, 3, 3, 4);
		}
		ans.emplace_back(0, 4, 4, 4);
	}
	for (int n = 0; n < 32; n ++) {
		ans.emplace_back(1, 3, 3, 0);
	}
	cout << ans.size() << endl;
	for (auto [p, a, b, c] : ans) {
		if (p) {
			printf("div %d %d\n", a, b);
		} else {
			printf("plus %d %d %d\n", a, b, c);
		}
	}
	cout << flush;
}