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

package main

import (
    "bufio"
    "fmt"
    "os"
    "strconv"
)

func NextString(scanner *bufio.Scanner) string {
    scanner.Scan()
    return scanner.Text()
}

func NextByte(scanner *bufio.Scanner) byte {
    return NextString(scanner)[0]
}

func NextInt(scanner *bufio.Scanner) int {
    i, _ := strconv.Atoi(NextString(scanner))
    return i
}

func NextInt64(scanner *bufio.Scanner) int64 {
    i, _ := strconv.ParseInt(NextString(scanner), 10, 64)
    return i
}

func NextFloat64(scanner *bufio.Scanner) float64 {
    i, _ := strconv.ParseFloat(NextString(scanner), 64)
    return i
}

func main() {
    fin := os.Stdin
    fout := os.Stdout

    // decommenta le due righe seguenti se vuoi leggere/scrivere da file
    // fin, _ = os.Open("input.txt")
    // fout, _ = os.Create("output.txt")

    scn := bufio.NewScanner(fin)
    scn.Split(bufio.ScanWords)

    T := NextInt(scn)
    for test := 1; test <= T; test++ {
        N := NextInt(scn)
        M := NextInt(scn)
        K := NextInt(scn)

        G := make([]int, K)
        for i := 0; i < K; i++ {
            G[i] = NextInt(scn)
        }

        A := make([]int, M)
        B := make([]int, M)
        for i := 0; i < M; i++ {
            A[i] = NextInt(scn)
            B[i] = NextInt(scn)
        }

        var ris int64 = 0


        // INSERISCI IL TUO CODICE QUI
        _, _ = K, N // evita errore variabili non usate


        fmt.Fprintf(fout, "Case #%v: ", test)
        fmt.Fprintf(fout, "%v\n", ris)
    }
}