#include <stdio.h>
#include <string.h>
int main()
{
    int s,t,m,id,p,q,sid,tot,num,i;
    int school[100],c=1;
    while(EOF!=scanf("%d%d%d",&s,&t,&m))
    {
        if(s==0&&t==0&&m==0)break;
        memset(school,0,sizeof(school));
        for(i=0;i<s;i++)
        {
            scanf("%d %d %d",&id,&p,&q);
            if(p==1)school[id-1]++;
            if(q==1)school[id-1]++;
        }
        for(i=0;i<t;i++)
        {
            scanf("%d %d",&sid,&tot);
            if(tot>=m)school[sid-1]++;
        }
        num=0;
        for(i=0;i<s;i++)
        {
            if(school[i]>3)num+=3;
            else num+=school[i];
        }
        printf("Case %d: %d\n",c++,num);
    }
    return 0;
}