/*
二分图匹配 建图稍麻烦点
不过 有STL大法带我上天
说正经的 先假设都有关系 然后把确定的没有关系的删掉
这样跑出来的一定是完美匹配
至于确定的匹配嘛 删掉这一条 不再是完美匹配
然后记下排序输出
*/
#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<map>
#define maxn 25
using namespace std;
int n,sum,k,g[maxn][maxn],ans,match[maxn],use[maxn];
bool vis[maxn];
string s,q[maxn],id[maxn];
char si;
map<string,int>p,f,us;
struct node
{
int name,ID;
}a[maxn];
int cmp(node x,node y)
{
return q[x.name]<q[y.name];
}
bool Dfs(int s)
{
for(int i=;i<=n;i++)
if(vis[i]==&&g[s][i])
{
vis[i]=;
if(match[i]==||Dfs(match[i]))
{
match[i]=s;
return ;
}
}
return ;
}
int main()
{
cin>>n;
for(int i=;i<=n;i++)
{
cin>>s;p[s]=i;id[i]=s;
}
for(int i=;i<=n;i++)
for(int j=;j<=n;j++)
g[i][j]=;
while()
{
cin>>si;
if(si=='Q')break;
cin>>s;
if(si=='E')
{
if(us[s]==)q[++k]=s;
f[s]=;us[s]=;
}
if(si=='L')f[s]=;
if(si=='M')
{
for(int i=;i<=n;i++)
if(f[q[i]]==)
g[i][p[s]]=;
}
}
for(int i=;i<=n;i++)
{
memset(vis,,sizeof(vis));
ans+=Dfs(i);
}
int Tar=ans;
for(int i=;i<=n;i++)
for(int j=;j<=n;j++)
{
if(!g[i][j])continue;
g[i][j]=;ans=;
memset(match,,sizeof(match));
for(int o=;o<=n;o++)
{
memset(vis,,sizeof(vis));
ans+=Dfs(o);
}
if(ans<Tar)
{
a[++sum].name=i;
a[sum].ID=j;
use[i]=;
}
g[i][j]=;
}
for(int i=;i<=n;i++)
if(use[i]==)a[++sum].name=i;
sort(a+,a++sum,cmp);
for(int i=;i<=sum;i++)
if(use[a[i].name])cout<<q[a[i].name]<<":"<<id[a[i].ID]<<endl;
else cout<<q[a[i].name]<<":???"<<endl;
return ;
}