times
plus
x
y
z
plus
times
x
z
times
y
z
times
z
plus
x
f
y
times
g
z
y
plus
x
a
plus
times
plus
times
2.2
times
x
y
times
y
x
times
x
times
y
z
times
times
x
y
z
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
times
x
y
times
y
x
times
x
times
y
z
times
times
x
y
z
times
x
times
y
z
times
x
y
times
plus
x
y
z
times
y
z
times
plus
x
y
z
times
x
z
times
z
plus
x
f
y
times
g
z
y
plus
x
a
times
times
z
plus
x
f
y
_1
times
times
g
z
y
plus
x
a
_1
times
times
plus
x
y
z
_1
times
plus
times
x
z
times
y
z
_1
times
x
times
y
z
times
x
y
times
z
plus
x
f
y
times
g
z
y
plus
x
a
times
x
times
y
z
times
times
x
y
z
times
plus
x
y
z
times
y
z
times
plus
x
y
z
times
x
z
times
x
y
times
y
x
true
g
2
1
a
0
0
f
1
3
1
times
2
2
1
2
times
2
2
1
2
plus
2
1
1
2
a
0
0
f
1
1
0
times
2
1
0
2
0
0
times
2
1
0
2
0
0
plus
2
1
0
2
0
0
times
plus
x
y
z
times
x
z
times
plus
x
y
z
times
y
z
times
z
plus
x
f
y
times
g
z
y
plus
x
a
times
x
times
y
z
times
x
y
plus
x
y
plus
y
x
times
plus
x
y
z
plus
times
x
z
times
y
z
plus
x
plus
y
z
plus
plus
x
y
z
times
x
times
y
z
times
times
x
y
z
times
x
y
times
y
x
times
z
plus
x
f
y
times
g
z
y
plus
x
a
times
x
times
y
z
times
times
x
y
z
times
x
y
times
y
x
true
times
x
y
times
y
x
times
times
plus
x
y
z
_1
times
plus
times
x
z
times
y
z
_1
times
x
times
y
z
times
times
x
y
z
times
x
times
y
z
times
x
y
times
times
z
plus
x
f
y
_1
times
times
g
z
y
plus
x
a
_1
true
a
0
1
f
1
1
times
2
1
2
0
times
2
1
2
1
plus
2
11293
g
2
0
times
x
times
y
z
times
x
y
times
times
plus
x
y
z
_1
times
plus
times
x
z
times
y
z
_1
plus
x
y
plus
y
x
times
plus
x
y
z
plus
times
x
z
times
y
z
plus
x
plus
y
z
plus
plus
x
y
z
times
x
times
y
z
times
times
x
y
z
times
x
y
times
y
x
times
z
plus
x
f
y
times
g
z
y
plus
x
a
times
x
times
y
z
times
times
x
y
z
times
x
y
times
y
x
times
times
z
plus
x
f
y
_1
times
times
g
z
y
plus
x
a
_1
true
g
2
1
a
0
0
f
1
3
times
2
2
1
2
times
2
2
1
2
plus
2
1
1
2
a
0
0
f
1
0
times
2
1
0
2
0
0
times
2
1
0
2
0
0
plus
2
1
0
2
0
0
times
times
z
plus
x
f
y
_1
times
times
g
z
y
plus
x
a
_1
plus
x
y
plus
y
x
times
plus
x
y
z
plus
times
x
z
times
y
z
plus
x
plus
y
z
plus
plus
x
y
z
times
x
times
y
z
times
times
x
y
z
times
x
y
times
y
x
times
z
plus
x
f
y
times
g
z
y
plus
x
a
times
x
times
y
z
times
times
x
y
z
times
x
y
times
y
x
true
NaTT
certifiable-1.6