#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
template<class T>bool chmax(T &a, const T &b) { if (a<b) { a=b; return true; } return false; }
template<class T>bool chmin(T &a, const T &b) { if (b<a) { a=b; return true; } return false; }
#define all(x) (x).begin(),(x).end()
#define fi first
#define se second
#define mp make_pair
#define si(x) int(x.size())
const int mod=998244353,MAX=300005,INF=15<<26;

int main(){
    
    std::ifstream in("text.txt");
    std::cin.rdbuf(in.rdbuf());
    cin.tie(0);
    ios::sync_with_stdio(false);
    
    vector<string> ans;
    ans.push_back("$3 = 0.5");
    ans.push_back("$4 = 0.1666666666666666");
    
    ans.push_back("$1 = $1 * 0.000030517578125");
    
    ans.push_back("$0 = 1 + $1");
    
    ans.push_back("$12 = $1 * $1");
    ans.push_back("$13 = $12 * $1");
    
    ans.push_back("$3 = $3 * $12");
    ans.push_back("$0 = $0 + $3");
    
    ans.push_back("$4 = $4 * $13");
    ans.push_back("$0 = $0 + $4");
    
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    ans.push_back("$0 = $0 * $0");
    
    cout<<si(ans)<<"\n";
    for(string S:ans) cout<<S<<"\n";
}