#include <iostream>

#include <cstdio>

#include <cstring>

#include <algorithm>

#define LL long long

using namespace std;

int main(){

	LL n,m; int k;

	int T,icase=0;

	scanf("%d",&T);

	while(T--){

		scanf("%lld%lld%d",&n,&m,&k);

		double output=0;

		for(LL i=1;i<=n;i++){

			for(LL j=1;j<=m;j++){

				LL ans=(i-1)*(i-1)*m*m;

				ans+=(n-i)*(n-i)*m*m;

				ans+=n*n*(j-1)*(j-1);

				ans+=n*n*(m-j)*(m-j);

				ans-=(i-1)*(i-1)*(j-1)*(j-1);

				ans-=(n-i)*(n-i)*(j-1)*(j-1);

				ans-=(i-1)*(i-1)*(m-j)*(m-j);

				ans-=(n-i)*(n-i)*(m-j)*(m-j);

				double p=ans*1.0/(n*n*m*m);

				double tmp=1.0;

				for(int c=1;c<=k;c++)

				tmp*=p;

				output+=(1.0-tmp);

			}

		}

		printf("Case #%d: %.0f\n",++icase,(output));

	}

	return 0;

}