#include <bits/stdc++.h>
using namespace std;
#define all(v) v.begin(), v.end()
#define int long long
signed main()
{
int n,k;
cin>>n>>k;
vector<string> fin;
for (int i=0;i<n;i+=6)
{
vector<int> v;
for (int j=i;j<min(n,i+6);j++)
v.push_back(j);
int m=v.size();
vector<string> wh;
wh.push_back("(A&(((1<<"+to_string(n)+")-1)-(((1<<"+to_string(m)+")-1)<<"+to_string(v[0])+")))"); // ""
for (int i=0;i+1<v.size();i+=2)
wh.push_back("((((A>>"+to_string(v[i])+")&3)+1)>>1)");
if (m%2)
wh.push_back("((A>>"+to_string(v.back())+")&1");
string out=wh.back();wh.pop_back();
while (wh.size())
out="("+out+"+"+wh.back()+")", wh.pop_back();
fin.push_back("A="+out);
}
cout<<fin.size()<<endl;
for (auto s:fin)
cout<<s<<endl;
return 0;
}
