//Start: 2024-11-16 10:52:34
#include<bits/stdc++.h>
#define For(i,j,k) for(int i=(j);i<=(k);++i)
#define ForDown(i,j,k) for(int i=(j);i>=(k);--i)
#define Debug(fmt, args...) fprintf(stderr,"(func %s, line #%d): " fmt, __func__, __LINE__, ##args),fflush(stderr)
#define debug(fmt, args...) fprintf(stderr,fmt,##args),fflush(stderr)
#define within :
#define LJY main
using namespace std;
typedef long long ll;
const int N=1e5+5;
mt19937 rnd(chrono::system_clock::now().time_since_epoch().count());
int id[]={0b1011111,0b0000101,0b1110110,0b1110101,0b0101101,0b1111001,0b1111011,0b1000101,0b1111111,0b1111101};
int n,p[N];char s[10];
void ljy(){
  For(i,1,n){
    scanf("%s",s+1);
    p[i]=(id[s[1]-'0']<<21)|(id[s[2]-'0']<<14)|(id[s[4]-'0']<<7)|(id[s[5]-'0']);
  }
  vector<pair<int,int>>ans;
  For(i,0,23) For(j,0,59){
    int x=i,y=j;bool flg=1;int blc=0;
    For(k,1,n){
      int op=(id[x/10]<<21)|(id[x%10]<<14)|(id[y/10]<<7)|(id[y%10]);
      if((op&p[k])!=p[k]){flg=0;break;}
      blc|=(op^p[k]);
      y++;if(y==60) y=0,x++;if(x==24) x=0;
    }if(!flg) continue;x=i;y=j;
    For(k,1,n){
      int op=(id[x/10]<<21)|(id[x%10]<<14)|(id[y/10]<<7)|(id[y%10]);
      if((op&(~blc))!=p[k]){flg=0;break;}
      y++;if(y==60) y=0,x++;if(x==24) x=0;
    }if(flg) ans.emplace_back(i,j);
  }if(ans.empty()) puts("none");
  else{for(auto [x,y] within ans) printf("%d%d:%d%d ",x/10,x%10,y/10,y%10);puts("");}
}
signed LJY(){while(scanf("%d",&n)==1) ljy();}