#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
typedef pair <ll,ll> P;
#define _for(x,y,z) for (int x(y),_(z); x<=_; ++x)
#define _rep(x,y,z) for (int x(y),_(z); x>=_; --x)
inline ll read(){ ll x; cin>>x; return x; }
inline void _init(){
	#ifdef LOCAL
		assert(freopen("test.in", "r", stdin));
		assert(freopen("test.out", "w", stdout));
	#endif
	ios::sync_with_stdio(false); cin.tie(nullptr); cout.tie(nullptr);
}


void init() {}
void procedure() {
	cout << "25\n$1 = $1 / 128\n$0 = 1 + $1\n$2 = $1 * $1\n$0 = $0 + $2 / 2\n$2 = $2 * $1\n$0 = $0 + $2 / 6\n$2 = $2 * $1\n$0 = $0 + $2 / 24\n$2 = $2 * $1\n$0 = $0 + $2 / 120\n$2 = $2 * $1\n$0 = $0 + $2 / 720\n$2 = $2 * $1\n$0 = $0 + $2 / 5040\n$2 = $2 * $1\n$0 = $0 + $2 / 40320\n$2 = $2 * $1\n$0 = $0 + $2 / 362880\n$0 = $0 * $0\n$0 = $0 * $0\n$0 = $0 * $0\n$0 = $0 * $0\n$0 = $0 * $0\n$0 = $0 * $0\n$0 = $0 * $0\n";
}

int main() {
	_init(), init();
	int T=1;
	while(T--) procedure();
	return 0;
}