{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 33 "######### Proof for \+
6.79 and 6.96" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 42 "A:=q^(j^2+2*j)* gp(n+1, 2*j+
1, 1)+nothing;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"AG,&*&)%\"qG,&*$
%\"jG\"\"#\"\"\"F+F,F--%#gpG6%,&%\"nGF-F-F-,&F+F,F-F-F-F-F-%(nothingGF
-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 13 "A2:=eG0(1,A);" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#A2G,(*&)%\"qG,&*$%\"jG\"\"#\"\"\"F+
F,F--%#gpG6%%\"nG,&F+F,F-F-F-F-F-*&)F(,&F*F-F1F-F--F/6%F1,$F+F,F-F-F-%
(nothingGF-" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 34 "a:= q^(j^2) \+
* gp(n,2*j,1) + zilch;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%\"aG,&*&)%
\"qG*$%\"jG\"\"#\"\"\"-%#gpG6%%\"nG,$F*F+F,F,F,%&zilchGF," }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 14 "a2:= eG0(1,a);" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#>%#a2G,(*&)%\"qG*$%\"jG\"\"#\"\"\"-%#gpG6%,&%\"nGF,!\"
\"F,,$F*F+F,F,F,*&)F(,(F)F,F1F,F*!\"#F,-F.6%F0,&F*F+F2F,F,F,F,%&zilchG
F," }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "a3:= shiftup(2,a2);" 
}}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#a3G,(*&)%\"qG*$%\"jG\"\"#\"\"\"-%
#gpG6%,&%\"nGF,!\"\"F,,$F*F+F,F,F,*&)F(,(F)F,F2F,F1F,F,-F.6%F0,&F*F+F,
F,F,F,F,%&zilchGF," }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "a4:= \+
eG1(2,a3);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#a4G,**&)%\"qG*$%\"jG
\"\"#\"\"\"-%#gpG6%,&%\"nGF,!\"\"F,,$F*F+F,F,F,*&)F(,(F)F,F2F,F1F,F,-F
.6%,&F1F,!\"#F,F3F,F,F,*&)F(,(F)F,F1F,F*F+F,-F.6%F9,&F*F+F,F,F,F,F,%&z
ilchGF," }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 68 "S:=[seq(sort(expand(add( q^(j^2) * \+
gp(n,2*j,1), j=0..n))),n=0..20)]:" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 50 "for i from 1 to 6 do print('S',[i-1],`=`,S[i]) od;" }
}{PARA 11 "" 1 "" {XPPMATH 20 "6&%\"SG7#\"\"!%\"=G\"\"\"" }}{PARA 11 "
" 1 "" {XPPMATH 20 "6&%\"SG7#\"\"\"%\"=GF%" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6&%\"SG7#\"\"#%\"=G,&%\"qG\"\"\"F)F)" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6&%\"SG7#\"\"$%\"=G,**$%\"qGF%\"\"\"*$F)\"\"#F*F)F*F*F*" 
}}{PARA 11 "" 1 "" {XPPMATH 20 "6&%\"SG7#\"\"%%\"=G,.*$%\"qG\"\"&\"\"
\"*$F)F%\"\"#*$F)\"\"$F-*$F)F-F+F)F+F+F+" }}{PARA 11 "" 1 "" {XPPMATH 
20 "6&%\"SG7#\"\"&%\"=G,4*$%\"qG\"\")\"\"\"*$F)\"\"(\"\"#*$F)\"\"'F.*$
F)F%\"\"$*$F)\"\"%F2*$F)F2F.*$F)F.F+F)F+F+F+" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 78 "T:=[seq(sort(expand(add( q^(j^2 + 2*j) * gp(n+1,
2*j+1,1), j=0..n))),n=0..20)]:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 
1 0 50 "for i from 1 to 6 do print('T',[i-1],`=`,T[i]) od;" }}{PARA 
11 "" 1 "" {XPPMATH 20 "6&%\"TG7#\"\"!%\"=G\"\"\"" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6&%\"TG7#\"\"\"%\"=G,&%\"qGF%F%F%" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6&%\"TG7#\"\"#%\"=G,**$%\"qG\"\"$\"\"\"*$F)F%F+F)F+F+F+" 
}}{PARA 11 "" 1 "" {XPPMATH 20 "6&%\"TG7#\"\"$%\"=G,0*$%\"qG\"\"'\"\"
\"*$F)\"\"&F+*$F)\"\"%F+*$F)F%\"\"#*$F)F1F+F)F+F+F+" }}{PARA 11 "" 1 "
" {XPPMATH 20 "6&%\"TG7#\"\"%%\"=G,6*$%\"qG\"\"*\"\"\"*$F)\"\")\"\"#*$
F)\"\"(F.*$F)\"\"'F.*$F)\"\"&F.*$F)F%F.*$F)\"\"$F.*$F)F.F+F)F+F+F+" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6&%\"TG7#\"\"&%\"=G,>*$%\"qG\"#8\"\"\"*$
F)\"#7\"\"#*$F)\"#6F.*$F)\"#5\"\"$*$F)\"\"*\"\"%*$F)\"\")F6*$F)\"\"(F3
*$F)\"\"'F3*$F)F%F3*$F)F6F.*$F)F3F.*$F)F.F+F)F+F+F+" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 81 "for i from 1 to 5 do\n   print( expand(op
(i+1,T) - q^(i)*op(i+1,S) - op(i,T)))\nod;" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#\"\"!" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"!" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"!" }}{PARA 11 "" 1 "" {XPPMATH 20 
"6#\"\"!" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"!" }}}{EXCHG {PARA 0 "
> " 0 "" {MPLTEXT 1 0 108 "for i from 3 to 8 do\n   print( expand( op(
i+1,S) - op(i-1+1,S) - q^(i-1)*op(i-2+1,S) - q^i*op(i-3+1,T))) od;" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"!" }}{PARA 11 "" 1 "" {XPPMATH 20 
"6#\"\"!" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"!" }}{PARA 11 "" 1 "" 
{XPPMATH 20 "6#\"\"!" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"!" }}
{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 92 "# This is one of the two required recurrences for the
 \n# simultaneous proof of 6.79 and 6.96" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 330 "C:=  q
^(15*j^2 +   7*j   ) * Trb(n+1, 6*j+1, 6*j+1, 1)\n   - q^(15*j^2 +   7
*j   ) * Trb(n  , 6*j+1, 6*j+1, 1)\n   - q^(15*j^2 + 17*j + 4) * Trb(n
+1, 6*j+3, 6*j+3, 1)\n   + q^(15*j^2 + 17*j + 4) * Trb(n  , 6*j+3, 6*j
+3, 1)\n   - q^(15*j^2 +    j + n) * Trb(n  , 6*j  , 6*j,   1)\n   + q
^(15*j^2 + 19*j+6+n) * Trb(n  , 6*j+4, 6*j+4, 1);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%\"CG,.*&)%\"qG,&*$%\"jG\"\"#\"#:F+\"\"(\"\"\"-%$TrbG6
&,&%\"nGF/F/F/,&F+\"\"'F/F/F5F/F/F/*&F'F/-F16&F4F5F5F/F/!\"\"*&)F(,(F*
F-F+\"#<\"\"%F/F/-F16&F3,&F+F6\"\"$F/FBF/F/F:*&F<F/-F16&F4FBFBF/F/F/*&
)F(,(F*F-F+F/F4F/F/-F16&F4,$F+F6FLF/F/F:*&)F(,*F*F-F+\"#>F6F/F4F/F/-F1
6&F4,&F+F6F?F/FSF/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 40 " \+
   simplify(add(subs(n=8,d3),j=-3..3));" }}{PARA 11 "" 1 "" {XPPMATH 
20 "6#\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "c2:= eTrb28(
1,C);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#c2G,**&)%\"qG,(*$%\"jG\"\"
#\"#:F+\"\"(%\"nG\"\"\"F0-%$TrbG6&F/,&F+\"\"'F0F0,&F+F5F,F0F0F0F0*&)F(
,(F*F-F+\"#<\"\"%F0F0-F26&,&F/F0F0F0,&F+F5\"\"$F0F?F0F0!\"\"*&F8F0-F26
&F/F?F?F0F0F0*&)F(,*F*F-F+\"#>F5F0F/F0F0-F26&F/,&F+F5F;F0FKF0F0F0" }}}
{EXCHG {PARA 11 "" 1 "" {TEXT -1 0 "" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 18 "c3:= eTrb28(2,c2);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6
#>%#c3G,**&)%\"qG,(*$%\"jG\"\"#\"#:F+\"\"(%\"nG\"\"\"F0-%$TrbG6&F/,&F+
\"\"'F0F0,&F+F5F,F0F0F0F0*&)F(,*F*F-F+\"#<\"\"%F0F/F0F0-F26&F/,&F+F5\"
\"$F0,&F+F5F;F0F0F0!\"\"*&)F(,*F*F-F+\"#6F,F0F/F0F0-F26&F/F6F6F0F0FA*&
)F(,*F*F-F+\"#>F5F0F/F0F0-F26&F/F@F@F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 21 "c4:= shiftdown(4,c3);" }}{PARA 12 "" 1 "" {XPPMATH 
20 "6#>%#c4G,**&)%\"qG,(*$%\"jG\"\"#\"#:F+\"\"(%\"nG\"\"\"F0-%$TrbG6&F
/,&F+\"\"'F0F0,&F+F5F,F0F0F0F0*&)F(,*F*F-F+\"#<\"\"%F0F/F0F0-F26&F/,&F
+F5\"\"$F0,&F+F5F;F0F0F0!\"\"*&)F(,*F*F-F+\"#6F,F0F/F0F0-F26&F/F6F6F0F
0FA*&)F(,*F*F-F+!#6F,F0F/F0F0-F26&F/,&F+F5!\"#F0FNF0F0F0" }}}{EXCHG 
{PARA 0 "> " 0 "" {MPLTEXT 1 0 53 "### After negate & sym, the 3rd and
 4th terms cancel:" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 29 "c5:= \+
c4 - op(3,c4) -op(4,c4);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#c5G,&*&
)%\"qG,(*$%\"jG\"\"#\"#:F+\"\"(%\"nG\"\"\"F0-%$TrbG6&F/,&F+\"\"'F0F0,&
F+F5F,F0F0F0F0*&)F(,*F*F-F+\"#<\"\"%F0F/F0F0-F26&F/,&F+F5\"\"$F0,&F+F5
F;F0F0F0!\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "c6:= shift
down(2,c5);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%#c6G,&*&)%\"qG,(*$%\"
jG\"\"#\"#:F+\"\"(%\"nG\"\"\"F0-%$TrbG6&F/,&F+\"\"'F0F0,&F+F5F,F0F0F0F
0*&)F(,*F*F-F+!#8F,F0F/F0F0-F26&F/,&F+F5!\"$F0,&F+F5!\"#F0F0F0!\"\"" }
}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 70 "### replace j by -j in 2nd
 term; then apply (2.15) from lattice gases." }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 60 "expand( 15*j^2 + 13*j + n + 2 -(6*j+2)*(6*j+3) +
 (6*j+2)^2);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#,(*$%\"jG\"\"#\"#:F%\"
\"(%\"nG\"\"\"" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 464 "d1:=  q^
(15*j^2 +    j        ) * Trb(n  , 6*j  ,6*j  ,1)\n     -q^(15*j^2 + 1
9*j +     6) * Trb(n  , 6*j+4,6*j+4,1)\n     -q^(15*j^2 +    j        \+
) * Trb(n-1, 6*j  ,6*j  ,1)\n     +q^(15*j^2 + 19*j +     6) * Trb(n-1
, 6*j+4,6*j+4,1)\n     -q^(15*j^2 +    j + n - 1) * Trb(n-2, 6*j  ,6*j
  ,1)\n     +q^(15*j^2 + 19*j + n + 5) * Trb(n-2, 6*j+4,6*j+4,1)\n    \+
 -q^(15*j^2 +  7*j + n    ) * Trb(n-2, 6*j+1,6*j+1,1)\n     +q^(15*j^2
 + 17*j + n + 4) * Trb(n-2, 6*j+3,6*j+3,1);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%#d1G,2*&)%\"qG,&*$%\"jG\"\"#\"#:F+\"\"\"F.-%$TrbG6&%
\"nG,$F+\"\"'F3F.F.F.*&)F(,(F*F-F+\"#>F4F.F.-F06&F2,&F+F4\"\"%F.F;F.F.
!\"\"*&F'F.-F06&,&F2F.F=F.F3F3F.F.F=*&F6F.-F06&FAF;F;F.F.F.*&)F(,*F*F-
F+F.F2F.F=F.F.-F06&,&F2F.!\"#F.F3F3F.F.F=*&)F(,*F*F-F+F8F2F.\"\"&F.F.-
F06&FJF;F;F.F.F.*&)F(,(F*F-F+\"\"(F2F.F.-F06&FJ,&F+F4F.F.FXF.F.F=*&)F(
,*F*F-F+\"#<F<F.F2F.F.-F06&FJ,&F+F4\"\"$F.FinF.F.F." }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 18 "d2:= eTrb28(1,d1);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%#d2G,2*&)%\"qG,**$%\"jG\"\"#\"#:F+\"\"\"%\"nGF.!\"\"F
.F.-%$TrbG6&,&F/F.F0F.,$F+\"\"',&F+F6F.F.F.F.F.*&)F(,(F*F-F+!\"&F/F.F.
-F26&F4,&F+F6F0F.F>F.F.F.*&)F(,(F*F-F+\"#>F6F.F.-F26&F/,&F+F6\"\"%F.FE
F.F.F0*&F@F.-F26&F4FEFEF.F.F.*&F'F.-F26&,&F/F.!\"#F.F5F5F.F.F0*&)F(,*F
*F-F+FBF/F.\"\"&F.F.-F26&FMFEFEF.F.F.*&)F(,(F*F-F+\"\"(F/F.F.-F26&FMF7
F7F.F.F0*&)F(,*F*F-F+\"#<FFF.F/F.F.-F26&FM,&F+F6\"\"$F.F[oF.F.F." }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "d3:= eTrb1(1,d2);" }}{PARA 
12 "" 1 "" {XPPMATH 20 "6#>%#d3G,2*&)%\"qG,**$%\"jG\"\"#\"#:F+\"\"\"%
\"nGF,!\"$F.F.-%$TrbG6&,&F/F.!\"#F.,$F+\"\"',&F+F7F.F.F.F.F.*&)F(,(F*F
-F+\"\"(F/F.F.-F26&F4,&F+F7F,F.F?F.F.F.*&)F(,(F*F-F+!\"&F/F.F.-F26&,&F
/F.!\"\"F.,&F+F7FGF.FHF.F.F.*&)F(,(F*F-F+\"#>F7F.F.-F26&F/,&F+F7\"\"%F
.FOF.F.FG*&FJF.-F26&FFFOFOF.F.F.*&)F(,*F*F-F+FLF/F.\"\"&F.F.-F26&F4FOF
OF.F.F.*&F:F.-F26&F4F8F8F.F.FG*&)F(,*F*F-F+\"#<FPF.F/F.F.-F26&F4,&F+F7
\"\"$F.F]oF.F.F." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "d4:= eT
rb00(7,d3);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#d4G,.*&)%\"qG,(*$%\"
jG\"\"#\"#:F+!\"&%\"nG\"\"\"F0-%$TrbG6&,&F/F0!\"\"F0,&F+\"\"'F5F0F6F0F
0F0*&)F(,(F*F-F+\"#>F7F0F0-F26&F/,&F+F7\"\"%F0F>F0F0F5*&F9F0-F26&F4F>F
>F0F0F0*&)F(,*F*F-F+F;F/F0\"\"&F0F0-F26&,&F/F0!\"#F0F>F>F0F0F0*&)F(,*F
*F-F+\"\"(F/F,FJF0F0-F26&FI,&F+F7F0F0,&F+F7F,F0F0F0F0*&)F(,*F*F-F+\"#<
F?F0F/F0F0-F26&FI,&F+F7\"\"$F0FYF0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 18 "d5:= eTrb28(2,d4);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6
#>%#d5G,.*&)%\"qG,(*$%\"jG\"\"#\"#:F+!\"&%\"nG\"\"\"F0-%$TrbG6&,&F/F0!
\"\"F0,&F+\"\"'F5F0F6F0F0F0*&)F(,*F*F-F+\"#>F/F0\"\"&F0F0-F26&F4,&F+F7
\"\"%F0,&F+F7F<F0F0F0F5*&)F(,*F*F-F+\"#8F,F0F/F0F0-F26&F4,&F+F7\"\"$F0
FHF0F0F5*&F9F0-F26&,&F/F0!\"#F0F?F?F0F0F0*&)F(,*F*F-F+\"\"(F/F,FNF0F0-
F26&FM,&F+F7F0F0,&F+F7F,F0F0F0F0*&)F(,*F*F-F+\"#<F@F0F/F0F0-F26&FMFHFH
F0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "d6:= eTrb1(2,d5);
" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#d6G,.*&)%\"qG,(*$%\"jG\"\"#\"#:
F+!\"&%\"nG\"\"\"F0-%$TrbG6&,&F/F0!\"\"F0,&F+\"\"'F5F0F6F0F0F0*&)F(,*F
*F-F+\"#>F/F,\"\"$F0F0-F26&,&F/F0!\"#F0,&F+F7\"\"%F0,&F+F7\"\"&F0F0F0F
5*&)F(,*F*F-F+\"#D\"#5F0F/F0F0-F26&F?,&F+F7F7F0FLF0F0F5*&)F(,*F*F-F+\"
#8F,F0F/F0F0-F26&F4,&F+F7F<F0FSF0F0F5*&)F(,*F*F-F+\"\"(F/F,F@F0F0-F26&
F?,&F+F7F0F0,&F+F7F,F0F0F0F0*&)F(,*F*F-F+\"#<FBF0F/F0F0-F26&F?FSFSF0F0
F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 21 "d7:= shiftdown(3,d6);
" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#d7G,.*&)%\"qG,(*$%\"jG\"\"#\"#:
F+!\"&%\"nG\"\"\"F0-%$TrbG6&,&F/F0!\"\"F0,&F+\"\"'F5F0F6F0F0F0*&)F(,*F
*F-F+\"#>F/F,\"\"$F0F0-F26&,&F/F0!\"#F0,&F+F7\"\"%F0,&F+F7\"\"&F0F0F0F
5*&F'F0-F26&F?,$F+F7FHF0F0F5*&)F(,*F*F-F+\"#8F,F0F/F0F0-F26&F4,&F+F7F<
F0FOF0F0F5*&)F(,*F*F-F+\"\"(F/F,F@F0F0-F26&F?,&F+F7F0F0,&F+F7F,F0F0F0F
0*&)F(,*F*F-F+\"#<FBF0F/F0F0-F26&F?FOFOF0F0F0" }}}{EXCHG {PARA 0 "> " 
0 "" {MPLTEXT 1 0 17 "d8:= eTrb0(1,d7);" }}{PARA 12 "" 1 "" {XPPMATH 
20 "6#>%#d8G,.*&)%\"qG,(*$%\"jG\"\"#\"#:F+!#6%\"nGF,\"\"\"-%$TrbG6&,&F
/F0!\"#F0,&F+\"\"'F5F0F6F0F0F0*&)F(,*F*F-F+F.F/F,!\"\"F0F0-F26&F4F6,&F
+F7F;F0F0F0F0*&)F(,*F*F-F+\"#>F/F,\"\"$F0F0-F26&F4,&F+F7\"\"%F0,&F+F7
\"\"&F0F0F0F;*&)F(,*F*F-F+\"#8F,F0F/F0F0-F26&,&F/F0F;F0,&F+F7FCF0FQF0F
0F;*&)F(,*F*F-F+\"\"(F/F,F5F0F0-F26&F4,&F+F7F0F0,&F+F7F,F0F0F0F0*&)F(,
*F*F-F+\"#<FGF0F/F0F0-F26&F4FQFQF0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 21 "d9:= shiftdown(3,d8);" }}{PARA 12 "" 1 "" {XPPMATH 
20 "6#>%#d9G,**&)%\"qG,(*$%\"jG\"\"#\"#:F+!#6%\"nGF,\"\"\"-%$TrbG6&,&F
/F0!\"#F0,&F+\"\"'F5F0F6F0F0F0*&)F(,*F*F-F+\"#8F,F0F/F0F0-F26&,&F/F0!
\"\"F0,&F+F7\"\"$F0F@F0F0F?*&)F(,*F*F-F+\"\"(F/F,F5F0F0-F26&F4,&F+F7F0
F0,&F+F7F,F0F0F0F0*&)F(,*F*F-F+\"#<\"\"%F0F/F0F0-F26&F4F@F@F0F0F0" }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "d10:= shiftdown(4,d9);" }}
{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$d10G,**&)%\"qG,(*$%\"jG\"\"#\"#:F+!
#6%\"nGF,\"\"\"-%$TrbG6&,&F/F0!\"#F0,&F+\"\"'F5F0F6F0F0F0*&)F(,*F*F-F+
\"#8F,F0F/F0F0-F26&,&F/F0!\"\"F0,&F+F7\"\"$F0F@F0F0F?*&)F(,*F*F-F+\"\"
(F/F,F5F0F0-F26&F4,&F+F7F0F0,&F+F7F,F0F0F0F0*&)F(,*F*F-F+!#8F,F0F/F0F0
-F26&F4,&F+F7!\"$F0FPF0F0F0" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 
20 "d11:= eTrb29(2,d10);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$d11G,**
&)%\"qG,(*$%\"jG\"\"#\"#:F+!#6%\"nGF,\"\"\"-%$TrbG6&,&F/F0!\"#F0,&F+\"
\"'F5F0F6F0F0F0*&)F(,*F*F-F+\"#8F,F0F/F0F0-F26&F4,&F+F7\"\"$F0F>F0F0!
\"\"*&)F(,*F*F-F+\"#>\"\"%F0F/F,F0-F26&F4,&F+F7FEF0FHF0F0F@*&)F(,*F*F-
F+!#8F,F0F/F0F0-F26&F4,&F+F7!\"$F0FOF0F0F0" }}}{EXCHG {PARA 0 "> " 0 "
" {MPLTEXT 1 0 23 "d12:= shiftdown(3,d11);" }}{PARA 12 "" 1 "" 
{XPPMATH 20 "6#>%$d12G,&*&)%\"qG,**$%\"jG\"\"#\"#:F+\"#8F,\"\"\"%\"nGF
/F/-%$TrbG6&,&F0F/!\"#F/,&F+\"\"'\"\"$F/F6F/F/!\"\"*&)F(,*F*F-F+!#8F,F
/F0F/F/-F26&F4,&F+F7!\"$F/F@F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" 
{MPLTEXT 1 0 44 "#### replace j by -j in 2 in apply symmetry." }}}
{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 39 "  simplify(add(subs(n=6,d11)
,j=-3..3));" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#\"\"!" }}}{EXCHG {PARA 
0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "1 0 0" 0 }{VIEWOPTS 1 1 0 1 
1 1803 }