#include<bits/stdc++.h>
#define zyq 1536
using namespace std;
vector<long long> ans,ta,tb,tc;
long long f(long long a,long long b,long long c){
	if(a<=0 or b<=0 or c<=0) return 1;
	if(a>20 or b>20 or c>20) return f(20,20,20);
	if(a<b and b<c) return f(a,b,c-1)+f(a,b-1,c-1)-f(a,b-1,c);
	else return f(a-1,b,c)+f(a-1,b-1,c)+f(a-1,b,c-1)-f(a-1,b-1,c-1);
}
int main(){
	long long tmpa,tmpb,tmpc;
	long long i=0;
	while(1){
		cin>>tmpa>>tmpb>>tmpc;
		if(tmpa==-1 and tmpb==-1 and tmpc==-1) break;
		i+=1;
		ta.push_back(tmpa);
		tb.push_back(tmpb);
		tc.push_back(tmpc);
		ans.push_back(f(tmpa,tmpb,tmpc));
	}
	for(int j=1;j<=i;j++){
		cout<<"w("<<ta[j-1]<<","<<tb[j-1]<<","<<tc[j-1]<<")"<<"="<<ans[j-1]<<endl;
	}
}