a
a
f
x
y
f
a
b
a
b
a
x
a
b
a
b
a
y
f
a
x
a
y
a
f
x
y
f
b
x
b
y
b
f
x
y
2.2
f
a
x
a
y
f
x
y
a
a
f
x
y
a
b
a
x
a
a
f
x
y
a
b
a
y
a
a
f
x
y
a
x
a
a
f
x
y
a
y
a
a
f
x
y
a
b
a
b
a
x
f
b
x
b
y
f
x
y
f
a
x
a
y
a
f
x
y
a
a
f
x
y
a
b
a
b
a
y
a
a
f
x
y
f
a
b
a
b
a
x
a
b
a
b
a
y
true
a
a
f
x
y
f
a
b
a
b
a
x
a
b
a
b
a
y
f
a
x
a
y
a
f
x
y
f
b
x
b
y
f
x
y
a
a
f
x
y
a
y
a
a
f
x
y
a
x
f
a
x
a
y
f
x
y
true
a
1
1
0
b
1
1
0
f
2
1
2
1
f
2
1
2
1
a
1
1
0
f
a
x
a
y
f
x
y
f
b
x
b
y
f
x
y
f
a
x
a
y
a
f
x
y
a
a
f
x
y
f
a
b
a
b
a
x
a
b
a
b
a
y
a
a
f
x
y
f
a
b
a
b
a
x
a
b
a
b
a
y
f
b
x
b
y
b
f
x
y
f
a
x
a
y
a
f
x
y
a
a
f
x
y
f
a
b
a
b
a
x
a
b
a
b
a
y
f
b
x
b
y
f
x
y
f
a
x
a
y
f
x
y
f
a
x
a
y
a
f
x
y
true
2
1
a
1
1
1
1
0
1
0
1
b
1
1
0
0
0
1
0
0
f
2
1
2
1
0
f
2
1
1
0
0
1
1
1
0
0
2
2
1
a
1
1
1
1
0
1
0
0
f
a
x
a
y
f
x
y
f
b
x
b
y
f
x
y
a
a
f
x
y
f
a
b
a
b
a
x
a
b
a
b
a
y
f
b
x
b
y
b
f
x
y
f
a
x
a
y
a
f
x
y
f
b
x
b
y
f
x
y
f
a
x
a
y
f
x
y
true
2
1
a
1
1
0
1
0
1
1
31584
b
1
1
0
0
0
1
1
0
f
2
1
22026
0
f
2
1
1
0
0
2
2
1
a
1
0
0
a
a
f
x
y
f
a
b
a
b
a
x
a
b
a
b
a
y
f
b
x
b
y
b
f
x
y
f
a
x
a
y
a
f
x
y
a
a
f
x
y
a
b
a
b
a
x
false
a
a
f
x
y
a
b
a
x
false
a
a
f
x
y
a
b
a
b
a
y
false
a
a
f
x
y
a
b
a
y
false
NaTT
certifiable-1.6