#include <bits/stdc++.h>

#define ll long long
#define pb push_back
#define f first
#define s second
#define sz(x) (int)(x).size()
#define all(x) x.begin(), x.end()
#define rall(x) x.rbegin(), x.rend()
#define ios ios_base::sync_with_stdio(false);cin.tie(NULL)
#define ld long double
#define li __int128

using namespace std;

mt19937 rng(time(NULL));

int main()
{
	cout << 25 << endl;
	int b=17;
	printf("$1 = $1 * %.20Lf\n",(ld)1/(1<<b));
	
	ld f=0.5;
	
	printf("$2 = $1 + 1\n");
	printf("$3 = $1 * $1\n");
	printf("$4 = $3 * %.20Lf\n",f);
	printf("$2 = $2 + $4\n");
	
	int K=3;
	for(int k=3;k<=K;k++){
		f/=k;
		printf("$3 = $3 * $1\n");
		printf("$4 = $3 * %.20Lf\n",f);
		if(k==K){
			printf("$0 = $2 + $4\n");
		}
		else{
			printf("$2 = $2 + $4\n");
		}
	}
	for(int i=0;i<b;i++){
		printf("$0 = $0 * $0\n");
	}
	return 0;
}