#include <stdio.h>
#include <stdlib.h>
#include <string.h>

char dict[11000][20];
char slovo[20];
int poc;
int i,j,k;

int najdi(){
 for(i=0; i<poc; i++){
  if (slovo[0]==0 && dict[i][0]==0){
   printf("%s ", slovo);
   return 1;
  }
  if (!strcmp(slovo,dict[i])){
   printf("%s ", slovo);
   return 1;
  }
 }
 return 0;
}

void vloz(){
 char pom[20];
 
 strcpy(pom,slovo);
 
 for(i=0; i<=strlen(slovo); i++){
  for(j=0; j<i; j++) pom[j]=slovo[j];
  pom[j]='$';
  for(; j<strlen(slovo)+1; j++) pom[j+1]=slovo[j];
//  printf("\nVlozeno %s\n", pom);
  
  for (j=0;j<poc;j++){
   k=0;
   while(pom[k] && dict[j][k] && (pom[k]=='$' || pom[k]==dict[j][k])){
    k++;
   }
   if ((pom[k]==0) &&(dict[j][k]==0)){
    printf(" %s", dict[j]);
   }
  }
 }
}

void nahr(){
 char pom[20];
 strcpy(pom,slovo);
 char zn;
 
 for(i=0; i<strlen(slovo); i++){
  zn=pom[i];
  pom[i]='$';
//  printf("\nNahrazeno %s\n", pom);

  for (j=0;j<poc;j++){
   k=0;
   while(pom[k] && dict[j][k] && (pom[k]=='$' || pom[k]==dict[j][k])){
    k++;
   }
   if (pom[k]==0 && dict[j][k]==0){
    printf(" %s", dict[j]);
   }
  }
  pom[i]=zn;
 }
}

void smaz(){
 char pom[20];
 
 for(i=0; i<strlen(slovo); i++){
  for(j=0; j<i; j++) pom[j]=slovo[j];
  
  for(; j<strlen(slovo)+1; j++) pom[j]=slovo[j+1];
  
//  printf("\nSmazano %s\n", pom);

  for (j=0;j<poc;j++){
   k=0;
   while(pom[k] && dict[j][k] && (pom[k]=='$' || pom[k]==dict[j][k])){
    k++;
   }
   if (pom[k]==0 && dict[j][k]==0){
    printf(" %s", dict[j]);
   }
  }
 }
}

int main(void){
 poc=0;
 
 scanf("%s\n",dict[poc]);
 while(dict[poc][0]!='#'){
  while(dict[poc][0]!='#'){
//   printf("Nac. slovo %s\n", dict[poc]);
   poc++;
   scanf("%s\n",dict[poc]);
  }
  
  scanf("%s\n",slovo);  
  while(slovo[0]!='#'){
   if (najdi()){
    printf("is correct\n");
   }
   else{
    printf("%s:",slovo);
    nahr();
    vloz();
    smaz();
    printf("\n");
   }
   scanf("%s\n",slovo);
  }
 poc=0;
 scanf("%s\n",dict[poc]); 
 }
 return 0;
}