{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 11 "####### 3.4" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 111 "op4:= annihiloper( (-1)^j * q^(j^2) * qfac(-q,q^2,j)/ \n (qfac(-q^2,q^2,j) * spqfac(q^2,q^2,j)) , 0, forward);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$op4G,**$%\"NG\" \"#\"\"\"*&,(!\"\"F))%\"qG,&\"\"$F)%\"nGF(F)*$F.F(F)F)F'F)F)F2F,)F.,&F 1F(F(F)F)" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 45 "a1:= applyshiftop(op4, q^(j^2) * U( n-1,j,1));" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a1G,.*&-%\"UG6%,&%\"n G\"\"\"!\"\"F,%\"jGF,F,)%\"qG,&*$F.\"\"#F,F3F,F,F-*&F'F,)F0,(F2F,F+F3F 3F,F,F,*&)F0F2F,-F(6%F+F.F,F,F-*&F9F,)F0,(F2F,\"\"$F,F+F3F,F,*&F9F,F/F ,F,*&F8F,-F(6%,&F+F,F,F,F.F,F,F," }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 37 "a2:= subs(j=2*j,a1)-subs(j=2*j+1,a1);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a2G,:*&-%\"UG6%,&%\"nG\"\"\"!\"\"F,,$%\"jG\"\"# F,F,)%\"qG,&*$F/F0\"\"%F0F,F,F-*&F'F,)F2,(F4F5F+F0F0F,F,F,*&)F2,$F4F5F ,-F(6%F+F.F,F,F-*&F " 0 "" {MPLTEXT 1 0 19 "a3:= expandall(a2);" }}{PARA 12 "" 1 "" {XPPMATH 20 " 6#>%#a3G,:*&-%\"UG6%,&%\"nG\"\"\"!\"\"F,,$%\"jG\"\"#F,F,)%\"qG,&*$F/F0 \"\"%F0F,F,F-*&F'F,)F2,(F4F5F+F0F0F,F,F,*&)F2,$F4F5F,-F(6%F+F.F,F,F-*& F " 0 "" {MPLTEXT 1 0 15 "a4:= eU1(5,a3);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>% #a4G,<*&-%\"UG6%,&%\"nG\"\"\"!\"\"F,,$%\"jG\"\"#F,F,)%\"qG,(*$F/F0\"\" %F+F0F0F,F,F,*&)F2,$F4F5F,-F(6%F+F.F,F,F-*&F9F,)F2,(F4F5\"\"$F,F+F0F,F ,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,*F4F5F0F,F+F,F/!\"#F,-%#T1G6%F*,&F/F 0F-F,F,F,F,*&)F2,*F4F5F>F,F+F,F/F0F,-FG6%F*,&F/F0F0F,F,F,F,*&F7F,-F(6% ,&F+F,F,F,F.F,F,F,*&)F2,(F4F5F/F5F>F,F,-F(6%F*,&F/F0F,F,F,F,F,*&)F2,*F 4F5F/F5F>F,F+F0F,FWF,F-*&)F2,(F4F5F/F5F,F,F,-F(6%F+FYF,F,F,*&)F2,*F4F5 F/F5F5F,F+F0F,FjnF,F-*&FUF,FjnF,F-*&FhnF,-F(6%FSFYF,F,F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "a5:= eU1(7,a4);" }}{PARA 12 "" 1 " " {XPPMATH 20 "6#>%#a5G,>*&-%\"UG6%,&%\"nG\"\"\"!\"\"F,,$%\"jG\"\"#F,F ,)%\"qG,(*$F/F0\"\"%F+F0F0F,F,F,*&-F(6%F+F.F,F,)F2,(F4F5\"\"$F,F+F0F,F ,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,*F4F5F0F,F+F,F/!\"#F,-%#T1G6%F*,&F/F 0F-F,F,F,F,*&)F2,*F4F5F;F,F+F,F/F0F,-FD6%F*,&F/F0F0F,F,F,F,*&F=F,F7F,F ,*&)F2,*F4F5F+F,F,F,F/FBF,-FD6%F+FFF,F,F,*&)F2,*F4F5F+F,F0F,F/F0F,-FD6 %F+FLF,F,F,*&)F2,(F4F5F/F5F;F,F,-F(6%F*,&F/F0F,F,F,F,F,*&)F2,*F4F5F/F5 F;F,F+F0F,FenF,F-*&)F2,(F4F5F/F5F,F,F,-F(6%F+FgnF,F,F,*&)F2,*F4F5F/F5F 5F,F+F0F,F^oF,F-*&FYF,F^oF,F-*&F\\oF,-F(6%,&F+F,F,F,FgnF,F,F-" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a6:= eU1(14,a5);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a6G,@*&-%\"UG6%,&%\"nG\"\"\"!\"\"F,,$%\"j G\"\"#F,F,)%\"qG,(*$F/F0\"\"%F+F0F0F,F,F,*&-F(6%F+F.F,F,)F2,(F4F5\"\"$ F,F+F0F,F,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,*F4F5F0F,F+F,F/!\"#F,-%#T1G 6%F*,&F/F0F-F,F,F,F,*&)F2,*F4F5F;F,F+F,F/F0F,-FD6%F*,&F/F0F0F,F,F,F,*& F=F,F7F,F,*&)F2,*F4F5F+F,F,F,F/FBF,-FD6%F+FFF,F,F,*&)F2,*F4F5F+F,F0F,F /F0F,-FD6%F+FLF,F,F,*&)F2,(F4F5F/F5F;F,F,-F(6%F*,&F/F0F,F,F,F,F,*&)F2, *F4F5F/F5F;F,F+F0F,FenF,F-*&)F2,*F4F5F/F5F5F,F+F0F,-F(6%F+FgnF,F,F-*&F YF,F^oF,F-*&)F2,*F4F5F/F5F0F,F+F0F,F^oF,F-*&)F2,*F4F5F/F0F,F,F+F,F,-FD F8F,F-*&)F2,*F4F5F/\"\"'F5F,F+F,F,-FD6%F+,&F/F0F;F,F,F,F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 9 "nops(a6);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"#:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a7:= sym(14,a6);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a7G,@*&-%\"UG6%,&% \"nG\"\"\"!\"\"F,,$%\"jG\"\"#F,F,)%\"qG,(*$F/F0\"\"%F+F0F0F,F,F,*&-F(6 %F+F.F,F,)F2,(F4F5\"\"$F,F+F0F,F,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,*F4F 5F0F,F+F,F/!\"#F,-%#T1G6%F*,&F/F0F-F,F,F,F,*&)F2,*F4F5F;F,F+F,F/F0F,-F D6%F*,&F/F0F0F,F,F,F,*&F=F,F7F,F,*&)F2,*F4F5F+F,F,F,F/FBF,-FD6%F+FFF,F ,F,*&)F2,*F4F5F+F,F0F,F/F0F,-FD6%F+FLF,F,F,*&)F2,(F4F5F/F5F;F,F,-F(6%F *,&F/F0F,F,F,F,F,*&)F2,*F4F5F/F5F;F,F+F0F,FenF,F-*&)F2,*F4F5F/F5F5F,F+ F0F,-F(6%F+FgnF,F,F-*&FYF,F^oF,F-*&)F2,*F4F5F/F5F0F,F+F0F,F^oF,F-*&)F2 ,*F4F5F/F0F,F,F+F,F,-FD6%F+,$F/FBF,F,F-*&)F2,*F4F5F/\"\"'F5F,F+F,F,-FD 6%F+,&F/F0F;F,F,F,F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "a8: = negate(14,a7);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a8G,@*&-%\"UG6% ,&%\"nG\"\"\"!\"\"F,,$%\"jG\"\"#F,F,)%\"qG,(*$F/F0\"\"%F+F0F0F,F,F,*&- F(6%F+F.F,F,)F2,(F4F5\"\"$F,F+F0F,F,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,* F4F5F0F,F+F,F/!\"#F,-%#T1G6%F*,&F/F0F-F,F,F,F,*&)F2,*F4F5F;F,F+F,F/F0F ,-FD6%F*,&F/F0F0F,F,F,F,*&F=F,F7F,F,*&)F2,*F4F5F+F,F,F,F/FBF,-FD6%F+FF F,F,F,*&)F2,*F4F5F+F,F0F,F/F0F,-FD6%F+FLF,F,F,*&)F2,(F4F5F/F5F;F,F,-F( 6%F*,&F/F0F,F,F,F,F,*&)F2,*F4F5F/F5F;F,F+F0F,FenF,F-*&)F2,*F4F5F/F5F5F ,F+F0F,-F(6%F+FgnF,F,F-*&FYF,F^oF,F-*&)F2,*F4F5F/F5F0F,F+F0F,F^oF,F-*& FOF,-FDF8F,F-*&)F2,*F4F5F/\"\"'F5F,F+F,F,-FD6%F+,&F/F0F;F,F,F,F-" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "a9:= e0(7,a8);" }}{PARA 12 " " 1 "" {XPPMATH 20 "6#>%#a9G,@*&-%\"UG6%,&%\"nG\"\"\"!\"\"F,,$%\"jG\" \"#F,F,)%\"qG,(*$F/F0\"\"%F+F0F0F,F,F,*&-F(6%F+F.F,F,)F2,(F4F5\"\"$F,F +F0F,F,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,*F4F5F0F,F+F,F/!\"#F,-%#T1G6%F *,&F/F0F-F,F,F,F,*&)F2,*F4F5F;F,F+F,F/F0F,-FD6%F*,&F/F0F0F,F,F,F,*&F=F ,F7F,F,*&)F2,*F4F5F+F0F0F,F/!\"%F,-%#T0G6%F+FFF,F,F,*&F=F,-FSF8F,F-*&) F2,*F4F5F+F,F0F,F/F0F,-FD6%F+FLF,F,F,*&)F2,(F4F5F/F5F;F,F,-F(6%F*,&F/F 0F,F,F,F,F,*&)F2,*F4F5F/F5F;F,F+F0F,FinF,F-*&)F2,*F4F5F/F5F5F,F+F0F,-F (6%F+F[oF,F,F-*&FgnF,FboF,F-*&)F2,*F4F5F/F5F0F,F+F0F,FboF,F-*&)F2,*F4F 5F/\"\"'F5F,F+F,F,-FD6%F+,&F/F0F;F,F,F,F-" }}}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 19 "a10:= splitU(6,a9);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a10G,>*&-%\"UG6%,&%\"nG\"\"\"!\"\"F,,$%\"jG\"\"#F,F,)%\"qG,(* $F/F0\"\"%F+F0F0F,F,F,*&-F(6%F+F.F,F,)F2,(F4F5\"\"$F,F+F0F,F,*&)F2,(F4 F5F,F,F+F0F,F'F,F,*&)F2,*F4F5F0F,F+F,F/!\"#F,-%#T1G6%F*,&F/F0F-F,F,F,F ,*&)F2,*F4F5F;F,F+F,F/F0F,-FD6%F*,&F/F0F0F,F,F,F,*&F=F,-%#T0G6%F+,&F/F 0F,F,F,F,F,*&)F2,*F4F5F+F0F0F,F/!\"%F,-FO6%F+FFF,F,F,*&)F2,*F4F5F+F,F0 F,F/F0F,-FD6%F+FLF,F,F,*&)F2,(F4F5F/F5F;F,F,-F(6%F*FQF,F,F,*&)F2,*F4F5 F/F5F;F,F+F0F,FjnF,F-*&)F2,*F4F5F/F5F5F,F+F0F,-F(FPF,F-*&FhnF,FboF,F-* &)F2,*F4F5F/F5F0F,F+F0F,FboF,F-*&)F2,*F4F5F/\"\"'F5F,F+F,F,-FD6%F+,&F/ F0F;F,F,F,F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 24 "a11:= shift down(14,a10);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a11G,>*&-%\"UG6%,& %\"nG\"\"\"!\"\"F,,$%\"jG\"\"#F,F,)%\"qG,(*$F/F0\"\"%F+F0F0F,F,F,*&-F( 6%F+F.F,F,)F2,(F4F5\"\"$F,F+F0F,F,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,*F4 F5F0F,F+F,F/!\"#F,-%#T1G6%F*,&F/F0F-F,F,F,F,*&)F2,*F4F5F;F,F+F,F/F0F,- FD6%F*,&F/F0F0F,F,F,F,*&F=F,-%#T0G6%F+,&F/F0F,F,F,F,F,*&)F2,*F4F5F+F0F 0F,F/!\"%F,-FO6%F+FFF,F,F,*&)F2,*F4F5F+F,F0F,F/F0F,-FD6%F+FLF,F,F,*&)F 2,(F4F5F/F5F;F,F,-F(6%F*FQF,F,F,*&)F2,*F4F5F/F5F;F,F+F0F,FjnF,F-*&)F2, *F4F5F/F5F5F,F+F0F,-F(FPF,F-*&FhnF,FboF,F-*&)F2,*F4F5F/F5F0F,F+F0F,Fbo F,F-*&F@F,-FDFPF,F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a12: = eT1(14,a11);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a12G,B*&-%\"UG6%, &%\"nG\"\"\"!\"\"F,,$%\"jG\"\"#F,F,)%\"qG,(*$F/F0\"\"%F+F0F0F,F,F,*&-F (6%F+F.F,F,)F2,(F4F5\"\"$F,F+F0F,F,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,*F 4F5F0F,F+F,F/!\"#F,-%#T1G6%F*,&F/F0F-F,F,F,F,*&)F2,*F4F5F;F,F+F,F/F0F, -FD6%F*,&F/F0F0F,F,F,F,*&F=F,-%#T0G6%F+,&F/F0F,F,F,F,F,*&)F2,*F4F5F+F0 F0F,F/!\"%F,-FO6%F+FFF,F,F,*&)F2,*F4F5F+F,F0F,F/F0F,-FD6%F+FLF,F,F,*&) F2,(F4F5F/F5F;F,F,-F(6%F*FQF,F,F,*&)F2,*F4F5F/F5F;F,F+F0F,FjnF,F-*&)F2 ,*F4F5F/F5F5F,F+F0F,-F(FPF,F-*&FhnF,FboF,F-*&)F2,*F4F5F/F5F0F,F+F0F,Fb oF,F-*&F@F,-FDF[oF,F-*&F9F,-FOFKF,F-*&)F2,*F4F5F,F,F+F0F/FUF,-FOF)F,F- " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a13:= e0(4,a12);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a13G,F*&-%\"UG6%,&%\"nG\"\"\"!\"\"F ,,$%\"jG\"\"#F,F,)%\"qG,(*$F/F0\"\"%F+F0F0F,F,F,*&-F(6%F+F.F,F,)F2,(F4 F5\"\"$F,F+F0F,F,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,*F4F5F+F0F0F,F/!\"%F ,-%#T0G6%F*,&F/F0F-F,F,F,F,*&)F2,*F4F5F0F,F+F,F/!\"#F,-%#T1GF)F,F,*&F= F,-FDF)F,F-*&)F2,*F4F5F;F,F+F,F/F0F,-FL6%F*,&F/F0F0F,F,F,F,*&F=F,-FD6% F+,&F/F0F,F,F,F,F,*&F@F,-FD6%F+FFF,F,F,*&)F2,*F4F5F+F,F0F,F/F0F,-FL6%F +FTF,F,F,*&)F2,(F4F5F/F5F;F,F,-F(6%F*FXF,F,F,*&)F2,*F4F5F/F5F;F,F+F0F, F^oF,F-*&)F2,*F4F5F/F5F5F,F+F0F,-F(FWF,F-*&F\\oF,FfoF,F-*&)F2,*F4F5F/F 5F0F,F+F0F,FfoF,F-*&FHF,-FLF_oF,F-*&F9F,-FDFSF,F-*&)F2,*F4F5F,F,F+F0F/ FBF,FNF,F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a14:= e0(5,a1 3);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a14G,B*&-%\"UG6%,&%\"nG\"\" \"!\"\"F,,$%\"jG\"\"#F,F,)%\"qG,(*$F/F0\"\"%F+F0F0F,F,F,*&-F(6%F+F.F,F ,)F2,(F4F5\"\"$F,F+F0F,F,*&)F2,(F4F5F,F,F+F0F,F'F,F,*&)F2,*F4F5F+F0F0F ,F/!\"%F,-%#T0G6%F*,&F/F0F-F,F,F,F,*&F1F,-FD6%F*,&F/F0F,F,F,F,F-*&F=F, -FDF)F,F-*&)F2,*F4F5F;F,F+F,F/F0F,-%#T1G6%F*,&F/F0F0F,F,F,F,*&F=F,-FD6 %F+FJF,F,F,*&F@F,-FD6%F+FFF,F,F,*&)F2,*F4F5F+F,F0F,F/F0F,-FQ6%F+FSF,F, F,*&)F2,(F4F5F/F5F;F,F,-F(FIF,F,*&)F2,*F4F5F/F5F;F,F+F0F,F\\oF,F-*&)F2 ,*F4F5F/F5F5F,F+F0F,-F(FVF,F-*&FjnF,FcoF,F-*&)F2,*F4F5F/F5F0F,F+F0F,Fc oF,F-*&F9F,-FDFRF,F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "a15 := splitU(1,a14);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a15G,@*&)%\"qG ,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/* &-%\"UG6%F.F5F/F/)F(,(F*F-\"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F.F,F/-F8F2F/F /*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&F>F/F0F/F4*&)F(,* F*F-FF/-F16%F.,&F+F,F/F/F/F /F/*&FBF/-F16%F.FGF/F/F/*&)F(,*F*F-F.F/F,F/F+F,F/-FM6%F.FOF/F/F/*&)F(, (F*F-F+F-F " 0 "" {MPLTEXT 1 0 20 "a16:= \+ splitU(3,a15);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a16G,>*&)%\"qG,(* $%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&-% \"UG6%F.F5F/F/)F(,(F*F-\"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+ F,F/F/F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,*F *F-FF/-F16%F.FBF/F/F/*&FDF/ -F16%F.FIF/F/F/*&)F(,*F*F-F.F/F,F/F+F,F/-FN6%F.FPF/F/F/*&)F(,(F*F-F+F- F " 0 "" {MPLTEXT 1 0 18 "a17:= eU1(12,a16);" } }{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a17G,@*&)%\"qG,(*$%\"jG\"\"#\"\"%% \"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&-%\"UG6%F.F5F/F/)F( ,(F*F-\"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F( ,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,*F*F-FF/-F16%F.FBF/F/F/*&FDF/-F16%F.FIF/F/F/*& )F(,*F*F-F.F/F,F/F+F,F/-FN6%F.FPF/F/F/*&)F(,*F*F-F+F-F " 0 "" {MPLTEXT 1 0 17 "a18:= eT1(8,a17);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a18G,D*&)% \"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F /F/*&-%\"UG6%F.F5F/F/)F(,(F*F-\"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F.F,F/-F16 %F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/* &)F(,*F*F-FF/-F16%F.FBF/F/F /*&FDF/-F16%F.FIF/F/F/*&)F(,*F*F-F.F/F,F/F+F,F/FMF/F/*&)F(,*F*F-F+F-F- F/F.F,F/-F16%F3,&F+F,F " 0 "" {MPLTEXT 1 0 17 "a19:= e0(14, a18);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a19G,H*&)%\"qG,(*$%\"jG\" \"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&-%\"UG6%F. F5F/F/)F(,(F*F-\"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/ F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,*F*F-FF/-F16%F.FBF/F/F/*&FDF/-F16%F.F IF/F/F/*&)F(,*F*F-F.F/F,F/F+F,F/FMF/F/*&)F(,*F*F-F+F-F-F/F.F,F/-F16%F3 ,&F+F,FF/F0F/F4*&FXF/- FNFAF/F4*&FdoF/F@F/F/*&)F(,*F*F-F+\"\"'\"\"&F/F.F/F/-FNFhnF/F4*&FdoF/F boF/F4*&F:F/-F1FOF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a2 0:= e0(15,a19);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a20G,D*&)%\"qG,( *$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&- %\"UG6%F.F5F/F/)F(,(F*F-\"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F +F,F/F/F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,* F*F-FF/-F16%F.FBF/F/F/*&FDF /-F16%F.FIF/F/F/*&)F(,*F*F-F+F-F-F/F.F,F/-F16%F3,&F+F,FF/F0F/F4*&FhnF/-F1FOF/F/*&F^oF/F@F/F/*&)F(,*F*F-F+\"\"'\"\"&F /F.F/F/-FNFenF/F4*&F^oF/F\\oF/F4*&F:F/FboF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "a21:= splitU(11,a20);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a21G,B*&)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-% #T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&-%\"UG6%F.F5F/F/)F(,(F*F-\"\"$F/F.F,F /F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F.F,F,F/F+! \"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,*F*F-FF/-F16%F.FBF/F/F/*&FDF/-F16%F.FIF/F/F/*&)F(,*F*F-F+F-F-F/ F.F,F/-F16%F3,&F+F,FF/F0F/F4*&FhnF/F`oF/F/*& )F(,*F*F-F+\"\"'\"\"&F/F.F/F/-FNFenF/F4*&F^oF/F\\oF/F4*&F:F/F`oF/F4" } }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "a22:= splitU(9,a21);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a22G,@*&)%\"qG,(*$%\"jG\"\"#\"\"%% \"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&-%\"UG6%F.F5F/F/)F( ,(F*F-\"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F( ,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,*F*F-FF/-F16%F.FBF/F/F/*&FDF/-F16%F.FIF/F/F/*& )F(,*F*F-F+F-F-F/F.F,F/-F16%F3,&F+F,FF/F0F/F4*& )F(,*F*F-F+\"\"'\"\"&F/F.F/F/-FNFenF/F4*&F]oF/F[oF/F4*&F:F/F_oF/F4" }} }{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a23:= eT0(6,a22);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a23G,@*&)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F ,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&-%\"UG6%F.F5F/F/)F(,(F*F- \"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F- F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,*F*F-F " 0 "" {MPLTEXT 1 0 24 "a24:= shiftdown(13,a23);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a 24G,@*&)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/ ,$F+F,F/F/F/*&-%\"UG6%F.F5F/F/)F(,(F*F-\"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F .F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4 F/F/F/F/*&)F(,*F*F-F " 0 "" {MPLTEXT 1 0 23 "a25:= shiftdown(9,a24);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a25G,@*&)%\"qG,(*$%\"jG\"\"#\"\"%% \"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&-%\"UG6%F.F5F/F/)F( ,(F*F-\"\"$F/F.F,F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F( ,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,*F*F-F " 0 "" {MPLTEXT 1 0 20 "a26:= splitU(2,a25);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a26G,B* &)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F, F/F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/*&F7F/-F16%F.,&F+F,F/F/F/ F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3F?F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F1 6%F3,&F+F,F4F/F/F/F/*&)F(,*F*F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+F,F,F/F/F/F /*&)F(,*F*F-F,F/F.F9F+F,F/-FPFDF/F/*&)F(,*F*F-F9F/F.F-F+F-F/-F1FQF/F/* &FFF/-F16%F.FKF/F/F/*&)F(,*F*F-F+FHF-F/F.F,F/FCF/F/*&)F(,*F*F-F+F-F9F/ F.F,F/FCF/F4*&)F(,*F*F-F+F-F-F/F.F,F/-%\"UGF>F/F4*&)F(,*F*F-F+F-F,F/F. F,F/FZF/F4*&)F(,*F*F-F+!\"#F9F/F.F/F/FVF/F4*&FdoF/FaoF/F4*&F7F/FZF/F4 " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "a27:= splitU(12,a26);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a27G,D*&)%\"qG,(*$%\"jG\"\"#\"\"% %\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F. F,F/-F16%F.F5F/F/F/*&F7F/-F16%F.,&F+F,F/F/F/F/F/*&)F(,(F*F-F/F/F.F,F/- F16%F3F?F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(, *F*F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+F,F,F/F/F/F/*&)F(,*F*F-F,F/F.F9F+F,F/ -FPFDF/F/*&)F(,*F*F-F9F/F.F-F+F-F/-F1FQF/F/*&FFF/-F16%F.FKF/F/F/*&)F(, *F*F-F+FHF-F/F.F,F/FCF/F/*&)F(,*F*F-F+F-F9F/F.F,F/FCF/F4*&)F(,*F*F-F+F -F-F/F.F,F/F=F/F4*&F_oF/-F16%F.FRF/F/F4*&)F(,*F*F-F+F-F,F/F.F,F/FZF/F4 *&)F(,*F*F-F+!\"#F9F/F.F/F/FVF/F4*&FeoF/-%\"UGF>F/F4*&F7F/FZF/F4" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "a28:= splitU(16,a27);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a28G,F*&)%\"qG,(*$%\"jG\"\"#\"\"%% \"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F.F ,F/-F16%F.F5F/F/F/*&F7F/-F16%F.,&F+F,F/F/F/F/F/*&)F(,(F*F-F/F/F.F,F/-F 16%F3F?F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,* F*F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+F,F,F/F/F/F/*&)F(,*F*F-F,F/F.F9F+F,F/- FPFDF/F/*&)F(,*F*F-F9F/F.F-F+F-F/-F1FQF/F/*&FFF/-F16%F.FKF/F/F/*&)F(,* F*F-F+FHF-F/F.F,F/FCF/F/*&)F(,*F*F-F+F-F9F/F.F,F/FCF/F4*&)F(,*F*F-F+F- F-F/F.F,F/F=F/F4*&F_oF/-F16%F.FRF/F/F4*&)F(,*F*F-F+F-F,F/F.F,F/FZF/F4* &)F(,*F*F-F+!\"#F9F/F.F/F/FVF/F4*&FeoF/F=F/F4*&FeoF/FboF/F4*&F7F/FZF/F 4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "a29:=shiftdown(6,a28); " }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a29G,F*&)%\"qG,(*$%\"jG\"\"#\" \"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F /F.F,F/-F16%F.F5F/F/F/*&F7F/-F16%F.,&F+F,F/F/F/F/F/*&)F(,(F*F-F/F/F.F, F/-F16%F3F?F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&) F(,*F*F-F+!\"'\"\"&F/F.F/F/-%#T1GF2F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-FRFDF /F/*&)F(,*F*F-F9F/F.F-F+F-F/-F16%F3,&F+F,F,F/F/F/F/*&FFF/-F16%F.FKF/F/ F/*&)F(,*F*F-F+FHF-F/F.F,F/FCF/F/*&)F(,*F*F-F+F-F9F/F.F,F/FCF/F4*&)F(, *F*F-F+F-F-F/F.F,F/F=F/F4*&FaoF/-F16%F.FfnF/F/F4*&)F(,*F*F-F+F-F,F/F.F ,F/FZF/F4*&)F(,*F*F-F+!\"#F9F/F.F/F/FVF/F4*&FgoF/F=F/F4*&FgoF/FdoF/F4* &F7F/FZF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "a30:= shiftd own(8,a29);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a30G,F*&)%\"qG,(*$% \"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(, (F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/*&F7F/-F16%F.,&F+F,F/F/F/F/F/*&)F(,(F *F-F/F/F.F,F/-F16%F3F?F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4 F/F/F/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/-%#T1GF2F/F/*&)F(,*F*F-F,F/F.F9F +F,F/-FRFDF/F/*&)F(,*F*F-F+FHF9F/F.F-F/F0F/F/*&FFF/-F16%F.FKF/F/F/*&)F (,*F*F-F+FHF-F/F.F,F/FCF/F/*&)F(,*F*F-F+F-F9F/F.F,F/FCF/F4*&)F(,*F*F-F +F-F-F/F.F,F/F=F/F4*&F^oF/-F16%F.,&F+F,F,F/F/F/F4*&)F(,*F*F-F+F-F,F/F. F,F/-F16%F3FcoF/F/F4*&)F(,*F*F-F+!\"#F9F/F.F/F/FVF/F4*&FeoF/F=F/F4*&Fe oF/FaoF/F4*&F7F/FgoF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 24 " a31:= shiftdown(14,a30);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a31G,F* &)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F, F/F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/*&F7F/-F16%F.,&F+F,F/F/F/ F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3F?F/F/F/*&)F(,*F*F-F.F,F,F/F+!\"%F/-F1 6%F3,&F+F,F4F/F/F/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/-%#T1GF2F/F/*&)F(,*F *F-F,F/F.F9F+F,F/-FRFDF/F/*&)F(,*F*F-F+FHF9F/F.F-F/F0F/F/*&FFF/-F16%F. FKF/F/F/*&)F(,*F*F-F+FHF-F/F.F,F/FCF/F/*&)F(,*F*F-F+F-F9F/F.F,F/FCF/F4 *&)F(,*F*F-F+F-F-F/F.F,F/F=F/F4*&F^oF/-F16%F.,&F+F,F,F/F/F/F4*&FFF/F0F /F4*&)F(,*F*F-F+!\"#F9F/F.F/F/FVF/F4*&)F(,*F*F-F+F-F,F/F.F,F/F=F/F4*&F joF/FaoF/F4*&F7F/-F16%F3FcoF/F/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 24 "a32:= shiftdown(17,a31);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a32G,F*&)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-% #T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/ *&F7F/-F16%F.,&F+F,F/F/F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3F?F/F/F/*&)F( ,*F*F-F.F,F,F/F+!\"%F/-F16%F3,&F+F,F4F/F/F/F/*&)F(,*F*F-F+!\"'\"\"&F/F .F/F/-%#T1GF2F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-FRFDF/F/*&)F(,*F*F-F+FHF9F/ F.F-F/F0F/F/*&FFF/-F16%F.FKF/F/F/*&)F(,*F*F-F+FHF-F/F.F,F/FCF/F/*&)F(, *F*F-F+F-F9F/F.F,F/FCF/F4*&)F(,*F*F-F+F-F-F/F.F,F/F=F/F4*&F^oF/-F16%F. ,&F+F,F,F/F/F/F4*&FFF/F0F/F4*&)F(,*F*F-F+!\"#F9F/F.F/F/FVF/F4*&)F(,*F* F-F+F-F,F/F.F,F/F=F/F4*&FFF/F:F/F4*&F7F/-F16%F3FcoF/F/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "nops(a32);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"#=" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a33: = eT0(17,a32);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a33G,F*&)%\"qG,(* $%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F (,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/*&F7F/-F16%F.,&F+F,F/F/F/F/F/*&)F(, (F*F-F/F/F.F,F/-F16%F3F?F/F/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/-%#T1GF2F/ F/*&)F(,*F*F-F,F/F.F9F+F,F/-FKFDF/F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/* &)F(,*F*F-F.F,F,F/F+FSF/-F16%F.,&F+F,F4F/F/F/F/*&)F(,*F*F-F+FSF-F/F.F, F/FCF/F/*&)F(,*F*F-F+F-F9F/F.F,F/FCF/F4*&)F(,*F*F-F+F-F-F/F.F,F/F=F/F4 *&F[oF/-F16%F.,&F+F,F,F/F/F/F4*&FUF/F0F/F4*&)F(,*F*F-F+!\"#F9F/F.F/F/F OF/F4*&)F(,*F*F-F+F-F,F/F.F,F/F=F/F4*&)F(,*F*F-F.F9F,F/F+FeoF/FJF/F4*& )F(,(F*F-F.F-F,F/F/FCF/F4*&F7F/-F16%F3F`oF/F/F4" }}}{EXCHG {PARA 0 "> \+ " 0 "" {MPLTEXT 1 0 17 "a34:= sym(3,a33);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a34G,F*&)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-% #T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/ *&F7F/-F16%F.,&F+!\"#F4F/F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F /F/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/-%#T1GF2F/F/*&)F(,*F*F-F,F/F.F9F+F, F/-FMFEF/F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F.F,F,F/F+FUF/- F16%F.,&F+F,F4F/F/F/F/*&)F(,*F*F-F+FUF-F/F.F,F/FDF/F/*&)F(,*F*F-F+F-F9 F/F.F,F/FDF/F4*&)F(,*F*F-F+F-F-F/F.F,F/-F16%F.FFF/F/F4*&F]oF/-F16%F.,& F+F,F,F/F/F/F4*&FWF/F0F/F4*&)F(,*F*F-F+F@F9F/F.F/F/FQF/F4*&)F(,*F*F-F+ F-F,F/F.F,F/F_oF/F4*&)F(,*F*F-F.F9F,F/F+F@F/FLF/F4*&)F(,(F*F-F.F-F,F/F /FDF/F4*&F7F/-F16%F3FdoF/F/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a35:= eT0(3,a34);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a35G,J*& )%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F /F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/*&F7F/-F16%F3,&F+!\"#F@F/F /F/F/*&)F(,*F*F-F.F9F,F/F+F@F/-%#T1G6%F3,&F+F@F4F/F/F/F/*&)F(,*F*F-F/F /F.F-F+!\"%F/-F16%F3,$F+F@F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/ F/F/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/-FEF2F/F/*&)F(,*F*F-F,F/F.F9F+F,F/ -FEFSF/F/*&)F(,*F*F-F+FKF9F/F.F-F/F0F/F/*&)F(,*F*F-F.F,F,F/F+FKF/-F16% F.,&F+F,F4F/F/F/F/*&)F(,*F*F-F+FKF-F/F.F,F/FRF/F/*&)F(,*F*F-F+F-F9F/F. F,F/FRF/F4*&)F(,*F*F-F+F-F-F/F.F,F/-F16%F.FTF/F/F4*&FioF/-F16%F.,&F+F, F,F/F/F/F4*&F]oF/F0F/F4*&)F(,*F*F-F+F@F9F/F.F/F/FhnF/F4*&)F(,*F*F-F+F- F,F/F.F,F/F[pF/F4*&FBF/FZF/F4*&)F(,(F*F-F.F-F,F/F/FRF/F4*&F7F/-F16%F3F `pF/F/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a36:= sym(3,a35 );" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a36G,F*&)%\"qG,(*$%\"jG\"\"# \"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\" $F/F.F,F/-F16%F.F5F/F/F/*&)F(,*F*F-F.F9F,F/F+!\"#F/-%#T1G6%F3,&F+F?F4F /F/F/F/*&)F(,*F*F-F/F/F.F-F+!\"%F/-F16%F3,$F+F?F/F/F/*&)F(,(F*F-F/F/F. F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/-FAF2F/F/*&)F (,*F*F-F,F/F.F9F+F,F/-FAFOF/F/*&)F(,*F*F-F+FGF9F/F.F-F/F0F/F/*&)F(,*F* F-F.F,F,F/F+FGF/-F16%F.,&F+F,F4F/F/F/F/*&)F(,*F*F-F+FGF-F/F.F,F/FNF/F/ *&)F(,*F*F-F+F-F9F/F.F,F/FNF/F4*&)F(,*F*F-F+F-F-F/F.F,F/-F16%F.FPF/F/F 4*&FeoF/-F16%F.,&F+F,F,F/F/F/F4*&FinF/F0F/F4*&)F(,*F*F-F+F?F9F/F.F/F/F ZF/F4*&)F(,*F*F-F+F-F,F/F.F,F/FgoF/F4*&F=F/FVF/F4*&)F(,(F*F-F.F-F,F/F/ FNF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a37:= sym(9,a36); " }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a37G,F*&)%\"qG,(*$%\"jG\"\"#\" \"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F /F.F,F/-F16%F.F5F/F/F/*&)F(,*F*F-F.F9F,F/F+!\"#F/-%#T1G6%F3,&F+F?F4F/F /F/F/*&)F(,*F*F-F/F/F.F-F+!\"%F/-F16%F3,$F+F?F/F/F/*&)F(,(F*F-F/F/F.F, F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/-FAF2F/F/*&)F(, *F*F-F,F/F.F9F+F,F/-FAFOF/F/*&)F(,*F*F-F+FGF9F/F.F-F/F0F/F/*&)F(,*F*F- F.F,F,F/F+FGF/-F16%F.,&F+F?F/F/F/F/F/*&)F(,*F*F-F+FGF-F/F.F,F/FNF/F/*& )F(,*F*F-F+F-F9F/F.F,F/FNF/F4*&)F(,*F*F-F+F-F-F/F.F,F/-F16%F.FPF/F/F4* &FeoF/-F16%F.,&F+F,F,F/F/F/F4*&FinF/F0F/F4*&)F(,*F*F-F+F?F9F/F.F/F/FZF /F4*&)F(,*F*F-F+F-F,F/F.F,F/FgoF/F4*&F=F/FVF/F4*&)F(,(F*F-F.F-F,F/F/FN F/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "a38:=negate(9,a37); " }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a38G,B*&)%\"qG,(*$%\"jG\"\"#\" \"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F /F.F,F/-F16%F.F5F/F/F/*&)F(,*F*F-F.F9F,F/F+!\"#F/-%#T1G6%F3,&F+F?F4F/F /F/F/*&)F(,*F*F-F/F/F.F-F+!\"%F/-F16%F3,$F+F?F/F/F/*&)F(,(F*F-F/F/F.F, F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/-FAF2F/F/*&)F(, *F*F-F,F/F.F9F+F,F/-FAFOF/F/*&)F(,*F*F-F+FGF9F/F.F-F/F0F/F/*&)F(,*F*F- F+FGF-F/F.F,F/FNF/F/*&)F(,*F*F-F+F-F9F/F.F,F/FNF/F4*&)F(,*F*F-F+F-F-F/ F.F,F/-F16%F.FPF/F/F4*&F_oF/-F16%F.,&F+F,F,F/F/F/F4*&)F(,*F*F-F.F,F,F/ F+FGF/F0F/F4*&)F(,*F*F-F+F?F9F/F.F/F/FZF/F4*&F=F/FVF/F4*&)F(,(F*F-F.F- F,F/F/FNF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a39:=sym(3, a38);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a39G,B*&)%\"qG,(*$%\"jG\" \"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F- \"\"$F/F.F,F/-F16%F.F5F/F/F/*&)F(,*F*F-F.F9F,F/F+!\"#F/-%#T1G6%F3,&F+F ,F/F/F/F/F/*&)F(,*F*F-F/F/F.F-F+!\"%F/-F16%F3,$F+F?F/F/F/*&)F(,(F*F-F/ F/F.F,F/-F1FBF/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/-FAF2F/F/*&)F(,*F*F-F,F /F.F9F+F,F/F@F/F/*&)F(,*F*F-F+FGF9F/F.F-F/F0F/F/*&)F(,*F*F-F+FGF-F/F.F ,F/FNF/F/*&)F(,*F*F-F+F-F9F/F.F,F/FNF/F4*&)F(,*F*F-F+F-F-F/F.F,F/-F16% F.FCF/F/F4*&F\\oF/-F16%F.,&F+F,F,F/F/F/F4*&)F(,*F*F-F.F,F,F/F+FGF/F0F/ F4*&)F(,*F*F-F+F?F9F/F.F/F/F@F/F4*&F=F/FTF/F4*&)F(,(F*F-F.F-F,F/F/FNF/ F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a40:= e0(15,a39);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a40G,>*&)%\"qG,(*$%\"jG\"\"#\"\"%% \"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F.F ,F/-F16%F.F5F/F/F/*&)F(,*F*F-F/F/F.F-F+!\"%F/-F16%F3,$F+!\"#F/F/F/*&)F (,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F+!\"'\"\"&F/F.F/F/ -%#T1GF2F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-FPFHF/F/*&)F(,*F*F-F+F?F9F/F.F-F /F0F/F/*&)F(,*F*F-F+F?F-F/F.F,F/FGF/F/*&)F(,*F*F-F+F-F9F/F.F,F/FGF/F4* &)F(,*F*F-F+F-F-F/F.F,F/-F16%F.FIF/F/F4*&FinF/-F16%F.,&F+F,F,F/F/F/F4* &)F(,*F*F-F.F,F,F/F+F?F/F0F/F4*&)F(,*F*F-F+FCF9F/F.F/F/FTF/F4*&F=F/F0F /F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "a41:= shiftup(5,a40) ;" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a41G,>*&)%\"qG,(*$%\"jG\"\"#\" \"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F /F.F,F/-F16%F.F5F/F/F/*&)F(,*F*F-F/F/F.F-F+!\"%F/-F16%F3,$F+!\"#F/F/F/ *&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F9F/F.F/F+F,F/- %#T1G6%F3,&F+F,F,F/F/F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-FNFHF/F/*&)F(,*F*F- F+F?F9F/F.F-F/F0F/F/*&)F(,*F*F-F+F?F-F/F.F,F/FGF/F/*&)F(,*F*F-F+F-F9F/ F.F,F/FGF/F4*&)F(,*F*F-F+F-F-F/F.F,F/-F16%F.FIF/F/F4*&FinF/-F16%F.FPF/ F/F4*&)F(,*F*F-F.F,F,F/F+F?F/F0F/F4*&)F(,*F*F-F+FCF9F/F.F/F/FTF/F4*&F= F/F0F/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a42:= sym(3,a41 );" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a42G,:*&)%\"qG,(*$%\"jG\"\"# \"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\" $F/F.F,F/-F16%F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*& )F(,*F*F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+F,F,F/F/F/F/*&)F(,*F*F-F,F/F.F9F+ F,F/-FFF@F/F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F+FPF-F/F.F,F /F?F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F4*&)F(,*F*F-F+F-F-F/F.F,F/-F16%F. FAF/F/F4*&FXF/-F16%F.FHF/F/F4*&)F(,*F*F-F.F,F,F/F+FPF/F0F/F4*&)F(,*F*F -F+!\"#F9F/F.F/F/FLF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 " a43:= shiftdown(9,a42);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a43G,:*& )%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F /F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16% F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+F,F,F/F/F/F/* &)F(,*F*F-F,F/F.F9F+F,F/-FFF@F/F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F (,*F*F-F+FPF-F/F.F,F/F?F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F4*&FRF/-F16%F .,&F+F,F4F/F/F/F4*&)F(,*F*F-F+F-F-F/F.F,F/-F16%F.FHF/F/F4*&)F(,*F*F-F. F,F,F/F+FPF/F0F/F4*&)F(,*F*F-F+!\"#F9F/F.F/F/FLF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a44:= sym(4,a43);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a44G,:*&)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-% #T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/ *&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F9F/F.F/F+F,F/- %#T1G6%F3,&F+!\"#FIF/F/F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-FFF@F/F/*&)F(,*F* F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F+FQF-F/F.F,F/F?F/F/*&)F(,*F*F-F+F- F9F/F.F,F/F?F/F4*&FSF/-F16%F.,&F+F,F4F/F/F/F4*&)F(,*F*F-F+F-F-F/F.F,F/ -F16%F.,&F+F,F,F/F/F/F4*&)F(,*F*F-F.F,F,F/F+FQF/F0F/F4*&)F(,*F*F-F+FIF 9F/F.F/F/FMF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 24 "a45:= sh iftdown(10,a44);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a45G,:*&)%\"qG, (*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*& )F(,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F ,F/F/F/F/F/*&)F(,*F*F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+!\"#FIF/F/F/F/*&)F(, *F*F-F,F/F.F9F+F,F/-FFF@F/F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F* F-F+FQF-F/F.F,F/F?F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F4*&FSF/-F16%F.,&F+ F,F4F/F/F/F4*&FSF/F:F/F4*&)F(,*F*F-F.F,F,F/F+FQF/F0F/F4*&)F(,*F*F-F+FI F9F/F.F/F/FMF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a46:= s ym(10,a45);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a46G,:*&)%\"qG,(*$% \"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(, (F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F /F/F/F/*&)F(,*F*F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+!\"#FIF/F/F/F/*&)F(,*F*F -F,F/F.F9F+F,F/-FFF@F/F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F+ FQF-F/F.F,F/F?F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F4*&FSF/-F16%F.,&F+F,F4 F/F/F/F4*&FSF/-F16%F.,$F+FIF/F/F4*&)F(,*F*F-F.F,F,F/F+FQF/F0F/F4*&)F(, *F*F-F+FIF9F/F.F/F/FMF/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a47:= eT0(10,a46);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a47G,>*&) %\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/ F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16%F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F 3,&F+F,F/F/F/F/F/*&)F(,*F*F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+!\"#FIF/F/F/F/ *&)F(,*F*F-F,F/F.F9F+F,F/-FFF@F/F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&) F(,*F*F-F+FQF-F/F.F,F/F?F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F4*&FSF/-F16% F.,&F+F,F4F/F/F/F4*&FSF/-F16%F3,&F+FIF4F/F/F/F4*&)F(,*F*F-F+!\"'F-F/F. F9F/-FF6%F3,$F+FIF/F/F4*&)F(,*F*F-F+!\")F-F/F.F-F/-F16%F3,&F+FIF/F/F/F /F4*&)F(,*F*F-F.F,F,F/F+FQF/F0F/F4*&)F(,*F*F-F+FIF9F/F.F/F/FMF/F4" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a48:= sym(10,a47);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a48G,:*&)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F ,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16 %F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F9F/ F.F/F+F,F/-%#T1G6%F3,&F+!\"#FIF/F/F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-FFF@F/ F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F4*&)F (,*F*F-F+FQF-F/F.F,F/-F16%F.,&F+F,F4F/F/F/F4*&)F(,*F*F-F+!\"'F-F/F.F9F /-FF6%F3,$F+FIF/F/F4*&)F(,*F*F-F+!\")F-F/F.F-F/-F16%F3,&F+FIF/F/F/F/F4 *&)F(,*F*F-F.F,F,F/F+FQF/F0F/F4*&)F(,*F*F-F+FIF9F/F.F/F/FMF/F4" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "a49:= sym(12,a48);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a49G,:*&)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F ,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16 %F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F9F/ F.F/F+F,F/-%#T1G6%F3,&F+!\"#FIF/F/F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-FFF@F/ F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F4*&)F (,*F*F-F+FQF-F/F.F,F/-F16%F.,&F+F,F4F/F/F/F4*&)F(,*F*F-F+!\"'F-F/F.F9F /-FF6%F3,$F+FIF/F/F4*&)F(,*F*F-F+!\")F-F/F.F-F/-F16%F3,&F+FIF/F/F/F/F4 *&)F(,*F*F-F.F,F,F/F+FQF/F0F/F4*&)F(,*F*F-F+FIF9F/F.F/F/-FF6%F3,&F+FIF 4F/F/F/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "a50:= negate(1 2,a49);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a50G,:*&)%\"qG,(*$%\"jG \"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F -\"\"$F/F.F,F/-F16%F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F /F/*&)F(,*F*F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+!\"#FIF/F/F/F/*&)F(,*F*F-F,F /F.F9F+F,F/-FFF@F/F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F+F-F9 F/F.F,F/F?F/F4*&)F(,*F*F-F+FQF-F/F.F,F/-F16%F.,&F+F,F4F/F/F/F4*&)F(,*F *F-F+!\"'F-F/F.F9F/-FF6%F3,$F+FIF/F/F4*&)F(,*F*F-F+!\")F-F/F.F-F/-F16% F3,&F+FIF/F/F/F/F4*&)F(,*F*F-F.F,F,F/F+FQF/F0F/F4*&FCF/-FF6%F3FZF/F/F4 " }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a51:= sym(4,a50);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a51G,:*&)%\"qG,(*$%\"jG\"\"#\"\"%% \"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F.F ,F/-F16%F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F *F-F9F/F.F/F+F,F/-%#T1G6%F3,&F+F,F,F/F/F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-F FF@F/F/*&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F 4*&)F(,*F*F-F+FPF-F/F.F,F/-F16%F.,&F+F,F4F/F/F/F4*&)F(,*F*F-F+!\"'F-F/ F.F9F/-FF6%F3,$F+!\"#F/F/F4*&)F(,*F*F-F+!\")F-F/F.F-F/-F16%F3,&F+F[oF/ F/F/F/F4*&)F(,*F*F-F.F,F,F/F+FPF/F0F/F4*&FCF/-FF6%F3FYF/F/F4" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a52:= e0(12,a51);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a52G,>*&)%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F ,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,(F*F-\"\"$F/F.F,F/-F16 %F.F5F/F/F/*&)F(,(F*F-F/F/F.F,F/-F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-F9F/ F.F/F+F,F/-%#T1G6%F3,&F+F,F,F/F/F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-FFF@F/F/ *&)F(,*F*F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F4*&)F(, *F*F-F+FPF-F/F.F,F/-F16%F.,&F+F,F4F/F/F/F4*&)F(,*F*F-F+!\"'F-F/F.F9F/- FF6%F3,$F+!\"#F/F/F4*&)F(,*F*F-F+!\")F-F/F.F-F/-F16%F3,&F+F[oF/F/F/F/F 4*&)F(,*F*F-F.F,F,F/F+FPF/F0F/F4*&F7F/-F16%F3FYF/F/F4*&FCF/-FFF2F/F4*& )F(,*F*F-F+F-F,F/F.F,F/F0F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a53:= eT0(2,a52);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a53G,>*& )%\"qG,(*$%\"jG\"\"#\"\"%%\"nGF,F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F /F/F/*&)F(,*F*F-\"\"$F/F.F9F+F,F/-%#T1GF2F/F/*&)F(,*F*F-F9F/F.F-F+F-F/ -F16%F3,&F+F,F/F/F/F/F/*&)F(,(F*F-F/F/F.F,F/F?F/F/*&)F(,*F*F-F9F/F.F/F +F,F/-F;6%F3,&F+F,F,F/F/F/F/*&)F(,*F*F-F,F/F.F9F+F,F/-F;F@F/F/*&)F(,*F *F-F+!\"%F9F/F.F-F/F0F/F/*&)F(,*F*F-F+F-F9F/F.F,F/F?F/F4*&)F(,*F*F-F+F RF-F/F.F,F/-F16%F.,&F+F,F4F/F/F/F4*&)F(,*F*F-F+!\"'F-F/F.F9F/-F;6%F3,$ F+!\"#F/F/F4*&)F(,*F*F-F+!\")F-F/F.F-F/-F16%F3,&F+F]oF/F/F/F/F4*&)F(,* F*F-F.F,F,F/F+FRF/F0F/F4*&FFF/F:F/F4*&)F(,*F*F-F+F-F,F/F.F,F/F0F/F/" } }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a54:= e0(13,a53);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a54G,:*&)%\"qG,**$%\"jG\"\"#\"\"%\" \"$\"\"\"%\"nGF.F+F,F/-%#T1G6%,&F0F/!\"\"F/,$F+F,F/F/F/*&)F(,*F*F-F.F/ F0F-F+F-F/-%#T0G6%F4,&F+F,F/F/F/F/F/*&)F(,(F*F-F/F/F0F,F/F:F/F/*&)F(,* F*F-F.F/F0F/F+F,F/-F26%F4,&F+F,F,F/F/F/F/*&)F(,*F*F-F,F/F0F.F+F,F/-F2F " 0 "" {MPLTEXT 1 0 17 "a55:= e0(11,a54);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a55G,6*&)%\"qG,**$%\"jG\"\"#\"\"%\"\"$\"\"\"%\"nGF.F +F,F/-%#T1G6%,&F0F/!\"\"F/,$F+F,F/F/F/*&)F(,*F*F-F.F/F0F-F+F-F/-%#T0G6 %F4,&F+F,F/F/F/F/F/*&)F(,*F*F-F,F/F0F.F+F,F/-F2F " 0 "" {MPLTEXT 1 0 20 "a56:= negate(5,a55);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a56G,6*&)%\"qG,**$%\"jG\"\"#\"\"%\" \"$\"\"\"%\"nGF.F+F,F/-%#T1G6%,&F0F/!\"\"F/,$F+F,F/F/F/*&)F(,*F*F-F.F/ F0F-F+F-F/-%#T0G6%F4,&F+F,F/F/F/F/F/*&)F(,*F*F-F,F/F0F.F+F,F/-F2F " 0 "" {MPLTEXT 1 0 17 "a57:= eT0(5,a56);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a57G,:*&)%\"qG,**$%\"jG\"\"#\"\"%\"\"$\" \"\"%\"nGF.F+F,F/-%#T1G6%,&F0F/!\"\"F/,$F+F,F/F/F/*&)F(,*F*F-F.F/F0F-F +F-F/-%#T0G6%F4,&F+F,F/F/F/F/F/*&)F(,*F*F-F,F/F0F.F+F,F/-F2F \+ " 0 "" {MPLTEXT 1 0 17 "a58:= sym(5,a57);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a58G,6*&)%\"qG,**$%\"jG\"\"#\"\"%\"\"$\"\"\"%\"nGF.F +F,F/-%#T1G6%,&F0F/!\"\"F/,$F+F,F/F/F/*&)F(,*F*F-F.F/F0F-F+F-F/-%#T0G6 %F4,&F+F,F/F/F/F/F/*&)F(,*F*F-F,F/F0F.F+F,F/-F2F " 0 "" {MPLTEXT 1 0 20 "a59:=shiftup(7,a58);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a59G, 6*&)%\"qG,**$%\"jG\"\"#\"\"%\"\"$\"\"\"%\"nGF.F+F,F/-%#T1G6%,&F0F/!\" \"F/,$F+F,F/F/F/*&)F(,*F*F-F.F/F0F-F+F-F/-%#T0G6%F4,&F+F,F/F/F/F/F/*&) F(,*F*F-F,F/F0F.F+F,F/-F2F " 0 "" {MPLTEXT 1 0 17 "a60:= sym(7,a59);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a60G,6*&)%\"qG,**$%\"jG\"\"#\"\"%\" \"$\"\"\"%\"nGF.F+F,F/-%#T1G6%,&F0F/!\"\"F/,$F+F,F/F/F/*&)F(,*F*F-F.F/ F0F-F+F-F/-%#T0G6%F4,&F+F,F/F/F/F/F/*&)F(,*F*F-F,F/F0F.F+F,F/-F2F " 0 "" {MPLTEXT 1 0 16 "a61:= e0(3,a60);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#> %$a61G,6*&)%\"qG,**$%\"jG\"\"#\"\"%\"\"$\"\"\"%\"nGF.F+F,F/-%#T1G6%,&F 0F/!\"\"F/,$F+F,F/F/F/*&)F(,*F*F-F.F/F0F-F+F-F/-%#T0G6%F4,&F+F,F/F/F/F /F/*&)F(,&F*F-F0F-F/F:F/F/*&F8F/-F;6%F4,&F+F,F,F/F/F/F5*&)F(,*F*F-F+! \"%F.F/F0F-F/-F;F3F/F/*&F'F/-F26%F4,&F+!\"#F5F/F/F/F5*&)F(,(F*F-F0F-F, F/F/-F;6%F4,$F+FNF/F/F5*&)F(,*F*F-F+!\")F-F/F0F-F/-F;6%F4,&F+FNF/F/F/F /F5*&)F(,*F*F-F0F,F,F/F+FHF/FIF/F5*&)F(,*F*F-F+F-F,F/F0F,F/FIF/F/" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a62:= sym(6,a61);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a62G,6*&)%\"qG,**$%\"jG\"\"#\"\"%\"\"$\" \"\"%\"nGF.F+F,F/-%#T1G6%,&F0F/!\"\"F/,$F+F,F/F/F/*&)F(,*F*F-F.F/F0F-F +F-F/-%#T0G6%F4,&F+F,F/F/F/F/F/*&)F(,&F*F-F0F-F/F:F/F/*&F8F/-F;6%F4,&F +F,F,F/F/F/F5*&)F(,*F*F-F+!\"%F.F/F0F-F/-F;F3F/F/*&F'F/-F2F " 0 "" {MPLTEXT 1 0 16 "a63:= e0(1,a62) ;" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a63G,2*&)%\"qG,(*$%\"jG\"\"#\" \"%%\"nGF-F,\"\"\"F/-%#T0G6%,&F.F/!\"\"F/,$F+F,F/F/F/*&)F(,&F*F-F.F-F/ -F16%F3,&F+F,F/F/F/F/F/*&)F(,*F*F-\"\"$F/F.F-F+F-F/-F16%F3,&F+F,F,F/F/ F/F4*&)F(,*F*F-F+!\"%F?F/F.F-F/F0F/F/*&F'F/-F16%F3,$F+!\"#F/F/F4*&)F(, *F*F-F+!\")F-F/F.F-F/-F16%F3,&F+FKF/F/F/F/F4*&)F(,*F*F-F.F,F,F/F+FFF/F 0F/F4*&)F(,*F*F-F+F-F,F/F.F,F/F0F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a64:= sym(1,a63);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6# >%$a64G,.*&)%\"qG,&*$%\"jG\"\"#\"\"%%\"nGF-\"\"\"-%#T0G6%,&F.F/!\"\"F/ ,&F+F,F/F/F/F/F/*&)F(,*F*F-\"\"$F/F.F-F+F-F/-F16%F3,&F+F,F,F/F/F/F4*&) F(,*F*F-F+!\"%F9F/F.F-F/-F16%F3,$F+F,F/F/F/*&)F(,*F*F-F+!\")F-F/F.F-F/ -F16%F3,&F+!\"#F/F/F/F/F4*&)F(,*F*F-F.F,F,F/F+F@F/FAF/F4*&)F(,*F*F-F+F -F,F/F.F,F/FAF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "a65:= \+ shiftdown(2,a64);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a65G,**&)%\"qG ,&*$%\"jG\"\"#\"\"%%\"nGF-\"\"\"-%#T0G6%,&F.F/!\"\"F/,&F+F,F/F/F/F/F/* &)F(,*F*F-F+!\")F-F/F.F-F/-F16%F3,&F+!\"#F/F/F/F/F4*&)F(,*F*F-F.F,F,F/ F+!\"%F/-F16%F3,$F+F,F/F/F4*&)F(,*F*F-F+F-F,F/F.F,F/FBF/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "a66:= negate(3,a65);" }}{PARA 12 " " 1 "" {XPPMATH 20 "6#>%$a66G,**&)%\"qG,&*$%\"jG\"\"#\"\"%%\"nGF-\"\" \"-%#T0G6%,&F.F/!\"\"F/,&F+F,F/F/F/F/F/*&)F(,*F*F-F+!\")F-F/F.F-F/-F16 %F3,&F+!\"#F/F/F/F/F4*&)F(,*F*F-F+F-F,F/F.F,F/-F16%F3,$F+F=F/F/F4*&F?F /-F16%F3,$F+F,F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a67 := sym(3,a66);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$a67G,&*&)%\"qG,&* $%\"jG\"\"#\"\"%%\"nGF-\"\"\"-%#T0G6%,&F.F/!\"\"F/,&F+F,F/F/F/F/F/*&)F (,*F*F-F+!\")F-F/F.F-F/-F16%F3,&F+!\"#F/F/F/F/F4" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "a68:= shiftup(2,a67);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$a68G,&*&)%\"qG,&*$%\"jG\"\"#\"\"%%\"nGF-\"\"\"-%#T0G 6%,&F.F/!\"\"F/,&F+F,F/F/F/F/F/*&F'F/-F16%F3,&F+!\"#F4F/F/F/F4" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "a69:= sym(2,a68);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$a69G\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "1 1 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }