#include <stdio.h>
#include <stdlib.h>
int main()
{
int n,m,k; //学生人数/需要被查缴的物品种类数/个人物品数量
scanf("%d%d",&n,&m);
int capture[m]; //需要被查缴的物品种类数
char name[n][4]; //学生姓名
int hava[n][10]; //个人物品数量
int i,j,x,l;
int s_num=0,c_num=0; //统计最后的学生数和查缴数
for(i=0; i<m; i++)
{
scanf("%d",&capture[i]);
}
for(i=0; i<n; i++)
{
scanf("%s",name[i]);
scanf("%d",&k);
int flag=0;
for(j=0; j<k; j++)
{
int len=1,back=0; //位数、备份
scanf("%d",&hava[i][j]);
for(x=0; x<m; x++)
{
if(hava[i][j]==capture[x]) //比较是否相同
{
if(flag==0)
{
printf("%s:",name[i]);
}
printf(" ");
back=capture[x]; //备份
while(back>1) //判断位数
{
back /= 10;
len++;
}
for(l=0; l<4-len; l++) //根据位数补充0
{
printf("0");
}
printf("%d",capture[x]);
flag = 1;
c_num++;
}
}
}
if(flag==1)
{
printf("\n");
s_num++;
}
}
printf("%d %d",s_num,c_num);
return 0;
}