in_line=input()
dict = {}
while in_line != "end":
    params = in_line.split(" = ")
    name = params[0]
    value = params[1]
    if value.isdigit():
        dict[name] = int(value)
    else:
        if dict.get(value):
            dict[name] = dict[value]
    in_line = input()
for key in dict:
    print(f"{key} === {dict[key]}")