// TGif.cc
// ECNA 2009
// problem C - Decompressing a GIF

#include <iostream>
using namespace std;

const int MAX = 1000;

string S, OutString;
string Dict[MAX];
int Last, NoDigs;

// initial input of dictionary
void getDict(){
  cin>>Last;
  for(int i=0;i<Last;i++)
    cin>>Dict[i];
}

// for debugging
void printDict(){
  for(int i=0;i<Last;i++)
    cout<<i<<": "<<Dict[i]<<endl;
  cout<<endl;
}

//get the next number to decompress
int getNum(int &p){
  int n=0;
  for(int i=0;i<NoDigs;i++){
    n = 10*n + (int)(S[p] - '0');
    p++;
  } 
  return  n;
}

int main(){
  int  n, pos;
  string  outString;
  int icase = 0;

  cin>>S;                                   //get 1st compression
  while(S!="0"){                            //S == '0'??
  	icase++;
	cout << "Case " << icase << ": ";
    getDict();

    if(Last<11) NoDigs=1;                   //set number of digits
    else NoDigs=2;
    pos=0;
    outString = "";

    //get first string and add it to outString
    n = getNum(pos);
    Dict[Last] = Dict[n];
    outString = outString + Dict[n];
    if (Last==10) NoDigs = 2;                //special case for 1st num
                                             //(will add the 11th item)

    //now do the rest 
    while(pos<S.length()){
      n=getNum(pos);
      Dict[Last] = Dict[Last] + Dict[n][0];  //finish dictionary entry
      outString = outString + Dict[n];       //add string to output
      Last++;
      Dict[Last] = Dict[n];                  //start new entry in dictionary
      if(Last==10) NoDigs = 2;                //use more digits?
      if(Last==100) NoDigs = 3;
    }
    cout<<outString<<endl;                   //output decompressed string

    cin>>S;                                  //get new compression
  }

  return 0;
}