f_0
x
a
f_1
x
g_1
x
x
g_1
s
x
y
b
f_0
y
g_1
x
y
f_2
x
g_2
x
x
g_2
s
x
y
b
f_1
y
g_2
x
y
f_3
x
g_3
x
x
g_3
s
x
y
b
f_2
y
g_3
x
y
f_4
x
g_4
x
x
g_4
s
x
y
b
f_3
y
g_4
x
y
f_5
x
g_5
x
x
g_5
s
x
y
b
f_4
y
g_5
x
y
f_6
x
g_6
x
x
g_6
s
x
y
b
f_5
y
g_6
x
y
f_7
x
g_7
x
x
g_7
s
x
y
b
f_6
y
g_7
x
y
f_8
x
g_8
x
x
g_8
s
x
y
b
f_7
y
g_8
x
y
f_9
x
g_9
x
x
g_9
s
x
y
b
f_8
y
g_9
x
y
f_10
x
g_10
x
x
g_10
s
x
y
b
f_9
y
g_10
x
y
2.2
f_3
x
g_3
x
x
f_2
x
g_2
x
x
g_4
s
x
y
g_4
x
y
g_3
s
x
y
g_3
x
y
f_6
x
g_6
x
x
f_10
x
g_10
x
x
g_1
s
x
y
f_0
y
f_8
x
g_8
x
x
g_3
s
x
y
f_2
y
f_5
x
g_5
x
x
f_9
x
g_9
x
x
g_1
s
x
y
g_1
x
y
g_9
s
x
y
g_9
x
y
g_5
s
x
y
f_4
y
f_7
x
g_7
x
x
g_4
s
x
y
f_3
y
g_7
s
x
y
g_7
x
y
g_10
s
x
y
g_10
x
y
g_7
s
x
y
f_6
y
g_8
s
x
y
f_7
y
g_9
s
x
y
f_8
y
f_4
x
g_4
x
x
g_10
s
x
y
f_9
y
g_2
s
x
y
g_2
x
y
g_6
s
x
y
f_5
y
f_1
x
g_1
x
x
g_5
s
x
y
g_5
x
y
g_2
s
x
y
f_1
y
g_6
s
x
y
g_6
x
y
g_8
s
x
y
g_8
x
y
true
f_10
x
g_10
x
x
false
g_10
s
x
y
g_10
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
0
f_6
1
0
s
1
1
1
g_4
2
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
1
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
0
g_8
2
0
f_5
1
0
g_9
2
0
f_3
1
0
g_10
s
x
y
f_9
y
false
f_9
x
g_9
x
x
false
g_9
s
x
y
g_9
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
0
f_6
1
0
s
1
1
1
g_4
2
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
0
g_8
2
0
f_5
1
0
g_9
2
1
0
f_3
1
0
g_9
s
x
y
f_8
y
false
f_8
x
g_8
x
x
false
g_8
s
x
y
g_8
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
0
f_6
1
0
s
1
1
1
g_4
2
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
0
g_8
2
1
0
f_5
1
0
g_9
2
0
f_3
1
0
g_8
s
x
y
f_7
y
false
f_7
x
g_7
x
x
false
g_7
s
x
y
g_7
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
0
f_6
1
0
s
1
1
1
g_4
2
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
1
0
g_8
2
0
f_5
1
0
g_9
2
0
f_3
1
0
g_7
s
x
y
f_6
y
false
f_6
x
g_6
x
x
false
g_6
s
x
y
g_6
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
0
f_6
1
0
s
1
1
1
g_4
2
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
1
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
0
g_8
2
0
f_5
1
0
g_9
2
0
f_3
1
0
g_6
s
x
y
f_5
y
false
f_5
x
g_5
x
x
false
g_5
s
x
y
g_5
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
0
f_6
1
0
s
1
1
1
g_4
2
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
1
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
0
g_8
2
0
f_5
1
0
g_9
2
0
f_3
1
0
g_5
s
x
y
f_4
y
false
f_4
x
g_4
x
x
false
g_4
s
x
y
g_4
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
0
f_6
1
0
s
1
1
1
g_4
2
1
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
0
g_8
2
0
f_5
1
0
g_9
2
0
f_3
1
0
g_4
s
x
y
f_3
y
false
f_3
x
g_3
x
x
false
g_3
s
x
y
g_3
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
0
f_6
1
0
s
1
1
1
g_4
2
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
1
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
0
g_8
2
0
f_5
1
0
g_9
2
0
f_3
1
0
g_3
s
x
y
f_2
y
false
f_2
x
g_2
x
x
false
g_2
s
x
y
g_2
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
0
f_6
1
0
s
1
1
1
g_4
2
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
1
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
0
g_8
2
0
f_5
1
0
g_9
2
0
f_3
1
0
g_2
s
x
y
f_1
y
false
f_1
x
g_1
x
x
false
g_1
s
x
y
g_1
x
y
true
a
0
0
f_9
1
0
g_5
2
0
f_6
1
0
f_7
1
0
g_1
2
1
0
f_6
1
0
s
1
1
1
g_4
2
0
g_9
2
0
f_4
1
0
b
2
0
g_3
2
0
f_8
1
0
f_10
1
0
g_8
2
0
g_6
2
0
f_5
1
0
f_2
1
0
g_10
2
0
g_3
2
0
g_7
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_9
1
0
f_1
1
0
f_7
1
0
g_5
2
0
g_6
2
0
f_8
1
0
g_4
2
0
f_0
1
0
g_10
2
0
f_0
1
0
f_10
1
0
f_3
1
0
f_4
1
0
f_1
1
0
g_7
2
0
g_8
2
0
f_5
1
0
g_9
2
0
f_3
1
0
g_1
s
x
y
f_0
y
false
NaTT
certifiable-1.6