#include<iostream>
#include<cstdio>
long long n1[500][4],n2[500][4];
int t[25][25][25];
int w(int a,int b,int c)
{
    if(a<=0||b<=0||c<=0)return 1;
    else if(t[a][b][c]!=-10000)return t[a][b][c];
    else if(a>20||b>20||c>20)t[a][b][c]=w(20,20,20);
    else if(a<b&&b<c) t[a][b][c]=w(a,b,c-1)+w(a,b-1,c-1)-w(a,b-1,c);
    else t[a][b][c]=w(a-1,b,c)+w(a-1,b-1,c)+w(a-1,b,c-1)-w(a-1,b-1,c-1);
    return t[a][b][c];
}
using namespace std;
int main()
{
    int i,j,k;
    for(i=1;i<=24;i++)
    for(j=1;j<=24;j++)
    for(k=1;k<=24;k++)
    t[i][j][k]=-10000;
    for(i=1;;i++)
    {
        scanf("%lld%lld%lld",&n1[i][1],&n1[i][2],&n1[i][3]);
        n2[i][1]=n1[i][1]; 
        n2[i][2]=n1[i][2];
        n2[i][3]=n1[i][3];
        if(n1[i][1]>20)n1[i][1]=21;
        if(n1[i][2]>20)n1[i][2]=21;
        if(n1[i][3]>20)n1[i][3]=21;
        if(n1[i][1]==-1&&n1[i][2]==-1&&n1[i][3]==-1)
        { 
            i--;
            break;
        }
    }
    for(j=1;j<=i;j++)
    printf("w(%lld, %lld, %lld) = %d\n",n2[j][1],n2[j][2],n2[j][3],w(n1[j][1],n1[j][2],n1[j][3]));
    return 0;
     }