#include<bits/stdc++.h>
using namespace std;
struct Canvas{
	int w,h;
	vector<string> c;
	Canvas(int w,int h):w(w),h(h){
		c.resize(w);
		for(int i=0;i<w;i++)c[i].resize(h,' ');
	}
	string& operator[](int x){return c[x];}
	const string& operator[](int x)const{return c[x];}
	Canvas move(int dx,int dy){
		Canvas nw(w+dx,h+dy);
		for(int i=0;i<w;i++)for(int j=0;j<h;j++)nw[i+dx][j+dy]=c[i][j];
		return nw;
	}
	void operator|=(const Canvas &b){
		for(int i=0;i<b.w;i++)for(int j=0;j<b.h;j++)if(c[i][j]==' ')c[i][j]=b[i][j];
	}
};
inline bool isA(char a){return 'A'<=a&&a<='Z';}
Canvas expr(string s);
Canvas atom(string s){
	if(s.front()=='('&&s.back()==')')return expr(s.substr(1,s.size()-2));
	bool flg=true;
	for(int i=0;i<s.size();i++)flg&=isA(s[i]);
	if(flg){
		Canvas r(3,s.size()+4);
		r[0]=r[2]="+"+string(s.size()+2,'-')+"+";
		r[1][0]=r[1][s.size()+3]='+';
		for(int i=0;i<s.size();i++)r[1][i+2]=s[i];
		return r;
	}else if(s.back()=='+'){
		Canvas c=atom(s.substr(0,s.size()-1));
		Canvas r(c.w+2,c.h+6);
		r|=c.move(0,3);
		r[1].replace(0,3,"+->");
		r[1].replace(c.h+3,3,"->+");
		for(int i=2;i<r.w;i++)r[i][0]=r[i][r.h-1]='|';
		r[r.w-1]="+<"+string(c.h+3,'-')+"+";
		return r;
	}else if(s.back()=='?'){
		Canvas c=atom(s.substr(0,s.size()-1));
		Canvas r(c.w+3,c.h+6);
		r|=c.move(3,3);
		r[1]="+"+string(c.h+3,'-')+">+";
		for(int i=2;i<4;i++)r[i][0]=r[i][r.h-1]='|';
		r[4].replace(0,3,"+->");
		r[4].replace(c.h+3,3,"->+");
		return r;
	}else{
		Canvas c=atom(s.substr(0,s.size()-1));
		Canvas r(c.w+5,c.h+6);
		r|=c.move(3,3);
		r[1]="+"+string(c.h+3,'-')+">+";
		for(int i=2;i<4;i++)r[i][0]=r[i][r.h-1]='|';
		r[4].replace(0,3,"+->");
		r[4].replace(c.h+3,3,"->+");
		for(int i=5;i<r.w;i++)r[i][0]=r[i][r.h-1]='|';
		r[r.w-1]="+<"+string(c.h+3,'-')+"+";
		return r;
	}
}
Canvas term(string s){
	vector<string> stk;
	for(int i=0;i<s.size();i++){
		if(isA(s[i])){
			if(!stk.empty()&&isA(stk.back().back()))stk.back()+=s[i];
			else stk.emplace_back(1,s[i]);
		}else if(s[i]=='+'||s[i]=='?'||s[i]=='*'){
			char c=stk.back().back();
			if(isA(c)){
				stk.back().pop_back();
				if(stk.back().empty())stk.pop_back();
				stk.push_back(string(1,c)+s[i]);
			}else stk.back()+=s[i];
		}else{
			stk.push_back("(");
			int c=1;
			while(c){
				char ch=s[++i];
				if(ch=='(')c++;
				else if(ch==')')c--;
				stk.back()+=ch;
			}
		}
	}
	vector<Canvas> vec;
	int sw=0,sh=-2,sp=0;
	for(string &s:stk){
		Canvas c=atom(s);
		sw=max(sw,c.w);
		sh+=c.h+2;
		vec.push_back(c);
	}
	Canvas r(sw,sh);
	int d=0;
	for(int i=0;i<vec.size();i++){
		Canvas &c=vec[i];
		r|=c.move(0,d);
		if(i+1<vec.size())r[1].replace(c.h+d,2,"->");
		d+=c.h+2;
	}
	return r;
}
Canvas expr(string s){
	s+='|';
	vector<Canvas> vec;
	int sw=-1,sh=0,cc=0;
	string lst;
	for(int i=0;i<s.size();i++){
		if(s[i]=='(')cc++;
		if(s[i]==')')cc--;
		if(!cc&&s[i]=='|'){
			Canvas c=term(lst);
			lst="";
			sw+=c.w+1;
			sh=max(sh,c.h);
			vec.push_back(c);
		}else lst+=s[i];
	}
	if(vec.size()==1)return vec[0];
	Canvas r(sw,sh+6);
	int d=0;
	for(int i=0;i<vec.size();i++){
		Canvas &c=vec[i];
		r|=c.move(d,3);
		r[d+1].replace(0,3,"+->");
		r[d+1].replace(c.h+3,sh-c.h+1,string(sh-c.h+1,'-'));
		r[d+1].replace(sh+4,2,">+");
		if(i+1<vec.size())d+=c.w+1;
	}
	for(int i=2;i<=d;i++)if(r[i][0]==' ')r[i][0]=r[i][r.h-1]='|';
	return r;
}
Canvas input(string s){
	Canvas c=expr(s);
	Canvas r(c.w,c.h+6);
	r|=c.move(0,3);
	r[1].replace(0,3,"S->");
	r[1].replace(c.h+3,3,"->F");
	return r;
}
int main(){
	string s;
	cin>>s;
	Canvas ans=input(s);
	cout<<ans.w<<" "<<ans.h<<endl;
	for(int i=0;i<ans.w;i++){
		cout<<ans.c[i];
		if(i+1<ans.w)cout<<endl;
	}
}