1 /*
  2     题意：这些信息可能有三种情况，分别是"A > B","A = B","A < B"，分别表示A的Rating高于B,等于B,小于B。
  3
  4 现在Lele并不是让你来帮他制作这个高手榜，他只是想知道，根据这些信息是否能够确定出这个高手榜，是的话就输出"OK"。
  5 否则就请你判断出错的原因，到底是因为信息不完全（输出"UNCERTAIN"），还是因为这些信息中包含冲突（输出"CONFLICT"）。
  6 注意，如果信息中同时包含冲突且信息不完全，就输出"CONFLICT"。
  7
  8    思路: 因为小于关系和大于关系可以转换一下位置！ 这里的问题就在与如何正确的处理相等的关系！
  9    如果没有相等的关系，一个拓扑排序算法就可以搞定了！ 既然元素相等，那么我们取相等元素中的某一个
 10    数来表示每一个数不是也行吗！？对，没错，用这个数来代替所有与之相等元素的数表示 '<'关系！ 也就是
 11    转换成集合之间的关系的处理！ 将每一个相等的元素集合看成一个点，这个点的代表就是集合的父亲节点！
 12
 13    那么如何来得到这个数呢？并查集最适合不过了！我们将相等的元素放入集合中！
 14    当 a<b时，通过getFather(a) < getFather(b)来处里a<b的关系，这里用邻接表进行处理！
 15 */
 16 #include<iostream>
 17 #include<cstring>
 18 #include<vector>
 19 #include<stack>
 20 using namespace std;
 21 int f[10005];
 22 int rank[10005];
 23 int n, m;
 24 int getFather(int x){
 25    return x==f[x] ? x : f[x]=getFather(f[x]);
 26 }
 27
 28 int Union(int a, int b){
 29    int fa=getFather(a), fb=getFather(b);
 30    if(fa!=fb){
 31       if(rank[fa]>rank[fb]){
 32          f[fb]=fa;
 33          rank[fa]+=rank[fb]+1;
 34       }
 35       else{
 36          f[fa]=fb;
 37          rank[fb]+=rank[fa]+1;
 38       }
 39       return 1;
 40    }
 41    return 0;
 42 }
 43
 44 int in[10005];
 45 int A[10005], B[10005];
 46 char ch[10005];
 47 vector<int>vx[10005];
 48 int conflict, uncertain;
 49 int sum;
 50
 51 /*void topoSort(){
 52     for(int j=1; j<=sum; ++j){
 53          int p=0, cnt=0;
 54          for(int i=1; i<=n; ++i)
 55             if(f[i]==i && in[i]==0){//f[i]==i表明 i是这个相等集合的代表元素，也就是这个集合所有元素的父节点
 56                p=i;
 57                ++cnt;
 58             }
 59          if(cnt==0){
 60             conflict=1;
 61             return;
 62          }
 63          if(cnt>1)
 64             uncertain=1;
 65          int len=vx[p].size();
 66          for(int i=0; i<len; ++i)
 67              --in[vx[p][i]];
 68          in[p]=-1;
 69     }
 70 }*/
 71
 72 stack<int>ss;
 73
 74 void topoSort(){
 75     for(int i=1; i<=n; ++i)
 76         if(f[i]==i && in[i]==0)//f[i]==i表明 i是这个相等集合的代表元素，也就是这个集合所有元素的父节点
 77             ss.push(i);
 78     if(ss.size()==0 && sum)
 79         conflict=1;
 80     while(!ss.empty()){
 81          int cnt=ss.size();
 82          int p=ss.top();
 83          --sum;//表示剩余多少个节点没有排序！
 84          ss.pop();
 85
 86          if(cnt>1)
 87             uncertain=1;
 88          int len=vx[p].size();
 89          for(int i=0; i<len; ++i)
 90              if(--in[vx[p][i]]==0)
 91                ss.push(vx[p][i]);
 92           if(ss.size()==0 && sum)
 93             conflict=1;
 94     }
 95 }
 96
 97 int main(){
 98     while(cin>>n>>m){
 99        for(int i=1; i<=n; ++i)
100           f[i]=i;
101        for(int i=1; i<=m; ++i){
102            scanf("%d %c %d", &A[i], &ch[i], &B[i]);
103            ++A[i];
104            ++B[i];
105            if(ch[i]=='=')
106               Union(A[i], B[i]);
107        }
108        sum=0;
109        for(int i=1; i<=n; ++i)
110           if(f[i]==i)  ++sum;
111        for(int i=1; i<=m; ++i){
112               int fa=getFather(A[i]), fb=getFather(B[i]);//将每一个相等的元素集合看成一个点，这个点的代表就是其父亲节点
113            if(ch[i]=='<'){
114                vx[fa].push_back(fb);
115                ++in[fb];
116            }
117            else if(ch[i]=='>'){
118                vx[fb].push_back(fa);
119                ++in[fa];
120            }
121        }
122
123        conflict=uncertain=0;
124        topoSort();
125        if(conflict)
126           cout<<"CONFLICT"<<endl;
127        else if(uncertain)
128              cout<<"UNCERTAIN"<<endl;
129        else cout<<"OK"<<endl;
130        for(int i=1; i<=n; ++i)
131           vx[i].clear();
132
133        memset(rank, 0, sizeof(int)*(n+1));
134        memset(in, 0, sizeof(int)*(n+1));
135        while(!ss.empty())
136           ss.pop();
137     }
138 }