Problem: The dimension of quantity is a concept that ignores concrete numerical values ​​from the relational expressions between different quantities and focuses only on the type of quantity and its power. Specifically, the relational expression of the dimension is expressed as an equation ignoring the constant coefficient. That is, if the dimension of the quantity q is expressed as [q], the following relational expressions of several dimensions can be exemplified.

* [Area] = [Length] 2
* [Volume] = [Length] 3
* [Speed] = [Length] [Time] -1
* [Acceleration] = [Length] [Time] -2
* [Force] = [Mass] [Length] [Time] -2
* [Work] = [Mass] [Length] 2 [Time] -2



(Excerpt from Wikipedia "Quantity" URL http://ja.wikipedia.org/wiki/%E9%87%8F)

The amount is classified into the basic amount and the assembled amount. In this problem, n basic quantities and m assembly quantities are given. The dimensions of a given m assembly can all be represented by the product of n base unit dimensions. Also, when two dimensions are represented by the product of the dimensions of the basic quantities, it can be said that the two dimensions are equal if all the indices of the basic quantities match.

Given information about the quantity of expressions and variables and the dimension of the quantity, analyze the equation and output the name of the quantity represented by that dimension. If the name is not defined, output undefined. In addition, an operation that adds or subtracts two different dimensions in the calculation process is defined as an "illegal operation". If there is an "illegal operation", output error. The given equation satisfies:

1. All variables are assigned to the assembly dimension.
2. The expression contains only four arithmetic operations +,-, /, *, parentheses () and variables.
3. The four arithmetic operations are well known and shall be described correctly. Strictly speaking, it follows the following BNF. Also, unary operators are not used. There is no such thing as (x * (-a)).




<formula> :: = <term> | <formula> + <term> | <formula>-<term>
<term> :: = <factor> | <term> * <factor> | <term> / <factor>
<factor> :: = <variable> | (<formula>)
<variable> :: = <string>
<string> :: = <char> | <string> <char>
<char> :: = a ~ z | A ~ Z
<formula> represents an expression and <variable> represents a variable name.




Input

The input consists of multiple datasets. The number of datasets does not exceed 1,000. The dataset is given in the following format.


n m p
derived1
d1,1 d1,2 d1,3 .... d1, n
derived2
d2,1 d2,2 d2,3 .... d2, n
...
derivedm
dm, 1 dm, 2 dm, 3 .... dm, n
formula
v1 D1
v2 D2
...
vp Dp


n (1 ≤ n ≤ 5) is the number of basic quantities m (1 ≤ m ≤ 10) is the number of assemblies p (1 ≤ p ≤ 15) is the number of variable types. derivedi is the name of the i-th assembly. It is composed of uppercase and lowercase letters and does not exceed 20 characters in length. di, j (-10 ≤ di, j ≤ 10) represents the dimension of the j-th basic quantity of the i-th assembly (1 ≤ i ≤ m, 1 ≤ j ≤ n). The name of the same assembly does not appear multiple times. The assembly quantity of the same dimension may appear multiple times, in which case the last defined name will be the name of the assembly quantity. formula represents the formula to be analyzed. The length does not exceed 100 characters. vi represents a variable name. It is composed of uppercase and lowercase letters and does not exceed 20 characters in length. Di represents the name of the dimension of vi. It is guaranteed to be the name of the assembly already given. The numbers you are typing (n, m, p, d) are all integers. The end of the input is indicated by a line where each of the three 0s is separated by a single character space.

Output

Analyze the formula in one line and output the name of the dimension. If the name is not defined, output undefined. Also, if an invalid operation is included, output error.

Example

Input

2 3 2
length
1 0
time
0 1
speed
1 -1
a/b
a length
b time
2 3 3
length
1 0
time
0 1
speed
1 -1
a/b+c
a length
b time
c speed
2 3 3
length
1 0
time
0 1
speed
1 -1
a/b+c
a length
b time
c time
2 3 2
length
1 0
time
0 1
speed
1 -1
a/b/b
a length
b time
3 6 6
speed
1 -1 0
acceleration
1 -2 0
force
1 -2 1
length
1 0 0
time
0 1 0
weight
0 0 1
((v+l/t)+a*t)/(t*t)*w*t+f+w*a
v speed
l length
a acceleration
t time
w weight
f force
0 0 0


Output

speed
speed
error
undefined
force

Solution (in CPP):

Solution:
#include <cstdio>
#include <iostream>
#include <vector>
#include <list>
#include <cmath>
#include <fstream>
#include <algorithm>
#include <string>
#include <queue>
#include <set>
#include <map>
#include <complex>
#include <iterator>
#include <cstdlib>
#include <cstring>
#include <sstream>

using namespace std;

const double EPS=(1e-10);
typedef long long ll;
typedef pair<int,int> pii;
bool EQ(double a,double b){
  return abs((a)-(b))<EPS;
}
void fast_stream(){
	std::ios_base::sync_with_stdio(0);
}

int N,M,P;
map<string,vector<int> > unit;
map<vector<int>,string> revUnit;
map<string,string> var;
bool isErr;

// ツつサツづェツつシツづェツづ個ベツクツトツδ仰づ個療環づーツ陛板つキ
vector<int> dfs(string s){
    if(var.find(s)!=var.end())return unit[var[s]];
    if(s.size()>=3&&s[0]=='('&&s[s.size()-1]==')'){
        int cnt=1;
        bool ok=true;
        for(int i=1;i<s.size()-1;i++){
            if(s[i]=='(')cnt++;
            else if(s[i]==')')cnt--;
            if(cnt==0)ok=false;
        }
        if(ok)return dfs(s.substr(1,s.size()-2));
    }
    int cnt=0;
    // ツ環古環づ個外ツづ個可可算ツ子ツづーツ個ゥツづつつッツづゥ
    for(int i=s.size()-1;i>=0;i--){
        if(s[i]=='(')cnt--;
        else if(s[i]==')')cnt++;
        else if(cnt==0){
            if(s[i]=='-'||s[i]=='+'){
                vector<int> v1=dfs(s.substr(0,i));
                vector<int> v2=dfs(s.substr(i+1));
                if(v1.size()==0||v2.size()==0)return vector<int>();
                if(v1!=v2){
                    isErr=true;
                    return vector<int>();
                }
                return v1;
            }
        }
    }
    cnt=0;
    for(int i=s.size()-1;i>=0;i--){
        if(s[i]=='(')cnt--;
        else if(s[i]==')')cnt++;
        else if(cnt==0){
            if(s[i]=='*'||s[i]=='/'){
                vector<int> v1=dfs(s.substr(0,i));
                vector<int> v2=dfs(s.substr(i+1));
                if(v1.size()==0||v2.size()==0)return vector<int>();
                for(int j=0;j<v2.size();j++){
                    if(s[i]=='*')v1[j]+=v2[j];
                    else v1[j]-=v2[j];
                }
                return v1;
            }
        }
    }
    return vector<int>();
}

void solve(){
    while(cin>>N>>M>>P&&(N|M|P)){
        unit.clear();var.clear();
        revUnit.clear();
        isErr=false;
        for(int i=0;i<M;i++){
            string s;
            cin>>s;
            vector<int> v;
            for(int j=0;j<N;j++){
                int t;
                cin>>t;
                v.push_back(t);
            }
            revUnit[v]=s;
            unit[s]=v;
        }
        string fo;
        cin>>fo;
        for(int i=0;i<P;i++){
            string v,d;
            cin>>v>>d;
            var[v]=d;
        }
        vector<int> res=dfs(fo);
        if(isErr)cout<<"error"<<endl;
        else{
            map<vector<int>,string>::iterator it=revUnit.find(res);
            if(it==revUnit.end())cout<<"undefined"<<endl;
            else cout<<it->second<<endl;
        }
    }
}
int main(){

    solve();

    return 0;
}