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

int main() {
	char dict[10001][16], s[16], *s1, *s2;
	short dptr[16][10001];
	short ec, err[10001];
	short dc,i, dclen[16], l, correct, x;

	for(;;) {
		dc=0;
		memset(dclen, 0, sizeof(dclen));
		for(;;) {
			scanf("%s\n", dict[dc]);
			l = strlen(dict[dc]);
			if ((dict[dc][0] == '#') && (l == 1))
				break;
			dptr[l][dclen[l]++] = dc++;
		}
		if (!dc)	
			return 0;
		
		for(;;) {
			scanf("%s\n", s);
			l = strlen(s);
			if ((s[0] == '#') && (l == 1))
				break;
			
			ec=0;correct=-1;
			for(i=0; i<dclen[l]; ++i) {
				x=0;
				for (s1=s, s2=dict[dptr[l][i]]; *s1; ++s1, ++s2)
					if (*s1 != *s2)
						if (x++)
							break;
				if (!x) {
					correct=i;
					break;
				}
				else if (x == 1)
					err[ec++] = dptr[l][i];
			}
			if (correct >= 0) {
				printf("%s is correct\n", s);
				continue;
			}
			if (--l)
				for (i=0; i<dclen[l]; ++i) {
					x=0;
					for (s1=s, s2=dict[dptr[l][i]]; *s1; ++s1, ++s2)
						if (*s1 != *s2) {
							--s2;
							if (x++)
								break;
						}
					if (x == 1)
						err[ec++] = dptr[l][i];
				
				}
			if ((l+=2) <= 15)
				for (i=0; i<dclen[l]; ++i) {
					x=0;
					for (s1=s, s2=dict[dptr[l][i]]; *s2; ++s1, ++s2)
						if (*s1 != *s2) {
							--s1;
							if (x++)
								break;
						}
					if (x == 1) 
						err[ec++] = dptr[l][i];
				}
			
			printf("%s:", s);
			if (ec){
				int comp(const void *a, const void *b) {
						return *(short*)a > *(short*)b;
					}
				qsort((void*)err, ec, sizeof(short), comp);
				for (i=0; i<ec; ++i)
					printf(" %s", dict[err[i]]);
			}
			printf("\n");
		}
	}
	return 0;
}