name_dict = {}

while True:
    inp = input()
    if inp == "end":
        break
    name = inp.split(" -> ")[0]
    numbers = inp.split(" -> ")[1]

    if numbers.split(",")[0].isnumeric():
        if name in name_dict:
            name_dict[name] = name_dict[name] + ", " + numbers
        else:
            name_dict[name] = numbers
    else:
        if numbers in name_dict:
            name_dict[name] = name_dict[numbers]

for key, value in name_dict.items():
    #num = map(int,value)
    print(f"{key} === {value}")