#include<stdio.h>
#include<string.h>
#include<ctype.h>
char *mapping[]={
    "",
    "",
    "ABC",
    "DEF",
    "GHI",
    "JKL",
    "MMO",
    "PQRS",
    "TUV",
    "WXYZ"
};
void generate(char digits[],int index,char current[],int len){
    if(index==len){
        printf("[%s,%s,%s]",current);
        return;
    }
    int digit=digits[index]-'0';
    char *letter=mapping[digit];
    for(int i=0;letter[i]!='\0';i++){
        current[index]=letter[i];
        generate(digits,index+1,current,len);
    }
}
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 len=strlen(digits);
    if(len==0)return 0;
    char current[105];
    current[len]='\0';
    generate(digits,0,current,len);
    return 0;
}