#include<bits/stdc++.h>
using namespace std;
int len;
const int M=11;
int n,m;
int ed[M][M][4],val[M][M][4];
int f[1200][1200];
const int N=1000005;
char expr[N];
int pos;
int x,y;
int fin;
// bool expression();
bool variable();
bool expeq();
bool expand();
bool expor();
bool expxor();
bool term()
{
    if (expr[pos]=='(')
    {
        ++pos;
        // bool ans=expression();
        bool ans=expxor();
        ++pos;
        return ans;
    }
    else 
        if (expr[pos] == '!') 
        {
            ++pos;
            return !term();
        }
        else
            return variable();
}
bool calc(bool x,bool y,char z)
{
    switch (z)
    {
        case '|':return x|y;
        case '&':return x&y;
        case '=':return x==y;
        case '^':return x^y;
    }
    return 0;
}
// bool expeq() 
// {
//     bool ans = expand();
//     while (pos <len && expr[pos] == '=') 
//     {
//         ++pos;
//         bool tmp = expand();
//         ans = (ans == tmp);
//     }
//     return ans;
// }

// bool expand() 
// {
//     bool ans = expor();
//     while (pos <len && expr[pos] == '&') 
//     {
//         ++pos;
//         bool tmp = expor();
//         ans = (ans & tmp);
//     }
//     return ans;
// }

// bool expor()
// {
//     bool ans = expxor();
//     while (pos <len && expr[pos] == '|') 
//     {
//         ++pos;
//         bool tmp = expxor();
//         ans = (ans | tmp);
//     }
//     return ans;
// }
// bool expxor()
// {
//     bool ans = term();
//     while (pos <len && expr[pos] == '^') 
//     {
//         ++pos;
//         bool tmp = term();
//         ans = (ans ^ tmp);
//     }
//     return ans;
// }
bool expeq() 
{
    bool ans = term();
    while (pos <len && expr[pos] == '=') 
    {
        ++pos;
        bool tmp = term();
        ans = (ans == tmp);
    }
    return ans;
}

bool expand() 
{
    bool ans = expeq();
    while (pos <len && expr[pos] == '&') 
    {
        ++pos;
        bool tmp = expeq();
        ans = (ans & tmp);
    }
    return ans;
}

bool expor()
{
    bool ans = expand();
    while (pos <len && expr[pos] == '|') 
    {
        ++pos;
        bool tmp = expand();
        ans = (ans | tmp);
    }
    return ans;
}
bool expxor()
{
    bool ans = expor();
    while (pos <len && expr[pos] == '^') 
    {
        ++pos;
        bool tmp = expor();
        ans = (ans ^ tmp);
    }
    return ans;
}
// bool expression()
// {
//     bool ans=term();
//     while (pos<len)
//     {
//         char opt=expr[pos];
//         if (opt=='|'||opt=='&'||opt=='='||opt=='^')
//         {
//             ++pos;
//             bool tmp=term();
//             ans=calc(ans,tmp,opt);
//         }
//         else
//             break;
//     }
//     return ans;
// }
bool variable()
{
    bool ans=0;
    switch (expr[pos])
    {
        case '0':ans=0;break;
        case '1':ans=1;break;
        case 'x':ans=x;break;
        case 'y':ans=y;break;
    }
    ++pos;
    return ans;
}
void work(int id)
{
    int u,v,w;
    scanf("%d%d%s%d",&u,&v,expr,&w);
    --u;
    --v;
    len=strlen(expr);
    for (int i=0;i<=3;++i)
        {
            if (ed[u][v][i]!=0)
                continue;
            x=i/2;
            y=i&1;
            pos=0;
            // bool ans=expression();
            bool ans=expxor();
            if (ans)
            {
                ed[u][v][i]=id;
                val[u][v][i]=w;
            }
        }
}
int work(int x,int y)
{
    int t=n+1,v=fin;
    for (int i=0;i<m;++i)
        for (int j=0;j<m;++j)
        {
            int p=(x>>i)&1,q=(y>>j)&1;
            int o=p*2+q;
            if (ed[i][j][o]!=0&&ed[i][j][o]<t)
            {
                t=ed[i][j][o];
                v=val[i][j][o];
            }
        }
    return v;
}

bitset<1030> g[N+5];
int main()
{
    // freopen("c.in","r",stdin);
    scanf("%d%d",&n,&m);
    for (int i=1;i<=n;++i)
        work(i);
    scanf("%d",&fin);
    for (int i=0;i<(1<<m);++i)
        for (int j=0;j<(1<<m);++j){
            f[i][j]=work(i,j);
            if(f[i][j]) g[i][j]=1;
        }
    //  for (int i=0;i<(1<<m);++i,puts(""))
    //     for (int j=0;j<(1<<m);++j)
    //         printf("%d ",f[i][j]);
    int s1=0,s2=0,s3=0;
    for(int i=0;i<(1<<m);i++){
        if(g[i][i]) s1++;
        for(int j=0;j<(1<<m);j++)
            if(g[i][j]&&g[j][i]) s2++;
    }
    for(int i=0;i<(1<<m);i++){
        for(int j=0;j<(1<<m);j++)
            if(g[i][j])
                s3+=g[j].count()-(g[i]&g[j]).count();
    }
    printf("%d %d %d\n",s1,s2,s3);
    return 0;
}