#include <iostream>
#include <string>
using namespace std;
#define MAXSIZE 65535
int decodablef(char* a,char* b);
int main(){
string input;
char array[MAXSIZE][11];
int csize;
bool decodable=true;
int index=0;
while(cin>>input){
csize=0;
index++;
while(atoi(input.c_str())!=9){
//cout<<"input size:"<<input.size()<<endl;
for(int i=0;i<11;i++){
if(i<input.size())
array[csize][i]=input[i];
else
array[csize][i]='2';
}
csize++;
cin>>input;
}
/*
for(int i=0;i<csize;i++){
for(int j=0;j<11;j++){
cout<<array[i][j]<<" ";
}
cout<<endl;
}
*/
decodable=true;
for(int i=0;i<csize && decodable;i++){
for(int j=i+1;j<csize && decodable;j++){
if(decodablef(array[i],array[j])){
decodable=false;
}
}
}
if(decodable)
cout<<"Set "<<index<<" is immediately decodable"<<endl;
else
cout<<"Set "<<index<<" is not immediately decodable"<<endl;
}
return 0;
}
int decodablef(char* a,char* b){
int res=1;
for(int i=0;i<11 && a[i]!='2' && b[i]!='2';i++){
if(a[i]!=b[i])
res=0;
}
return res;
}