f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
2.2
f
x
f
a
y
f
f
f
a
x
h
a
y
f
x
f
a
y
f
f
a
x
h
a
f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
f
x
f
a
y
f
a
x
true
f
x
f
a
y
f
a
x
f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
f
x
f
a
y
f
f
f
a
x
h
a
y
true
a
0
0
h
1
0
f
2
2
1
f
2
1
2
0
f
x
f
a
y
f
f
f
a
x
h
a
y
f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
f
x
f
a
y
f
f
f
a
x
h
a
y
f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
true
a
0
0
h
1
1
f
2
2
1
f
2
2
0
f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
true
2
1
a
0
1
1
h
1
1
25469
f
2
0
1
0
0
1
0
0
0
1
2
0
47873
f
2
0
0
1
0
2
0
0
f
x
f
a
y
f
a
f
f
f
a
x
h
a
y
f
x
f
a
y
f
f
a
x
h
a
false
NaTT
certifiable-1.6