#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define pb push_back
#define mk make_pair
#define S second
#define F first
int main(){
	ios_base::sync_with_stdio(NULL);
	cin.tie(NULL);
	cout.tie(NULL);
	string s,t;
	cin>>s>>t;
	map < char, ll > purple, black;
	map < char, ll > ::iterator it;
	for(int i = 0; i < t.size(); i ++ ){
		if( t[i] == 'P' ){
			purple[ s[i] ] ++;
		}
		if( t[i] == 'B' ){
			black[ s[i] ] ++;  
		}
	}
	vector < string > ans;
	for(int i=0; i<10; i++){
		for(int j=0; j<10; j++){
			for(int i1=0; i1<10; i1++){
				for(int j1=0; j1<10; j1++){
					for(int i2=0; i2<10; i2++){
						for(int j2=0; j2<10; j2++){
							//tentsuu bnu
							map < char, ll > curr_p;
							curr_p.clear();
							if(i*10+j+i1*10+j1!=i2*10+j2) continue;
							bool yes=1;
							//greenee shalgasan
							string w="";
							w+='0'+i;
							w+='0'+j;
							w+='+';
							w+='0'+i1;
							w+='0'+j1;
							w+='=';
							w+='0'+i2;
							w+='0'+j2;
							for(int k=0; k<t.size(); k++){
								if(t[k]=='G'){
									if(s[k]!=w[k]) yes=0;
								}
							}
							if(!yes) continue;
//							for(int k=0; k<t.size(); k++){
//								if(t[k]=='P'){
//									if(w[k]==s[k]){
//										yes=0;
//									}
//								}	
//							}
//							if(!yes) continue;
							bool flag = true;
							for(int k=0; k < t.size(); k ++ ){
								if( t[k] == 'B' ){
									if( s[k] == w[k] ){
										flag = false;
										break;
									}
								}
							}
							if( flag == false ){
								continue;
							}
							flag = true;
							for(int k = 0; k< t.size(); k ++ ){
								if( t[k] == 'P' ){
									if( s[k] == w[k] ){
										flag = false;
										break;
									}
								}
							}
							if( flag == false )
								continue;
							flag = true;
							for(int k = 0; k < w.size(); k ++ ){
								if( t[k] != 'G' )
									curr_p[w[k]] ++;
							}	
							for( it = purple.begin(); it != purple.end(); it ++ ){
								if( black[ it->F ] != 0 ){
									if( curr_p[ it->F ] != it->S ){
										flag = false;
										break;
									}
								}else{
									if( curr_p[ it->F ] < it->S ){
										flag = false;
										break;
									}
								}
							}
							if(flag == false )
								continue;
							flag = true;
							for( it = black.begin(); it != black.end(); it ++ ){
								if( purple[ it->F ] == 0 ){
									for(int k = 0; k < w.size(); k ++ ){
										if( w[k] == it->F ){
											flag = false;
											break;
										}
									}
								}
							}
							if( flag == false )
								continue;
							ans.pb( w );
						}
					}
				}
			}
		}
	}	
	cout << ans.size() << "\n";
	for(int i = 0; i < ans.size(); i ++ )
		cout << ans[i] << "\n";
}