{VERSION 2 3 "APPLE_PPC_MAC" "2.3" }
{USTYLETAB {CSTYLE "Maple Input" -1 0 "Courier" 0 1 255 0 0 1 0 1 0 0 
1 0 0 0 0 }{CSTYLE "2D Math" -1 2 "Times" 0 1 0 0 0 0 0 0 2 0 0 0 0 0 
0 }{CSTYLE "2D Output" 2 20 "" 0 1 0 0 255 1 0 0 0 0 0 0 0 0 0 }
{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 -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 }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 }1 0 0 -1 -1 -1 0 0 0 0 0 0 -1 0 }}
{SECT 0 {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "######### 3.71" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 117 "op1:= annihiloper( q^(j^2) \+
* qfac(-q^4,q^4,j-1) / qfac(-q^2,q^2, j-1) / qfac( q,q^2,j) / spqfac(q
^2,q^2,j), 1, back);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$op1G,,\"\"
\"F&*&,(%\"qGF&F&F&)F),&!\"\"F&%\"nG\"\"#F&F&%\"NGF,F,*&,(*$F)\"\"%F&F
)F,F*F,F&F/!\"#F,*&,(F2F,*$F)\"\"&F,F*F&F&F/!\"$F,*&,&F7F&F*F,F&F/!\"%
F," }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "altsign:=true;" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#>%(altsignG%%trueG" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 55 "A1:= applyshiftop(op1, q^(8*j^2 + 2*j) * U(
n, 4*j, 1));" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A1G,:*&-%\"UG6%,&%
\"nG\"\"\"!\"%F,,$%\"jG\"\"%F,F,)%\"qG,(*$F/\"\"#\"\")F/F5\"\"&F,F,!\"
\"*&F'F,)F2,*F4F6F/F5F8F,F+F5F,F,*&-F(6%,&F+F,!\"$F,F.F,F,F1F,F,*&F=F,
)F2,(F4F6F/F5F0F,F,F,*&F=F,F:F,F8*&-F(6%,&F+F,!\"#F,F.F,F,)F2,(F4F6F/F
5F,F,F,F,*&FFF,FBF,F8*&FFF,F:F,F,*&-F(6%,&F+F,F8F,F.F,F,FJF,F8*&)F2,&F
4F6F/F5F,FOF,F8*&FOF,F:F,F8*&FSF,-F(6%F+F.F,F,F," }}}{EXCHG {PARA 0 ">
 " 0 "" {MPLTEXT 1 0 15 "A2:= eU1(3,A1);" }}{PARA 12 "" 1 "" {XPPMATH 
20 "6#>%#A2G,<*&-%\"UG6%,&%\"nG\"\"\"!\"%F,,$%\"jG\"\"%F,F,)%\"qG,**$F
/\"\"#\"\")F/F5!\"\"F,F+F5F,F,*&)F2,*F4F6F/F5!\"#F,F+F5F,F'F,F,*&)F2,*
F4F6F/F;F5F,F+F,F,-%#T1G6%F*,&F/F0F7F,F,F,F,*&)F2,*F4F6F/\"\"'\"\"$F,F
+F,F,-F@6%F*,&F/F0F5F,F,F,F,*&-F(6%,&F+F,!\"$F,F.F,F,)F2,(F4F6F/F5F0F,
F,F,*&FLF,F1F,F7*&-F(6%,&F+F,F;F,F.F,F,)F2,(F4F6F/F5F,F,F,F,*&FTF,FPF,
F7*&FTF,F1F,F,*&-F(6%,&F+F,F7F,F.F,F,FWF,F7*&)F2,&F4F6F/F5F,FfnF,F7*&F
fnF,F1F,F7*&FjnF,-F(6%F+F.F,F,F," }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 15 "A3:= eU1(6,A2);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%
#A3G,>*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\"#\"\"\"%\"nGF,F/-%\"UG6%,&F0F/
!\"%F/,$F+\"\"%F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F/-%#T1G6%F4,&F+F7!\"\"F/F
/F/F/*&)F(,*F*F-F+\"\"'\"\"$F/F0F/F/-F<6%F4,&F+F7F,F/F/F/F/*&-F26%,&F0
F/!\"$F/F6F/F/)F(,(F*F-F+F,F7F/F/F/*&)F(,*F*F-F+F,!\")F/F0F7F/F1F/F?*&
)F(,*F*F-F+F.F5F/F0FDF/F;F/F?*&)F(,*F*F-F+FCFLF/F0FDF/FEF/F?*&-F26%,&F
0F/F.F/F6F/F/)F(,(F*F-F+F,F/F/F/F/*&FZF/FMF/F?*&FZF/)F(,*F*F-F+F,F?F/F
0F,F/F/*&-F26%,&F0F/F?F/F6F/F/FgnF/F?*&)F(,&F*F-F+F,F/F^oF/F?*&F^oF/F[
oF/F?*&FboF/-F26%F0F6F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
15 "A4:= eU1(9,A3);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A4G,@*&)%\"q
G,**$%\"jG\"\"#\"\")F+F,!\"#\"\"\"%\"nGF,F/-%\"UG6%,&F0F/!\"%F/,$F+\"
\"%F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F/-%#T1G6%F4,&F+F7!\"\"F/F/F/F/*&)F(,*
F*F-F+\"\"'\"\"$F/F0F/F/-F<6%F4,&F+F7F,F/F/F/F/*&)F(,*F*F-F+F,!\")F/F0
F7F/F1F/F?*&)F(,*F*F-F+F.F5F/F0FDF/F;F/F?*&)F(,*F*F-F+FC!\"$F/F0FDF/FE
F/F?*&-F26%,&F0F/F.F/F6F/F/)F(,(F*F-F+F,F/F/F/F/*&-F26%,&F0F/FRF/F6F/F
/)F(,*F*F-F+F,F?F/F0F,F/F?*&F9F/-F<6%FfnF>F/F/F?*&FAF/-F<6%FfnFGF/F/F?
*&FTF/FgnF/F/*&-F26%,&F0F/F?F/F6F/F/FWF/F?*&)F(,&F*F-F+F,F/FaoF/F?*&Fa
oF/FgnF/F?*&FeoF/-F26%F0F6F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "A5:= eU1(15,A4);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>
%#A5G,>*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\"#\"\"\"%\"nGF,F/-%\"UG6%,&F0F
/!\"%F/,$F+\"\"%F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F/-%#T1G6%F4,&F+F7!\"\"F/
F/F/F/*&)F(,*F*F-F+\"\"'\"\"$F/F0F/F/-F<6%F4,&F+F7F,F/F/F/F/*&)F(,*F*F
-F+F,!\")F/F0F7F/F1F/F?*&)F(,*F*F-F+F.F5F/F0FDF/F;F/F?*&)F(,*F*F-F+FC!
\"$F/F0FDF/FEF/F?*&-F26%,&F0F/F.F/F6F/F/)F(,(F*F-F+F,F/F/F/F/*&-F26%,&
F0F/FRF/F6F/F/)F(,*F*F-F+F,F?F/F0F,F/F?*&F9F/-F<6%FfnF>F/F/F?*&FAF/-F<
6%FfnFGF/F/F?*&FTF/FgnF/F/*&-F26%,&F0F/F?F/F6F/F/FWF/F?*&)F(,(F*F-F+F.
F0F/F/-F<6%FcoF>F/F/F/*&)F(,*F*F-F+FCF0F/F/F/F/-F<6%FcoFGF/F/F/" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "A6:=eU1(12,A5);" }}{PARA 12 
"" 1 "" {XPPMATH 20 "6#>%#A6G,@*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\"#\"\"
\"%\"nGF,F/-%\"UG6%,&F0F/!\"%F/,$F+\"\"%F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F
/-%#T1G6%F4,&F+F7!\"\"F/F/F/F/*&)F(,*F*F-F+\"\"'\"\"$F/F0F/F/-F<6%F4,&
F+F7F,F/F/F/F/*&)F(,*F*F-F+F,!\")F/F0F7F/F1F/F?*&)F(,*F*F-F+F.F5F/F0FD
F/F;F/F?*&)F(,*F*F-F+FC!\"$F/F0FDF/FEF/F?*&-F26%,&F0F/FRF/F6F/F/)F(,*F
*F-F+F,F?F/F0F,F/F?*&F9F/-F<6%FVF>F/F/F?*&FAF/-F<6%FVFGF/F/F?*&-F26%,&
F0F/F.F/F6F/F/FWF/F/*&F'F/FjnF/F?*&)F(,(F*F-F+F.F0F/F/-F<6%F\\oF>F/F/F
?*&)F(,*F*F-F+FCF0F/F/F/F/-F<6%F\\oFGF/F/F?*&F_oF/-F<6%,&F0F/F?F/F>F/F
/F/*&FdoF/-F<6%F[pFGF/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
15 "A7:=eT1(15,A6);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A7G,@*&)%\"q
G,**$%\"jG\"\"#\"\")F+F,!\"#\"\"\"%\"nGF,F/-%\"UG6%,&F0F/!\"%F/,$F+\"
\"%F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F/-%#T1G6%F4,&F+F7!\"\"F/F/F/F/*&)F(,*
F*F-F+\"\"'\"\"$F/F0F/F/-F<6%F4,&F+F7F,F/F/F/F/*&)F(,*F*F-F+F,!\")F/F0
F7F/F1F/F?*&)F(,*F*F-F+F.F5F/F0FDF/F;F/F?*&)F(,*F*F-F+FC!\"$F/F0FDF/FE
F/F?*&-F26%,&F0F/FRF/F6F/F/)F(,*F*F-F+F,F?F/F0F,F/F?*&F9F/-F<6%FVF>F/F
/F?*&FAF/-F<6%FVFGF/F/F?*&-F26%,&F0F/F.F/F6F/F/FWF/F/*&F'F/FjnF/F?*&)F
(,(F*F-F+F.F0F/F/-F<6%F\\oF>F/F/F?*&F_oF/-F<6%,&F0F/F?F/F>F/F/F/*&)F(,
*F*F-F+\"#5F0F,F,F/F/-%#T0G6%F\\o,&F+F7FDF/F/F/F/*&F'F/-F\\p6%F\\o,&F+
F7F/F/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A8:= eT1(13
,A7);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A8G,@*&)%\"qG,**$%\"jG\"\"
#\"\")F+F,!\"#\"\"\"%\"nGF,F/-%\"UG6%,&F0F/!\"%F/,$F+\"\"%F/F/F/*&)F(,
*F*F-F+F.F,F/F0F/F/-%#T1G6%F4,&F+F7!\"\"F/F/F/F/*&)F(,*F*F-F+\"\"'\"\"
$F/F0F/F/-F<6%F4,&F+F7F,F/F/F/F/*&)F(,*F*F-F+F,!\")F/F0F7F/F1F/F?*&)F(
,*F*F-F+F.F5F/F0FDF/F;F/F?*&)F(,*F*F-F+FC!\"$F/F0FDF/FEF/F?*&-F26%,&F0
F/FRF/F6F/F/)F(,*F*F-F+F,F?F/F0F,F/F?*&F9F/-F<6%FVF>F/F/F?*&FAF/-F<6%F
VFGF/F/F?*&-F26%,&F0F/F.F/F6F/F/FWF/F/*&F'F/FjnF/F?*&F'F/-%#T0GF[oF/F/
*&)F(,(F*F-F+!\"'F0F,F/-F`o6%F\\o,&F+F7F.F/F/F/F/*&)F(,*F*F-F+\"#5F0F,
F,F/F/-F`o6%F\\o,&F+F7FDF/F/F/F/*&F'F/-F`o6%F\\o,&F+F7F/F/F/F/F/" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A9:=splitU(11,A8);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%#A9G,:*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\"#
\"\"\"%\"nGF,F/-%\"UG6%,&F0F/!\"%F/,$F+\"\"%F/F/F/*&)F(,*F*F-F+F.F,F/F
0F/F/-%#T1G6%F4,&F+F7!\"\"F/F/F/F/*&)F(,*F*F-F+\"\"'\"\"$F/F0F/F/-F<6%
F4,&F+F7F,F/F/F/F/*&)F(,*F*F-F+F,!\")F/F0F7F/F1F/F?*&)F(,*F*F-F+F.F5F/
F0FDF/F;F/F?*&)F(,*F*F-F+FC!\"$F/F0FDF/FEF/F?*&-F26%,&F0F/FRF/F6F/F/)F
(,*F*F-F+F,F?F/F0F,F/F?*&F9F/-F<6%FVF>F/F/F?*&FAF/-F<6%FVFGF/F/F?*&-F2
6%,&F0F/F.F/F6F/F/FWF/F/*&)F(,(F*F-F+!\"'F0F,F/-%#T0G6%F\\o,&F+F7F.F/F
/F/F/*&)F(,*F*F-F+\"#5F0F,F,F/F/-Fbo6%F\\o,&F+F7FDF/F/F/F/" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A10:= eT1(8,A9);" }}{PARA 12 "" 1 "
" {XPPMATH 20 "6#>%$A10G,:*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\"#\"\"\"%\"
nGF,F/-%\"UG6%,&F0F/!\"%F/,$F+\"\"%F/F/F/*&)F(,*F*F-F+\"\"'\"\"$F/F0F/
F/-%#T1G6%F4,&F+F7F,F/F/F/F/*&)F(,*F*F-F+F,!\")F/F0F7F/F1F/!\"\"*&)F(,
*F*F-F+F.F5F/F0F<F/-F>6%F4,&F+F7FEF/F/F/FE*&)F(,*F*F-F+F;!\"$F/F0F<F/F
=F/FE*&-F26%,&F0F/FOF/F6F/F/)F(,*F*F-F+F,FEF/F0F,F/FE*&F'F/-%#T0GF3F/F
E*&)F(,(F*F-F+!\"'F0F,F/-FX6%F4,&F+F7F.F/F/F/FE*&F9F/-F>6%FSF@F/F/FE*&
-F26%,&F0F/F.F/F6F/F/FTF/F/*&FZF/-FX6%F`oFinF/F/F/*&)F(,*F*F-F+\"#5F0F
,F,F/F/-FX6%F`o,&F+F7F<F/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 18 "A11:= eU1(10,A10);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A11G,
<*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\"#\"\"\"%\"nGF,F/-%\"UG6%,&F0F/!\"%F
/,$F+\"\"%F/F/F/*&)F(,*F*F-F+\"\"'\"\"$F/F0F/F/-%#T1G6%F4,&F+F7F,F/F/F
/F/*&)F(,*F*F-F+F,!\")F/F0F7F/F1F/!\"\"*&)F(,*F*F-F+F.F5F/F0F<F/-F>6%F
4,&F+F7FEF/F/F/FE*&)F(,*F*F-F+F;!\"$F/F0F<F/F=F/FE*&F'F/-%#T0GF3F/FE*&
)F(,(F*F-F+!\"'F0F,F/-FR6%F4,&F+F7F.F/F/F/FE*&F9F/-F>6%,&F0F/FOF/F@F/F
/FE*&)F(,*F*F-F+F,FVF/F0F7F/-F26%FgnF6F/F/F/*&)F(,*F*F-F+F.FOF/F0F<F/-
F>6%FgnFKF/F/F/*&)F(,*F*F-F+F;F.F/F0F<F/FenF/F/*&FTF/-FR6%,&F0F/F.F/FY
F/F/F/*&)F(,*F*F-F+\"#5F0F,F,F/F/-FR6%Fho,&F+F7F<F/F/F/F/" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A12:= eT1(8,A11);" }}{PARA 12 "" 1 
"" {XPPMATH 20 "6#>%$A12G,<*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\"#\"\"\"%
\"nGF,F/-%\"UG6%,&F0F/!\"%F/,$F+\"\"%F/F/F/*&)F(,*F*F-F+F,!\")F/F0F7F/
F1F/!\"\"*&)F(,*F*F-F+F.F5F/F0\"\"$F/-%#T1G6%F4,&F+F7F<F/F/F/F<*&)F(,*
F*F-F+\"\"'!\"$F/F0F@F/-FB6%F4,&F+F7F,F/F/F/F<*&F'F/-%#T0GF3F/F<*&)F(,
(F*F-F+!\"'F0F,F/-FO6%F4,&F+F7F.F/F/F/F<*&)F(,*F*F-F+\"#5F0F,F,F/F/-FO
6%F4,&F+F7F@F/F/F/F<*&F'F/-FO6%F4,&F+F7F/F/F/F/F<*&)F(,*F*F-F+F,FSF/F0
F7F/-F26%,&F0F/FIF/F6F/F/F/*&)F(,*F*F-F+F.FIF/F0F@F/-FB6%FaoFDF/F/F/*&
)F(,*F*F-F+FHF.F/F0F@F/-FB6%FaoFLF/F/F/*&FQF/-FO6%,&F0F/F.F/FVF/F/F/*&
FXF/-FO6%F_pFgnF/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "a1
3:= splitU(1,A12);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a13G,6*&)%\"q
G,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+
F1F/F/!\"\"*&)F(,*F*F-F+!\"#F6F/F0\"\"$F/-%#T1G6%F5,&F+F1F8F/F/F/F8*&)
F(,*F*F-F+\"\"'!\"$F/F0F=F/-F?6%F5,&F+F1F,F/F/F/F8*&)F(,(F*F-F+!\"'F0F
,F/-%#T0G6%F5,&F+F1F<F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-FO6%F5,&F+F1F
=F/F/F/F8*&)F(,*F*F-F+F,FMF/F0F1F/-F36%,&F0F/FFF/F7F/F/F/*&)F(,*F*F-F+
F<FFF/F0F=F/-F?6%FhnFAF/F/F/*&)F(,*F*F-F+FEF<F/F0F=F/-F?6%FhnFIF/F/F/*
&FKF/-FO6%,&F0F/F<F/FQF/F/F/*&FSF/-FO6%FfoFXF/F/F/" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 8 "########" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 24 "a14:= shiftdown(10,a13);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$a14G,6*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG
\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-F+!\"#F6F/F0\"\"$
F/-%#T1G6%F5,&F+F1F8F/F/F/F8*&)F(,*F*F-F+\"\"'!\"$F/F0F=F/-F?6%F5,&F+F
1F,F/F/F/F8*&)F(,(F*F-F+!\"'F0F,F/-%#T0G6%F5,&F+F1F<F/F/F/F8*&)F(,*F*F
-F+\"#5F0F,F,F/F/-FO6%F5,&F+F1F=F/F/F/F8*&)F(,*F*F-F+F,FMF/F0F1F/-F36%
,&F0F/FFF/F7F/F/F/*&)F(,*F*F-F+F<FFF/F0F=F/-F?6%FhnFAF/F/F/*&)F(,*F*F-
F+FEF<F/F0F=F/-F?6%FhnFIF/F/F/*&FKF/-FO6%,&F0F/F<F/FQF/F/F/*&FKF/-FO6%
FfoFAF/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a15:= eT0(9,a14);" }}{PARA 12 "" 1 
"" {XPPMATH 20 "6#>%$a15G,:*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%
\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-F+!\"#F6F/F0
\"\"$F/-%#T1G6%F5,&F+F1F8F/F/F/F8*&)F(,*F*F-F+\"\"'!\"$F/F0F=F/-F?6%F5
,&F+F1F,F/F/F/F8*&)F(,(F*F-F+!\"'F0F,F/-%#T0G6%F5,&F+F1F<F/F/F/F8*&)F(
,*F*F-F+\"#5F0F,F,F/F/-FO6%F5,&F+F1F=F/F/F/F8*&)F(,*F*F-F+F,FMF/F0F1F/
-F36%,&F0F/FFF/F7F/F/F/*&)F(,*F*F-F+F<FFF/F0F=F/-F?6%FhnFAF/F/F/*&)F(,
*F*F-F+FEF<F/F0F=F/-F?6%FhnFIF/F/F/*&FKF/-FO6%Fhn,&F+F1FFF/F/F/F/*&F:F
/-F?6%FhnFQF/F/F/*&F'F/-FOF]oF/F/*&FKF/-FO6%,&F0F/F<F/FAF/F/F8" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a16:= sym(9,a15);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$a16G,:*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")
\"\"\"%\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-F+!\"#
F6F/F0\"\"$F/-%#T1G6%F5,&F+F1F8F/F/F/F8*&)F(,*F*F-F+\"\"'!\"$F/F0F=F/-
F?6%F5,&F+F1F,F/F/F/F8*&)F(,(F*F-F+!\"'F0F,F/-%#T0G6%F5,&F+F1F<F/F/F/F
8*&)F(,*F*F-F+\"#5F0F,F,F/F/-FO6%F5,&F+F1F=F/F/F/F8*&)F(,*F*F-F+F,FMF/
F0F1F/-F36%,&F0F/FFF/F7F/F/F/*&)F(,*F*F-F+F<FFF/F0F=F/-F?6%FhnFAF/F/F/
*&)F(,*F*F-F+FEF<F/F0F=F/-F?6%FhnFIF/F/F/*&FKF/-FO6%Fhn,&F+F6F=F/F/F/F
/*&F:F/-F?6%FhnFQF/F/F/*&F'F/-FOF]oF/F/*&FKF/-FO6%,&F0F/F<F/FAF/F/F8" 
}}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a17:= eT0(9,a16);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a17G,>*&)%\"qG,**$%\"jG\"\"#\"\")F+
F,!\")\"\"\"%\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-
F+!\"#F6F/F0\"\"$F/-%#T1G6%F5,&F+F1F8F/F/F/F8*&)F(,*F*F-F+\"\"'!\"$F/F
0F=F/-F?6%F5,&F+F1F,F/F/F/F8*&)F(,(F*F-F+!\"'F0F,F/-%#T0G6%F5,&F+F1F<F
/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-FO6%F5,&F+F1F=F/F/F/F8*&)F(,*F*F-F+
F,FMF/F0F1F/-F36%,&F0F/FFF/F7F/F/F/*&)F(,*F*F-F+F<FFF/F0F=F/-F?6%FhnFA
F/F/F/*&)F(,*F*F-F+FEF<F/F0F=F/-F?6%FhnFIF/F/F/*&FKF/-FO6%F5,&F+F6F,F/
F/F/F/*&)F(,(F*F-F+!#5F0F=F/-F?6%F5,&F+F6F=F/F/F/F/*&)F(,(F*F-F+!#9F0F
1F/-FO6%F5,&F+F6F1F/F/F/F/*&F:F/-F?6%FhnFQF/F/F/*&F'F/-FOF]oF/F/*&FKF/
-FO6%,&F0F/F<F/FAF/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "
a18:= sym(9,a17);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a18G,:*&)%\"qG
,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F
1F/F/!\"\"*&)F(,*F*F-F+!\"#F6F/F0\"\"$F/-%#T1G6%F5,&F+F1F8F/F/F/F8*&)F
(,*F*F-F+\"\"'!\"$F/F0F=F/-F?6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,
F,F/F/-%#T0G6%F5,&F+F1F=F/F/F/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/
FFF/F7F/F/F/*&)F(,*F*F-F+F<FFF/F0F=F/-F?6%FXFAF/F/F/*&)F(,*F*F-F+FEF<F
/F0F=F/-F?6%FXFIF/F/F/*&)F(,(F*F-F+!#5F0F=F/-F?6%F5,&F+F6F=F/F/F/F/*&)
F(,(F*F-F+!#9F0F1F/-FO6%F5,&F+F6F1F/F/F/F/*&F:F/-F?6%FX,&F+F1F<F/F/F/F
/*&F'F/-FOFgnF/F/*&)F(,(F*F-F+FUF0F,F/-FO6%,&F0F/F<F/FAF/F/F8" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a19:= eT1(10,a18);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$a19G,>*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")
\"\"\"%\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-F+!\"#
F6F/F0\"\"$F/-%#T1G6%F5,&F+F1F8F/F/F/F8*&)F(,*F*F-F+\"\"'!\"$F/F0F=F/-
F?6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-%#T0G6%F5,&F+F1F=F/F
/F/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/FFF/F7F/F/F/*&)F(,*F*F-F+F<
FFF/F0F=F/-F?6%FXFAF/F/F/*&)F(,*F*F-F+FEF<F/F0F=F/-F?6%FXFIF/F/F/*&)F(
,(F*F-F+!#5F0F=F/-F?6%F5,&F+F6F=F/F/F/F/*&)F(,(F*F-F+!#9F0F1F/-FO6%F5,
&F+F6F1F/F/F/F/*&F:F/-F?6%F5,&F+F1F<F/F/F/F/*&)F(,*F*F-F+F,!\"*F/F0F1F
/-FOF@F/F/*&)F(,*F*F-F+FU!\"&F/F0F1F/-FO6%F5,&F+F1FFF/F/F/F/*&F'F/-FOF
gnF/F/*&)F(,(F*F-F+FUF0F,F/-FO6%,&F0F/F<F/FAF/F/F8" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 17 "a20:= e0(10,a19);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$a20G,:*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG
\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"
\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-%#T0G6%F5,&
F+F1F>F/F/F/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&)F(,
*F*F-F+!\"#F=F/F0F>F/-F@6%FQ,&F+F1F8F/F/F/F/*&)F(,*F*F-F+F<FUF/F0F>F/-
F@6%FQFBF/F/F/*&)F(,(F*F-F+!#5F0F>F/-F@6%F5,&F+F6F>F/F/F/F/*&)F(,(F*F-
F+!#9F0F1F/-FH6%F5,&F+F6F1F/F/F/F/*&)F(,*F*F-F+FNFNF/F0F1F/-FH6%F5,&F+
F1FUF/F/F/F/*&)F(,*F*F-F+FN!\"&F/F0F1F/-FH6%F5,&F+F1F=F/F/F/F/*&F'F/-F
HFWF/F/*&)F(,(F*F-F+FNF0F,F/-FH6%,&F0F/FUF/FXF/F/F8" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 23 "a21:= shiftdown(6,a20);" }}{PARA 12 "" 1 
"" {XPPMATH 20 "6#>%$a21G,:*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%
\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/
F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-%#T0G6%
F5,&F+F1F>F/F/F/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&
)F(,*F*F-F+!\"#F=F/F0F>F/-F@6%FQ,&F+F1F8F/F/F/F/*&)F(,(F*F-F+!#5F0F>F/
-F@6%FQ,&F+F1FUF/F/F/F8*&FZF/-F@6%F5,&F+F6F>F/F/F/F/*&)F(,(F*F-F+!#9F0
F1F/-FH6%F5,&F+F6F1F/F/F/F/*&)F(,*F*F-F+FNFNF/F0F1F/-FH6%F5FinF/F/F/*&
)F(,*F*F-F+FN!\"&F/F0F1F/-FH6%F5,&F+F1F=F/F/F/F/*&F'F/-FHFWF/F/*&)F(,(
F*F-F+FNF0F,F/-FH6%,&F0F/FUF/FXF/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "a22:= eT1(6,a21);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#
>%$a22G,>*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%\"UG6%
,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5
,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-%#T0G6%F5,&F+F1F>F/F/F/F8*
&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&)F(,*F*F-F+!\"#F=F/
F0F>F/-F@6%FQ,&F+F1F8F/F/F/F/*&)F(,(F*F-F+!#5F0F>F/-F@6%F5,&F+F1FUF/F/
F/F8*&)F(,*F*F-F+FN!\"&F/F0F1F/-FH6%F5FXF/F/F8*&)F(,*F*F-F+!#9F0F1F8F/
F/-FH6%F5,&F+F1F=F/F/F/F8*&FZF/-F@6%F5,&F+F6F>F/F/F/F/*&)F(,(F*F-F+Fco
F0F1F/-FH6%F5,&F+F6F1F/F/F/F/*&)F(,*F*F-F+FNFNF/F0F1F/-FHFhnF/F/*&F[oF
/FdoF/F/*&F'F/-FHFWF/F/*&)F(,(F*F-F+FNF0F,F/-FH6%,&F0F/FUF/FXF/F/F8" }
}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a23:= sym(9,a22);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a23G,>*&)%\"qG,**$%\"jG\"\"#\"\")F+
F,!\")\"\"\"%\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-
F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F
,F/F/-%#T0G6%F5,&F+F1F>F/F/F/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/F
=F/F7F/F/F/*&)F(,*F*F-F+!\"#F=F/F0F>F/-F@6%FQ,&F+F1F8F/F/F/F/*&)F(,(F*
F-F+!#5F0F>F/-F@6%F5,&F+F1FUF/F/F/F8*&)F(,*F*F-F+FN!\"&F/F0F1F/-FH6%F5
FXF/F/F8*&)F(,*F*F-F+!#9F0F1F8F/F/-FH6%F5,&F+F1F=F/F/F/F8*&FZF/-F@FeoF
/F/*&)F(,(F*F-F+FcoF0F1F/-FH6%F5,&F+F6F1F/F/F/F/*&)F(,*F*F-F+FNFNF/F0F
1F/-FHFhnF/F/*&F[oF/FdoF/F/*&F'F/-FHFWF/F/*&)F(,(F*F-F+FNF0F,F/-FH6%,&
F0F/FUF/FXF/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "a24:=e0
(9,a23);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a24G,6*&)%\"qG,**$%\"jG
\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"
\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*&)F(,*F*
F-F+\"#5F0F,F,F/F/-%#T0G6%F5,&F+F1F>F/F/F/F8*&)F(,*F*F-F+F,!\"'F/F0F1F
/-F36%,&F0F/F=F/F7F/F/F/*&)F(,*F*F-F+!\"#F=F/F0F>F/-F@6%FQ,&F+F1F8F/F/
F/F/*&)F(,*F*F-F+FN!\"&F/F0F1F/-FH6%F5FXF/F/F8*&)F(,(F*F-F+!#9F0F1F/-F
H6%F5,&F+F6F1F/F/F/F/*&FZF/-FH6%F5,&F+F1F=F/F/F/F/*&F'F/-FHFWF/F/*&)F(
,(F*F-F+FNF0F,F/-FH6%,&F0F/FUF/FXF/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "a25:= sym(9,a24);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#
>%$a25G,6*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%\"UG6%
,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5
,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-%#T0G6%F5,&F+F1F>F/F/F/F8*
&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&)F(,*F*F-F+!\"#F=F/
F0F>F/-F@6%FQ,&F+F1F8F/F/F/F/*&)F(,*F*F-F+FN!\"&F/F0F1F/-FH6%F5FXF/F/F
8*&)F(,(F*F-F+!#9F0F1F/-FH6%F5,&F+F6F1F/F/F/F/*&FZF/-FH6%F5,&F+F1F=F/F
/F/F/*&F'F/-FH6%FQ,&F+F6F/F/F/F/F/*&)F(,(F*F-F+FNF0F,F/-FH6%,&F0F/FUF/
FXF/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a26:= eT0(9,a25
);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a26G,:*&)%\"qG,**$%\"jG\"\"#
\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%\"UG6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&)F
(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"
#5F0F,F,F/F/-%#T0G6%F5,&F+F1F>F/F/F/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%
,&F0F/F=F/F7F/F/F/*&)F(,*F*F-F+!\"#F=F/F0F>F/-F@6%FQ,&F+F1F8F/F/F/F/*&
)F(,*F*F-F+FN!\"&F/F0F1F/-FH6%F5FXF/F/F8*&)F(,(F*F-F+!#9F0F1F/-FH6%F5,
&F+F6F1F/F/F/F/*&FZF/-FH6%F5,&F+F1F=F/F/F/F/*&F'F/-FH6%F5,$F+F6F/F/F/*
&)F(,*F*F-F+FU!#5F/F0\"\"&F/-F@6%F5,&F+F6F/F/F/F/F/*&)F(,*F*F-F+FN!#7F
/F0F<F/-FH6%F5,&F+F6F,F/F/F/F/*&)F(,(F*F-F+FNF0F,F/-FH6%,&F0F/FUF/FXF/
F/F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "a27:= splitU(1,a26)
;" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a27G,<*&)%\"qG,**$%\"jG\"\"#\"
\")F+F,!\")\"\"\"%\"nG\"\"%F/-%#T0G6%,&F0F/!\"%F/,$F+F1F/F/!\"\"*&F'F/
-F36%F5,&F+F1F/F/F/F/F8*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5,&F+
F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-F36%F5,&F+F1FBF/F/F/F8*&)F(,*F
*F-F+F,!\"'F/F0F1F/-%\"UG6%,&F0F/FAF/F7F/F/F/*&)F(,*F*F-F+!\"#FAF/F0FB
F/-FD6%FU,&F+F1F8F/F/F/F/*&)F(,*F*F-F+FQ!\"&F/F0F1F/-F36%F5FfnF/F/F8*&
)F(,(F*F-F+!#9F0F1F/-F36%F5,&F+F6F1F/F/F/F/*&FhnF/-F36%F5,&F+F1FAF/F/F
/F/*&F'F/-F36%F5,$F+F6F/F/F/*&)F(,*F*F-F+FY!#5F/F0\"\"&F/-FD6%F5,&F+F6
F/F/F/F/F/*&)F(,*F*F-F+FQ!#7F/F0F@F/-F36%F5,&F+F6F,F/F/F/F/*&)F(,(F*F-
F+FQF0F,F/-F36%,&F0F/FYF/FfnF/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "a28:= sym(1,a27);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#
>%$a28G,8*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%#T0G6%
,&F0F/!\"%F/,&F+F1F/F/F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G
6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-F36%F5,&F+F1F>F/F/F/F8
*&)F(,*F*F-F+F,!\"'F/F0F1F/-%\"UG6%,&F0F/F=F/,$F+F1F/F/F/*&)F(,*F*F-F+
!\"#F=F/F0F>F/-F@6%FQ,&F+F1F8F/F/F/F/*&)F(,*F*F-F+FM!\"&F/F0F1F/-F36%F
5FYF/F/F8*&)F(,(F*F-F+!#9F0F1F/-F36%F5,&F+F6F1F/F/F/F/*&FenF/-F36%F5,&
F+F1F=F/F/F/F/*&)F(,*F*F-F+FV!#5F/F0\"\"&F/-F@6%F5,&F+F6F/F/F/F/F/*&)F
(,*F*F-F+FM!#7F/F0F<F/-F36%F5,&F+F6F,F/F/F/F/*&)F(,(F*F-F+FMF0F,F/-F36
%,&F0F/FVF/FYF/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 12 "####
########" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a29:= eT1(5,a28
);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a29G,<*&)%\"qG,**$%\"jG\"\"#
\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%#T0G6%,&F0F/!\"%F/,&F+F1F/F/F/F/!\"\"
*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-
F+\"#5F0F,F,F/F/-F36%F5,&F+F1F>F/F/F/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-%\"
UG6%,&F0F/F=F/,$F+F1F/F/F/*&)F(,*F*F-F+!\"#F=F/F0F>F/-F@6%F5,&F+F1F8F/
F/F/F/*&)F(,*F*F-F+F,!\"(F/F0F1F/-F36%F5FRF/F/F/*&)F(,*F*F-F+FM!\"&F/F
0F1F/-F36%F5,&F+F1FVF/F/F/F/*&F[oF/-F3FXF/F8*&)F(,(F*F-F+!#9F0F1F/-F36
%F5,&F+F6F1F/F/F/F/*&F[oF/-F36%F5,&F+F1F=F/F/F/F/*&)F(,*F*F-F+FV!#5F/F
0\"\"&F/-F@6%F5,&F+F6F/F/F/F/F/*&)F(,*F*F-F+FM!#7F/F0F<F/-F36%F5,&F+F6
F,F/F/F/F/*&)F(,(F*F-F+FMF0F,F/-F36%,&F0F/FVF/FYF/F/F8" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "########" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 18 "a30:= eT0(13,a29);" }}{PARA 12 "" 1 "" {XPPMATH 20 
"6#>%$a30G,@*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%#T0
G6%,&F0F/!\"%F/,&F+F1F/F/F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#
T1G6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-F36%F5,&F+F1F>F/F/F
/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-%\"UG6%,&F0F/F=F/,$F+F1F/F/F/*&)F(,*F*F
-F+!\"#F=F/F0F>F/-F@6%F5,&F+F1F8F/F/F/F/*&)F(,*F*F-F+F,!\"(F/F0F1F/-F3
6%F5FRF/F/F/*&)F(,*F*F-F+FM!\"&F/F0F1F/-F36%F5,&F+F1FVF/F/F/F/*&F[oF/-
F3FXF/F8*&)F(,(F*F-F+!#9F0F1F/-F36%F5,&F+F6F1F/F/F/F/*&F[oF/-F36%F5,&F
+F1F=F/F/F/F/*&)F(,*F*F-F+FV!#5F/F0\"\"&F/-F@6%F5,&F+F6F/F/F/F/F/*&)F(
,*F*F-F+FM!#7F/F0F<F/-F36%F5,&F+F6F,F/F/F/F/*&)F(,(F*F-F+FMF0F,F/-F36%
FQF`oF/F/F8*&FTF/-F@6%FQFYF/F/F8*&FKF/-F3FPF/F8" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 20 "a31:= splitU(4,a30);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$a31G,>*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG
\"\"%F/-%#T0G6%,&F0F/!\"%F/,&F+F1F/F/F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/
F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-F36%F5,
&F+F1F>F/F/F/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&)F(
,*F*F-F+!\"#F=F/F0F>F/-F@6%F5,&F+F1F8F/F/F/F/*&)F(,*F*F-F+F,!\"(F/F0F1
F/-F36%F5,$F+F1F/F/F/*&)F(,*F*F-F+FM!\"&F/F0F1F/-F36%F5,&F+F1FTF/F/F/F
/*&FjnF/-F3FVF/F8*&)F(,(F*F-F+!#9F0F1F/-F36%F5,&F+F6F1F/F/F/F/*&FjnF/-
F36%F5,&F+F1F=F/F/F/F/*&)F(,*F*F-F+FT!#5F/F0\"\"&F/-F@6%F5,&F+F6F/F/F/
F/F/*&)F(,*F*F-F+FM!#7F/F0F<F/-F36%F5,&F+F6F,F/F/F/F/*&)F(,(F*F-F+FMF0
F,F/-F36%FPF_oF/F/F8*&FRF/-F@6%FPFWF/F/F8" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 18 "a32:= eT1(14,a31);" }}{PARA 12 "" 1 "" {XPPMATH 20 
"6#>%$a32G,6*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%#T0
G6%,&F0F/!\"%F/,&F+F1F/F/F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#
T1G6%F5,&F+F1F,F/F/F/F8*&)F(,*F*F-F+\"#5F0F,F,F/F/-F36%F5,&F+F1F>F/F/F
/F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&)F(,*F*F-F+FM!
\"&F/F0F1F/-F36%F5,&F+F1F8F/F/F/F8*&)F(,(F*F-F+!#9F0F1F/-F36%F5,&F+F6F
1F/F/F/F/*&FRF/-F36%F5,&F+F1F=F/F/F/F/*&)F(,*F*F-F+!\"#!#5F/F0\"\"&F/-
F@6%F5,&F+F6F/F/F/F/F/*&)F(,*F*F-F+FM!#7F/F0F<F/-F36%F5,&F+F6F,F/F/F/F
/*&)F(,(F*F-F+FMF0F,F/-F36%FP,&F+F1F`oF/F/F/F8" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 23 "a33:= shiftdown(3,a32);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$a33G,6*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG
\"\"%F/-%#T0G6%,&F0F/!\"%F/,&F+F1F/F/F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/
F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*&)F(,(F*F-F+!\"'F0F,F/-F36%F5,&F+F
1F8F/F/F/F/*&)F(,*F*F-F+F,FFF/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&)F(,*F*F-
F+FF!\"&F/F0F1F/FGF/F8*&)F(,(F*F-F+!#9F0F1F/-F36%F5,&F+F6F1F/F/F/F/*&F
QF/-F36%F5,&F+F1F=F/F/F/F/*&)F(,*F*F-F+!\"#!#5F/F0\"\"&F/-F@6%F5,&F+F6
F/F/F/F/F/*&)F(,*F*F-F+FF!#7F/F0F<F/-F36%F5,&F+F6F,F/F/F/F/*&FDF/-F36%
FO,&F+F1F\\oF/F/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a34
:= sym(10,a33);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a34G,6*&)%\"qG,*
*$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%#T0G6%,&F0F/!\"%F/,&F+F1F
/F/F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F
8*&)F(,(F*F-F+!\"'F0F,F/-F36%F5,&F+F1F8F/F/F/F/*&)F(,*F*F-F+F,FFF/F0F1
F/-F36%,&F0F/F=F/F7F/F/F/*&)F(,*F*F-F+FF!\"&F/F0F1F/FGF/F8*&)F(,(F*F-F
+!#9F0F1F/-F36%F5,&F+F6F1F/F/F/F/*&FQF/-F36%F5,&F+F1F=F/F/F/F/*&)F(,*F
*F-F+!\"#!#5F/F0\"\"&F/-F@6%F5,&F+F6F/F/F/F/F/*&)F(,*F*F-F+FF!#7F/F0F<
F/-F36%F5,&F+F6F,F/F/F/F/*&FDF/-F36%FOFhoF/F/F8" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 18 "a35:= eT0(10,a34);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$a35G,:*&)%\"qG,**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG
\"\"%F/-%#T0G6%,&F0F/!\"%F/,&F+F1F/F/F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/
F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*&)F(,(F*F-F+!\"'F0F,F/-F36%F5,&F+F
1F8F/F/F/F/*&)F(,*F*F-F+F,FFF/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&)F(,*F*F-
F+FF!\"&F/F0F1F/FGF/F8*&)F(,(F*F-F+!#9F0F1F/-F36%F5,&F+F6F1F/F/F/F/*&F
QF/-F36%F5,&F+F1F=F/F/F/F/*&)F(,*F*F-F+!\"#!#5F/F0\"\"&F/-F@6%F5,&F+F6
F/F/F/F/F/*&)F(,*F*F-F+FF!#7F/F0F<F/-F36%F5,&F+F6F,F/F/F/F/*&FDF/-F3F`
oF/F8*&)F(,*F*F-F+F]oF0F>F8F/F/-F@FgoF/F8*&)F(,*F*F-F+FWF0F1F\\oF/F/-F
36%F5,&F+F6F>F/F/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a3
6:= sym(10,a35);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a36G,6*&)%\"qG,
**$%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%#T0G6%,&F0F/!\"%F/,&F+F1
F/F/F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/
F8*&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&)F(,*F*F-F+FF!\"
&F/F0F1F/-F36%F5,&F+F1F8F/F/F/F8*&)F(,(F*F-F+!#9F0F1F/-F36%F5,&F+F6F1F
/F/F/F/*&FKF/-F36%F5,&F+F1F=F/F/F/F/*&)F(,*F*F-F+!\"#!#5F/F0\"\"&F/-F@
6%F5,&F+F6F/F/F/F/F/*&)F(,*F*F-F+FF!#7F/F0F<F/-F36%F5,&F+F6F,F/F/F/F/*
&)F(,*F*F-F+FjnF0F>F8F/F/-F@FdoF/F8*&)F(,*F*F-F+FTF0F1FinF/F/-F36%F5,&
F+F6F>F/F/F/F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "a37:= shi
ftup(10,a36);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a37G,6*&)%\"qG,**$
%\"jG\"\"#\"\")F+F,!\")\"\"\"%\"nG\"\"%F/-%#T0G6%,&F0F/!\"%F/,&F+F1F/F
/F/F/!\"\"*&)F(,*F*F-F+\"\"'!\"$F/F0\"\"$F/-%#T1G6%F5,&F+F1F,F/F/F/F8*
&)F(,*F*F-F+F,!\"'F/F0F1F/-F36%,&F0F/F=F/F7F/F/F/*&)F(,*F*F-F+FF!\"&F/
F0F1F/-F36%F5,&F+F1F8F/F/F/F8*&)F(,(F*F-F+!#9F0F1F/-F36%F5,&F+F6F1F/F/
F/F/*&FKF/-F36%F5,&F+F1F=F/F/F/F/*&)F(,*F*F-F+!\"#!#5F/F0\"\"&F/-F@6%F
5,&F+F6F/F/F/F/F/*&)F(,*F*F-F+FF!#7F/F0F<F/-F36%F5,&F+F6F,F/F/F/F/*&)F
(,*F*F-F+FjnF0F>F8F/F/-F@FdoF/F8*&F'F/-F36%F5,&F+F6F8F/F/F/F/" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a38:= sym(10,a37);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$a38G,2*&)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!
\"$\"\"\"%\"nG\"\"$F0-%#T1G6%,&F1F0!\"%F0,&F+\"\"%F,F0F0F0!\"\"*&)F(,*
F*F-F+F,!\"'F0F1F9F0-%#T0G6%,&F1F0F/F0,&F+F9F0F0F0F0F0*&)F(,*F*F-F+F>!
\"&F0F1F9F0-F@6%F6,&F+F9F:F0F0F0F:*&)F(,(F*F-F+!#9F1F9F0-F@6%F6,&F+F7F
9F0F0F0F0*&FEF0-F@6%F6,&F+F9F/F0F0F0F0*&)F(,*F*F-F+!\"#!#5F0F1\"\"&F0-
F46%F6,&F+F7F0F0F0F0F0*&)F(,*F*F-F+F>!#7F0F1F.F0-F@6%F6,&F+F7F,F0F0F0F
0*&)F(,*F*F-F+FZF1F2F:F0F0-F4F^oF0F:" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 20 "a39:=shiftup(4,a38);" }}{PARA 12 "" 1 "" {XPPMATH 20 
"6#>%$a39G,2*&)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!\"$\"\"\"%\"nG\"\"$F0-%
#T1G6%,&F1F0!\"%F0,&F+\"\"%F,F0F0F0!\"\"*&)F(,*F*F-F+F,!\"'F0F1F9F0-%#
T0G6%,&F1F0F/F0,&F+F9F0F0F0F0F0*&)F(,*F*F-F+F>!\"&F0F1F9F0-F@6%F6,&F+F
9F:F0F0F0F:*&F<F0-F@6%F6,$F+F7F0F0F:*&FEF0-F@6%F6,&F+F9F/F0F0F0F0*&)F(
,*F*F-F+!\"#!#5F0F1\"\"&F0-F46%F6,&F+F7F0F0F0F0F0*&)F(,*F*F-F+F>!#7F0F
1F.F0-F@6%F6,&F+F7F,F0F0F0F0*&)F(,*F*F-F+FWF1F2F:F0F0-F4F[oF0F:" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a40:= eT0(2,a39);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$a40G,6*&)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!
\"$\"\"\"%\"nG\"\"$F0-%#T1G6%,&F1F0!\"%F0,&F+\"\"%F,F0F0F0!\"\"*&)F(,*
F*F-F+F,!\"'F0F1F9F0-%#T0G6%F6,$F+F9F0F0F0*&)F(,*F*F-F+F.!\")F0F1\"\"&
F0-F46%F6,&F+F9F0F0F0F0F0*&)F(,*F*F-F+\"#5!#5F0F1F.F0-F@F5F0F0*&)F(,*F
*F-F+F>!\"&F0F1F9F0-F@6%F6,&F+F9F:F0F0F0F:*&F<F0-F@6%F6,$F+F7F0F0F:*&F
RF0-F@6%F6,&F+F9F/F0F0F0F0*&)F(,*F*F-F+!\"#FOF0F1FGF0-F46%F6,&F+F7F0F0
F0F0F0*&)F(,*F*F-F+F>!#7F0F1F.F0-F@6%F6,&F+F7F,F0F0F0F0*&)F(,*F*F-F+FO
F1F2F:F0F0-F4FfoF0F:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a41
:=sym(2,a40);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a41G,2*&)%\"qG,**$
%\"jG\"\"#\"\")F+\"\"'!\"$\"\"\"%\"nG\"\"$F0-%#T1G6%,&F1F0!\"%F0,&F+\"
\"%F,F0F0F0!\"\"*&)F(,*F*F-F+F.!\")F0F1\"\"&F0-F46%F6,&F+F9F0F0F0F0F0*
&)F(,*F*F-F+\"#5!#5F0F1F.F0-%#T0GF5F0F0*&)F(,*F*F-F+!\"'!\"&F0F1F9F0-F
I6%F6,&F+F9F:F0F0F0F:*&FKF0-FI6%F6,&F+F9F/F0F0F0F0*&)F(,*F*F-F+!\"#FGF
0F1F?F0-F46%F6,&F+F7F0F0F0F0F0*&)F(,*F*F-F+FM!#7F0F1F.F0-FI6%F6,&F+F7F
,F0F0F0F0*&)F(,*F*F-F+FGF1F2F:F0F0-F4F\\oF0F:" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 23 "a42:= shiftdown(1,a41);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$a42G,2*&)%\"qG,**$%\"jG\"\"#\"\")F+!#5%\"nG\"\"$!\"
\"\"\"\"F2-%#T1G6%,&F/F2!\"%F2,&F+\"\"%!\"#F2F2F2F2*&)F(,*F*F-F+\"\"'!
\")F2F/\"\"&F2-F46%F6,&F+F9F2F2F2F2F2*&)F(,*F*F-F+\"#5F.F2F/F>F2-%#T0G
6%F6,&F+F9F,F2F2F2F2*&)F(,*F*F-F+!\"'!\"&F2F/F9F2-FI6%F6,&F+F9F1F2F2F2
F1*&FMF2-FI6%F6,&F+F9!\"$F2F2F2F2*&)F(,*F*F-F+F:F.F2F/F@F2-F46%F6,&F+F
7F2F2F2F2F2*&)F(,*F*F-F+FO!#7F2F/F>F2-FI6%F6,&F+F7F,F2F2F2F2*&F'F2-F4F
^oF2F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a43:=sym(1,a42);
" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a43G,.*&)%\"qG,**$%\"jG\"\"#\"
\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!\"%F0,&F+\"\"%F0F0F0F0F
0*&)F(,*F*F-F+\"#5!#5F0F1F.F0-%#T0G6%F6,&F+F9F,F0F0F0F0*&)F(,*F*F-F+!
\"'!\"&F0F1F9F0-F@6%F6,&F+F9!\"\"F0F0F0FK*&FDF0-F@6%F6,&F+F9!\"$F0F0F0
F0*&)F(,*F*F-F+!\"#F>F0F1F2F0-F46%F6,&F+F7F0F0F0F0F0*&)F(,*F*F-F+FF!#7
F0F1F.F0-F@6%F6,&F+F7F,F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 23 "a44:= shiftdown(2,a43);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$
a44G,.*&)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%
,&F1F0!\"%F0,&F+\"\"%F0F0F0F0F0*&)F(,*F*F-F+!\"'!#7F0F1F.F0-%#T0G6%F6,
&F+F9!\"#F0F0F0!\"\"*&)F(,*F*F-F+F=!\"&F0F1F9F0-F@6%F6,&F+F9FDF0F0F0FD
*&FFF0-F@6%F6,&F+F9!\"$F0F0F0F0*&)F(,*F*F-F+FC!#5F0F1F2F0-F46%F6,&F+F7
F0F0F0F0F0*&F;F0-F@6%F6,&F+F7F,F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "a45:= sym(2,a44);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#
>%$a45G,**&)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1
G6%,&F1F0!\"%F0,&F+\"\"%F0F0F0F0F0*&)F(,*F*F-F+!\"'!\"&F0F1F9F0-%#T0G6
%F6,&F+F9!\"\"F0F0F0FC*&F;F0-F@6%F6,&F+F9!\"$F0F0F0F0*&)F(,*F*F-F+!\"#
!#5F0F1F2F0-F46%F6,&F+F7F0F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a46:= e
T0(2,a45);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a46G,.*&)%\"qG,**$%\"
jG\"\"#\"\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!\"%F0,&F+\"\"%
F0F0F0F0F0*&)F(,*F*F-F+!\"'!\"&F0F1F9F0-%#T0G6%,&F1F0F>F0,&F+F9!\"#F0F
0F0!\"\"*&)F(,*F*F-F+FD!#5F0F1F2F0-F46%FB,&F+F9FEF0F0F0FE*&)F(,*F*F-F+
F,!#:F0F1F.F0-F@6%FB,$F+F9F0F0FE*&F;F0-F@6%F6,&F+F9!\"$F0F0F0F0*&FGF0-
F46%F6,&F+F7F0F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a
47:=sym(5,a46);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a47G,.*&)%\"qG,*
*$%\"jG\"\"#\"\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!\"%F0,&F+
\"\"%F0F0F0F0F0*&)F(,*F*F-F+!\"'!\"&F0F1F9F0-%#T0G6%,&F1F0F>F0,&F+F9!
\"#F0F0F0!\"\"*&)F(,*F*F-F+FD!#5F0F1F2F0-F46%FB,&F+F9FEF0F0F0FE*&)F(,*
F*F-F+F,!#:F0F1F.F0-F@6%FB,$F+F9F0F0FE*&F;F0-F@6%F6,&F+F7\"\"$F0F0F0F0
*&FGF0-F46%F6,&F+F7F0F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 17 "a48:= eT0(5,a47);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a48G,2*&
)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!
\"%F0,&F+\"\"%F0F0F0F0F0*&)F(,*F*F-F+!\"'!\"&F0F1F9F0-%#T0G6%,&F1F0F>F
0,&F+F9!\"#F0F0F0!\"\"*&)F(,*F*F-F+FD!#5F0F1F2F0-F46%FB,&F+F9FEF0F0F0F
E*&)F(,*F*F-F+F,!#:F0F1F.F0-F@6%FB,$F+F9F0F0FE*&F;F0-F@6%FB,&F+F7F,F0F
0F0F0*&)F(,*F*F-F+FIF=F0F1F2F0-F46%FB,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+!
#9!\"(F0F1F.F0-F@6%FB,&F+F7F9F0F0F0F0*&FGF0-F46%F6,&F+F7F0F0F0F0F0" }}
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a49:= sym(2,a48);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$a49G,.*&)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!
\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!\"%F0,&F+\"\"%F0F0F0F0F0*&)F(,*F*F
-F+!\"#!#5F0F1F2F0-F46%,&F1F0!\"&F0,&F+F9!\"\"F0F0F0FD*&)F(,*F*F-F+F,!
#:F0F1F.F0-%#T0G6%FA,$F+F9F0F0FD*&)F(,*F*F-F+F>!\"'F0F1F2F0-F46%FA,&F+
F7\"\"$F0F0F0F0*&)F(,*F*F-F+!#9!\"(F0F1F.F0-FJ6%FA,&F+F7F9F0F0F0F0*&F;
F0-F46%F6,&F+F7F0F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
16 "a50:=eT1(6,a49);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a50G,2*&)%
\"qG,**$%\"jG\"\"#\"\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!\"%
F0,&F+\"\"%F0F0F0F0F0*&)F(,*F*F-F+!\"#!#5F0F1F2F0-F46%,&F1F0!\"&F0,&F+
F9!\"\"F0F0F0FD*&)F(,*F*F-F+F,!#:F0F1F.F0-%#T0G6%FA,$F+F9F0F0FD*&)F(,*
F*F-F+F>!\"'F0F1F2F0-F46%FA,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+!#9!\"(F0F1
F.F0-FJ6%FA,&F+F7F9F0F0F0F0*&F;F0-F46%FA,&F+F7F0F0F0F0F0*&)F(,*F*F-F+F
P!#8F0F1F.F0-FJ6%FA,&F+F7F,F0F0F0F0*&FFF0-FJ6%FA,$F+F7F0F0F0" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a51:= sym(2,a50);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$a51G,.*&)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!
\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!\"%F0,&F+\"\"%F0F0F0F0F0*&)F(,*F*F
-F+F,!#:F0F1F.F0-%#T0G6%,&F1F0!\"&F0,$F+F9F0F0!\"\"*&)F(,*F*F-F+!#5!\"
'F0F1F2F0-F46%FA,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+!#9!\"(F0F1F.F0-F?6%FA
,&F+F7F9F0F0F0F0*&)F(,*F*F-F+FI!#8F0F1F.F0-F?6%FA,&F+F7F,F0F0F0F0*&F;F
0-F?6%FA,$F+F7F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "a52
:= shiftup(4,a51);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a52G,.*&)%\"q
G,**$%\"jG\"\"#\"\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!\"%F0,
&F+\"\"%F0F0F0F0F0*&)F(,*F*F-F+F,!#:F0F1F.F0-%#T0G6%,&F1F0!\"&F0,$F+F9
F0F0!\"\"*&)F(,*F*F-F+!#5!\"'F0F1F2F0-F46%FA,&F+F7\"\"$F0F0F0F0*&)F(,*
F*F-F+F,!#8F0F1F.F0-F?6%FA,$F+F7F0F0FD*&)F(,*F*F-F+FIFQF0F1F.F0-F?6%FA
,&F+F7F,F0F0F0F0*&F;F0FRF0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 17 "a53:= sym(2,a52);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a53G,**&
)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!
\"%F0,&F+\"\"%F0F0F0F0F0*&)F(,*F*F-F+!#5!\"'F0F1F2F0-F46%,&F1F0!\"&F0,
&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+F,!#8F0F1F.F0-%#T0G6%FA,$F+F7F0F0!\"\"*
&)F(,*F*F-F+F>FHF0F1F.F0-FJ6%FA,&F+F7F,F0F0F0F0" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 17 "a54:= eT1(1,a53);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$a54G,.*&)%\"qG,**$%\"jG\"\"#\"\")F+\"\"'!\")\"\"\"%
\"nG\"\"&F0-%#T1G6%,&F1F0!\"&F0,&F+\"\"%F0F0F0F0F0*&)F(,*F*F-F+\"#5!#6
F0F1F.F0-%#T0G6%F6,&F+F9F,F0F0F0F0*&)F(,*F*F-F+F,!#8F0F1F.F0-F@6%F6,$F
+F9F0F0F0*&)F(,*F*F-F+!#5!\"'F0F1F2F0-F46%F6,&F+!\"%\"\"$F0F0F0F0*&FDF
0-F@6%F6,$F+FRF0F0!\"\"*&)F(,*F*F-F+FNFFF0F1F.F0-F@6%F6,&F+FRF,F0F0F0F
0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a55:= sym(3,a54);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a55G,**&)%\"qG,**$%\"jG\"\"#\"\")F+
\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!\"&F0,&F+\"\"%F0F0F0F0F0*&)F
(,*F*F-F+\"#5!#6F0F1F.F0-%#T0G6%F6,&F+F9F,F0F0F0F0*&)F(,*F*F-F+!#5!\"'
F0F1F2F0-F46%F6,&F+!\"%\"\"$F0F0F0F0*&)F(,*F*F-F+FG!#8F0F1F.F0-F@6%F6,
&F+FKF,F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "a56:= sh
iftup(3,a55);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a56G,**&)%\"qG,**$
%\"jG\"\"#\"\")F+\"\"'!\")\"\"\"%\"nG\"\"&F0-%#T1G6%,&F1F0!\"&F0,&F+\"
\"%F0F0F0F0F0*&)F(,*F*F-F+\"#5!#6F0F1F.F0-%#T0G6%F6,&F+F9F,F0F0F0F0*&F
'F0-F46%F6,&F+!\"%!\"\"F0F0F0FH*&)F(,*F*F-F+!\"'!#8F0F1F.F0-F@6%F6,&F+
FGF,F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a57:=sym(3,
a56);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$a57G,&*&)%\"qG,**$%\"jG\"
\"#\"\")F+\"#5!#6\"\"\"%\"nG\"\"'F0-%#T0G6%,&F1F0!\"&F0,&F+\"\"%F,F0F0
F0F0*&)F(,*F*F-F+!\"'!#8F0F1F2F0-F46%F6,&F+!\"%F,F0F0F0F0" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "a58:= shiftdown(1,a57);" }}{PARA 
11 "" 1 "" {XPPMATH 20 "6#>%$a58G,&*&)%\"qG,**$%\"jG\"\"#\"\")F+!\"'!#
8\"\"\"%\"nG\"\"'F0-%#T0G6%,&F1F0!\"&F0,&F+\"\"%!\"#F0F0F0!\"\"*&F'F0-
F46%F6,&F+!\"%F,F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 
"a59:= sym(1,a58);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$a59G\"\"!" }}
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "2 0 0" 0 }
{VIEWOPTS 1 1 0 1 1 1803 }