#include<bits/stdc++.h>
#define int long long
using namespace std;
int a,b,c,dp[25][25][25];
int wj(int a,int b,int c);
int w(int a,int b,int c){
	if(a<=0||b<=0||c<=0)return 1;
	if(a>20||b>20||c>20)return (dp[a][b][c]?dp[a][b][c]:dp[a][b][c]=w(a,b,c));
	if(a<b&&b<c)return (dp[a][b][c]?dp[a][b][c]:dp[a][b][c]=w(a,b,c))+(dp[a][b][c]?dp[a][b][c]:dp[a][b][c]=w(a,b,c))-(dp[a][b][c]?dp[a][b][c]:dp[a][b][c]=w(a,b,c));
	return (dp[a][b][c]?dp[a][b][c]:dp[a][b][c]=w(a,b,c))+(dp[a][b][c]?dp[a][b][c]:dp[a][b][c]=w(a,b,c))+(dp[a][b][c]?dp[a][b][c]:dp[a][b][c]=w(a,b,c))-(dp[a][b][c]?dp[a][b][c]:dp[a][b][c]=w(a,b,c));
}
signed main(){
	while(cin>>a>>b>>c){
		if(a==-1&&b==-1&&c==-1)break;
		printf("w(%lld, %lld, %lld) = %lld\n",a,b,c,w(a,b,c));
	}
	return 0;
}

按理说是会RE，但是题解都是这么搞的啊