#include <bits/stdc++.h>
#define all(a) begin(a), end(a)
#define int long long
using namespace std;

int prior(char c){
	if (c == '!') return 4;
	if (c == '=') return 3;
	if (c == '&') return 2;
	if (c == '|') return 1;
	if (c == '^') return 0;
	if (c == '(' || c == ')') return -1;
	return -2;
}

bool is_op(char c){
	return prior(c) > -2;
}

bool calc(char c, bool x, bool y){
	if (c == '=') return x == y;
	if (c == '&') return x & y;
	if (c == '|') return x | y;
	if (c == '^') return x ^ y;
	assert(false); return -1;
}

bool eval(string s, bool x, bool y){
	s = "(" + s + ")";
	vector<bool> val; vector<char> op;
	for (auto c : s) {
		// for (auto x : val) cout << x << ' '; cout << endl;
		// for (auto c : op) cout << c << ' '; cout << endl;
		// cout << "Process " << c << ' ' << is_op(c) << endl;
		if (is_op(c)) {
			if (c == '(') {
				op.push_back('(');
				continue;
			} else if (c == ')') {
				while (!op.empty() && prior(op.back()) > prior(c)) {
					if (op.back() == '!') {
						val.back() = !val.back();
						op.pop_back();
						continue;
					}
					assert(val.size() >= 2);
					bool x = val[val.size() - 2], y = val.back(); val.pop_back();
					val.back() = calc(op.back(), x, y); op.pop_back();
				}
				op.pop_back();
				continue;
			}
			while (!op.empty() && prior(op.back()) > prior(c)) {
				if (op.back() == '!') {
					val.back() = !val.back();
					op.pop_back();
					continue;
				}
				assert(val.size() >= 2);
				bool x = val[val.size() - 2], y = val.back(); val.pop_back();
				val.back() = calc(op.back(), x, y); op.pop_back();
			}
			op.push_back(c);
		} else {
			bool b;
			if (c == 'x' || c == 'y') {
				b = c == 'x' ? x : y;
			} else {
				b = c - '0';
			}
			while (!op.empty() && op.back() == '!') {
				b = !b; op.pop_back();
			}
			val.push_back(b);
		}
	}
	return val[0];
}

struct Comparator{
	int a, b, m, r;

	bool term(int x, int y){
		bool b1 = (x >> a) & 1;
		bool b2 = (y >> b) & 1;
		return (m >> (b1 * 2 + b2)) & 1;
	}
};

int msk[11][11];
bool cmp[1 << 10][1 << 10];
void solve() {
	int n, k; cin >> n >> k;
	vector<Comparator> C;
	for (int i = 0; i < n; i++) {
		int a, b; cin >> a >> b;
		string expr; cin >> expr;
		int m = 0;
		// cout << "*" << '\n';
		for (int i = 0; i < 2; i++) {
			for (int j = 0; j < 2; j++) {
				m += eval(expr, i, j) * (1 << (i * 2 + j));
				// cout << i << ' ' << j << ' ' << eval(expr, i, j) << '\n';
			}
		}
		int r; cin >> r;
		if ((msk[a][b] | m) == msk[a][b]) continue;
		msk[a][b] |= m; C.push_back({a - 1, b - 1, m, r});
	}
	bool lst; cin >> lst;
	
	for (int a = 0; a < (1 << k); a++) {
		for (int b = 0; b < (1 << k); b++) {
			bool done = false;
			for (auto& c : C) {
				if (c.term(a, b)) {
					done = true; cmp[a][b] = c.r;
					break;
				}
			}
			if (!done) cmp[a][b] = lst;
		}
	}

	const int K = 1 << k;
	// for (int i = 0; i < K; i++) {
	// 	for (int j = 0; j < K; j++) {
	// 		cout << cmp[i][j] << ' ';
	// 	}
	// 	cout << '\n';
	// }
	int a1 = 0, a2 = 0, a3 = 0;
	for (int a = 0; a < K; a++) {
		a1 += cmp[a][a];
		for (int b = 0; b < K; b++) {
			if (cmp[a][b] && cmp[b][a]) a2++;
			for (int c = 0; c < K; c++) {
				if (cmp[a][b] && cmp[b][c] && !cmp[a][c])
					a3++;
			}
		}
	}
	cout << a1 << ' ' << a2 << ' ' << a3 << '\n';
}

int32_t main(){
#ifndef LOCAL
	cin.tie(0)->sync_with_stdio(false);
#endif
	int t = 1;
	// cin >> t;
	while (t--) {
		solve();
	}
}