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

const int N=10;
int fac[N],B=10;

int main(){
  cout<<fixed<<setprecision(20);	
  cout<<"25\n$1 = $1 * "<<1.0/(1<<B)<<'\n';

  fac[0]=1;
  for(int i=1;i<=7;i++) fac[i]=fac[i-1]*i;

  cout<<"$0 = $1 * "<<1.0/fac[7]<<'\n';
  for(int i=6;i>=1;i--){
	cout<<"$0 = $0 + "<<1.0/fac[i]<<'\n';
	cout<<"$0 = $0 * $1\n";
  }
  cout<<"$0 = $0 + 1.0\n";
  
  for(int i=1;i<=B;i++) cout<<"$0 = $0 * $0\n";
  return 0;
}