// NOTA: si raccomanda di usare questo template anche se non lo si capisce completamente.

#include <fstream>
#include <iostream>
#include <string>
#include <vector>

using namespace std;

int main() {
    // decommenta le due righe seguenti se vuoi leggere/scrivere da file
    // ifstream cin("input.txt");
    // ofstream cout("output.txt");

    int T;
    cin >> T;
    for (int test = 1; test <= T; ++test) {
        int N;
        int M;
        int K;
        cin >> N >> M >> K;

        vector<int> G(K);
        for (int i = 0; i < K; ++i)
            cin >> G[i];

        vector<int> A(M);
        vector<int> B(M);
        for (int i = 0; i < M; ++i)
            cin >> A[i] >> B[i];

        long long ris = 0;


        // INSERISCI IL TUO CODICE QUI


        cout << "Case #" << test << ": ";
        cout << ris << endl;
    }

    return 0;
}