{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 15 "########## 3.22" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 87 "op1:=annihiloper( q^(j^2+j) \+ * qfac(-q,q,j) / qfac(q,q^2,j+1) / spqfac(q,q,j), 0, back);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$op1G,*\"\"\"F&*$%\"NG!\"\"F)*&,&%\"qGF&)F ,%\"nGF&F&F(!\"#F)*&,&F,F)F-F&F&F(!\"$F)" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "altsign := true:" }}}{EXCHG {PARA 11 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 60 "A:=applyshiftop(o p1, q^(3*j^2 + 2*j) * T1(n+1, 3*j+1, 1/2));" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%\"AG,.*&)%\"qG,(*$%\"jG\"\"#\"\"$F+F,\"\"\"F.F.-%#T1G 6%,&%\"nGF.!\"#F.,&F+F-F.F.#F.F,F.F.*&)F(,(F*F-F+F,F3F.F.F/F.!\"\"*&F' F.-F06%,&F3F.F:F.F5F6F.F:*&F8F.F " 0 "" {MPLTEXT 1 0 13 "A2:=eT1(1,A);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A2G,.*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"(F ,%\"nG#\"\"\"F,F2F2F2-%#T0G6%F0,&F+F-F,F2F1F2F2*&)F(,(F*F-F+F1F0F1F2-F 46%F0,$F+F-F1F2F2*&)F(,(F*F-F+F,F2F2F2-%#T1G6%,&F0F2!\"\"F2,&F+F-F2F2F 1F2FD*&)F(,(F*F-F+F,F0F2F2F@F2FD*&FGF2-FA6%,&F0F2!\"#F2FEF1F2FD*&F>F2F JF2F2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "A3:=eT1(3,A2);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A3G,.*&)%\"qG,**$%\"jG\"\"#\"\"$F+# \"\"(F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%F0,&F+F-F,F2F1F2F2*&)F(,(F*F-F+F1F0 F1F2-F46%F0,$F+F-F1F2F2*&F'F2-F46%,&F0F2!\"#F2F6F1F2!\"\"*&F8F2-F46%F@ F " 0 "" {MPLTEXT 1 0 16 "A4 := eT0 (1,A3);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A4G,2*&)%\"qG,**$%\"jG\" \"#\"\"$F+#\"\"(F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\"\"F2,&F+F-F2F2F 1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-%#T1G6%F6,&F+F-F,F2F1F2F2*&)F(,*F*F- F+#\"#8F,F0#F-F,F-F2F2-F46%F6,&F+F-F-F2F1F2F2*&)F(,(F*F-F+F1F0F1F2-F46 %F0,$F+F-F1F2F2*&F'F2-F46%,&F0F2!\"#F2F@F1F2F7*&FKF2-F46%FSFOF1F2F7*&) F(,(F*F-F+F,F0F2F2-F>F5F2F7*&FYF2-F>6%FSF8F1F2F7" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A5 := eT0(4,A4);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A5G,6*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"(F,%\"nG#\"\" \"F,F2F2F2-%#T0G6%,&F0F2!\"\"F2,&F+F-F2F2F1F2F2*&)F(,*F*F-F+\"\"&F0F2F ,F2F2-%#T1G6%F6,&F+F-F,F2F1F2F2*&)F(,*F*F-F+#\"#8F,F0#F-F,F-F2F2-F46%F 6,&F+F-F-F2F1F2F2*&)F(,(F*F-F+F1F0F1F2-F46%F6,&F+F-F7F2F1F2F2*&)F(,(F* F-F+F,F0F2F2-F>6%F6,$F+F-F1F2F2*&)F(,(F*F-F+F.F0FFF2F3F2F2*&F'F2-F46%, &F0F2!\"#F2F@F1F2F7*&FKF2-F46%FfnFUF1F2F7*&FQF2-F>F5F2F7*&FQF2-F>6%Ffn F8F1F2F7" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A6 := eT1(9,A5) ;" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A6G,8*&)%\"qG,**$%\"jG\"\"#\" \"$F+#\"\"(F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\"\"F2,&F+F-F2F2F1F2F2 *&)F(,*F*F-F+\"\"&F0F2F,F2F2-%#T1G6%F6,&F+F-F,F2F1F2F2*&)F(,*F*F-F+#\" #8F,F0#F-F,F-F2F2-F46%F6,&F+F-F-F2F1F2F2*&)F(,(F*F-F+F1F0F1F2-F46%F6,& F+F-F7F2F1F2F2*&)F(,(F*F-F+F,F0F2F2-F>6%F6,$F+F-F1F2F2*&)F(,(F*F-F+F.F 0FFF2F3F2F2*&F'F2-F46%,&F0F2!\"#F2F@F1F2F7*&FKF2-F46%FfnFUF1F2F7*&FQF2 -F>6%FfnF8F1F2Fgn*&FWF2FZF2F7*&)F(,*F*F-F+F1F0FFF7F2F2FinF2F7" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 9 "nops(A6);" }}{PARA 11 "" 1 " " {XPPMATH 20 "6#\"#6" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A7 := sym(1,A6);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A7G,8*&)%\"qG,**$ %\"jG\"\"#\"\"$F+#\"\"(F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\"\"F2,&F+ !\"$F7F2F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-%#T1G6%F6,&F+F-F,F2F1F2F2*& )F(,*F*F-F+#\"#8F,F0#F-F,F-F2F2-F46%F6,&F+F-F-F2F1F2F2*&)F(,(F*F-F+F1F 0F1F2-F46%F6,&F+F-F7F2F1F2F2*&)F(,(F*F-F+F,F0F2F2-F?6%F6,$F+F-F1F2F2*& )F(,(F*F-F+F.F0FGF2-F46%F6,&F+F-F2F2F1F2F2*&F'F2-F46%,&F0F2!\"#F2FAF1F 2F7*&FLF2-F46%FjnFVF1F2F7*&FRF2-F?6%FjnFfnF1F2F[o*&FXF2FhnF2F7*&)F(,*F *F-F+F1F0FGF7F2F2F]oF2F7" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A8:=shiftdown(3,A7);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A8G,8*&)% \"qG,**$%\"jG\"\"#\"\"$F+#\"\"(F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\" \"F2,&F+!\"$F7F2F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-%#T1G6%F6,&F+F-F,F2 F1F2F2*&)F(,*F*F-F+F1#F7F,F2F0#F-F,F2-F46%F6,$F+F-F1F2F7*&)F(,(F*F-F+F 1F0F1F2-F46%F6,&F+F-F7F2F1F2F2*&)F(,(F*F-F+F,F0F2F2-F?FHF2F2*&)F(,(F*F -F+F.F0FFF2-F46%F6,&F+F-F2F2F1F2F2*&F'F2-F46%,&F0F2!\"#F2FAF1F2F7*&FKF 2-F46%FgnFIF1F2F7*&FQF2-F?6%FgnFYF1F2Fhn*&FUF2FenF2F7*&)F(,*F*F-F+F1F0 FFF7F2F2FjnF2F7" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 44 "#expand( 3*(j-1)^2 + 13/2*(j-1) + 3/2*n + 3);" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "A9:=sym(4,A8);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%# A9G,8*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"(F,%\"nG#\"\"\"F,F2F2F2-%#T0G6% ,&F0F2!\"\"F2,&F+!\"$F7F2F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-%#T1G6%F6, &F+F-F,F2F1F2F2*&)F(,*F*F-F+F1#F7F,F2F0#F-F,F2-F46%F6,$F+F-F1F2F7*&)F( ,(F*F-F+F1F0F1F2-F46%F6,&F+F9F2F2F1F2F2*&)F(,(F*F-F+F,F0F2F2-F?FHF2F2* &)F(,(F*F-F+F.F0FFF2-F46%F6,&F+F-F2F2F1F2F2*&F'F2-F46%,&F0F2!\"#F2FAF1 F2F7*&FKF2-F46%FgnFIF1F2F7*&FQF2-F?6%FgnFYF1F2Fhn*&FUF2FenF2F7*&)F(,*F *F-F+F1F0FFF7F2F2FjnF2F7" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A10 := eT0(1,A9);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A10G,<*&)%\"q G,**$%\"jG\"\"#\"\"$F+#\"\"(F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\"#F2 ,&F+!\"$F7F2F1F2F2*&)F(,(F*F-F+F,F0F2F2-%#T1G6%F6,&F+F9!\"\"F2F1F2F2*& )F(,*F*F-F+F1F0#F-F,FAF2F2-F46%F6,$F+F9F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F 2F2-F>6%,&F0F2FAF2,&F+F-F,F2F1F2F2*&)F(,*F*F-F+F1#FAF,F2F0FEF2-F46%FO, $F+F-F1F2FA*&)F(,(F*F-F+F1F0F1F2-F46%FO,&F+F9F2F2F1F2F2*&F;F2-F>FVF2F2 *&)F(,(F*F-F+F.F0FEF2-F46%FO,&F+F-F2F2F1F2F2*&F'F2-F46%F6FPF1F2FA*&FYF 2-F46%F6FWF1F2FA*&F;F2-F>6%F6F_oF1F2F7*&F[oF2FaoF2FA*&FCF2FdoF2FA" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A11 := eT1(4,A10);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A11G,@*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"( F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\"#F2,&F+!\"$F7F2F1F2F2*&)F(,(F*F -F+F,F0F2F2-%#T1G6%F6,&F+F9!\"\"F2F1F2F2*&)F(,*F*F-F+F1F0#F-F,FAF2F2-F 46%F6,$F+F9F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-F>6%F6,&F+F-F,F2F1F2F2*& )F(,*F*F-F+#\"#8F,F0FE#FLF,F2F2-F46%F6,&F+F-F-F2F1F2F2*&)F(,*F*F-F+F.F 0FEF1F2F2-F46%F6,&F+F-F2F2F1F2F2*&)F(,*F*F-F+F1#FAF,F2F0FEF2-F46%,&F0F 2FAF2,$F+F-F1F2FA*&)F(,(F*F-F+F1F0F1F2-F46%F_o,&F+F9F2F2F1F2F2*&F;F2-F >F^oF2F2*&)F(,(F*F-F+F.F0FEF2-F46%F_oFhnF1F2F2*&F'F2-F4FNF2FA*&FboF2-F 46%F6F`oF1F2FA*&F;F2-F>FgnF2F7*&FjoF2F_pF2FA*&FCF2FapF2FA" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A12:= eT0(7,A11);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A12G,D*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"(F,%\"nG# \"\"\"F,F2F2F2-%#T0G6%,&F0F2!\"#F2,&F+!\"$F7F2F1F2F2*&)F(,(F*F-F+F,F0F 2F2-%#T1G6%F6,&F+F9!\"\"F2F1F2F2*&)F(,*F*F-F+F1F0#F-F,FAF2F2-F46%F6,$F +F9F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-F>6%F6,&F+F-F,F2F1F2F2*&)F(,*F*F -F+#\"#8F,F0FE#FLF,F2F2-F46%F6,&F+F-F-F2F1F2F2*&)F(,*F*F-F+F.F0FEF1F2F 2-F46%F6,&F+F-F2F2F1F2F2*&)F(,*F*F-F+F1#FAF,F2F0FEF2-F46%F6,&F+F-FAF2F 1F2FA*&)F(,*F*F-F+F,FAF2F0F,F2-F>6%F6,$F+F-F1F2FA*&)F(,*F*F-F+F.#F9F,F 2F0FUF2FfnF2FA*&)F(,(F*F-F+F1F0F1F2-F46%,&F0F2FAF2,&F+F9F2F2F1F2F2*&F; F2-F>6%F_pFeoF1F2F2*&)F(,(F*F-F+F.F0FEF2-F46%F_pFhnF1F2F2*&F'F2-F4FNF2 FA*&F[pF2-F4FdoF2FA*&F;F2-F>FgnF2F7*&FepF2FjpF2FA*&FCF2F\\qF2FA" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A13:= eT0(10,A12);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A13G,H*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"( F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\"#F2,&F+!\"$F7F2F1F2F2*&)F(,(F*F -F+F,F0F2F2-%#T1G6%F6,&F+F9!\"\"F2F1F2F2*&)F(,*F*F-F+F1F0#F-F,FAF2F2-F 46%F6,$F+F9F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-F>6%F6,&F+F-F,F2F1F2F2*& )F(,*F*F-F+#\"#8F,F0FE#FLF,F2F2-F46%F6,&F+F-F-F2F1F2F2*&)F(,*F*F-F+F.F 0FEF1F2F2-F46%F6,&F+F-F2F2F1F2F2*&)F(,*F*F-F+F1#FAF,F2F0FEF2-F46%F6,&F +F-FAF2F1F2FA*&)F(,*F*F-F+F,FAF2F0F,F2-F>6%F6,$F+F-F1F2FA*&)F(,*F*F-F+ F.#F9F,F2F0FUF2FfnF2FA*&)F(,(F*F-F+F1F0F1F2FFF2F2*&)F(,(F*F-F+FAF0F2F2 -F>6%F6,&F+F9F2F2F1F2F2*&)F(,(F*F-F+#!\"&F,F0FEF2-F46%F6,&F+F9F,F2F1F2 F2*&F;F2-F>6%,&F0F2FAF2FeoF1F2F2*&)F(,(F*F-F+F.F0FEF2-F46%F^qFhnF1F2F2 *&F'F2-F4FNF2FA*&F[pF2-F4FdoF2FA*&F;F2-F>FgnF2F7*&F`qF2FeqF2FA*&FCF2Fg qF2FA" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A14:=eT1(13,A13); " }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A14G,H*&)%\"qG,**$%\"jG\"\"#\" \"$F+#\"\"(F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\"#F2,&F+!\"$F7F2F1F2F 2*&)F(,(F*F-F+F,F0F2F2-%#T1G6%F6,&F+F9!\"\"F2F1F2F2*&)F(,*F*F-F+F1F0#F -F,FAF2F2-F46%F6,$F+F9F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-F>6%F6,&F+F-F ,F2F1F2F2*&)F(,*F*F-F+#\"#8F,F0FE#FLF,F2F2-F46%F6,&F+F-F-F2F1F2F2*&)F( ,*F*F-F+F.F0FEF1F2F2-F46%F6,&F+F-F2F2F1F2F2*&)F(,*F*F-F+F,FAF2F0F,F2-F >6%F6,$F+F-F1F2FA*&)F(,*F*F-F+F.#F9F,F2F0FUF2FfnF2FA*&)F(,(F*F-F+F1F0F 1F2FFF2F2*&)F(,(F*F-F+FAF0F2F2-F>6%F6,&F+F9F2F2F1F2F2*&)F(,(F*F-F+#!\" &F,F0FEF2-F46%F6,&F+F9F,F2F1F2F2*&F;F2F\\oF2F2*&)F(,*F*F-F+F.F0FE#FAF, F2F2FfnF2F2*&)F(,(F*F-F+F.F0FEF2-F46%,&F0F2FAF2FhnF1F2F2*&F'F2-F4FNF2F A*&FdoF2-F4F]oF2FA*&F;F2-F>FgnF2F7*&FjpF2F`qF2FA*&FCF2FbqF2FA" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A15:=sym(14,A14);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A15G,H*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"( F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\"#F2,&F+!\"$F7F2F1F2F2*&)F(,(F*F -F+F,F0F2F2-%#T1G6%F6,&F+F9!\"\"F2F1F2F2*&)F(,*F*F-F+F1F0#F-F,FAF2F2-F 46%F6,$F+F9F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-F>6%F6,&F+F-F,F2F1F2F2*& )F(,*F*F-F+#\"#8F,F0FE#FLF,F2F2-F46%F6,&F+F-F-F2F1F2F2*&)F(,*F*F-F+F.F 0FEF1F2F2-F46%F6,&F+F-F2F2F1F2F2*&)F(,*F*F-F+F,FAF2F0F,F2-F>6%F6,$F+F- F1F2FA*&)F(,*F*F-F+F.#F9F,F2F0FUF2FfnF2FA*&)F(,(F*F-F+F1F0F1F2FFF2F2*& )F(,(F*F-F+FAF0F2F2-F>6%F6,&F+F9F2F2F1F2F2*&)F(,(F*F-F+#!\"&F,F0FEF2-F 46%F6,&F+F9F,F2F1F2F2*&F;F2F\\oF2F2*&)F(,*F*F-F+F.F0FE#FAF,F2F2FfnF2F2 *&)F(,(F*F-F+F.F0FEF2-F46%,&F0F2FAF2F@F1F2F2*&F'F2-F4FNF2FA*&FdoF2-F4F ]oF2FA*&F;F2-F>FgnF2F7*&FjpF2F`qF2FA*&FCF2FbqF2FA" }}}{EXCHG {PARA 0 " > " 0 "" {MPLTEXT 1 0 17 "A16:=eT0(14,A15);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A16G,L*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"(F,%\"nG#\" \"\"F,F2F2F2-%#T0G6%,&F0F2!\"#F2,&F+!\"$F7F2F1F2F2*&)F(,(F*F-F+F,F0F2F 2-%#T1G6%F6,&F+F9!\"\"F2F1F2F2*&)F(,*F*F-F+F1F0#F-F,FAF2F2-F46%F6,$F+F 9F1F2F2*&)F(,*F*F-F+\"\"&F0F2F,F2F2-F>6%F6,&F+F-F,F2F1F2F2*&)F(,*F*F-F +#\"#8F,F0FE#FLF,F2F2-F46%F6,&F+F-F-F2F1F2F2*&)F(,*F*F-F+F.F0FEF1F2F2- F46%F6,&F+F-F2F2F1F2F2*&)F(,*F*F-F+F,FAF2F0F,F2-F>6%F6,$F+F-F1F2FA*&)F (,*F*F-F+F.#F9F,F2F0FUF2FfnF2FA*&)F(,(F*F-F+F1F0F1F2FFF2F2*&)F(,(F*F-F +FAF0F2F2-F>6%F6,&F+F9F2F2F1F2F2*&)F(,(F*F-F+#!\"&F,F0FEF2-F46%F6,&F+F 9F,F2F1F2F2*&F;F2F\\oF2F2*&)F(,*F*F-F+F.F0FE#FAF,F2F2FfnF2F2*&)F(,(F*F -F+F.F0FEF2F3F2F2*&FjnF2F=F2F2*&)F(,*F*F-F+F1F0FUF7F2F2FFF2F2*&F'F2-F4 FNF2FA*&FdoF2-F4F]oF2FA*&F;F2-F>FgnF2F7*&FjpF2FaqF2FA*&FCF2FcqF2FA" }} }{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "nops(A16);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"#@" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "A17 := sym(20,A16);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A17G,H*&)% \"qG,**$%\"jG\"\"#\"\"$F+#\"\"(F,%\"nG#\"\"\"F,F2F2F2-%#T0G6%,&F0F2!\" #F2,&F+!\"$F7F2F1F2F2*&)F(,(F*F-F+F,F0F2F2-%#T1G6%F6,&F+F9!\"\"F2F1F2F 2*&)F(,*F*F-F+F1F0#F-F,FAF2F2-F46%F6,$F+F9F1F2F2*&)F(,*F*F-F+\"\"&F0F2 F,F2F2-F>6%F6,&F+F-F,F2F1F2F2*&)F(,*F*F-F+#\"#8F,F0FE#FLF,F2F2-F46%F6, &F+F-F-F2F1F2F2*&)F(,*F*F-F+F.F0FEF1F2F2-F46%F6,&F+F-F2F2F1F2F2*&)F(,* F*F-F+F,FAF2F0F,F2-F>6%F6,$F+F-F1F2FA*&)F(,*F*F-F+F.#F9F,F2F0FUF2FfnF2 FA*&)F(,(F*F-F+F1F0F1F2FFF2F2*&)F(,(F*F-F+FAF0F2F2-F>6%F6,&F+F9F2F2F1F 2F2*&)F(,(F*F-F+#!\"&F,F0FEF2-F46%F6,&F+F9F,F2F1F2F2*&F;F2F\\oF2F2*&)F (,*F*F-F+F.F0FE#FAF,F2F2FfnF2F2*&FjnF2F=F2F2*&)F(,*F*F-F+F1F0FUF7F2F2F FF2F2*&F'F2-F4FNF2FA*&FdoF2-F4F]oF2FA*&F;F2-F>FgnF2F7*&FCF2F`qF2FA" }} }{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "nops(A17);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"#>" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A18 := sym(1,A17);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A18G,D*&)%\" qG,(*$%\"jG\"\"#\"\"$F+F,%\"nG\"\"\"F/-%#T1G6%,&F.F/!\"#F/,&F+!\"$!\" \"F/#F/F,F/F/*&)F(,*F*F-F+F8F.#F-F,F7F/F/-%#T0G6%F3,$F+F6F8F/F/*&)F(,* F*F-F+\"\"&F.F/F,F/F/-F16%F3,&F+F-F,F/F8F/F/*&)F(,*F*F-F+#\"#8F,F.F<#F DF,F/F/-F>6%F3,&F+F-F-F/F8F/F/*&)F(,*F*F-F+#\"\"(F,F.F6%F3,& F+F-F/F/F8F/F/*&)F(,*F*F-F+F,F7F/F.F,F/-F16%F3,$F+F-F8F/F7*&)F(,*F*F-F +FT#F6F,F/F.FMF/FVF/F7*&)F(,(F*F-F+F8F.F8F/F=F/F/*&)F(,(F*F-F+F7F.F/F/ -F16%F3,&F+F6F/F/F8F/F/*&)F(,(F*F-F+#!\"&F,F.F6%F3,&F+F6F,F/F8F/ F/*&F'F/FfnF/F/*&)F(,*F*F-F+FTF.F<#F7F,F/F/FVF/F/*&FZF/F0F/F/*&)F(,*F* F-F+F8F.FMF4F/F/F=F/F/*&F^oF/-F>FgnF/F7*&F'F/-F1FWF/F4*&F:F/FhpF/F7" } }}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "nops(A18);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"#<" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A19:=sym(1,A18);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A19G,B*&)%\"qG ,(*$%\"jG\"\"#\"\"$F+F,%\"nG\"\"\"F/-%#T1G6%,&F.F/!\"#F/,&F+F-F/F/#F/F ,F/!\"\"*&)F(,*F*F-F+F6F.#F-F,F7F/F/-%#T0G6%F3,$F+!\"$F6F/F/*&)F(,*F*F -F+\"\"&F.F/F,F/F/-F16%F3,&F+F-F,F/F6F/F/*&)F(,*F*F-F+#\"#8F,F.F;#FDF, F/F/-F=6%F3,&F+F-F-F/F6F/F/*&)F(,*F*F-F+#\"\"(F,F.F;F6F/F/-F=F2F/F/*&) F(,*F*F-F+F,F7F/F.F,F/-F16%F3,$F+F-F6F/F7*&)F(,*F*F-F+FT#F@F,F/F.FMF/F VF/F7*&)F(,(F*F-F+F6F.F6F/F " 0 "" {MPLTEXT 1 0 10 "nops(A19);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"#;" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A20:= sym(2,A 19);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A20G,>*&)%\"qG,(*$%\"jG\"\" #\"\"$F+F,%\"nG\"\"\"F/-%#T1G6%,&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/F6F/F/*&)F(,*F*F-F+#\"#8F,F.#F -F,#F;F,F/F/-%#T0G6%F3,&F+F-F-F/F6F/F/*&)F(,*F*F-F+#\"\"(F,F.FDF6F/F/- FGF2F/F/*&)F(,*F*F-F+F,F7F/F.F,F/-F16%F3,$F+F-F6F/F7*&)F(,*F*F-F+FM#! \"$F,F/F.FEF/FOF/F7*&)F(,(F*F-F+F6F.F6F/-FG6%F3,$F+FZF6F/F/*&)F(,(F*F- F+F7F.F/F/-F16%F3,&F+FZF/F/F6F/F/*&)F(,(F*F-F+#!\"&F,F.FDF/-FG6%F3,&F+ FZF,F/F6F/F/*&F'F/FSF/F/*&)F(,*F*F-F+FMF.FD#F7F,F/F/FOF/F/*&FQF/-F16%F 3,&F+FZF7F/F6F/F/*&)F(,*F*F-F+F6F.FEF4F/F/FhnF/F/*&FfnF/-FGFTF/F7" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "nops(A20);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"#9" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A 21:= e0(10,A20);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A21G,:*&)%\"qG, **$%\"jG\"\"#\"\"$F+\"\"&%\"nG\"\"\"F,F0F0-%#T1G6%,&F/F0!\"#F0,&F+F-F, F0#F0F,F0F0*&)F(,*F*F-F+#\"#8F,F/#F-F,#F.F,F0F0-%#T0G6%F4,&F+F-F-F0F7F 0F0*&)F(,*F*F-F+#\"\"(F,F/F=F7F0F0-F@6%F4,&F+F-F0F0F7F0F0*&)F(,*F*F-F+ F,!\"\"F0F/F,F0-F26%F4,$F+F-F7F0FN*&)F(,*F*F-F+FF#!\"$F,F0F/F>F0FHF0FN *&)F(,(F*F-F+F7F/F7F0-F@6%F4,$F+FVF7F0F0*&)F(,(F*F-F+FNF/F0F0-F26%F4,& F+FVF0F0F7F0F0*&)F(,(F*F-F+#!\"&F,F/F=F0-F@6%F4,&F+FVF,F0F7F0F0*&)F(,* F*F-F+F7F/F=FNF0F0-F@FPF0F0*&FLF0-F26%F4,&F+FVFNF0F7F0F0*&)F(,*F*F-F+F 7F/F>F5F0F0FZF0F0*&FXF0FhoF0FN" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "nops(A21);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"#7" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A22:= sym(4,A21);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A22G,:*&)%\"qG,**$%\"jG\"\"#\"\"$F+\"\"&%\"nG\"\" \"F,F0F0-%#T1G6%,&F/F0!\"#F0,&F+F-F,F0#F0F,F0F0*&)F(,*F*F-F+#\"#8F,F/# F-F,#F.F,F0F0-%#T0G6%F4,&F+F-F-F0F7F0F0*&)F(,*F*F-F+#\"\"(F,F/F=F7F0F0 -F@6%F4,&F+F-F0F0F7F0F0*&)F(,*F*F-F+F,!\"\"F0F/F,F0-F26%F4,$F+!\"$F7F0 FN*&)F(,*F*F-F+FF#FRF,F0F/F>F0FHF0FN*&)F(,(F*F-F+F7F/F7F0-F@FPF0F0*&)F (,(F*F-F+FNF/F0F0-F26%F4,&F+FRF0F0F7F0F0*&)F(,(F*F-F+#!\"&F,F/F=F0-F@6 %F4,&F+FRF,F0F7F0F0*&)F(,*F*F-F+F7F/F=FNF0F0-F@6%F4,$F+F-F7F0F0*&FLF0- F26%F4,&F+FRFNF0F7F0F0*&)F(,*F*F-F+F7F/F>F5F0F0FZF0F0*&FXF0FfoF0FN" }} }{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A23:=e0(10,A22);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A23G,6*&)%\"qG,**$%\"jG\"\"#\"\"$F+\"\"&% \"nG\"\"\"F,F0F0-%#T1G6%,&F/F0!\"#F0,&F+F-F,F0#F0F,F0F0*&)F(,*F*F-F+# \"#8F,F/#F-F,#F.F,F0F0-%#T0G6%F4,&F+F-F-F0F7F0F0*&)F(,*F*F-F+#\"\"(F,F /F=F7F0F0-F@6%F4,&F+F-F0F0F7F0F0*&)F(,*F*F-F+FF#!\"$F,F0F/F>F0FHF0!\" \"*&)F(,(F*F-F+F7F/F7F0-F@6%F4,$F+FOF7F0F0*&)F(,(F*F-F+FPF/F0F0-F26%F4 ,&F+FOF0F0F7F0F0*&)F(,(F*F-F+#!\"&F,F/F=F0-F@6%F4,&F+FOF,F0F7F0F0*&)F( ,*F*F-F+F7F/F=FPF0F0-F@6%F4,$F+F-F7F0F0*&FLF0-F@6%F4,&F+FOFPF0F7F0F0*& FRF0FboF0FP" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "nops(A23);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"#5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "A24:=shiftdown(2,A23);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A24G,2*&)%\"qG,**$%\"jG\"\"#\"\"$F+\"\"&%\"nG\"\"\"F,F0F0-%#T 1G6%,&F/F0!\"#F0,&F+F-F,F0#F0F,F0F0*&)F(,*F*F-F+#\"\"(F,F/#F-F,F7F0F0- %#T0G6%F4,&F+F-F0F0F7F0F0*&)F(,*F*F-F+F;#!\"$F,F0F/#F.F,F0F>F0!\"\"*&) F(,(F*F-F+F7F/F7F0-F?6%F4,$F+FFF7F0F0*&)F(,(F*F-F+FHF/F0F0-F26%F4,&F+F FF0F0F7F0F0*&)F(,(F*F-F+#!\"&F,F/F=F0-F?6%F4,&F+FFF,F0F7F0F0*&FCF0-F?6 %F4,&F+FFFHF0F7F0F0*&FJF0-F?6%F4,$F+F-F7F0FH" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A25:=sym(4,A24);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A25G,.*&)%\"qG,**$%\"jG\"\"#\"\"$F+\"\"&%\"nG\"\"\"F,F0F0-%#T 1G6%,&F/F0!\"#F0,&F+F-F,F0#F0F,F0F0*&)F(,*F*F-F+#\"\"(F,F/#F-F,F7F0F0- %#T0G6%F4,&F+F-F0F0F7F0F0*&)F(,*F*F-F+F;#!\"$F,F0F/#F.F,F0F>F0!\"\"*&) F(,(F*F-F+FHF/F0F0-F26%F4,&F+FFF0F0F7F0F0*&)F(,(F*F-F+#!\"&F,F/F=F0-F? 6%F4,&F+FFF,F0F7F0F0*&FCF0-F?6%F4,&F+FFFHF0F7F0F0" }}}{EXCHG {PARA 0 " > " 0 "" {MPLTEXT 1 0 16 "A26:=sym(3,A25);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A26G,**&)%\"qG,**$%\"jG\"\"#\"\"$F+\"\"&%\"nG\"\"\"F ,F0F0-%#T1G6%,&F/F0!\"#F0,&F+F-F,F0#F0F,F0F0*&)F(,*F*F-F+#\"\"(F,F/#F- F,F7F0F0-%#T0G6%F4,&F+F-F0F0F7F0F0*&)F(,(F*F-F+!\"\"F/F0F0-F26%F4,&F+! \"$F0F0F7F0F0*&)F(,(F*F-F+#!\"&F,F/F=F0-F?6%F4,&F+FIF,F0F7F0F0" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "A27:=shiftdown(1,A26);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A27G,**&)%\"qG,(*$%\"jG\"\"#\"\"$F+ !\"\"%\"nG\"\"\"F0-%#T1G6%,&F/F0!\"#F0,&F+F-F.F0#F0F,F0F.*&)F(,*F*F-F+ #\"\"(F,F/#F-F,F7F0F0-%#T0G6%F4,&F+F-F0F0F7F0F0*&F'F0-F26%F4,&F+!\"$F0 F0F7F0F0*&)F(,(F*F-F+#!\"&F,F/F=F0-F?6%F4,&F+FFF,F0F7F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A28:=sym(1,A27);" }}{PARA 11 "" 1 " " {XPPMATH 20 "6#>%$A28G,&*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"(F,%\"nG#F -F,#\"\"\"F,F3F3-%#T0G6%,&F0F3!\"#F3,&F+F-F3F3F2F3F3*&)F(,(F*F-F+#!\"& F,F0F1F3-F56%F7,&F+!\"$F,F3F2F3F3" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A29:=sym(2,A28);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#> %$A29G,&*&)%\"qG,**$%\"jG\"\"#\"\"$F+#\"\"(F,%\"nG#F-F,#\"\"\"F,F3F3-% #T0G6%,&F0F3!\"#F3,&F+F-F3F3F2F3F3*&)F(,(F*F-F+#!\"&F,F0F1F3-F56%F7,&F +F-F8F3F2F3F3" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A30:=shift up(2,A29);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$A30G\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "4 0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }