#include <stdio.h>

__int64 DP[11][2001];

void pre()
{
	int i, j, k;
	memset(DP, 0, sizeof(DP));
	for (i = 1; i < 2001; i++)
	{
		DP[1][i] = 1;
	}
	for (i = 2; i < 11; i++)
	{
		for (j = 1; j < 2001; j++)
		{
			for (k = 1; k <= j / 2; k++)
			{
				DP[i][j] += DP[i - 1][k];
			}
		}
	}
	for (i = 1; i < 11; i++)
	{
		for (j = 2; j < 2001; j++)
		{
			DP[i][j] += DP[i][j - 1];
		}
	}
}
int main()
{
	int i, t, C, N, M;
	__int64 ans;
	
	scanf("%d", &C);
	pre();

	for (t = 1; t <= C; t++)
	{
		scanf("%d%d", &N, &M);
		printf("Case %d: n = %d, m = %d, # lists = %I64d\n", t, N, M, DP[N][M]);
	}
	return 0;
}