f
plus
x
y
plus
f
x
y
plus
g
x
y
g
plus
x
y
plus
f
a
g
b
plus
f
b
g
a
h
a
b
h
b
a
h
a
g
g
a
h
g
a
f
a
h
g
a
a
h
a
g
b
h
g
a
b
h
a
g
a
plus
plus
2.2
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
plus
y
z
plus
x
y
plus
x
y
plus
y
x
h
g
a
a
h
a
g
b
h
a
g
g
a
f
a
h
a
b
h
b
a
f
plus
x
y
plus
f
x
y
plus
f
a
g
b
plus
f
b
g
a
f
plus
x
y
f
x
h
a
g
g
a
h
g
a
f
a
plus
g
x
y
plus
x
y
plus
f
a
g
b
f
b
h
g
a
b
h
a
g
a
plus
plus
g
x
y
_1
plus
g
plus
x
y
_1
plus
plus
f
a
g
b
_1
plus
plus
f
b
g
a
_1
h
g
a
b
h
a
g
a
false
h
a
b
h
b
a
false
h
a
g
g
a
f
a
false
h
a
g
g
a
h
g
a
f
a
false
f
plus
x
y
f
x
true
a
0
0
h
2
0
b
0
0
plus
2
0
f
1
0
h
2
0
f
1
1
0
plus
2
1
2
1
g
1
0
f
plus
x
y
f
x
f
plus
x
y
plus
f
x
y
false
plus
x
plus
y
z
plus
x
y
plus
g
x
y
plus
x
y
plus
x
y
plus
y
x
plus
x
plus
y
z
plus
plus
x
y
z
plus
f
a
g
b
plus
f
b
g
a
true
a
0
1
h
2
0
b
0
51150
plus
2
1
2
0
f
1
1
6135
h
2
0
f
1
0
plus
2
1
2
28101
g
1
1
1143
plus
g
x
y
plus
x
y
plus
x
plus
y
z
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
f
plus
x
y
plus
f
x
y
plus
f
a
g
b
plus
f
b
g
a
plus
x
y
plus
y
x
plus
g
x
y
g
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
f
a
g
b
plus
f
b
g
a
plus
x
y
plus
y
x
true
a
0
1
h
2
0
b
0
0
plus
2
1
2
0
f
1
1
57798
h
2
0
f
1
0
plus
2
1
2
0
g
1
40113
plus
f
a
g
b
plus
f
b
g
a
plus
x
plus
y
z
plus
plus
x
y
z
f
plus
x
y
plus
f
x
y
plus
f
a
g
b
plus
f
b
g
a
plus
x
y
plus
y
x
plus
g
x
y
g
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
true
plus
f
a
g
b
f
b
false
h
g
a
a
h
a
g
b
false
plus
x
plus
y
z
plus
x
y
plus
plus
g
x
y
_1
plus
g
plus
x
y
_1
plus
x
y
plus
y
x
plus
plus
f
a
g
b
_1
plus
plus
f
b
g
a
_1
plus
x
plus
y
z
plus
plus
x
y
z
true
a
0
1
h
2
0
b
0
0
plus
2
1
2
0
f
1
1
38607
h
2
0
f
1
0
plus
2
1
2
1
g
1
34519
plus
plus
f
a
g
b
_1
plus
plus
f
b
g
a
_1
plus
plus
g
x
y
_1
plus
g
plus
x
y
_1
plus
x
plus
y
z
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
f
plus
x
y
plus
f
x
y
plus
f
a
g
b
plus
f
b
g
a
plus
x
y
plus
y
x
plus
g
x
y
g
plus
x
y
plus
x
plus
y
z
plus
plus
x
y
z
plus
x
y
plus
y
x
true
NaTT
certifiable-1.6