Problem: Natasha was already going to fly back to Earth when she remembered that she needs to go to the Martian store to buy Martian souvenirs for her friends.

It is known, that the Martian year lasts x_{max} months, month lasts y_{max} days, day lasts z_{max} seconds. Natasha also knows that this store works according to the following schedule: 2 months in a year were selected: x_l and x_r (1≤ x_l≤ x_r≤ x_{max}), 2 days in a month: y_l and y_r (1≤ y_l≤ y_r≤ y_{max}) and 2 seconds in a day: z_l and z_r (1≤ z_l≤ z_r≤ z_{max}). The store works at all such moments (month x, day y, second z), when simultaneously x_l≤ x≤ x_r, y_l≤ y≤ y_r and z_l≤ z≤ z_r.

Unfortunately, Natasha does not know the numbers x_l,x_r,y_l,y_r,z_l,z_r.

One Martian told Natasha: "I went to this store (n+m) times. n times of them it was opened, and m times — closed." He also described his every trip to the store: the month, day, second of the trip and whether the store was open or closed at that moment.

Natasha can go to the store k times. For each of them, determine whether the store at the time of the trip is open, closed, or this information is unknown.

Input

The first line contains 6 integers x_{max}, y_{max}, z_{max}, n, m, k (1≤ x_{max},y_{max},z_{max}≤ 10^5, 1≤ n≤ 10^5, 0≤ m≤ 10^5, 1≤ k≤ 10^5) — number of months in a year, days in a month, seconds in a day, times when the store (according to a Martian) was opened, when it was closed and Natasha's queries.

The i-th of the next n lines contains 3 integers x_i, y_i, z_i (1≤ x_i≤ x_{max}, 1≤ y_i≤ y_{max}, 1≤ z_i≤ z_{max}) — month, day and second of i-th time, when the store, according to the Martian, was opened.

The i-th of the next m lines contains 3 integers x_i, y_i, z_i (1≤ x_i≤ x_{max}, 1≤ y_i≤ y_{max}, 1≤ z_i≤ z_{max}) — month, day and second of i-th time, when the store, according to the Martian, was closed.

The i-th of the next k lines contains 3 integers x_i, y_i, z_i (1≤ x_i≤ x_{max}, 1≤ y_i≤ y_{max}, 1≤ z_i≤ z_{max}) — month, day and second of i-th Natasha's query.

Output

If the Martian was mistaken and his information about when the store is open and when it is closed is inconsistent, print a single line "INCORRECT" (without quotes).

Otherwise, print the first line "CORRECT" (without quotes). Next output k lines: in i-th of them, output an answer to i-th Natasha's query: "OPEN" (without quotes), if the store was opened at the moment of this query, "CLOSED" (without quotes), if it was closed, or "UNKNOWN" (without quotes), if this information can not be determined on the basis of available data.

Examples

Input

10 10 10 3 1 3
2 6 2
4 2 4
6 4 6
9 9 9
3 3 3
10 10 10
8 8 8


Output

CORRECT
OPEN
CLOSED
UNKNOWN


Input

10 10 10 1 1 1
2 5 7
2 5 7
8 9 10


Output

INCORRECT

Note

Consider the first test case.

There are 10 months in a year, 10 days in a month, and 10 seconds in a day.

The store was opened in 3 moments:

  * month 2, day 6, second 2;
  * month 4, day 2, second 4;
  * month 6, day 4, second 6.



The store was closed at the time: month 9, day 9, second 9.

Queries:

  * month 3, day 3, second 3 — open ("OPEN") (since the store opens no later than month 2, day 2, second 2 and closes no earlier than in month 6, day 6, second 6); 
  * month 10, day 10, second 10 — closed ("CLOSED") (since it is closed even in the month 9, day 9, second 9);
  * month 8, day 8, second 8 — unknown ("UNKNOWN") (because the schedule in which the store is open at this moment exists, and the schedule in which the store is closed at this moment exists as well).



