|
#include<iostream>
#include<string>
Main.cpp:104:2: warning: non-void function does not return a value in all control paths [-Wreturn-type]
}
^
Main.cpp:157:2: warning: non-void function does not return a value in all control paths [-Wreturn-type]
}
^
2 warnings generated.
Please Wait...
\begin{eqnarray*}
&&F_2\\
&=&{{SS}^{63}\left(\left(3,f_0,S\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(3,f_0,S\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left({S}^{f_0\left(3\right)}\left(f_0\right)\left(3\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left({S}^{4}\left(f_0\right)\left(3\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(S\left(S\left(S\left(S\left(f_0\right)\right)\right)\right)\left(3\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(S\left(S\left(S\left(g_{f_0}\right)\right)\right)\left(3\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(S\left(S\left(g_{g_{f_0}}\right)\right)\left(3\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(S\left(g_{g_{g_{f_0}}}\right)\left(3\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(g_{g_{g_{g_{f_0}}}}\left(3\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(3,3\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(3,2\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(3,1\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(3,0\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,1\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(2,0\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(1,1\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{g_{f_0}}}}\left(1,0\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{g_{f_0}}}}\left(0,1\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,g_{g_{g_{f_0}}}\left(1\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(1,1\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{g_{f_0}}}\left(1,0\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{g_{f_0}}}\left(0,1\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,g_{g_{f_0}}\left(1\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(1,1\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,B_{g_{f_0}}\left(1,0\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,B_{g_{f_0}}\left(0,1\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,g_{f_0}\left(1\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,B_{f_0}\left(1,1\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,B_{f_0}\left(0,B_{f_0}\left(1,0\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,1\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,B_{f_0}\left(0,f_0\left(1\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,B_{f_0}\left(0,2\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,f_0\left(2\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{g_{f_0}}\left(0,3\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,g_{f_0}\left(3\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(3,3\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(3,2\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(3,1\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(3,0\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(2,0\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(1,0\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(0,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(0,f_0\left(1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(0,2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,f_0\left(2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,3\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,B_{f_0}\left(1,2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(1,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(1,0\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,f_0\left(1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,B_{f_0}\left(0,f_0\left(2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,B_{f_0}\left(0,3\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,f_0\left(3\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(0,4\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,f_0\left(4\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(2,5\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(2,4\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(2,3\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(2,2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(2,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(2,0\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(1,0\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(0,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,f_0\left(1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,f_0\left(2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,3\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(1,2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(1,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(1,0\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,f_0\left(1\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(\left(B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(2,B_{g_{g_{g_{f_0}}}}\left(1,B_{g_{g_{g_{f_0}}}}\left(0,B_{g_{g_{f_0}}}\left(0,B_{f_0}\left(2,B_{f_0}\left(2,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(1,B_{f_0}\left(0,B_{f_0}\left(0,B_{f_0}\left(0,2\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right),{\left({S}^{f_0\left(3\right)}\right)}^*\left(f_0\right),{S}^{f_0\left(3\right)}\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)\right)}_{1}\\
&=&{SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\left(SS\le