#include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=25;
const int T=1000;
int x[T][4];
long long ans[T];
bool vis[N][N][N];
long long mem[N][N][N];
long long w(int a, int b, int c){
long long ans;
if(a<=0 || b<=0 || c<=0) return 1;
if(a>20) a=20;
if(b>20) b=20;
if(c>20) c=20;
if(vis[a][b][c]) return mem[a][b][c];
/*如果a< b并且b< c 就返回w(a,b,c-1)+w(a,b-1,c-1)-w(a,b-1,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)*/
if(a<b && b<c){
ans=w(a,b,c-1)+w(a,b-1,c-1)-w(a,b-1,c);
}else{
ans=w(a-1,b,c)+w(a-1,b-1,c)+w(a-1,b,c-1)-w(a-1,b-1,c-1);
}
vis[a][b][c]=true;
return mem[a][b][c]=ans;
}
int main(){
int cnt=0;
int a,b,c;
scanf("%d %d %d", &a,&b,&c);
while(!(a==-1 && b==-1 && c==-1)){
++cnt;
x[cnt][1]=a,x[cnt][2]=b,x[cnt][3]=c;
ans[cnt]=w(a,b,c);
scanf("%d %d %d", &a,&b,&c); //输入
}
for(int i=1;i<=cnt;i++)
printf("w(%d, %d, %d) = %d\n", x[i][1],x[i][2],x[i][3],ans[i]); //输出
return 0;
}