+
+
xy
z
+
x
+
yz
+
x
0
x
*
*
xy
z
*
x
*
yz
*
x
1
x
exp
0
1
exp
+
xy
*
exp
x
exp
y
+
+
xy
z
+
x
+
yz
+
x
0
x
*
*
xy
z
*
x
*
yz
*
x
1
x
exp
0
1
exp
+
xy
*
exp
x
exp
y
+
x
+
0
z
+
xz
*
x
*
1
z
*
xz
2.1
++xyz+yz++xyz+x+yz**xyz*yz**xyz*x*yzexp+xyexpyexp+xyexpxexp+xy*expxexpy+x+0z+xz*x*1z*xztrue++xyz+yz++xyz+x+yz+x+0z+xztrue+21+x+0z+xz+22exp+xyexpyexp+xyexpxtrue1exp11exp+xy*expxexpyfalse1**xyz*yz**xyz*x*yz*x*1z*xztrue*21*x*1z*xz*22
+
+
xy
z
+
x
+
yz
+
+
xy
z
+
+
xy
z
+
x
+
yz
+
x
+
yz
+
x
0
x
+
x
0
+
x
0
x
x
*
*
xy
z
*
x
*
yz
*
*
xy
z
*
*
xy
z
*
x
*
yz
*
x
*
yz
*
x
1
x
*
x
1
*
x
1
x
x
exp
0
1
exp
0
exp
0
1
1
exp
+
xy
*
exp
x
exp
y
exp
+
xy
exp
+
xy
*
exp
x
exp
y
*
exp
x
exp
y
+
x
+
0
z
+
xz
+
x
+
0
z
+
+
xy
z
+
x
+
yz
+
+
x
0
z
1
+
x
0
x
+
xz
*
x
*
1
z
*
xz
*
x
*
1
z
*
*
xy
z
*
x
*
yz
*
*
x
1
z
1
*
x
1
x
*
xz
kbcv2.0.0.0