#include<stdio.h>
#include<string.h>
char keypad[10][5]={
    "","","ABC","DEF","GHI","JKL","MNO","PQRS","TUV","WXYZ"
};
int firstprinted=1;
void backtrack(char *digit, int *index, char *path){
    if(digit[index]=='\0'){
       if(!firstprinted)
          printf(", ");
    printf("%s", path);
    firstprinted=0;
    return;
    }
    int num=digit[index]-'0';
    for(int i=0;keypad[num][i] !='\0';i++){
        path[index]=keypad[num][i];
        backtrack(digit, index+1, path);
    }
}
int main(){
    char digit[20];
    scanf("%s" ,digit);
    
    int len=strlen(digit);
    if(len==0)
    {
        printf("[]");
        return 0;
    }
    char path[20];
    path[len]='\0';
    
    
    printf("[ ");
    backtrack(digit, 0,path);
    printf(" ]");
    
    return 0;
}