#include <bits/stdc++.h>
#define ff first
#define ss second
using namespace std;

typedef long long ll;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;

int K=15;



double f(double x)
{

    x/=(1<<K);
    double a=1+x;
    double b=a+2;
    b=b*x;
    b=b*x;
    b=b/6;
    a=a+b;

    for(int i=0; i<K; i++) a=a*a;
    return a;
}

int main() {
    cin.tie(0); ios_base::sync_with_stdio(0);

    cout << "22\n";
    cout << "$0 = $1 * 0.000030518\n";
    cout << "$1 = 1 + $0\n";
    cout << "$2 = $1 + 2\n";
    cout << "$2 = $2 * $0\n";
    cout << "$2 = $2 * $0\n";
    cout << "$2 = $2 * 0.16666666666667\n";
    cout << "$1 = $1 + $2\n";
    for(int i=0; i<15; i++) cout << "$1 = $1 * $1\n";
    cout << "$0 = $1 + 0\n";
}