#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;
}