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