测试数据来自 nnu_contest/1009

描述

首先输入T，表示数据组数。接下来T行，每行一个字符串，包括x,X,0,1,|,&,^,(,)。其中x是布尔变量，X是x取反的值。|,&,^是三种位运算，或，与，异或。输入的表达式保证每一次运算都被括号包裹。例如，"1"，"(x^0)"，"((X&0)|x)"这些表示是合法的。而例如"(1)"，"x^0"，"(X&0|x)"这些非法的表达式则不会出现。现在你可以将一个字符串中的每个符号修改为别的符号使其值与x的取值无关。求最少修改数。（注意，所有符号都能修改，但不能加入或者删除符号）

输入样例

4
X
0
(x|1)
((1^(X&X))|x)

输出样例

Case #1: 1
Case #2: 0
Case #3: 0
Case #4: 1

样例解释

对于第一个样例，将"X"改为"1"即可。
对于第二个样例，不用改变，因为其值恒为0。
对于第三个样例，不用改变，因为其值恒为1。
对于第一个样例，将"((1^(X&X))|x)"改为"((0^(X&X))|x)"即可，这样其值恒为1。（x为0时和x为1时结果都是1）

时空限制

每个测试点1s
空间16384KB

数据范围

对于100%的数据，满足T<=500，1<=字符串长度<=300