{VERSION 5 0 "IBM INTEL LINUX" "5.0" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 1 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 
0 0 1 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 1 }
{PSTYLE "Normal" -1 0 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 
0 0 0 }0 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }{PSTYLE "Maple Output" 0 11 1 
{CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 }3 3 0 -1 -1 -1 0 
0 0 0 0 0 -1 0 }{PSTYLE "" 11 12 1 {CSTYLE "" -1 -1 "" 0 1 0 0 0 0 0 
0 0 0 0 0 0 0 0 0 }1 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }}
{SECT 0 {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 193 "# THIS FILE CONTAIN
S THE EXPRESSIONS DERIVED USING\n# THE CAMPBELL-BAKER-HAUSDORFF-DYNKIN
 FORMULA\n# FOR THE EXPONENT Z CORRESPONDING TO THE COMPOSITION\n# OF \+
EXPONENTIALS:\nexp(f1)*exp(f2)=exp(Z);" }}{PARA 11 "" 1 "" {XPPMATH 
20 "6#/*&-%$expG6#%#f1G\"\"\"-F&6#%#f2GF)-F&6#%\"ZG" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 194 "# RESULTS COMPUTED USING THE Lie Tools P
ackage (LTP)\n# AVAILABLE AT: http://www.cim.mcgill/~migueltt/ltp/ltp.
html\n# USING THE FUNCTION cbhd(f1,f2,n).\n# Miguel Torres-Torriti (c)
 30.JUNE.2002\n#  " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 189 "# In
 the expressions below, Z8 and Z10, refer to the series\n# expansion u
p to 8 and 10 order brackets, respectively.\n# Computation times are f
or an Intel Pentium III, 550 MHz, 256 MB RAM.\n#" }}}{EXCHG {PARA 0 ">
 " 0 "" {MPLTEXT 1 0 3684 "# z8.  Took 12.83 min, 60 terms, 3.3 MBytes
.\nz8:=1/1680*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,f1))))
+1/2520*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1)
)))+13/15120*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f0,`&*`(f0,`&*`(f0,f1))))-
1/1120*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,f1))))-1/5040
*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,f1))))-1/1260*`&*`(
`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,f1))))-1/10080*`
&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1))))+1/504
0*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1))))+1/5040*`&*`
(`&*`(f0,`&*`(f0,f1)),`&*`(f0,`&*`(f0,`&*`(f0,f1))))-1/10080*`&*`(`&*`
(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,f1))))+1/720*`&*`(`&*`(f0,f1)
,`&*`(f1,`&*`(f1,`&*`(f0,f1))))+1/1260*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f
1),`&*`(f0,`&*`(f0,f1))))+1/720*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1))))
+1/240*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,f1))))-1/180*`&*`(f1,`
&*`(f0,`&*`(f0,`&*`(f0,f1))))+1/180*`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1
))))-1/720*`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))-1/120*`&*`(`&*`(f0,f
1),`&*`(f0,`&*`(f0,f1)))-1/360*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1)))-
1/240*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,f1)))-1/24*`&*`(f1,`&*
`(f0,`&*`(f0,f1)))+1/2*`&*`(f0,f1)+1/12*`&*`(f0,`&*`(f0,f1))-1/12*`&*`
(f1,`&*`(f0,f1))+f0+f1+1/3360*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(
f1,`&*`(f1,`&*`(f0,f1))))+1/10080*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`
&*`(f1,`&*`(f0,`&*`(f0,f1))))+13/30240*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1
))),`&*`(f1,`&*`(f1,`&*`(f0,f1))))+1/2016*`&*`(`&*`(f0,f1),`&*`(f0,`&*
`(f0,`&*`(f0,`&*`(f0,f1)))))+23/15120*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0
,`&*`(f0,`&*`(f0,f1)))))+1/5040*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(
f0,`&*`(f0,f1)))))-1/10080*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&
*`(f0,f1)))))-1/2520*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0
,`&*`(f0,f1)))))-1/10080*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*
`(f1,`&*`(f0,f1)))))-1/10080*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0
,`&*`(f0,`&*`(f0,f1)))))+1/20160*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*
`(f1,`&*`(f0,`&*`(f0,f1)))))+1/20160*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1
,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+1/1440*`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f
0,`&*`(f0,f1)))))+1/360*`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))
)+1/1440*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))-1/1440*`&*`(`
&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))-1/12096*`&
*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))-1/4032
*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))-1/8
40*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))+1
/30240*`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))+1/5040
*`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))+1/3780*`&*`(
f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/3780*`&*`(f1,`&*
`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/5040*`&*`(f1,`&*`(f1,`
&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1))))))-1/30240*`&*`(f1,`&*`(f1,`&*`(f
1,`&*`(f1,`&*`(f1,`&*`(f0,f1))))))-1/4032*`&*`(`&*`(f0,f1),`&*`(f1,`&*
`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-23/30240*`&*`(`&*`(f0,f1),`&*`(f
1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/2240*`&*`(`&*`(f0,f1),`&*
`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1))))))-1/15120*`&*`(`&*`(f0,f1)
,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1))))))-1/10080*`&*`(f1,`&*`
(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-1/10080*`&*`(f1,
`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-23/120960*`&
*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-1/6048
0*`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-1/
60480*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1))))))
);" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}{PARA 12 "" 1 "" {XPPMATH 
20 "6#>%#z8G,dr-%#&*G6$%$f0|irG-F'6$F)-F'6$F)-F'6$F)-F'6$F)-F'6$F)%$f1
|irG#\"\"\"\"&S-$*&#F6\"%!y$F6-F'6$F4-F'6$F4-F'6$F4F.F6!\"\"*&#F6F:F6-
F'6$F4-F'6$F4F,F6F6*&#F6\"%S]F6-F'6$F4F*F6F6*&#\"#B\"'g47F6-F'6$F4FDF6
FA*&#F6\"&![gF6-F'6$F4F&F6FA*&#F6F7F6-F'6$F4-F'6$F4-F'6$F4-F'6$F4-F'6$
F4F2F6FA*&#F6FJF6-F'6$F4-F'6$F4-F'6$F4-F'6$F4F0F6FA*&#F6\"&?^\"F6-F'6$
F2FfnF6FA*&#F6\"%SAF6-F'6$F2FboF6FA*&#FOF7F6-F'6$F2F=F6FA*&#F6\"%KSF6-
F'6$F2FFF6FA*&#F6FUF6-F'6$F4F`oF6FA*&#F6\"&!35F6-F'6$F4F;F6FA*&#F6FaqF
6-F'6$F4FKF6FAF)F6F4F6*&#F6\"\"#F6F2F6F6*&#F6\"#7F6F0F6F6*&#F6F]rF6F\\
oF6FA*&#F6\"#CF6FfoF6FA*&#F6\"$?\"F6-F'6$F2F0F6FA*&#F6\"$g$F6-F'6$F2F
\\oF6FA*&#F6\"$S#F6-F'6$F0F\\oF6FA*&#F6\"$?(F6F,F6FA*&#F6\"$!=F6F?F6FA
*&#F6FgsF6FdoF6F6*&#F6FdsF6FhnF6F6*&#F6F_sF6-F'6$F2FfoF6F6*&F[tF6-F'6$
F2FjnF6F6*&#F6\"%g7F6-F'6$F2FfrF6F6*&FIF6-F'6$F2F[sF6F6*&FIF6-F'6$F0F.
F6F6*&#F6FaqF6-F'6$F0FfoF6FA*&#F6\"%!o\"F6-F'6$F0FjnF6F6*&#F6\"%?DF6-F
'6$F0F[sF6F6*&#\"#8FjoF6-F'6$F\\oF.F6F6*&#F6\"%?6F6-F'6$F\\oFfoF6FA*&#
F6FJF6-F'6$F\\oFjnF6FA*&#F6FetF6-F'6$F\\oFfrF6FA*&#F6FaqF6-F'6$F\\oF[s
F6FA*&#F6FaqF6-F'6$F.FfoF6F6*&#F^vF7F6-F'6$F.FjnF6F6*&#F6\"%gLF6-F'6$F
foFjnF6F6*&#F6\"%S9F6FFF6F6*&#F6FjrF6F=F6F6*&F`xF6FboF6F6*&#F6\"%;?F6-
F'6$F2F,F6F6*&#FOFjoF6-F'6$F2F?F6F6*&FIF6-F'6$F2FdoF6F6*&#F6FaqF6-F'6$
F2FhnF6FA*&#F6FiuF6-F'6$F2F^tF6FA*&#F6FaqF6-F'6$F2FatF6FA*&#F6FaqF6-F'
6$F0F?F6FA*&#F6\"&g,#F6-F'6$F0FdoF6F6*&FbzF6-F'6$F0FhnF6F6*&#F6FhpF6-F
'6$F\\oF,F6FA*&#F6\"$S)F6-F'6$F\\oF?F6FA*&#F6FaxF6-F'6$F\\oFdoF6FA*&#F
6\"&'47F6-F'6$F\\oFhnF6FA" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
16336 "# z10: CBH   Took 25.09 hours, 17.5 MBytes, 202 terms.\nz10 := \+
-1/56700*`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(
f0,f1))))))))-1/120960*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))),`&*
`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))-11/241920*`&*`(`&*`(f0,`&*`(f0,`&
*`(f0,`&*`(f0,f1)))),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))-1/56700*`
&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`
(f0,f1))))))-1/40320*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f
1,`&*`(f1,`&*`(f0,`&*`(f0,f1))))))+1/181440*`&*`(`&*`(f0,`&*`(f0,`&*`(
f0,f1))),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))+1/120960*`&*
`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f
0,f1))))))+1/30240*`&*`(`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,f1))),`&*`(f1
,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))-11/241920*`&*`(`&*`(f0,`&*`(f0,`&*`(f
0,`&*`(f0,f1)))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+1/2419200*`&*
`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f
1)))))))))-1/8640*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))),`&*`(f1,
`&*`(f1,`&*`(f0,`&*`(f0,f1)))))-1/10368*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,`
&*`(f0,f1)))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))-43/604800*`&*`(`
&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,
f1)))))-1/40320*`&*`(`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&
*`(f1,`&*`(f0,`&*`(f0,f1)))))+1/67200*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,
`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))))+37/3628800*`&*`(f1
,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))
))))))+1/5760*`&*`(`&*`(f1,`&*`(f1,`&*`(f0,f1))),`&*`(f1,`&*`(f0,`&*`(
f0,`&*`(f0,`&*`(f0,f1))))))+1/302400*`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`
&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))))+1/2419200*`&*`(f1,`
&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))
))))+1/86400*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0
,`&*`(f0,`&*`(f0,f1)))))))+1/302400*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&
*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))))+1/5040*`&*`(`&*`(f1,
`&*`(f1,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))
+37/3628800*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&
*`(f0,`&*`(f0,f1)))))))))-1/24192*`&*`(`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0
,f1)))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+1/13440*`&*`(`&*`(f1,`
&*`(f1,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1))))))+
29/120960*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&
*`(f0,`&*`(f0,f1)))))))+1/10080*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`
(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))+1/172800*`&*`(`&*`(f1,`&
*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))))+1
/30240*`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))+1/6048
00*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`
&*`(f0,f1)))))))+13/201600*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`
&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))))+73/362880*`&*`(`&*`(f1,`&*`(f
0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-1/378
0*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))+1/3780*`&*`
(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))+1/5040*`&*`(f1,`&
*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))+1/172800*`&*`(`&*`(f1,`
&*`(f1,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1))))))-
23/120960*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))
)))))+13/241920*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*
`(f1,`&*`(f0,`&*`(f0,f1))))))-1/201600*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1
))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1))))))+1/67200*`&*`(`&*`
(f1,`&*`(f0,`&*`(f0,f1))),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))
))))+1/10080*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f0,`&*`(f
0,`&*`(f0,`&*`(f0,f1))))))+1/6720*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`
&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/60480*`&*`(f1,`&*`(f
0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-1/30240*`&*`(f1,`&
*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1))))))-1/5040*`&*`(f1,`&*`(f1,
`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1))))))+1/20160*`&*`(`&*`(f0,f1),`&*`
(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,f1))))))-1/43200
*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)
)))))-19/100800*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`
(f0,`&*`(f0,f1))))))-11/30240*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f
1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/7560*`&*`(`&*`(f0,f1),`&*`(`&*`(f
0,f1),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/15120*`&*`(`&*`(f0,f1
),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1))))))-1/2240*`&*`(`&*`(f0
,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1))))))-23/30240*`&*`(`&
*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/4032*`&*`
(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/60480*
`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))))-1/10
080*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-
11/201600*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&
*`(f0,f1))))))-1/10080*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(
f0,`&*`(f0,`&*`(f0,f1))))))-1/43200*`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,`
&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-13/120960*`&*`(`&*`(f0,`&*`(f
0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/33600*`&*`(`
&*`(f0,`&*`(f0,f1)),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))+1
/100800*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*
`(f1,`&*`(f0,f1))))))-13/302400*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(`&*`(f0
,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1))))))-11/302400*`&*`(`&*`(f0,f
1),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))+1/20160*`
&*`(`&*`(f0,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,`&*`
(f0,f1))))))-11/60480*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0
,`&*`(f0,`&*`(f0,f1)))))))+1/15120*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(`&*`
(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-37/302400*`&*`(`&*`(f
0,f1),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-1/4320
0*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1
))))))-1/1209600*`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(
f0,`&*`(f0,f1))))))))+1/100800*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f
1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))))+11/302400*`&*`(`&*`(f0,f1),`&*`(f1
,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))))+1/15120*`&*`(`&*`(f
0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))
))-1/10080*`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)
))))))+1/50400*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(
f1,`&*`(f1,`&*`(f0,f1)))))))-1/151200*`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,
`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))))+11/86400*`&*`(`&*`(f0,f1),`
&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))))+11/6
0480*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0
,`&*`(f0,f1)))))))+1/75600*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*
`(f0,`&*`(f0,`&*`(f0,f1))))))))-1/75600*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f
0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))))+1/56700*`&*`(f1,`&*`(f1,`
&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))))+1/151200*`&*
`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))))
)+1/1209600*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&
*`(f0,f1))))))))+1/86400*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,`&*`
(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))))+1/60480*`&*`(`&*`(f1,`&*`(f1,`&
*`(f0,f1))),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+f0+f1+1/2
*`&*`(f0,f1)+1/12*`&*`(f0,`&*`(f0,f1))-1/12*`&*`(f1,`&*`(f0,f1))+37/60
4800*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,
`&*`(f0,f1))))))))-1/24*`&*`(f1,`&*`(f0,`&*`(f0,f1)))-1/120*`&*`(`&*`(
f0,f1),`&*`(f0,`&*`(f0,f1)))-1/360*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1
)))-1/240*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,f1)))-1/720*`&*`(f
0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))-1/180*`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0
,f1))))+1/180*`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1))))+1/720*`&*`(f1,`&*
`(f1,`&*`(f1,`&*`(f0,f1))))+1/240*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*
`(f0,f1))))+1/720*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,f1))))+1/12
60*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,f1))))+1/43200*`&
*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f
0,f1)))))))+1/5040*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f
1))))+1/5040*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f0,`&*`(f0,`&*`(f0,f1))))-
1/10080*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,f1))))+1/168
0*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,f1))))+1/2520*`&*`
(`&*`(f0,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1))))+1/20160*
`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,f1
))))+13/15120*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f0,`&*`(f0,`&*`(f0,f1))))
-1/1120*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,f1))))+1/172
80*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`
&*`(f0,f1)))))))+37/453600*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&
*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))))-1/5040*`&*`(`&*`(f1,`&*`(f0,f
1)),`&*`(f1,`&*`(f1,`&*`(f0,f1))))-1/1260*`&*`(`&*`(f1,`&*`(f0,f1)),`&
*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,f1))))-1/10080*`&*`(`&*`(f1,`&*`(f0,f1)
),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1))))+13/241920*`&*`(`&*`(f0,`&*`(
f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-1/33
600*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f
0,f1))))+1/10080*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f0,`&
*`(f0,f1))))+13/30240*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(
f1,`&*`(f0,f1))))+1/15120*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`&*`(`&*`
(f0,f1),`&*`(f0,`&*`(f0,f1))))+1/3780*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1)
)),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1))))-1/30240*`&*`(`&*`(f0,`&*`(f
0,`&*`(f0,f1))),`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,f1))))+1/336
0*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f0,f1))))-1/
20160*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(`&*`(f0,f1),`&*`(f0,`&*`
(f0,f1))))+17/100800*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(`&*`(f0,f
1),`&*`(f1,`&*`(f0,f1))))-1/8064*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&
*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,f1))))+1/67200*`&*`(`&*`(f0,`&
*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))))-1
/100800*`&*`(`&*`(f1,`&*`(f1,`&*`(f0,f1))),`&*`(`&*`(f0,f1),`&*`(f0,`&
*`(f0,f1))))+1/37800*`&*`(`&*`(f1,`&*`(f1,`&*`(f0,f1))),`&*`(`&*`(f0,f
1),`&*`(f1,`&*`(f0,f1))))-1/12600*`&*`(`&*`(f1,`&*`(f1,`&*`(f0,f1))),`
&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,f1))))+1/8960*`&*`(`&*`(f0,f1
),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))))-1
/6720*`&*`(`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,f1))),`&*`(`&*`(f0,f1),`&*
`(f1,`&*`(f0,f1))))+1/1440*`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)
))))+1/33600*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1
,`&*`(f0,f1))))))+1/360*`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))
)+1/1440*`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))+19/120960*`&*
`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))
)+1/2016*`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))+23/1
5120*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))+1/5040*`
&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))-1/10080*`&*`(`
&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+13/151200*`&*`(`&*`
(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/25
20*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,f1)))))+1
/403200*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&*`(
f1,`&*`(f0,f1))))))))-1/10080*`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f
1,`&*`(f1,`&*`(f0,f1)))))-1/5760*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*
`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))-1/10080*`&*`(`&*`(f0,f1),`&*`(`&
*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,f1)))))-1/50400*`&*`(`&*`(f
0,f1),`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1)))))-23/302
400*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,
f1))))))-1/10080*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,`&*
`(f0,f1)))))+1/20160*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0
,`&*`(f0,f1)))))+1/20160*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*
`(f1,`&*`(f0,f1)))))-1/7560*`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(`&*`(f0,f1)
,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))-1/10080*`&*`(`&*`(f0,`&*`(f0,f1)),`&*
`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,f1)))))+1/50400*`&*`(`&*`(f0,`&*
`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,f1)))))-1/20160*`&*
`(`&*`(f0,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(
f0,f1)))))+1/40320*`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f1,`&
*`(f1,`&*`(f0,`&*`(f0,f1))))))))-1/40320*`&*`(`&*`(f0,`&*`(f0,f1)),`&*
`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,f1)))))-1/4032*`&*`(`&*
`(f1,`&*`(f0,f1)),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))-1/840*`&*`(`
&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))-1/1440*`&*
`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))-1/12096
*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))-13/
30240*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,`&*`(
f0,f1)))))-23/100800*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f
1,`&*`(f0,`&*`(f0,f1)))))-1/100800*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`
(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+1/6720*`&*`(`&*`(f1,`&*`(f0,f1
)),`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,f1)))))+1/50400*`
&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(`&*`(f0,f1),`&*`(f1,`&*
`(f0,f1)))))+1/15120*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f0,`&*`(f0,f1
)),`&*`(f0,`&*`(f0,`&*`(f0,f1)))))+1/13440*`&*`(`&*`(f1,`&*`(f0,f1)),`
&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,f1)))))-19/201600*`&*
`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f0,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(
f0,f1)))))+13/60480*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f1,`&*`(f0,f1)
),`&*`(f0,`&*`(f0,`&*`(f0,f1)))))+1/14400*`&*`(`&*`(f1,`&*`(f0,f1)),`&
*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1))))))+1/3360*`&*`(`&
*`(f1,`&*`(f0,f1)),`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f0,`&*`(f0,f
1)))))+101/201600*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f1,`
&*`(f1,`&*`(f0,`&*`(f0,f1))))))+1/33600*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`
(`&*`(f1,`&*`(f0,f1)),`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+1/1728*`&*`(`&*`
(f1,`&*`(f0,f1)),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1))
))))-1/60480*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`&*`(f0,`&*`(f0,`&*`(f
0,`&*`(f0,f1)))))-1/90720*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`
&*`(f0,`&*`(f0,`&*`(f0,f1)))))+1/7560*`&*`(`&*`(f1,`&*`(f0,f1)),`&*`(`
&*`(f0,f1),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1))))))+1/30240*`&*`(`&*`(
f0,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))-11/30
2400*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f
0,f1)))))+1/3600*`&*`(`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1))),`&*`(f1,`
&*`(f1,`&*`(f0,`&*`(f0,f1)))))-1/30240*`&*`(`&*`(f0,`&*`(f0,`&*`(f0,f1
))),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,f1)))))-1/7560*`&*`(`&*`(
f0,`&*`(f0,`&*`(f0,f1))),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f1,`&*`(f0,f1))
)))+19/60480*`&*`(`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,f1))),`&*`(f1,`&*`(
f0,`&*`(f0,`&*`(f0,f1)))))+1/15120*`&*`(`&*`(`&*`(f0,f1),`&*`(f1,`&*`(
f0,f1))),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))-11/120960*`&*`(`&*`(f
1,`&*`(f0,`&*`(f0,f1))),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))-1/6720
*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f0,`&*`(f0,`&*`(f0,f1
)))))-1/14400*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(
f0,`&*`(f0,f1)))))-11/120960*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(f
1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+1/15120*`&*`(`&*`(f1,`&*`(f0,`&*`(f0
,f1))),`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,`&*`(f0,f1)))))+1/13440*`&*`(`
&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(`&*`(f0,f1),`&*`(f1,`&*`(f0,`&*`(f0,
f1)))))-13/67200*`&*`(`&*`(f1,`&*`(f0,`&*`(f0,f1))),`&*`(`&*`(f0,f1),`
&*`(f1,`&*`(f1,`&*`(f0,f1)))))+1/30240*`&*`(`&*`(`&*`(f0,f1),`&*`(f1,`
&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+23/604800*`&*`(`&
*`(f1,`&*`(f1,`&*`(f0,f1))),`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,`&*`(f0,f1
))))))-1/20160*`&*`(`&*`(f1,`&*`(f1,`&*`(f0,f1))),`&*`(f0,`&*`(f0,`&*`
(f0,`&*`(f0,f1)))))+17/151200*`&*`(`&*`(f1,`&*`(f1,`&*`(f0,f1))),`&*`(
f1,`&*`(f0,`&*`(f0,`&*`(f0,f1)))))+1/6048*`&*`(`&*`(f1,`&*`(f1,`&*`(f0
,f1))),`&*`(f1,`&*`(f1,`&*`(f0,`&*`(f0,f1)))))+1/60480*`&*`(`&*`(f1,`&
*`(f1,`&*`(f0,f1))),`&*`(f1,`&*`(f1,`&*`(f1,`&*`(f0,f1)))))+13/60480*`
&*`(`&*`(f1,`&*`(f1,`&*`(f0,f1))),`&*`(`&*`(f0,f1),`&*`(f0,`&*`(f0,`&*
`(f0,f1)))))+1/3150*`&*`(`&*`(f1,`&*`(f1,`&*`(f0,f1))),`&*`(`&*`(f0,f1
),`&*`(f1,`&*`(f0,`&*`(f0,f1)))));" }}{PARA 0 "> " 0 "" {MPLTEXT 1 0 
0 "" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$z10G,`dl-%#&*G6$%$f1|irG-F'6
$F)-F'6$%$f0|irG-F'6$F.-F'6$F.-F'6$F.-F'6$F.-F'6$F.F)#!\"\"\"&+n&*&#\"
\"\"\"'g47F>-F'6$F1-F'6$F)F3F>F:*&#\"#6\"'?>CF>-F'6$F1-F'6$F)-F'6$F)F5
F>F:*&#F>F;F>-F'6$F3-F'6$F)-F'6$F)-F'6$F)-F'6$F)F7F>F:*&#F>\"&?.%F>-F'
6$F3-F'6$F)FJF>F:*&#F>\"'S9=F>-F'6$F3-F'6$F)FBF>F>*&#F>F?F>-F'6$F3-F'6
$F)F1F>F>*&#F>\"&S-$F>-F'6$-F'6$F7F5FBF>F>*&#FFFGF>-F'6$F1FTF>F:*&#F>
\"(+#>CF>-F'6$F)-F'6$F.-F'6$F.F,F>F>*&#F>\"%S')F>-F'6$FBFJF>F:*&#F>\"&
o.\"F>-F'6$FBFTF>F:*&#\"#V\"'+[gF>-F'6$F]pFTF>F:*&#F>FfnF>-F'6$F]pFJF>
F:*&#F>\"&+s'F>-F'6$F)-F'6$F)-F'6$F)-F'6$F)F/F>F>*&#\"#P\"(+)GOF>-F'6$
F)F&F>F>*&#F>\"%gdF>-F'6$FVFfoF>F>*&#F>\"'+CIF>-F'6$F)-F'6$F)FjpF>F>*&
FdpF>-F'6$F)-F'6$F)-F'6$F)-F'6$F)FinF>F>*&#F>\"&+k)F>-F'6$FXF,F>F>*&Fg
sF>-F'6$F)-F'6$F)-F'6$F)-F'6$F)F`oF>F>*&#F>\"%S]F>-F'6$FVF`oF>F>*&F\\s
F>-F'6$F)-F'6$F)-F'6$F)-F'6$F)FfoF>F>*&#F>\"&#>CF>-F'6$FJFTF>F:*&#F>\"
&SM\"F>-F'6$FVFinF>F>*&#\"#HF?F>-F'6$FXF`vF>F>*&#F>\"&!35F>-F'6$FXFirF
>F>*&#F>\"'+G<F>-F'6$FX-F'6$F)FRF>F>*&FioF>F,F>F>*&#F>FiqF>-F'6$F5F[xF
>F>*&#\"#8\"'+;?F>-F'6$FXFdtF>F>*&#\"#t\"'!)GOF>-F'6$FXFbuF>F>*&#F>\"%
!y$F>FbuF>F:*&#F>F`yF>F`vF>F>*&FeuF>FirF>F>*&FgwF>-F'6$FVFRF>F>*&#\"#B
F?F>F^vF>F:*&#FdxFGF>-F'6$FLFinF>F>*&#F>FexF>-F'6$FLFRF>F:*&FarF>-F'6$
FLF/F>F>*&FbwF>-F'6$FLFfoF>F>*&#F>\"%?nF>-F'6$FLF`oF>F>*&#F>\"&![gF>F*
F>F:*&#F>FjoF>F[xF>F:*&#F>FfuF>FdtF>F:*&#F>\"&g,#F>-F'6$F7-F'6$F7-F'6$
F7FLF>F>*&#F>\"&+K%F>-F'6$F7-F'6$F7FTF>F:*&#\"#>\"'+35F>-F'6$F7-F'6$F7
FJF>F:*&#FFFjoF>-F'6$F7-F'6$F7FBF>F:*&#F>\"%gvF>-F'6$F7-F'6$F7F1F>F:*&
#F>\"&?^\"F>-F'6$F7FRF>F:*&#F>\"%SAF>-F'6$F7FinF>F:*&#FiyFjoF>-F'6$F7F
`oF>F:*&#F>\"%KSF>-F'6$F7FfoF>F:*&#F>F_[lF>FbtF>F:*&#F>FcwF>F`uF>F:*&#
FFFexF>-F'6$F5FinF>F:*&#F>FcwF>-F'6$F5F`oF>F:*&#F>F_\\lF>-F'6$F7F,F>F:
*&#FdxF?F>-F'6$F5FfoF>F:*&#F>\"&+O$F>-F'6$F5F/F>F:*&#F>Fg\\lF>-F'6$F7-
F'6$F7-F'6$F7FVF>F>*&#FdxFhsF>-F'6$F5Fb\\lF>F:*&#FFFhsF>-F'6$F7FbuF>F:
*&Fe[lF>-F'6$F5Fj\\lF>F>*&#FFF_[lF>-F'6$F7F`vF>F:*&#F>F[^lF>-F'6$F5F`]
lF>F>*&#F]sFhsF>-F'6$F7FirF>F:*&#F>F_\\lF>-F'6$F5FRF>F:*&#F>\"(+'47F>F
hpF>F:*&Ff`lF>-F'6$F7F[xF>F>*&#FFFhsF>-F'6$F7FdtF>F>*&F]blF>-F'6$F7Fj^
lF>F>*&#F>FcwF>FgrF>F:*&#F>\"&+/&F>-F'6$F7F\\^lF>F>*&#F>\"'+7:F>F[tF>F
:*&#FFFhtF>-F'6$F7Fa^lF>F>*&#FFF_[lF>-F'6$F7Fe^lF>F>*&#F>\"&+c(F>F\\vF
>F>*&#F>FidlF>FerF>F:*&#F>F;F>F^uF>F>*&#F>F^dlF>F`tF>F>*&#F>FjblF>-F'6
$F)-F'6$F)F[xF>F>*&FgtF>-F'6$F7F*F>F>*&#F>F_[lF>-F'6$FVF[alF>F>F.F>F)F
>*&#F>\"\"#F>F7F>F>*&#F>\"#7F>F5F>F>*&#F>FbflF>FXF>F:*&#F]sFiqF>-F'6$F
7FgrF>F>*&#F>\"#CF>FLF>F:*&#F>\"$?\"F>F]pF>F:*&#F>\"$g$F>-F'6$F7FXF>F:
*&#F>\"$S#F>-F'6$F5FXF>F:*&#F>\"$?(F>F1F>F:*&#F>\"$!=F>FBF>F:*&#F>F^hl
F>FJF>F>*&#F>F[hlF>FTF>F>*&#F>FfglF>F[\\lF>F>*&FbhlF>F[alF>F>*&#F>\"%g
7F>-F'6$F7F]pF>F>*&#F>F_\\lF>-F'6$F5FdtF>F>*&FeuF>-F'6$F7FbglF>F>*&Feu
F>-F'6$F5F3F>F>*&#F>FcwF>-F'6$F5FLF>F:*&#F>\"%!o\"F>-F'6$F5FVF>F>*&#F>
\"%?DF>-F'6$F5FbglF>F>*&Fe[lF>-F'6$F5FgglF>F>*&#FdxF[^lF>-F'6$FXF3F>F>
*&#F>\"%?6F>-F'6$FXFLF>F:*&#F>\"&!G<F>-F'6$F5FbuF>F>*&#F]s\"'+OXF>-F'6
$F7F`uF>F>*&#F>FfuF>-F'6$FXFVF>F:*&#F>FhhlF>-F'6$FXF]pF>F:*&#F>FcwF>-F
'6$FXFbglF>F:*&F[zF>-F'6$F5F`vF>F>*&#F>Fb`lF>-F'6$FXFgglF>F:*&FbwF>-F'
6$F3FLF>F>*&#FdxFjoF>-F'6$F3FVF>F>*&F]blF>-F'6$F3F]pF>F>*&FbyF>-F'6$F3
FbglF>F>*&#F>FjoF>-F'6$F3FgglF>F:*&#F>\"%gLF>-F'6$FLFVF>F>*&#F>Ff[lF>-
F'6$FLF]pF>F:*&#\"#<Fg\\lF>-F'6$FLFbglF>F>*&#F>\"%k!)F>-F'6$FLFgglF>F:
*&FarF>-F'6$F5FirF>F>*&#F>Fg\\lF>-F'6$FVF]pF>F:*&#F>\"&+y$F>-F'6$FVFbg
lF>F>*&#F>\"&+E\"F>-F'6$FVFgglF>F:*&#F>\"%g*)F>-F'6$F7F^vF>F>*&#F>FjzF
>-F'6$F]pFbglF>F:*&#F>\"%S9F>FfoF>F>*&#F>Fb`lF>-F'6$FXFRF>F>*&#F>FaglF
>F`oF>F>*&F[amF>FinF>F>*&#Ff\\lF?F>-F'6$FXFinF>F>*&#F>\"%;?F>Fg]lF>F>*
&#FiyF[^lF>F`]lF>F>*&FeuF>Fj\\lF>F>*&#F>FcwF>Fb\\lF>F:*&#FdxF^dlF>-F'6
$FXF`oF>F>*&#F>F`jlF>Fi[lF>F:*&#F>\"'+KSF>-F'6$F7FdelF>F>*&#F>FcwF>Fi`
lF>F:*&#F>FcsF>-F'6$FXFfoF>F:*&#F>FcwF>-F'6$F7FihlF>F:*&#F>FiclF>-F'6$
F7F`ilF>F:*&#FiyFhsF>-F'6$FXF/F>F:*&#F>FcwF>-F'6$F5FBF>F:*&Fe[lF>-F'6$
F5FJF>F>*&Fe[lF>-F'6$F5FTF>F>*&#F>Fd]lF>-F'6$F5-F'6$F7F3F>F:*&#F>FcwF>
-F'6$F5F[\\lF>F:*&FhclF>-F'6$F5F[alF>F>*&#F>Ff[lF>-F'6$F5F`ilF>F:*&#F>
FfnF>-F'6$F7FbtF>F>*&#F>FfnF>-F'6$F5F\\jlF>F:*&#F>Fi^lF>-F'6$FXF1F>F:*
&#F>\"$S)F>-F'6$FXFBF>F:*&#F>F\\amF>-F'6$FXFJF>F:*&#F>\"&'47F>-F'6$FXF
TF>F:*&#FdxFjoF>-F'6$FXF[emF>F:*&#FiyFg\\lF>-F'6$FXF[\\lF>F:*&#F>Fg\\l
F>-F'6$FXF[alF>F:*&FizF>-F'6$FXFihlF>F>*&FhclF>-F'6$FXF`ilF>F>*&F]blF>
-F'6$FXFcilF>F>*&FhvF>-F'6$FXFgilF>F>*&#Ff\\lFexF>-F'6$FXF\\jlF>F:*&#F
dxF_[lF>-F'6$FXFhjlF>F>*&#F>\"&+W\"F>-F'6$FXFb\\lF>F>*&F^^mF>-F'6$FXF]
[mF>F>*&#\"$,\"FexF>-F'6$FXFj\\lF>F>*&F^amF>-F'6$FXF[\\mF>F>*&#F>\"%G<
F>-F'6$FXF`]lF>F>*&#F>F_[lF>-F'6$F3F1F>F:*&#F>\"&?2*F>-F'6$F3FBF>F:*&#
F>Fd]lF>-F'6$FXFg]lF>F>*&FioF>-F'6$F3FJF>F>*&#FFFhsF>-F'6$F3FTF>F:*&#F
>\"%+OF>-F'6$FbglFJF>F>*&#F>FjoF>-F'6$F3F[\\lF>F:*&#F>Fd]lF>-F'6$F3F[a
lF>F:*&#Ff\\lF_[lF>-F'6$FbglFBF>F>*&F]blF>-F'6$FbglF1F>F>*&#FFF?F>-F'6
$FLF1F>F:*&#F>FjzF>-F'6$FLFBF>F:*&#F>FdimF>-F'6$FLFJF>F:*&#FFF?F>-F'6$
FLFTF>F:*&F]blF>-F'6$FLF[emF>F>*&FhvF>-F'6$FLF[\\lF>F>*&#FdxFbrF>-F'6$
FLF[alF>F:*&FioF>-F'6$FbglFTF>F>*&#FiyFiqF>-F'6$FVF/F>F>*&#F>Ff[lF>-F'
6$FVF1F>F:*&#Fh^mF^dlF>-F'6$FVFBF>F>*&#F>\"%[gF>-F'6$FVFJF>F>*&FjelF>-
F'6$FVFTF>F>*&F_imF>-F'6$FVF[emF>F>*&#F>\"%]JF>-F'6$FVF[\\lF>F>" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "3 0 0" 36 }
{VIEWOPTS 1 1 0 1 1 1803 1 1 1 1 }{PAGENUMBERS 0 1 2 33 1 1 }