#include<stdio.h>
#include<string.h>
#include<ctype.h>
char *map[]={
    "","","ABC","DEF","GHI",
    "JKL","MMO","PQRS","TUV","WXYZ"
};
void solve(char digits[],int idx,char out[],int n,int *first){
    if(index==n){
        if(*first==0)printf("","");
        printf(" %s",out);
        *first=0;
        return;
    }
    char *letters=map[digits[idx]-'0'];
    for(int i=0;letters[i]!='\0';i++){
        out[idx]=letters[i];
        solve(digits,idx+1,out,n,first);
    }
}
int main(){
    char digits[105];
    scanf(" %s",digits);
    for(int i=0;digits[i]!='\0';i++){
        if(!isdigit(digits[i])||digits[i]<'2'||digits[i]>'9'){
            printf("Inalid input");
            return 0;
        }
    }
    int n=strlen(digits);
    char out[105];
    out[n]='\0';
    int first=1;
    printf("[");
    solve(digits,0,out,n,&first);
    return 0;
}