1 #include<stdio.h>
  2 #include<string.h>
  3 #include<map>
  4 #include<string>
  5 using namespace std;
  6 
  7 struct Node
  8 {
  9   char s[35];
 10   int l,r;
 11   bool flag;
 12 };
 13 
 14 Node a[1010][35];
 15 int ao[1010];
 16 bool ff[1010];
 17 map<string
 
,int> m[1010];
 18 
 19 int mo;
 20 void solve(int pos,char *s)
 21 {
 22   for(int i=0;s[i];i++)
 23   {
 24     if(s[i]<='z'&&s[i]>='a')
 25     {
 26       char t[35];
 27       int j;
 28       for(j=i;s[j];j++)
 29       {
 30         if(s[j]<='z'&&s[j]>='
 
a') t[j-i]=s[j];
 31         else break;
 32       }
 33       t[j-i]=0;
 34       int to;
 35       if(m[pos].find(t)==m[pos].end())
 36       {
 37         m[pos][t]=++mo;
 38         strcpy(a[pos][mo].s,t);
 39         a[pos][mo].l=-10000;
 40         a[pos][mo].r=10000;
 41         a[pos][mo].flag=1
 
;
 42         to=mo;
 43         ao[pos]=mo;
 44       }
 45       else to=m[pos][t];
 46       int flag=0;
 47       for(;s[j];j++)
 48       {
 49         if(s[j]=='<'&&s[j+1]=='=') flag=2;
 50         else if(s[j]=='<') flag=1;
 51         else if(s[j]=='>'&&s[j+1]=='=') flag=4;
 52         else if(s[j]=='>') flag=3;
 53         else if(s[j]=='='&&s[j+1]=='=') flag=5;
 54         if(flag!=0) break;
 55       }
 56       int k=0,fu=1;
 57       for(j++;s[j];j++)
 58       {
 59         if(s[j]=='-')
 60         {
 61           fu=-1;
 62         }
 63         else if(s[j]<='9'&&s[j]>='0')
 64         {
 65           k=k*10+s[j]-'0';
 66         }
 67         else if(s[j]==',') break;
 68       }
 69       k=k*fu;
 70       if(flag==1) k--;
 71       else if(flag==3) k++;
 72       if(flag==1||flag==2)
 73       {
 74         a[pos][to].r=min(k,a[pos][to].r);
 75       }
 76       else if(flag==3||flag==4)
 77       {
 78         a[pos][to].l=max(k,a[pos][to].l);
 79       }
 80       else if(flag==5)
 81       {
 82         if(a[pos][to].l>k||a[pos][to].r<k) a[pos][to].flag=0;
 83         else
 84         {
 85           a[pos][to].l=k;
 86           a[pos][to].r=k;
 87         }
 88       }
 89       if(a[pos][to].l>a[pos][to].r) a[pos][to].flag=0;
 90       if(a[pos][to].flag==0) ff[pos]=1;
 91       i=j-1;
 92     }
 93   }
 94 }
 95 
 96 int main()
 97 {
 98   int n;
 99   char s[100];
100   while(scanf("%d",&n)!=EOF)
101   {
102     getchar();
103     memset(ff,0,sizeof(ff));
104     for(int i=0;i<n;i++)
105     {
106       mo=0;
107       gets(s);
108       solve(i,s);
109     }
110     for(int i=0;i<n;i++)
111     {
112       bool flag=0;
113       for(int u=0;u<i;u++)
114       {
115         if(ff[i]==1) continue;
116         if(ff[u]==1) continue;
117         int j;
118         for(j=1;j<=ao[i];j++)
119         {
120           if(a[i][j].flag==0) break;
121           int pos=m[u][a[i][j].s];
122           if(pos==0) break;
123           if(a[i][j].r<a[u][pos].l||a[i][j].l>a[u][pos].r);
124           else break;
125         }
126         if(j>ao[i]);
127         else
128         {
129           if(flag==1) printf(" ");
130           flag=1;
131           printf("%d",u+1);
132         }
133       }
134       if(flag==0) printf("unique\n");
135       else printf("\n");
136     }
137   }
138   return 0;
139 }