In the second test case, the store was closed and opened at the same time — contradiction ("INCORRECT").

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
const long long MOD = 1e9 + 7;
const long long INF = 0x3f3f3f3f;
const long long LINF = 0x3f3f3f3f3f3f3f3f;
const long double PI = acos(-1);
const long double eps = 0.00001;
int dx[] = {0, 0, 1, -1};
int dy[] = {1, -1, 0, 0};
int dx4[] = {-1, 0, 1, 0};
int dy4[] = {0, 1, 0, -1};
int dx8[] = {-1, 0, 1, 0, -1, -1, 1, 1};
int dy8[] = {0, 1, 0, -1, -1, 1, -1, 1};
int dxhorse[] = {-2, -2, -1, -1, 1, 1, 2, 2};
int dyhorse[] = {1, -1, 2, -2, 2, -2, 1, -1};
int X, Y, Z, N, M, K;
int L[3], R[3];
int OK[101010][3], NG[101010][3], Q[101010][3];
int ret[101010];
vector<pair<int, int>> query[8];
template <typename T>
inline void setmin(T &x, T y) {
  if (y < x) x = y;
}
template <typename T>
inline void setmax(T &x, T y) {
  if (y > x) x = y;
}
template <typename T>
inline T __gcd(T a, T b) {
  while (b) swap(a %= b, b);
  return a;
}
template <class T>
inline T fast_gcd(T u, T v) {
  int shl = 0;
  while (u && v && u != v) {
    T eu = u & 1;
    u >>= eu ^ 1;
    T ev = v & 1;
    v >>= ev ^ 1;
    shl += (~(eu | ev) & 1);
    T d = u & v & 1 ? (u + v) >> 1 : 0;
    T dif = (u - v) >> (sizeof(T) * 8 - 1);
    u -= d & ~dif;
    v -= d & dif;
  }
  return std::max(u, v) << shl;
}
template <class T1, class T2>
inline void upd1(T1 &a, T2 b) {
  a > b ? a = b : 0;
}
template <class T1, class T2>
inline void upd2(T1 &a, T2 b) {
  a < b ? a = b : 0;
}
template <class T>
inline bool equ(const T &a, const T &b) {
  return !memcmp(&a, &b, sizeof a);
}
template <class T>
bool isPrime(T x) {
  if (x <= 4 || x % 2 == 0 || x % 3 == 0) return x == 2 || x == 3;
  for (T i = 5; i * i <= x; i += 6)
    if (x % i == 0 || x % (i + 2) == 0) return 0;
  return 1;
}
template <typename T>
static inline T aabs(T x) {
  if (x < 0) return -x;
  return x;
}
template <typename T, typename U>
inline static void aswap(T &x, U &y) {
  T temp;
  temp = x;
  x = y;
  y = temp;
}
template <typename T, typename U>
inline static long long fpow(T n, U k, int p = MOD) {
  long long r = 1;
  for (; k; k >>= 1) {
    if (k & 1) r = r * n % p;
    n = n * n % p;
  }
  return r;
}
template <class T>
inline void normmod(T &x, T m = MOD) {
  x %= m;
  if (x < 0) x += m;
}
template <typename T>
vector<vector<T>> newton(int N, int MOD) {
  vector<vector<T>> npok(N + 1, vector<T>(N + 1));
  for (int i = 0; i <= N; ++i) npok[i][0] = 1;
  for (int i = 1; i <= N; ++i)
    for (int j = 1; j <= N; ++j)
      npok[i][j] = (npok[i - 1][j] + npok[i - 1][j - 1]) % MOD;
  return npok;
}
template <typename T>
inline T PointDistanceHorVer(T x1, T y1, T x2, T y2) {
  return abs(x1 - x2) + abs(y1 - y2);
}
template <typename T>
inline T PointDistanceDiagonally(T x1, T y1, T x2, T y2) {
  return sqrt((x2 - x1) * (x2 - x1) + (y2 - y1) * (y2 - y1));
}
template <typename T>
inline T PointDistanceMinimum(T x1, T y1, T x2, T y2) {
  T tmp1 = abs(x1 - x2);
  T tmp2 = abs(y1 - y2);
  T tmp3 = abs(tmp1 - tmp2);
  T tmp4 = min(tmp1, tmp2);
  return tmp3 + tmp4;
}
template <typename T>
inline T PointDistance3D(T x1, T y1, T z1, T x2, T y2, T z2) {
  return sqrt(square(x2 - x1) + square(y2 - y1) + square(z2 - z1));
}
template <typename T>
inline T Cube(T a) {
  return a * a * a;
}
template <typename T>
inline T RectengularPrism(T a, T b, T c) {
  return a * b * c;
}
template <typename T>
inline T Pyramid(T base, T height) {
  return (1 / 3) * base * height;
}
template <typename T>
inline T Ellipsoid(T r1, T r2, T r3) {
  return (4 / 3) * PI * r1 * r2 * r3;
}
template <typename T>
inline T IrregualarPrism(T base, T height) {
  return base * height;
}
template <typename T>
inline T Sphere(T radius) {
  return (4 / 3) * PI * radius * radius * radius;
}
template <typename T>
inline T CylinderB(T base, T height) {
  return base * height;
}
template <typename T>
inline T CylinderR(T radius, T height) {
  return PI * radius * radius * height;
}
template <typename T>
inline T Cone(T radius, T base, T height) {
  return (1 / 3) * PI * radius * radius * height;
}
inline bool EQ(double a, double b) { return fabs(a - b) < 1e-9; }
inline bool isLeapYear(long long year) {
  return (year % 400 == 0) || (year % 4 == 0 && year % 100 != 0);
}
inline void normal(long long &a) {
  a %= MOD;
  (a < 0) && (a += MOD);
}
inline long long modMul(long long a, long long b) {
  a %= MOD, b %= MOD;
  normal(a), normal(b);
  return (a * b) % MOD;
}
inline long long modAdd(long long a, long long b) {
  a %= MOD, b %= MOD;
  normal(a), normal(b);
  return (a + b) % MOD;
}
inline long long modSub(long long a, long long b) {
  a %= MOD, b %= MOD;
  normal(a), normal(b);
  a -= b;
  normal(a);
  return a;
}
inline long long modPow(long long b, long long p) {
  long long r = 1;
  while (p) {
    if (p & 1) r = modMul(r, b);
    b = modMul(b, b);
    p >>= 1;
  }
  return r;
}
inline long long modInverse(long long a) { return modPow(a, MOD - 2); }
inline long long modDiv(long long a, long long b) {
  return modMul(a, modInverse(b));
}
inline int test(int n, int b) { return (n >> b) & 1; }
inline void set_bit(int &n, int b) { n |= (1 << (b)); }
inline void unset_bit(int &n, int b) { n &= ~(1 << (b)); }
inline int last_bit(int n) { return n & (-n); }
inline int ones(int n) {
  int res = 0;
  while (n && ++res) n -= n & (-n);
  return res;
}
inline long long nr_of_1(long long x) {
  int count(0);
  while (x) x &= (x - 1), count++;
  return count;
}
inline void solve() {
  int i, j, k, l, r, x, y;
  string s;
  scanf("%d%d%d%d%d%d", &X, &Y, &Z, &N, &M, &K);
  R[0] = R[1] = R[2] = 1;
  L[0] = X;
  L[1] = Y;
  L[2] = Z;
  for (i = 0; i < (N); i++) {
    scanf("%d%d%d", &OK[i][0], &OK[i][1], &OK[i][2]);
    for (j = 0; j < (3); j++)
      L[j] = min(L[j], OK[i][j]), R[j] = max(R[j], OK[i][j]);
  }
  for (i = 0; i < (M); i++) {
    scanf("%d%d%d", &NG[i][0], &NG[i][1], &NG[i][2]);
    int ok = 0;
    for (j = 0; j < (3); j++) {
      if (NG[i][j] < L[j] || R[j] < NG[i][j]) ok = 1;
      if (NG[i][j] > R[j])
        NG[i][j] -= R[j] - L[j];
      else if (NG[i][j] >= L[j])
        NG[i][j] = L[j];
    }
    if (ok == 0) return (void)printf("INCORRECT\n");
    for (j = 0; j < (8); j++) {
      int ok = 1;
      for (x = 0; x < (3); x++) {
        y = (j >> x) & 1;
        if (y == 0 && NG[i][x] > L[x]) ok = 0;
        if (y == 1 && NG[i][x] < L[x]) ok = 0;
      }
      if (ok) {
        if (j & 4)
          query[j].push_back({NG[i][2], i});
        else
          query[j].push_back({Z + 1 - NG[i][2], i});
      }
    }
  }
  for (i = 0; i < (K); i++) {
    scanf("%d%d%d", &Q[i][0], &Q[i][1], &Q[i][2]);
    ret[i] = 1;
    for (j = 0; j < (3); j++) {
      ret[i] &= (L[j] <= Q[i][j] && Q[i][j] <= R[j]);
      if (Q[i][j] > R[j])
        Q[i][j] -= R[j] - L[j];
      else if (Q[i][j] >= L[j])
        Q[i][j] = L[j];
    }
    if (ret[i] == 0) {
      for (j = 0; j < (8); j++) {
        int ok = 1;
        for (x = 0; x < (3); x++) {
          y = (j >> x) & 1;
          if (y == 0 && Q[i][x] > L[x]) ok = 0;
          if (y == 1 && Q[i][x] < L[x]) ok = 0;
        }
        if (ok) {
          if (j & 4)
            query[j].push_back({Q[i][2], 100000 + i});
          else
            query[j].push_back({Z + 1 - Q[i][2], 100000 + i});
        }
      }
    }
  }
  for (i = 0; i < (8); i++) {
    map<long long, long long> make_pair;
    make_pair[0] = 1000000;
    make_pair[1000000] = 0;
    sort((query[i].begin()), (query[i].end()));
    for (auto &z : query[i]) {
      j = z.second;
      if (j < 100000) {
        x = NG[j][0];
        y = NG[j][1];
        if ((i & 1) == 0) x = X + 1 - x;
        if ((i & 2) == 0) y = Y + 1 - y;
        auto it = make_pair.lower_bound(x + 1);
        it--;
        if (it->second >= y) {
          make_pair[x] = y;
          while (1) {
            it = make_pair.lower_bound(x + 1);
            if (it->second < y) break;
            make_pair.erase(it);
          }
        }
      } else {
        j -= 100000;
        x = Q[j][0];
        y = Q[j][1];
        if ((i & 1) == 0) x = X + 1 - x;
        if ((i & 2) == 0) y = Y + 1 - y;
        auto it = make_pair.lower_bound(x + 1);
        it--;
        if (it->second <= y) ret[j] = 2;
      }
    }
  }
  (void)printf("CORRECT\n");
  for (i = 0; i < (K); i++) {
    if (ret[i] == 1) (void)printf("OPEN\n");
    if (ret[i] == 2) (void)printf("CLOSED\n");
    if (ret[i] == 0) (void)printf("UNKNOWN\n");
  }
}
int main(int argc, const char *argv[]) {
  string s;
  int i;
  if (argc == 1) ios_base::sync_with_stdio(false);
  cin.tie(0);
  cout.tie(0);
  srand(time(NULL));
  for (i = 0; i < (argc - 1); i++) s += argv[i + 1], s += '\n';
  for (i = 0; i < (s.size()); i++) ungetc(s[s.size() - 1 - i], stdin);
  solve();
  return 0;
  return 0;
}