{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 13 "######## 3.76" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 121 "op2:
= 1 - (1+q^(2*n+2))/N - (q^4 + q^2 + q^(2*n+2))/N^2 - (-q^4 -q^2)/N^3 \+
- (-q^6-q^(2*n+2))/N^4 - (q^6 - q^(2*n+2))/N^5;" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#>%$op2G,.\"\"\"F&*&,&F&F&)%\"qG,&%\"nG\"\"#F-F&F&F&%\"N
G!\"\"F/*&,(*$F*\"\"%F&*$F*F-F&F)F&F&F.!\"#F/*&,&F2F/F4F/F&F.!\"$F/*&,
&*$F*\"\"'F/F)F/F&F.!\"%F/*&,&F;F&F)F/F&F.!\"&F/" }}}{EXCHG {PARA 0 ">
 " 0 "" {MPLTEXT 1 0 60 "A1:=applyshiftop(op2, q^(18*j^2 + 12*j) * T1(
n+2,6*j+2,1)); " }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A1G,:*&)%\"qG,(*
$%\"jG\"\"#\"#=F+\"#7\"\"'\"\"\"F0-%#T1G6%,&%\"nGF0!\"$F0,&F+F/F,F0F0F
0!\"\"*&)F(,*F*F-F+F.F5F,F,F0F0F1F0F0*&-F26%,&F5F0!\"#F0F7F0F0F'F0F0*&
F=F0F:F0F0*&-F26%,&F5F0F8F0F7F0F0)F(,(F*F-F+F.\"\"%F0F0F0*&FCF0)F(,(F*
F-F+F.F,F0F0F0*&FFF0-F26%F5F7F0F0F8*&FJF0FMF0F8*&F:F0FMF0F8*&)F(,&F*F-
F+F.F0-F26%,&F5F0F0F0F7F0F0F8*&F:F0FTF0F8*&FRF0-F26%,&F5F0F,F0F7F0F0F0
" }}}{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 16 "A2:= eT1(12,A1);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%#A2G,:*&)%\"qG,(*$%\"jG\"\"#\"#=F+\"#7\"\"'\"\"\"F0-%
#T1G6%,&%\"nGF0!\"$F0,&F+F/F,F0F0F0!\"\"*&)F(,*F*F-F+F.F5F,F,F0F0F1F0F
0*&-F26%,&F5F0!\"#F0F7F0F0F'F0F0*&F=F0F:F0F0*&-F26%,&F5F0F8F0F7F0F0)F(
,(F*F-F+F.\"\"%F0F0F0*&FCF0)F(,(F*F-F+F.F,F0F0F0*&FFF0-F26%F5F7F0F0F8*
&FJF0FMF0F8*&F:F0FMF0F8*&F:F0-F26%,&F5F0F0F0F7F0F0F8*&)F(,*F*F-F+F-F5F
0FHF0F0-%#T0G6%FT,&F+F/\"\"$F0F0F0F0*&)F(,(F*F-F+F/F5F0F0-FY6%FT,&F+F/
F0F0F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "A3:=eT1(7,A2)
;" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A3G,:*&)%\"qG,(*$%\"jG\"\"#\"#
=F+\"#7\"\"'\"\"\"F0-%#T1G6%,&%\"nGF0!\"$F0,&F+F/F,F0F0F0!\"\"*&)F(,*F
*F-F+F.F5F,F,F0F0F1F0F0*&-F26%,&F5F0!\"#F0F7F0F0F'F0F0*&F=F0F:F0F0*&-F
26%,&F5F0F8F0F7F0F0)F(,(F*F-F+F.F,F0F0F0*&)F(,*F*F-F+F-F/F0F5F0F0-%#T0
G6%FE,&F+F/\"\"$F0F0F0F8*&)F(,*F*F-F+F/F,F0F5F0F0-FL6%FE,&F+F/F0F0F0F0
F8*&FFF0-F26%F5F7F0F0F8*&F:F0FWF0F8*&F:F0-F26%,&F5F0F0F0F7F0F0F8*&)F(,
*F*F-F+F-F5F0\"\"%F0F0-FL6%FgnFNF0F0F0*&)F(,(F*F-F+F/F5F0F0-FL6%FgnFUF
0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "A4:= eT1(3,A3);" }
}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A4G,:*&)%\"qG,**$%\"jG\"\"#\"#=F+
\"#7%\"nGF,F,\"\"\"F0-%#T1G6%,&F/F0!\"$F0,&F+\"\"'F,F0F0F0F0*&)F(,*F*F
-F+F-F7F0F/F0F0-%#T0G6%F4,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+F7F,F0F/F0F0-
F<6%F4,&F+F7F0F0F0F0F0*&-F26%,&F/F0!\"#F0F6F0F0F'F0F0*&-F26%,&F/F0!\"
\"F0F6F0F0)F(,(F*F-F+F.F,F0F0F0*&F9F0-F<6%FNF>F0F0FO*&FAF0-F<6%FNFEF0F
0FO*&FPF0-F26%F/F6F0F0FO*&F'F0FYF0FO*&F'F0-F26%,&F/F0F0F0F6F0F0FO*&)F(
,*F*F-F+F-F/F0\"\"%F0F0-F<6%FinF>F0F0F0*&)F(,(F*F-F+F7F/F0F0-F<6%FinFE
F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "A5:= eT1(8,A4);" 
}}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A5G,:*&)%\"qG,**$%\"jG\"\"#\"#=F+
\"#7%\"nGF,F,\"\"\"F0-%#T1G6%,&F/F0!\"$F0,&F+\"\"'F,F0F0F0F0*&)F(,*F*F
-F+F-F7F0F/F0F0-%#T0G6%F4,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+F7F,F0F/F0F0-
F<6%F4,&F+F7F0F0F0F0F0*&-F26%,&F/F0!\"#F0F6F0F0F'F0F0*&F9F0-F<6%,&F/F0
!\"\"F0F>F0F0FO*&FAF0-F<6%FNFEF0F0FO*&)F(,*F*F-F+F-F/F0\"\"%F0F0FLF0FO
*&)F(,(F*F-F+F7F/F0F0FQF0FO*&F'F0-F26%F/F6F0F0FO*&F'F0-F26%,&F/F0F0F0F
6F0F0FO*&FTF0-F<6%FjnF>F0F0F0*&FXF0-F<6%FjnFEF0F0F0" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 15 "A6:= eT1(9,A5);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%#A6G,>*&)%\"qG,**$%\"jG\"\"#\"#=F+\"#7%\"nGF,F,\"\"\"
F0-%#T1G6%,&F/F0!\"$F0,&F+\"\"'F,F0F0F0F0*&)F(,*F*F-F+F-F7F0F/F0F0-%#T
0G6%F4,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+F7F,F0F/F0F0-F<6%F4,&F+F7F0F0F0F
0F0*&-F26%,&F/F0!\"#F0F6F0F0F'F0F0*&F9F0-F<6%,&F/F0!\"\"F0F>F0F0FO*&FA
F0-F<6%FNFEF0F0FO*&)F(,*F*F-F+F-F/F0\"\"%F0F0FLF0FO*&)F(,(F*F-F+F7F/F0
F0FQF0FO*&F'F0-F26%FNF6F0F0FO*&)F(,*F*F-F+F-F/F?FVF0F0FLF0FO*&)F(,(F*F
-F+F7F/F?F0FQF0FO*&F'F0-F26%,&F/F0F0F0F6F0F0FO*&FTF0-F<6%F`oF>F0F0F0*&
FXF0-F<6%F`oFEF0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "A7:
= eT1(9,A6);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A7G,>*&)%\"qG,**$%
\"jG\"\"#\"#=F+\"#7%\"nGF,F,\"\"\"F0-%#T1G6%,&F/F0!\"$F0,&F+\"\"'F,F0F
0F0F0*&)F(,*F*F-F+F-F7F0F/F0F0-%#T0G6%F4,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-
F+F7F,F0F/F0F0-F<6%F4,&F+F7F0F0F0F0F0*&F9F0-F<6%,&F/F0!\"\"F0F>F0F0FJ*
&FAF0-F<6%FIFEF0F0FJ*&)F(,*F*F-F+F-F/F0\"\"%F0F0FGF0FJ*&)F(,(F*F-F+F7F
/F0F0FLF0FJ*&)F(,*F*F-F+F-F/F?F?F0F0-F<6%,&F/F0!\"#F0F>F0F0FJ*&)F(,*F*
F-F+F7F/F?FJF0F0-F<6%FZFEF0F0FJ*&)F(,*F*F-F+F-F/F?FQF0F0FGF0FJ*&)F(,(F
*F-F+F7F/F?F0FLF0FJ*&F'F0-F26%,&F/F0F0F0F6F0F0FJ*&FOF0-F<6%FdoF>F0F0F0
*&FSF0-F<6%FdoFEF0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A
8:= eT1(12,A7);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A8G,B*&)%\"qG,**
$%\"jG\"\"#\"#=F+\"#7%\"nGF,F,\"\"\"F0-%#T1G6%,&F/F0!\"$F0,&F+\"\"'F,F
0F0F0F0*&)F(,*F*F-F+F-F7F0F/F0F0-%#T0G6%F4,&F+F7\"\"$F0F0F0F0*&)F(,*F*
F-F+F7F,F0F/F0F0-F<6%F4,&F+F7F0F0F0F0F0*&F9F0-F<6%,&F/F0!\"\"F0F>F0F0F
J*&FAF0-F<6%FIFEF0F0FJ*&)F(,*F*F-F+F-F/F0\"\"%F0F0FGF0FJ*&)F(,(F*F-F+F
7F/F0F0FLF0FJ*&)F(,*F*F-F+F-F/F?F?F0F0-F<6%,&F/F0!\"#F0F>F0F0FJ*&)F(,*
F*F-F+F7F/F?FJF0F0-F<6%FZFEF0F0FJ*&)F(,*F*F-F+F-F/F?FQF0F0FGF0FJ*&)F(,
(F*F-F+F7F/F?F0FLF0FJ*&F'F0-F26%F/F6F0F0FJ*&)F(,*F*F-F+F-F/F?\"\"&F0F0
-F<6%F/F>F0F0FJ*&)F(,*F*F-F+F7F/F?F0F0F0-F<6%F/FEF0F0FJ*&FOF0-F<6%,&F/
F0F0F0F>F0F0F0*&FSF0-F<6%FbpFEF0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "########
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A9:= sym(12,A8);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A9G,B*&)%\"qG,**$%\"jG\"\"#\"#=F+\"
#7%\"nGF,F,\"\"\"F0-%#T1G6%,&F/F0!\"$F0,&F+\"\"'F,F0F0F0F0*&)F(,*F*F-F
+F-F7F0F/F0F0-%#T0G6%F4,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+F7F,F0F/F0F0-F<
6%F4,&F+F7F0F0F0F0F0*&F9F0-F<6%,&F/F0!\"\"F0F>F0F0FJ*&FAF0-F<6%FIFEF0F
0FJ*&)F(,*F*F-F+F-F/F0\"\"%F0F0FGF0FJ*&)F(,(F*F-F+F7F/F0F0FLF0FJ*&)F(,
*F*F-F+F-F/F?F?F0F0-F<6%,&F/F0!\"#F0F>F0F0FJ*&)F(,*F*F-F+F7F/F?FJF0F0-
F<6%FZFEF0F0FJ*&)F(,*F*F-F+F-F/F?FQF0F0FGF0FJ*&)F(,(F*F-F+F7F/F?F0FLF0
FJ*&F'F0-F26%F/,&F+!\"'FenF0F0F0FJ*&)F(,*F*F-F+F-F/F?\"\"&F0F0-F<6%F/F
>F0F0FJ*&)F(,*F*F-F+F7F/F?F0F0F0-F<6%F/FEF0F0FJ*&FOF0-F<6%,&F/F0F0F0F>
F0F0F0*&FSF0-F<6%FdpFEF0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 17 "A10:= eT1(12,A9);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A10G,F*&
)%\"qG,**$%\"jG\"\"#\"#=F+\"#7%\"nGF,F,\"\"\"F0-%#T1G6%,&F/F0!\"$F0,&F
+\"\"'F,F0F0F0F0*&)F(,*F*F-F+F-F7F0F/F0F0-%#T0G6%F4,&F+F7\"\"$F0F0F0F0
*&)F(,*F*F-F+F7F,F0F/F0F0-F<6%F4,&F+F7F0F0F0F0F0*&F9F0-F<6%,&F/F0!\"\"
F0F>F0F0FJ*&FAF0-F<6%FIFEF0F0FJ*&)F(,*F*F-F+F-F/F0\"\"%F0F0FGF0FJ*&)F(
,(F*F-F+F7F/F0F0FLF0FJ*&)F(,*F*F-F+F-F/F?F?F0F0-F<6%,&F/F0!\"#F0F>F0F0
FJ*&)F(,*F*F-F+F7F/F?FJF0F0-F<6%FZFEF0F0FJ*&)F(,*F*F-F+F-F/F?FQF0F0FGF
0FJ*&)F(,(F*F-F+F7F/F?F0FLF0FJ*&F'F0-F26%FI,&F+!\"'FenF0F0F0FJ*&F_oF0-
F<6%FI,&F+FeoFJF0F0F0FJ*&F\\oF0-F<6%FI,&F+FeoF5F0F0F0FJ*&)F(,*F*F-F+F-
F/F?\"\"&F0F0-F<6%F/F>F0F0FJ*&)F(,*F*F-F+F7F/F?F0F0F0-F<6%F/FEF0F0FJ*&
FOF0-F<6%,&F/F0F0F0F>F0F0F0*&FSF0-F<6%F\\qFEF0F0F0" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 18 "A11:= eT1(12,A10);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A11G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+\"#7%\"nGF,F,\"\"
\"F0-%#T1G6%,&F/F0!\"$F0,&F+\"\"'F,F0F0F0F0*&)F(,*F*F-F+F-F7F0F/F0F0-%
#T0G6%F4,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+F7F,F0F/F0F0-F<6%F4,&F+F7F0F0F
0F0F0*&F9F0-F<6%,&F/F0!\"\"F0F>F0F0FJ*&FAF0-F<6%FIFEF0F0FJ*&)F(,*F*F-F
+F-F/F0\"\"%F0F0FGF0FJ*&)F(,(F*F-F+F7F/F0F0FLF0FJ*&)F(,*F*F-F+F-F/F?F?
F0F0-F<6%,&F/F0!\"#F0F>F0F0FJ*&)F(,*F*F-F+F7F/F?FJF0F0-F<6%FZFEF0F0FJ*
&)F(,*F*F-F+F-F/F?FQF0F0FGF0FJ*&)F(,(F*F-F+F7F/F?F0FLF0FJ*&F'F0-F26%FZ
,&F+!\"'FenF0F0F0FJ*&FgnF0-F<6%FZ,&F+FeoFJF0F0F0FJ*&FVF0-F<6%FZ,&F+Feo
F5F0F0F0FJ*&F_oF0-F<6%FIFioF0F0FJ*&F\\oF0-F<6%FIF]pF0F0FJ*&)F(,*F*F-F+
F-F/F?\"\"&F0F0-F<6%F/F>F0F0FJ*&)F(,*F*F-F+F7F/F?F0F0F0-F<6%F/FEF0F0FJ
*&FOF0-F<6%,&F/F0F0F0F>F0F0F0*&FSF0-F<6%FbqFEF0F0F0" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 18 "A12:= eT1(12,A11);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A12G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+\"#7%\"nGF,F,\"\"
\"F0-%#T1G6%,&F/F0!\"$F0,&F+\"\"'F,F0F0F0F0*&)F(,*F*F-F+F-F7F0F/F0F0-%
#T0G6%F4,&F+F7\"\"$F0F0F0F0*&)F(,*F*F-F+F7F,F0F/F0F0-F<6%F4,&F+F7F0F0F
0F0F0*&F9F0-F<6%,&F/F0!\"\"F0F>F0F0FJ*&FAF0-F<6%FIFEF0F0FJ*&)F(,*F*F-F
+F-F/F0\"\"%F0F0FGF0FJ*&)F(,(F*F-F+F7F/F0F0FLF0FJ*&)F(,*F*F-F+F-F/F?F?
F0F0-F<6%,&F/F0!\"#F0F>F0F0FJ*&)F(,*F*F-F+F7F/F?FJF0F0-F<6%FZFEF0F0FJ*
&)F(,*F*F-F+F-F/F?FQF0F0FGF0FJ*&)F(,(F*F-F+F7F/F?F0FLF0FJ*&F'F0-F26%F4
,&F+!\"'FenF0F0F0FJ*&)F(,*F*F-F+F7F/F?FenF0F0-F<6%F4,&F+FeoFJF0F0F0FJ*
&)F(,*F*F-F+F-F/F?F,F0F0-F<6%F4,&F+FeoF5F0F0F0FJ*&FgnF0-F<6%FZF[pF0F0F
J*&FVF0-F<6%FZFapF0F0FJ*&F_oF0-F<6%FIF[pF0F0FJ*&F\\oF0-F<6%FIFapF0F0FJ
*&)F(,*F*F-F+F-F/F?\"\"&F0F0-F<6%F/F>F0F0FJ*&)F(,*F*F-F+F7F/F?F0F0F0-F
<6%F/FEF0F0FJ*&FOF0-F<6%,&F/F0F0F0F>F0F0F0*&FSF0-F<6%F\\rFEF0F0F0" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A13:= sym(1,A12);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$A13G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+F-\"\"'
\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/F/F/F/*&)F(,*F*F-F+F.F
,F/F0F/F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F/!\"\"F/F6F/F/FB*&F9F/
-F26%FAF=F/F/FB*&)F(,*F*F-F+F-F0F/\"\"%F/F/F?F/FB*&)F(,(F*F-F+F.F0F/F/
FDF/FB*&)F(,*F*F-F+F-F0F7F7F/F/-F26%,&F0F/!\"#F/F6F/F/FB*&)F(,*F*F-F+F
.F0F7FBF/F/-F26%FRF=F/F/FB*&)F(,*F*F-F+F-F0F7FIF/F/F?F/FB*&)F(,(F*F-F+
F.F0F7F/FDF/FB*&)F(,*F*F-F+F.F0F7FSF/F/-F26%F4,&F+!\"'FBF/F/F/FB*&)F(,
*F*F-F+F-F0F7F,F/F/-F26%F4,&F+F_oF5F/F/F/FB*&FUF/-F26%FRF^oF/F/FB*&FNF
/-F26%FRFeoF/F/FB*&FgnF/-F26%FAF^oF/F/FB*&FZF/-F26%FAFeoF/F/FB*&)F(,*F
*F-F+F-F0F7\"\"&F/F/-F26%F0F6F/F/FB*&)F(,*F*F-F+F.F0F7F/F/F/-F26%F0F=F
/F/FB*&FGF/-F26%,&F0F/F/F/F6F/F/F/*&FKF/-F26%F`qF=F/F/F/" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}{PARA 12 "" 1 "" {TEXT -1 0 "" }
}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 12 "############" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "A14:= eT0(20,A13); " }}{PARA 12 "" 
1 "" {XPPMATH 20 "6#>%$A14G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+F-\"\"'\"\"\"
%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/F/F/F/*&)F(,*F*F-F+F.F,F/F0F
/F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F/!\"\"F/F6F/F/FB*&F9F/-F26%F
AF=F/F/FB*&)F(,*F*F-F+F-F0F/\"\"%F/F/F?F/FB*&)F(,(F*F-F+F.F0F/F/FDF/FB
*&)F(,*F*F-F+F-F0F7F7F/F/-F26%,&F0F/!\"#F/F6F/F/FB*&)F(,*F*F-F+F.F0F7F
BF/F/-F26%FRF=F/F/FB*&)F(,*F*F-F+F-F0F7FIF/F/F?F/FB*&)F(,(F*F-F+F.F0F7
F/FDF/FB*&)F(,*F*F-F+F.F0F7FSF/F/-F26%F4,&F+!\"'FBF/F/F/FB*&)F(,*F*F-F
+F-F0F7F,F/F/-F26%F4,&F+F_oF5F/F/F/FB*&FUF/-F26%FRF^oF/F/FB*&FNF/-F26%
FRFeoF/F/FB*&FgnF/-F26%FAF^oF/F/FB*&FZF/-F26%FAFeoF/F/FB*&)F(,*F*F-F+F
-F0F7\"\"&F/F/-F26%F0F6F/F/FB*&)F(,*F*F-F+F.F0F7F/F/F/-F26%F0F=F/F/FB*
&FGF/-F26%,&F0F/F/F/F6F/F/F/*&FKF/-F26%F0,$F+F.F/F/F/*&)F(,*F*F-F+\"#7
F0F,F,F/F/-%#T1GF\\qF/F/*&FZF/-F26%F0,&F+F.F,F/F/F/F/" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A15:= sym(20,A14);" }}{PARA 12 "" 
1 "" {XPPMATH 20 "6#>%$A15G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+F-\"\"'\"\"\"
%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/F/F/F/*&)F(,*F*F-F+F.F,F/F0F
/F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F/!\"\"F/F6F/F/FB*&F9F/-F26%F
AF=F/F/FB*&)F(,*F*F-F+F-F0F/\"\"%F/F/F?F/FB*&)F(,(F*F-F+F.F0F/F/FDF/FB
*&)F(,*F*F-F+F-F0F7F7F/F/-F26%,&F0F/!\"#F/F6F/F/FB*&)F(,*F*F-F+F.F0F7F
BF/F/-F26%FRF=F/F/FB*&)F(,*F*F-F+F-F0F7FIF/F/F?F/FB*&)F(,(F*F-F+F.F0F7
F/FDF/FB*&)F(,*F*F-F+F.F0F7FSF/F/-F26%F4,&F+!\"'FBF/F/F/FB*&)F(,*F*F-F
+F-F0F7F,F/F/-F26%F4,&F+F_oF5F/F/F/FB*&FUF/-F26%FRF^oF/F/FB*&FNF/-F26%
FRFeoF/F/FB*&FgnF/-F26%FAF^oF/F/FB*&FZF/-F26%FAFeoF/F/FB*&)F(,*F*F-F+F
-F0F7\"\"&F/F/-F26%F0F6F/F/FB*&)F(,*F*F-F+F.F0F7F/F/F/-F26%F0F=F/F/FB*
&FGF/-F26%,&F0F/F/F/F6F/F/F/*&FKF/-F26%F0,$F+F_oF/F/F/*&)F(,*F*F-F+\"#
7F0F,F,F/F/-%#T1GF\\qF/F/*&FZF/-F26%F0,&F+F.F,F/F/F/F/" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A16:=eT0(20,A15);" }}{PARA 12 "" 1 
"" {XPPMATH 20 "6#>%$A16G,R*&)%\"qG,**$%\"jG\"\"#\"#=F+F-\"\"'\"\"\"%
\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/F/F/F/*&)F(,*F*F-F+F.F,F/F0F/
F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F/!\"\"F/F6F/F/FB*&F9F/-F26%FA
F=F/F/FB*&)F(,*F*F-F+F-F0F/\"\"%F/F/F?F/FB*&)F(,(F*F-F+F.F0F/F/FDF/FB*
&)F(,*F*F-F+F-F0F7F7F/F/-F26%,&F0F/!\"#F/F6F/F/FB*&)F(,*F*F-F+F.F0F7FB
F/F/-F26%FRF=F/F/FB*&)F(,*F*F-F+F-F0F7FIF/F/F?F/FB*&)F(,(F*F-F+F.F0F7F
/FDF/FB*&)F(,*F*F-F+F.F0F7FSF/F/-F26%F4,&F+!\"'FBF/F/F/FB*&)F(,*F*F-F+
F-F0F7F,F/F/-F26%F4,&F+F_oF5F/F/F/FB*&FUF/-F26%FRF^oF/F/FB*&FNF/-F26%F
RFeoF/F/FB*&FgnF/-F26%FAF^oF/F/FB*&FZF/-F26%FAFeoF/F/FB*&)F(,*F*F-F+F-
F0F7\"\"&F/F/-F26%F0F6F/F/FB*&)F(,*F*F-F+F.F0F7F/F/F/-F26%F0F=F/F/FB*&
FGF/-F26%,&F0F/F/F/F6F/F/F/*&FKF/F]pF/F/*&)F(,&F*F-F0F,F/-%#T1G6%FA,$F
+F_oF/F/F/*&)F(,(F*F-F+F_oF0F7F/-F26%FA,&F+F_oF/F/F/F/F/*&)F(,*F*F-F+
\"#7F0F,F,F/F/-FfqF\\qF/F/*&FZF/-F26%F0,&F+F.F,F/F/F/F/" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A17:=sym(6,A16);" }}{PARA 12 "" 1 "
" {XPPMATH 20 "6#>%$A17G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+F-\"\"'\"\"\"%\"
nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F/
-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F/!\"\"F/F6F/F/FB*&F9F/-F26%FAF=
F/F/FB*&)F(,*F*F-F+F-F0F/\"\"%F/F/F?F/FB*&)F(,*F*F-F+F-F0F7F7F/F/-F26%
,&F0F/!\"#F/F6F/F/FB*&)F(,*F*F-F+F.F0F7FBF/F/-F26%FOF=F/F/FB*&)F(,*F*F
-F+F-F0F7FIF/F/F?F/FB*&)F(,(F*F-F+F.F0F7F/FDF/FB*&)F(,*F*F-F+F.F0F7FPF
/F/-F26%F4,&F+!\"'FBF/F/F/FB*&)F(,*F*F-F+F-F0F7F,F/F/-F26%F4,&F+F\\oF5
F/F/F/FB*&FRF/-F26%FOF[oF/F/FB*&FKF/-F26%FOFboF/F/FB*&FZF/-F26%FAF[oF/
F/FB*&FWF/-F26%FAFboF/F/FB*&)F(,*F*F-F+F-F0F7\"\"&F/F/-F26%F0F6F/F/FB*
&)F(,*F*F-F+F.F0F7F/F/F/-F26%F0F=F/F/FB*&FGF/-F26%,&F0F/F/F/F6F/F/F/*&
)F(,&F*F-F0F,F/-%#T1G6%FA,$F+F\\oF/F/F/*&)F(,(F*F-F+F\\oF0F7F/-F26%FA,
&F+F\\oF/F/F/F/F/*&)F(,*F*F-F+\"#7F0F,F,F/F/-FbqFipF/F/*&FWF/-F26%F0,&
F+F.F,F/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "A18:= neg
ate(20,A17);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A18G,J*&)%\"qG,**$%
\"jG\"\"#\"#=F+F-\"\"'\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/
F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F
/!\"\"F/F6F/F/FB*&F9F/-F26%FAF=F/F/FB*&)F(,*F*F-F+F-F0F/\"\"%F/F/F?F/F
B*&)F(,*F*F-F+F-F0F7F7F/F/-F26%,&F0F/!\"#F/F6F/F/FB*&)F(,*F*F-F+F.F0F7
FBF/F/-F26%FOF=F/F/FB*&)F(,*F*F-F+F-F0F7FIF/F/F?F/FB*&)F(,*F*F-F+F.F0F
7FPF/F/-F26%F4,&F+!\"'FBF/F/F/FB*&)F(,*F*F-F+F-F0F7F,F/F/-F26%F4,&F+Fi
nF5F/F/F/FB*&FRF/-F26%FOFhnF/F/FB*&FKF/-F26%FOF_oF/F/FB*&)F(,(F*F-F+F.
F0F7F/-F26%FAFhnF/F/FB*&FWF/-F26%FAF_oF/F/FB*&)F(,*F*F-F+F-F0F7\"\"&F/
F/-F26%F0F6F/F/FB*&)F(,*F*F-F+F.F0F7F/F/F/-F26%F0F=F/F/FB*&FGF/-F26%,&
F0F/F/F/F6F/F/F/*&)F(,&F*F-F0F,F/-%#T1G6%FA,$F+FinF/F/F/*&)F(,*F*F-F+
\"#7F0F,F,F/F/-FaqFhpF/F/*&FWF/-F26%F0,&F+F.F,F/F/F/F/" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A19:= sym(20,A18);" }}{PARA 12 "" 
1 "" {XPPMATH 20 "6#>%$A19G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+F-\"\"'\"\"\"
%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/F/F/F/*&)F(,*F*F-F+F.F,F/F0F
/F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F/!\"\"F/F6F/F/FB*&F9F/-F26%F
AF=F/F/FB*&)F(,*F*F-F+F-F0F/\"\"%F/F/F?F/FB*&)F(,*F*F-F+F-F0F7F7F/F/-F
26%,&F0F/!\"#F/F6F/F/FB*&)F(,*F*F-F+F.F0F7FBF/F/-F26%FOF=F/F/FB*&)F(,*
F*F-F+F-F0F7FIF/F/F?F/FB*&)F(,*F*F-F+F.F0F7FPF/F/-F26%F4,&F+!\"'FBF/F/
F/FB*&)F(,*F*F-F+F-F0F7F,F/F/-F26%F4,&F+FinF5F/F/F/FB*&FRF/-F26%FOFhnF
/F/FB*&FKF/-F26%FOF_oF/F/FB*&)F(,(F*F-F+F.F0F7F/-F26%FAFhnF/F/FB*&FWF/
-F26%FAF_oF/F/FB*&)F(,*F*F-F+F-F0F7\"\"&F/F/-F26%F0F6F/F/FB*&)F(,*F*F-
F+F.F0F7F/F/F/-F26%F0F=F/F/FB*&FGF/-F26%,&F0F/F/F/F6F/F/F/*&)F(,&F*F-F
0F,F/-%#T1G6%FA,$F+FinF/F/F/*&)F(,*F*F-F+\"#7F0F,F,F/F/-FaqFhpF/F/*&FW
F/-F26%F0,&F+FinFPF/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
17 "A20:=eT0(20,A19);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A20G,J*&)%
\"qG,**$%\"jG\"\"#\"#=F+F-\"\"'\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+
F.\"\"$F/F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-
F26%,&F0F/!\"\"F/F6F/F/FB*&F9F/-F26%FAF=F/F/FB*&)F(,*F*F-F+F-F0F/\"\"%
F/F/F?F/FB*&)F(,*F*F-F+F-F0F7F7F/F/-F26%,&F0F/!\"#F/F6F/F/FB*&)F(,*F*F
-F+F.F0F7FBF/F/-F26%FOF=F/F/FB*&)F(,*F*F-F+F-F0F7FIF/F/F?F/FB*&)F(,*F*
F-F+F.F0F7FPF/F/-F26%F4,&F+!\"'FBF/F/F/FB*&)F(,*F*F-F+F-F0F7F,F/F/-F26
%F4,&F+FinF5F/F/F/FB*&FRF/-F26%FOFhnF/F/FB*&FKF/-F26%FOF_oF/F/FB*&)F(,
(F*F-F+F.F0F7F/-F26%FAFhnF/F/FB*&)F(,*F*F-F+F-F0F7\"\"&F/F/-F26%F0F6F/
F/FB*&)F(,*F*F-F+F.F0F7F/F/F/-F26%F0F=F/F/FB*&FGF/-F26%,&F0F/F/F/F6F/F
/F/*&)F(,&F*F-F0F,F/-%#T1G6%FA,$F+FinF/F/F/*&)F(,*F*F-F+\"#7F0F,F,F/F/
-F^qFepF/F/*&)F(,*F*F-F+FdqF0FIF,F/F/-F^q6%FA,&F+FinFPF/F/F/F/*&)F(,(F
*F-F+F.F0F^pF/FioF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }
}{PARA 12 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 10 "##########" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A21:=
 sym(3,A20);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A21G,J*&)%\"qG,**$%
\"jG\"\"#\"#=F+F-\"\"'\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/
F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F
/!\"\"F/,&F+!\"'F5F/F/F/FB*&F9F/-F26%FAF=F/F/FB*&)F(,*F*F-F+F-F0F/\"\"
%F/F/-F26%FAF6F/F/FB*&)F(,*F*F-F+F-F0F7F7F/F/-F26%,&F0F/!\"#F/F6F/F/FB
*&)F(,*F*F-F+F.F0F7FBF/F/-F26%FSF=F/F/FB*&)F(,*F*F-F+F-F0F7FKF/F/FLF/F
B*&)F(,*F*F-F+F.F0F7FTF/F/-F26%F4,&F+FDFBF/F/F/FB*&)F(,*F*F-F+F-F0F7F,
F/F/-F26%F4FCF/F/FB*&FVF/-F26%FSF\\oF/F/FB*&FOF/-F26%FSFCF/F/FB*&)F(,(
F*F-F+F.F0F7F/-F26%FAF\\oF/F/FB*&)F(,*F*F-F+F-F0F7\"\"&F/F/-F26%F0F6F/
F/FB*&)F(,*F*F-F+F.F0F7F/F/F/-F26%F0F=F/F/FB*&FIF/-F26%,&F0F/F/F/F6F/F
/F/*&)F(,&F*F-F0F,F/-%#T1G6%FA,$F+FDF/F/F/*&)F(,*F*F-F+\"#7F0F,F,F/F/-
F`qFgpF/F/*&)F(,*F*F-F+FfqF0FKF,F/F/-F`q6%FA,&F+FDFTF/F/F/F/*&)F(,(F*F
-F+F.F0F`pF/F[pF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A22:
=eT0(3,A21);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A22G,N*&)%\"qG,**$%
\"jG\"\"#\"#=F+F-\"\"'\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/
F/F/F/*&)F(,*F*F-F+F.F,F/F0F/F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F
/!\"#F/,&F+!\"'!\"%F/F/F/!\"\"*&)F(,*F*F-F+\"#7F0F,F,F/F/-%#T1G6%FA,&F
+FDF5F/F/F/FF*&)F(,*F*F-F+F.F0F7FBF/F/-F26%FA,&F+FDFBF/F/F/FF*&F9F/-F2
6%,&F0F/FFF/F=F/F/FF*&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%FXF6F/F/FF*&)F(,*
F*F-F+F-F0F7F7F/F/-F26%FAF6F/F/FF*&)F(,*F*F-F+F.F0F7FFF/F/-F26%FAF=F/F
/FF*&)F(,*F*F-F+F-F0F7FfnF/F/FgnF/FF*&FPF/-F26%F4,&F+FDFFF/F/F/FF*&)F(
,*F*F-F+F-F0F7F,F/F/-F26%F4FNF/F/FF*&F_oF/-F26%FAFioF/F/FF*&FjnF/-F2FM
F/FF*&)F(,(F*F-F+F.F0F7F/-F26%FXFioF/F/FF*&)F(,*F*F-F+F-F0F7\"\"&F/F/-
F26%F0F6F/F/FF*&)F(,*F*F-F+F.F0F7F/F/F/-F26%F0F=F/F/FF*&FZF/-F26%,&F0F
/F/F/F6F/F/F/*&)F(,&F*F-F0F,F/-FL6%FX,$F+FDF/F/F/*&FHF/-FLFcqF/F/*&)F(
,*F*F-F+FJF0FfnF,F/F/-FL6%FXFTF/F/F/*&)F(,(F*F-F+F.F0F\\qF/FgpF/F/" }}
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A23:=sym(3,A22);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$A23G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+F-\"\"'
\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.\"\"$F/F/F/F/*&)F(,*F*F-F+F.F
,F/F0F/F/-F26%F4,&F+F.F/F/F/F/F/*&F'F/-F26%,&F0F/!\"#F/,&F+F.\"\"%F/F/
F/!\"\"*&)F(,*F*F-F+\"#7F0F,F,F/F/-%#T1G6%FA,&F+!\"'F5F/F/F/FE*&)F(,*F
*F-F+F.F0F7FBF/F/-F26%FA,&F+FNFBF/F/F/FE*&F9F/-F26%,&F0F/FEF/F=F/F/FE*
&)F(,*F*F-F+F-F0F/FDF/F/-F26%FXF6F/F/FE*&)F(,*F*F-F+F-F0F7F7F/F/-F26%F
AF6F/F/FE*&)F(,*F*F-F+F.F0F7FEF/F/-F26%FAF=F/F/FE*&)F(,*F*F-F+F-F0F7FD
F/F/FfnF/FE*&FPF/-F26%F4,&F+FNFEF/F/F/FE*&)F(,*F*F-F+F-F0F7F,F/F/-F26%
F4FMF/F/FE*&F^oF/-F26%FAFhoF/F/FE*&FinF/-F2FLF/FE*&)F(,(F*F-F+F.F0F7F/
-F26%FXFhoF/F/FE*&)F(,*F*F-F+F-F0F7\"\"&F/F/-F26%F0F6F/F/FE*&)F(,*F*F-
F+F.F0F7F/F/F/-F26%F0F=F/F/FE*&FZF/-F26%,&F0F/F/F/F6F/F/F/*&)F(,&F*F-F
0F,F/-FK6%FX,$F+FNF/F/F/*&FGF/-FKFbqF/F/*&)F(,*F*F-F+FIF0FDF,F/F/-FK6%
FXFTF/F/F/*&)F(,(F*F-F+F.F0F[qF/FfpF/F/" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "A24:=eT0(3,A23);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>
%$A24G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0
F/!\"$F/,&F+F.F/F/F/F/F/*&)F(,*F*F-F+\"#C\"\")F/F0F,F/-%#T1G6%F4,&F+F.
\"\"%F/F/F/!\"\"*&)F(,*F*F-F+\"#I\"#5F/F0\"\"$F/-F26%F4,&F+F.\"\"&F/F/
F/FA*&)F(,*F*F-F+\"#7F0F,F,F/F/-F=6%,&F0F/!\"#F/,&F+!\"'F5F/F/F/FA*&)F
(,*F*F-F+F.F0FGFSF/F/-F26%FR,&F+FUFSF/F/F/FA*&F'F/-F26%,&F0F/FAF/F6F/F
/FA*&)F(,*F*F-F+F-F0F/F@F/F/-F26%Fin,&F+F.FGF/F/F/FA*&)F(,*F*F-F+F-F0F
GFGF/F/-F26%FRF_oF/F/FA*&)F(,*F*F-F+F.F0FGFAF/F/-F26%FRF6F/F/FA*&)F(,*
F*F-F+F-F0FGF@F/F/F]oF/FA*&FWF/-F26%F4,&F+FUFAF/F/F/FA*&)F(,*F*F-F+F-F
0FGF,F/F/-F26%F4FTF/F/FA*&FfoF/-F26%FRF`pF/F/FA*&FaoF/-F2FQF/FA*&)F(,(
F*F-F+F.F0FGF/-F26%FinF`pF/F/FA*&)F(,*F*F-F+F-F0FGFKF/F/-F26%F0F_oF/F/
FA*&)F(,*F*F-F+F.F0FGF/F/F/-F26%F0F6F/F/FA*&F[oF/-F26%,&F0F/F/F/F_oF/F
/F/*&)F(,&F*F-F0F,F/-F=6%Fin,$F+FUF/F/F/*&FMF/-F=FiqF/F/*&)F(,*F*F-F+F
OF0F@F,F/F/-F=6%FinFenF/F/F/*&)F(,(F*F-F+F.F0FKF/F^qF/F/" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "A25:=shiftdown(3,A24);" }}{PARA 12 
"" 1 "" {XPPMATH 20 "6#>%$A25G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'F,\"
\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.F/F/F/F/F/*&)F(,*F*F-F+\"#C\"\"
)F/F0F,F/-%#T1G6%F4,&F+F.\"\"%F/F/F/!\"\"*&)F(,*F*F-F+!\"'!\"#F/F0\"\"
$F/-F26%F4,&F+F.FAF/F/F/F/*&)F(,*F*F-F+\"#7F0F,F,F/F/-F=6%,&F0F/FFF/,&
F+FEF5F/F/F/FA*&)F(,*F*F-F+F.F0FGFFF/F/-F26%FQ,&F+FEFFF/F/F/FA*&F'F/-F
26%,&F0F/FAF/F6F/F/FA*&)F(,*F*F-F+F-F0F/F@F/F/-F26%Ffn,&F+F.FGF/F/F/FA
*&)F(,*F*F-F+F-F0FGFGF/F/-F26%FQF\\oF/F/FA*&)F(,*F*F-F+F.F0FGFAF/F/-F2
6%FQF6F/F/FA*&)F(,*F*F-F+F-F0FGF@F/F/FjnF/FA*&FTF/-F26%F4,&F+FEFAF/F/F
/FA*&)F(,*F*F-F+F-F0FGF,F/F/-F26%F4FRF/F/FA*&FcoF/-F26%FQF]pF/F/FA*&F^
oF/-F2FPF/FA*&)F(,(F*F-F+F.F0FGF/-F26%FfnF]pF/F/FA*&)F(,*F*F-F+F-F0FG
\"\"&F/F/-F26%F0F\\oF/F/FA*&)F(,*F*F-F+F.F0FGF/F/F/-F26%F0F6F/F/FA*&Fh
nF/-F26%,&F0F/F/F/F\\oF/F/F/*&)F(,&F*F-F0F,F/-F=6%Ffn,$F+FEF/F/F/*&FLF
/-F=FgqF/F/*&)F(,*F*F-F+FNF0F@F,F/F/-F=6%FfnFXF/F/F/*&)F(,(F*F-F+F.F0F
`qF/F[qF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A26:= negate
(3,A25);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A26G,J*&)%\"qG,**$%\"jG
\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.F/F/F/F/F/*
&)F(,*F*F-F+\"#C\"\")F/F0F,F/-%#T1G6%F4,&F+F.\"\"%F/F/F/!\"\"*&)F(,*F*
F-F+\"#7F0F,F,F/F/-F=6%,&F0F/!\"#F/,&F+!\"'F5F/F/F/FA*&)F(,*F*F-F+F.F0
\"\"$FIF/F/-F26%FH,&F+FKFIF/F/F/FA*&F'F/-F26%,&F0F/FAF/F6F/F/FA*&)F(,*
F*F-F+F-F0F/F@F/F/-F26%FV,&F+F.FOF/F/F/FA*&)F(,*F*F-F+F-F0FOFOF/F/-F26
%FHFfnF/F/FA*&)F(,*F*F-F+F.F0FOFAF/F/-F26%FHF6F/F/FA*&)F(,*F*F-F+F-F0F
OF@F/F/FZF/FA*&)F(,*F*F-F+F-F0FOF,F/F/-F26%F4FJF/F/FA*&F]oF/-F26%FH,&F
+FKFAF/F/F/FA*&FhnF/-F2FGF/FA*&)F(,(F*F-F+F.F0FOF/-F26%FVF\\pF/F/FA*&)
F(,*F*F-F+F-F0FO\"\"&F/F/-F26%F0FfnF/F/FA*&)F(,*F*F-F+F.F0FOF/F/F/-F26
%F0F6F/F/FA*&FXF/-F26%,&F0F/F/F/FfnF/F/F/*&)F(,&F*F-F0F,F/-F=6%FV,$F+F
KF/F/F/*&FCF/-F=F^qF/F/*&)F(,*F*F-F+FEF0F@F,F/F/-F=6%FVFRF/F/F/*&)F(,(
F*F-F+F.F0FgpF/FbpF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "A
27:=shiftdown(2,A26);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A27G,J*&)%
\"qG,**$%\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+
F.F/F/F/F/F/*&)F(,*F*F-F+!#7F,F/F0F,F/-%#T1G6%F4,&F+F.!\"#F/F/F/F/*&)F
(,*F*F-F+\"#7F0F,F,F/F/-F<6%,&F0F/F?F/,&F+!\"'F5F/F/F/!\"\"*&)F(,*F*F-
F+F.F0\"\"$F?F/F/-F26%FF,&F+FHF?F/F/F/FI*&F'F/-F26%,&F0F/FIF/F6F/F/FI*
&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%FT,&F+F.FMF/F/F/FI*&)F(,*F*F-F+F-F0FMF
MF/F/-F26%FFFenF/F/FI*&)F(,*F*F-F+F.F0FMFIF/F/-F26%FFF6F/F/FI*&)F(,*F*
F-F+F-F0FMFXF/F/FYF/FI*&)F(,*F*F-F+F-F0FMF,F/F/-F26%F4FGF/F/FI*&F\\oF/
-F26%FF,&F+FHFIF/F/F/FI*&FgnF/-F2FEF/FI*&)F(,(F*F-F+F.F0FMF/-F26%FTF[p
F/F/FI*&)F(,*F*F-F+F-F0FM\"\"&F/F/-F26%F0FenF/F/FI*&)F(,*F*F-F+F.F0FMF
/F/F/-F26%F0F6F/F/FI*&FVF/-F26%,&F0F/F/F/FenF/F/F/*&)F(,&F*F-F0F,F/-F<
6%FT,$F+FHF/F/F/*&FAF/-F<F]qF/F/*&)F(,*F*F-F+FCF0FXF,F/F/-F<6%FTFPF/F/
F/*&)F(,(F*F-F+F.F0FfpF/FapF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 17 "A28:= eT1(3,A27);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A28G,N
*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/
,&F+F.F/F/F/F/F/*&)F(,*F*F-F+!#7F,F/F0F,F/-%#T1G6%F4,&F+F.!\"#F/F/F/F/
*&)F(,*F*F-F+\"#7F0F,F,F/F/-F<6%F4,&F+!\"'F5F/F/F/!\"\"*&)F(,*F*F-F+F.
F0\"\"$F5F/F/-F26%F4,&F+FGF?F/F/F/FH*&)F(,*F*F-F+F-F0FLFLF/F/-F26%F4,&
F+FG!\"%F/F/F/FH*&)F(,*F*F-F+F.F0FLF?F/F/-F26%,&F0F/F?F/FOF/F/FH*&F'F/
-F26%,&F0F/FHF/F6F/F/FH*&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%Fjn,&F+F.FLF/F
/F/FH*&FQF/-F26%FfnFaoF/F/FH*&)F(,*F*F-F+F.F0FLFHF/F/-F26%FfnF6F/F/FH*
&)F(,*F*F-F+F-F0FLF^oF/F/F_oF/FH*&)F(,*F*F-F+F-F0FLF,F/F/-F2FEF/FH*&Ff
oF/-F26%Ffn,&F+FGFHF/F/F/FH*&FQF/-F26%FfnFFF/F/FH*&)F(,(F*F-F+F.F0FLF/
-F26%FjnFdpF/F/FH*&)F(,*F*F-F+F-F0FL\"\"&F/F/-F26%F0FaoF/F/FH*&)F(,*F*
F-F+F.F0FLF/F/F/-F26%F0F6F/F/FH*&F\\oF/-F26%,&F0F/F/F/FaoF/F/F/*&)F(,&
F*F-F0F,F/-F<6%Fjn,$F+FGF/F/F/*&FAF/-F<FgqF/F/*&)F(,*F*F-F+FCF0F^oF,F/
F/-F<6%FjnFOF/F/F/*&)F(,(F*F-F+F.F0F`qF/F[qF/F/" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 19 "A29:=negate(3,A28);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A29G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nG
F/F/-%#T0G6%,&F0F/!\"$F/,&F+F.F/F/F/F/F/*&)F(,*F*F-F+!#7F,F/F0F,F/-%#T
1G6%F4,&F+F.!\"#F/F/F/F/*&F8F/-F<6%F4,&F+F.F5F/F/F/!\"\"*&)F(,*F*F-F+F
.F0\"\"$F5F/F/-F26%F4,&F+!\"'F?F/F/F/FD*&)F(,*F*F-F+F-F0FHFHF/F/-F26%F
4,&F+FL!\"%F/F/F/FD*&)F(,*F*F-F+F.F0FHF?F/F/-F26%,&F0F/F?F/FKF/F/FD*&F
'F/-F26%,&F0F/FDF/F6F/F/FD*&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%Fgn,&F+F.FH
F/F/F/FD*&FNF/-F26%FYF^oF/F/FD*&)F(,*F*F-F+F.F0FHFDF/F/-F26%FYF6F/F/FD
*&)F(,*F*F-F+F-F0FHF[oF/F/F\\oF/FD*&)F(,*F*F-F+F-F0FHF,F/F/-F26%F4,&F+
FLF5F/F/F/FD*&FcoF/-F26%FY,&F+FLFDF/F/F/FD*&FNF/-F26%FYF_pF/F/FD*&)F(,
(F*F-F+F.F0FHF/-F26%FgnFcpF/F/FD*&)F(,*F*F-F+F-F0FH\"\"&F/F/-F26%F0F^o
F/F/FD*&)F(,*F*F-F+F.F0FHF/F/F/-F26%F0F6F/F/FD*&FinF/-F26%,&F0F/F/F/F^
oF/F/F/*&)F(,&F*F-F0F,F/-F<6%Fgn,$F+FLF/F/F/*&)F(,*F*F-F+\"#7F0F,F,F/F
/-F<FfqF/F/*&)F(,*F*F-F+FdrF0F[oF,F/F/-F<6%FgnFKF/F/F/*&)F(,(F*F-F+F.F
0F_qF/FjpF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "A30:=e0(3,
A29);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A30G,N*&)%\"qG,**$%\"jG\"
\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.F/F/F/F/F/*&)
F(,*F*F-F+!#=F,F/F0\"\"$F/-F26%F4,&F+F.F5F/F/F/!\"\"*&)F(,*F*F-F+!\"'F
5F/F0F;F/-F26%F4,&F+F.!\"#F/F/F/F/*&)F(,*F*F-F+F.F0F;F5F/F/-F26%F4,&F+
FCFGF/F/F/F?*&)F(,*F*F-F+F-F0F;F;F/F/-F26%F4,&F+FC!\"%F/F/F/F?*&)F(,*F
*F-F+F.F0F;FGF/F/-F26%,&F0F/FGF/FMF/F/F?*&F'F/-F26%,&F0F/F?F/F6F/F/F?*
&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%Fhn,&F+F.F;F/F/F/F?*&FOF/-F26%FZF_oF/F
/F?*&)F(,*F*F-F+F.F0F;F?F/F/-F26%FZF6F/F/F?*&)F(,*F*F-F+F-F0F;F\\oF/F/
F]oF/F?*&)F(,*F*F-F+F-F0F;F,F/F/-F26%F4,&F+FCF5F/F/F/F?*&FdoF/-F26%FZ,
&F+FCF?F/F/F/F?*&FOF/-F26%FZF`pF/F/F?*&)F(,(F*F-F+F.F0F;F/-F26%FhnFdpF
/F/F?*&)F(,*F*F-F+F-F0F;\"\"&F/F/-F26%F0F_oF/F/F?*&)F(,*F*F-F+F.F0F;F/
F/F/-F26%F0F6F/F/F?*&FjnF/-F26%,&F0F/F/F/F_oF/F/F/*&)F(,&F*F-F0F,F/-%#
T1G6%Fhn,$F+FCF/F/F/*&)F(,*F*F-F+\"#7F0F,F,F/F/-F`rFgqF/F/*&)F(,*F*F-F
+FfrF0F\\oF,F/F/-F`r6%FhnFMF/F/F/*&)F(,(F*F-F+F.F0F`qF/F[qF/F/" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "A31:=negate(3,A30);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A31G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+
\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.F/F/F/F/F/*&)F(,*F*F-F
+!#=F,F/F0\"\"$F/-F26%F4,&F+F.F5F/F/F/!\"\"*&)F(,*F*F-F+F-F0F;F;F/F/-F
26%F4,&F+!\"'!\"%F/F/F/F?*&)F(,*F*F-F+F.F0F;!\"#F/F/-F26%,&F0F/FKF/,&F
+FFFKF/F/F/F?*&F'F/-F26%,&F0F/F?F/F6F/F/F?*&)F(,*F*F-F+F-F0F/\"\"%F/F/
-F26%FS,&F+F.F;F/F/F/F?*&FAF/-F26%FNFZF/F/F?*&)F(,*F*F-F+F.F0F;F?F/F/-
F26%FNF6F/F/F?*&)F(,*F*F-F+F-F0F;FWF/F/FXF/F?*&)F(,*F*F-F+F-F0F;F,F/F/
-F26%F4,&F+FFF5F/F/F/F?*&FinF/-F26%FN,&F+FFF?F/F/F/F?*&FAF/-F26%FNFeoF
/F/F?*&)F(,(F*F-F+F.F0F;F/-F26%FSFioF/F/F?*&)F(,*F*F-F+F-F0F;\"\"&F/F/
-F26%F0FZF/F/F?*&)F(,*F*F-F+F.F0F;F/F/F/-F26%F0F6F/F/F?*&FUF/-F26%,&F0
F/F/F/FZF/F/F/*&)F(,&F*F-F0F,F/-%#T1G6%FS,$F+FFF/F/F/*&)F(,*F*F-F+\"#7
F0F,F,F/F/-FeqF\\qF/F/*&)F(,*F*F-F+F[rF0FWF,F/F/-Feq6%FSFOF/F/F/*&)F(,
(F*F-F+F.F0FepF/F`pF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "
A32:= shiftup(2,A31);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A32G,J*&)%
\"qG,**$%\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+
F.F/F/F/F/F/*&)F(,*F*F-F+F-F0\"\"$F,F/F/-F26%F4,&F+F.F:F/F/F/F/*&)F(,*
F*F-F+F-F0F:F:F/F/-F26%F4,&F+!\"'!\"%F/F/F/!\"\"*&)F(,*F*F-F+F.F0F:!\"
#F/F/-F26%,&F0F/FJF/,&F+FDFJF/F/F/FF*&F'F/-F26%,&F0F/FFF/F6F/F/FF*&)F(
,*F*F-F+F-F0F/\"\"%F/F/-F26%FRF=F/F/FF*&F?F/-F26%FMF=F/F/FF*&)F(,*F*F-
F+F.F0F:FFF/F/-F26%FMF6F/F/FF*&)F(,*F*F-F+F-F0F:FVF/F/FWF/FF*&F8F/-F26
%F4,&F+FDF5F/F/F/FF*&FgnF/-F26%FM,&F+FDFFF/F/F/FF*&F?F/-F26%FMFaoF/F/F
F*&)F(,(F*F-F+F.F0F:F/-F26%FRFeoF/F/FF*&)F(,*F*F-F+F-F0F:\"\"&F/F/-F26
%F0F=F/F/FF*&)F(,*F*F-F+F.F0F:F/F/F/-F26%F0F6F/F/FF*&FTF/-F26%,&F0F/F/
F/F=F/F/F/*&)F(,&F*F-F0F,F/-%#T1G6%FR,$F+FDF/F/F/*&)F(,*F*F-F+\"#7F0F,
F,F/F/-FaqFhpF/F/*&)F(,*F*F-F+FgqF0FVF,F/F/-Faq6%FRFNF/F/F/*&)F(,(F*F-
F+F.F0FapF/F\\pF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A33:
=sym(2,A32);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A33G,F*&)%\"qG,**$%
\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.F/F/F/F
/F/*&)F(,*F*F-F+F-F0\"\"$F:F/F/-F26%F4,&F+!\"'!\"%F/F/F/!\"\"*&)F(,*F*
F-F+F.F0F:!\"#F/F/-F26%,&F0F/FDF/,&F+F>FDF/F/F/F@*&F'F/-F26%,&F0F/F@F/
F6F/F/F@*&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%FL,&F+F.F:F/F/F/F@*&F8F/-F26%
FGFSF/F/F@*&)F(,*F*F-F+F.F0F:F@F/F/-F26%FGF6F/F/F@*&)F(,*F*F-F+F-F0F:F
PF/F/FQF/F@*&FXF/-F26%FG,&F+F>F@F/F/F/F@*&F8F/-F26%FG,&F+F>F5F/F/F/F@*
&)F(,(F*F-F+F.F0F:F/-F26%FLF\\oF/F/F@*&)F(,*F*F-F+F-F0F:\"\"&F/F/-F26%
F0FSF/F/F@*&)F(,*F*F-F+F.F0F:F/F/F/-F26%F0F6F/F/F@*&FNF/-F26%,&F0F/F/F
/FSF/F/F/*&)F(,&F*F-F0F,F/-%#T1G6%FL,$F+F>F/F/F/*&)F(,*F*F-F+\"#7F0F,F
,F/F/-FipF`pF/F/*&)F(,*F*F-F+F_qF0FPF,F/F/-Fip6%FLFHF/F/F/*&)F(,(F*F-F
+F.F0FioF/FdoF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "A34:=s
hiftdown(2,A33);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A34G,F*&)%\"qG,
**$%\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.F/F
/F/F/F/*&)F(,*F*F-F+!#=\"\"$F/F0F;F/-F26%F4,&F+!\"'F,F/F/F/F/*&)F(,*F*
F-F+F.F0F;!\"#F/F/-F26%,&F0F/FCF/,&F+F?FCF/F/F/!\"\"*&F'F/-F26%,&F0F/F
HF/F6F/F/FH*&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%FL,&F+F.F;F/F/F/FH*&)F(,*F
*F-F+F-F0F;F;F/F/-F26%FFFSF/F/FH*&)F(,*F*F-F+F.F0F;FHF/F/-F26%FFF6F/F/
FH*&)F(,*F*F-F+F-F0F;FPF/F/FQF/FH*&FZF/-F26%FF,&F+F?FHF/F/F/FH*&FUF/-F
26%FF,&F+F?F5F/F/F/FH*&)F(,(F*F-F+F.F0F;F/-F26%FLF^oF/F/FH*&)F(,*F*F-F
+F-F0F;\"\"&F/F/-F26%F0FSF/F/FH*&)F(,*F*F-F+F.F0F;F/F/F/-F26%F0F6F/F/F
H*&FNF/-F26%,&F0F/F/F/FSF/F/F/*&)F(,&F*F-F0F,F/-%#T1G6%FL,$F+F?F/F/F/*
&)F(,*F*F-F+\"#7F0F,F,F/F/-F[qFbpF/F/*&)F(,*F*F-F+FaqF0FPF,F/F/-F[q6%F
LFGF/F/F/*&)F(,(F*F-F+F.F0F[pF/FfoF/F/" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 7 "#######" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "
A35:= sym(4,A34);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A35G,F*&)%\"qG
,**$%\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&F+F.F/
F/F/F/F/*&)F(,*F*F-F+!#=\"\"$F/F0F;F/-F26%F4,&F+!\"'F,F/F/F/F/*&)F(,*F
*F-F+F.F0F;!\"#F/F/-F26%,&F0F/FCF/,&F+F?FCF/F/F/!\"\"*&F'F/-F26%,&F0F/
FHF/,&F+F?FHF/F/F/FH*&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%FL,&F+F.F;F/F/F/F
H*&)F(,*F*F-F+F-F0F;F;F/F/-F26%FFFTF/F/FH*&)F(,*F*F-F+F.F0F;FHF/F/-F26
%FFF6F/F/FH*&)F(,*F*F-F+F-F0F;FQF/F/FRF/FH*&FenF/-F26%FFFMF/F/FH*&FVF/
-F26%FF,&F+F?F5F/F/F/FH*&)F(,(F*F-F+F.F0F;F/FJF/FH*&)F(,*F*F-F+F-F0F;
\"\"&F/F/-F26%F0FTF/F/FH*&)F(,*F*F-F+F.F0F;F/F/F/-F26%F0F6F/F/FH*&FOF/
-F26%,&F0F/F/F/FTF/F/F/*&)F(,&F*F-F0F,F/-%#T1G6%FL,$F+F?F/F/F/*&)F(,*F
*F-F+\"#7F0F,F,F/F/-FipF`pF/F/*&)F(,*F*F-F+F_qF0FQF,F/F/-Fip6%FLFGF/F/
F/*&)F(,(F*F-F+F.F0FioF/FJF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 16 "A36:=eT0(4,A35);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A36G,J*
&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,
&F+F.F/F/F/F/F/*&)F(,*F*F-F+!#=\"\"$F/F0F;F/-F26%F4,&F+!\"'F,F/F/F/F/*
&)F(,*F*F-F+F.F0F;!\"#F/F/-F26%,&F0F/FCF/,&F+F?FCF/F/F/!\"\"*&F'F/FDF/
FH*&)F(,&F*F-F0F,F/-%#T1G6%FF,&F+F?FHF/F/F/FH*&)F(,*F*F-F+F?FCF/F0F;F/
-F26%FF,$F+F?F/F/FH*&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%,&F0F/FHF/,&F+F.F;
F/F/F/FH*&)F(,*F*F-F+F-F0F;F;F/F/-F26%FFFhnF/F/FH*&)F(,*F*F-F+F.F0F;FH
F/F/-F26%FFF6F/F/FH*&)F(,*F*F-F+F-F0F;FZF/F/FenF/FH*&F_oF/-F2FOF/FH*&F
jnF/-F26%FF,&F+F?F5F/F/F/FH*&)F(,(F*F-F+F.F0F;F/-F26%FgnFPF/F/FH*&)F(,
*F*F-F+F-F0F;\"\"&F/F/-F26%F0FhnF/F/FH*&)F(,*F*F-F+F.F0F;F/F/F/-F26%F0
F6F/F/FH*&FXF/-F26%,&F0F/F/F/FhnF/F/F/*&FKF/-FN6%FgnFVF/F/F/*&)F(,*F*F
-F+\"#7F0F,F,F/F/-FNF[qF/F/*&)F(,*F*F-F+FfqF0FZF,F/F/-FN6%FgnFGF/F/F/*
&)F(,(F*F-F+F.F0FdpF/F_pF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 17 "A37:= sym(4,A36);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A37G,J*&
)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'F,\"\"\"%\"nGF/F/-%#T0G6%,&F0F/!\"$F/,&
F+F.F/F/F/F/F/*&)F(,*F*F-F+!#=\"\"$F/F0F;F/-F26%F4,&F+!\"'F,F/F/F/F/*&
)F(,*F*F-F+F.F0F;!\"#F/F/-F26%,&F0F/FCF/,&F+F?FCF/F/F/!\"\"*&F'F/-F26%
FF,&F+F.F,F/F/F/FH*&)F(,&F*F-F0F,F/-%#T1G6%FF,&F+F?FHF/F/F/FH*&)F(,*F*
F-F+F?FCF/F0F;F/-F26%FF,$F+F?F/F/FH*&)F(,*F*F-F+F-F0F/\"\"%F/F/-F26%,&
F0F/FHF/,&F+F.F;F/F/F/FH*&)F(,*F*F-F+F-F0F;F;F/F/-F26%FFF[oF/F/FH*&)F(
,*F*F-F+F.F0F;FHF/F/-F26%FFF6F/F/FH*&)F(,*F*F-F+F-F0F;FgnF/F/FhnF/FH*&
FboF/-F2FRF/FH*&F]oF/-F26%FF,&F+F?F5F/F/F/FH*&)F(,(F*F-F+F.F0F;F/-F26%
FjnFSF/F/FH*&)F(,*F*F-F+F-F0F;\"\"&F/F/-F26%F0F[oF/F/FH*&)F(,*F*F-F+F.
F0F;F/F/F/-F26%F0F6F/F/FH*&FenF/-F26%,&F0F/F/F/F[oF/F/F/*&FNF/-FQ6%Fjn
FYF/F/F/*&)F(,*F*F-F+\"#7F0F,F,F/F/-FQF^qF/F/*&)F(,*F*F-F+FiqF0FgnF,F/
F/-FQ6%FjnFGF/F/F/*&)F(,(F*F-F+F.F0FgpF/FbpF/F/" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 17 "A38:= eT0(4,A37);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A38G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+!#=\"\"$\"\"\"%\"n
GF/F0-%#T0G6%,&F1F0!\"$F0,&F+!\"'F,F0F0F0F0*&)F(,*F*F-F+\"\"'F1F/!\"#F
0F0-F36%,&F1F0F=F0,&F+F8F=F0F0F0!\"\"*&)F(,*F*F-F+\"#7F1F,F,F0F0-%#T1G
6%F5,&F+F<F,F0F0F0FB*&)F(,*F*F-F+F-F1F/F,F0F0-F36%F5,&F+F<F/F0F0F0FB*&
)F(,&F*F-F1F,F0-FH6%F@,&F+F8FBF0F0F0FB*&)F(,*F*F-F+F8F=F0F1F/F0-F36%F@
,$F+F8F0F0FB*&)F(,*F*F-F+F-F1F0\"\"%F0F0-F36%,&F1F0FBF0FPF0F0FB*&)F(,*
F*F-F+F-F1F/F/F0F0-F36%F@FPF0F0FB*&)F(,*F*F-F+F<F1F/FBF0F0-F36%F@,&F+F
<F0F0F0F0FB*&)F(,*F*F-F+F-F1F/FjnF0F0F[oF0FB*&FdoF0-F3FUF0FB*&F_oF0-F3
6%F@,&F+F8F6F0F0F0FB*&)F(,(F*F-F+F<F1F/F0-F36%F]oFVF0F0FB*&)F(,*F*F-F+
F-F1F/\"\"&F0F0-F36%F1FPF0F0FB*&)F(,*F*F-F+F<F1F/F0F0F0-F36%F1FhoF0F0F
B*&FhnF0-F36%,&F1F0F0F0FPF0F0F0*&FRF0-FH6%F]oFfnF0F0F0*&FDF0-FHFaqF0F0
*&)F(,*F*F-F+FFF1FjnF,F0F0-FH6%F]oFAF0F0F0*&)F(,(F*F-F+F<F1FjpF0FepF0F
0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A39:= eT1(17,A38);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A39G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+!
#=\"\"$\"\"\"%\"nGF/F0-%#T0G6%,&F1F0!\"$F0,&F+!\"'F,F0F0F0F0*&)F(,*F*F
-F+\"\"'F1F/!\"#F0F0-F36%,&F1F0F=F0,&F+F8F=F0F0F0!\"\"*&)F(,*F*F-F+\"#
7F1F,F,F0F0-%#T1G6%F5,&F+F<F,F0F0F0FB*&)F(,*F*F-F+F-F1F/F,F0F0-F36%F5,
&F+F<F/F0F0F0FB*&)F(,&F*F-F1F,F0-FH6%F@,&F+F8FBF0F0F0FB*&)F(,*F*F-F+F8
F=F0F1F/F0-F36%F@,$F+F8F0F0FB*&)F(,*F*F-F+F-F1F0\"\"%F0F0-F36%,&F1F0FB
F0FPF0F0FB*&)F(,*F*F-F+F-F1F/F/F0F0-F36%F@FPF0F0FB*&)F(,*F*F-F+F<F1F/F
BF0F0-F36%F@,&F+F<F0F0F0F0FB*&)F(,*F*F-F+F-F1F/FjnF0F0F[oF0FB*&F_oF0-F
36%F@,&F+F8F6F0F0F0FB*&)F(,(F*F-F+F<F1F/F0-F36%F]oFVF0F0FB*&)F(,*F*F-F
+F-F1F/\"\"&F0F0-F36%F1FPF0F0FB*&)F(,*F*F-F+F<F1F/F0F0F0-F36%F1FhoF0F0
FB*&FhnF0-F36%,&F1F0F0F0FPF0F0F0*&FRF0-FHFenF0F0*&)F(,*F*F-F1F/FBF0F+F
8F0-F36%F@,&F+F8F0F0F0F0F0*&FDF0-FHF_qF0F0*&)F(,*F*F-F+FFF1FjnF,F0F0-F
H6%F]oFAF0F0F0*&)F(,(F*F-F+F<F1FhpF0FcpF0F0" }}}{EXCHG {PARA 0 "> " 0 
"" {MPLTEXT 1 0 16 "A40:= e0(5,A39);" }}{PARA 12 "" 1 "" {XPPMATH 20 "
6#>%$A40G,F*&)%\"qG,**$%\"jG\"\"#\"#=F+!#=\"\"$\"\"\"%\"nGF/F0-%#T0G6%
,&F1F0!\"$F0,&F+!\"'F,F0F0F0F0*&)F(,*F*F-F+\"\"'F1F/!\"#F0F0-F36%,&F1F
0F=F0,&F+F8F=F0F0F0!\"\"*&)F(,*F*F-F+\"#7F1F,F,F0F0-%#T1G6%F5,&F+F<F,F
0F0F0FB*&)F(,*F*F-F+F-F1F/F,F0F0-F36%F5,&F+F<F/F0F0F0FB*&)F(,*F*F-F+F<
F1F/FBF0F0-F36%F@,&F+F8FBF0F0F0FB*&)F(,*F*F-F+F-F1F0\"\"%F0F0-F36%,&F1
F0FBF0FPF0F0FB*&)F(,*F*F-F+F-F1F/F/F0F0-F36%F@FPF0F0FB*&FRF0-F36%F@,&F
+F<F0F0F0F0FB*&)F(,*F*F-F+F-F1F/FZF0F0FenF0FB*&FinF0-F36%F@,&F+F8F6F0F
0F0FB*&)F(,(F*F-F+F<F1F/F0-F36%FgnFVF0F0FB*&)F(,*F*F-F+F-F1F/\"\"&F0F0
-F36%F1FPF0F0FB*&)F(,*F*F-F+F<F1F/F0F0F0-F36%F1F`oF0F0FB*&FXF0-F36%,&F
1F0F0F0FPF0F0F0*&)F(,*F*F-F1F/FBF0F+F8F0-F36%F@,&F+F8F0F0F0F0F0*&FDF0-
FHFgpF0F0*&)F(,*F*F-F+FFF1FZF,F0F0-FH6%FgnFAF0F0F0*&)F(,(F*F-F+F<F1F`p
F0F[pF0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "#############
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A41:= eT0(7,A40);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A41G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+!
#=\"\"$\"\"\"%\"nGF/F0-%#T0G6%,&F1F0!\"$F0,&F+!\"'F,F0F0F0F0*&)F(,*F*F
-F+\"\"'F1F/!\"#F0F0-F36%,&F1F0F=F0,&F+F8F=F0F0F0!\"\"*&)F(,*F*F-F+\"#
7F1F,F,F0F0-%#T1G6%F5,&F+F<F,F0F0F0FB*&)F(,*F*F-F+F-F1F/F,F0F0-F36%F5,
&F+F<F/F0F0F0FB*&)F(,*F*F-F+F<F1F/FBF0F0-F36%F@,&F+F8FBF0F0F0FB*&)F(,*
F*F-F+F-F1F0\"\"%F0F0-F36%,&F1F0FBF0FPF0F0FB*&)F(,*F*F-F+F-F1F/F/F0F0-
F3FIF0FB*&)F(,*F*F-F+\"#CF1FZFZF0F0-FHFOF0FB*&)F(,*F*F-F+\"#IF1\"\"&Fe
oF0F0-F36%F5,&F+F<FZF0F0F0FB*&FRF0-F36%F@,&F+F<F0F0F0F0FB*&)F(,*F*F-F+
F-F1F/FZF0F0FenF0FB*&FinF0-F36%F@,&F+F8F6F0F0F0FB*&)F(,(F*F-F+F<F1F/F0
-F36%FgnFVF0F0FB*&)F(,*F*F-F+F-F1F/FeoF0F0-F36%F1FPF0F0FB*&)F(,*F*F-F+
F<F1F/F0F0F0-F36%F1F\\pF0F0FB*&FXF0-F36%,&F1F0F0F0FPF0F0F0*&)F(,*F*F-F
1F/FBF0F+F8F0-F36%F@,&F+F8F0F0F0F0F0*&FDF0-FHFbqF0F0*&)F(,*F*F-F+FFF1F
ZF,F0F0-FH6%FgnFAF0F0F0*&)F(,(F*F-F+F<F1FeoF0FgpF0F0" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 20 "A42:= negate(1,A41);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A42G,F*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"$!\"
#\"\"\"F2-%#T0G6%,&F/F2F1F2,&F+!\"'F1F2F2F2!\"\"*&)F(,*F*F-F+\"#7F/F,F
,F2F2-%#T1G6%,&F/F2!\"$F2,&F+F.F,F2F2F2F9*&)F(,*F*F-F+F-F/F0F,F2F2-F46
%FA,&F+F.F0F2F2F2F9*&)F(,*F*F-F+F.F/F0F9F2F2-F46%F6,&F+F8F9F2F2F2F9*&)
F(,*F*F-F+F-F/F2\"\"%F2F2-F46%,&F/F2F9F2FIF2F2F9*&)F(,*F*F-F+\"#CF/FSF
SF2F2-F?FHF2F9*&)F(,*F*F-F+\"#IF/\"\"&FjnF2F2-F46%FA,&F+F.FSF2F2F2F9*&
FKF2-F46%F6,&F+F.F2F2F2F2F9*&)F(,*F*F-F+F-F/F0FSF2F2FTF2F9*&)F(,*F*F-F
+F-F/F0F0F2F2-F46%F6,&F+F8FBF2F2F2F9*&)F(,(F*F-F+F.F/F0F2-F46%FVFOF2F2
F9*&)F(,*F*F-F+F-F/F0FjnF2F2-F46%F/FIF2F2F9*&)F(,*F*F-F+F.F/F0F2F2F2-F
46%F/FaoF2F2F9*&FQF2-F46%,&F/F2F2F2FIF2F2F2*&)F(,*F*F-F/F0F9F2F+F8F2-F
46%F6,&F+F8F2F2F2F2F2*&F;F2-F?FipF2F2*&)F(,*F*F-F+F=F/FSF,F2F2-F?6%FVF
7F2F2F2*&)F(,(F*F-F+F.F/FjnF2F^pF2F2" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 18 "A43:= sym(15,A42);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6
#>%$A43G,F*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"$!\"#\"\"\"F2-%#T0
G6%,&F/F2F1F2,&F+!\"'F1F2F2F2!\"\"*&)F(,*F*F-F+\"#7F/F,F,F2F2-%#T1G6%,
&F/F2!\"$F2,&F+F.F,F2F2F2F9*&)F(,*F*F-F+F-F/F0F,F2F2-F46%FA,&F+F.F0F2F
2F2F9*&)F(,*F*F-F+F.F/F0F9F2F2-F46%F6,&F+F8F9F2F2F2F9*&)F(,*F*F-F+F-F/
F2\"\"%F2F2-F46%,&F/F2F9F2FIF2F2F9*&)F(,*F*F-F+\"#CF/FSFSF2F2-F?FHF2F9
*&)F(,*F*F-F+\"#IF/\"\"&FjnF2F2-F46%FA,&F+F.FSF2F2F2F9*&FKF2-F46%F6,&F
+F.F2F2F2F2F9*&)F(,*F*F-F+F-F/F0FSF2F2FTF2F9*&)F(,*F*F-F+F-F/F0F0F2F2-
F46%F6,&F+F8FBF2F2F2F9*&)F(,(F*F-F+F.F/F0F2-F46%FVFOF2F2F9*&)F(,*F*F-F
+F-F/F0FjnF2F2-F46%F/FIF2F2F9*&)F(,*F*F-F+F.F/F0F2F2F2-F46%F/FaoF2F2F9
*&FQF2-F46%,&F/F2F2F2FIF2F2F2*&)F(,*F*F-F/F0F9F2F+F8F2-F46%F6,&F+F.F9F
2F2F2F2*&F;F2-F?FipF2F2*&)F(,*F*F-F+F=F/FSF,F2F2-F?6%FVF7F2F2F2*&)F(,(
F*F-F+F.F/FjnF2F^pF2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A
44:=negate(15,A43);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A44G,B*&)%\"
qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"$!\"#\"\"\"F2-%#T0G6%,&F/F2F1F2,&F
+!\"'F1F2F2F2!\"\"*&)F(,*F*F-F+\"#7F/F,F,F2F2-%#T1G6%,&F/F2!\"$F2,&F+F
.F,F2F2F2F9*&)F(,*F*F-F+F-F/F0F,F2F2-F46%FA,&F+F.F0F2F2F2F9*&)F(,*F*F-
F+F-F/F2\"\"%F2F2-F46%,&F/F2F9F2FIF2F2F9*&)F(,*F*F-F+\"#CF/FMFMF2F2-F?
FHF2F9*&)F(,*F*F-F+\"#IF/\"\"&FZF2F2-F46%FA,&F+F.FMF2F2F2F9*&)F(,*F*F-
F+F.F/F0F9F2F2-F46%F6,&F+F.F2F2F2F2F9*&)F(,*F*F-F+F-F/F0FMF2F2FNF2F9*&
)F(,*F*F-F+F-F/F0F0F2F2-F46%F6,&F+F8FBF2F2F2F9*&)F(,(F*F-F+F.F/F0F2-F4
6%FP,&F+F8F9F2F2F2F9*&)F(,*F*F-F+F-F/F0FZF2F2-F46%F/FIF2F2F9*&)F(,*F*F
-F+F.F/F0F2F2F2-F46%F/F]oF2F2F9*&FKF2-F46%,&F/F2F2F2FIF2F2F2*&F;F2-F?F
fpF2F2*&)F(,*F*F-F+F=F/FMF,F2F2-F?6%FPF7F2F2F2*&)F(,(F*F-F+F.F/FZF2Fjo
F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "###########" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A45:= eT1(14,A44);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$A45G,F*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%
\"nG\"\"$!\"#\"\"\"F2-%#T0G6%,&F/F2F1F2,&F+!\"'F1F2F2F2!\"\"*&)F(,*F*F
-F+\"#7F/F,F,F2F2-%#T1G6%,&F/F2!\"$F2,&F+F.F,F2F2F2F9*&)F(,*F*F-F+F-F/
F0F,F2F2-F46%FA,&F+F.F0F2F2F2F9*&)F(,*F*F-F+F-F/F2\"\"%F2F2-F46%,&F/F2
F9F2FIF2F2F9*&)F(,*F*F-F+\"#CF/FMFMF2F2-F?FHF2F9*&)F(,*F*F-F+\"#IF/\"
\"&FZF2F2-F46%FA,&F+F.FMF2F2F2F9*&)F(,*F*F-F+F.F/F0F9F2F2-F46%F6,&F+F.
F2F2F2F2F9*&)F(,*F*F-F+F-F/F0FMF2F2FNF2F9*&)F(,*F*F-F+F-F/F0F0F2F2-F46
%F6,&F+F8FBF2F2F2F9*&)F(,(F*F-F+F.F/F0F2-F46%FP,&F+F8F9F2F2F2F9*&)F(,*
F*F-F+F-F/F0FZF2F2-F46%F/FIF2F2F9*&)F(,*F*F-F+F.F/F0F2F2F2-F46%F/F]oF2
F2F9*&FKF2-F46%,&F/F2F2F2FIF2F2F2*&F;F2-F?6%FPF]oF2F2F2*&FboF2-F46%FPF
CF2F2F2*&FcpF2-F46%FP,$F+F.F2F2F2*&)F(,*F*F-F+F=F/FMF,F2F2-F?6%FPF7F2F
2F2*&)F(,(F*F-F+F.F/FZF2FjoF2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 17 "A46:=eT1(14,A45);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A46G,J
*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"$!\"#\"\"\"F2-%#T0G6%,&F/F2F
1F2,&F+!\"'F1F2F2F2!\"\"*&)F(,*F*F-F+\"#7F/F,F,F2F2-%#T1G6%,&F/F2!\"$F
2,&F+F.F,F2F2F2F9*&)F(,*F*F-F+F-F/F0F,F2F2-F46%FA,&F+F.F0F2F2F2F9*&)F(
,*F*F-F+F-F/F2\"\"%F2F2-F46%,&F/F2F9F2FIF2F2F9*&)F(,*F*F-F+\"#CF/FMFMF
2F2-F?FHF2F9*&)F(,*F*F-F+\"#IF/\"\"&FZF2F2-F46%FA,&F+F.FMF2F2F2F9*&)F(
,*F*F-F+F.F/F0F9F2F2-F46%F6,&F+F.F2F2F2F2F9*&)F(,*F*F-F+F-F/F0FMF2F2FN
F2F9*&)F(,*F*F-F+F-F/F0F0F2F2-F46%F6,&F+F8FBF2F2F2F9*&)F(,(F*F-F+F.F/F
0F2-F46%FP,&F+F8F9F2F2F2F9*&)F(,*F*F-F+F-F/F0FZF2F2-F46%F/FIF2F2F9*&)F
(,*F*F-F+F.F/F0F2F2F2-F46%F/F]oF2F2F9*&FKF2-F46%,&F/F2F2F2FIF2F2F2*&F;
F2-F?F\\oF2F2*&FEF2-F46%F6FCF2F2F2*&FhoF2-F46%F6,$F+F.F2F2F2*&FboF2-F4
6%FPFCF2F2F2*&FcpF2-F46%FPFcqF2F2F2*&)F(,*F*F-F+F=F/FMF,F2F2-F?6%FPF7F
2F2F2*&)F(,(F*F-F+F.F/FZF2FjoF2F2" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 18 "A47:= eT1(14,A46);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6
#>%$A47G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"$!\"#\"\"\"F2-%#T0
G6%,&F/F2F1F2,&F+!\"'F1F2F2F2!\"\"*&)F(,*F*F-F+\"#7F/F,F,F2F2-%#T1G6%,
&F/F2!\"$F2,&F+F.F,F2F2F2F9*&)F(,*F*F-F+F-F/F0F,F2F2-F46%FA,&F+F.F0F2F
2F2F9*&)F(,*F*F-F+F-F/F2\"\"%F2F2-F46%,&F/F2F9F2FIF2F2F9*&)F(,*F*F-F+
\"#CF/FMFMF2F2-F?FHF2F9*&)F(,*F*F-F+\"#IF/\"\"&FZF2F2-F46%FA,&F+F.FMF2
F2F2F9*&)F(,*F*F-F+F.F/F0F9F2F2-F46%F6,&F+F.F2F2F2F2F9*&)F(,*F*F-F+F-F
/F0FMF2F2FNF2F9*&)F(,*F*F-F+F-F/F0F0F2F2-F46%F6,&F+F8FBF2F2F2F9*&)F(,(
F*F-F+F.F/F0F2-F46%FP,&F+F8F9F2F2F2F9*&)F(,*F*F-F+F-F/F0FZF2F2-F46%F/F
IF2F2F9*&)F(,*F*F-F+F.F/F0F2F2F2-F46%F/F]oF2F2F9*&FKF2-F46%,&F/F2F2F2F
IF2F2F2*&F;F2-F?6%FAF]oF2F2F2*&)F(,*F*F-F+F-F/F0F2F2F2-F4F@F2F2*&FinF2
-F46%FA,$F+F.F2F2F2*&FEF2-F46%F6FCF2F2F2*&FhoF2-F46%F6FeqF2F2F2*&FboF2
-F46%FPFCF2F2F2*&FcpF2-F46%FPFeqF2F2F2*&)F(,*F*F-F+F=F/FMF,F2F2-F?6%FP
F7F2F2F2*&)F(,(F*F-F+F.F/FZF2FjoF2F2" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "A48:=sym(10,A47);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#
>%$A48G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"$!\"#\"\"\"F2-%#T0G
6%,&F/F2F1F2,&F+!\"'F1F2F2F2!\"\"*&)F(,*F*F-F+\"#7F/F,F,F2F2-%#T1G6%,&
F/F2!\"$F2,&F+F.F,F2F2F2F9*&)F(,*F*F-F+F-F/F0F,F2F2-F46%FA,&F+F.F0F2F2
F2F9*&)F(,*F*F-F+F.F/F0F9F2F2-F46%F6,&F+F.F2F2F2F2F9*&)F(,*F*F-F+F-F/F
2\"\"%F2F2-F46%,&F/F2F9F2FIF2F2F9*&)F(,*F*F-F+\"#CF/FSFSF2F2-F?FHF2F9*
&)F(,*F*F-F+\"#IF/\"\"&FjnF2F2-F46%FA,&F+F.FSF2F2F2F9*&)F(,*F*F-F+F-F/
F0FSF2F2FTF2F9*&)F(,*F*F-F+F-F/F0F0F2F2-F46%F6,&F+F8FBF2F2F2F9*&)F(,(F
*F-F+F.F/F0F2-F46%FVFOF2F2F9*&)F(,*F*F-F+F-F/F0FjnF2F2-F46%F/FIF2F2F9*
&)F(,*F*F-F+F.F/F0F2F2F2-F46%F/FOF2F2F9*&FQF2-F46%,&F/F2F2F2FIF2F2F2*&
F;F2-F?6%FAFOF2F2F2*&)F(,*F*F-F+F-F/F0F2F2F2-F4F@F2F2*&FKF2-F46%FA,$F+
F.F2F2F2*&FEF2-F46%F6FCF2F2F2*&FhoF2-F46%F6FdqF2F2F2*&FboF2-F46%FVFCF2
F2F2*&FbpF2-F46%FVFdqF2F2F2*&)F(,*F*F-F+F=F/FSF,F2F2-F?6%FVF7F2F2F2*&)
F(,(F*F-F+F.F/FjnF2-F46%FV,&F+F8F9F2F2F2F2" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 18 "A49:= eT0(10,A48);" }}{PARA 12 "" 1 "" {XPPMATH 20 
"6#>%$A49G,N*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"$!\"#\"\"\"F2-%#
T0G6%,&F/F2F1F2,&F+!\"'F1F2F2F2!\"\"*&)F(,*F*F-F+\"#7F/F,F,F2F2-%#T1G6
%,&F/F2!\"$F2,&F+F.F,F2F2F2F9*&)F(,*F*F-F+F-F/F0F,F2F2-F46%FA,&F+F.F0F
2F2F2F9*&)F(,*F*F-F+F.F/F0F9F2F2-F46%F6,&F+F.F2F2F2F2F9*&)F(,*F*F-F+F-
F/F2\"\"%F2F2-F46%,&F/F2F9F2FIF2F2F9*&)F(,*F*F-F+\"#CF/FSFSF2F2-F?FHF2
F9*&)F(,*F*F-F+\"#IF/\"\"&FjnF2F2-F46%FA,&F+F.FSF2F2F2F9*&)F(,*F*F-F+F
-F/F0FSF2F2FTF2F9*&)F(,*F*F-F+F-F/F0F0F2F2-F46%F6,&F+F8FBF2F2F2F9*&)F(
,(F*F-F+F=F/FSF2-F?FNF2F9*&)F(,(F*F-F+F-F/FjnF2-F46%F6FCF2F2F9*&)F(,*F
*F-F+F-F/F0FjnF2F2-F46%F/FIF2F2F9*&)F(,*F*F-F+F.F/F0F2F2F2-F46%F/FOF2F
2F9*&FQF2-F46%,&F/F2F2F2FIF2F2F2*&F;F2-F?6%FAFOF2F2F2*&)F(,*F*F-F+F-F/
F0F2F2F2-F4F@F2F2*&FKF2-F46%FA,$F+F.F2F2F2*&FEF2F^pF2F2*&FboF2-F46%FVF
CF2F2F2*&FfpF2-F46%FVFhqF2F2F2*&)F(,*F*F-F+F=F/FSF,F2F2-F?6%FVF7F2F2F2
*&)F(,(F*F-F+F.F/FjnF2-F46%FV,&F+F8F9F2F2F2F2" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 10 "nops(A50);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"
#?" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A50:=e0(15,A49);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A50G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+
\"\"'%\"nG\"\"$!\"#\"\"\"F2-%#T0G6%,&F/F2F1F2,&F+!\"'F1F2F2F2!\"\"*&)F
(,*F*F-F+F-F/F0F,F2F2-F46%,&F/F2!\"$F2,&F+F.F0F2F2F2F9*&)F(,*F*F-F+F.F
/F0F9F2F2-F46%F6,&F+F.F2F2F2F2F9*&)F(,*F*F-F+F-F/F2\"\"%F2F2-F46%,&F/F
2F9F2FAF2F2F9*&)F(,*F*F-F+\"#CF/FKFKF2F2-%#T1GF>F2F9*&)F(,*F*F-F+\"#IF
/\"\"&FYF2F2-F46%F?,&F+F.FKF2F2F2F9*&)F(,*F*F-F+F-F/F0FKF2F2FLF2F9*&)F
(,*F*F-F+F-F/F0F0F2F2-F46%F6,&F+F8F@F2F2F2F9*&)F(,(F*F-F+\"#7F/FKF2-FT
FFF2F9*&)F(,(F*F-F+F-F/FYF2-F46%F6,&F+F.F,F2F2F2F9*&)F(,*F*F-F+F-F/F0F
YF2F2-F46%F/FAF2F2F9*&)F(,*F*F-F+F.F/F0F2F2F2-F46%F/FGF2F2F9*&FIF2-F46
%,&F/F2F2F2FAF2F2F2*&F'F2-F46%F?FGF2F2F2*&FCF2-F46%F?,$F+F.F2F2F2*&F;F
2FhoF2F2*&F[oF2-F46%FNFjoF2F2F2*&FapF2-F46%FNF_qF2F2F2*&)F(,*F*F-F+Fco
F/FKF,F2F2-FT6%FNF7F2F2F2*&)F(,(F*F-F+F.F/FYF2-F46%FN,&F+F8F9F2F2F2F2
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A51:= sym(1,A50);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A51G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+
\"\"'%\"nG\"\"$!\"#\"\"\"F2-%#T0G6%,&F/F2F1F2,&F+F.F,F2F2F2!\"\"*&)F(,
*F*F-F+F-F/F0F,F2F2-F46%,&F/F2!\"$F2,&F+F.F0F2F2F2F8*&)F(,*F*F-F+F.F/F
0F8F2F2-F46%F6,&F+F.F2F2F2F2F8*&)F(,*F*F-F+F-F/F2\"\"%F2F2-F46%,&F/F2F
8F2F@F2F2F8*&)F(,*F*F-F+\"#CF/FJFJF2F2-%#T1GF=F2F8*&)F(,*F*F-F+\"#IF/
\"\"&FXF2F2-F46%F>,&F+F.FJF2F2F2F8*&)F(,*F*F-F+F-F/F0FJF2F2FKF2F8*&)F(
,*F*F-F+F-F/F0F0F2F2-F46%F6,&F+!\"'F?F2F2F2F8*&)F(,(F*F-F+\"#7F/FJF2-F
SFEF2F8*&)F(,(F*F-F+F-F/FXF2F3F2F8*&)F(,*F*F-F+F-F/F0FXF2F2-F46%F/F@F2
F2F8*&)F(,*F*F-F+F.F/F0F2F2F2-F46%F/FFF2F2F8*&FHF2-F46%,&F/F2F2F2F@F2F
2F2*&F'F2-F46%F>FFF2F2F2*&FBF2-F46%F>,$F+F.F2F2F2*&F:F2F3F2F2*&FjnF2-F
46%FMF7F2F2F2*&F^pF2-F46%FMF\\qF2F2F2*&)F(,*F*F-F+FcoF/FJF,F2F2-FS6%FM
,&F+F_oF1F2F2F2F2*&)F(,(F*F-F+F.F/FXF2-F46%FM,&F+F_oF8F2F2F2F2" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A52:= eT0(1,A51);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$A52G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+\"#7%\"
nG\"\"%!\"#\"\"\"F2-%#T1G6%,&F/F2!\"$F2,&F+\"\"'F,F2F2F2!\"\"*&)F(,*F*
F-F+F-F/\"\"&F1F2F2-%#T0G6%F6,&F+F9\"\"$F2F2F2F:*&)F(,*F*F-F+F-F/FCF,F
2F2F?F2F:*&)F(,*F*F-F+F9F/FCF:F2F2-F@6%,&F/F2F1F2,&F+F9F2F2F2F2F:*&)F(
,*F*F-F+F-F/F2F0F2F2-F@6%,&F/F2F:F2FBF2F2F:*&)F(,*F*F-F+\"#CF/F0F0F2F2
-F4FAF2F:*&)F(,*F*F-F+\"#IF/F>F>F2F2-F@6%F6,&F+F9F0F2F2F2F:*&)F(,*F*F-
F+F-F/FCF0F2F2FQF2F:*&)F(,*F*F-F+F-F/FCFCF2F2-F@6%FL,&F+!\"'F7F2F2F2F:
*&)F(,(F*F-F+F.F/F0F2-F4FKF2F:*&)F(,(F*F-F+F-F/F>F2-F@6%FLF8F2F2F:*&)F
(,*F*F-F+F-F/FCF>F2F2-F@6%F/FBF2F2F:*&)F(,*F*F-F+F9F/FCF2F2F2-F@6%F/FM
F2F2F:*&FOF2-F@6%,&F/F2F2F2FBF2F2F2*&FHF2-F@6%F6,$F+F9F2F2F2*&FEF2F[pF
2F2*&F^oF2-F@6%FSF8F2F2F2*&FcpF2-F@6%FSF^qF2F2F2*&)F(,*F*F-F+F.F/F0F,F
2F2-F46%FS,&F+FcoF1F2F2F2F2*&)F(,(F*F-F+F9F/F>F2-F@6%FS,&F+FcoF:F2F2F2
F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A53:=eT0(4,A52);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A53G,J*&)%\"qG,**$%\"jG\"\"#\"#=F+
\"#7%\"nG\"\"%!\"#\"\"\"F2-%#T1G6%,&F/F2!\"$F2,&F+\"\"'F,F2F2F2!\"\"*&
)F(,*F*F-F+F-F/\"\"&F1F2F2-%#T0G6%F6,&F+F9\"\"$F2F2F2F:*&)F(,*F*F-F+F-
F/FCF,F2F2F?F2F:*&F'F2-F46%F6,&F+F9F2F2F2F2F:*&)F(,*F*F-F+F-F/F>F7F2F2
-F@F5F2F:*&)F(,*F*F-F+F-F/F2F0F2F2-F@6%,&F/F2F:F2FBF2F2F:*&)F(,*F*F-F+
\"#CF/F0F0F2F2-F4FAF2F:*&)F(,*F*F-F+\"#IF/F>F>F2F2-F@6%F6,&F+F9F0F2F2F
2F:*&)F(,*F*F-F+F-F/FCF0F2F2FRF2F:*&)F(,*F*F-F+F-F/FCFCF2F2-F@6%,&F/F2
F1F2,&F+!\"'F7F2F2F2F:*&)F(,(F*F-F+F.F/F0F2-F46%FcoFJF2F2F:*&)F(,(F*F-
F+F-F/F>F2-F@6%FcoF8F2F2F:*&)F(,*F*F-F+F-F/FCF>F2F2-F@6%F/FBF2F2F:*&)F
(,*F*F-F+F9F/FCF2F2F2-F@6%F/FJF2F2F:*&FPF2-F@6%,&F/F2F2F2FBF2F2F2*&FEF
2F^pF2F2*&F_oF2-F@6%FTF8F2F2F2*&FfpF2-F@6%FT,$F+F9F2F2F2*&)F(,*F*F-F+F
.F/F0F,F2F2-F46%FT,&F+FeoF1F2F2F2F2*&)F(,(F*F-F+F9F/F>F2-F@6%FT,&F+Feo
F:F2F2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A54:= sym(17,
A53);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A54G,J*&)%\"qG,**$%\"jG\"
\"#\"#=F+\"#7%\"nG\"\"%!\"#\"\"\"F2-%#T1G6%,&F/F2!\"$F2,&F+\"\"'F,F2F2
F2!\"\"*&)F(,*F*F-F+F-F/\"\"&F1F2F2-%#T0G6%F6,&F+F9\"\"$F2F2F2F:*&)F(,
*F*F-F+F-F/FCF,F2F2F?F2F:*&F'F2-F46%F6,&F+F9F2F2F2F2F:*&)F(,*F*F-F+F-F
/F>F7F2F2-F@F5F2F:*&)F(,*F*F-F+F-F/F2F0F2F2-F@6%,&F/F2F:F2FBF2F2F:*&)F
(,*F*F-F+\"#CF/F0F0F2F2-F4FAF2F:*&)F(,*F*F-F+\"#IF/F>F>F2F2-F@6%F6,&F+
F9F0F2F2F2F:*&)F(,*F*F-F+F-F/FCF0F2F2FRF2F:*&)F(,*F*F-F+F-F/FCFCF2F2-F
@6%,&F/F2F1F2,&F+!\"'F7F2F2F2F:*&)F(,(F*F-F+F.F/F0F2-F46%FcoFJF2F2F:*&
)F(,(F*F-F+F-F/F>F2-F@6%FcoF8F2F2F:*&)F(,*F*F-F+F-F/FCF>F2F2-F@6%F/FBF
2F2F:*&)F(,*F*F-F+F9F/FCF2F2F2-F@6%F/FJF2F2F:*&FPF2-F@6%,&F/F2F2F2FBF2
F2F2*&FEF2F^pF2F2*&F_oF2-F@6%FT,&F+FeoF1F2F2F2F2*&FfpF2-F@6%FT,$F+F9F2
F2F2*&)F(,*F*F-F+F.F/F0F,F2F2-F4FaqF2F2*&)F(,(F*F-F+F9F/F>F2-F@6%FT,&F
+FeoF:F2F2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A55:=eT0(
17,A54);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A55G,J*&)%\"qG,**$%\"jG
\"\"#\"#=F+\"#7%\"nG\"\"%!\"#\"\"\"F2-%#T1G6%,&F/F2!\"$F2,&F+\"\"'F,F2
F2F2!\"\"*&)F(,*F*F-F+F-F/\"\"&F1F2F2-%#T0G6%F6,&F+F9\"\"$F2F2F2F:*&)F
(,*F*F-F+F-F/FCF,F2F2F?F2F:*&F'F2-F46%F6,&F+F9F2F2F2F2F:*&)F(,*F*F-F+F
-F/F>F7F2F2-F@F5F2F:*&)F(,*F*F-F+F-F/F2F0F2F2-F@6%,&F/F2F:F2FBF2F2F:*&
)F(,*F*F-F+\"#CF/F0F0F2F2-F4FAF2F:*&)F(,*F*F-F+\"#IF/F>F>F2F2-F@6%F6,&
F+F9F0F2F2F2F:*&)F(,*F*F-F+F-F/FCF0F2F2FRF2F:*&)F(,(F*F-F+F.F/F0F2-F46
%,&F/F2F1F2FJF2F2F:*&)F(,(F*F-F+F-F/F>F2-F@6%FcoF8F2F2F:*&)F(,*F*F-F+F
-F/FCF>F2F2-F@6%F/FBF2F2F:*&)F(,*F*F-F+F9F/FCF2F2F2-F@6%F/FJF2F2F:*&FP
F2-F@6%,&F/F2F2F2FBF2F2F2*&FEF2FgoF2F2*&F_oF2-F46%Fco,&F+!\"'F1F2F2F2F
2*&)F(,*F*F-F+F9F/F>F7F2F2-F@6%Fco,&F+F\\qF:F2F2F2F2*&F_pF2-F@6%FT,$F+
F9F2F2F2*&)F(,*F*F-F+F.F/F0F,F2F2-F46%FTF[qF2F2F2*&)F(,(F*F-F+F9F/F>F2
-F@6%FTFbqF2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A56:=sy
m(16,A55);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A56G,J*&)%\"qG,**$%\"
jG\"\"#\"#=F+\"#7%\"nG\"\"%!\"#\"\"\"F2-%#T1G6%,&F/F2!\"$F2,&F+\"\"'F,
F2F2F2!\"\"*&)F(,*F*F-F+F-F/\"\"&F1F2F2-%#T0G6%F6,&F+F9\"\"$F2F2F2F:*&
)F(,*F*F-F+F-F/FCF,F2F2F?F2F:*&F'F2-F46%F6,&F+F9F2F2F2F2F:*&)F(,*F*F-F
+F-F/F>F7F2F2-F@F5F2F:*&)F(,*F*F-F+F-F/F2F0F2F2-F@6%,&F/F2F:F2FBF2F2F:
*&)F(,*F*F-F+\"#CF/F0F0F2F2-F4FAF2F:*&)F(,*F*F-F+\"#IF/F>F>F2F2-F@6%F6
,&F+F9F0F2F2F2F:*&)F(,*F*F-F+F-F/FCF0F2F2FRF2F:*&)F(,(F*F-F+F.F/F0F2-F
46%,&F/F2F1F2FJF2F2F:*&)F(,(F*F-F+F-F/F>F2-F@6%FcoF8F2F2F:*&)F(,*F*F-F
+F-F/FCF>F2F2-F@6%F/FBF2F2F:*&)F(,*F*F-F+F9F/FCF2F2F2-F@6%F/FJF2F2F:*&
FPF2-F@6%,&F/F2F2F2FBF2F2F2*&FEF2FgoF2F2*&F_oF2-F4FhoF2F2*&)F(,*F*F-F+
F9F/F>F7F2F2-F@6%Fco,&F+!\"'F:F2F2F2F2*&F_pF2-F@6%FT,$F+F9F2F2F2*&)F(,
*F*F-F+F.F/F0F,F2F2-F46%FT,&F+F`qF1F2F2F2F2*&)F(,(F*F-F+F9F/F>F2-F@6%F
TF_qF2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A57:=e0(10,A5
6);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A57G,F*&)%\"qG,**$%\"jG\"\"#
\"#=F+\"#7%\"nG\"\"%!\"#\"\"\"F2-%#T1G6%,&F/F2!\"$F2,&F+\"\"'F,F2F2F2!
\"\"*&)F(,*F*F-F+F-F/\"\"&F1F2F2-%#T0G6%F6,&F+F9\"\"$F2F2F2F:*&)F(,*F*
F-F+F-F/FCF,F2F2F?F2F:*&F'F2-F46%F6,&F+F9F2F2F2F2F:*&)F(,*F*F-F+F-F/F>
F7F2F2-F@F5F2F:*&)F(,*F*F-F+F-F/F2F0F2F2-F@6%,&F/F2F:F2FBF2F2F:*&)F(,*
F*F-F+\"#CF/F0F0F2F2-F4FAF2F:*&)F(,*F*F-F+\"#IF/F>F>F2F2-F@6%F6,&F+F9F
0F2F2F2F:*&)F(,*F*F-F+F-F/FCF0F2F2FRF2F:*&)F(,*F*F-F+F9F/F>F7F2F2-F@6%
,&F/F2F1F2FJF2F2F:*&)F(,*F*F-F+F-F/FCF>F2F2-F@6%F/FBF2F2F:*&)F(,*F*F-F
+F9F/FCF2F2F2-F@6%F/FJF2F2F:*&FPF2-F@6%,&F/F2F2F2FBF2F2F2*&FEF2-F@6%Fc
oF8F2F2F2*&F_oF2-F@6%Fco,&F+!\"'F:F2F2F2F2*&FjoF2-F@6%FT,$F+F9F2F2F2*&
)F(,*F*F-F+F.F/F0F,F2F2-F46%FT,&F+FipF1F2F2F2F2*&)F(,(F*F-F+F9F/F>F2-F
@6%FTFhpF2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A58:= sym
(14,A57);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A58G,F*&)%\"qG,**$%\"j
G\"\"#\"#=F+\"#7%\"nG\"\"%!\"#\"\"\"F2-%#T1G6%,&F/F2!\"$F2,&F+\"\"'F,F
2F2F2!\"\"*&)F(,*F*F-F+F-F/\"\"&F1F2F2-%#T0G6%F6,&F+F9\"\"$F2F2F2F:*&)
F(,*F*F-F+F-F/FCF,F2F2F?F2F:*&F'F2-F46%F6,&F+F9F2F2F2F2F:*&)F(,*F*F-F+
F-F/F>F7F2F2-F@F5F2F:*&)F(,*F*F-F+F-F/F2F0F2F2-F@6%,&F/F2F:F2FBF2F2F:*
&)F(,*F*F-F+\"#CF/F0F0F2F2-F4FAF2F:*&)F(,*F*F-F+\"#IF/F>F>F2F2-F@6%F6,
&F+F9F0F2F2F2F:*&)F(,*F*F-F+F-F/FCF0F2F2FRF2F:*&)F(,*F*F-F+F9F/F>F7F2F
2-F@6%,&F/F2F1F2FJF2F2F:*&)F(,*F*F-F+F-F/FCF>F2F2-F@6%F/FBF2F2F:*&)F(,
*F*F-F+F9F/FCF2F2F2-F@6%F/FJF2F2F:*&FPF2-F@6%,&F/F2F2F2FBF2F2F2*&FEF2-
F@6%Fco,&F+!\"'F1F2F2F2F2*&F_oF2-F@6%Fco,&F+FfpF:F2F2F2F2*&FjoF2-F@6%F
T,$F+F9F2F2F2*&)F(,*F*F-F+F.F/F0F,F2F2-F46%FTFepF2F2F2*&)F(,(F*F-F+F9F
/F>F2-F@6%FTFjpF2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A5
9:= eT0(14,A58);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A59G,J*&)%\"qG,
**$%\"jG\"\"#\"#=F+\"#7%\"nG\"\"%!\"#\"\"\"F2-%#T1G6%,&F/F2!\"$F2,&F+
\"\"'F,F2F2F2!\"\"*&)F(,*F*F-F+F-F/\"\"&F1F2F2-%#T0G6%F6,&F+F9\"\"$F2F
2F2F:*&)F(,*F*F-F+F-F/FCF,F2F2F?F2F:*&F'F2-F46%F6,&F+F9F2F2F2F2F:*&)F(
,*F*F-F+F-F/F>F7F2F2-F@F5F2F:*&)F(,*F*F-F+F-F/F2F0F2F2-F@6%,&F/F2F:F2F
BF2F2F:*&)F(,*F*F-F+\"#CF/F0F0F2F2-F4FAF2F:*&)F(,*F*F-F+\"#IF/F>F>F2F2
-F@6%F6,&F+F9F0F2F2F2F:*&)F(,*F*F-F+F-F/FCF0F2F2FRF2F:*&)F(,*F*F-F+F9F
/F>F7F2F2-F@6%,&F/F2F1F2FJF2F2F:*&)F(,*F*F-F+F-F/FCF>F2F2-F@6%F/FBF2F2
F:*&)F(,*F*F-F+F9F/FCF2F2F2-F@6%F/FJF2F2F:*&FPF2-F@6%,&F/F2F2F2FBF2F2F
2*&FEF2-F@6%F6,&F+!\"'F7F2F2F2F2*&F'F2-F46%F6,&F+FfpF1F2F2F2F2*&)F(,*F
*F-F+F9F/F>FfpF2F2-F@6%F6,&F+FfpF:F2F2F2F2*&F_oF2-F@6%FcoF`qF2F2F2*&Fj
oF2-F@6%FT,$F+F9F2F2F2*&)F(,*F*F-F+F.F/F0F,F2F2-F46%FTFjpF2F2F2*&)F(,(
F*F-F+F9F/F>F2-F@6%FTF`qF2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 17 "A60:= sym(3,A59);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A60G,F
*&)%\"qG,**$%\"jG\"\"#\"#=F+\"#7%\"nG\"\"%!\"#\"\"\"F2-%#T1G6%,&F/F2!
\"$F2,&F+\"\"'F,F2F2F2!\"\"*&)F(,*F*F-F+F-F/\"\"&F1F2F2-%#T0G6%F6,&F+F
9\"\"$F2F2F2F:*&F'F2-F46%F6,&F+F9F2F2F2F2F:*&)F(,*F*F-F+F-F/F>F7F2F2-F
@F5F2F:*&)F(,*F*F-F+F-F/F2F0F2F2-F@6%,&F/F2F:F2FBF2F2F:*&)F(,*F*F-F+\"
#CF/F0F0F2F2-F4FAF2F:*&)F(,*F*F-F+\"#IF/F>F>F2F2-F@6%F6,&F+F9F0F2F2F2F
:*&)F(,*F*F-F+F-F/FCF0F2F2FOF2F:*&)F(,*F*F-F+F9F/F>F7F2F2-F@6%,&F/F2F1
F2FGF2F2F:*&)F(,*F*F-F+F-F/FCF>F2F2-F@6%F/FBF2F2F:*&)F(,*F*F-F+F9F/FCF
2F2F2-F@6%F/FGF2F2F:*&FMF2-F@6%,&F/F2F2F2FBF2F2F2*&F'F2-F46%F6,&F+!\"'
F1F2F2F2F2*&)F(,*F*F-F+F9F/F>FcpF2F2-F@6%F6,&F+FcpF:F2F2F2F2*&F\\oF2-F
@6%F`oFipF2F2F2*&FgoF2-F@6%FQ,$F+F9F2F2F2*&)F(,*F*F-F+F.F/F0F,F2F2-F46
%FQFbpF2F2F2*&)F(,(F*F-F+F9F/F>F2-F@6%FQFipF2F2F2" }}}{EXCHG {PARA 0 "
> " 0 "" {MPLTEXT 1 0 17 "A61:= sym(1,A60);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A61G,B*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"
\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.
\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,
&F+F8F,F1F1F1F:*&)F(,*F*F-F+F-F.F1F?F1F1-F36%,&F.F1F:F1F7F1F1F:*&)F(,*
F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F
?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1FMF1F:*&)F(,*F*F-F+F8F.F/F6F1F1-F36%
,&F.F1F0F1FCF1F1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(,*F*F-F
+F8F.F9F1F1F1-F36%F.FCF1F1F:*&FKF1-F36%,&F.F1F1F1F7F1F1F1*&)F(,*F*F-F+
F8F.F/!\"'F1F1-F36%F5,&F+F`pF:F1F1F1F1*&FjnF1-F36%F^oFcpF1F1F1*&FeoF1-
F36%FO,$F+F8F1F1F1*&)F(,*F*F-F+F>F.F?F,F1F1-FA6%FO,&F+F`pF0F1F1F1F1*&)
F(,(F*F-F+F8F.F/F1-F36%FOFcpF1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "A62:= sym(8,A61);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#
>%$A62G,>*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,
&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T
1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:
*&)F(,*F*F-F+F-F.F1F?F1F1-F36%,&F.F1F:F1F7F1F1F:*&)F(,*F*F-F+\"#CF.F?F
?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,
*F*F-F+F-F.F9F?F1F1FMF1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(
,*F*F-F+F8F.F9F1F1F1-F36%F.FCF1F1F:*&FKF1-F36%,&F.F1F1F1F7F1F1F1*&)F(,
*F*F-F+F8F.F/!\"'F1F1-F36%F5,&F+FjoF:F1F1F1F1*&F_oF1-F36%FO,$F+F8F1F1F
1*&)F(,*F*F-F+F>F.F?F,F1F1-FA6%FO,&F+FjoF0F1F1F1F1*&)F(,(F*F-F+F8F.F/F
1-F36%FOF]pF1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A63:= \+
eT0(9,A62);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A63G,>*&)%\"qG,**$%
\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"
\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:
*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+F-F.F1F?F
1F1-F36%,&F.F1F:F1F7F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F
*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1FMF
1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(,*F*F-F+F>F.F?F,F1F1-F
A6%FOFCF1F1F:*&)F(,*F*F-F+F-F.F/F9F1F1-F36%FOFIF1F1F:*&FKF1-F36%,&F.F1
F1F1F7F1F1F1*&)F(,*F*F-F+F8F.F/!\"'F1F1-F36%F5,&F+F_pF:F1F1F1F1*&F_oF1
-FA6%FO,&F+F_pF0F1F1F1F1*&)F(,(F*F-F+F8F.F/F1-F36%FOFbpF1F1F1" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 12 "############" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A64:= sym(11,A63);" }}{PARA 12 "" 
1 "" {XPPMATH 20 "6#>%$A64G,>*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!
\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+
\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F
36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+F-F.F1F?F1F1-F36%,&F.F1F:F1F7F1F1F:*
&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,
&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1FMF1F:*&)F(,*F*F-F+F-F.F9F/F1F
1-F36%F.F7F1F1F:*&)F(,*F*F-F+F>F.F?F,F1F1-FA6%FOFCF1F1F:*&)F(,*F*F-F+F
-F.F/F9F1F1-F36%FOFIF1F1F:*&FKF1-F36%,&F.F1F1F1,&F+!\"'F6F1F1F1F1*&)F(
,*F*F-F+F8F.F/F]pF1F1-F36%F5,&F+F]pF:F1F1F1F1*&F_oF1-FA6%FO,&F+F]pF0F1
F1F1F1*&)F(,(F*F-F+F8F.F/F1-F36%FOFcpF1F1F1" }}}{EXCHG {PARA 0 "> " 0 
"" {MPLTEXT 1 0 18 "A65:= eT0(11,A64);" }}{PARA 12 "" 1 "" {XPPMATH 
20 "6#>%$A65G,B*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#
T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1
F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1
F1F1F:*&)F(,*F*F-F+F-F.F1F?F1F1-F36%,&F.F1F:F1F7F1F1F:*&)F(,*F*F-F+\"#
CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:
*&)F(,*F*F-F+F-F.F9F?F1F1FMF1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F
:*&)F(,*F*F-F+F>F.F?F,F1F1-FA6%FOFCF1F1F:*&)F(,*F*F-F+F-F.F/F9F1F1-F36
%FOFIF1F1F:*&FKF1-F36%F.,&F+!\"'!\"%F1F1F1F1*&)F(,*F*F-F+F>F.F,F,F1F1-
FA6%F.,&F+F\\pF6F1F1F1F1*&)F(,(F*F-F+F8F.F9F1-F36%F.,&F+F\\pF0F1F1F1F1
*&)F(,*F*F-F+F8F.F/F\\pF1F1-F36%F5,&F+F\\pF:F1F1F1F1*&F_oF1-FA6%FOFipF
1F1F1*&)F(,(F*F-F+F8F.F/F1-F36%FOF_qF1F1F1" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 17 "A66:=sym(11,A65);" }}{PARA 12 "" 1 "" {XPPMATH 20 "
6#>%$A66G,B*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6
%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%
#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1
F:*&)F(,*F*F-F+F-F.F1F?F1F1-F36%,&F.F1F:F1F7F1F1F:*&)F(,*F*F-F+\"#CF.F
?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F
(,*F*F-F+F-F.F9F?F1F1FMF1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)
F(,*F*F-F+F>F.F?F,F1F1-FA6%FOFCF1F1F:*&)F(,*F*F-F+F-F.F/F9F1F1-F36%FOF
IF1F1F:*&FKF1-F36%F.FenF1F1F1*&)F(,*F*F-F+F>F.F,F,F1F1-FA6%F.,&F+!\"'F
6F1F1F1F1*&)F(,(F*F-F+F8F.F9F1-F36%F.,&F+FapF0F1F1F1F1*&)F(,*F*F-F+F8F
.F/FapF1F1-F36%F5,&F+FapF:F1F1F1F1*&F_oF1-FA6%FOFgpF1F1F1*&)F(,(F*F-F+
F8F.F/F1-F36%FOF]qF1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 
"A67:=eT0(11,A66);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A67G,B*&)%\"q
G,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+
\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F
1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"
#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F
:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F:*&)F(,*F*F-F+F-F.F9F/
F1F1-F36%F.F7F1F1F:*&)F(,*F*F-F+F>F.F?F,F1F1-FA6%FenFCF1F1F:*&)F(,*F*F
-F+F-F.F/F9F1F1-F36%FenFIF1F1F:*&)F(,*F*F-F+FM\"\")F1F.F,F1-FA6%FenFUF
1F1F1*&)F(,*F*F-F+FRF.F9F>F1F1-F36%Fen,&F+F8F/F1F1F1F1*&)F(,*F*F-F+F>F
.F,F,F1F1-FA6%F.,&F+!\"'F6F1F1F1F1*&)F(,(F*F-F+F8F.F9F1-F36%F.,&F+FgpF
0F1F1F1F1*&)F(,*F*F-F+F8F.F/FgpF1F1-F36%F5,&F+FgpF:F1F1F1F1*&F\\oF1-FA
6%FenF]qF1F1F1*&)F(,(F*F-F+F8F.F/F1-F36%FenFcqF1F1F1" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 18 "A68:= sym(15,A67);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A68G,B*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"
\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.
\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,
&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.
F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F
1F7F1F1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(,*F*F-F+F>F.F?F,
F1F1-FA6%FenFCF1F1F:*&)F(,*F*F-F+F-F.F/F9F1F1-F36%FenFIF1F1F:*&)F(,*F*
F-F+FM\"\")F1F.F,F1-FA6%FenFUF1F1F1*&)F(,*F*F-F+FRF.F9F>F1F1-F36%Fen,&
F+F8F/F1F1F1F1*&)F(,*F*F-F+F>F.F,F,F1F1-FA6%F.,&F+!\"'F6F1F1F1F1*&)F(,
(F*F-F+F8F.F9F1-F36%F.,&F+FgpF0F1F1F1F1*&)F(,*F*F-F+F8F.F/FgpF1F1-F36%
F5,&F+FgpF:F1F1F1F1*&F\\oF1-FAFdoF1F1*&)F(,(F*F-F+F8F.F/F1-F36%FenFcqF
1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A69:=e0(8, A68);" 
}}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A69G,>*&)%\"qG,**$%\"jG\"\"#\"#=F
+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"
*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F
-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:
*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F
?F1F1-F36%,&F.F1F:F1F7F1F1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&
)F(,(F*F-F+F8F.F/F1-F36%FenFCF1F1F:*&)F(,*F*F-F+FM\"\")F1F.F,F1-FA6%Fe
nFUF1F1F1*&)F(,*F*F-F+FRF.F9F>F1F1-F36%Fen,&F+F8F/F1F1F1F1*&)F(,*F*F-F
+F>F.F,F,F1F1-FA6%F.,&F+!\"'F6F1F1F1F1*&)F(,(F*F-F+F8F.F9F1-F36%F.,&F+
FbpF0F1F1F1F1*&)F(,*F*F-F+F8F.F/FbpF1F1-F36%F5,&F+FbpF:F1F1F1F1*&F\\oF
1-F36%FenF^qF1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A70:=
 sym(8,A69);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A70G,:*&)%\"qG,**$%
\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"
\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:
*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F
?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,
*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F3
6%F.F7F1F1F:*&)F(,*F*F-F+FM\"\")F1F.F,F1-FA6%FenFUF1F1F1*&)F(,*F*F-F+F
RF.F9F>F1F1-F36%Fen,&F+F8F/F1F1F1F1*&)F(,*F*F-F+F>F.F,F,F1F1-FA6%F.,&F
+!\"'F6F1F1F1F1*&)F(,(F*F-F+F8F.F9F1-F36%F.,&F+F]pF0F1F1F1F1*&)F(,*F*F
-F+F8F.F/F]pF1F1-F36%F5,&F+F]pF:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 9 "#########" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
24 "A71:= shiftdown(10,A70);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A71
G,:*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!
\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5
,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,
*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8
F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F:*&)F(,*F*F-F
+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(,*F*F-F+FM\"\")F1F.F,F1-FA6%FenFUF1F1
F1*&)F(,*F*F-F+FRF.F9F>F1F1-F36%Fen,&F+F8F/F1F1F1F1*&)F(,*F*F-F+!#CF^o
F1F.F,F1-FA6%F.,&F+!\"'F9F1F1F1F:*&)F(,(F*F-F+F8F.F9F1-F36%F.,&F+F^pF0
F1F1F1F1*&)F(,*F*F-F+F8F.F/F^pF1F1-F36%F5,&F+F^pF:F1F1F1F1" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "A72:= negate(10,A71);" }}{PARA 12 "
" 1 "" {XPPMATH 20 "6#>%$A72G,:*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"
&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F
+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-
F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F
+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&
F.F1F:F1F7F1F1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(,*F*F-F+F
M\"\")F1F.F,F1-FA6%FenFUF1F1F1*&)F(,*F*F-F+FRF.F9F>F1F1-F36%Fen,&F+F8F
/F1F1F1F1*&F\\oF1-FAFjnF1F:*&)F(,(F*F-F+F8F.F9F1-F36%F.,&F+!\"'F0F1F1F
1F1*&)F(,*F*F-F+F8F.F/F_pF1F1-F36%F5,&F+F_pF:F1F1F1F1" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A73:=eT1(10,A72);" }}{PARA 12 "" 1 
"" {XPPMATH 20 "6#>%$A73G,>*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"
#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#
7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%
F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#
IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1
F:F1F7F1F1F:*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(,*F*F-F+FM\"
\")F1F.F,F1-FA6%FenFUF1F1F1*&)F(,*F*F-F+FRF.F9F>F1F1-F36%Fen,&F+F8F/F1
F1F1F1*&F\\oF1-FAFZF1F:*&)F(,*F*F-F+FR\"#6F1F.F9F1-F3F`oF1F:*&FgnF1-F3
6%FenFIF1F1F:*&)F(,(F*F-F+F8F.F9F1-F36%F.,&F+!\"'F0F1F1F1F1*&)F(,*F*F-
F+F8F.F/FgpF1F1-F36%F5,&F+FgpF:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "A74:= e0(10,A73);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#
>%$A74G,8*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,
&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T
1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:
*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5
,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(,
*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(,*F*F-F+FRF.F9F>F1F1-F36%Fen,&F
+F8F/F1F1F1F1*&FgnF1-F36%FenFIF1F1F:*&)F(,(F*F-F+F8F.F9F1-F36%F.,&F+!
\"'F0F1F1F1F1*&)F(,*F*F-F+F8F.F/FjoF1F1-F36%F5,&F+FjoF:F1F1F1F1" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "A75:=shiftdown(8,A74);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A75G,8*&)%\"qG,**$%\"jG\"\"#\"#=F+F
-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&
)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F
.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&
)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F
1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F
(,(F*F-F+!\"'F.F9F1-F36%Fen,&F+F8F:F1F1F1F:*&FgnF1-F36%FenFIF1F1F:*&)F
(,(F*F-F+F8F.F9F1-F36%F.,&F+F^oF0F1F1F1F1*&)F(,*F*F-F+F8F.F/F^oF1F1-F3
6%F5,&F+F^oF:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A7
6:= sym(10,A75);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A76G,8*&)%\"qG,
**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"
\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F
1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#C
F.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*
&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(,*F*F-F+F-F.F9F/F1
F1-F36%F.F7F1F1F:*&)F(,(F*F-F+!\"'F.F9F1-F36%Fen,&F+F8F:F1F1F1F:*&FgnF
1-F36%FenFIF1F1F:*&)F(,(F*F-F+F8F.F9F1-F36%F.FIF1F1F1*&)F(,*F*F-F+F8F.
F/F^oF1F1-F36%F5,&F+F^oF:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "A77:=eT0(10,A76);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#
>%$A77G,<*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,
&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T
1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:
*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5
,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(,
*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(,(F*F-F+!\"'F.F9F1-F36%Fen,&F+F
8F:F1F1F1F:*&FgnF1-F36%FenFIF1F1F:*&)F(,(F*F-F+F8F.F9F1-F36%FenFCF1F1F
1*&)F(,*F*F-F+F>F.F?F,F1F1-FAFdoF1F1*&)F(,*F*F-F+F-F.F/F?F1F1FYF1F1*&)
F(,*F*F-F+F8F.F/F^oF1F1-F36%F5,&F+F^oF:F1F1F1F1" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 19 "A78:=negate(8,A77);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A78G,<*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"
\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.
\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,
&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.
F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F
1F7F1F1F0*&)F(,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&)F(,(F*F-F+F8F.F9F1
-F36%Fen,&F+!\"'F:F1F1F1F:*&FgnF1-F36%FenFIF1F1F:*&F\\oF1-F36%FenFCF1F
1F1*&)F(,*F*F-F+F>F.F?F,F1F1-FAFdoF1F1*&)F(,*F*F-F+F-F.F/F?F1F1FYF1F1*
&)F(,*F*F-F+F8F.F/FaoF1F1-F36%F5F`oF1F1F1" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 16 "A79:=sym(8,A78);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6
#>%$A79G,8*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%
,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#
T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F
:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F
5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(
,*F*F-F+F-F.F9F/F1F1-F36%F.F7F1F1F:*&FgnF1-F36%FenFIF1F1F:*&)F(,*F*F-F
+F>F.F?F,F1F1-FAF]oF1F1*&)F(,*F*F-F+F-F.F/F?F1F1FYF1F1*&)F(,*F*F-F+F8F
.F/!\"'F1F1-F36%F5,&F+FhoF:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 23 "A80:= shiftdown(7,A79);" }}{PARA 12 "" 1 "" {XPPMATH 
20 "6#>%$A80G,8*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#
T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1
F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1
F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-
F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F0
*&)F(,*F*F-F+!#=F/F1F.F9F1-F36%F.,&F+F8F6F1F1F1F1*&)F(,*F*F-F+F-F.F9F/
F1F1-F36%FenFIF1F1F:*&)F(,*F*F-F+F>F.F?F,F1F1-FAFaoF1F1*&)F(,*F*F-F+F-
F.F/F?F1F1FYF1F1*&)F(,*F*F-F+F8F.F/!\"'F1F1-F36%F5,&F+F\\pF:F1F1F1F1" 
}}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A81:= sym(7,A80);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A81G,8*&)%\"qG,**$%\"jG\"\"#\"#=F+F
-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&
)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F
.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&
)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F
1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(,*F*F-F+!#=F/F1F.F9F1-F36%F.,&F+!\"'F9F
1F1F1F1*&)F(,*F*F-F+F-F.F9F/F1F1-F36%FenFIF1F1F:*&)F(,*F*F-F+F>F.F?F,F
1F1-FAFboF1F1*&)F(,*F*F-F+F-F.F/F?F1F1FYF1F1*&)F(,*F*F-F+F8F.F/F]oF1F1
-F36%F5,&F+F]oF:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 
"A82:=eT0(7,A81);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A82G,<*&)%\"qG
,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"
\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F
1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#C
F.F?F?F1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*
&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(,*F*F-F+!#=F/F1F.F
9F1-F36%Fen,&F+!\"'F,F1F1F1F1*&)F(,*F*F-F+!#C\"\")F1F.F?F1-FA6%Fen,&F+
F]oF9F1F1F1F1*&)F(,*F*F-F+!#I\"#6F1F.F/F1-F36%Fen,&F+F]oF?F1F1F1F1*&)F
(,*F*F-F+F-F.F9F/F1F1-F36%FenFIF1F1F:*&)F(,*F*F-F+F>F.F?F,F1F1-FAFbpF1
F1*&)F(,*F*F-F+F-F.F/F?F1F1FYF1F1*&)F(,*F*F-F+F8F.F/F]oF1F1-F36%F5,&F+
F]oF:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A83:=negat
e(10,A82);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A83G,8*&)%\"qG,**$%\"
jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"
$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&
)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F
1F1-FAF4F1F:*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F
*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(,*F*F-F+!#C\"\")F1F.F?F1-
FA6%Fen,&F+!\"'F9F1F1F1F1*&)F(,*F*F-F+!#I\"#6F1F.F/F1-F36%Fen,&F+F^oF?
F1F1F1F1*&)F(,*F*F-F+F>F.F?F,F1F1-FA6%FenFIF1F1F1*&)F(,*F*F-F+F-F.F/F?
F1F1FYF1F1*&)F(,*F*F-F+F8F.F/F^oF1F1-F36%F5,&F+F^oF:F1F1F1F1" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A84:=shiftup(8,A83);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A84G,8*&)%\"qG,**$%\"jG\"\"#\"#=F+F
-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&
)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F
.F/F6F1F1-F36%F5,&F+F8F,F1F1F1F:*&)F(,*F*F-F+\"#CF.F?F?F1F1-FAF4F1F:*&
)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F
1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(,*F*F-F+!#C\"\")F1F.F?F1-FA6%Fen,&F+!\"
'F9F1F1F1F1*&)F(,*F*F-F+F8F:F1F.F/F1-F36%Fen,&F+F^oF0F1F1F1F:*&)F(,*F*
F-F+F>F.F?F,F1F1-FA6%FenFIF1F1F1*&)F(,*F*F-F+F-F.F/F?F1F1FYF1F1*&)F(,*
F*F-F+F8F.F/F^oF1F1-F36%F5,&F+F^oF:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 
"" {MPLTEXT 1 0 22 "A85:=shiftdown(4,A84);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A85G,8*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"
\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.
\"\"%F0F1F1-%#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,
&F+F8F,F1F1F1F:*&)F(,*F*F-F+!#7F0F1F.F?F1-FA6%F5,&F+F8F6F1F1F1F1*&)F(,
*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-
F36%,&F.F1F:F1F7F1F1F0*&)F(,*F*F-F+!#C\"\")F1F.F?F1-FA6%Fgn,&F+!\"'F9F
1F1F1F1*&)F(,*F*F-F+F8F:F1F.F/F1-F36%Fgn,&F+F`oF0F1F1F1F:*&)F(,*F*F-F+
F>F.F?F,F1F1-FA6%FgnFIF1F1F1*&)F(,*F*F-F+F-F.F/F?F1F1FenF1F1*&)F(,*F*F
-F+F8F.F/F`oF1F1-F36%F5,&F+F`oF:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 19 "A86:=negate(4,A85);" }}{PARA 12 "" 1 "" {XPPMATH 20 "
6#>%$A86G,8*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6
%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&)F(,*F*F-F+\"#7F.\"\"%F0F1F1-%
#T1G6%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+F-F.F/F6F1F1-F36%F5,&F+F8F,F1F1F1
F:*&F<F1-FA6%F5,&F+!\"'F6F1F1F1F1*&)F(,*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F
+F8F?F1F1F1F:*&)F(,*F*F-F+F-F.F9F?F1F1-F36%,&F.F1F:F1F7F1F1F0*&)F(,*F*
F-F+!#C\"\")F1F.F?F1-FA6%Fen,&F+FNF9F1F1F1F1*&)F(,*F*F-F+F8F:F1F.F/F1-
F36%Fen,&F+FNF0F1F1F1F:*&)F(,*F*F-F+F>F.F?F,F1F1-FA6%FenFIF1F1F1*&)F(,
*F*F-F+F-F.F/F?F1F1FYF1F1*&)F(,*F*F-F+F8F.F/FNF1F1-F36%F5,&F+FNF:F1F1F
1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A87:= e0(2,A86);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A87G,8*&)%\"qG,**$%\"jG\"\"#\"#=F+F
-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F1F1F1!\"\"*&
)F(,*F*F-F+F8F.F/!\"'F1F1-F36%F5,&F+F8F1F1F1F1F:*&)F(,*F*F-F+\"#7F.\"
\"%F0F1F1-%#T1G6%F5,&F+F8F,F1F1F1F:*&FCF1-FH6%F5,&F+F>F6F1F1F1F1*&)F(,
*F*F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8FFF1F1F1F:*&)F(,*F*F-F+F-F.F9FFF1F1-
F36%,&F.F1F:F1F7F1F1F0*&)F(,*F*F-F+!#C\"\")F1F.FFF1-FH6%Fen,&F+F>F9F1F
1F1F1*&)F(,*F*F-F+F8F:F1F.F/F1-F36%Fen,&F+F>F0F1F1F1F:*&)F(,*F*F-F+FEF
.FFF,F1F1-FH6%FenFJF1F1F1*&)F(,*F*F-F+F-F.F/FFF1F1FYF1F1*&F<F1-F36%F5,
&F+F>F:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A88:=sym
(4,A87);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A88G,8*&)%\"qG,**$%\"jG
\"\"#\"#=F+F-%\"nG\"\"&!\"#\"\"\"F1-%#T0G6%,&F.F1!\"$F1,&F+\"\"'\"\"$F
1F1F1!\"\"*&)F(,*F*F-F+F8F.F/!\"'F1F1-F36%F5,&F+F8F1F1F1F1F:*&)F(,*F*F
-F+\"#7F.\"\"%F0F1F1-%#T1G6%F5,&F+F8F,F1F1F1F:*&FCF1-FHF4F1F1*&)F(,*F*
F-F+\"#IF.F/F/F1F1-F36%F5,&F+F8FFF1F1F1F:*&)F(,*F*F-F+F-F.F9FFF1F1-F36
%,&F.F1F:F1F7F1F1F0*&)F(,*F*F-F+!#C\"\")F1F.FFF1-FH6%FY,&F+F>F9F1F1F1F
1*&)F(,*F*F-F+F8F:F1F.F/F1-F36%FY,&F+F>F0F1F1F1F:*&)F(,*F*F-F+FEF.FFF,
F1F1-FH6%FYFJF1F1F1*&)F(,*F*F-F+F-F.F/FFF1F1FWF1F1*&F<F1-F36%F5,&F+F>F
:F1F1F1F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A89:= e0(3,A88
);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A89G,4*&)%\"qG,**$%\"jG\"\"#
\"#=F+\"\"'%\"nG\"\"&!\"'\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+F.F2F2F2F2!\"
\"*&)F(,*F*F-F+F.F/F0!\"(F2F2-F46%F6,&F+F.F,F2F2F2F9*&)F(,*F*F-F+\"#IF
/F0F0F2F2-F46%F6,&F+F.\"\"%F2F2F2F9*&)F(,*F*F-F+F-F/\"\"$FHF2F2-F46%,&
F/F2F9F2,&F+F.FLF2F2F2!\"#*&)F(,*F*F-F+!#C\"\")F2F/FHF2-%#T1G6%FO,&F+F
1FLF2F2F2F2*&)F(,*F*F-F+F.F9F2F/F0F2-F46%FO,&F+F1FQF2F2F2F9*&)F(,*F*F-
F+\"#7F/FHF,F2F2-FX6%FOF@F2F2F2*&)F(,*F*F-F+F-F/F0FHF2F2FMF2F2*&F'F2-F
46%F6,&F+F1F9F2F2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "A9
0:=shiftdown(3,A89);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A90G,4*&)%
\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"&!\"'\"\"\"F2-%#T0G6%,&F/F2!\"$F
2,&F+F.F2F2F2F2!\"\"*&)F(,*F*F-F+F.F/F0!\"(F2F2-F46%F6,&F+F.F,F2F2F2F9
*&)F(,*F*F-F+F1F=F2F/F0F2-F46%F6,&F+F.!\"#F2F2F2F2*&)F(,*F*F-F+F-F/\"
\"$\"\"%F2F2-F46%,&F/F2F9F2,&F+F.FKF2F2F2FG*&)F(,*F*F-F+!#C\"\")F2F/FL
F2-%#T1G6%FO,&F+F1FKF2F2F2F2*&)F(,*F*F-F+F.F9F2F/F0F2-F46%FO,&F+F1FGF2
F2F2F9*&)F(,*F*F-F+\"#7F/FLF,F2F2-FW6%FOF@F2F2F2*&)F(,*F*F-F+F-F/F0FLF
2F2FMF2F2*&F'F2-F46%F6,&F+F1F9F2F2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 19 "A91:=negate(3,A90);" }}{PARA 12 "" 1 "" {XPPMATH 20 "
6#>%$A91G,4*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"&!\"'\"\"\"F2-%#T
0G6%,&F/F2!\"$F2,&F+F.F2F2F2F2!\"\"*&)F(,*F*F-F+F.F/F0!\"(F2F2-F46%F6,
&F+F.F,F2F2F2F9*&F;F2-F46%F6,&F+F1!\"#F2F2F2F2*&)F(,*F*F-F+F-F/\"\"$\"
\"%F2F2-F46%,&F/F2F9F2,&F+F.FIF2F2F2FE*&)F(,*F*F-F+!#C\"\")F2F/FJF2-%#
T1G6%FM,&F+F1FIF2F2F2F2*&)F(,*F*F-F+F.F9F2F/F0F2-F46%FMFDF2F2F9*&)F(,*
F*F-F+\"#7F/FJF,F2F2-FU6%FMF@F2F2F2*&)F(,*F*F-F+F-F/F0FJF2F2FKF2F2*&F'
F2-F46%F6,&F+F1F9F2F2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
16 "A92:=sym(3,A91);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A92G,0*&)%
\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"&!\"'\"\"\"F2-%#T0G6%,&F/F2!\"$F
2,&F+F.F2F2F2F2!\"\"*&)F(,*F*F-F+F-F/\"\"$\"\"%F2F2-F46%,&F/F2F9F2,&F+
F.F=F2F2F2!\"#*&)F(,*F*F-F+!#C\"\")F2F/F>F2-%#T1G6%FA,&F+F1F=F2F2F2F2*
&)F(,*F*F-F+F.F9F2F/F0F2-F46%FA,&F+F1FCF2F2F2F9*&)F(,*F*F-F+\"#7F/F>F,
F2F2-FJ6%FA,&F+F.F,F2F2F2F2*&)F(,*F*F-F+F-F/F0F>F2F2F?F2F2*&F'F2-F46%F
6,&F+F1F9F2F2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A93:=s
hiftup(3,A92);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A93G,0*&)%\"qG,**
$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"&!\"'\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+F.
F2F2F2F2!\"\"*&)F(,*F*F-F+F-F/\"\"$\"\"%F2F2-F46%,&F/F2F9F2,&F+F.F=F2F
2F2!\"#*&)F(,*F*F-F+\"#7F/F>F,F2F2-%#T1G6%FA,&F+F1F7F2F2F2F9*&)F(,*F*F
-F+F.F9F2F/F0F2-F46%FA,&F+F1FCF2F2F2F9*&FEF2-FI6%FA,&F+F.F,F2F2F2F2*&)
F(,*F*F-F+F-F/F0F>F2F2F?F2F2*&F'F2-F46%F6,&F+F1F9F2F2F2F2" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A94:=sym(3,A93);" }}{PARA 12 "" 1 "
" {XPPMATH 20 "6#>%$A94G,0*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"&!
\"'\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+F.F2F2F2F2!\"\"*&)F(,*F*F-F+F-F/\"
\"$\"\"%F2F2-F46%,&F/F2F9F2,&F+F.F=F2F2F2!\"#*&)F(,*F*F-F+\"#7F/F>F,F2
F2-%#T1GF@F2F9*&)F(,*F*F-F+F.F9F2F/F0F2-F46%FA,&F+F1FCF2F2F2F9*&FEF2-F
I6%FA,&F+F.F,F2F2F2F2*&)F(,*F*F-F+F-F/F0F>F2F2F?F2F2*&F'F2-F46%F6,&F+F
1F9F2F2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A95:= e0(5,A
94);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A95G,,*&)%\"qG,**$%\"jG\"\"
#\"#=F+\"\"'%\"nG\"\"&!\"'\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+F.F2F2F2F2!
\"\"*&)F(,*F*F-F+F-F/\"\"$\"\"%F2F2-F46%,&F/F2F9F2,&F+F.F=F2F2F2!\"#*&
)F(,*F*F-F+F.F9F2F/F0F2-F46%FA,&F+F1FCF2F2F2F9*&FEF2-F46%FA,&F+F.F,F2F
2F2F2*&F'F2-F46%F6,&F+F1F9F2F2F2F2" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "A96:=sym(3,A95);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>
%$A96G,(*&)%\"qG,**$%\"jG\"\"#\"#=F+\"\"'%\"nG\"\"&!\"'\"\"\"F2-%#T0G6
%,&F/F2!\"$F2,&F+F.F2F2F2F2!\"\"*&)F(,*F*F-F+F-F/\"\"$\"\"%F2F2-F46%,&
F/F2F9F2,&F+F.F=F2F2F2!\"#*&F'F2-F46%F6,&F+F1F9F2F2F2F2" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A97:= sym(1,A96);" }}{PARA 11 "" 1 
"" {XPPMATH 20 "6#>%$A97G,$*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"$\"
\"%\"\"\"F1-%#T0G6%,&F.F1!\"\"F1,&F+\"\"'F/F1F1F1!\"#" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 12 "A98:= A97/2;" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#>%$A98G,$*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"$\"\"%
\"\"\"F1-%#T0G6%,&F.F1!\"\"F1,&F+\"\"'F/F1F1F1F6" }}}{EXCHG {PARA 0 ">
 " 0 "" {MPLTEXT 1 0 10 "A99:= A98;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6
#>%$A99G,$*&)%\"qG,**$%\"jG\"\"#\"#=F+F-%\"nG\"\"$\"\"%\"\"\"F1-%#T0G6
%,&F.F1!\"\"F1,&F+\"\"'F/F1F1F1F6" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 42 " expand( 18*(j-1)^2 + 18*(j-1) + 3*n + 4);" }}{PARA 
11 "" 1 "" {XPPMATH 20 "6#,**$%\"jG\"\"#\"#=F%!#=\"\"%\"\"\"%\"nG\"\"$
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 60 "#### shift j -> j-1, ne
gate and use symmetry and it cancels." }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 0 "" }}}}{MARK "2 0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }