#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 n=1<<23;
	printf("$1 = $1 * %.20Lf\n",(ld)1/n);
	printf("$0 = $1 + 1\n");
	for(int i=0;i<23;i++)printf("$0 = $0 * $0\n");
	return 0;
}