#include<stdio.h>
int dp[21][21][21];
long long w(long long a,long long b,long long c)
{
	if(a<=0||b<=0||c<=0)
	 dp[a][b][c]=1;
	else if(a>20||b>20||c>20){
		if(dp[a][b][c]==0)
		   dp[a][b][c]=w(20,20,20);
	}
	else if(a<b&&b<c)
	{
		if(dp[a][b][c]==0)
		dp[a][b][c]=w(a,b,c-1) + w(a,b-1,c-1) - w(a,b-1,c);
	}
	else 
	{
		if(dp[a][b][c]==0)
		dp[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 dp[a][b][c];
}
int main()
{
	long long  a[10000],b[10000],c[10000],i=0,j;
	for(i=0;;i++)
	{
		scanf("%lld%lld%lld",&a[i],&b[i],&c[i]);
		if(a[i]==-1&&b[i]==-1&&c[i]==-1)
		  break;
	}
	for(j=0;j<i-1;j++)
	{
		printf("w(%lld,%lld,%lld)=%lld\n",a[j],b[j],c[j],w(a[j],b[j],c[j]));
	}
	printf("w(%lld,%lld,%lld)=%lld",a[j],b[j],c[j],w(a[j],b[j],c[j]));
	return 0;
}