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