#include <iostream>
#include <cstdio>

using namespace std;

int sSum=0,gSum=0;

int main()
{
    int n,m;
    cin>>n>>m;
    int a[m];
    for(int i=0;i<m;i++){
        cin>>a[i];
    }
    while(n--){
        char s[1000];
        int num;
        cin>>s>>num;
        int j=0;
        int ggSum=0,ssSum=0;
        while(num--){
            int temp;
            cin>>temp;
            for(int i=0;i<m;i++){
                if(temp==a[i]){
                    if(j!=0){
                        printf(" %04d",temp);
                    }
                    if(j==0){
//                        cout<<s;
                        printf("%s: %04d",s,temp);
                        j++;
                    }
                    ggSum++;
                }
            }
        }
        if(ggSum>0){
            ssSum++;
        }
        if(ssSum!=0){
            cout<<"\n";
        }
        sSum+=ssSum;
        gSum+=ggSum;
    }
    cout<<sSum<<" "<<gSum;
    return 0;
}