plus
x
0
x
plus
x
s
y
s
plus
x
y
plus
plus
2.2
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
plus
y
z
plus
x
y
plus
x
y
plus
y
x
plus
x
s
y
plus
x
y
plus
plus
x
s
y
_1
plus
s
plus
x
y
_1
plus
plus
x
0
_1
plus
x
_1
plus
x
y
plus
y
x
plus
x
s
y
plus
x
y
plus
x
plus
y
z
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
true
s
1
1
1
plus
2
1
2
0
0
0
21277
plus
2
1
2
7720
plus
x
plus
y
z
plus
x
y
plus
x
s
y
plus
x
y
plus
x
y
plus
y
x
plus
x
0
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
s
y
s
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
plus
plus
x
0
_1
plus
x
_1
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
plus
x
s
y
_1
plus
s
plus
x
y
_1
plus
x
plus
y
z
plus
x
y
true
s
1
2438
plus
2
1
2
0
0
0
21277
plus
2
1
2
1
plus
x
plus
y
z
plus
x
y
plus
plus
x
s
y
_1
plus
s
plus
x
y
_1
plus
plus
x
0
_1
plus
x
_1
plus
x
y
plus
y
x
plus
x
0
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
s
y
s
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
NaTT
certifiable-1.6