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