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
2.2
f_3
x
g_3
x
x
g_5
s
x
y
g_5
x
y
g_1
s
x
y
g_1
x
y
f_5
x
g_5
x
x
g_2
s
x
y
g_2
x
y
g_1
s
x
y
f_0
y
f_4
x
g_4
x
x
g_3
s
x
y
f_2
y
g_2
s
x
y
f_1
y
g_5
s
x
y
f_4
y
g_4
s
x
y
f_3
y
f_1
x
g_1
x
x
g_3
s
x
y
g_3
x
y
f_2
x
g_2
x
x
g_4
s
x
y
g_4
x
y
true
f_5
x
g_5
x
x
false
g_5
s
x
y
g_5
x
y
true
a
0
0
g_5
2
0
g_1
2
0
s
1
1
1
g_4
2
0
f_4
1
0
b
2
0
g_3
2
0
f_5
1
0
f_2
1
0
g_3
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_1
1
0
g_5
2
1
0
g_4
2
0
f_0
1
0
f_0
1
0
f_3
1
0
f_4
1
0
f_1
1
0
f_5
1
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
g_5
2
0
g_1
2
0
s
1
1
1
g_4
2
1
0
f_4
1
0
b
2
0
g_3
2
0
f_5
1
0
f_2
1
0
g_3
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_1
1
0
g_5
2
0
g_4
2
0
f_0
1
0
f_0
1
0
f_3
1
0
f_4
1
0
f_1
1
0
f_5
1
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
g_5
2
0
g_1
2
0
s
1
1
1
g_4
2
0
f_4
1
0
b
2
0
g_3
2
0
f_5
1
0
f_2
1
0
g_3
2
1
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_1
1
0
g_5
2
0
g_4
2
0
f_0
1
0
f_0
1
0
f_3
1
0
f_4
1
0
f_1
1
0
f_5
1
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
g_5
2
0
g_1
2
0
s
1
1
1
g_4
2
0
f_4
1
0
b
2
0
g_3
2
0
f_5
1
0
f_2
1
0
g_3
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
1
0
f_1
1
0
g_5
2
0
g_4
2
0
f_0
1
0
f_0
1
0
f_3
1
0
f_4
1
0
f_1
1
0
f_5
1
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
g_5
2
0
g_1
2
1
0
s
1
1
1
g_4
2
0
f_4
1
0
b
2
0
g_3
2
0
f_5
1
0
f_2
1
0
g_3
2
0
f_2
1
0
g_1
2
0
g_2
2
0
g_2
2
0
f_1
1
0
g_5
2
0
g_4
2
0
f_0
1
0
f_0
1
0
f_3
1
0
f_4
1
0
f_1
1
0
f_5
1
0
f_3
1
0
g_1
s
x
y
f_0
y
false
NaTT
certifiable-1.6