#include<bits/stdc++.h>
#define Yukinoshita namespace
#define Yukino std
using Yukinoshita Yukino;
int read()
{
	int s=0,w=1;
	char ch=getchar();
	while(ch<'0'||ch>'9') w=ch=='-'?-1:1,ch=getchar();
	while(ch>='0'&&ch<='9') s=s*10+ch-'0',ch=getchar();
	return s*w;
}
vector<string> ans;
int qwq[100],cnt[100],cr[100];
string tos(int x)
{
	if(x<10) return "0"+to_string(x);
	return to_string(x);
}
int main()
{	
	memset(cr,127,sizeof(cr));
	vector<int> w{0,1,3,4,6,7};
	string e,c;
	cin>>e>>c;
	for(auto i:w)
	{
		if(c[i]=='G')
			qwq[i]=e[i];
		else qwq[i]=-e[i];
		if(c[i]=='P'||c[i]=='G')
			cnt[e[i]-'0']++;
	}
	for(auto i:w)
	{
		if(c[i]=='B')
			cr[e[i]-'0']=cnt[e[i]-'0'];
	}
	vector<string> ans;
	int i,j,k,l;
	for(i=0;i<100;i++)
		for(j=0;j<100;j++)
			for(k=0;k<100;k++)
				if(i+j==k)
				{
					string a=tos(i),b=tos(j),c=tos(k);
					string t=a+"+"+b+"="+c;
	//				cout<<t<<endl;
					int ccnt[10]={0};
					for(auto i:w)
					{
						if(qwq[i]>0&&qwq[i]!=t[i]||qwq[i]<0&&-qwq[i]==t[i])
							goto bre;
						ccnt[t[i]-'0']++;
					}
	//				cout<<t<<endl;
					for(l=0;l<10;l++)
						if(ccnt[l]<cnt[l]||ccnt[l]>cr[l])
							goto bre;
					ans.push_back(t);
					bre:;
				}
	printf("%d\n",ans.size());
	for(auto x:ans)
		cout<<x<<endl;
}
/*
12+46=58
GBGGPGGB

14+42=56
*/