#define _CRT_SECURE_NO_WARNINGS
#pragma comment(linker, "/stack:16777216")
#include <string>
#include <vector>
#include <map>
#include <list>
#include <iterator>
#include <set>
#include <queue>
#include <iostream>
#include <sstream>
#include <stack>
#include <deque>
#include <cmath>  
#include <memory.h>
#include <cstdlib>
#include <cstdio>
#include <cctype>
#include <algorithm>
#include <utility>
#include <time.h>
#include <bitset>
#include <random>
using namespace std;

#define FOR(i, a, b) for(int i = (a); i < (b); ++i)
#define RFOR(i, b, a) for(int i = (b) - 1; i >= (a); --i)
#define ITER(it, a) for (__typeof(a.begin()) it = a.begin(); it != a.end(); it++)
#define FILL(A,value) memset(A,value,sizeof(A))

#define ALL(V) V.begin(), V.end()
#define SZ(V) (int)V.size()
#define PB push_back
#define MP make_pair
const double PI=acos(-1.0);

typedef long long Int;
typedef long long LL;
typedef unsigned long long UINT;
typedef vector <int> VI;
typedef pair <int, int> PII;
typedef pair <double, double> PDD;

const int INF = 1000 * 1000 * 1000 + 7;
const LL LINF = INF * (LL) INF;

const int MAX = 100007;
const int MAXK = 51;
const int MAX2 = 24000000;
const int LEN = 21;
const int BASE = 1000000000;

string get(int x)
{
  string res = "";
  if (x < 10)
  {
    res += "0";
    res += char('0' + x);
  }
  else
  {
    res += char((x / 10)+'0');
    res += char((x % 10)+'0');
  }
  return res;
}

int main()
{
  string s, t;
  cin >> s >> t;

  vector<string> R;

  FOR (a,0,100)
    FOR (b,0,100)
    {
      int c = a+b;
      if (c >= 100) break;
      
      bool u[47];
      FILL(u, 0);

      string x = get(a) + "+" + get(b) + "=" + get(c);

      bool ok = 1;

      FOR (i,0,SZ(x))
      {
        if (t[i] == 'G')
        {
          if (x[i] == s[i])
          {
            u[i] = 1;
          }
          else ok = 0;
        }
      }

      FOR (i,0,SZ(x))
      {
        if (t[i] == 'P')
        {
          if (x[i] != s[i])
          {
            bool was = 0;
            FOR (j,0,SZ(x))
              if (s[i] == x[j] && u[j] == 0)
              {
                u[j] = 1;
                was = 1;
                break;
              }

            if (!was) ok = 0;
          }
          else ok = 0;
        }
      }


      FOR (i,0,SZ(x))
      {
        if (t[i] == 'B')
        {
          if (x[i] != s[i])
          {
            bool was = 0;
            FOR (j,0,SZ(x))
              if (s[i] == x[j] && u[j] == 0)
              {
                was = 1;
                break;
              }

            if (was) ok = 0;
          } else ok = 0;
        }
      }

      if (ok) R.PB(x);
    }

  cout << SZ(R) << endl;
  FOR (i,0,SZ(R))
  printf("%s\n", R[i].c_str());

  return 0;
}