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

using System;
using System.IO;
using System.Linq;
using System.Collections.Generic;

namespace gossip {

    class Program {
        static void Main(String[] args) {
            StreamReader streamReader = new StreamReader(Console.OpenStandardInput());
            StreamWriter streamWriter = new StreamWriter(Console.OpenStandardOutput());
            // decommenta le due righe seguenti se vuoi leggere/scrivere da file
            // streamReader = new StreamReader("input.txt");
            // streamWriter = new StreamWriter("output.txt");

            IEnumerator<String> it = GetEnumerator(streamReader);

            int T = Convert.ToInt32(Next(it));
            for (int test = 1; test <= T; ++test) {
                int N = Convert.ToInt32(Next(it));
                int M = Convert.ToInt32(Next(it));
                int K = Convert.ToInt32(Next(it));

                int[] G = new int[K];
                for (int i = 0; i < K; ++i)
                    G[i] = Convert.ToInt32(Next(it));

                int[] A = new int[M];
                int[] B = new int[M];
                for (int i = 0; i < M; ++i) {
                    A[i] = Convert.ToInt32(Next(it));
                    B[i] = Convert.ToInt32(Next(it));
                }

                long ris = 0;


                // INSERISCI IL TUO CODICE QUI


                streamWriter.Write($"Case #{test}: ");
                streamWriter.WriteLine($"{ris}");
            }

            streamReader.Close();
            streamWriter.Close();
        }

        static IEnumerator<String> GetEnumerator(StreamReader sr) {
            String line;
            while ((line = sr.ReadLine()) != null) {
                String[] tokens = line.Split(' ').Where(t => t.Length > 0).ToArray();
                foreach (String t in tokens) {
                    yield return t;
                }
            }
        }

        static String Next(IEnumerator<String> iterator) {
            return iterator.MoveNext() ? iterator.Current : null;
        }
    }
}