题意：给你n个数，接着三种操作：
I p v ：告诉你 Xp = v
I p q v ：告诉你 Xp ^ Xq = v
Q k p1 p2 … pk：问你k个数连续异或的结果
注意前两类操作可能会出现与之前告诉你的相矛盾，此时输出“The first n（第几个I） facts are conflicting.”接着一直保持沉默，否则不输出。最后一类询问可能得不到值，就输出“I don’t know.”，否则输出结果
题解：告诉你时使用并查集的合并操作，可以记录权值为此点异或父亲节点的值，祖先节点的权值一定为0（其他值异或0不变），因为：X^X1^X1^X2=X^X2 则可以进行路径压缩。
但是我们知道一个集合的关系时，却不一定知道每个元素各自的大小，所以再记录一个权值2，当一个集合祖先的权值2非负时，表示祖先确定大小了，而这个集合就一定可以知道每个元素的大小，否则就不知道。我们合并时就要注意某子树是否知道每个元素的大小。
询问是首先将明确其大小的值计算出来。而只知道关系一些数：如果有偶数个在同一集合，那这偶数个就可以运用它们间的关系一同求出。
这儿还有一个小麻烦就是当输入I时，后面个数不定，所以可以使用sscanf处理。
真不愧是神题啊，我copy文档的“I don’t know.”居然是错的。。。。。。。。。。。。。。。。。。。。。。。。。。。。错的。。。。。。。。。。。。。。。。。。。。。。。。。。
#include<set>
#include<map>
#include<queue>
#include<stack>
#include<cmath>
#include<vector>
#include<string>
#include<cstdio>
#include<cstring>
#include<stdlib.h>
#include<iostream>
#include<algorithm>
using namespace std;
#define eps 1E-8
/*注意可能会有输出-0.000*/
#define Sgn(x) (x<-eps? -1 :x<eps? 0:1)//x为两个浮点数差的比较,注意返回整型
#define Cvs(x) (x > 0.0 ? x+eps : x-eps)//浮点数转化
#define zero(x) (((x)>0?(x):-(x))<eps)//判断是否等于0
#define mul(a,b) (a<<b)
#define dir(a,b) (a>>b)
typedef long long ll;
typedef unsigned long long ull;
const int Inf=<<;
const double Pi=acos(-1.0);
const int Mod=1e9+;
const int Max=;
int fat[Max],ran[Max],num[Max];
int tem[],tem1;
void Init(int n)
{
for(int i=; i<=n; ++i)
{
fat[i]=i;
ran[i]=;
num[i]=-;
}
return;
}
int Find(int x)
{
if(x==fat[x])
return fat[x];
int y=Find(fat[x]);
ran[x]=(ran[x]^ran[fat[x]]);//异或优先级很低
return fat[x]=y;
}
int Union(int x,int y,int z)
{
int x1=Find(x);
if(y==-)//确定一个值
{
if(num[x1]==-)
{
num[x1]=(ran[x]^z);
return ;
}
if(num[x1]==(ran[x]^z))
return ;
return ;
}
int y1=Find(y);
if(x1==y1)
{
if((ran[x]^ran[y])==z)
return ;
return ;
}
if(num[x1]==-)//x集合不知道每个值得权值
{
fat[x1]=y1;
ran[x1]=(ran[x]^ran[y]^z);
return ;
}
else
{
fat[y1]=x1;
ran[y1]=(ran[x]^ran[y]^z);
if(num[y1]==-)
return ;
else
{
if((num[x1]^num[y1])==ran[y1])
return ;
return ;
}
}
}
int Solve(int n)//询问
{
int ans=,vis[];
for(int i=; i<tem1; ++i)
{
int x1=Find(tem[i]);
if(num[x1]!=-)
{
ans=(ans^ran[tem[i]]^num[x1]);
vis[i]=-;
}
else//不知道这个值
{
ans=(ans^ran[tem[i]]);
vis[i]=x1;
}
}
sort(vis,vis+tem1);
int flag=;
for(int i=; i<tem1; ++i)
{
if(vis[i]!=-)//不知道的值要在同集合出现偶数次
{
if(flag)
{
if(vis[i]!=vis[i-])
return -;
flag=;
}
else
flag=;
}
}
if(flag)
return -;
return ans;
}
int main()
{
int n,m;
int xx1,yy1,val,flag,coun=,tem3;
char str[];
while(~scanf("%d %d",&n,&m))
{
if(!n&&!m)
break;
tem3=;
printf("Case %d:\n",++coun);
flag=;
Init(n);
for(int i=; i<m; ++i)
{
scanf("%s",str);
if(str[]=='I')
{
tem3++;
getchar();
gets(str);
if(flag)
{
if(sscanf(str,"%d%d%d",&xx1,&yy1,&val)==)//转化
{
val=yy1;
yy1=-;
}
int tem2=Union(xx1,yy1,val);
if(!tem2)
{
printf("The first %d facts are conflicting.\n",tem3);
flag=;
}
}
}
else
{
scanf("%d",&tem1);
for(int j=; j<tem1; j++)
scanf("%d",&tem[j]);
if(flag)
{
int tem2=Solve(n);
if(tem2==-)
printf("I don't know.\n");
else
printf("%d\n",tem2);
}
}
}
printf("\n");
}
return ;
}