#include<iostream>
using namespace std;
long long a,b,c;
long long f[23][23][23];
bool vis[23][23][23];
long long w(long long a,long long b,long long c){
	if(vis[a][b][c]){
		return f[a][b][c];
	}
	vis[a][b][c]=true;
	if(a<=0||b<=0||c<=0){
		return f[a][b][c]=1;
	}
	if(a>20||b>20||c>20){
		return f[a][b][c]=w(20,20,20);
	}
	else if(a<b&&b<c){
		return f[a][b][c]=w(a,b,c-1)+w(a,b-1,c-1)-w(a,b-1,c);
	}
	else{
		return f[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 f[a][b][c];
}
int main(){
	while(cin>>a>>b>>c){
		if(a==-1&&b==-1&&c==-1){
			break;
		}
		cout<<"w("<<a<<", "<<b<<", "<<c<<") = "<<w(a,b,c)<<endl;
	}
	return 0;
}

本地数据测试全没问题，but……