char*p;L[11],i,j,a,b,c;E(int*A){int l[16]={0},r[16]={0};if(*p-40)A[L[*p++-48]]=1;else for(p++,E(l),E(r),i=16;i--;)for(j=16;j--;A[i^j]+=a)A[i&j]+=a=l[i]*r[j],A[i|j]+=a;p++;}main(d,T){for(;scanf("%[^\n]",p=T),c=*p-69;){int A[16]={0};for(i=scanf("%d",&j);i<=j;L[i++]=a+b*2+c*4+d*8)scanf("%d%d%d%d\n",&a,&b,&c,&d);E(A);printf("%d\n",A[15]);}}