diff --git a/src/beamerinnerthememoloch.dtx b/src/beamerinnerthememoloch.dtx index b52d5ff..2ecc008 100644 --- a/src/beamerinnerthememoloch.dtx +++ b/src/beamerinnerthememoloch.dtx @@ -47,7 +47,16 @@ \RequirePackage{tikz} % \end{macrocode} % +% \subsubsection{Memoization and Tikz Externalization} % +% See the documentation for the correspondign section under the outer theme for +% more information on the following lines. +% +% \begin{macrocode} +\providecommand{\tikzexternalenable}{} +\providecommand{\tikzexternaldisable}{} +\providecommand{\mmzUnmemoizable}{} +% \end{macrocode} % % \subsubsection{Options} % diff --git a/src/beamerouterthememoloch.dtx b/src/beamerouterthememoloch.dtx index b38eb96..014604f 100644 --- a/src/beamerouterthememoloch.dtx +++ b/src/beamerouterthememoloch.dtx @@ -38,6 +38,20 @@ % \end{macrocode} % % +% \subsubsection{Memoization and Tikz Externalization} +% +% To avoid generating externalized figures of the progressbar we have to disable +% them with ``tikzexternalenable'' and ``tikzexternaldisable''. However, if the +% ``external'' library is not loaded we would get undefined control sequence +% problems, hence we define them as no-ops if they are not defined yet. +% We do the same for the ``mmzUnmemoizable'' command from the memoize package, in +% order to avoid memoization of the progress bars. +% +% \begin{macrocode} +\providecommand{\tikzexternalenable}{} +\providecommand{\tikzexternaldisable}{} +\providecommand{\mmzUnmemoizable}{} +% \end{macrocode} % % \subsubsection{Options} % diff --git a/src/beamerthememoloch.dtx b/src/beamerthememoloch.dtx index d869638..97aacef 100644 --- a/src/beamerthememoloch.dtx +++ b/src/beamerthememoloch.dtx @@ -104,19 +104,6 @@ } % \end{macrocode} % -% To avoid generating externalized figures of the progressbar we have to disable -% them with ``tikzexternalenable'' and ``tikzexternaldisable''. However, if the -% ``external'' library is not loaded we would get undefined control sequence -% problems, hence we define them as no-ops if they are not defined yet. -% We do the same for the ``mmzUnmemoizable'' command from the memoize package, in -% order to avoid memoization of the progress bars. -% -% \begin{macrocode} -\providecommand{\tikzexternalenable}{} -\providecommand{\tikzexternaldisable}{} -\providecommand{\mmzUnmemoizable}{} -% \end{macrocode} -% % \subsubsection{Component Sub-Packages} % % Having processed the options, we can now load the component sub-packages of diff --git a/testfiles/separation.lvt b/testfiles/separation.lvt new file mode 100644 index 0000000..328e6f1 --- /dev/null +++ b/testfiles/separation.lvt @@ -0,0 +1,10 @@ +\documentclass[hyperref={draft}]{beamer} + +\useoutertheme{moloch} +\useinnertheme{moloch} +\usefonttheme{moloch} +\usecolortheme{moloch} + +\usepackage{lmodern} + +\input{molochexample} diff --git a/testfiles/separation.tlg b/testfiles/separation.tlg new file mode 100644 index 0000000..8a90160 --- /dev/null +++ b/testfiles/separation.tlg @@ -0,0 +1,1275 @@ +This is a generated file for the l3build validation system. +Don't change this file in any respect. +No file separation.toc. +Completed box being shipped out [1] +\vbox(200.87663+0.0)x263.47263 +.\hbox(0.0+0.0)x0.0 +.\hbox(0.0+0.0)x0.0 +..\kern -72.26999 +..\vbox(0.0+0.0)x0.0, glue set 72.26999fil +...\kern -72.26999 +...\hbox(0.0+0.0)x0.0 +....\hbox(0.0+0.0)x0.0, glue set 72.26999fil, shifted 72.26999 +.....\kern -72.26999 +.....\glue 0.0 plus 1.0fil minus 1.0fil +....\glue 0.0 plus 1.0fil minus 1.0fil +...\glue 0.0 plus 1.0fil minus 1.0fil +.\vbox(0.0+0.0)x0.0, glue set 73.27373fil +..\kern 0.0 +..\kern -72.26999 +..\kern -1.00374 +..\hbox(0.0+0.0)x0.0, glue set 44.82098fil +...\kern 0.0 +...\kern -43.81725 +...\kern -1.00374 +...\glue 0.0 plus 1.0fil minus 1.0fil +..\glue 0.0 plus 1.0fil minus 1.0fil +.\glue(\lineskip) 0.0 +.\vbox(200.87663+0.0)x263.47263 +..\glue -72.26999 +..\vbox(273.14662+0.0)x307.28987, shifted -43.81725 +...\vbox(0.0+0.0)x307.28987 +....\glue 0.0 plus 1.0fil +....\hbox(0.0+0.0)x307.28987 +.....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.....\hbox(0.0+0.0)x307.28987 +......\vbox(0.0+0.0)x307.28987 +.......\hbox(0.0+0.0)x-28.45274 +........\glue -28.45274 +........\hbox(0.0+0.0)x0.0 +.........\hbox(273.14662+0.0)x364.19536, shifted 273.14662 +..........\hbox(273.14662+0.0)x364.19536 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.98 g 0.98 G} +...........\rule(273.14662+*)x364.19536 +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +........\hbox(0.0+0.0)x0.0 +.........\hbox(0.0+0.0)x0.0 +..........\hbox(0.0+0.0)x0.0 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +.......\glue(\baselineskip) 0.0 +.......\hbox(0.0+0.0)x-56.90549 +........\hbox(0.0+0.0)x0.0 +.........\hbox(265.20912+0.0)x-28.45274, shifted 265.20912 +..........\hbox(265.20912+0.0)x-28.45274 +...........\glue -28.45274 +...........\hbox(0.0+0.0)x0.0 +............\vbox(265.20912+0.0)x0.0, glue set 265.20912fil +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\glue 0.0 plus 1.0fil minus 1.0fil +............\pdfcolorstack 0 pop +...........\vbox(265.20912+0.0)x0.0, glue set 265.20912fil +............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +............\pdfcolorstack 0 pop +............\pdfcolorstack 0 pop +............\glue 0.0 plus 1.0fil +........\hbox(0.0+0.0)x0.0 +.........\hbox(265.20912+0.0)x335.74261, shifted 265.20912 +..........\hbox(265.20912+0.0)x335.74261 +...........\glue 307.28987 +...........\glue 28.45274 +...........\hbox(0.0+0.0)x0.0 +............\vbox(265.20912+0.0)x0.0, glue set 265.20912fil +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\glue 0.0 plus 1.0fil minus 1.0fil +............\pdfcolorstack 0 pop +...........\vbox(265.20912+0.0)x0.0, glue set 256.20912fill +............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +............\glue 0.0 plus 1.0fill +............\hbox(0.0+0.0)x0.0, glue set - 2.84544fil +.............\glue 0.0 plus 1.0fil minus 1.0fil +.............\pdfcolorstack 0 push {0.10294 0.16177 0.17352 rg 0.10294 0.16177 0.17352 RG} +.............\pdfcolorstack 0 pop +.............\glue 2.84544 +............\glue 2.0 +............\glue(\baselineskip) 5.0 +............\hbox(0.0+0.0)x0.0, glue set - 2.84544fil +.............\glue 0.0 plus 1.0fil minus 1.0fil +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\pdfcolorstack 0 push {0.6429 0.67427 0.68054 rg 0.6429 0.67427 0.68054 RG} +.............\pdfcolorstack 0 pop +.............\pdfcolorstack 0 pop +.............\glue 2.84544 +............\pdfcolorstack 0 pop +............\pdfcolorstack 0 pop +............\glue 2.0 +............\glue 0.0 plus 1.0fil +........\hbox(0.0+0.0)x-56.90549 +.........\glue -28.45274 +.........\hbox(0.0+0.0)x0.0 +..........\vbox(0.0+0.0)x0.0 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +.........\glue -28.45274 +........\glue 0.0 plus 1.0fil +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 0.0 +.......\hbox(0.0+0.0)x307.28987, glue set 307.28987fil +........\hbox(0.0+0.0)x0.0 +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 +.....\pdfcolorstack 0 pop +...\glue 0.0 +...\glue(\lineskip) 0.0 +...\vbox(261.20912+0.0)x307.28987 +....\pdfcolorstack 0 push {0 g 0 G} +....\write-{} +....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +....\glue(\topskip) 0.0 +....\vbox(261.20912+0.0)x307.28987, glue set 234.19998fill +.....\penalty 10000 +.....\vbox(0.0+0.0)x0.0 +.....\penalty 10000 +.....\penalty 10000 +.....\penalty 10000 +.....\vbox(0.0+0.0)x0.0 +.....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.....\pdfcolorstack 0 push {0.98 g 0.98 G} +.....\hbox(19.04002+10.70662)x307.28987, glue set - 1.0 +......\glue 0.0 minus 28.45274 +......\hbox(19.04002+10.70662)x364.19536 +.......\glue 0.0 +.......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.......\hbox(19.04002+10.70662)x0.0, glue set - 364.19536fil +........\rule(19.04002+10.70662)x364.19536 +........\glue 0.0 plus 1.0fil minus 1.0fil +.......\pdfcolorstack 0 pop +.......\hbox(19.04002+10.70662)x364.19536 +........\kern 0.0 +........\pdfcolorstack 0 push {0.98 g 0.98 G} +........\glue 0.0 +........\hbox(19.04002+10.70662)x364.19536 +.........\pdfcolorstack 0 push {0.98 g 0.98 G} +.........\vbox(19.04002+10.70662)x364.19536 +..........\hbox(19.04002+10.70662)x364.19536, glue set 125.20166fil +...........\glue(\leftskip) 8.8 +...........\hbox(0.0+0.0)x0.0 +...........\hbox(19.04002+0.0)x0.0 +............\rule(19.04002+0.0)x0.0 +...........\OT1/lmss/bx/n/12 T +...........\kern-1.1 +...........\OT1/lmss/bx/n/12 a +...........\OT1/lmss/bx/n/12 b +...........\OT1/lmss/bx/n/12 l +...........\OT1/lmss/bx/n/12 e +...........\glue 4.4 plus 2.19998 minus 1.46667 +...........\OT1/lmss/bx/n/12 o +...........\OT1/lmss/bx/n/12 f +...........\glue 4.4 plus 2.19998 minus 1.46667 +...........\OT1/lmss/bx/n/12 c +...........\OT1/lmss/bx/n/12 o +...........\OT1/lmss/bx/n/12 n +...........\OT1/lmss/bx/n/12 t +...........\OT1/lmss/bx/n/12 e +...........\OT1/lmss/bx/n/12 n +...........\OT1/lmss/bx/n/12 t +...........\OT1/lmss/bx/n/12 s +...........\hbox(0.0+10.70662)x0.0 +...........\penalty 10000 +...........\glue(\parfillskip) 0.0 plus 1.0fil +...........\glue(\rightskip) 8.8 plus 1.0fil +.........\pdfcolorstack 0 pop +........\glue 0.0 +........\pdfcolorstack 0 pop +........\kern 0.0 +.......\pdfcolorstack 0 pop +.......\glue 0.0 +......\glue 0.0 minus 28.45274 +.....\pdfcolorstack 0 pop +.....\pdfcolorstack 0 pop +.....\glue 2.73749 +.....\penalty 10000 +.....\glue 0.0 plus 1.0fil +.....\penalty 10000 +.....\penalty 10000 +.....\glue 0.0 +.....\vbox(0.0+0.0)x0.0 +.....\rule(0.0+0.0)x* +.....\penalty 10000 +.....\glue -5.47499 +.....\glue 0.0 +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\glue 0.0 plus 1.0fill +.....\glue 0.0 plus 1.0fil +....\write1{\@writefile{nav}{\protect \headcommand {\protect \slideentry {0}{0}{1}{1/1}{}{0}}}} +....\write1{\@writefile{nav}{\protect \headcommand {\protect \beamer@framepages {1}{1}}}} +....\glue 0.0 plus 1.0fil +....\glue 0.0 +...\glue(\baselineskip) 4.0 +...\hbox(7.9375+0.0)x307.28987 +....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +....\hbox(7.9375+0.0)x307.28987 +.....\vbox(7.9375+0.0)x307.28987 +......\hbox(7.9375+0.0)x307.28987 +.......\hbox(7.9375+0.0)x307.28987 +........\glue -28.45274 +........\hbox(7.9375+0.0)x364.19536 +.........\vbox(7.9375+0.0)x364.19536 +..........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +..........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +..........\hbox(7.9375+0.0)x364.19536 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\vbox(7.9375+0.0)x364.19536 +............\hbox(3.9375+0.0)x364.19536, glue set 345.63286fill +.............\glue(\leftskip) 4.0 +.............\hbox(0.0+0.0)x0.0 +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\pdfcolorstack 0 pop +.............\glue 0.0 plus 1.0fill +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\hbox(3.9375+0.0)x9.5625, glue set 6.375fil +..............\glue 0.0 plus 1.0fil minus 1.0fil +..............\OT1/lmss/m/n/6 1 +.............\pdfcolorstack 0 pop +.............\penalty 10000 +.............\glue(\parfillskip) 0.0 plus 1.0fil +.............\glue(\rightskip) 5.0 +............\glue 4.0 +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +..........\pdfcolorstack 0 pop +..........\pdfcolorstack 0 pop +........\glue -28.45274 +.......\glue 0.0 plus 1.0fil +.......\glue 0.0 plus 1.0fil +......\glue(\lineskip) 0.0 +......\hbox(0.0+0.0)x0.0 +.....\glue 0.0 plus 1.0fil +....\pdfcolorstack 0 pop +.\kern 0.0 +.\kern 0.0 +LaTeX Font Info: Trying to load font information for OML+lmm on input line .... +LaTeX Font Info: Trying to load font information for OMS+lmsy on input line .... +LaTeX Font Info: Trying to load font information for OMX+lmex on input line .... +LaTeX Font Info: External font `lmex10' loaded for size +(Font) <10.95> on input line .... +LaTeX Font Info: External font `lmex10' loaded for size +(Font) <8> on input line .... +LaTeX Font Info: External font `lmex10' loaded for size +(Font) <6> on input line .... +LaTeX Font Info: Trying to load font information for U+msa on input line .... +LaTeX Font Info: Trying to load font information for U+msb on input line .... +LaTeX Font Info: Font shape `OT1/lmss/m/it' in size <10.95> not available +(Font) Font shape `OT1/lmss/m/sl' tried instead on input line .... +LaTeX Font Info: Font shape `OT1/lmss/m/it' in size <8> not available +(Font) Font shape `OT1/lmss/m/sl' tried instead on input line .... +LaTeX Font Info: Font shape `OT1/lmss/m/it' in size <6> not available +(Font) Font shape `OT1/lmss/m/sl' tried instead on input line .... +Completed box being shipped out [2] +\vbox(200.87663+0.0)x263.47263 +.\hbox(0.0+0.0)x0.0 +..\kern -72.26999 +..\vbox(0.0+0.0)x0.0, glue set 72.26999fil +...\kern -72.26999 +...\hbox(0.0+0.0)x0.0 +....\hbox(0.0+0.0)x0.0, glue set 72.26999fil, shifted 72.26999 +.....\kern -72.26999 +.....\glue 0.0 plus 1.0fil minus 1.0fil +....\glue 0.0 plus 1.0fil minus 1.0fil +...\glue 0.0 plus 1.0fil minus 1.0fil +.\vbox(0.0+0.0)x0.0, glue set 73.27373fil +..\kern 0.0 +..\kern -72.26999 +..\kern -1.00374 +..\hbox(0.0+0.0)x0.0, glue set 44.82098fil +...\kern 0.0 +...\kern -43.81725 +...\kern -1.00374 +...\glue 0.0 plus 1.0fil minus 1.0fil +..\glue 0.0 plus 1.0fil minus 1.0fil +.\glue(\lineskip) 0.0 +.\vbox(200.87663+0.0)x263.47263 +..\glue -72.26999 +..\vbox(273.14662+0.0)x307.28987, shifted -43.81725 +...\vbox(0.0+0.0)x307.28987 +....\glue 0.0 plus 1.0fil +....\hbox(0.0+0.0)x307.28987 +.....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.....\hbox(0.0+0.0)x307.28987 +......\vbox(0.0+0.0)x307.28987 +.......\hbox(0.0+0.0)x-28.45274 +........\glue -28.45274 +........\hbox(0.0+0.0)x0.0 +.........\hbox(273.14662+0.0)x364.19536, shifted 273.14662 +..........\hbox(273.14662+0.0)x364.19536 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.98 g 0.98 G} +...........\rule(273.14662+*)x364.19536 +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +........\hbox(0.0+0.0)x0.0 +.........\hbox(0.0+0.0)x0.0 +..........\hbox(0.0+0.0)x0.0 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 0.0 +.......\hbox(0.0+0.0)x307.28987, glue set 307.28987fil +........\hbox(0.0+0.0)x0.0 +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 +.....\pdfcolorstack 0 pop +...\glue 0.0 +...\glue(\lineskip) 0.0 +...\vbox(261.20912+0.0)x307.28987 +....\write-{} +....\write1{\@writefile{toc}{\protect \beamer@sectionintoc {1}{Results}{2}{0}{1}}} +....\write1{\@writefile{nav}{\protect \headcommand {\protect \beamer@sectionpages {1}{1}}}} +....\write1{\@writefile{nav}{\protect \headcommand {\protect \beamer@subsectionpages {1}{1}}}} +....\write1{\@writefile{nav}{\protect \headcommand {\protect \sectionentry {1}{Results}{2}{Results}{0}}}} +....\glue(\topskip) 0.0 +....\vbox(261.20912+0.0)x307.28987, glue set 117.97325fil +.....\penalty 10000 +.....\vbox(0.0+0.0)x0.0 +.....\penalty 10000 +.....\penalty 10000 +.....\rule(0.0+0.0)x* +.....\penalty 10000 +.....\glue 0.0 +.....\glue 0.0 +.....\penalty 10000 +.....\penalty 10000 +.....\glue 0.0 plus 1.0fil +.....\penalty 10000 +.....\penalty 10000 +.....\glue 0.0 +.....\vbox(0.0+0.0)x0.0 +.....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.....\glue(\parskip) 0.0 +.....\glue(\parskip) 0.0 +.....\hbox(21.33755+15.86256)x307.28987, glue set 32.64862fil +......\glue(\leftskip) 0.0 plus 1.0fil +......\hbox(0.0+0.0)x0.0 +......\mathon +......\vbox(21.33755+15.86256)x241.99265 +.......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\hbox(10.00008+0.0)x241.99265, glue set 97.39444fil +........\hbox(0.0+0.0)x0.0 +........\OT1/lmss/bx/n/14.4 R +........\OT1/lmss/bx/n/14.4 e +........\OT1/lmss/bx/n/14.4 s +........\OT1/lmss/bx/n/14.4 u +........\OT1/lmss/bx/n/14.4 l +........\OT1/lmss/bx/n/14.4 t +........\OT1/lmss/bx/n/14.4 s +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +.......\glue 0.0 +.......\glue -9.0 +.......\pdfcolorstack 0 push {0.92157 0.50587 0.10588 rg 0.92157 0.50587 0.10588 RG} +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 18.0 +.......\hbox(0.0+0.79999)x241.99265 +........\hbox(0.0+0.0)x0.0 +........\hbox(0.79999+0.0)x241.99265, shifted 0.79999 +.........\glue 0.0 +.........\hbox(0.0+0.0)x0.0, shifted -0.4 +..........\pdfliteral{q } +..........\pdfliteral{0.92157 0.50587 0.10588 RG } +..........\pdfliteral{0.92157 0.50587 0.10588 rg } +..........\pdfliteral{0.3985 w } +..........\hbox(0.0+0.0)x0.0 +...........\pdfliteral{q } +...........\glue 0.0 +...........\glue 0.0 +...........\pdfliteral{q } +...........\pdfcolorstack 0 push {0.83824 0.77588 0.71588 rg 0.83824 0.77588 0.71588 RG} +...........\pdfliteral{0.0 0.0 m } +...........\pdfliteral{0.0 0.0 m } +...........\pdfliteral{0.0 0.3985 l } +...........\pdfliteral{241.09166 0.3985 l } +...........\pdfliteral{241.09166 0.0 l } +...........\pdfliteral{h } +...........\pdfliteral{241.09166 0.3985 m } +...........\pdfliteral{f } +...........\glue 0.0 +...........\pdfcolorstack 0 pop +...........\pdfliteral{Q } +...........\glue 0.0 +...........\pdfliteral{q } +...........\pdfcolorstack 0 push {0.92157 0.50587 0.10588 rg 0.92157 0.50587 0.10588 RG} +...........\pdfliteral{0.0 0.0 m } +...........\pdfliteral{0.0 0.0 m } +...........\pdfliteral{0.0 0.3985 l } +...........\pdfliteral{2.40958 0.3985 l } +...........\pdfliteral{2.40958 0.0 l } +...........\pdfliteral{h } +...........\pdfliteral{2.40958 0.3985 m } +...........\pdfliteral{f } +...........\glue 0.0 +...........\pdfcolorstack 0 pop +...........\pdfliteral{Q } +...........\glue 0.0 +...........\glue 0.0 +...........\glue 0.0 +...........\pdfliteral{Q } +...........\glue 0.0 +...........\glue 0.0 plus 1.0fil minus 1.0fil +..........\pdfliteral{n } +..........\pdfliteral{Q } +..........\glue 0.0 plus 1.0fil minus 1.0fil +........\pdfcolorstack 0 pop +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +.......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 3.40005 +.......\hbox(9.79996+4.20004)x241.99265, glue set 120.99632fil +........\hbox(0.0+0.0)x0.0 +........\rule(9.79996+4.20004)x0.0 +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +.......\pdfcolorstack 0 pop +.......\pdfcolorstack 0 pop +......\mathoff +......\penalty 10000 +......\glue(\parfillskip) 0.0 +......\glue(\rightskip) 0.0 plus 1.0fil +.....\pdfcolorstack 0 pop +.....\glue 0.0 plus 1.0fil +.....\rule(0.0+0.0)x* +.....\penalty 10000 +.....\glue -11.9375 +.....\glue 0.0 +....\write1{\@writefile{nav}{\protect \headcommand {\protect \slideentry {1}{0}{1}{2/2}{}{0}}}} +....\write1{\@writefile{nav}{\protect \headcommand {\protect \beamer@framepages {2}{2}}}} +....\glue 0.0 plus 1.0fil +....\glue 0.0 +...\glue(\baselineskip) 11.9375 +...\hbox(0.0+0.0)x307.28987 +....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +....\hbox(0.0+0.0)x307.28987, glue set 333.74261fil +.....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.....\glue 0.0 plus 1.0fil +.....\hbox(0.0+0.0)x-26.45274 +......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +......\pdfcolorstack 0 push {0.6429 0.67427 0.68054 rg 0.6429 0.67427 0.68054 RG} +......\pdfcolorstack 0 pop +......\pdfcolorstack 0 pop +......\glue -28.45274 +......\glue 2.0 +....\pdfcolorstack 0 pop +....\pdfcolorstack 0 pop +.\kern 0.0 +LaTeX Font Info: Font shape `OT1/lmss/bx/it' in size <10> not available +(Font) Font shape `OT1/lmss/bx/sl' tried instead on input line .... +Completed box being shipped out [3] +\vbox(200.87663+0.0)x263.47263 +.\hbox(0.0+0.0)x0.0 +..\kern -72.26999 +..\vbox(0.0+0.0)x0.0, glue set 72.26999fil +...\kern -72.26999 +...\hbox(0.0+0.0)x0.0 +....\hbox(0.0+0.0)x0.0, glue set 72.26999fil, shifted 72.26999 +.....\kern -72.26999 +.....\glue 0.0 plus 1.0fil minus 1.0fil +....\glue 0.0 plus 1.0fil minus 1.0fil +...\glue 0.0 plus 1.0fil minus 1.0fil +.\vbox(0.0+0.0)x0.0, glue set 73.27373fil +..\kern 0.0 +..\kern -72.26999 +..\kern -1.00374 +..\hbox(0.0+0.0)x0.0, glue set 44.82098fil +...\kern 0.0 +...\kern -43.81725 +...\kern -1.00374 +...\glue 0.0 plus 1.0fil minus 1.0fil +..\glue 0.0 plus 1.0fil minus 1.0fil +.\glue(\lineskip) 0.0 +.\vbox(200.87663+0.0)x263.47263 +..\glue -72.26999 +..\vbox(273.14662+0.0)x307.28987, shifted -43.81725 +...\vbox(0.0+0.0)x307.28987 +....\glue 0.0 plus 1.0fil +....\hbox(0.0+0.0)x307.28987 +.....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.....\hbox(0.0+0.0)x307.28987 +......\vbox(0.0+0.0)x307.28987 +.......\hbox(0.0+0.0)x-28.45274 +........\glue -28.45274 +........\hbox(0.0+0.0)x0.0 +.........\hbox(273.14662+0.0)x364.19536, shifted 273.14662 +..........\hbox(273.14662+0.0)x364.19536 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.98 g 0.98 G} +...........\rule(273.14662+*)x364.19536 +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +........\hbox(0.0+0.0)x0.0 +.........\hbox(0.0+0.0)x0.0 +..........\hbox(0.0+0.0)x0.0 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +.......\glue(\baselineskip) 0.0 +.......\hbox(0.0+0.0)x-56.90549 +........\hbox(0.0+0.0)x0.0 +.........\hbox(265.20912+0.0)x-28.45274, shifted 265.20912 +..........\hbox(265.20912+0.0)x-28.45274 +...........\glue -28.45274 +...........\hbox(0.0+0.0)x0.0 +............\vbox(265.20912+0.0)x0.0, glue set 265.20912fil +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\glue 0.0 plus 1.0fil minus 1.0fil +............\pdfcolorstack 0 pop +...........\vbox(265.20912+0.0)x0.0, glue set 265.20912fil +............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +............\pdfcolorstack 0 pop +............\pdfcolorstack 0 pop +............\glue 0.0 plus 1.0fil +........\hbox(0.0+0.0)x0.0 +.........\hbox(265.20912+0.0)x335.74261, shifted 265.20912 +..........\hbox(265.20912+0.0)x335.74261 +...........\glue 307.28987 +...........\glue 28.45274 +...........\hbox(0.0+0.0)x0.0 +............\vbox(265.20912+0.0)x0.0, glue set 265.20912fil +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\glue 0.0 plus 1.0fil minus 1.0fil +............\pdfcolorstack 0 pop +...........\vbox(265.20912+0.0)x0.0, glue set 256.20912fill +............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +............\glue 0.0 plus 1.0fill +............\hbox(0.0+0.0)x0.0, glue set - 2.84544fil +.............\glue 0.0 plus 1.0fil minus 1.0fil +.............\pdfcolorstack 0 push {0.10294 0.16177 0.17352 rg 0.10294 0.16177 0.17352 RG} +.............\pdfcolorstack 0 pop +.............\glue 2.84544 +............\glue 2.0 +............\glue(\baselineskip) 5.0 +............\hbox(0.0+0.0)x0.0, glue set - 2.84544fil +.............\glue 0.0 plus 1.0fil minus 1.0fil +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\pdfcolorstack 0 push {0.6429 0.67427 0.68054 rg 0.6429 0.67427 0.68054 RG} +.............\pdfcolorstack 0 pop +.............\pdfcolorstack 0 pop +.............\glue 2.84544 +............\pdfcolorstack 0 pop +............\pdfcolorstack 0 pop +............\glue 2.0 +............\glue 0.0 plus 1.0fil +........\hbox(0.0+0.0)x-56.90549 +.........\glue -28.45274 +.........\hbox(0.0+0.0)x0.0 +..........\vbox(0.0+0.0)x0.0 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +.........\glue -28.45274 +........\glue 0.0 plus 1.0fil +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 0.0 +.......\hbox(0.0+0.0)x307.28987, glue set 307.28987fil +........\hbox(0.0+0.0)x0.0 +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 +.....\pdfcolorstack 0 pop +...\glue 0.0 +...\glue(\lineskip) 0.0 +...\vbox(261.20912+0.0)x307.28987 +....\write-{} +....\write1{\@writefile{toc}{\protect \beamer@subsectionintoc {1}{1}{Proof of the Main Theorem}{3}{0}{1}}} +....\write1{\@writefile{nav}{\protect \headcommand {\protect \beamer@subsectionpages {2}{2}}}} +....\write1{\@writefile{nav}{\protect \headcommand {\protect \beamer@subsectionentry {0}{1}{1}{3}{Proof of the Main Theorem}}}} +....\glue(\topskip) 0.0 +....\vbox(261.20912+0.0)x307.28987, glue set 44.13959fil +.....\penalty 10000 +.....\vbox(0.0+0.0)x0.0 +.....\penalty 10000 +.....\penalty 10000 +.....\penalty 10000 +.....\vbox(0.0+0.0)x0.0 +.....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.....\pdfcolorstack 0 push {0.98 g 0.98 G} +.....\hbox(29.37335+10.70662)x307.28987, glue set - 1.0 +......\glue 0.0 minus 28.45274 +......\hbox(29.37335+10.70662)x364.19536 +.......\glue 0.0 +.......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.......\hbox(29.37335+10.70662)x0.0, glue set - 364.19536fil +........\rule(29.37335+10.70662)x364.19536 +........\glue 0.0 plus 1.0fil minus 1.0fil +.......\pdfcolorstack 0 pop +.......\hbox(29.37335+10.70662)x364.19536 +........\kern 0.0 +........\pdfcolorstack 0 push {0.98 g 0.98 G} +........\glue 0.0 +........\hbox(29.37335+10.70662)x364.19536 +.........\pdfcolorstack 0 push {0.98 g 0.98 G} +.........\vbox(29.37335+10.70662)x364.19536 +..........\hbox(19.04002+2.33331)x364.19536, glue set 75.14635fil +...........\glue(\leftskip) 8.8 +...........\hbox(0.0+0.0)x0.0 +...........\hbox(19.04002+0.0)x0.0 +............\rule(19.04002+0.0)x0.0 +...........\OT1/lmss/bx/n/12 T +...........\OT1/lmss/bx/n/12 h +...........\OT1/lmss/bx/n/12 e +...........\OT1/lmss/bx/n/12 r +...........\OT1/lmss/bx/n/12 e +...........\glue 4.4 plus 2.19998 minus 1.46667 +...........\OT1/lmss/bx/n/12 I +...........\OT1/lmss/bx/n/12 s +...........\glue 4.4 plus 2.19998 minus 1.46667 +...........\OT1/lmss/bx/n/12 N +...........\OT1/lmss/bx/n/12 o +...........\glue 4.4 plus 2.19998 minus 1.46667 +...........\OT1/lmss/bx/n/12 L +...........\OT1/lmss/bx/n/12 a +...........\kern-0.36667 +...........\OT1/lmss/bx/n/12 r +...........\OT1/lmss/bx/n/12 g +...........\OT1/lmss/bx/n/12 e +...........\OT1/lmss/bx/n/12 s +...........\OT1/lmss/bx/n/12 t +...........\glue 4.4 plus 2.19998 minus 1.46667 +...........\OT1/lmss/bx/n/12 P +...........\OT1/lmss/bx/n/12 r +...........\OT1/lmss/bx/n/12 i +...........\OT1/lmss/bx/n/12 m +...........\OT1/lmss/bx/n/12 e +...........\glue 4.4 plus 2.19998 minus 1.46667 +...........\OT1/lmss/bx/n/12 N +...........\OT1/lmss/bx/n/12 u +...........\OT1/lmss/bx/n/12 m +...........\OT1/lmss/bx/n/12 b +...........\kern0.36667 +...........\OT1/lmss/bx/n/12 e +...........\OT1/lmss/bx/n/12 r +...........\penalty 10000 +...........\glue(\parfillskip) 0.0 plus 1.0fil +...........\glue(\rightskip) 8.8 plus 1.0fil +..........\glue -3.66667 +..........\glue 0.0 +..........\pdfcolorstack 0 push {0.98 g 0.98 G} +..........\glue(\parskip) 0.0 +..........\glue(\parskip) 0.0 +..........\glue(\baselineskip) 4.72218 +..........\hbox(6.9445+10.70662)x364.19536, glue set 86.05002fil +...........\glue(\leftskip) 8.8 +...........\hbox(0.0+0.0)x0.0 +...........\OT1/lmss/bx/n/10 T +...........\OT1/lmss/bx/n/10 h +...........\OT1/lmss/bx/n/10 e +...........\glue 3.66666 plus 1.83331 minus 1.22223 +...........\OT1/lmss/bx/n/10 p +...........\kern-0.30556 +...........\OT1/lmss/bx/n/10 r +...........\OT1/lmss/bx/n/10 o +...........\kern0.30556 +...........\OT1/lmss/bx/n/10 o +...........\OT1/lmss/bx/n/10 f +...........\glue 3.66666 plus 1.83331 minus 1.22223 +...........\OT1/lmss/bx/n/10 u +...........\OT1/lmss/bx/n/10 s +...........\OT1/lmss/bx/n/10 e +...........\OT1/lmss/bx/n/10 s +...........\glue 3.66666 plus 1.83331 minus 1.22223 +...........\OT1/lmss/bx/sl/10 r +...........\OT1/lmss/bx/sl/10 e +...........\OT1/lmss/bx/sl/10 d +...........\OT1/lmss/bx/sl/10 u +...........\OT1/lmss/bx/sl/10 c +...........\OT1/lmss/bx/sl/10 t +...........\OT1/lmss/bx/sl/10 i +...........\OT1/lmss/bx/sl/10 o +...........\glue 3.66666 plus 1.83331 minus 1.22223 +...........\OT1/lmss/bx/sl/10 a +...........\OT1/lmss/bx/sl/10 d +...........\glue 3.66666 plus 1.83331 minus 1.22223 +...........\OT1/lmss/bx/sl/10 a +...........\OT1/lmss/bx/sl/10 b +...........\OT1/lmss/bx/sl/10 s +...........\OT1/lmss/bx/sl/10 u +...........\OT1/lmss/bx/sl/10 r +...........\OT1/lmss/bx/sl/10 d +...........\OT1/lmss/bx/sl/10 u +...........\OT1/lmss/bx/sl/10 m +...........\OT1/lmss/bx/n/10 . +...........\pdfcolorstack 0 pop +...........\hbox(0.0+10.70662)x0.0 +...........\penalty 10000 +...........\glue(\parfillskip) 0.0 plus 1.0fil +...........\glue(\rightskip) 8.8 plus 1.0fil +.........\pdfcolorstack 0 pop +........\glue 0.0 +........\pdfcolorstack 0 pop +........\kern 0.0 +.......\pdfcolorstack 0 pop +.......\glue 0.0 +......\glue 0.0 minus 28.45274 +.....\pdfcolorstack 0 pop +.....\pdfcolorstack 0 pop +.....\glue 2.73749 +.....\penalty 10000 +.....\glue 0.0 plus 1.0fil +.....\penalty 10000 +.....\penalty 10000 +.....\glue 0.0 +.....\vbox(0.0+0.0)x0.0 +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\glue 6.0 plus 2.0 minus 2.0 +.....\glue(\baselineskip) 5.99579 +.....\hbox(7.60422+0.0)x307.28987 +......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +......\vbox(7.60422+0.0)x307.28987 +.......\hbox(7.60422+0.0)x307.28987, glue set 131.33453fil +........\hbox(0.0+0.0)x0.0 +........\OT1/lmss/bx/n/10.95 T +........\OT1/lmss/bx/n/10.95 h +........\OT1/lmss/bx/n/10.95 e +........\OT1/lmss/bx/n/10.95 o +........\kern-0.3346 +........\OT1/lmss/bx/n/10.95 r +........\OT1/lmss/bx/n/10.95 e +........\OT1/lmss/bx/n/10.95 m +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +......\pdfcolorstack 0 pop +.....\glue(\baselineskip) 1.21667 +.....\hbox(12.38333+2.12914)x307.28987 +......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +......\vbox(12.38333+2.12914)x307.28987 +.......\glue -1.21667 +.......\vbox(0.0+0.0)x0.0 +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 5.99579 +.......\hbox(7.60422+2.12914)x307.28987, glue set 75.89977fil +........\hbox(0.0+0.0)x0.0 +........\OT1/lmss/m/sl/10.95 T +........\OT1/lmss/m/sl/10.95 h +........\OT1/lmss/m/sl/10.95 e +........\OT1/lmss/m/sl/10.95 r +........\OT1/lmss/m/sl/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/sl/10.95 i +........\OT1/lmss/m/sl/10.95 s +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/sl/10.95 n +........\OT1/lmss/m/sl/10.95 o +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/sl/10.95 l +........\OT1/lmss/m/sl/10.95 a +........\kern-0.30418 +........\OT1/lmss/m/sl/10.95 r +........\OT1/lmss/m/sl/10.95 g +........\OT1/lmss/m/sl/10.95 e +........\OT1/lmss/m/sl/10.95 s +........\OT1/lmss/m/sl/10.95 t +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/sl/10.95 p +........\kern-0.30418 +........\OT1/lmss/m/sl/10.95 r +........\OT1/lmss/m/sl/10.95 i +........\OT1/lmss/m/sl/10.95 m +........\OT1/lmss/m/sl/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/sl/10.95 n +........\OT1/lmss/m/sl/10.95 u +........\OT1/lmss/m/sl/10.95 m +........\OT1/lmss/m/sl/10.95 b +........\kern0.30417 +........\OT1/lmss/m/sl/10.95 e +........\OT1/lmss/m/sl/10.95 r +........\OT1/lmss/m/sl/10.95 . +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +......\pdfcolorstack 0 pop +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\glue 3.0 plus 1.0 minus 1.0 +.....\glue 6.0 plus 2.0 minus 2.0 +.....\glue(\baselineskip) 3.86665 +.....\hbox(7.60422+0.0)x307.28987 +......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +......\vbox(7.60422+0.0)x307.28987 +.......\hbox(7.60422+0.0)x307.28987, glue set 138.05638fil +........\hbox(0.0+0.0)x0.0 +........\OT1/lmss/bx/n/10.95 P +........\OT1/lmss/bx/n/10.95 r +........\OT1/lmss/bx/n/10.95 o +........\kern0.33458 +........\OT1/lmss/bx/n/10.95 o +........\OT1/lmss/bx/n/10.95 f +........\OT1/lmss/bx/n/10.95 . +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +......\pdfcolorstack 0 pop +.....\glue(\lineskip) 1.0 +.....\hbox(70.31248+0.0)x307.28987 +......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +......\vbox(70.31248+0.0)x307.28987 +.......\glue -1.21667 +.......\vbox(0.0+0.0)x0.0 +.......\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.......\pdfcolorstack 0 push {0.92157 0.50587 0.10588 rg 0.92157 0.50587 0.10588 RG} +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\penalty -51 +.......\glue 3.0 plus 2.0 minus 2.5 +.......\kern 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 5.99579 +.......\hbox(7.60422+2.12914)x285.38982, glue set 45.79762fil, shifted 21.90005 +........\hbox(7.17827+0.0)x0.0 +.........\glue 0.0 +.........\glue -16.42505 +.........\glue -5.475 +.........\hbox(7.17827+0.0)x16.42505, glue set 16.42505fil +..........\pdfcolorstack 0 push {0.92157 0.50587 0.10588 rg 0.92157 0.50587 0.10588 RG} +..........\glue 0.0 plus 1.0fil minus 1.0fil +..........\hbox(7.17827+0.0)x0.0, glue set - 8.51663fil +...........\glue 0.0 plus 1.0fil minus 1.0fil +...........\pdfcolorstack 0 push {0.92157 0.50587 0.10588 rg 0.92157 0.50587 0.10588 RG} +...........\OT1/lmss/m/n/10.95 1 +...........\OT1/lmss/m/n/10.95 . +...........\pdfcolorstack 0 pop +..........\pdfcolorstack 0 pop +.........\glue 5.475 +........\penalty 0 +........\OT1/lmss/m/n/10.95 S +........\OT1/lmss/m/n/10.95 u +........\OT1/lmss/m/n/10.95 p +........\OT1/lmss/m/n/10.95 p +........\kern0.30417 +........\OT1/lmss/m/n/10.95 o +........\OT1/lmss/m/n/10.95 s +........\OT1/lmss/m/n/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\mathon +........\OT1/lmss/m/sl/10.95 p +........\kern0.49687 +........\mathoff +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 w +........\kern-0.30418 +........\OT1/lmss/m/n/10.95 e +........\OT1/lmss/m/n/10.95 r +........\OT1/lmss/m/n/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 t +........\OT1/lmss/m/n/10.95 h +........\OT1/lmss/m/n/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 l +........\OT1/lmss/m/n/10.95 a +........\kern-0.30418 +........\OT1/lmss/m/n/10.95 r +........\OT1/lmss/m/n/10.95 g +........\OT1/lmss/m/n/10.95 e +........\OT1/lmss/m/n/10.95 s +........\OT1/lmss/m/n/10.95 t +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 p +........\kern-0.30418 +........\OT1/lmss/m/n/10.95 r +........\OT1/lmss/m/n/10.95 i +........\OT1/lmss/m/n/10.95 m +........\OT1/lmss/m/n/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 n +........\OT1/lmss/m/n/10.95 u +........\OT1/lmss/m/n/10.95 m +........\OT1/lmss/m/n/10.95 b +........\kern0.30417 +........\OT1/lmss/m/n/10.95 e +........\OT1/lmss/m/n/10.95 r +........\OT1/lmss/m/n/10.95 . +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\pdfcolorstack 0 pop +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\penalty -51 +.......\glue 3.0 plus 2.0 minus 3.0 +.......\kern 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 3.86665 +.......\hbox(7.60422+2.12914)x285.38982, glue set 41.15413fil, shifted 21.90005 +........\hbox(7.17827+0.0)x0.0 +.........\glue 0.0 +.........\glue -16.42505 +.........\glue -5.475 +.........\hbox(7.17827+0.0)x16.42505, glue set 16.42505fil +..........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +..........\glue 0.0 plus 1.0fil minus 1.0fil +..........\hbox(7.17827+0.0)x0.0, glue set - 8.51663fil +...........\glue 0.0 plus 1.0fil minus 1.0fil +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\OT1/lmss/m/n/10.95 2 +...........\OT1/lmss/m/n/10.95 . +...........\pdfcolorstack 0 pop +..........\pdfcolorstack 0 pop +.........\glue 5.475 +........\penalty 0 +........\OT1/lmss/m/n/10.95 L +........\OT1/lmss/m/n/10.95 e +........\OT1/lmss/m/n/10.95 t +........\glue 3.65 plus 1.825 minus 1.21666 +........\mathon +........\OT1/lmss/m/sl/10.95 q +........\kern0.46657 +........\mathoff +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 b +........\kern0.30417 +........\OT1/lmss/m/n/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 t +........\OT1/lmss/m/n/10.95 h +........\OT1/lmss/m/n/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 p +........\kern-0.30418 +........\OT1/lmss/m/n/10.95 r +........\OT1/lmss/m/n/10.95 o +........\kern0.30417 +........\OT1/lmss/m/n/10.95 d +........\OT1/lmss/m/n/10.95 u +........\OT1/lmss/m/n/10.95 c +........\OT1/lmss/m/n/10.95 t +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 o +........\OT1/lmss/m/n/10.95 f +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 t +........\OT1/lmss/m/n/10.95 h +........\OT1/lmss/m/n/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 ^^L (ligature fi) +........\OT1/lmss/m/n/10.95 r +........\OT1/lmss/m/n/10.95 s +........\OT1/lmss/m/n/10.95 t +........\glue 3.65 plus 1.825 minus 1.21666 +........\mathon +........\OT1/lmss/m/sl/10.95 p +........\kern0.49687 +........\mathoff +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 n +........\OT1/lmss/m/n/10.95 u +........\OT1/lmss/m/n/10.95 m +........\OT1/lmss/m/n/10.95 b +........\kern0.30417 +........\OT1/lmss/m/n/10.95 e +........\OT1/lmss/m/n/10.95 r +........\OT1/lmss/m/n/10.95 s +........\OT1/lmss/m/n/10.95 . +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\penalty -51 +.......\glue 3.0 plus 2.0 minus 3.0 +.......\kern 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 3.86665 +.......\hbox(7.60422+2.12914)x285.38982, glue set 44.18564fil, shifted 21.90005 +........\hbox(7.17827+0.0)x0.0 +.........\glue 0.0 +.........\glue -16.42505 +.........\glue -5.475 +.........\hbox(7.17827+0.0)x16.42505, glue set 16.42505fil +..........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +..........\glue 0.0 plus 1.0fil minus 1.0fil +..........\hbox(7.17827+0.0)x0.0, glue set - 8.51663fil +...........\glue 0.0 plus 1.0fil minus 1.0fil +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\OT1/lmss/m/n/10.95 3 +...........\OT1/lmss/m/n/10.95 . +...........\pdfcolorstack 0 pop +..........\pdfcolorstack 0 pop +.........\glue 5.475 +........\penalty 0 +........\OT1/lmss/m/n/10.95 T +........\OT1/lmss/m/n/10.95 h +........\OT1/lmss/m/n/10.95 e +........\OT1/lmss/m/n/10.95 n +........\glue 3.65 plus 1.825 minus 1.21666 +........\mathon +........\OT1/lmss/m/sl/10.95 q +........\kern0.46657 +........\mathoff +........\kern 3.04074 +........\OT1/lmss/m/n/10.95 + +........\kern 1.82538 +........\mathon +........\OT1/lmss/m/n/10.95 1 +........\mathoff +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 i +........\OT1/lmss/m/n/10.95 s +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 n +........\OT1/lmss/m/n/10.95 o +........\OT1/lmss/m/n/10.95 t +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 d +........\OT1/lmss/m/n/10.95 i +........\OT1/lmss/m/n/10.95 v +........\OT1/lmss/m/n/10.95 i +........\OT1/lmss/m/n/10.95 s +........\OT1/lmss/m/n/10.95 i +........\OT1/lmss/m/n/10.95 b +........\OT1/lmss/m/n/10.95 l +........\OT1/lmss/m/n/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 b +........\kern-0.30418 +........\OT1/lmss/m/n/10.95 y +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 a +........\OT1/lmss/m/n/10.95 n +........\OT1/lmss/m/n/10.95 y +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 o +........\OT1/lmss/m/n/10.95 f +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 t +........\OT1/lmss/m/n/10.95 h +........\OT1/lmss/m/n/10.95 e +........\OT1/lmss/m/n/10.95 m +........\OT1/lmss/m/n/10.95 . +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.......\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.......\penalty -51 +.......\glue 3.0 plus 2.0 minus 3.0 +.......\kern 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\parskip) 0.0 +.......\glue(\baselineskip) 3.86665 +.......\hbox(7.60422+2.12914)x285.38982, glue set 60.92516fill, shifted 21.90005 +........\hbox(7.17827+0.0)x0.0 +.........\glue 0.0 +.........\glue -16.42505 +.........\glue -5.475 +.........\hbox(7.17827+0.0)x16.42505, glue set 16.42505fil +..........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +..........\glue 0.0 plus 1.0fil minus 1.0fil +..........\hbox(7.17827+0.0)x0.0, glue set - 8.51663fil +...........\glue 0.0 plus 1.0fil minus 1.0fil +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\OT1/lmss/m/n/10.95 4 +...........\OT1/lmss/m/n/10.95 . +...........\pdfcolorstack 0 pop +..........\pdfcolorstack 0 pop +.........\glue 5.475 +........\penalty 0 +........\OT1/lmss/m/n/10.95 T +........\OT1/lmss/m/n/10.95 h +........\OT1/lmss/m/n/10.95 u +........\OT1/lmss/m/n/10.95 s +........\glue 3.65 plus 1.825 minus 1.21666 +........\mathon +........\OT1/lmss/m/sl/10.95 q +........\kern0.46657 +........\mathoff +........\kern 3.04074 +........\OT1/lmss/m/n/10.95 + +........\kern 1.82538 +........\mathon +........\OT1/lmss/m/n/10.95 1 +........\mathoff +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 i +........\OT1/lmss/m/n/10.95 s +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 a +........\OT1/lmss/m/n/10.95 l +........\OT1/lmss/m/n/10.95 s +........\OT1/lmss/m/n/10.95 o +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 p +........\kern-0.30418 +........\OT1/lmss/m/n/10.95 r +........\OT1/lmss/m/n/10.95 i +........\OT1/lmss/m/n/10.95 m +........\OT1/lmss/m/n/10.95 e +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 a +........\OT1/lmss/m/n/10.95 n +........\OT1/lmss/m/n/10.95 d +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 g +........\OT1/lmss/m/n/10.95 r +........\OT1/lmss/m/n/10.95 e +........\OT1/lmss/m/n/10.95 a +........\OT1/lmss/m/n/10.95 t +........\OT1/lmss/m/n/10.95 e +........\OT1/lmss/m/n/10.95 r +........\glue 3.65 plus 1.825 minus 1.21666 +........\OT1/lmss/m/n/10.95 t +........\OT1/lmss/m/n/10.95 h +........\OT1/lmss/m/n/10.95 a +........\OT1/lmss/m/n/10.95 n +........\glue 3.65 plus 1.825 minus 1.21666 +........\mathon +........\OT1/lmss/m/sl/10.95 p +........\kern0.49687 +........\mathoff +........\OT1/lmss/m/n/10.95 . +........\penalty 9999 +........\hbox(0.0+0.0)x0.0 +........\penalty 10000 +........\glue 0.0 plus 1.0fill +........\glue 10.95 +........\hbox(7.39128+0.0)x8.51675 +.........\hbox(7.39128+0.0)x8.51675 +..........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +..........\hbox(7.39128+0.0)x8.51675, glue set 0.57336fil +...........\glue 0.0 plus 1.0fil +...........\rule(*+*)x0.4 +...........\vbox(7.39128+0.0)x6.57005, glue set 6.5913fil +............\rule(0.4+0.0)x6.57005 +............\glue 0.0 plus 1.0fil +............\rule(0.4+0.0)x* +...........\rule(*+*)x0.4 +...........\glue 0.0 plus 1.0fil +..........\pdfcolorstack 0 pop +........\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +........\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +........\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +........\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +........\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +........\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +........\penalty 10000 +........\glue(\parfillskip) 0.0 plus 1.0fil +........\glue(\rightskip) 0.0 plus 1.0fil +.......\penalty -51 +.......\pdfcolorstack 0 pop +.......\glue 3.0 plus 2.0 minus 2.5 +......\pdfcolorstack 0 pop +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\pdfliteral{1 0 0 1 2000.02579 2000.02579 cm } +.....\pdfliteral{1 0 0 1 -2000.02579 -2000.02579 cm } +.....\glue 3.0 plus 1.0 minus 1.0 +.....\glue 0.0 plus 1.0fil +....\write1{\@writefile{nav}{\protect \headcommand {\protect \slideentry {1}{1}{1}{3/3}{Proof of the Main Theorem}{0}}}} +....\write1{\@writefile{nav}{\protect \headcommand {\protect \beamer@framepages {3}{3}}}} +....\glue 0.0 plus 1.0fil +....\glue 0.0 +...\glue(\baselineskip) 4.0 +...\hbox(7.9375+0.0)x307.28987 +....\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +....\hbox(7.9375+0.0)x307.28987 +.....\vbox(7.9375+0.0)x307.28987 +......\hbox(7.9375+0.0)x307.28987 +.......\hbox(7.9375+0.0)x307.28987 +........\glue -28.45274 +........\hbox(7.9375+0.0)x364.19536 +.........\vbox(7.9375+0.0)x364.19536 +..........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +..........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +..........\hbox(7.9375+0.0)x364.19536 +...........\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +...........\vbox(7.9375+0.0)x364.19536 +............\hbox(3.9375+0.0)x364.19536, glue set 345.63286fill +.............\glue(\leftskip) 4.0 +.............\hbox(0.0+0.0)x0.0 +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\pdfcolorstack 0 pop +.............\glue 0.0 plus 1.0fill +.............\pdfcolorstack 0 push {0.13725 0.2157 0.23137 rg 0.13725 0.2157 0.23137 RG} +.............\hbox(3.9375+0.0)x9.5625, glue set 6.375fil +..............\glue 0.0 plus 1.0fil minus 1.0fil +..............\OT1/lmss/m/n/6 2 +.............\pdfcolorstack 0 pop +.............\penalty 10000 +.............\glue(\parfillskip) 0.0 plus 1.0fil +.............\glue(\rightskip) 5.0 +............\glue 4.0 +...........\pdfcolorstack 0 pop +...........\pdfcolorstack 0 pop +..........\pdfcolorstack 0 pop +..........\pdfcolorstack 0 pop +........\glue -28.45274 +.......\glue 0.0 plus 1.0fil +.......\glue 0.0 plus 1.0fil +......\glue(\lineskip) 0.0 +......\hbox(0.0+0.0)x0.0 +.....\glue 0.0 plus 1.0fil +....\pdfcolorstack 0 pop +.\kern 0.0