#include<bits/stdc++.h>
using namespace std;

typedef long long ll;
const int maxn=110;

inline ll read(){
    ll x=0,w=1;char c=getchar();
    while(c<'0'||c>'9'){if(c=='-')w=-1;c=getchar();}
    while(c<='9'&&c>='0'){x=(x<<3)+(x<<1)+c-'0';c=getchar();}
    return x*w;
}

inline void check(ll &A,ll B){
    A=(A+B-1)/B*B;
}

int n,tot;
string s1,s2;
map<string,int> mp;
ll mx[maxn],siz[maxn];

struct Data{
    int type;
    string name;
    Data()=default;
    Data(int type_,string name_):type(type_),name(name_){}
};

ll P;
vector<Data> D[maxn],V; 
vector<string> output;

int main(){
    // freopen("struct.in","r",stdin);
    // freopen("struct.out","w",stdout);
    n=read();
    mp["byte"]=1,mx[1]=1,siz[1]=1;
    mp["short"]=2,mx[2]=2,siz[2]=2;
    mp["int"]=3,mx[3]=4,siz[3]=4;
    mp["long"]=4,mx[4]=8,siz[4]=8;
    tot=4;
    while(n--){
        int opt=read();
        if(opt==1){
            cin>>s1;
            mp[s1]=++tot;
            int k=read();
            ll pos=0;
            for(int i=1;i<=k;++i){
                cin>>s1>>s2;
                // cerr<<s1<<" "<<s2<<endl;
                int type=mp[s1];
                mx[tot]=max(mx[tot],mx[type]);
                check(pos,mx[type]);
                pos+=siz[type];
                D[tot].push_back(Data(type,s2));
            }
            check(pos,mx[tot]);
            siz[tot]=pos;
            printf("%lld %lld\n",siz[tot],mx[tot]);
        }
        else if(opt==2){
            cin>>s1>>s2;
            int type=mp[s1];
            check(P,mx[type]);
            V.push_back(Data(type,s2));
            printf("%lld\n",P);
            P+=siz[type];
        }
        else if(opt==3){
            cin>>s1;
            s1+=".";
            ll pos=0;
            bool chk=true;
            for(int i=0,j=0,type=-1;;++i){
                s2="";
                while(s1[j]!='.') s2+=s1[j++];
                // cout<<"s2:"<<s2<<endl;
                ++j;
                if(!i){
                    for(Data now:V){
                        check(pos,mx[now.type]);
                        if(now.name==s2){
                            type=now.type;
                            break;
                        }
                        pos+=siz[now.type];
                    }
                }
                else{
                    int tmptype=type;
                    type=-1;
                    for(Data now:D[tmptype]){
                        check(pos,mx[now.type]);
                        if(now.name==s2){
                            type=now.type;
                            break;
                        }
                        pos+=siz[now.type];
                    }
                }
                if(type==-1){
                    chk=false;
                    break;
                }
                if(j==s1.size()) break;
                // cerr<<"type:"<<type<<" pos:"<<pos<<endl;
            }
            if(!chk) printf("ERR\n");
            else printf("%lld\n",pos);
        }
        else{
            ll Pos=read(),pos=0;
            bool chk=true;
            output.clear();
            for(int i=0,type=-1;;++i){
                if(!i){
                    for(Data now:V){
                        check(pos,mx[now.type]);
                        if(pos<=Pos&&Pos<pos+siz[now.type]){
                            type=now.type;
                            output.push_back(now.name);
                            break;
                        }
                        pos+=siz[now.type];
                    }
                }
                else{
                    int tmptype=type;
                    type=-1;
                    for(Data now:D[tmptype]){
                        check(pos,mx[now.type]);
                        if(pos<=Pos&&Pos<pos+siz[now.type]){
                            type=now.type;
                            output.push_back(now.name);
                            break;
                        }
                        pos+=siz[now.type];
                    }
                }
                // cerr<<"type:"<<type<<" pos:"<<pos<<endl;
                if(type==-1){
                    chk=false;
                    break;
                }
                if(type<=4) break;
            }
            if(!chk) printf("ERR\n");
            else{
                for(int i=0;i<output.size();++i){
                    cout<<output[i];
                    if(i+1<output.size()) cout<<".";
                }
                cout<<endl;
            }
        }
    }
    return 0;
}