+
x
0
x
+
x
s
y
s
+
x
y
*
x
0
0
*
x
s
y
+
*
x
y
x
fac
0
s
0
fac
s
x
*
s
x
fac
x
+
x
0
x
+
x
s
y
s
+
x
y
*
x
0
0
*
x
s
y
+
*
x
y
x
fac
0
s
0
fac
s
x
*
s
x
fac
x
2.1
+xsy+xy*xsy*xy*xsy+*xyxfacsxfacxfacsx*sxfacxtruefacsxfacxtrue1fac11facsx*sxfacxfalse12*xsy*xytrue1*22*xsy+*xyxfalse1+xsy+xytrue+22
+
x
0
x
+
x
0
+
x
0
x
x
+
x
s
y
s
+
x
y
+
x
s
y
+
x
s
y
s
+
x
y
s
+
x
y
*
x
0
0
*
x
0
*
x
0
0
0
*
x
s
y
+
*
x
y
x
*
x
s
y
*
x
s
y
+
*
x
y
x
+
*
x
y
x
fac
0
s
0
fac
0
fac
0
s
0
s
0
fac
s
x
*
s
x
fac
x
fac
s
x
fac
s
x
*
s
x
fac
x
*
s
x
fac
x
kbcv2.0.0.0