#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

double ex1(double x){
    double tt=256;
    x/=tt;
    double ans=x*1.0/8;
    for(int i=7;i>=1;i--){
        ans=ans+1.0/i;
        ans=ans*x;
    }
    ans=ans+1.0;
    for(int i=0;i<8;i++)ans=ans*ans;
    // double p=1;
    // for(int i=0;i<=8;i++){    
    //     ans+=pow(x,i)/p;
    //     p*=(i+1);
    // }
    return ans;
}

double ex(double x){
    double tt=256;
    x/=tt;
    double ans=0;
    double p=1;
    for(int i=0;i<=7;i++){    
        ans+=pow(x,i)/p;
        p*=(i+1);
    }
    for(int i=0;i<8;i++)ans=ans*ans;
    return ans;
}

void solve(){
    int fac[10];
    fac[0]=1;
    for(int i=1;i<10;i++)fac[i]=fac[i-1]*i;

    // for(int i=-20;i<=20;i++){
    //     cout<<(exp(i)-ex(i))/min(exp(i),ex1(i))<<"\n";
    // }
    cout<<fixed<<setprecision(30);
    cout<<"25\n";
    cout<<fixed<<"$1 = $1 * "<<1.0/256<<"\n";
    cout<<fixed<<"$0 = $1 * "<<1.0/fac[8]<<"\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/fac[7]<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/fac[6]<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/fac[5]<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/fac[4]<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/fac[3]<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/fac[2]<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0<<"\n";
    cout<<"$0 = $0 * $0\n";
    cout<<"$0 = $0 * $0\n";
    cout<<"$0 = $0 * $0\n";
    cout<<"$0 = $0 * $0\n";
    cout<<"$0 = $0 * $0\n";
    cout<<"$0 = $0 * $0\n";
    cout<<"$0 = $0 * $0\n";
    cout<<"$0 = $0 * $0\n";
}

int main(){
    ios::sync_with_stdio(0);
    cin.tie(0);cout.tie(0);
    int n=1;
    //cin>>n;
    while(n--)solve();
    return 0;
}