#include<cstdio>
#include<cstring>
int num[3],tot,n,f;
char s[3][100],ans[3][100];
int check()
{
    char str[100];
    int a=0,b=0,c;
    for(int i=0;i<num[0];i++)
        a=a*10+s[0][i]-'0';
    for(int i=0;i<num[1];i++)
        b=b*10+s[1][i]-'0';
    c=a*b;
    for(int i=num[2]-1;i>=0;i--)
    {
        str[i]='0'+c%10;
        c/=10;
    }
    if(c>0||str[0]=='0')
        return 0;
    for(int i=0;i<num[2];i++)
        if(s[2][i]!=str[i]&&s[2][i]!='*')
            return 0;
    return 1;
}
void dfs(int a,int b)
{
    if(b>=num[a])
    {
        b=0;
        a++;
    }
    if(a==2)
    {
        if(check())
            tot++;
        return;
    }
    if(s[a][b]!='*')
        dfs(a,b+1);
    else
    {
        for(int i=0;i<10;i++)
        {
            if(b==0&&i==0)
                continue;
            s[a][b]='0'+i;
            dfs(a,b+1);
            if(tot>1)
            {
                s[a][b]='*';
                return;
            }
        }
        s[a][b]='*';
    }
}
void search(int a,int b,int c)
{
    if(b>=num[a])
    {
        b=0;
        a++;
    }
    if(c==n)
    {
        tot=0;
        dfs(0,0);
        if(tot==1)
        {
            f=1;
            for(int i=0;i<3;i++)
                strcpy(ans[i],s[i]);
        }
        return;
    }
    if(a>=3)
        return;
    char ch=s[a][b],tc;
    for(int i=0;i<=10;i++)
    {
        if(i==1&&b==0)
            continue;
        if(!i)
            tc='*';
        else
            tc='0'+i-1;
        if(tc==s[a][b])
            search(a,b+1,c);
        else
        {
            s[a][b]=tc;
            search(a,b+1,c+1);
        }
        if(f)
        {
            s[a][b]=ch;
            return;
        }
        s[a][b]=ch;
    }
}
void work()
{
    int m=0;
    for(int i=0;i<3;i++)
        m+=num[i];
    for(n=1;n<=m;n++)
    {
        f=0;;
        search(0,0,0);
        if(f)
            return;
    }
}
int main()
{
    int cas=1;
    memset(s,0,sizeof(s));
    while(scanf("%s",s[0])&&s[0][0]!='0')
    {
        scanf("%s%s",s[1],s[2]);
        for(int i=0;i<3;i++)
            num[i]=strlen(s[i]);
        tot=0;
        dfs(0,0);
        printf("Case %d: ",cas++);
        if(tot==1)
            printf("%s %s %s\n",s[0],s[1],s[2]);
        else
        {
            work();
            printf("%s %s %s\n",ans[0],ans[1],ans[2]);
        }
        memset(s,0,sizeof(s));
    }
    return 0;
}