#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
#define all(x) (x).begin(),(x).end()
const int mod=1000000007,MAX=105;
const ll INF=1LL<<50;

int main(){
    
    std::ifstream in("text.txt");
    std::cin.rdbuf(in.rdbuf());
    cin.tie(0);
    ios::sync_with_stdio(false);
    
    while(1){
        int M;cin>>M;
        map<string,vector<bool>> MA;
        for(int i=0;i<M;i++){
            string S;
            int a,b;cin>>S>>a>>b;
            vector<bool> A(256);
            for(int j=a;j<=b;j++) A[j]=1;
            
            MA[S]=A;
        }
        
        int N;cin>>N;
        bool ans=true;
        stack<vector<bool>> ST;
        
        for(int i=0;i<N;i++){
            string S;cin>>S;
            if(S=="+"||S=="-"||S=="*"||S=="/"){
                vector<bool> ne(256),A,B;
                B=ST.top();
                ST.pop();
                A=ST.top();
                ST.pop();
                
                for(int j=0;j<256;j++){
                    for(int k=0;k<256;k++){
                        if(A[j]&&B[k]){
                            if(k==0&&S=="/"){
                                ans=false;
                                continue;
                            }
                            
                            if(S=="+"){
                                ne[(j+k)%256]=1;
                            }else if(S=="-"){
                                ne[(256+j-k)%256]=1;
                            }else if(S=="*"){
                                ne[j*k%256]=1;
                            }else{
                                ne[j/k]=1;
                            }
                        }
                    }
                }
                
                ST.push(ne);
            }else if('0'<=S[0]&&S[0]<='9'){
                int a=stoi(S);
                vector<bool> ne(256);
                ne[a]=1;
                ST.push(ne);
            }else{
                vector<bool> ne=MA[S];
                ST.push(ne);
            }
        }
        
        if(ans) cout<<"correct"<<endl;
        else cout<<"error"<<endl;
        
        break;
    }
}



