// #define DEBUGGING
#include <bits/stdc++.h>
#define endl '\n'
#define ALL(V) (V).begin(), (V).end()
#define ALLR(V) (V).rbegin(), (V).rend()
using ll = std::int64_t;
using ull = std::uint64_t;
using PLL = std::pair<ll, ll>;
using TLL = std::tuple<ll, ll, ll>;
template <typename T> using V = std::vector<T>;
template <typename T> using VV = V<V<T>>;
template <typename T> const T& var_min(const T &t) { return t; }
template <typename T> const T& var_max(const T &t) { return t; }
template <typename T, typename... Tail> const T& var_min(const T &t, const Tail&... tail) { return std::min(t, var_min(tail...)); }
template <typename T, typename... Tail> const T& var_max(const T &t, const Tail&... tail) { return std::max(t, var_max(tail...)); }
template <typename T, typename... Tail> void chmin(T &t, const Tail&... tail) { t = var_min(t, tail...); }
template <typename T, typename... Tail> void chmax(T &t, const Tail&... tail) { t = var_max(t, tail...); }
template <typename T> const T& clamp(const T &t, const T &low, const T &high) { return std::max(low, std::min(high, t)); }
template <typename T> void chclamp(T &t, const T &low, const T &high) { return t = clamp(t, low, high); }
namespace init__ { struct InitIO { InitIO() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << std::fixed << std::setprecision(30); } } init_io; }
#define mv_rec make_v(init, tail...)
template <typename T> T make_v(T init) { return init; }
template <typename T, typename... Tail> auto make_v(T init, size_t s, Tail... tail) { return V<decltype(mv_rec)>(s, mv_rec); }
#undef mv_rec
using namespace std;

#ifdef DEBUGGING
#include "../../debug/debug.cpp"
#else
#define DEBUG(...) 0
#define DEBUG_SEPARATOR_LINE 0
#endif

const ll MAX_V = 256;
const ll inf = 5e15;

bool solve() {
    ll N, M;
    cin >> M;
    map<string, PLL> ranges;
    for (ll i = 0; i < M; i++) {
        string s;
        ll l, u;
        cin >> s >> l >> u;
        ranges[s] = PLL(l, u);
    }
    
    cin >> N;
    ll vidx = 0;
    stack<string> stk;
    V<string> expr(N);
    for (auto &&e : expr) cin >> e;
    
    auto addf = [](ll x, ll y) { return (x + y) % MAX_V; };
    auto decf = [](ll x, ll y) { return (x - y + MAX_V) % MAX_V; };
    auto mulf = [](ll x, ll y) { return (x * y) % MAX_V; };
    auto divf = [](ll x, ll y) { return (x / y) % MAX_V; };

    auto pop_stk = [&] {
        auto ret = stk.top();
        stk.pop();
        return ret;
    };

    auto label = [&] { return to_string(vidx++); };
    
    for (auto &&e : expr) {
        if (e == "+" || e == "-" || e == "*" || e == "/") {
            string re = pop_stk();
            string le = pop_stk();
            if (e == "/") {
                ll l, r;
                tie(l, r) = ranges[re];
                if (l <= 0 && 0 <= r) return false;
            }
            auto op = (e == "+" ? addf :
                       e == "-" ? decf :
                       e == "*" ? mulf : divf);
            ll lb = inf, ub = -inf;
            auto nval = label();
            ll lrng[2], rrng[2];
            tie(lrng[0], lrng[1]) = ranges[le];
            tie(rrng[0], rrng[1]) = ranges[re];
            for (ll l = lrng[0]; l <= lrng[1]; l++) for (ll r = rrng[0]; r <= rrng[1]; r++) {
                ll val = op(l, r);
                chmin(lb, val);
                chmax(ub, val);
            }
            stk.push(nval);
            ranges[nval] = PLL(lb, ub);
        } else {
            if ('a' <= e[0] && e[0] <= 'z') {
                stk.push(e);
            } else {
                auto nval = label();
                ll val = stoll(e);
                stk.push(nval);
                ranges[nval] = PLL(val, val);
            }
        }
    }

    return true;
}

int main() {
    cout << (solve() ? "correct" : "error") << endl;
    return 0;
}



Measured memory_bytes: 3316