<?php

$kidsList = explode("&", readline());

while (true) {

    $kidsAndCommand = readline();

    if ($kidsAndCommand == "Finished!") {
        break;
    }

    $tokens = explode(" ", $kidsAndCommand);
    $command = $tokens[0];
    $kidName = $tokens[1];

    if ($command == "Bad") {
        for ($i = 0; $i < count($kidsList); $i++) {
            if ($kidsList[$i] == $kidName) {
                break;
            } else {
                array_unshift($kidsList, $kidName);
                break;
            }
        }
    } else if ($command == "Good") {
        for ($i = 0; $i < count($kidsList); $i++) {
            if ($kidsList[$i] == $kidName) {
                unset($kidsList[$i]);
                $kidsList = array_values($kidsList);
            }
        }
    } else if ($command == "Rename") {
        for ($i = 0; $i < count($kidsList); $i++) {
            if ($kidName == $kidsList[$i]) {
                $secondKidName = $tokens[2];
                $kidsList[$i] = $secondKidName;
            }
        }
    } else if ($command == "Rearrange") {
        for ($i = 0; $i < count($kidsList); $i++) {
            if ($kidName == $kidsList[$i]) {
                unset($kidsList[$i]);
                array_push($kidsList, $kidName);
                $kidsList = array_values($kidsList);
            }
        }
    }
}

echo implode(", ", $kidsList);