#coding: utf-8
 
import copy
 
class fukumen():
    def __init__(self, adderStringList = [], resultString = ""):
        self.setAdder(adderStringList)
        self.setResult(resultString)
 
    def setAdder(self, adderStringList):
        self.adderStringList = adderStringList
 
    def setResult(self, resultString):
        self.resultString = resultString
 
    def solve(self):
 
 
        useAlphabetList = list(set("".join(self.adderStringList)) | set(self.resultString))
        headAplphabetSet = set(self.resultString[0])
        for adderString in self.adderStringList:
            headAplphabetSet.add(adderString[0])
 
        weightList = []
        for alphabet in useAlphabetList:
            weightList.append(0)
            for adderString in self.adderStringList:
                for i in xrange(len(adderString)):
                    if adderString[-i - 1] == alphabet:
                        weightList[-1] += 10 ** i
 
            for i in xrange(len(self.resultString)):
                if self.resultString[-i - 1] == alphabet:
                    weightList[-1] -= 10 ** i
 
        def getResult(n, w, usedList, resultList):
            for i in xrange(10):
                if i in usedList or ((i == 0) and (useAlphabetList[n] in headAplphabetSet)):
                    continue
                weight = w + weightList[n] * i
                usedList.append(i)
                if n == len(useAlphabetList) - 1:
                    if weight == 0:
                        resultList.append(copy.copy(usedList))
                else:
                    getResult(n + 1, weight, usedList, resultList)
                usedList.pop()
 
        resultList = []
        getResult(0, 0, [], resultList)
 
        #print "alphabetList", useAlphabetList
        #print "alphabetweight",weightList
        print "+".join(self.adderStringList) + " = " + self.resultString
 
        for item in resultList:
            shiki1 = "+".join(self.adderStringList)
            shiki2 = copy.copy(self.resultString)
            for i in xrange(len(item)):
                shiki1 = shiki1.replace(useAlphabetList[i], str(item[i]))
                shiki2 = shiki2.replace(useAlphabetList[i], str(item[i]))
            print shiki1, "=", eval(shiki1) , "(%s)" % shiki2
 
 
if __name__=="__main__":
    probrem = []
 
    probrem.append((["AB", "A"], "BCC"))
    probrem.append((["A", "B"], "AC"))
    probrem.append((["SEND", "MORE"], "MONEY"))
    probrem.append((["BASE", "BALL"], "GAMES"))
    probrem.append((["WOODS", "WOODS", "WOODS"], "FOREST"))
    probrem.append((["ONE", "THREE", "THREE"], "SEVEN"))
    probrem.append((["HAWAII", "IDAHO", "IOWA", "OHIO"], "STATES"))
    probrem.append((["KYOTO", "OSAKA"], "TOKYO"))
 
 
    for p in probrem:
        f = fukumen(p[0], p[1])
        f.solve()