#define _CRT_SECURE_NO_WARNINGS

 #include <cstdio>

 #include <cstdlib>

 #include <cstring>

 #include <algorithm>

 #include <vector>

 #include <istream>

 #include <iostream>

 #include <deque>

 #include <queue>

 using namespace std;

 int t[]; // unit execution times, assignment, print, lock, unlock, end

 int quantum;

 const int N = ; // up to 10 programs

 vector<string> prog[N]; // programs

 int pc[N]; // program counter for each program

 bool lock;

 deque<int> qr;//ready queue of program ID

 queue<int> qb;//blocked queue of program ID

 int var[]; // values of 26 shared variables

 void run(int i) // i -- program ID

 {

     int rt = quantum;

     string stmt;

     while (rt > )

     {

         stmt = prog[i][pc[i]];

         if (stmt[] == '=')  // assignment

         {

             rt -= t[];

             // decimal number less than 100

             int v = stmt[] - '';

             if (stmt.size() == ) v = v *  + stmt[] - '';

             var[stmt[] - 'a'] = v;

         }

         else if (stmt[] == 'i')   //print

         {

             rt -= t[];

             printf("%d: %d\n", i, var[stmt[] - 'a']);

         }

         else if (stmt[] == 'c')   //lock

         {

             if (lock)

             {

                 // program counter is not incremented

                 // the first statement this program will execute when it runs will be the lock statement failed

                 qb.push(i);

                 return; // lose any of its quantum remaining

             }

             else

             {

                 rt -= t[];

                 lock = true;

             }

         }

         else if (stmt[] == 'l')  //unlock

         {

             rt -= t[];

             lock = false;

             if (!qb.empty())

             {

                 qr.push_front(qb.front());

                 qb.pop();

             }

         }

         else

             return;  //end

         ++pc[i]; // increment the program counter

     }

     qr.push_back(i);

 }

 int main()

 {

     int T, n;

     scanf("%d", &T);

     while (T--)

     {

         scanf("%d", &n); // number of programs

         for (int i = ; i < ; i++)

             scanf("%d", &t[i]); 

         scanf("%d", &quantum);

         for (int i = ; i <= n; i++)

         {

             prog[i].clear();

             string s;

             while (getline(cin, s))

             {

                 if (s == "") continue; // empty line

                 prog[i].push_back(s);

                 if (s == "end") break;

             }

             qr.push_back(i);

         }

         memset(pc, , sizeof(pc));

         memset(var, , sizeof(var)); // all variables are initially set to zero

         while (!qr.empty())

         {

             int id = qr.front();

             qr.pop_front();

             run(id);

         }

         if (T)

             printf("\n");

     }

     return ;

 }