#include <bits/stdc++.h>
using namespace std;
long long d[30][30][30] = {0};
long long w(long long a,long long b,long long c){
long long t;
if(a <= 0 || b <= 0 || c <= 0) return 1;
if(a > 20 || b > 20 || c > 20) return w(20,20,20);
if(d[a][b][c] != 0)
return d[a][b][c];
if(a < b && b < c) t = w(a,b,c-1)+w(a,b-1,c-1)-w(a,b-1,c);
t = w(a-1,b,c)+w(a-1,b-1,c)+w(a-1,b,c-1)-w(a-1,b-1,c-1);
d[a][b][c] = t;
return t;
}
int main()
{
long long a,b,c;
while(1){
cin >> a >> b >> c;
if(a == -1 && b == -1 && c == -1) return 0;
else
printf("w(%lld, %lld, %lld) = %lld\n",a,b,c,w(a,b,c));
}
return 0;
}