end_command, players, totals = 'Season end', {}, {}

while True:
    line = input()
    if line == end_command:
        break
    if line.find(' vs ') > 0:
        first_player_name, second_player_name = line.split(' vs ')
        if first_player_name in players and second_player_name in players:
            first_player = players[first_player_name]
            second_player = players[second_player_name]
            if len(first_player.keys() & second_player.keys()) > 0:
                # first_total, second_total = [get_total_skills(x) for x in [first_player_name, second_player_name]]
                if totals[first_player_name] < totals[second_player_name]:
                    del players[first_player_name]
                elif totals[second_player_name] < totals[first_player_name]:
                    del players[second_player_name]
    else:
        player, position, string_skill = line.split(' -> ')
        skill = int(string_skill)
        players.setdefault(player, {})
        totals.setdefault(player, 0)
        players[player].setdefault(position, 0)
        if players[player][position] < skill:
            players[player][position] = skill
        totals[player] = sum(players[player].values())

for player, positions in sorted(players.items(), key=lambda x: (-totals[x[0]], x[0])):
    print(f"{player}: {totals[player]} skill")
    for position, skill in sorted(positions.items(), key=lambda x: (-x[1], x[0])):
        print(f"- {position} <::> {skill}")