#include <bits/stdc++.h>

using namespace std;

#define FOR(i, a, b) for(int i = (a); i < (b); i++)
#define RFOR(i, a, b) for(int i = (a) - 1; i >= (b); i--)
#define SZ(a) int(a.size())
#define ALL(a) a.begin(), a.end()
#define PB push_back
#define MP make_pair
#define F first
#define S second

typedef long long LL;
typedef vector<int> VI;
typedef pair<int, int> PII;
typedef double db;

int n, Q;

struct DSU
{
	int n;
	VI p, sz;
	VI xr, val;
	
	void init(int _n)
	{
		n = _n;
		p.resize(n);
		iota(ALL(p), 0);
		sz.assign(n, 1);
		xr.assign(n, 0);
		val.assign(n, -1);
	}
	PII find(int v)
	{
		if (v == p[v])
			return {v, xr[v]};
		PII res = find(p[v]);
		return {res.F, res.S ^ xr[v]};
	}
	bool unite(int u, int v, int x)
	{
		PII U = find(u);
		PII V = find(v);
		u = U.F;
		v = V.F;
		if (u == v)
			return (U.S ^ V.S) == x;
		if (sz[u] > sz[v])
			swap(u, v);
		p[u] = v;
		xr[u] = x ^ U.S ^ U.F;
		sz[v] += sz[u];
		if (val[u] != -1 && val[v] != -1 && (val[u] ^ xr[u]) != val[v])
			return false;
		if (val[u] != -1 && val[v] == 1)
			val[v] = val[u] ^ xr[u];
		return true;
	}
};

void solve()
{
	DSU d;
	d.init(n);
	int cnt = 0;
	string s;
	getline(cin, s);
	bool ok = true;
	FOR (i, 0, Q)
	{
		getline(cin, s);
		if (!ok)
			continue;
		stringstream ss(s);
		char c;
		ss >> c;
		int x;
		VI v;
		while (ss >> x)
			v.PB(x);
		if (c == 'I')
		{
			cnt++;
			if (SZ(v) == 2)
			{
				int p = v[0];
				int val = v[1];
				auto res = d.find(p);
				if (d.val[res.F] == -1)
					d.val[res.F] = val;
				if (d.val[res.F] != val)
				{
					cout << "The first " << cnt << " facts are conflicting.\n";
					ok = false;
				}
			}
			else
			{
				assert(SZ(v) == 3);
				int p = v[0];
				int q = v[1];
				int val = v[2];
				ok &= d.unite(p, q, val);
				if (!ok)
				{
					cout << "The first " << cnt << " facts are conflicting.\n";					
				}
			}
		}
		else
		{
			assert(c == 'Q');
			int xr = 0;
			map<int, int> mp;
			FOR (j, 0, v[0])
			{
				int p = v[j + 1];
				PII res = d.find(p);
				mp[res.F]++;
				xr ^= res.S;
			}
			bool know = true;
			for (auto [p, ch] : mp)
			{
				if (ch & 1)
				{
					if (d.val[p] == -1)
						know = false;
					else
						xr ^= d.val[p];
				}
			}
			if (!know)
				cout << "I don't know.\n";
			else
				cout << xr << '\n';
			
		}
	}
}

int main()
{
	ios::sync_with_stdio(0);
	cin.tie(0);
	
	for (int tc = 1; ; tc++)
	{
		cin >> n >> Q;
		if (n == 0)
			break;
		cout << "Case " << tc << ":\n";
		solve();
		cout << '\n';
	}
	
	return 0;
}