quot
0
s
y
s
z
0
quot
s
x
s
y
z
quot
x
y
z
plus
0
y
y
plus
s
x
y
s
plus
x
y
quot
x
0
s
z
s
quot
x
plus
z
s
0
s
z
2.2
quot
x
0
s
z
quot
x
plus
z
s
0
s
z
quot
x
0
s
z
plus
z
s
0
quot
s
x
s
y
z
quot
x
y
z
plus
s
x
y
plus
x
y
true
quot
s
x
s
y
z
quot
x
y
z
quot
x
0
s
z
quot
x
plus
z
s
0
s
z
true
s
1
1
1
plus
2
0
0
0
1
quot
3
0
plus
2
1
32286
quot
3
1
0
quot
x
0
s
z
quot
x
plus
z
s
0
s
z
quot
x
0
s
z
quot
x
plus
z
s
0
s
z
true
s
1
1
plus
2
0
0
0
3
quot
3
0
plus
2
2
1
quot
3
2
0
plus
s
x
y
s
plus
x
y
plus
0
y
y
quot
x
0
s
z
plus
z
s
0
false
plus
s
x
y
plus
x
y
true
s
1
1
1
plus
2
1
0
0
0
20819
quot
3
0
plus
2
1
2
0
quot
3
2
0
plus
s
x
y
s
plus
x
y
plus
0
y
y
NaTT
certifiable-1.6