#include <bits/stdc++.h>

using namespace std;

int rev[1005];

int main()
{
	int n, i;
	long double ans = (long double)(1) / (7);
	double x = 20, y;
	rev[8] = 1;
	for(i = 7; i >= 1; i--)
		rev[i] = rev[i + 1] * i;
	printf("25\n");
	printf("$1 = $1 * %.100Lf\n", (long double)(1) / 1024);
	x /= 1024;
	printf("$0 = $1 + %d\n", rev[7]);
	y = y + rev[7];
	for(i = 6; i >= 1; i--)
	{
		printf("$0 = $0 * $1\n");
		y = y * x;
		printf("$0 = $0 + %d\n", rev[i]);
		y = y + rev[i];
		ans /= i;
	}
	printf("$0 = $0 * %.100Lf\n", ans);
	y = y * ans;
	for(i = 1; i <= 10; i++)
	{
		printf("$0 = $0 * $0\n");
		y = y * y;
	}
//	printf("%.100lf\n", y);
	return 0;
}