#include <array>
#include <bitset>
#include <string>
#include <vector>
#include <iostream>
#include <algorithm>
using namespace std;

int parse(const string& s) {
	const int L = s.size();
	int pos = 0;
	auto e1 = [&](auto& e1, auto& e2, auto& e3, auto& e4, auto& e5) -> int {
		int res = e2(e1, e2, e3, e4, e5);
		while (pos != L && s[pos] == '^') {
			pos++;
			res ^= e2(e1, e2, e3, e4, e5);
		}
		return res;
	};
	auto e2 = [&](auto& e1, auto& e2, auto& e3, auto& e4, auto& e5) -> int {
		int res = e3(e1, e2, e3, e4, e5);
		while (pos != L && s[pos] == '|') {
			pos++;
			res |= e3(e1, e2, e3, e4, e5);
		}
		return res;
	};
	auto e3 = [&](auto& e1, auto& e2, auto& e3, auto& e4, auto& e5) -> int {
		int res = e4(e1, e2, e3, e4, e5);
		while (pos != L && s[pos] == '&') {
			pos++;
			res &= e4(e1, e2, e3, e4, e5);
		}
		return res;
	};
	auto e4 = [&](auto& e1, auto& e2, auto& e3, auto& e4, auto& e5) -> int {
		int res = e5(e1, e2, e3, e4, e5);
		while (pos != L && s[pos] == '=') {
			pos++;
			res ^= e5(e1, e2, e3, e4, e5) ^ 1;
		}
		return res;
	};
	auto e5 = [&](auto& e1, auto& e2, auto& e3, auto& e4, auto& e5) -> int {
		if (s[pos] == '0') {
			pos++;
			return 0;
		}
		if (s[pos] == '1') {
			pos++;
			return 1;
		}
		if (s[pos] == '!') {
			pos++;
			return 1 - e5(e1, e2, e3, e4, e5);
		}
		pos++; // '('
		int res = e1(e1, e2, e3, e4, e5);
		pos++; // ')'
		return res;
	};
	return e1(e1, e2, e3, e4, e5);
}

int main() {
	// step #1. input & make array
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	int N, K;
	cin >> N >> K;
	vector<bitset<1024> > G(1 << K), H(1 << K);
	vector<vector<array<bool, 4> > > vis(K, vector<array<bool, 4> >(K, {false, false, false, false}));
	for (int i = 0; i < N; i++) {
		int a, b, c; string s;
		cin >> a >> b >> s >> c;
		a--; b--;
		for (int x = 0; x < 2; x++) {
			for (int y = 0; y < 2; y++) {
				string t = s;
				replace(t.begin(), t.end(), 'x', char(x + '0'));
				replace(t.begin(), t.end(), 'y', char(y + '0'));
				int res = parse(t);
				if (res == 1) {
					if (!vis[a][b][x * 2 + y]) {
						vis[a][b][x * 2 + y] = true;
						for (int j = 0; j < (1 << K); j++) {
							if (((j >> a) & 1) == x) {
								for (int k = 0; k < (1 << K); k++) {
									if (((k >> b) & 1) == y && H[j][k] == 0) {
										G[j][k] = c;
										H[j][k] = 1;
									}
								}
							}
						}
					}
				}
			}
		}
	}
	int R;
	cin >> R;
	for (int i = 0; i < (1 << K); i++) {
		for (int j = 0; j < (1 << K); j++) {
			if (H[i][j] == 0) {
				G[i][j] = R;
			}
		}
	}

	// step #2. calculate answer
	int ans1 = 0, ans2 = 0, ans3 = 0;
	for (int i = 0; i < (1 << K); i++) {
		ans1 += int(G[i][i] == 1);
		for (int j = 0; j < (1 << K); j++) {
			ans2 += int(G[i][j] == 1 && G[j][i] == 1);
			if (G[i][j] == 1) {
				ans3 += (~G[i] & G[j]).count();
			}
		}
	}

	// step #3. output
	cout << ans1 << ' ' << ans2 << ' ' << ans3 << endl;

	return 0;
}