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

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

void solve(){
    // for(int i=-20;i<=20;i++){
    //     cout<<(exp(i)-ex(i))/exp(i)<<"\n";
    // }
    cout<<fixed<<setprecision(15);
    cout<<"25\n";
    cout<<fixed<<"$1 = $1 * "<<1.0/256<<"\n";
    cout<<fixed<<"$0 = $1 * "<<1.0/7<<"\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/6<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/5<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/4<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/3<<"\n";
    cout<<"$0 = $1 * $0\n";
    cout<<fixed<<"$0 = $0 + "<<1.0/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";
    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;
}