{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 14 "######### 3.11" }}} {EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 10 "### 3.11-b" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 101 "op11:= annihiloper( q^(j^2+j) * qfac(-q,q^2,j) / ( qfac(q,q^2,j +1) * spqfac(q^2,q^2,j)), 0, forward);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%%op11G,**$%\"NG\"\"#\"\"\"*&,(!\"\"F))%\"qG,&%\"nGF(\"\"%F)F,F .F,F)F'F)F)F.F))F.,&\"\"$F)F0F(F," }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 64 "a1:= ap plyshiftop(op11, q^(6*j^2 + 2*j)* gp(2*n+1, n+ 3*j+1,1));" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a1G,.*&)%\"qG,(*$%\"jG\"\"#\"\"'F+F,\"\"\"F. F.-%#gpG6%,&%\"nGF,F.F.,(F3F.F+\"\"$F.F.F.F.F.*&)F(,*F*F-F+F,F5F.F3F,F .F/F.!\"\"*&-F06%,&F5F.F3F,,(F3F.F,F.F+F5F.F.F'F.F9*&F;F.)F(,*F*F-F+F, F3F,\"\"%F.F.F9*&)F(,&F*F-F+F,F.F;F.F9*&FDF.-F06%,&F3F,\"\"&F.,(F3F.F5 F.F+F5F.F.F." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "altsign:= t rue;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%(altsignG%%trueG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "a2:= eG0(6,a1);" }}{PARA 12 "" 1 " " {XPPMATH 20 "6#>%#a2G,0*&)%\"qG,(*$%\"jG\"\"#\"\"'F+F,\"\"\"F.F.-%#g pG6%,&%\"nGF,F.F.,(F3F.F+\"\"$F.F.F.F.F.*&)F(,*F*F-F+F,F5F.F3F,F.F/F.! \"\"*&-F06%,&F5F.F3F,,(F3F.F,F.F+F5F.F.F'F.F9*&F;F.)F(,*F*F-F+F,F3F,\" \"%F.F.F9*&)F(,&F*F-F+F,F.F;F.F9*&FDF.-F06%,&F3F,FBF.,(F3F.F5F.F+F5F.F .F.*&)F(,*F*F-F+F9F3F.F,F.F.-F06%FIF>F.F.F." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "a3:= eG1(3,a2);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6 #>%#a3G,2*&)%\"qG,(*$%\"jG\"\"#\"\"'F+F,\"\"\"F.F.-%#gpG6%,&%\"nGF,F.F .,(F3F.F+\"\"$F.F.F.F.F.*&)F(,*F*F-F+F,F5F.F3F,F.F/F.!\"\"*&F'F.-F06%, &F,F.F3F,F4F.F.F9*&)F(,*F*F-F+\"\"&F5F.F3F.F.-F06%F=,(F3F.F,F.F+F5F.F. F9*&-F06%,&F5F.F3F,FDF.F.)F(,*F*F-F+F,F3F,\"\"%F.F.F9*&)F(,&F*F-F+F,F. FFF.F9*&FMF.-F06%,&F3F,FKF.,(F3F.F5F.F+F5F.F.F.*&)F(,*F*F-F+F9F3F.F,F. F.-F06%FRFDF.F.F." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "a4:= e G0(3,a3);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a4G,0*&)%\"qG,**$%\"jG \"\"#\"\"'F+F,\"\"$\"\"\"%\"nGF,F/-%#gpG6%,&F0F,F/F/,(F0F/F+F.F/F/F/F/ !\"\"*&)F(,*F*F-F+F6F0F/F,F/F/-F26%F4,&F0F/F+F.F/F/F6*&)F(,*F*F-F+\"\" &F.F/F0F/F/-F26%,&F,F/F0F,,(F0F/F,F/F+F.F/F/F6*&-F26%,&F.F/F0F,FDF/F/) F(,*F*F-F+F,F0F,\"\"%F/F/F6*&)F(,&F*F-F+F,F/FFF/F6*&FMF/-F26%,&F0F,FKF /,(F0F/F.F/F+F.F/F/F/*&F8F/-F26%FRFDF/F/F/" }}}{EXCHG {PARA 0 "> " 0 " " {MPLTEXT 1 0 15 "a5:= eG1(6,a4);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6# >%#a5G,.*&)%\"qG,**$%\"jG\"\"#\"\"'F+F,\"\"$\"\"\"%\"nGF,F/-%#gpG6%,&F 0F,F/F/,(F0F/F+F.F/F/F/F/!\"\"*&)F(,*F*F-F+F6F0F/F,F/F/-F26%F4,&F0F/F+ F.F/F/F6*&)F(,*F*F-F+\"\"&F.F/F0F/F/-F26%,&F,F/F0F,,(F0F/F,F/F+F.F/F/F 6*&-F26%,&F.F/F0F,FDF/F/)F(,*F*F-F+F,F0F,\"\"%F/F/F6*&F>F/-F26%FH,(F0F /F.F/F+F.F/F/F/*&F8F/-F26%,&F0F,FKF/FDF/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "a6:= eG1(5,a5);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a6G,,*&)%\"qG,**$%\"jG\"\"#\"\"'F+F,\"\"$\"\"\"%\"nGF,F/-%#gpG6% ,&F0F,F/F/,(F0F/F+F.F/F/F/F/!\"\"*&)F(,*F*F-F+F6F0F/F,F/F/-F26%F4,&F0F /F+F.F/F/F6*&-F26%,&F.F/F0F,,(F0F/F,F/F+F.F/F/)F(,*F*F-F+F,F0F,\"\"%F/ F/F6*&)F(,*F*F-F+\"\")F-F/F0F,F/-F26%,&F,F/F0F,,(F0F/F.F/F+F.F/F/F/*&F 8F/-F26%,&F0F,FDF/FAF/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "a7:= eG1(5,a6);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a7G,**&)%\"q G,**$%\"jG\"\"#\"\"'F+F,\"\"$\"\"\"%\"nGF,F/-%#gpG6%,&F0F,F/F/,(F0F/F+ F.F/F/F/F/!\"\"*&)F(,*F*F-F+F6F0F/F,F/F/-F26%F4,&F0F/F+F.F/F/F6*&)F(,* F*F-F+\"\")F-F/F0F,F/-F26%,&F,F/F0F,,(F0F/F.F/F+F.F/F/F/*&F8F/-F26%,&F .F/F0F,F5F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "a8:= eG1 (4,a7);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a8G,,*&)%\"qG,**$%\"jG\" \"#\"\"'F+F,\"\"$\"\"\"%\"nGF,F/-%#gpG6%,&F0F,F/F/,(F0F/F+F.F/F/F/F/! \"\"*&)F(,*F*F-F+F6F0F/F,F/F/-F26%F4,&F0F/F+F.F/F/F6*&)F(,*F*F-F+\"\") F-F/F0F,F/-F26%,&F,F/F0F,,(F0F/F.F/F+F.F/F/F/*&F8F/-F26%FCF " 0 "" {MPLTEXT 1 0 15 "a9:= e G0(4,a8);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#a9G,**&)%\"qG,**$%\"jG \"\"#\"\"'F+F,\"\"$\"\"\"%\"nGF,F/-%#gpG6%,&F0F,F/F/,(F0F/F+F.F/F/F/F/ !\"\"*&)F(,*F*F-F+\"\")F-F/F0F,F/-F26%,&F,F/F0F,,(F0F/F.F/F+F.F/F/F/*& )F(,*F*F-F+!\"%F0F,\"\"%F/F/-F26%F4,(F0F/F+F.F6F/F/F/F/*&F'F/-F26%F=F5 F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "a10:= eG0(4,a9); " }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a10G,(*&)%\"qG,**$%\"jG\"\"#\" \"'F+\"\")F-\"\"\"%\"nGF,F/-%#gpG6%,&F,F/F0F,,(F0F/\"\"$F/F+F6F/F/F/*& )F(,*F*F-F+!\"%F0F,\"\"%F/F/-F26%,&F0F,F/F/,(F0F/F+F6!\"\"F/F/F/F/*&)F (,*F*F-F+F@F;F/F0F6F/-F26%F>,&F0F/F+F6F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 22 "a11:=shiftdown(1,a10);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$a11G,(*&)%\"qG,**$%\"jG\"\"#\"\"'F+!\"%%\"nGF,\"\"% \"\"\"F1-%#gpG6%,&F,F1F/F,,&F/F1F+\"\"$F1F1!\"\"*&F'F1-F36%,&F/F,F1F1, (F/F1F+F7F8F1F1F1F1*&)F(,*F*F-F+F8F0F1F/F7F1-F36%F " 0 "" {MPLTEXT 1 0 17 "a12:= eG1(1,a11);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$a12G\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "####### ## 3.11-t" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 5 "op11;" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#,**$%\"NG\"\"#\"\"\"*&,(%\"qG!\"\")F*,&%\"nG F&\"\"%F'F+F+F'F'F%F'F'F*F')F*,&\"\"$F'F.F&F+" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 54 "b1:= applyshiftop(op11, q^(4*j^2 + 2*j) * U(n,2* j,1));" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#b1G,.*&)%\"qG,(*$%\"jG\" \"#\"\"%F+F,\"\"\"F.F.-%\"UG6%%\"nG,$F+F,F.F.F.*&)F(,*F*F-F+F,\"\"$F.F 2F,F.F/F.!\"\"*&F'F.-F06%,&F2F.F.F.F3F.F.F8*&)F(,*F*F-F+F,F2F,F-F.F.F: F.F8*&)F(,&F*F-F+F,F.F:F.F8*&FAF.-F06%,&F2F.F,F.F3F.F.F." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "altsign:=false;" }}{PARA 11 "" 1 " " {XPPMATH 20 "6#>%(altsignG%&falseG" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "b2:= eU1(6,b1);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>% #b2G,0*&)%\"qG,(*$%\"jG\"\"#\"\"%F+F,\"\"\"F.F.-%\"UG6%%\"nG,$F+F,F.F. F.*&)F(,*F*F-F+F,\"\"$F.F2F,F.F/F.!\"\"*&F'F.-F06%,&F2F.F.F.F3F.F.F8*& )F(,*F*F-F+F,F2F,F-F.F.F:F.F8*&F5F.F:F.F.*&)F(,(F*F-F2F.F,F.F.-%#T1G6% F<,&F+F,F8F.F.F.F.*&)F(,*F*F-F+F-F2F.F7F.F.-FE6%F<,&F+F,F,F.F.F.F." }} }{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "b3:= eU1(3,b2);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#b3G,2*&)%\"qG,**$%\"jG\"\"#\"\"%F+F,\"\"$ \"\"\"%\"nGF,F/-%\"UG6%F0,$F+F,F/F/!\"\"*&)F(,*F*F-F+F,F,F/F0F,F/F1F/F 5*&)F(,(F*F-F0F/F,F/F/-%#T1G6%F0,&F+F,F5F/F/F/F5*&)F(,*F*F-F+F-F0F/F.F /F/-F=6%F0,&F+F,F,F/F/F/F5*&)F(,*F*F-F+F,F0F,F-F/F/-F26%,&F0F/F/F/F4F/ F/F5*&F'F/FIF/F/*&F:F/-F=6%FKF?F/F/F/*&FAF/-F=6%FKFEF/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "b4:= eU1(6,b3);" }}{PARA 12 "" 1 " " {XPPMATH 20 "6#>%#b4G,4*&)%\"qG,**$%\"jG\"\"#\"\"%F+F,F,\"\"\"%\"nGF ,F.-%\"UG6%F/,$F+F,F.F.!\"\"*&)F(,(F*F-F/F.F,F.F.-%#T1G6%F/,&F+F,F4F.F .F.F4*&)F(,*F*F-F+F-F/F.\"\"$F.F.-F96%F/,&F+F,F,F.F.F.F4*&)F(,*F*F-F+F ,F/F,F-F.F.-F16%,&F/F.F.F.F3F.F.F4*&)F(,*F*F-F+F,F-F.F/F-F.F0F.F.*&)F( ,(F*F-F-F.F/F?F.F8F.F.*&)F(,*F*F-F+F-\"\"&F.F/F?F.F@F.F.*&F6F.-F96%FHF ;F.F.F.*&F=F.-F96%FHFBF.F.F." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 15 "b5:= eT1(8,b4);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#b5G,4*&)% \"qG,**$%\"jG\"\"#\"\"%F+F,F,\"\"\"%\"nGF,F.-%\"UG6%F/,$F+F,F.F.!\"\"* &)F(,*F*F-F+F-F/F.\"\"$F.F.-%#T1G6%F/,&F+F,F,F.F.F.F4*&)F(,*F*F-F+F,F/ F,F-F.F.-F16%,&F/F.F.F.F3F.F.F4*&)F(,*F*F-F+F,F-F.F/F-F.F0F.F.*&)F(,(F *F-F-F.F/F8F.-F:6%F/,&F+F,F4F.F.F.F.*&)F(,*F*F-F+F-\"\"&F.F/F8F.F9F.F. *&F'F.-%#T0GF2F.F.*&)F(,*F*F-F/F,F-F.F+!\"#F.-FR6%F/,&F+F,FVF.F.F.F.*& F6F.-F:6%FBF " 0 "" {MPLTEXT 1 0 15 "b6:= eT1(9,b5);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#b6G,4*&)%\"qG,**$%\" jG\"\"#\"\"%F+F,F,\"\"\"%\"nGF,F.-%\"UG6%F/,$F+F,F.F.!\"\"*&)F(,*F*F-F +F,F/F,F-F.F.-F16%,&F/F.F.F.F3F.F.F4*&)F(,*F*F-F+F,F-F.F/F-F.F0F.F.*&) F(,(F*F-F-F.F/\"\"$F.-%#T1G6%F/,&F+F,F4F.F.F.F.*&)F(,*F*F-F+F-\"\"&F.F /FAF.-FC6%F/,&F+F,F,F.F.F.F.*&F'F.-%#T0GF2F.F.*&)F(,*F*F-F/F,F-F.F+!\" #F.-FO6%F/,&F+F,FSF.F.F.F.*&)F(,*F*F-F+\"\"'F/F,FZF.F.-FO6%F/,&F+F,FAF .F.F.F.*&F'F.-FO6%F/,&F+F,F.F.F.F.F." }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "b7:= splitU(1,b6);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6 #>%#b7G,.*&)%\"qG,**$%\"jG\"\"#\"\"%F+F,%\"nGF,F-\"\"\"F/-%\"UG6%,&F.F /F/F/,$F+F,F/F/!\"\"*&)F(,*F*F-F+F,F-F/F.F-F/-F16%F.F4F/F/F/*&)F(,(F*F -F-F/F.\"\"$F/-%#T1G6%F.,&F+F,F5F/F/F/F/*&)F(,*F*F-F+F-\"\"&F/F.F>F/-F @6%F.,&F+F,F,F/F/F/F/*&)F(,*F*F-F.F,F-F/F+!\"#F/-%#T0G6%F.,&F+F,FMF/F/ F/F/*&)F(,*F*F-F+\"\"'F.F,FUF/F/-FO6%F.,&F+F,F>F/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "b8:= negate(5,b7);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#b8G,.*&)%\"qG,**$%\"jG\"\"#\"\"%F+F,%\"nGF,F-\" \"\"F/-%\"UG6%,&F.F/F/F/,$F+F,F/F/!\"\"*&)F(,*F*F-F+F,F-F/F.F-F/-F16%F .F4F/F/F/*&)F(,(F*F-F-F/F.\"\"$F/-%#T1G6%F.,&F+F,F5F/F/F/F/*&)F(,*F*F- F+F-\"\"&F/F.F>F/-F@6%F.,&F+F,F,F/F/F/F/*&F'F/-%#T0G6%F.,&F+!\"#FOF/F/ F/F/*&)F(,*F*F-F+\"\"'F.F,FSF/F/-FL6%F.,&F+F,F>F/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 18 "b9:= splitU(1,b8);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%#b9G,0*&)%\"qG,**$%\"jG\"\"#\"\"%F+F,%\"nGF,F-\" \"\"F/-%#T0G6%,&F.F/F/F/,$F+F,F/F/!\"\"*&F'F/-F16%F3,&F+F,F/F/F/F/F5*& )F(,*F*F-F+F,F-F/F.F-F/-%\"UG6%F.F4F/F/F/*&)F(,(F*F-F-F/F.\"\"$F/-%#T1 G6%F.,&F+F,F5F/F/F/F/*&)F(,*F*F-F+F-\"\"&F/F.FCF/-FE6%F.,&F+F,F,F/F/F/ F/*&F'F/-F16%F.,&F+!\"#FSF/F/F/F/*&)F(,*F*F-F+\"\"'F.F,FWF/F/-F16%F.,& F+F,FCF/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "b10:= sym (2,b9);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b10G,0*&)%\"qG,**$%\"jG \"\"#\"\"%F+F,%\"nGF,F-\"\"\"F/-%#T0G6%,&F.F/F/F/,$F+F,F/F/!\"\"*&F'F/ -F16%F3,&F+!\"#F5F/F/F/F5*&)F(,*F*F-F+F,F-F/F.F-F/-%\"UG6%F.F4F/F/F/*& )F(,(F*F-F-F/F.\"\"$F/-%#T1G6%F.,&F+F,F5F/F/F/F/*&)F(,*F*F-F+F-\"\"&F/ F.FDF/-FF6%F.,&F+F,F,F/F/F/F/*&F'F/-F16%F.,&F+F:F:F/F/F/F/*&)F(,*F*F-F +\"\"'F.F,FWF/F/-F16%F.,&F+F,FDF/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "b11:= eT0(2,b10);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6# >%$b11G,0*&)%\"qG,**$%\"jG\"\"#\"\"%F+F,%\"nGF,F-\"\"\"F/-%#T0G6%,&F.F /F/F/,$F+F,F/F/!\"\"*&)F(,(F*F-F-F/F.\"\"$F/-%#T1G6%F.,&F+!\"#F5F/F/F/ F5*&)F(,*F*F-F.F-F-F/F+F>F/-F16%F.,$F+F>F/F/F5*&)F(,*F*F-F+F,F-F/F.F-F /-%\"UG6%F.F4F/F/F/*&F7F/-F;6%F.,&F+F,F5F/F/F/F/*&)F(,*F*F-F+F-\"\"&F/ F.F9F/-F;6%F.,&F+F,F,F/F/F/F/*&)F(,*F*F-F+\"\"'F.F,FYF/F/-F16%F.,&F+F, F9F/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "b12:= shiftdo wn(7,b11);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b12G,0*&)%\"qG,**$%\" jG\"\"#\"\"%F+F,%\"nGF,F-\"\"\"F/-%#T0G6%,&F.F/F/F/,$F+F,F/F/!\"\"*&)F (,(F*F-F-F/F.\"\"$F/-%#T1G6%F.,&F+!\"#F5F/F/F/F5*&)F(,*F*F-F.F-F-F/F+F >F/-F16%F.,$F+F>F/F/F5*&)F(,*F*F-F+F,F-F/F.F-F/-%\"UG6%F.F4F/F/F/*&F7F /-F;6%F.,&F+F,F5F/F/F/F/*&)F(,*F*F-F+F-\"\"&F/F.F9F/-F;6%F.,&F+F,F,F/F /F/F/*&)F(,*F*F-F.F,F-F/F+F>F/-F16%F.,&F+F,F/F/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "b13:= eT0(1,b12);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b13G,4*&)%\"qG,**$%\"jG\"\"#\"\"%F+F,%\"nGF,F-\" \"\"F/-%#T0G6%F.,&F+F,!\"\"F/F/F/F4*&)F(,*F*F-F+F-\"\"&F/F.\"\"$F/-%#T 1G6%F.,$F+F,F/F/F4*&)F(,*F*F-F+\"\"'F.F-FAF/F/-F16%F.,&F+F,F/F/F/F/F4* &)F(,(F*F-F-F/F.F9F/-F;6%F.,&F+!\"#F4F/F/F/F4*&)F(,*F*F-F.F-F-F/F+FKF/ -F16%F.,$F+FKF/F/F4*&)F(,*F*F-F+F,F-F/F.F-F/-%\"UGF " 0 "" {MPLTEXT 1 0 20 "b14:= negate(9,b13);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b14G,4*&)%\"qG,**$%\"jG\"\"#\"\"%F+ F,%\"nGF,F-\"\"\"F/-%#T0G6%F.,&F+F,!\"\"F/F/F/F4*&)F(,*F*F-F+F-\"\"&F/ F.\"\"$F/-%#T1G6%F.,$F+F,F/F/F4*&)F(,*F*F-F+\"\"'F.F-FAF/F/-F16%F.,&F+ F,F/F/F/F/F4*&)F(,(F*F-F-F/F.F9F/-F;6%F.,&F+!\"#F4F/F/F/F4*&)F(,*F*F-F .F-F-F/F+FKF/-F16%F.,$F+FKF/F/F4*&)F(,*F*F-F+F,F-F/F.F-F/-%\"UGF " 0 "" {MPLTEXT 1 0 17 "b15:= sym(1,b14);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b15G,0*&)%\"qG,**$%\"jG\"\"#\"\"%F+ F-\"\"&\"\"\"%\"nG\"\"$F/-%#T1G6%F0,$F+F,F/F/!\"\"*&)F(,*F*F-F+\"\"'F0 F-F:F/F/-%#T0G6%F0,&F+F,F/F/F/F/F6*&)F(,(F*F-F-F/F0F1F/-F36%F0,&F+!\"# F6F/F/F/F6*&)F(,*F*F-F0F-F-F/F+FEF/-F<6%F0,$F+FEF/F/F6*&)F(,*F*F-F+F,F -F/F0F-F/-%\"UGF4F/F/*&F@F/-F36%F0,&F+F,F6F/F/F/F/*&F'F/-F36%F0,&F+F,F ,F/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "b16:= sym(3,b1 5);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b16G,0*&)%\"qG,**$%\"jG\"\"# \"\"%F+F-\"\"&\"\"\"%\"nG\"\"$F/-%#T1G6%F0,$F+F,F/F/!\"\"*&)F(,*F*F-F+ \"\"'F0F-F:F/F/-%#T0G6%F0,&F+F,F/F/F/F/F6*&)F(,(F*F-F-F/F0F1F/-F3F=F/F 6*&)F(,*F*F-F0F-F-F/F+!\"#F/-F<6%F0,$F+FFF/F/F6*&)F(,*F*F-F+F,F-F/F0F- F/-%\"UGF4F/F/*&F@F/-F36%F0,&F+F,F6F/F/F/F/*&F'F/-F36%F0,&F+F,F,F/F/F/ F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "b17:= e0(6,b16);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b17G,4*&)%\"qG,**$%\"jG\"\"#\"\"%F+ F-\"\"&\"\"\"%\"nG\"\"$F/-%#T1G6%F0,$F+F,F/F/!\"\"*&)F(,*F*F-F+\"\"'F0 F-F:F/F/-%#T0G6%F0,&F+F,F/F/F/F/F6*&)F(,(F*F-F-F/F0F1F/-F3F=F/F6*&)F(, *F*F-F0F-F-F/F+!\"#F/-F<6%F0,$F+FFF/F/F6*&)F(,*F*F-F+F,F-F/F0F-F/-%\"U GF4F/F/*&)F(,*F*F-F.F/F0F-F+FFF/-F<6%F0,&F+F,F6F/F/F/F/*&F@F/F2F/F/*&F KF/-F " 0 " " {MPLTEXT 1 0 16 "b18:= e0(7,b17);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6 #>%$b18G,4*&)%\"qG,**$%\"jG\"\"#\"\"%F+F-\"\"&\"\"\"%\"nG\"\"$F/-%#T1G 6%F0,$F+F,F/F/!\"\"*&)F(,*F*F-F+\"\"'F0F-F:F/F/-%#T0G6%F0,&F+F,F/F/F/F /F6*&)F(,*F*F-F0F-F-F/F+!\"#F/-F<6%F0,$F+FBF/F/F6*&)F(,*F*F-F+F,F-F/F0 F-F/-%\"UGF4F/F/*&)F(,*F*F-F.F/F0F-F+FBF/-F<6%F0,&F+F,F6F/F/F/F/*&F@F/ -F " 0 "" {MPLTEXT 1 0 17 "b19:= sym(3, b18);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b19G,0*&)%\"qG,**$%\"jG\" \"#\"\"%F+F-\"\"&\"\"\"%\"nG\"\"$F/-%#T1G6%F0,$F+F,F/F/!\"\"*&)F(,*F*F -F+\"\"'F0F-F:F/F/-%#T0G6%F0,&F+F,F/F/F/F/F6*&)F(,*F*F-F+F,F-F/F0F-F/- %\"UGF4F/F/*&)F(,*F*F-F.F/F0F-F+!\"#F/-F<6%F0,&F+F,F6F/F/F/F/*&)F(,*F* F-F+F,F0F-F.F/F/F;F/F6*&F@F/-F " 0 "" {MPLTEXT 1 0 20 "b20:= splitU(3,b19);" }} {PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b20G,.*&)%\"qG,**$%\"jG\"\"#\"\"%F+ F-\"\"&\"\"\"%\"nG\"\"$F/-%#T1G6%F0,$F+F,F/F/!\"\"*&)F(,*F*F-F+\"\"'F0 F-F:F/F/-%#T0G6%F0,&F+F,F/F/F/F/F6*&)F(,*F*F-F+F,F-F/F0F-F/F;F/F/*&)F( ,*F*F-F.F/F0F-F+!\"#F/-F<6%F0,&F+F,F6F/F/F/F/*&)F(,*F*F-F+F,F0F-F.F/F/ F;F/F6*&F'F/-F36%F0,&F+F,F,F/F/F/F/" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 16 "b21:= e0(1,b20);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#> %$b21G,.*&)%\"qG,**$%\"jG\"\"#\"\"%F+F,%\"nGF-\"\"&\"\"\"F0-%#T0G6%F., $F+F,F0F0!\"\"*&)F(,*F*F-F+F-F/F0F.\"\"$F0-%#T1G6%F.,&F+F,F0F0F0F0F5*& )F(,*F*F-F+F,F-F0F.F-F0-F2F " 0 "" {MPLTEXT 1 0 16 "b22:= e0(2,b21);" }}{PARA 12 "" 1 " " {XPPMATH 20 "6#>%$b22G,**&)%\"qG,**$%\"jG\"\"#\"\"%F+F,%\"nGF-\"\"& \"\"\"F0-%#T0G6%F.,$F+F,F0F0!\"\"*&)F(,*F*F-F+\"\"'\"\"(F0F.F-F0-F26%F .,&F+F,F,F0F0F0F0*&)F(,*F*F-F/F0F.F-F+!\"#F0-F26%F.,&F+F,F5F0F0F0F0*&F 'F0-F26%F.,&F+F,F0F0F0F0F5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 23 "b23:= shiftdown(2,b22);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b23G ,**&)%\"qG,**$%\"jG\"\"#\"\"%F+F,%\"nGF-\"\"&\"\"\"F0-%#T0G6%F.,$F+F,F 0F0!\"\"*&)F(,*F*F-F/F0F.F-F+!\"#F0F1F0F0*&F7F0-F26%F.,&F+F,F5F0F0F0F0 *&F'F0-F26%F.,&F+F,F0F0F0F0F5" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "b24:= sym(1,b23);" }}{PARA 12 "" 1 "" {XPPMATH 20 "6#>%$b24G,**& )%\"qG,**$%\"jG\"\"#\"\"%F+F,%\"nGF-\"\"&\"\"\"F0-%#T0G6%F.,$F+!\"#F0F 0!\"\"*&)F(,*F*F-F/F0F.F-F+F5F0-F26%F.,$F+F,F0F0F0*&F8F0-F26%F.,&F+F,F 6F0F0F0F0*&F'F0-F26%F.,&F+F,F0F0F0F0F6" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 19 "b25:=negate(1,b24);" }}{PARA 11 "" 1 "" {XPPMATH 20 " 6#>%$b25G,&*&)%\"qG,**$%\"jG\"\"#\"\"%\"\"&\"\"\"%\"nGF-F+!\"#F/-%#T0G 6%F0,&F+F,!\"\"F/F/F/F/*&)F(,*F*F-F+F,F0F-F.F/F/-F36%F0,&F+F,F/F/F/F/F 6" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 20 "b26:= negate(1,b25);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$b26G,&*&)%\"qG,**$%\"jG\"\"#\"\"% F+F,%\"nGF-\"\"&\"\"\"F0-%#T0G6%F.,&F+!\"#!\"\"F0F0F0F0*&F'F0-F26%F.,& F+F,F0F0F0F0F6" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 17 "b27:= sym (1,b26);" }}{PARA 11 "" 1 "" {XPPMATH 20 "6#>%$b27G\"\"!" }}}{EXCHG {PARA 0 "> " 0 "" {MPLTEXT 1 0 0 "" }}}}{MARK "4 0 0" 0 }{VIEWOPTS 1 1 0 1 1 1803 }