#include<bits/stdc++.h>
using namespace std;
long long nn[89][89][89];
long long w(long long a,long long b,long long c)
{
	if(nn[a][b][c]>0)
	{
		return nn[a][b][c];
	}
	if(a<=0||b<=0||c<=0)
	{
		return 1;
	}
	else
	{
		if(a>20||b>20||c>20)
		{
			nn[a][b][c]=w(20,20,20);
			return nn[a][b][c];
		}
		else
		{
			if(a<b&&b<c)
			{
				nn[a][b][c]=w(a,b,c-1)+w(a,b-1,c-1)-w(a,b-1,c);
				return nn[a][b][c];
			}
			else
			{
				nn[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 nn[a][b][c];
			}
		}
	}
	return nn[a][b][c];
}
int main()
{
	long long a,b,c;
	while(true)
	{
		cin>>a>>b>>c;
		if(a==-1&&b==-1&&c==-1)
		{
			break;
		}
		if(a>20) a=21;
        if(b>20) b=21;
        if(c>20) c=21;
		printf("w(%d, %d, %d) = %d",a,b,c,w(a,b,c));
	}
	return 0;
}