{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 0 "" }}}{EXCHG {PARA 0 "
> " 0 "" {MPLTEXT 1 0 28 "####### 3.46-t with q--> q^2" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 84 "op2:= annihiloper( q^(3*j^2 + j) / \+
qfac(q^2,q^4,j+1) / spqfac(q^2,q^2,j), 0 , back);" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#>%$op2G,*\"\"\"F&*$%\"NG!\"\"F)*&%\"qG\"\"#F(!\"#F)*&,&
*$F+F,F))F+,&%\"nGF,F-F&F&F&F(!\"$F)" }}}{EXCHG {PARA 11 "" 1 "" 
{TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 126 "A1:= apply
shiftop(op2, q^(15*j^2 +    j)     * T1(n, 5*j,  1) \n                \+
      -q^(15*j^2 + 19*j + 6) * T1(n, 5*j+3,1));" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%#A1G,6*&)%\"qG,(\"\"#\"\"\"*$%\"jGF*\"#:F-F+F+-%#T1G6
%,&%\"nGF+!\"$F+,$F-\"\"&F+F+F+*&)F(,(\"\")F+F,F.F-\"#>F+-F06%F2,&F-F6
\"\"$F+F+F+!\"\"*&)F(,*F3F*!\"#F+F,F.F-F+F+F/F+F@*&)F(,*F3F*\"\"%F+F,F
.F-F;F+F<F+F+*&F'F+-F06%,&F3F+FDF+F5F+F+F@*&-F06%FLF>F+F+F8F+F+*&)F(,&
F,F.F-F+F+-F06%,&F3F+F@F+F5F+F+F@*&)F(,(F,F.F-F;\"\"'F+F+-F06%FUF>F+F+
F+*&FQF+-F06%F3F5F+F+F+*&FWF+-F06%F3F>F+F+F@" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A2
:= eT1(10,A1);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A2G,6*&)%\"qG,(\"
\"#\"\"\"*$%\"jGF*\"#:F-F+F+-%#T1G6%,&%\"nGF+!\"$F+,$F-\"\"&F+F+F+*&)F
(,(\"\")F+F,F.F-\"#>F+-F06%F2,&F-F6\"\"$F+F+F+!\"\"*&)F(,*F3F*!\"#F+F,
F.F-F+F+F/F+F@*&)F(,*F3F*\"\"%F+F,F.F-F;F+F<F+F+*&F'F+-F06%,&F3F+FDF+F
5F+F+F@*&-F06%FLF>F+F+F8F+F+*&)F(,&F,F.F-F+F+-F06%,&F3F+F@F+F5F+F+F@*&
FQF+-F06%F3F5F+F+F+*&)F(,*F,F.F-\"#C\"\"*F+F3F+F+-%#T0G6%FU,&F-F6FHF+F
+F+F@*&)F(,*F,F.F-\"#9F?F+F3F+F+-Fin6%FU,&F-F6F*F+F+F+F@" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "A3:=eT1(8,A2);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%#A3G,6*&)%\"qG,(\"\"#\"\"\"*$%\"jGF*\"#:F-F+F+-%#T1G6
%,&%\"nGF+!\"$F+,$F-\"\"&F+F+F+*&)F(,(\"\")F+F,F.F-\"#>F+-F06%F2,&F-F6
\"\"$F+F+F+!\"\"*&)F(,*F3F*!\"#F+F,F.F-F+F+F/F+F@*&)F(,*F3F*\"\"%F+F,F
.F-F;F+F<F+F+*&F'F+-F06%,&F3F+FDF+F5F+F+F@*&-F06%FLF>F+F+F8F+F+*&)F(,(
F,F.F-\"\"'F3F+F+-%#T0G6%,&F3F+F@F+,&F-F6F+F+F+F+F+*&)F(,(F,F.F-!\"%F3
F+F+-FU6%FW,&F-F6F@F+F+F+F+*&)F(,*F,F.F-\"#C\"\"*F+F3F+F+-FU6%FW,&F-F6
FHF+F+F+F@*&)F(,*F,F.F-\"#9F?F+F3F+F+-FU6%FW,&F-F6F*F+F+F+F@" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "A4:=eT1(5,A3);" }}{PARA 12 "
" 1 "" {XPPMATH 20 "6#>%#A4G,6*&)%\"qG,(\"\")\"\"\"*$%\"jG\"\"#\"#:F-
\"#>F+-%#T1G6%,&%\"nGF+!\"$F+,&F-\"\"&\"\"$F+F+F+!\"\"*&)F(,*F5F.!\"#F
+F,F/F-F+F+-F26%F4,$F-F8F+F+F:*&)F(,*F5F.\"\"%F+F,F/F-F0F+F1F+F+*&)F(,
(F,F/F-\"\"'F5F+F+-%#T0G6%F4,&F-F8F+F+F+F+F:*&)F(,(F,F/F-!\"%F5F+F+-FK
6%F4,&F-F8F:F+F+F+F:*&-F26%,&F5F+F>F+F7F+F+F'F+F+*&FGF+-FK6%,&F5F+F:F+
FMF+F+F+*&FOF+-FK6%FfnFTF+F+F+*&)F(,*F,F/F-\"#C\"\"*F+F5F+F+-FK6%Ffn,&
F-F8FEF+F+F+F:*&)F(,*F,F/F-\"#9F9F+F5F+F+-FK6%Ffn,&F-F8F.F+F+F+F:" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 9 "#########" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 15 "A5:= sym(8,A4);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%#A5G,6*&)%\"qG,(\"\")\"\"\"*$%\"jG\"\"#\"#:F-\"#>F+-%
#T1G6%,&%\"nGF+!\"$F+,&F-\"\"&\"\"$F+F+F+!\"\"*&)F(,*F5F.!\"#F+F,F/F-F
+F+-F26%F4,$F-F8F+F+F:*&)F(,*F5F.\"\"%F+F,F/F-F0F+F1F+F+*&)F(,(F,F/F-
\"\"'F5F+F+-%#T0G6%F4,&F-F8F+F+F+F+F:*&)F(,(F,F/F-!\"%F5F+F+-FK6%F4,&F
-F8F:F+F+F+F:*&-F26%,&F5F+F>F+F7F+F+F'F+F+*&FGF+-FK6%,&F5F+F:F+FMF+F+F
+*&FOF+-FK6%Ffn,&F-!\"&F+F+F+F+F+*&)F(,*F,F/F-\"#C\"\"*F+F5F+F+-FK6%Ff
n,&F-F8FEF+F+F+F:*&)F(,*F,F/F-\"#9F9F+F5F+F+-FK6%Ffn,&F-F8F.F+F+F+F:" 
}}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "A6:=eT0(8,A5);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%#A6G,:*&)%\"qG,(\"\")\"\"\"*$%\"jG\"\"#\"#
:F-\"#>F+-%#T1G6%,&%\"nGF+!\"$F+,&F-\"\"&\"\"$F+F+F+!\"\"*&)F(,*F5F.!
\"#F+F,F/F-F+F+-F26%F4,$F-F8F+F+F:*&)F(,*F5F.\"\"%F+F,F/F-F0F+F1F+F+*&
)F(,(F,F/F-\"\"'F5F+F+-%#T0G6%F4,&F-F8F+F+F+F+F:*&)F(,(F,F/F-!\"%F5F+F
+-FK6%F4,&F-F8F:F+F+F+F:*&-F26%,&F5F+F>F+F7F+F+F'F+F+*&FGF+-FK6%,&F5F+
F:F+FMF+F+F+*&FOF+-FK6%FX,$F-!\"&F+F+F+*&)F(,(F,F/F-!\"*F5F.F+-F26%FX,
&F-F[oF+F+F+F+F+*&)F(,(F,F/F-!#9F5F9F+-FK6%FX,&F-F[oF.F+F+F+F+*&)F(,*F
,F/F-\"#C\"\"*F+F5F+F+-FK6%Ffn,&F-F8FEF+F+F+F:*&)F(,*F,F/F-\"#9F9F+F5F
+F+-FK6%Ffn,&F-F8F.F+F+F+F:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
15 "A7:= sym(8,A6);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A7G,:*&)%\"q
G,(\"\")\"\"\"*$%\"jG\"\"#\"#:F-\"#>F+-%#T1G6%,&%\"nGF+!\"$F+,&F-\"\"&
\"\"$F+F+F+!\"\"*&)F(,*F5F.!\"#F+F,F/F-F+F+-F26%F4,$F-F8F+F+F:*&)F(,*F
5F.\"\"%F+F,F/F-F0F+F1F+F+*&)F(,(F,F/F-\"\"'F5F+F+-%#T0G6%F4,&F-F8F+F+
F+F+F:*&)F(,(F,F/F-!\"%F5F+F+-FK6%F4,&F-F8F:F+F+F+F:*&-F26%,&F5F+F>F+F
7F+F+F'F+F+*&FGF+-FK6%,&F5F+F:F+FMF+F+F+*&FOF+-FK6%FXFAF+F+F+*&)F(,(F,
F/F-!\"*F5F.F+-F26%FX,&F-!\"&F+F+F+F+F+*&)F(,(F,F/F-!#9F5F9F+-FK6%FX,&
F-FaoF.F+F+F+F+*&)F(,*F,F/F-\"#C\"\"*F+F5F+F+-FK6%Ffn,&F-F8FEF+F+F+F:*
&)F(,*F,F/F-\"#9F9F+F5F+F+-FK6%Ffn,&F-F8F.F+F+F+F:" }}}{EXCHG {PARA 0 
"> " 0 "" {MPLTEXT 1 0 14 "A8:=eT0(8,A7);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%#A8G,6*&)%\"qG,(\"\")\"\"\"*$%\"jG\"\"#\"#:F-\"#>F+-%
#T1G6%,&%\"nGF+!\"$F+,&F-\"\"&\"\"$F+F+F+!\"\"*&)F(,*F5F.\"\"%F+F,F/F-
F0F+F1F+F+*&)F(,(F,F/F-\"\"'F5F+F+-%#T0G6%F4,&F-F8F+F+F+F+F:*&-F26%,&F
5F+!\"#F+F7F+F+F'F+F+*&F@F+-FD6%,&F5F+F:F+FFF+F+F+*&)F(,*F,F/F-FBF5F9!
\"%F+F+FCF+F+*&)F(,(F,F/F-!\"*F5F.F+-F26%FJ,&F-!\"&F+F+F+F+F+*&)F(,(F,
F/F-!#9F5F9F+-FD6%FJ,&F-FenF.F+F+F+F+*&)F(,*F,F/F-\"#C\"\"*F+F5F+F+-FD
6%FO,&F-F8F>F+F+F+F:*&)F(,*F,F/F-\"#9F9F+F5F+F+-FD6%FO,&F-F8F.F+F+F+F:
" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "A9:= shiftdown(9,A8);" 
}}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A9G,6*&)%\"qG,(\"\")\"\"\"*$%\"jG
\"\"#\"#:F-\"#>F+-%#T1G6%,&%\"nGF+!\"$F+,&F-\"\"&\"\"$F+F+F+!\"\"*&)F(
,*F5F.\"\"%F+F,F/F-F0F+F1F+F+*&)F(,(F,F/F-\"\"'F5F+F+-%#T0G6%F4,&F-F8F
+F+F+F+F:*&-F26%,&F5F+!\"#F+F7F+F+F'F+F+*&F@F+-FD6%,&F5F+F:F+FFF+F+F+*
&)F(,*F,F/F-FBF5F9!\"%F+F+FCF+F+*&)F(,(F,F/F-!\"*F5F.F+-F26%FJ,&F-!\"&
F+F+F+F+F+*&)F(,(F,F/F-!#9F5F9F+-FD6%FJ,&F-FenF.F+F+F+F+*&)F(,(F,F/F-!
\"'F5F+F+-FD6%FO,&F-F8F:F+F+F+F:*&)F(,*F,F/F-\"#9F9F+F5F+F+-FD6%FO,&F-
F8F.F+F+F+F:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A10:=negate
(9,A9);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A10G,6*&)%\"qG,(\"\")\"
\"\"*$%\"jG\"\"#\"#:F-\"#>F+-%#T1G6%,&%\"nGF+!\"$F+,&F-\"\"&\"\"$F+F+F
+!\"\"*&)F(,*F5F.\"\"%F+F,F/F-F0F+F1F+F+*&)F(,(F,F/F-\"\"'F5F+F+-%#T0G
6%F4,&F-F8F+F+F+F+F:*&-F26%,&F5F+!\"#F+F7F+F+F'F+F+*&F@F+-FD6%,&F5F+F:
F+FFF+F+F+*&)F(,*F,F/F-FBF5F9!\"%F+F+FCF+F+*&)F(,(F,F/F-!\"*F5F.F+-F26
%FJ,&F-!\"&F+F+F+F+F+*&)F(,(F,F/F-!#9F5F9F+-FD6%FJ,&F-FenF.F+F+F+F+*&F
@F+-FD6%FO,&F-FenF:F+F+F+F:*&)F(,*F,F/F-\"#9F9F+F5F+F+-FD6%FO,&F-F8F.F
+F+F+F:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A11:=sym(5,A10);
" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A11G,2*&)%\"qG,(\"\")\"\"\"*$%
\"jG\"\"#\"#:F-\"#>F+-%#T1G6%,&%\"nGF+!\"$F+,&F-\"\"&\"\"$F+F+F+!\"\"*
&)F(,*F5F.\"\"%F+F,F/F-F0F+F1F+F+*&)F(,(F,F/F-\"\"'F5F+F+-%#T0G6%F4,&F
-F8F+F+F+F+F:*&-F26%,&F5F+!\"#F+F7F+F+F'F+F+*&)F(,*F,F/F-FBF5F9!\"%F+F
+FCF+F+*&)F(,(F,F/F-!\"*F5F.F+-F26%FJ,&F-!\"&F+F+F+F+F+*&)F(,(F,F/F-!#
9F5F9F+-FD6%FJ,&F-FWF.F+F+F+F+*&)F(,*F,F/F-\"#9F9F+F5F+F+-FD6%,&F5F+F:
F+,&F-F8F.F+F+F+F:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 8 "######
##" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A12:=eT1(4,A11);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A12G,2*&)%\"qG,*%\"nG\"\"#\"\"%\"\"
\"*$%\"jGF+\"#:F/\"#>F--%#T1G6%,&F*F-!\"$F-,&F/\"\"&\"\"$F-F-F-F-*&)F(
,(F.F0F/\"\"'F*F-F--%#T0G6%F5,&F/F8F-F-F-F-!\"\"*&)F(,*F.F0F/\"#C\"\"*
F-F*F-F--F?6%F5,&F/F8F,F-F-F-F-*&)F(,*F.F0F/\"#9F9F-F*F-F--F?6%F5,&F/F
8F+F-F-F-F-*&)F(,*F.F0F/F=F*F9!\"%F-F-F>F-F-*&)F(,(F.F0F/!\"*F*F+F--F3
6%,&F*F-!\"#F-,&F/!\"&F-F-F-F-F-*&)F(,(F.F0F/!#9F*F9F--F?6%Ffn,&F/FinF
+F-F-F-F-*&FLF--F?6%,&F*F-FBF-FQF-F-FB" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 18 "##################" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 17 "A13:= eT0(8,A12);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#
>%$A13G,6*&)%\"qG,*%\"nG\"\"#\"\"%\"\"\"*$%\"jGF+\"#:F/\"#>F--%#T1G6%,
&F*F-!\"$F-,&F/\"\"&\"\"$F-F-F-F-*&)F(,(F.F0F/\"\"'F*F-F--%#T0G6%F5,&F
/F8F-F-F-F-!\"\"*&)F(,*F.F0F/\"#C\"\"*F-F*F-F--F?6%F5,&F/F8F,F-F-F-F-*
&)F(,*F.F0F/\"#9F9F-F*F-F--F?6%F5,&F/F8F+F-F-F-F-*&)F(,*F.F0F/F=F*F9!
\"%F-F-F>F-F-*&)F(,(F.F0F/!\"*F*F+F--F36%,&F*F-!\"#F-,&F/!\"&F-F-F-F-F
-*&)F(,(F.F0F/!#9F*F9F--F?6%Ffn,&F/FinF+F-F-F-F-*&FLF--F?6%FfnFAF-F-FB
*&F'F--F36%FfnFQF-F-FB*&)F(,*F.F0F/FFF8F-F*F9F--F?6%FfnF7F-F-FB" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A14:=sym(8,A13);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$A14G,6*&)%\"qG,*%\"nG\"\"#\"\"%\"\"\"*$%
\"jGF+\"#:F/\"#>F--%#T1G6%,&F*F-!\"$F-,&F/\"\"&\"\"$F-F-F-F-*&)F(,(F.F
0F/\"\"'F*F-F--%#T0G6%F5,&F/F8F-F-F-F-!\"\"*&)F(,*F.F0F/\"#C\"\"*F-F*F
-F--F?6%F5,&F/F8F,F-F-F-F-*&)F(,*F.F0F/\"#9F9F-F*F-F--F?6%F5,&F/F8F+F-
F-F-F-*&)F(,*F.F0F/F=F*F9!\"%F-F-F>F-F-*&)F(,(F.F0F/!\"*F*F+F--F36%,&F
*F-!\"#F-,&F/!\"&F-F-F-F-F-*&)F(,(F.F0F/!#9F*F9F--F?6%Ffn,&F/FinF+F-F-
F-F-*&FLF--F?6%Ffn,&F/FinFBF-F-F-FB*&F'F--F36%FfnFQF-F-FB*&)F(,*F.F0F/
FFF8F-F*F9F--F?6%FfnF7F-F-FB" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 16 "A15:=eT0(8,A14);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A15G,:*&)
%\"qG,*%\"nG\"\"#\"\"%\"\"\"*$%\"jGF+\"#:F/\"#>F--%#T1G6%,&F*F-!\"$F-,
&F/\"\"&\"\"$F-F-F-F-*&)F(,(F.F0F/\"\"'F*F-F--%#T0G6%F5,&F/F8F-F-F-F-!
\"\"*&)F(,*F.F0F/\"#C\"\"*F-F*F-F--F?6%F5,&F/F8F,F-F-F-F-*&)F(,*F.F0F/
\"#9F9F-F*F-F--F?6%F5,&F/F8F+F-F-F-F-*&)F(,*F.F0F/F=F*F9!\"%F-F-F>F-F-
*&)F(,(F.F0F/!\"*F*F+F--F36%,&F*F-!\"#F-,&F/!\"&F-F-F-F-F-*&)F(,(F.F0F
/!#9F*F9F--F?6%Ffn,&F/FinF+F-F-F-F-*&FLF--F?6%F5,&F/FinFgnF-F-F-FB*&)F
(,(F.F0F/FGF*F+F--F36%F5,&F/FinFBF-F-F-FB*&)F(,*F.F0F/F,F6F-F*F9F--F?6
%F5,$F/FinF-F-FB*&F'F--F36%FfnFQF-F-FB*&)F(,*F.F0F/FFF8F-F*F9F--F?6%Ff
nF7F-F-FB" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A16:=sym(4,A15
);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A16G,6*&)%\"qG,*%\"nG\"\"#\"
\"%\"\"\"*$%\"jGF+\"#:F/\"#>F--%#T1G6%,&F*F-!\"$F-,&F/\"\"&\"\"$F-F-F-
F-*&)F(,(F.F0F/\"\"'F*F-F--%#T0G6%F5,&F/F8F-F-F-F-!\"\"*&)F(,*F.F0F/\"
#C\"\"*F-F*F-F--F?6%F5,&F/F8F,F-F-F-F-*&)F(,*F.F0F/F=F*F9!\"%F-F-F>F-F
-*&)F(,(F.F0F/!\"*F*F+F--F36%,&F*F-!\"#F-,&F/!\"&F-F-F-F-F-*&)F(,(F.F0
F/!#9F*F9F--F?6%FU,&F/FXF+F-F-F-F-*&)F(,(F.F0F/FGF*F+F--F36%F5,&F/FXFB
F-F-F-FB*&)F(,*F.F0F/F,F6F-F*F9F--F?6%F5,$F/FXF-F-FB*&F'F--F36%FU,&F/F
8F+F-F-F-FB*&)F(,*F.F0F/FFF8F-F*F9F--F?6%FUF7F-F-FB" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 11 "###########" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "A17:=eT1(5,A16);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>
%$A17G,:*&)%\"qG,*%\"nG\"\"#\"\"%\"\"\"*$%\"jGF+\"#:F/\"#>F--%#T1G6%,&
F*F-!\"$F-,&F/\"\"&\"\"$F-F-F-F-*&)F(,(F.F0F/\"\"'F*F-F--%#T0G6%F5,&F/
F8F-F-F-F-!\"\"*&)F(,*F.F0F/\"#C\"\"*F-F*F-F--F?6%F5,&F/F8F,F-F-F-F-*&
)F(,*F.F0F/F=F*F9!\"%F-F-F>F-F-*&)F(,(F.F0F/!\"*F*F+F--F36%F5,&F/!\"&F
-F-F-F-F-*&)F(,*F.F0F/!#9F*F9FBF-F--F?6%F5,&F/FVF+F-F-F-F-*&)F(,*F.F0F
/FNF*F9F6F-F--F?6%F5,$F/FVF-F-F-*&)F(,(F.F0F/FZF*F9F--F?6%,&F*F-!\"#F-
FgnF-F-F-*&)F(,(F.F0F/FGF*F+F--F36%F5,&F/FVFBF-F-F-FB*&)F(,*F.F0F/F,F6
F-F*F9F-F[oF-FB*&F'F--F36%Fco,&F/F8F+F-F-F-FB*&)F(,*F.F0F/FFF8F-F*F9F-
-F?6%FcoF7F-F-FB" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "A18:=ne
gate(5,A17);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A18G,:*&)%\"qG,*%\"
nG\"\"#\"\"%\"\"\"*$%\"jGF+\"#:F/\"#>F--%#T1G6%,&F*F-!\"$F-,&F/\"\"&\"
\"$F-F-F-F-*&)F(,(F.F0F/\"\"'F*F-F--%#T0G6%F5,&F/F8F-F-F-F-!\"\"*&)F(,
*F.F0F/\"#C\"\"*F-F*F-F--F?6%F5,&F/F8F,F-F-F-F-*&)F(,*F.F0F/F=F*F9!\"%
F-F-F>F-F-*&)F(,(F.F0F/FGF*F+F--F3F@F-F-*&)F(,*F.F0F/!#9F*F9FBF-F--F?6
%F5,&F/!\"&F+F-F-F-F-*&)F(,*F.F0F/FNF*F9F6F-F--F?6%F5,$F/FZF-F-F-*&)F(
,(F.F0F/FVF*F9F--F?6%,&F*F-!\"#F-FYF-F-F-*&FPF--F36%F5,&F/FZFBF-F-F-FB
*&)F(,*F.F0F/F,F6F-F*F9F-FhnF-FB*&F'F--F36%F`o,&F/F8F+F-F-F-FB*&)F(,*F
.F0F/FFF8F-F*F9F--F?6%F`oF7F-F-FB" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "A19:=sym(5,A18);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>
%$A19G,6*&)%\"qG,*%\"nG\"\"#\"\"%\"\"\"*$%\"jGF+\"#:F/\"#>F--%#T1G6%,&
F*F-!\"$F-,&F/\"\"&\"\"$F-F-F-F-*&)F(,(F.F0F/\"\"'F*F-F--%#T0G6%F5,&F/
F8F-F-F-F-!\"\"*&)F(,*F.F0F/\"#C\"\"*F-F*F-F--F?6%F5,&F/F8F,F-F-F-F-*&
)F(,*F.F0F/F=F*F9!\"%F-F-F>F-F-*&)F(,*F.F0F/!#9F*F9FBF-F--F?6%F5,&F/!
\"&F+F-F-F-F-*&)F(,*F.F0F/FNF*F9F6F-F--F?6%F5,$F/FVF-F-F-*&)F(,(F.F0F/
FRF*F9F--F?6%,&F*F-!\"#F-FUF-F-F-*&)F(,*F.F0F/F,F6F-F*F9F-FZF-FB*&F'F-
-F36%F\\o,&F/F8F+F-F-F-FB*&)F(,*F.F0F/FFF8F-F*F9F--F?6%F\\oF7F-F-FB" }
}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "##########" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A20:=eT1(9,A19);" }}{PARA 12 "" 1 "
" {XPPMATH 20 "6#>%$A20G,:*&)%\"qG,*%\"nG\"\"#\"\"%\"\"\"*$%\"jGF+\"#:
F/\"#>F--%#T1G6%,&F*F-!\"$F-,&F/\"\"&\"\"$F-F-F-F-*&)F(,(F.F0F/\"\"'F*
F-F--%#T0G6%F5,&F/F8F-F-F-F-!\"\"*&)F(,*F.F0F/\"#C\"\"*F-F*F-F--F?6%F5
,&F/F8F,F-F-F-F-*&)F(,*F.F0F/F=F*F9!\"%F-F-F>F-F-*&)F(,*F.F0F/!#9F*F9F
BF-F--F?6%F5,&F/!\"&F+F-F-F-F-*&)F(,*F.F0F/FNF*F9F6F-F--F?6%F5,$F/FVF-
F-F-*&)F(,(F.F0F/FRF*F9F--F?6%,&F*F-!\"#F-FUF-F-F-*&)F(,*F.F0F/F,F6F-F
*F9F-FZF-FB*&F'F--F36%F5,&F/F8F+F-F-F-FB*&)F(,*F*F9F,F-F.F0F/FFF--F?F4
F-FB*&)F(,(F*F9F.F0F/\"#9F-F>F-FB*&)F(,*F.F0F/FFF8F-F*F9F--F?6%F\\oF7F
-F-FB" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "A21:=e0(9,A20);" }
}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A21G,6*&)%\"qG,(*$%\"jG\"\"#\"#:F+
\"\"'%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"$F0,&F+\"\"&F0F0F0F0!\"\"*&)F(,*F*F
-F+\"#C\"\"*F0F/F0F0-F26%F4,&F+F7\"\"%F0F0F0F0*&)F(,*F*F-F+F.F/\"\"$!
\"%F0F0F1F0F0*&)F(,*F*F-F+!#9F/FEF8F0F0-F26%F4,&F+!\"&F,F0F0F0F0*&)F(,
*F*F-F+FFF/FEF5F0F0-F26%F4,$F+FNF0F0F0*&)F(,(F*F-F+FJF/FEF0-F26%,&F/F0
!\"#F0FMF0F0F0*&)F(,*F*F-F+FAF5F0F/FEF0FRF0F8*&)F(,*F/FEF8F0F*F-F+\"#9
F0-F26%F4,&F+F7F,F0F0F0F8*&)F(,(F/FEF*F-F+F\\oF0F1F0F8*&)F(,*F*F-F+F<F
7F0F/FEF0-F26%FZ,&F+F7FEF0F0F0F8" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 19 "A22:=negate(5,A21);" }}{PARA 12 "" 1 "" {XPPMATH 20 "
6#>%$A22G,6*&)%\"qG,(*$%\"jG\"\"#\"#:F+\"\"'%\"nG\"\"\"F0-%#T0G6%,&F/F
0!\"$F0,&F+\"\"&F0F0F0F0!\"\"*&)F(,*F*F-F+\"#C\"\"*F0F/F0F0-F26%F4,&F+
F7\"\"%F0F0F0F0*&)F(,*F*F-F+F.F/\"\"$!\"%F0F0F1F0F0*&)F(,*F*F-F+!#9F/F
EF8F0F0-F26%F4,&F+!\"&F,F0F0F0F0*&)F(,*F*F-F+FAF5F0F/FEF0-F26%F4,$F+F7
F0F0F0*&)F(,(F*F-F+FJF/FEF0-F26%,&F/F0!\"#F0FMF0F0F0*&FPF0-F26%F4,$F+F
NF0F0F8*&)F(,*F/FEF8F0F*F-F+\"#9F0-F26%F4,&F+F7F,F0F0F0F8*&)F(,(F/FEF*
F-F+F]oF0F1F0F8*&)F(,*F*F-F+F<F7F0F/FEF0-F26%FZ,&F+F7FEF0F0F0F8" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A23:=sym(5,A22);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$A23G,2*&)%\"qG,(*$%\"jG\"\"#\"#:F+\"\"'%
\"nG\"\"\"F0-%#T0G6%,&F/F0!\"$F0,&F+\"\"&F0F0F0F0!\"\"*&)F(,*F*F-F+\"#
C\"\"*F0F/F0F0-F26%F4,&F+F7\"\"%F0F0F0F0*&)F(,*F*F-F+F.F/\"\"$!\"%F0F0
F1F0F0*&)F(,*F*F-F+!#9F/FEF8F0F0-F26%F4,&F+!\"&F,F0F0F0F0*&)F(,(F*F-F+
FJF/FEF0-F26%,&F/F0!\"#F0FMF0F0F0*&)F(,*F/FEF8F0F*F-F+\"#9F0-F26%F4,&F
+F7F,F0F0F0F8*&)F(,(F/FEF*F-F+FYF0F1F0F8*&)F(,*F*F-F+F<F7F0F/FEF0-F26%
FT,&F+F7FEF0F0F0F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 7 "######
#" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "A24:=shiftdown(2,A23);
" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A24G,2*&)%\"qG,(*$%\"jG\"\"#\"#
:F+\"\"'%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"$F0,&F+\"\"&F0F0F0F0!\"\"*&)F(,(
F*F-F+!\"'F/F0F0-F26%F4,&F+F7F8F0F0F0F0*&)F(,*F*F-F+F.F/\"\"$!\"%F0F0F
1F0F0*&)F(,*F*F-F+!#9F/FCF8F0F0-F26%F4,&F+!\"&F,F0F0F0F0*&)F(,(F*F-F+F
HF/FCF0-F26%,&F/F0!\"#F0FKF0F0F0*&)F(,*F/FCF8F0F*F-F+\"#9F0-F26%F4,&F+
F7F,F0F0F0F8*&)F(,(F/FCF*F-F+FWF0F1F0F8*&)F(,*F*F-F+\"#CF7F0F/FCF0-F26
%FR,&F+F7FCF0F0F0F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "A25:
=negate(1,A24);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A25G,2*&)%\"qG,(
*$%\"jG\"\"#\"#:F+!\"'%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"$F0,&F+!\"&F0F0F0F
0!\"\"*&F'F0-F26%F4,&F+\"\"&F8F0F0F0F0*&)F(,*F*F-F+\"\"'F/\"\"$!\"%F0F
0-F26%F4,&F+F=F0F0F0F0F0*&)F(,*F*F-F+!#9F/FBF8F0F0-F26%F4,&F+F7F,F0F0F
0F0*&)F(,(F*F-F+FJF/FBF0-F26%,&F/F0!\"#F0FMF0F0F0*&)F(,*F/FBF8F0F*F-F+
\"#9F0-F26%F4,&F+F=F,F0F0F0F8*&)F(,(F/FBF*F-F+FXF0FDF0F8*&)F(,*F*F-F+
\"#CF=F0F/FBF0-F26%FS,&F+F=FBF0F0F0F8" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "A26:=sym(1,A25);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>
%$A26G,.*&)%\"qG,**$%\"jG\"\"#\"#:F+\"\"'%\"nG\"\"$!\"%\"\"\"F2-%#T0G6
%,&F/F2!\"$F2,&F+\"\"&F2F2F2F2F2*&)F(,*F*F-F+!#9F/F0!\"\"F2F2-F46%F6,&
F+!\"&F,F2F2F2F2*&)F(,(F*F-F+F=F/F0F2-F46%,&F/F2!\"#F2FAF2F2F2*&)F(,*F
/F0F>F2F*F-F+\"#9F2-F46%F6,&F+F9F,F2F2F2F>*&)F(,(F/F0F*F-F+FMF2F3F2F>*
&)F(,*F*F-F+\"#CF9F2F/F0F2-F46%FH,&F+F9F0F2F2F2F>" }}}{EXCHG {PARA 0 "
> " 0 "" {MPLTEXT 1 0 22 "A27:=shiftdown(6,A26);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A27G,.*&)%\"qG,**$%\"jG\"\"#\"#:F+\"\"'%\"nG\"\"$!\"
%\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+\"\"&F2F2F2F2F2*&)F(,*F*F-F+!#9F/F0!
\"\"F2F2-F46%F6,&F+!\"&F,F2F2F2F2*&)F(,(F*F-F+F=F/F0F2-F46%,&F/F2!\"#F
2FAF2F2F2*&)F(,*F/F0F>F2F*F-F+\"#9F2-F46%F6,&F+F9F,F2F2F2F>*&)F(,(F/F0
F*F-F+FMF2F3F2F>*&)F(,*F*F-F+!\"'F1F2F/F0F2-F46%FH,&F+F9FIF2F2F2F>" }}
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "##################" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A28:= negate(6,A27);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A28G,.*&)%\"qG,**$%\"jG\"\"#\"#:F+
\"\"'%\"nG\"\"$!\"%\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+\"\"&F2F2F2F2F2*&)F
(,*F*F-F+!#9F/F0!\"\"F2F2-F46%F6,&F+!\"&F,F2F2F2F2*&)F(,(F*F-F+F=F/F0F
2-F46%,&F/F2!\"#F2FAF2F2F2*&)F(,*F/F0F>F2F*F-F+\"#9F2-F46%F6,&F+F9F,F2
F2F2F>*&)F(,(F/F0F*F-F+FMF2F3F2F>*&F'F2-F46%FH,&F+FBFIF2F2F2F>" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A29:=sym(6,A28);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$A29G,.*&)%\"qG,**$%\"jG\"\"#\"#:F+\"\"'%
\"nG\"\"$!\"%\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+\"\"&F2F2F2F2F2*&)F(,*F*F
-F+!#9F/F0!\"\"F2F2-F46%F6,&F+!\"&F,F2F2F2F2*&)F(,(F*F-F+F=F/F0F2-F46%
,&F/F2!\"#F2FAF2F2F2*&)F(,*F/F0F>F2F*F-F+\"#9F2-F46%F6,&F+F9F,F2F2F2F>
*&)F(,(F/F0F*F-F+FMF2F3F2F>*&F'F2-F46%FHFPF2F2F>" }}}{EXCHG {PARA 0 ">
 " 0 "" {MPLTEXT 1 0 17 "A30:= eT0(6,A29);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A30G,.*&)%\"qG,**$%\"jG\"\"#\"#:F+!#9%\"nG\"\"$!\"\"
\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+!\"&F,F2F2F2F2*&)F(,(F*F-F+F.F/F0F2-F4
6%,&F/F2!\"#F2F8F2F2F2*&)F(,*F/F0F1F2F*F-F+\"#9F2-F46%F6,&F+\"\"&F,F2F
2F2F1*&)F(,(F/F0F*F-F+FDF2-F46%F6,&F+FHF2F2F2F2F1*&)F(,*F*F-F+\"#6F/\"
\"%!\"%F2F2-%#T1GFFF2F1*&)F(,*F*F-F+\"#;F/FHFTF2F2-F46%F6,&F+FHF0F2F2F
2F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A31:= eT0(2,A30);" }
}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A31G,2*&)%\"qG,**$%\"jG\"\"#\"#:F+
!#9%\"nG\"\"$!\"\"\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+!\"&F,F2F2F2F2*&)F(,
(F*F-F+F.F/F0F2-F46%F6,&F+F9F2F2F2F2F2*&)F(,(F*F-F+!#>F/\"\"%F2-%#T1GF
5F2F2*&)F(,(F*F-F+!#CF/\"\"&F2-F46%F6,&F+F9F0F2F2F2F2*&)F(,*F/F0F1F2F*
F-F+\"#9F2-F46%F6,&F+FKF,F2F2F2F1*&)F(,(F/F0F*F-F+FRF2-F46%F6,&F+FKF2F
2F2F2F1*&)F(,*F*F-F+\"#6F/FD!\"%F2F2-FFFTF2F1*&)F(,*F*F-F+\"#;F/FKFjnF
2F2-F46%F6,&F+FKF0F2F2F2F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
20 "A32:= negate(2,A31);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A32G,.*
&)%\"qG,**$%\"jG\"\"#\"#:F+!#9%\"nG\"\"$!\"\"\"\"\"F2-%#T0G6%,&F/F2!\"
$F2,&F+!\"&F,F2F2F2F2*&)F(,(F*F-F+!#>F/\"\"%F2-%#T1GF5F2F2*&)F(,(F*F-F
+!#CF/\"\"&F2-F46%F6,&F+F9F0F2F2F2F2*&)F(,*F/F0F1F2F*F-F+\"#9F2-F46%F6
,&F+FEF,F2F2F2F1*&)F(,*F*F-F+\"#6F/F>!\"%F2F2-F@FNF2F1*&)F(,*F*F-F+\"#
;F/FEFTF2F2-F46%F6,&F+FEF0F2F2F2F1" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "A33:= s
hiftdown(5,A32);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A33G,.*&)%\"qG,
**$%\"jG\"\"#\"#:F+!#9%\"nG\"\"$!\"\"\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+!
\"&F,F2F2F2F2*&)F(,(F*F-F+!#>F/\"\"%F2-%#T1GF5F2F2*&)F(,(F*F-F+!#CF/\"
\"&F2-F46%F6,&F+F9F0F2F2F2F2*&)F(,*F/F0F1F2F*F-F+\"#9F2-F46%F6,&F+FEF,
F2F2F2F1*&F;F2-F@6%F6,&F+FEF7F2F2F2F1*&)F(,*F*F-F+\"#;F/FE!\"%F2F2-F46
%F6,&F+FEF0F2F2F2F1" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A34:
= sym(2,A33);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A34G,.*&)%\"qG,**$
%\"jG\"\"#\"#:F+!#9%\"nG\"\"$!\"\"\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+!\"&
F,F2F2F2F2*&)F(,(F*F-F+!#>F/\"\"%F2-%#T1G6%F6,&F+\"\"&!\"#F2F2F2F2*&)F
(,(F*F-F+!#CF/FCF2-F46%F6,&F+F9F0F2F2F2F2*&)F(,*F/F0F1F2F*F-F+\"#9F2-F
46%F6,&F+FCF,F2F2F2F1*&F;F2-F@6%F6,&F+FCF7F2F2F2F1*&)F(,*F*F-F+\"#;F/F
C!\"%F2F2-F46%F6,&F+FCF0F2F2F2F1" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "A35:= e0(5,A34);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>
%$A35G,.*&)%\"qG,**$%\"jG\"\"#\"#:F+!#9%\"nG\"\"$!\"\"\"\"\"F2-%#T0G6%
,&F/F2!\"$F2,&F+!\"&F,F2F2F2F2*&)F(,(F*F-F+!#CF/\"\"&F2-F46%F6,&F+F9F0
F2F2F2F2*&)F(,*F/F0F1F2F*F-F+\"#9F2-F46%F6,&F+F>F,F2F2F2F1*&F;F2-F46%F
6,&F+F>F7F2F2F2F1*&)F(,*F*F-F+F.F/F>F9F2F2-F46%F6,&F+F>!\"#F2F2F2F2*&)
F(,*F*F-F+\"#;F/F>!\"%F2F2-F46%F6,&F+F>F0F2F2F2F1" }}}{EXCHG {PARA 0 "
> " 0 "" {MPLTEXT 1 0 17 "A36:= sym(2,A35);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A36G,**&)%\"qG,**$%\"jG\"\"#\"#:F+!#9%\"nG\"\"$!\"\"
\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+!\"&F,F2F2F2F2*&)F(,*F/F0F1F2F*F-F+\"#
9F2-F46%F6,&F+\"\"&F,F2F2F2F1*&)F(,*F*F-F+F.F/FAF9F2F2-F46%F6,&F+FA!\"
#F2F2F2F2*&)F(,*F*F-F+\"#;F/FA!\"%F2F2-F46%F6,&F+FAF0F2F2F2F1" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "A37:= shiftup(3,A36);" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$A37G,&*&)%\"qG,**$%\"jG\"\"#\"#:F+!
#9%\"nG\"\"$!\"\"\"\"\"F2-%#T0G6%,&F/F2!\"$F2,&F+!\"&F,F2F2F2F2*&)F(,*
F/F0F1F2F*F-F+\"#9F2-F46%F6,&F+\"\"&F,F2F2F2F1" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 20 "A38:= negate(1,A37);" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#>%$A38G\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
0 "" }}}}{MARK "3 0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }