plus
x
0
x
plus
x
x
x
plus
T
x
x
T
x
plus
T
plus
x
y
x
T
plus
x
y
L
T
x
L
x
L
plus
T
y
x
plus
L
plus
x
y
L
y
T
T
x
T
x
T
plus
T
y
x
plus
T
plus
x
y
T
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
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
L
plus
T
y
x
L
plus
x
y
T
plus
T
y
x
plus
T
plus
x
y
T
y
T
plus
T
y
x
plus
x
y
T
plus
T
y
x
T
plus
x
y
L
plus
T
y
x
plus
x
y
L
plus
T
y
x
plus
L
plus
x
y
L
y
L
T
x
L
x
L
plus
T
y
x
L
y
plus
plus
x
x
_1
plus
x
_1
plus
plus
T
x
x
_1
plus
T
x
_1
plus
plus
x
0
_1
plus
x
_1
plus
plus
T
plus
x
y
x
_1
plus
T
plus
x
y
_1
T
plus
T
y
x
T
plus
x
y
true
T
1
1
L
1
0
T
1
1
1
plus
2
0
0
0
0
L
1
0
plus
2
0
1
2
L
1
0
T
1
1
0
plus
2
0
0
0
0
L
1
0
plus
2
1
0
2
0
0
T
plus
T
y
x
T
plus
x
y
plus
T
plus
x
y
x
T
plus
x
y
T
plus
T
y
x
plus
T
plus
x
y
T
y
plus
x
0
x
plus
T
x
x
T
x
plus
x
y
plus
y
x
T
T
x
T
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
x
x
T
plus
T
y
x
plus
T
plus
x
y
T
y
false
T
plus
T
y
x
plus
x
y
false
L
plus
T
y
x
L
y
L
T
x
L
x
L
plus
T
y
x
L
plus
x
y
true
T
1
0
L
1
1
0
T
1
1
1
plus
2
0
0
0
0
L
1
0
plus
2
1
0
2
0
0
L
T
x
L
x
L
plus
T
y
x
L
y
plus
T
plus
x
y
x
T
plus
x
y
T
plus
T
y
x
plus
T
plus
x
y
T
y
plus
x
0
x
plus
T
x
x
T
x
plus
x
y
plus
y
x
T
T
x
T
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
x
x
L
plus
T
y
x
L
plus
x
y
true
T
1
1
L
1
0
1
T
1
1
1
plus
2
0
0
0
0
L
1
0
plus
2
0
1
2
L
1
1
0
T
1
1
0
plus
2
0
0
0
0
L
1
0
plus
2
1
0
2
0
0
L
plus
T
y
x
L
plus
x
y
plus
T
plus
x
y
x
T
plus
x
y
T
plus
T
y
x
plus
T
plus
x
y
T
y
plus
x
0
x
plus
T
x
x
T
x
plus
x
y
plus
y
x
T
T
x
T
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
x
x
L
plus
T
y
x
plus
L
plus
x
y
L
y
false
L
plus
T
y
x
plus
x
y
false
plus
x
plus
y
z
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
true
plus
plus
T
plus
x
y
x
_1
plus
T
plus
x
y
_1
plus
x
plus
y
z
plus
x
y
plus
x
y
plus
y
x
plus
plus
x
x
_1
plus
x
_1
plus
plus
T
x
x
_1
plus
T
x
_1
plus
x
plus
y
z
plus
plus
x
y
z
plus
plus
x
0
_1
plus
x
_1
true
T
1
0
L
1
0
T
1
0
plus
2
1
2
0
0
0
1
L
1
0
plus
2
1
2
0
plus
plus
x
0
_1
plus
x
_1
plus
T
plus
x
y
x
T
plus
x
y
T
plus
T
y
x
plus
T
plus
x
y
T
y
plus
x
0
x
plus
T
x
x
T
x
plus
x
y
plus
y
x
T
T
x
T
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
x
x
plus
plus
T
plus
x
y
x
_1
plus
T
plus
x
y
_1
plus
plus
T
x
x
_1
plus
T
x
_1
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
plus
x
x
_1
plus
x
_1
true
T
1
1
L
1
0
1
T
1
1
1
plus
2
0
1
2
0
0
0
L
1
0
plus
2
0
1
2
L
1
1
0
T
1
1
0
plus
2
1
0
2
0
0
0
0
0
L
1
0
plus
2
1
0
2
0
0
plus
plus
x
x
_1
plus
x
_1
plus
x
plus
y
z
plus
x
y
plus
plus
T
x
x
_1
plus
T
x
_1
plus
plus
T
plus
x
y
x
_1
plus
T
plus
x
y
_1
plus
T
plus
x
y
x
T
plus
x
y
T
plus
T
y
x
plus
T
plus
x
y
T
y
plus
x
0
x
plus
T
x
x
T
x
plus
x
y
plus
y
x
T
T
x
T
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
x
x
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
NaTT
certifiable-1.6