def prettyEval(leaf1, leaf2):
'''Return the output of evaluateForm in TeX with s -> \\alpha_s, etc.'''
#" Check if already done
key = (leaf1.bits, leaf2.bits)
if cache.has_key(key): return cache[key]
# res = str(evaluateForm(leaf1, leaf2))
res = quantize(evaluateForm(leaf1, leaf2))
if str(res) == '0': return ''
the_expr = str(res).replace('s', r'\alpha_s').replace('t', r'\alpha_t').replace("*","")
the_expr.replace("+", "+\\nobreak ").replace("-", "-\\nobreak ")
# Save and spit out final result
final_res = "$" + the_expr + "$"
cache[key] = final_res
return final_res
import sys
sys.path.append(".")
from lightleaf import LightLeaf
from compute import evaluateForm
from alg import quantize
if __name__ == "__main__":
letters = sys.stdin.readline().strip()
bit1 = sys.stdin.readline().strip()
bit2 = sys.stdin.readline().strip()
n = len(letters)
assert len(bit1) == n, "bad length"
assert len(bit2) == n, "bad length"
# Get lightleaf data
leaf1 = LightLeaf(bit1, letters)
leaf2 = LightLeaf(bit2, letters)
res = evaluateForm(leaf1, leaf2)
print quantize(res)
