{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 26 "####### 3.82 with q-
-> q^2" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 82 "op2:= annihiloper
( q^(j^2 + 3*j) / qfac(q^2,q^4,j+1)/ spqfac(q^2,q^2,j), 0, back);" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$op2G,*\"\"\"F&*&,&F&F&)%\"qG,&%\"nG
\"\"#F-F&F&F&%\"NG!\"\"F/*&F*F-F.!\"#F/*&F*F-F.!\"$F&" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 114 "A1:= applyshiftop(op2,q^(21*j^2 + 11*j    ) * T1(n+2
, 7*j + 2, 1)\n    - q^(21*j^2 + 17*j + 2) * T1(n+2, 7*j+3,1));" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A1G,6*&-%#T1G6%,&%\"nG\"\"\"!\"\"F,
,&%\"jG\"\"(\"\"#F,F,F,)%\"qG,(F1F,*$F/F1\"#@F/\"#6F,F,*&-F(6%F*,&F/F0
\"\"$F,F,F,)F3,(\"\"%F,F5F6F/\"#<F,F-*&-F(6%F+F.F,F,F2F,F-*&-F(6%F+F;F
,F,F=F,F,*&)F3,&F5F6F/F7F,-F(6%,&F+F,F,F,F.F,F,F-*&)F3,(F5F6F/F@F1F,F,
-F(6%FLF;F,F,F,*&FJF,)F3,*F+F1F1F,F5F6F/F7F,F-*&FPF,)F3,*F+F1F?F,F5F6F
/F@F,F,*&FHF,-F(6%,&F+F,F1F,F.F,F,F,*&FNF,-F(6%FenF;F,F,F-" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "A2 := eT1(10,A1);" }}{PARA 12 "" 1 
"" {XPPMATH 20 "6#>%#A2G,6*&-%#T1G6%,&%\"nG\"\"\"!\"\"F,,&%\"jG\"\"(\"
\"#F,F,F,)%\"qG,(F1F,*$F/F1\"#@F/\"#6F,F,*&-F(6%F*,&F/F0\"\"$F,F,F,)F3
,(\"\"%F,F5F6F/\"#<F,F-*&-F(6%F+F.F,F,F2F,F-*&-F(6%F+F;F,F,F=F,F,*&)F3
,&F5F6F/F7F,-F(6%,&F+F,F,F,F.F,F,F-*&FJF,)F3,*F+F1F1F,F5F6F/F7F,F-*&-F
(6%FLF;F,F,)F3,*F+F1F?F,F5F6F/F@F,F,*&FHF,-F(6%,&F+F,F1F,F.F,F,F,*&)F3
,*F5F6F/\"#CF0F,F+F,F,-%#T0G6%FL,&F/F0F?F,F,F,F-*&)F3,*F5F6F/\"#5F,F,F
+F,F,-FhnFKF,F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "A3:=eT1(
8,A2);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A3G,6*&-%#T1G6%,&%\"nG\"
\"\"!\"\"F,,&%\"jG\"\"(\"\"#F,F,F,)%\"qG,(F1F,*$F/F1\"#@F/\"#6F,F,*&-F
(6%F*,&F/F0\"\"$F,F,F,)F3,(\"\"%F,F5F6F/\"#<F,F-*&-F(6%F+F.F,F,F2F,F-*
&-F(6%F+F;F,F,F=F,F,*&-F(6%,&F+F,F,F,F.F,F,)F3,*F+F1F1F,F5F6F/F7F,F-*&
-F(6%FJF;F,F,)F3,*F+F1F?F,F5F6F/F@F,F,*&)F3,*F5F6F/\"#=F+F,F?F,F,-%#T0
GFOF,F,*&)F3,(F5F6F/F?F+F,F,-FW6%FJ,&F/F0F,F,F,F,F,*&)F3,*F5F6F/\"#CF0
F,F+F,F,-FW6%FJ,&F/F0F?F,F,F,F-*&)F3,*F5F6F/\"#5F,F,F+F,F,-FWFIF,F-" }
}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "A4:=eT1(4,A3);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%#A4G,6*&-%#T1G6%,&%\"nG\"\"\"!\"\"F,,&%\"j
G\"\"(\"\"#F,F,F,)%\"qG,(F1F,*$F/F1\"#@F/\"#6F,F,*&-F(6%F+F.F,F,F2F,F-
*&)F3,*F5F6F/\"#CF0F,F+F,F,-%#T0G6%F*,&F/F0\"\"%F,F,F,F,*&)F3,*F5F6F/
\"#5F,F,F+F,F,-F@F)F,F,*&-F(6%,&F+F,F,F,F.F,F,)F3,*F+F1F1F,F5F6F/F7F,F
-*&-F(6%FL,&F/F0\"\"$F,F,F,)F3,*F+F1FCF,F5F6F/\"#<F,F,*&)F3,*F5F6F/\"#
=F+F,FCF,F,-F@FQF,F,*&)F3,(F5F6F/FCF+F,F,-F@6%FL,&F/F0F,F,F,F,F,*&F<F,
-F@6%FLFBF,F,F-*&FEF,-F@FKF,F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 15 "A5:= eT1(2,A4);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A5G,6*&)
%\"qG,**$%\"jG\"\"#\"#@F+\"#=%\"nG\"\"\"\"\"%F0F0-%#T0G6%,&F/F0!\"\"F0
,&F+\"\"(\"\"$F0F0F0F6*&)F(,(F*F-F+F1F/F0F0-F36%F5,&F+F8F0F0F0F0F6*&)F
(,*F*F-F+\"#CF8F0F/F0F0-F36%F5,&F+F8F1F0F0F0F0*&)F(,*F*F-F+\"#5F0F0F/F
0F0-F36%F5,&F+F8F,F0F0F0F0*&-%#T1G6%,&F/F0F0F0FMF0F0)F(,*F/F,F,F0F*F-F
+\"#6F0F6*&-FP6%FRF7F0F0)F(,*F/F,F1F0F*F-F+\"#<F0F0*&F'F0-F3FXF0F0*&F;
F0-F36%FRF?F0F0F0*&FAF0-F36%FRFFF0F0F6*&FHF0-F3FQF0F6" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A6:=shiftdown(3,A5);" }}{PARA 12 "
" 1 "" {XPPMATH 20 "6#>%#A6G,6*&)%\"qG,**$%\"jG\"\"#\"#@F+\"#=%\"nG\"
\"\"\"\"%F0F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(\"\"$F0F0F0F6*&)F(,(F*F-F+F
1F/F0F0-F36%F5,&F+F8F0F0F0F0F6*&)F(,*F*F-F+!#=F1F0F/F0F0-F36%F5,&F+F8!
\"$F0F0F0F0*&)F(,*F*F-F+\"#5F0F0F/F0F0-F36%F5,&F+F8F,F0F0F0F0*&-%#T1G6
%,&F/F0F0F0FNF0F0)F(,*F/F,F,F0F*F-F+\"#6F0F6*&-FQ6%FSF7F0F0)F(,*F/F,F1
F0F*F-F+\"#<F0F0*&F'F0-F3FYF0F0*&F;F0-F36%FSF?F0F0F0*&)F(,*F*F-F+\"#CF
8F0F/F0F0-F36%FS,&F+F8F1F0F0F0F6*&FIF0-F3FRF0F6" }}}{EXCHG {PARA 0 "> \+
" 0 "" {MPLTEXT 1 0 18 "A7:= negate(3,A6);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%#A7G,6*&)%\"qG,**$%\"jG\"\"#\"#@F+\"#=%\"nG\"\"\"\"\"
%F0F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(\"\"$F0F0F0F6*&)F(,(F*F-F+F1F/F0F0-
F36%F5,&F+F8F0F0F0F0F6*&F'F0-F36%F5,&F+!\"(!\"$F0F0F0F0*&)F(,*F*F-F+\"
#5F0F0F/F0F0-F36%F5,&F+F8F,F0F0F0F0*&-%#T1G6%,&F/F0F0F0FLF0F0)F(,*F/F,
F,F0F*F-F+\"#6F0F6*&-FO6%FQF7F0F0)F(,*F/F,F1F0F*F-F+\"#<F0F0*&F'F0-F3F
WF0F0*&F;F0-F36%FQF?F0F0F0*&)F(,*F*F-F+\"#CF8F0F/F0F0-F36%FQ,&F+F8F1F0
F0F0F6*&FGF0-F3FPF0F6" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "A8
:=sym(1,A7);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A8G,2*&)%\"qG,(*$%
\"jG\"\"#\"#@F+\"\"%%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(F0F0F0F
0F5*&)F(,*F*F-F+\"#5F0F0F/F0F0-F26%F4,&F+F7F,F0F0F0F0*&-%#T1G6%,&F/F0F
0F0F>F0F0)F(,*F/F,F,F0F*F-F+\"#6F0F5*&-FA6%FC,&F+F7\"\"$F0F0F0)F(,*F/F
,F.F0F*F-F+\"#<F0F0*&)F(,*F*F-F+\"#=F/F0F.F0F0-F2FIF0F0*&F'F0-F26%FCF6
F0F0F0*&)F(,*F*F-F+\"#CF7F0F/F0F0-F26%FC,&F+F7F.F0F0F0F5*&F9F0-F2FBF0F
5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A9:=shiftdown(7,A8);" 
}}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#A9G,2*&)%\"qG,(*$%\"jG\"\"#\"#@F+
\"\"%%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(F0F0F0F0F5*&)F(,*F*F-F
+\"#5F0F0F/F0F0-F26%F4,&F+F7F,F0F0F0F0*&-%#T1G6%,&F/F0F0F0F>F0F0)F(,*F
/F,F,F0F*F-F+\"#6F0F5*&-FA6%FC,&F+F7\"\"$F0F0F0)F(,*F/F,F.F0F*F-F+\"#<
F0F0*&)F(,*F*F-F+\"#=F/F0F.F0F0-F2FIF0F0*&F'F0-F26%FCF6F0F0F0*&)F(,*F*
F-F+!#=F.F0F/F0F0-F26%FC,&F+F7!\"$F0F0F0F5*&F9F0-F2FBF0F5" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "A10:=negate(7,A9);" }}{PARA 12 "" 
1 "" {XPPMATH 20 "6#>%$A10G,2*&)%\"qG,(*$%\"jG\"\"#\"#@F+\"\"%%\"nG\"
\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(F0F0F0F0F5*&)F(,*F*F-F+\"#5F0F0F/F
0F0-F26%F4,&F+F7F,F0F0F0F0*&-%#T1G6%,&F/F0F0F0F>F0F0)F(,*F/F,F,F0F*F-F
+\"#6F0F5*&-FA6%FC,&F+F7\"\"$F0F0F0)F(,*F/F,F.F0F*F-F+\"#<F0F0*&)F(,*F
*F-F+\"#=F/F0F.F0F0-F2FIF0F0*&F'F0-F26%FCF6F0F0F0*&FPF0-F26%FC,&F+!\"(
!\"$F0F0F0F5*&F9F0-F2FBF0F5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
16 "A11:=sym(7,A10);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A11G,.*&)%
\"qG,(*$%\"jG\"\"#\"#@F+\"\"%%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"
\"(F0F0F0F0F5*&)F(,*F*F-F+\"#5F0F0F/F0F0-F26%F4,&F+F7F,F0F0F0F0*&-%#T1
G6%,&F/F0F0F0F>F0F0)F(,*F/F,F,F0F*F-F+\"#6F0F5*&-FA6%FC,&F+F7\"\"$F0F0
F0)F(,*F/F,F.F0F*F-F+\"#<F0F0*&F'F0-F26%FCF6F0F0F0*&F9F0-F2FBF0F5" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 11 "###########" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}{PARA 12 "" 1 "" {TEXT -1 0 "" }
}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A12:=eT0(6,A11);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$A12G,2*&)%\"qG,(*$%\"jG\"\"#\"#@F+\"\"%%
\"nG\"\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(F0F0F0F0F5*&)F(,*F*F-F+\"#5F
0F0F/F0F0-F26%F4,&F+F7F,F0F0F0F0*&-%#T1G6%,&F/F0F0F0F>F0F0)F(,*F/F,F,F
0F*F-F+\"#6F0F5*&-FA6%FC,&F+F7\"\"$F0F0F0)F(,*F/F,F.F0F*F-F+\"#<F0F0*&
F'F0-F26%FCF6F0F0F0*&F9F0-F26%F/F6F0F0F5*&FLF0-FA6%F/F>F0F0F5*&)F(,*F*
F-F+\"#CF7F0F/FKF0-F26%F/FJF0F0F5" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "A13:=sym(6,A12);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>
%$A13G,2*&)%\"qG,(*$%\"jG\"\"#\"#@F+\"\"%%\"nG\"\"\"F0-%#T0G6%,&F/F0!
\"\"F0,&F+\"\"(F0F0F0F0F5*&)F(,*F*F-F+\"#5F0F0F/F0F0-F26%F4,&F+F7F,F0F
0F0F0*&-%#T1G6%,&F/F0F0F0F>F0F0)F(,*F/F,F,F0F*F-F+\"#6F0F5*&-FA6%FC,&F
+F7\"\"$F0F0F0)F(,*F/F,F.F0F*F-F+\"#<F0F0*&F'F0-F26%FCF6F0F0F0*&F9F0-F
26%F/,&F+!\"(F5F0F0F0F5*&FLF0-FA6%F/F>F0F0F5*&)F(,*F*F-F+\"#CF7F0F/FKF
0-F26%F/FJF0F0F5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A14:=eT
0(6,A13);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A14G,6*&)%\"qG,(*$%\"j
G\"\"#\"#@F+\"\"%%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(F0F0F0F0F5
*&)F(,*F*F-F+\"#5F0F0F/F0F0-F26%F4,&F+F7F,F0F0F0F0*&-%#T1G6%,&F/F0F0F0
F>F0F0)F(,*F/F,F,F0F*F-F+\"#6F0F5*&-FA6%FC,&F+F7\"\"$F0F0F0)F(,*F/F,F.
F0F*F-F+\"#<F0F0*&F'F0-F26%FCF6F0F0F0*&F9F0-F26%F4,&F+!\"(!\"#F0F0F0F5
*&)F(,(F*F-F+FKF/F,F0-FA6%F4,&F+FVF5F0F0F0F5*&)F(,*F*F-F+!\"%F5F0F/FKF
0-F26%F4,$F+FVF0F0F5*&FLF0-FA6%F/F>F0F0F5*&)F(,*F*F-F+\"#CF7F0F/FKF0-F
26%F/FJF0F0F5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A15:=sym(6
,A14);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A15G,2*&)%\"qG,(*$%\"jG\"
\"#\"#@F+\"\"%%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(F0F0F0F0F5*&-
%#T1G6%,&F/F0F0F0,&F+F7F,F0F0F0)F(,*F/F,F,F0F*F-F+\"#6F0F5*&-F:6%F<,&F
+F7\"\"$F0F0F0)F(,*F/F,F.F0F*F-F+\"#<F0F0*&F'F0-F26%F<F6F0F0F0*&)F(,(F
*F-F+FEF/F,F0-F:6%F4,&F+!\"(F5F0F0F0F5*&)F(,*F*F-F+!\"%F5F0F/FEF0-F26%
F4,$F+FRF0F0F5*&FFF0-F:6%F/F=F0F0F5*&)F(,*F*F-F+\"#CF7F0F/FEF0-F26%F/F
DF0F0F5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 10 "##########" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A1
6:=eT0(4,A15);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A16G,6*&)%\"qG,(*
$%\"jG\"\"#\"#@F+\"\"%%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(F0F0F
0F0F5*&-%#T1G6%,&F/F0F0F0,&F+F7F,F0F0F0)F(,*F/F,F,F0F*F-F+\"#6F0F5*&-F
:6%F<,&F+F7\"\"$F0F0F0)F(,*F/F,F.F0F*F-F+\"#<F0F0*&F'F0-F26%F/,$F+F7F0
F0F0*&F>F0-F:6%F/F6F0F0F0*&)F(,*F*F-F+\"#=F/FEF.F0F0-F26%F/F=F0F0F0*&)
F(,(F*F-F+FEF/F,F0-F:6%F4,&F+!\"(F5F0F0F0F5*&)F(,*F*F-F+!\"%F5F0F/FEF0
-F26%F4,$F+FfnF0F0F5*&FFF0-F:FUF0F5*&)F(,*F*F-F+\"#CF7F0F/FEF0-F26%F/F
DF0F0F5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A17:=sym(4,A16);
" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A17G,6*&)%\"qG,(*$%\"jG\"\"#\"#
@F+\"\"%%\"nG\"\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(F0F0F0F0F5*&-%#T1G6
%,&F/F0F0F0,&F+F7F,F0F0F0)F(,*F/F,F,F0F*F-F+\"#6F0F5*&-F:6%F<,&F+F7\"
\"$F0F0F0)F(,*F/F,F.F0F*F-F+\"#<F0F0*&F'F0-F26%F/,$F+!\"(F0F0F0*&F>F0-
F:6%F/F6F0F0F0*&)F(,*F*F-F+\"#=F/FEF.F0F0-F26%F/F=F0F0F0*&)F(,(F*F-F+F
EF/F,F0-F:6%F4,&F+FMF5F0F0F0F5*&)F(,*F*F-F+!\"%F5F0F/FEF0-F26%F4FLF0F0
F5*&FFF0-F:FVF0F5*&)F(,*F*F-F+\"#CF7F0F/FEF0-F26%F/FDF0F0F5" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A18:=eT0(4,A17);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%$A18G,:*&)%\"qG,(*$%\"jG\"\"#\"#@F+\"\"%%
\"nG\"\"\"F0-%#T0G6%,&F/F0!\"\"F0,&F+\"\"(F0F0F0F0F5*&-%#T1G6%,&F/F0F0
F0,&F+F7F,F0F0F0)F(,*F/F,F,F0F*F-F+\"#6F0F5*&-F:6%F<,&F+F7\"\"$F0F0F0)
F(,*F/F,F.F0F*F-F+\"#<F0F0*&F'F0-F26%F4,&F+!\"(F5F0F0F0F0*&)F(,(F*F-F+
!\"$F/F,F0-F:6%F4,$F+FMF0F0F0*&)F(,(F*F-F+!#5F/FEF0-F26%F4,&F+FMF0F0F0
F0F0*&F>F0-F:6%F/F6F0F0F0*&)F(,*F*F-F+\"#=F/FEF.F0F0-F26%F/F=F0F0F0*&)
F(,(F*F-F+FEF/F,F0-F:FKF0F5*&)F(,*F*F-F+!\"%F5F0F/FEF0-F2FSF0F5*&FFF0-
F:F^oF0F5*&)F(,*F*F-F+\"#CF7F0F/FEF0-F26%F/FDF0F0F5" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 16 "A19:=sym(4,A18);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A19G,6*&-%#T1G6%,&%\"nG\"\"\"F,F,,&%\"jG\"\"(\"\"#F,
F,F,)%\"qG,*F+F0F0F,*$F.F0\"#@F.\"#6F,!\"\"*&-F(6%F*,&F.F/\"\"$F,F,F,)
F2,*F+F0\"\"%F,F4F5F.\"#<F,F,*&)F2,(F4F5F.!\"$F+F0F,-F(6%,&F+F,F7F,,$F
.!\"(F,F,F,*&)F2,(F4F5F.!#5F+F<F,-%#T0G6%FG,&F.FIF,F,F,F,F,*&F1F,-F(6%
F+,&F.F/F,F,F,F,F,*&)F2,*F4F5F.\"#=F+F<F?F,F,-FO6%F+F-F,F,F,*&)F2,(F4F
5F.F<F+F0F,-F(6%FG,&F.FIF7F,F,F,F7*&)F2,*F4F5F.!\"%F7F,F+F<F,-FOFFF,F7
*&F=F,-F(FenF,F7*&)F2,*F4F5F.\"#CF/F,F+F<F,-FO6%F+F;F,F,F7" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "A20:=e0(7,A19);" }}{PARA 12 "" 1 "
" {XPPMATH 20 "6#>%$A20G,6*&-%#T1G6%,&%\"nG\"\"\"F,F,,&%\"jG\"\"(\"\"#
F,F,F,)%\"qG,*F+F0F0F,*$F.F0\"#@F.\"#6F,!\"\"*&-F(6%F*,&F.F/\"\"$F,F,F
,)F2,*F+F0\"\"%F,F4F5F.\"#<F,F,*&)F2,(F4F5F.!\"$F+F0F,-F(6%,&F+F,F7F,,
$F.!\"(F,F,F,*&)F2,(F4F5F.!#5F+F<F,-%#T0G6%FG,&F.FIF,F,F,F,F,*&F1F,-F(
6%F+,&F.F/F,F,F,F,F,*&)F2,*F4F5F.\"#=F+F<F?F,F,-FO6%F+F-F,F,F,*&)F2,(F
4F5F.\"#5F+F<F,-FO6%FG,&F.FIF7F,F,F,F7*&)F2,(F4F5F.F<F+F0F,FEF,F7*&F=F
,-F(FenF,F7*&)F2,*F4F5F.\"#CF/F,F+F<F,-FO6%F+F;F,F,F7" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "A21:=negate(4,A20);" }}{PARA 12 "" 
1 "" {XPPMATH 20 "6#>%$A21G,6*&-%#T1G6%,&%\"nG\"\"\"F,F,,&%\"jG\"\"(\"
\"#F,F,F,)%\"qG,*F+F0F0F,*$F.F0\"#@F.\"#6F,!\"\"*&-F(6%F*,&F.F/\"\"$F,
F,F,)F2,*F+F0\"\"%F,F4F5F.\"#<F,F,*&)F2,(F4F5F.!\"$F+F0F,-F(6%,&F+F,F7
F,,$F.!\"(F,F,F,*&)F2,(F4F5F.\"#5F+F<F,-%#T0G6%FG,&F.F/F,F,F,F,F,*&F1F
,-F(6%F+FQF,F,F,*&)F2,*F4F5F.\"#=F+F<F?F,F,-FO6%F+F-F,F,F,*&FKF,-FO6%F
G,&F.FIF7F,F,F,F7*&)F2,(F4F5F.F<F+F0F,FEF,F7*&F=F,-F(FZF,F7*&)F2,*F4F5
F.\"#CF/F,F+F<F,-FO6%F+F;F,F,F7" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 17 "A22:= sym(7,A21);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A22G,2
*&-%#T1G6%,&%\"nG\"\"\"F,F,,&%\"jG\"\"(\"\"#F,F,F,)%\"qG,*F+F0F0F,*$F.
F0\"#@F.\"#6F,!\"\"*&-F(6%F*,&F.F/\"\"$F,F,F,)F2,*F+F0\"\"%F,F4F5F.\"#
<F,F,*&)F2,(F4F5F.!\"$F+F0F,-F(6%,&F+F,F7F,,$F.!\"(F,F,F,*&F1F,-F(6%F+
,&F.F/F,F,F,F,F,*&)F2,*F4F5F.\"#=F+F<F?F,F,-%#T0G6%F+F-F,F,F,*&)F2,(F4
F5F.F<F+F0F,FEF,F7*&F=F,-F(FTF,F7*&)F2,*F4F5F.\"#CF/F,F+F<F,-FS6%F+F;F
,F,F7" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 17 "A23:= eT1(1,A22);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$A23G,6*&)%\"qG,*%\"nG\"\"#F+\"\"\"*$%\"jGF+\"#@F.\"#
6F,-%#T1G6%F*,&F.\"\"(F+F,F,F,!\"\"*&)F(,*F*\"\"$\"\"&F,F-F/F.\"#=F,-%
#T0G6%F*,&F.F5F:F,F,F,F6*&)F(,*F*F:F,F,F-F/F.\"\"%F,-F>6%F*,&F.F5F,F,F
,F,F6*&-F26%,&F*F,F,F,F@F,F,)F(,*F*F+FDF,F-F/F.\"#<F,F,*&)F(,(F-F/F.!
\"$F*F+F,-F26%,&F*F,F6F,,$F.!\"(F,F,F,*&F'F,-F2FFF,F,*&)F(,*F-F/F.F<F*
F:FDF,F,-F>F3F,F,*&)F(,(F-F/F.F:F*F+F,FSF,F6*&FLF,F1F,F6*&)F(,*F-F/F.
\"#CF5F,F*F:F,F=F,F6" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A24
:= e0(6,A23);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A24G,.*&)%\"qG,*%
\"nG\"\"$\"\"&\"\"\"*$%\"jG\"\"#\"#@F/\"#=F--%#T0G6%F*,&F/\"\"(F+F-F-F
-!\"\"*&-%#T1G6%,&F*F-F-F-F6F-F-)F(,*F*F0\"\"%F-F.F1F/\"#<F-F-*&)F(,(F
.F1F/!\"$F*F0F--F;6%,&F*F-F8F-,$F/!\"(F-F-F-*&)F(,(F.F1F/F+F*F0F-FFF-F
8*&F>F--F;6%F*,&F/F7F0F-F-F-F8*&)F(,*F.F1F/\"#CF7F-F*F+F-F3F-F8" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "A25:= negate(3,A24);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A25G,.*&)%\"qG,*%\"nG\"\"$\"\"&\"\"
\"*$%\"jG\"\"#\"#@F/\"#=F--%#T0G6%F*,&F/\"\"(F+F-F-F-!\"\"*&-%#T1G6%,&
F*F-F-F-F6F-F-)F(,*F*F0\"\"%F-F.F1F/\"#<F-F-*&)F(,(F.F1F/F+F*F0F--F;6%
,&F*F-F8F-,$F/F7F-F-F-*&FCF--F;6%FG,$F/!\"(F-F-F8*&F>F--F;6%F*,&F/F7F0
F-F-F-F8*&)F(,*F.F1F/\"#CF7F-F*F+F-F3F-F8" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 16 "A26:=sym(3,A25);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6
#>%$A26G,**&)%\"qG,*%\"nG\"\"$\"\"&\"\"\"*$%\"jG\"\"#\"#@F/\"#=F--%#T0
G6%F*,&F/\"\"(F+F-F-F-!\"\"*&-%#T1G6%,&F*F-F-F-F6F-F-)F(,*F*F0\"\"%F-F
.F1F/\"#<F-F-*&F>F--F;6%F*,&F/F7F0F-F-F-F8*&)F(,*F.F1F/\"#CF7F-F*F+F-F
3F-F8" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 
0 16 "A27:=eT1(2,A26);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$A27G,.*&)
%\"qG,*%\"nG\"\"$\"\"&\"\"\"*$%\"jG\"\"#\"#@F/\"#=F--%#T0G6%F*,&F/\"\"
(F+F-F-F-!\"\"*&)F(,*F*F0\"\"%F-F.F1F/\"#<F--%#T1GF5F-F-*&)F(,*F*F+\"
\")F-F.F1F/\"#CF--F46%F*,&F/F7F<F-F-F-F-*&)F(,*F*F+F0F-F.F1F/\"#5F--F4
6%F*,&F/F7F0F-F-F-F-*&F:F--F?FMF-F8*&)F(,*F.F1F/FDF7F-F*F+F-F3F-F8" }}
}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "A28:= e0(5,A27);" }}{PARA 
11 "" 1 "" {XPPMATH 20 "6#>%$A28G,&*&)%\"qG,*%\"nG\"\"$\"\"&\"\"\"*$%
\"jG\"\"#\"#@F/\"#=F--%#T0G6%F*,&F/\"\"(F+F-F-F-!\"\"*&)F(,*F*F+\"\")F
-F.F1F/\"#CF--F46%F*,&F/F7\"\"%F-F-F-F-" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 23 "A29:= shiftdown(2,A28);" }}{PARA 11 "" 1 "" {XPPMATH 
20 "6#>%$A29G,&*&)%\"qG,*%\"nG\"\"$\"\"&\"\"\"*$%\"jG\"\"#\"#@F/\"#=F-
-%#T0G6%F*,&F/\"\"(F+F-F-F-!\"\"*&)F(,*F*F+F,F-F.F1F/!#=F--F46%F*,&F/F
7!\"$F-F-F-F-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "A30:=negat
e(1,A29);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$A30G,&*&)%\"qG,*%\"nG
\"\"$\"\"&\"\"\"*$%\"jG\"\"#\"#@F/!#=F--%#T0G6%F*,&F/!\"(F+F-F-F-!\"\"
*&F'F--F46%F*,&F/\"\"(!\"$F-F-F-F-" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 16 "A31:=sym(1,A30);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>
%$A31G\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "
3 0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }