#include<stdio.h>
#include<vector>
#include<iostream>
using namespace std;

int e[1000][1000];
int main( void )
{
	FILE *in = fopen( "japan.in", "r" );
	int T;
	fscanf( in, "%d\n", &T );
	for( int C = 1; C <= T; C ++ ){
		int N, M, K;
		fscanf( in, "%d%d%d", &N, &M, &K );
		vector< int > a( M, 0 );

		for( int i = 0; i < N; i ++ )
			for( int j = 0; j < M; j ++ )
				e[i][j] = 0;
		for( int i = 0; i < K; i ++ ){
			int A, B;
			fscanf( in, "%d%d", &A, &B );
			A --; B --;
			e[A][B] ++;
		}
		long long r = 0;
		for( int i = N - 1; i >= 0; i -- ){
			long long c = 0;
			for( int j = 0; j < M; j ++ ){
				r += (long long)c * (long long)e[i][j];
				c += a[j];
				a[j] += e[i][j];
			}
//			printf( "%d %d %d\n", i, c, r );
		}
		cout << "Test case " << C << ": " << r << endl;
//		printf( "Test case %d: %lld\n", C, r );
	}
	fclose( in );
	return 0;
}