#include<iostream>
#include<bitset>
#include<cstring>
using namespace std;
int p[1000010];
char s[1000010];
int solve(int l,int r,int op=0)
{
	while(p[r]==l)
	{
		l++,r--,op=0;
	}
	if(op==0)
	{
		for(int i=r;i>=l;i--)
		{
			if(s[i]==')')
			{
				i=p[i];
				continue;
			}
			if(s[i]=='^')
			{
				return solve(l,i-1,0)^solve(i+1,r,1);
			}
		}
	}
	if(op<=1)
	{
		for(int i=r;i>=l;i--)
		{
			if(s[i]==')')
			{
				i=p[i];
				continue;
			}
			if(s[i]=='|')
			{
				return solve(l,i-1,0)|solve(i+1,r,2);
			}
		}
	}
	if(op<=2)
	{
		for(int i=r;i>=l;i--)
		{
			if(s[i]==')')
			{
				i=p[i];
				continue;
			}
			if(s[i]=='&')
			{
				return solve(l,i-1,0)&solve(i+1,r,3);
			}
		}
	}
	if(op<=3)
	{
		for(int i=r;i>=l;i--)
		{
			if(s[i]==')')
			{
				i=p[i];
				continue;
			}
			if(s[i]=='=')
			{
				int L=solve(l,i-1,0);
				int R=solve(i+1,r,4);
				return (L&R)|((15^L)&(15^R));
			}
		}
	}
	if(s[l]=='!')
	{
		return 15^solve(l+1,r,4);
	}
	if(s[l]=='0')
	{
		return 0;
	}
	if(s[l]=='1')
	{
		return 15;
	}
	if(s[l]=='x')
	{
		return 12;
	}
	return 10;
}
inline void work(int n)
{
	static int sta[500010];
	int head=0;
	for(int i=1;i<=n;i++)
	{
		if(s[i]=='(')
		{
			sta[++head]=i;
		}
		if(s[i]==')')
		{
			p[i]=sta[head--];
		}
	}
}
struct expr
{
	int x,y,f;
	bool ret;
};
int n,m;
expr a[200010];
bool f[1<<10][1<<10];
bitset<1<<10> F[1<<10];
int main()
{
	ios::sync_with_stdio(false);
	cin.tie(0);
	cin>>n>>m;
	for(int i=1;i<=n;i++)
	{
		cin>>a[i].x>>a[i].y>>s+1>>a[i].ret;
		a[i].x--,a[i].y--;
		int len=strlen(s+1);
		work(len),a[i].f=solve(1,len);
	}
	bool ret;
	cin>>ret;
	a[++n]={0,0,15,ret};
	int U=(1<<m)-1;
	for(int i=0;i<=U;i++)
	{
		int S=U,S0=U,S1=U;
		for(int j=1;j<=n;j++)
		{
			int t=(i&(1<<a[j].x))?
			(a[j].f>>2):(a[j].f&3);
			if((S0&(1<<a[j].y))&&(t&1))
			{
				if(a[j].ret)
				{
					int tS=S&(U^(1<<a[j].y));
					int s=(S1^tS)&(U^(1<<a[j].y));
					for(int k=tS;k;k=k-1&tS)
					{
						f[i][s|k]=1;
					}
					f[i][s]=1;
					if(S==tS)
					{
						break;
					}
					S0^=1<<a[j].y,S=tS;
				}
				else
				{
					if(!(S&(1<<a[j].y)))
					{
						break;
					}
					S0^=1<<a[j].y;
					S^=1<<a[j].y;
				}
			}
			if((S1&(1<<a[j].y))&&(t&2))
			{
				if(a[j].ret)
				{
					int tS=S&(U^(1<<a[j].y));
					int s=S1^tS;
					for(int k=tS;k;k=k-1&tS)
					{
						f[i][s|k]=1;
					}
					f[i][s]=1;
					if(S==tS)
					{
						break;
					}
					S1^=1<<a[j].y,S=tS;
				}
				else
				{
					if(!(S&(1<<a[j].y)))
					{
						break;
					}
					S1^=1<<a[j].y;
					S^=1<<a[j].y;
				}
			}
		}
	}
	int ans1=0,ans2=0,ans3=0;
	for(int i=0;i<(1<<m);i++)
	{
		ans1+=f[i][i];
		for(int j=0;j<(1<<m);j++)
		{
			ans2+=f[i][j]&&f[j][i];
			F[i][j]=f[i][j];
		}
	}
	for(int i=0;i<(1<<m);i++)
	{
		for(int j=0;j<(1<<m);j++)
		{
			if(f[i][j])
			{
				ans3+=(F[j]&(~F[i])).count();
			}
		}
	}
	cout<<ans1<<" "<<ans2<<" "<<ans3<<endl;
	return 0;
}