#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
 
int main(){
    int t,tt=1;
    cin>>t;
    while(t--){
        LL a,b,c;
        cin>>a>>b>>c;
        LL ar[b],ar1;
        for(LL i=0;i<b;i++){
            cin>>ar[i];
        }
        LL cnt,sum=0;
        for(LL i=0;i<c;i++){
            cin>>ar1;
            cnt=0;
            sum+=(a/ar1);
            for(LL j=0;j<b;j++){
                if(ar[j]%ar1==0) cnt++;
            }
        //    cout<<sum<<" "<<cnt<<endl;
            sum-=cnt;
        }
        cout<<"Case #"<<tt++<<": "<<sum<<endl;
    }
    return 0;
}

I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CnR5cGVkZWYgbG9uZyBsb25nIExMOwoKaW50IG1haW4oKXsKICAgIGludCB0LHR0PTE7CiAgICBjaW4+PnQ7CiAgICB3aGlsZSh0LS0pewogICAgICAgIExMIGEsYixjOwogICAgICAgIGNpbj4+YT4+Yj4+YzsKICAgICAgICBMTCBhcltiXSxhcjE7CiAgICAgICAgZm9yKExMIGk9MDtpPGI7aSsrKXsKICAgICAgICAgICAgY2luPj5hcltpXTsKICAgICAgICB9CiAgICAgICAgTEwgY250LHN1bT0wOwogICAgICAgIGZvcihMTCBpPTA7aTxjO2krKyl7CiAgICAgICAgICAgIGNpbj4+YXIxOwogICAgICAgICAgICBjbnQ9MDsKICAgICAgICAgICAgc3VtKz0oYS9hcjEpOwogICAgICAgICAgICBmb3IoTEwgaj0wO2o8YjtqKyspewogICAgICAgICAgICAgICAgaWYoYXJbal0lYXIxPT0wKSBjbnQrKzsKICAgICAgICAgICAgfQogICAgICAgIC8vICAgIGNvdXQ8PHN1bTw8IiAiPDxjbnQ8PGVuZGw7CiAgICAgICAgICAgIHN1bS09Y250OwogICAgICAgIH0KICAgICAgICBjb3V0PDwiQ2FzZSAjIjw8dHQrKzw8IjogIjw8c3VtPDxlbmRsOwogICAgfQogICAgcmV0dXJuIDA7Cn0=

MwoxMSAxIDIKOAoyIDMKMTEgMTEgMTEKMSAyIDMgNCA1IDYgNyA4IDkgMTAgMTEKMSAyIDMgNCA1IDYgNyA4IDkgMTAgMTEKMTAwMCA2IDEKNCA4IDE1IDE2IDIzIDQyCjE=

3
11 1 2
8
2 3
11 11 11
1 2 3 4 5 6 7 8 9 10 11
1 2 3 4 5 6 7 8 9 10 11
1000 6 1
4 8 15 16 23 42
1