f
0
s
F
x_
f
(
0
)
s
(
0
)
f
(
s
(
0
)
)
s
(
0
)
f
(
s
(
s
(
x_
)
)
)
f
(
f
(
s
(
x_
)
)
)
f
(
0
)
s
(
0
)
f
(
s
(
0
)
)
s
(
0
)
f
(
s
(
s
(
x_
)
)
)
f
(
f
(
s
(
x_
)
)
)
F
(
s
(
s
(
x_
)
)
)
F
(
f
(
s
(
x_
)
)
)
F
(
s
(
s
(
x_
)
)
)
F
(
s
(
x_
)
)
f
3
s
3
3
0
0
F
1
F
(
s
(
s
(
x_
)
)
)
F
(
f
(
s
(
x_
)
)
)
F
(
s
(
s
(
x_
)
)
)
F
(
s
(
x_
)
)
f
(
0
)
s
(
0
)
f
(
s
(
0
)
)
s
(
0
)
f
(
s
(
s
(
x_
)
)
)
f
(
f
(
s
(
x_
)
)
)