#include<iostream>
#include<queue>
using namespace std;
int main() {
int n,m;
cin>>n>>m;
int checked[10003]= {0};
for(int i=0; i<m; ++i) {
int t;
cin>>t;
checked[t]=1;
}
int ans1=0,ans2=0;
for(int i=0; i<n; ++i) {
string name;
int k,flag=0;
cin>>name>>k;
for(int j=0; j<k; ++j) {
int t;
cin>>t;
if(checked[t]) {
ans2++;
if(!flag) {
cout<<name<<":";
flag=1;
}
printf(" %04d",t);
}
}
if(flag) {
cout<<endl;
ans1++;
}
}
cout<<ans1<<" "<<ans2;
return 0;
}