#include<iostream>
#include<string>
#include<deque>
#include<vector>
#include<map>
using namespace std;
#pragma warning(disable:4996)
map<string, int> var;
deque<int> ready, block;
int lock = 0;
vector<deque<string>> all;
int n, t[5], Q;//var=constant 、print var 、lock 、unlock 、 end
 

int sen_id(string &s,int id,int &T) {//-1堵塞 0結束 1結束語句
    int pos;char st[50];
    if ((pos = s.find('=')) != string::npos) {
        T -= t[0];
        s[pos] = ' ';
        sscanf(s.c_str(), "%s %d", st, &pos);
        s = st;
        var[st] = pos;
        return 1;
    }
    switch (s[0])
    {
    case
 
 'p':
        T -= t[1];
        sscanf(s.c_str(), "%s %s",st,st);
        printf("%d: %d\n",id,var[st]);
        return 1;
    case 'l':
        T -= t[2];
        if (!lock) lock = 1;
        else { all[id].push_front("lock"); block.push_back(id); return -1; }
        return 1;
    case 'u':
        T -= t[3
 
];
        lock = 0;
        if (!block.empty()) ready.push_front(block.front()), block.pop_front();
        return 1;
    case 'e':return 0;
    default:
        break;
    }
}
int main(){
#ifdef _DEBUG
    freopen("in", "r", stdin);
    freopen("out", "wb", stdout); 
#endif // _DEBUG
    int N;
    cin >> N;
    int cnt = 0;
    while (N--) {
        if (cnt++) cout << endl;
        cin >> n >> t[0] >> t[1] >> t[2] >> t[3] >> t[4] >> Q;
        getchar();
        var.clear();
        string str;
        all.resize(n + 1);
        for (int i = 1; i <= n; ++i)
            while (getline(cin, str)) {
                all[i].push_back(str);
                if (str == "end") break;
            }
        for (int i = 1; i <= n; ++i) ready.push_back(i); 
        while (!ready.empty()) {
            int T = Q;
            int id = ready.front();
            ready.pop_front();
            while (1) {         
                string s = all[id].front();
                all[id].pop_front();
                int ret = sen_id(s, id, T);
                if (ret == -1 || ret == 0) break;
                if (T <= 0) {
                    ready.push_back(id);
                    break;
                }
            }
        }
    }
}