// Author: YE Minghan
#include<bits/stdc++.h>
using namespace std;
#ifdef DEBUG
#include "templates/debug.h"
#else
#define dbg(...) (void)0
#define msg(...) (void)0
#endif
#define ll long long
#define endl '\n'
#define PB emplace_back
#define PPB pop_back
#define MP make_pair
#define ALL(Name) Name.begin(),Name.end()
#define PII pair<int,int>
#define VI vector<int>
#define GI greater<int>
#define fi first
#define se second

const int K=10,D=500005;
bool vis[K][K][2][2];
vector<tuple<int,int,bool,bool,bool>>vs;
int lst;
bitset<1<<K> f[1<<K];
int q,k;
int ans1,ans2,ans3;
int wx,wy,wv;
string S;

namespace EVAL
{
VI eq[D],xr[D],ad[D],os[D];
void init()
{
	int mxd=0,cd=0;
	for(char i:S)
	{
		cd+=(i=='(')-(i==')');
		mxd=max(mxd,cd);
	}
	fill(eq,eq+mxd+1,VI());
	fill(xr,xr+mxd+1,VI());
	fill(ad,ad+mxd+1,VI());
	fill(os,os+mxd+1,VI());
	assert(!cd);
	for(int i=0;i<S.size();i++)
	{
		cd+=(S[i]=='(')-(S[i]==')');
		if(S[i]=='=')eq[cd].PB(i);
		if(S[i]=='&')ad[cd].PB(i);
		if(S[i]=='|')os[cd].PB(i);
		if(S[i]=='^')xr[cd].PB(i);
	}
}
int eval(int L,int R,int d)
{
	if(L==R)
	{
		if(S[L]=='0')return 0;
		if(S[L]=='1')return 15;
		if(S[L]=='x')return 12;
		if(S[L]=='y')return 10;
		assert(0);
	}
	auto it=eq[0].begin();

	if((it=lower_bound(ALL(xr[d]),L))!=xr[d].end()&&*it<=R)
		return eval(L,*it-1,d)^eval(*it+1,R,d);
	if((it=lower_bound(ALL(os[d]),L))!=os[d].end()&&*it<=R)
		return eval(L,*it-1,d)|eval(*it+1,R,d);
	if((it=lower_bound(ALL(ad[d]),L))!=ad[d].end()&&*it<=R)
		return eval(L,*it-1,d)&eval(*it+1,R,d);
	if((it=lower_bound(ALL(eq[d]),L))!=eq[d].end()&&*it<=R)
		return 15^eval(L,*it-1,d)^eval(*it+1,R,d);
	if(S[L]=='!')return 15^eval(L+1,R,d);
	if(S[L]=='('&&S[R]==')')return eval(L+1,R-1,d+1);
	assert(0);
}
// 11,10,01,00
int ev(){init();return eval(0,S.size()-1,0);}
}

int main()
{
	ios::sync_with_stdio(false),cin.tie(nullptr);
//	int _;cin>>_;while(_--)

	cin>>q>>k;
	while(q--)
	{
		cin>>wx>>wy>>S>>wv;
		int vl=EVAL::ev();
		wx--,wy--;
		for(int i=0;i<=1;i++)
			for(int j=0;j<=1;j++)
				if(!vis[wx][wy][i][j]&&((vl>>(2*i+j))&1))
					vs.PB(wx,wy,i,j,wv),vis[wx][wy][i][j]=1;
	}
	cin>>lst;
	for(int i=0;i<1<<k;i++)
		for(int j=0;j<1<<k;j++)
		{
			bool ok=0;
			for(auto [x,y,s,t,v]:vs)
				if(((i>>x)&1)==s&&((j>>y)&1)==t)
				{
					f[i][j]=v;
					ok=1;
					break;
				}
			if(!ok)f[i][j]=lst;
		}
	for(int i=0;i<1<<k;i++)ans1+=f[i][i];
	for(int i=0;i<1<<k;i++)
		for(int j=0;j<1<<k;j++)ans2+=f[i][j]&&f[j][i];
	for(int i=0;i<1<<k;i++)
		for(int j=0;j<1<<k;j++)
			if(f[i][j])ans3+=(f[j]&~f[i]).count();
	cout<<ans1<<" "<<ans2<<" "<<ans3<<endl;

	return 0;
}