#include 

using namespace std;

bool first;
bool cifre[8];
int main()
{
    for(int a = 0; a < 5; a++) {
        first = true;
        int nr;
        short cate = 1;
        cin >> hex >> nr;
        while(nr)
        {
            cifre[8 - cate] += (nr % 2);
            cate++;
            nr /= 2;
        }
        // cazuri 4:

        if(cifre[0] && cifre[1] && cifre[2] && cifre[3])
        {
            // B
            if(!first) cout << " + ";
            else first = false;
            cout << "B";
            cifre[0] = 0;
            cifre[1] = 0;
            cifre[2] = 0;
            cifre[3] = 0;
        }
        if(cifre[4] && cifre[5] && cifre[6] && cifre[7])
        {
            // ~B
            if(!first) cout << " + ";
            else first = false;
            cout << "~B";
            cifre[4] = 0;
            cifre[5] = 0;
            cifre[6] = 0;
            cifre[7] = 0;
        }
        if(cifre[0] && cifre[1] && cifre[4] && cifre[5])
        {
            // A
            if(!first) cout << " + ";
            else first = false;
            cout << "A";
            cifre[0] = 0;
            cifre[1] = 0;
            cifre[4] = 0;
            cifre[5] = 0;
        }
        if(cifre[1] && cifre[2] && cifre[5] && cifre[6])
        {
            // C
            if(!first) cout << " + ";
            else first = false;
            cout << "C";
            cifre[1] = 0;
            cifre[2] = 0;
            cifre[5] = 0;
            cifre[6] = 0;
        }
        if(cifre[2] && cifre[3] && cifre[6] && cifre[7])
        {
            // ~A
            if(!first) cout << " + ";
            else first = false;
            cout << "~A";
            cifre[2] = 0;
            cifre[3] = 0;
            cifre[6] = 0;
            cifre[7] = 0;
        }
        if(cifre[0] && cifre[3] && cifre[4] && cifre[7])
        {
            // ~C
            if(!first) cout << " + ";
            else first = false;
            cout << "~C";
            cifre[0] = 0;
            cifre[3] = 0;
            cifre[4] = 0;
            cifre[7] = 0;
        }

        // cazuri 2:
        if(cifre[0] && cifre[1])
        {
            // AB
            if(!first) cout << " + ";
            else first = false;
            cout << "AB";
            cifre[0] = 0;
            cifre[1] = 0;
        }
        if(cifre[1] && cifre[2])
        {
            // BC
            if(!first) cout << " + ";
            else first = false;
            cout << "BC";
            cifre[1] = 0;
            cifre[2] = 0;
        }
        if(cifre[2] && cifre[3])
        {
            // ~AB
            if(!first) cout << " + ";
            else first = false;
            cout << "~AB";
            cifre[2] = 0;
            cifre[3] = 0;
        }
        if(cifre[4] && cifre[5])
        {
            // A~B
            if(!first) cout << " + ";
            else first = false;
            cout << "A~B";
            cifre[4] = 0;
            cifre[5] = 0;
        }
        if(cifre[5] && cifre[6])
        {
            // ~BC
            if(!first) cout << " + ";
            else first = false;
            cout << "~BC";
            cifre[5] = 0;
            cifre[6] = 0;
        }
        if(cifre[6] && cifre[7])
        {
            // ~A~B
            if(!first) cout << " + ";
            else first = false;
            cout << "~A~B";
            cifre[6] = 0;
            cifre[7] = 0;
        }
        if(cifre[0] && cifre[4])
        {
            // A~C
            if(!first) cout << " + ";
            else first = false;
            cout << "A~C";
            cifre[0] = 0;
            cifre[4] = 0;
        }
        if(cifre[1] && cifre[5])
        {
            // AC
            if(!first) cout << " + ";
            else first = false;
            cout << "AC";
            cifre[1] = 0;
            cifre[5] = 0;
        }
        if(cifre[2] && cifre[6])
        {
            // ~AC
            if(!first) cout << " + ";
            else first = false;
            cout << "~AC";
            cifre[2] = 0;
            cifre[6] = 0;
        }
        if(cifre[7] && cifre[4])
        {
            // ~B~C
            if(!first) cout << " + ";
            else first = false;
            cout << "~B~C";
            cifre[7] = 0;
            cifre[4] = 0;
        }
        if(cifre[3] && cifre[7])
        {
            // ~A~C
            if(!first) cout << " + ";
            else first = false;
            cout << "~A~C";
            cifre[3] = 0;
            cifre[7] = 0;
        }
        if(cifre[3] && cifre[0])
        {
            // B~C
            if(!first) cout << " + ";
            else first = false;
            cout << "B~C";
            cifre[3] = 0;
            cifre[0] = 0;
        }
        if(cifre[7] && cifre[4])
        {
            // ~B~C
            if(!first) cout << " + ";
            else first = false;
            cout << "~B~C";
            cifre[7] = 0;
            cifre[4] = 0;
        }

        //cazuri 1:

        for(int i = 0; i < 8; i++) {
            if(cifre[i]) {
                if(!first) cout << " + ";
                else first = false;
                if(i % 4 == 2 ||
                i % 4 == 3) cout << "~";
                    cout << "A";
                if(i > 3) cout << "~";
                    cout << "B";
                if(i % 4 == 0 ||
                i % 4 == 3) cout << "~";
                    cout << "C";
            }
        }
        cout << '\n';
    }
    return 0;
}