f
plus
a
a
plus
f
a
f
a
plus
f
a
f
a
plus
a
f
f
a
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
y
plus
y
x
plus
x
plus
y
z
plus
x
y
plus
f
a
f
a
f
f
a
f
plus
a
a
f
a
f
plus
a
a
f
a
f
plus
a
a
plus
f
a
f
a
plus
f
a
f
a
plus
a
f
f
a
plus
plus
f
a
f
a
_1
plus
plus
a
f
f
a
_1
f
plus
a
a
f
a
false
f
plus
a
a
plus
f
a
f
a
false
plus
x
plus
y
z
plus
x
y
plus
x
y
plus
y
x
plus
f
a
f
a
plus
a
f
f
a
plus
x
plus
y
z
plus
plus
x
y
z
true
a
0
20163
plus
2
1
2
0
f
1
1
0
f
1
0
plus
2
1
2
1
plus
x
plus
y
z
plus
x
y
plus
x
y
plus
y
x
f
plus
a
a
plus
f
a
f
a
plus
x
plus
y
z
plus
plus
x
y
z
plus
f
a
f
a
plus
a
f
f
a
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
f
a
f
a
plus
a
f
f
a
true
f
1
1
a
0
1
plus
2
2
1
2
f
1
0
plus
2
2
1
2
a
0
0
plus
2
1
0
2
0
0
f
1
0
plus
2
1
0
2
0
0
plus
f
a
f
a
plus
a
f
f
a
plus
x
y
plus
y
x
f
plus
a
a
plus
f
a
f
a
plus
x
plus
y
z
plus
plus
x
y
z
plus
f
a
f
a
plus
a
f
f
a
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
f
plus
a
a
f
a
false
plus
f
a
f
a
f
f
a
false
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
x
y
plus
plus
f
a
f
a
_1
plus
plus
a
f
f
a
_1
plus
x
plus
y
z
plus
plus
x
y
z
true
a
0
29243
plus
2
1
2
0
f
1
1
0
f
1
0
plus
2
1
2
1
plus
x
plus
y
z
plus
x
y
plus
x
y
plus
y
x
f
plus
a
a
plus
f
a
f
a
plus
x
plus
y
z
plus
plus
x
y
z
plus
f
a
f
a
plus
a
f
f
a
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
plus
f
a
f
a
_1
plus
plus
a
f
f
a
_1
true
f
1
1
a
0
1
plus
2
2
1
2
f
1
0
plus
2
2
1
2
a
0
0
plus
2
1
0
2
0
0
f
1
0
plus
2
1
0
2
0
0
plus
plus
f
a
f
a
_1
plus
plus
a
f
f
a
_1
plus
x
y
plus
y
x
f
plus
a
a
plus
f
a
f
a
plus
x
plus
y
z
plus
plus
x
y
z
plus
f
a
f
a
plus
a
f
f
a
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
true
NaTT
certifiable-1.6