#include <bits/stdc++.h>
#define MAX 200
using namespace std;
long long mem[MAX][MAX][MAX],res[MAX][3];
long long w(long long a,long long b,long long c);
int main()
{
    memset(mem,0,sizeof(mem));
    while(1)
    {
        long long a,b,c;
        cin >> a >> b >> c;
        if(a == -1&&b == -1&&c == -1)break;
        printf("w(%lld, %lld, %lld) = %lld\n",a ,b,c,w(a,b,c));
    }
    return 0;
}
long long w(long long a,long long b,long long c)
{
    if(a<=0||b<=0||c<=0)return 1;
    if(a>20||b>20||c>20){a = 20;b = 20;c = 20;if(!mem[20][20][20])mem[20][20][20] = w(20,20,20);}
    if(a<b&&b<c)if(!mem[a][b][c])mem[a][b][c] = w(a,b,c-1)+w(a,b-1,c-1)-w(a,b-1,c);
    else if(!mem[a][b][c])mem[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 mem[a][b][c];
}

已经调试一晚上了qwq