#include <bits/stdc++.h>
  
using namespace std;
  
#define rep(i,n) REP(i,0,n)
#define REP(i,s,e) for(int i=(s); i<(int)(e); i++)
#define pb push_back
#define all(r) r.begin(),r.end()
#define rall(r) r.rbegin(),r.rend()
#define fi first
#define se second
  
typedef long long ll;
typedef vector<int> vi;
typedef vector<ll> vl;
typedef pair<int, int> pii;
typedef pair<ll, ll> pll;
 
const int INF = 1e9;
const ll MOD = 1e9 + 7;
double EPS = 1e-8;

//#define DEBUG_MODE
#ifdef DEBUG_MODE
#define dump(x) cout << #x << " : " << x << endl
#define LINE cout << "line : " << __LINE__ << endl
#define dumpV(v) cout << #v << " : ["; for(auto& t : v) cout << t << ", "; cout<<"]" << endl;
#define STOP assert(false);
#else
#define dump(x) ;
#define LINE 	;
#define dumpV(v);
#define STOP 	;
#endif

namespace std{
  template<class S,class T>
  ostream &operator <<(ostream& out,const pair<S,T>& a){
    out<<'('<<a.fi<<", "<<a.se<<')';
    return out;
  }
}


bool isDigits(char c) {return c>='0'&&c<='9';}

bool isAllDigits(string s) {
	for(auto& c : s) {
		if(!isDigits(c)) return false;
	}
	return true;
}
ll StoLL(const string& s) {
	ll ret = 0LL;
	for(auto& c : s) ret = ret*10 + (c-'0');
	return ret;
}

//[l, r] wo merge
set<pii> mergeSegment(const set<pii>& st) {
	set<pii> ret;
	if(st.size() == 0) return ret;
	auto p = *st.begin();
	auto it = st.begin();
	it++;
	while(it != st.end()) {
		auto tmp = *it;
		if(p.se+1 >= tmp.fi) {
			p.fi = min(p.fi, tmp.fi);
			p.se = max(p.se, tmp.se);
		}
		else{
			ret.insert(p);
			p = tmp;
		}
		it++;
	}
	ret.insert(p);
	return ret;
}
stack<set<pii>> st;

void plus_st_pii(set<pii> A, set<pii> B){
	set<pii> ret;
	for(auto a : A) {
		for(auto b : B) {
			// pii p;

			// p.fi = (a.fi + b.fi)%256;
			// p.se = (a.se + b.se)%256;
			// if(p.se < p.fi) {
			// 	ret.insert({0, p.se});
			// 	ret.insert({p.fi, 255});
			// }
			// else ret.insert(p);
			REP(aa, a.fi, a.se+1) {
				REP(bb , b.fi, b.se+1) {
					ret.insert({(aa+bb)%256,(aa+bb)%256});
				}
			}
		}
	}
	ret = mergeSegment(ret);
	st.push(ret);
}

void minus_st_pii(set<pii> A, set<pii> B) {
	set<pii> ret;
	for(auto a : A) {
		for(auto b : B) {
			// pii p;
			// p.fi = (a.fi - b.se + 256) % 256;
			// p.se = (a.se - b.fi + 256) % 256;
			// if((a.fi - b.se < 0) ^ (a.se - b.fi < 0)) {
			// 	ret.insert({0, min(p.fi, p.se)});
			// 	ret.insert({max(p.fi, p.se), 255});
			// }
			// else if(p.se < p.fi) {
			// 	ret.insert({0, p.se});
			// 	ret.insert({p.fi, 255});
			// }
			// else ret.insert(p);
			REP(aa, a.fi, a.se+1) {
				REP(bb , b.fi, b.se+1) {
					ret.insert({(aa-bb+256)%256,(aa-bb+256)%256});
				}
			}
		}
	}
	ret = mergeSegment(ret);
	st.push(ret);
}

void mult_st_pii(set<pii> A, set<pii> B){
	set<pii> ret;
	for(auto a : A) {
		for(auto b : B) {
			// pii p;
			// p.fi = (a.fi * b.fi)%256;
			// p.se = (a.se * b.se)%256;
			// if(p.se < p.fi) {
			// 	ret.insert({0, p.se});
			// 	ret.insert({p.fi, 255});
			// }
			// else ret.insert(p);
			REP(aa, a.fi, a.se+1) {
				REP(bb , b.fi, b.se+1) {
					ret.insert({aa*bb%256,aa*bb%256});
				}
			}
		}
	}
	ret = mergeSegment(ret);
	st.push(ret);
}

bool div_st_pii(set<pii> A, set<pii> B) {
	set<pii> ret;
	for(auto a : A) {
		for(auto b : B) {
			if(b.fi == 0) return false;
			// pii p;
			// p.fi = (a.fi / b.se)%256;
			// p.se = (a.se / b.fi)%256;
			// if(p.se < p.fi) {
			// 	ret.insert({0, p.se});
			// 	ret.insert({p.fi, 255});
			// }
			// else ret.insert(p);
			REP(aa, a.fi, a.se+1) {
				REP(bb , b.fi, b.se+1) {
					if(bb == 0) return false;
					ret.insert({aa/bb,aa/bb});
				}
			}
		}
	}
	ret = mergeSegment(ret);
	st.push(ret);
	return true;
}

int main(){
	int m;
	cin >> m;
	map<string, pii> mp;
	rep(i, m) {
		string s;
		int l, r;
		cin >> s >> l >> r;
		mp[s] = {l, r};
	}
	int n;
	cin >> n;
	rep(i, n) {
		string s;
		cin >> s;
		if(isAllDigits(s)) {
			int num = StoLL(s);
			dump(num);
			set<pii>tmp;
			tmp.insert({num, num});
			st.push(tmp);
		}
		else if(s == "+") {
			auto b = st.top();	st.pop();
			auto a = st.top();	st.pop();
			plus_st_pii(a, b);

			dump(s);
			dumpV(a);
			dumpV(b);

			auto c = st.top();
			dumpV(c);
		}
		else if(s == "-") {
			auto b = st.top();	st.pop();
			auto a = st.top();	st.pop();
			minus_st_pii(a, b);

			dump(s);
			dumpV(a);
			dumpV(b);
			auto c = st.top();
			dumpV(c);
		}
		else if(s == "*") {
			auto b = st.top();	st.pop();
			auto a = st.top();	st.pop();
			mult_st_pii(a, b);

			dump(s);
			dumpV(a);
			dumpV(b);
			auto c = st.top();
			dumpV(c);
		}
		else if(s == "/") {
			auto b = st.top();	st.pop();
			auto a = st.top();	st.pop();

			dump(s);
			dumpV(a);
			dumpV(b);
			if(!div_st_pii(a, b)) {
				cout << "error" << endl;
				return 0;
			}
			auto c = st.top();
			dumpV(c);
		}
		else {
			set<pii> tmp;
			tmp.insert(mp[s]);
			st.push(tmp);

			dumpV(tmp);
		}
	}
	cout << "correct" << endl;
	return 0;
}

Measured memory_bytes: 3208