#include <assert.h>
#include <stdio.h>
#include <stdlib.h>


void solve(int t) {
    int N, A, B, i;

    assert(scanf("%d %d %d", &N, &A, &B) == 3);

    int* Z = malloc(A * sizeof(int));
    int* X = malloc(B * sizeof(int));
    int* Y = malloc(B * sizeof(int));

    for (i = 0; i < A; i++) {
        assert(scanf("%d", &Z[i]) == 1);
    }
    for (i = 0; i < B; i++) {
        assert(scanf("%d %d", &X[i], &Y[i]) == 2);
    }

    int idx = 42; // memorizza qui l'indice della lampadina
    int num = 42; // memorizza qui il numero di interruttori

    // aggiungi codice...

    printf("Case #%d: %d %d\n", t, idx, num);

    free(Z);
    free(X);
    free(Y);
}

int main() {
    // se preferisci leggere e scrivere da file
    // ti basta decommentare le seguenti due righe:

    //freopen("input.txt", "r", stdin);
    //freopen("output.txt", "w", stdout);

    int T, t;
    scanf("%d", &T);

    for (t = 1; t <= T; t++) {
        solve(t);
    }

    return 0;
}