This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2002.1.15)  24 OCT 2006 12:12
**sr-max-sat.tex
(sr-max-sat.tex
LaTeX2e <1999/12/01> patch level 1
Babel <v3.6Z> and hyphenation patterns for american, french, german, ngerman, n
ohyphenation, loaded.
(/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/base/article.cls
Document Class: article 1999/09/10 v1.4a Standard LaTeX document class
(/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/base/size10.clo
File: size10.clo 1999/09/10 v1.4a Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
(/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/amsmath/amsmath.sty
Package: amsmath 2000/01/15 v2.05 AMS math features
\@mathmargin=\skip43

For additional information on amsmath, use the `?' option.
(/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/amsmath/amstext.sty
Package: amstext 1999/11/15 v2.0

(/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks14
\ex@=\dimen103
))
(/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen104
)
(/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count87
LaTeX Info: Redefining \frac on input line 198.
\uproot@=\count88
\leftroot@=\count89
LaTeX Info: Redefining \overline on input line 302.
\classnum@=\count90
\DOTSCASE@=\count91
LaTeX Info: Redefining \ldots on input line 376.
LaTeX Info: Redefining \dots on input line 379.
LaTeX Info: Redefining \cdots on input line 464.
\Mathstrutbox@=\box26
\strutbox@=\box27
\big@size=\dimen105
LaTeX Font Info:    Redeclaring font encoding OML on input line 563.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 564.
\macc@skew=\dimen106
\c@MaxMatrixCols=\count92
\dotsspace@=\muskip10
\c@parentequation=\count93
\dspbrk@lvl=\count94
\tag@help=\toks15
\row@=\count95
\column@=\count96
\maxfields@=\count97
\andhelp@=\toks16
\eqnshift@=\dimen107
\alignsep@=\dimen108
\tagshift@=\dimen109
\tagwidth@=\dimen110
\totwidth@=\dimen111
\lineht@=\dimen112
\@envbody=\toks17
\multlinegap=\skip44
\multlinetaggap=\skip45
LaTeX Info: Redefining \[ on input line 2594.
LaTeX Info: Redefining \] on input line 2595.
)
(/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/amscls/amsthm.sty
Package: amsthm 2000/01/17 v2.03
\thm@style=\toks18
\thm@bodyfont=\toks19
\thm@headfont=\toks20
\thm@notefont=\toks21
\thm@headpunct=\toks22
\thm@preskip=\skip46
\thm@postskip=\skip47
\thm@headsep=\skip48
\dth@everypar=\toks23
)
(/arch/unix/packages/teTeX-1.0.7/share/texmf/tex/latex/misc/fullpage.sty
Style Option FULLPAGE Version 2 as of 15 Dec 1988
)
No file sr-max-sat.aux.
\openout1 = `sr-max-sat.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 6.
LaTeX Font Info:    ... okay on input line 6.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 6.
LaTeX Font Info:    ... okay on input line 6.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 6.
LaTeX Font Info:    ... okay on input line 6.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 6.
LaTeX Font Info:    ... okay on input line 6.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 6.
LaTeX Font Info:    ... okay on input line 6.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 6.
LaTeX Font Info:    ... okay on input line 6.

LaTeX Warning: No \author given.


Underfull \hbox (badness 10000) in paragraph at lines 13--19

 []


Underfull \hbox (badness 10000) in paragraph at lines 13--19

 []


Underfull \hbox (badness 10000) in paragraph at lines 20--26

 []


Underfull \hbox (badness 10000) in paragraph at lines 20--26

 []


Underfull \hbox (badness 10000) in paragraph at lines 20--26

 []


Underfull \hbox (badness 10000) in paragraph at lines 27--33

 []


Underfull \hbox (badness 10000) in paragraph at lines 39--43

 []


Underfull \hbox (badness 10000) in paragraph at lines 39--43

 []


Underfull \hbox (badness 10000) in paragraph at lines 44--46

 []


Underfull \hbox (badness 10000) in paragraph at lines 47--49

 []

[1

] (sr-max-sat.aux) ) 
Here is how much of TeX's memory you used:
 872 strings out of 61438
 9486 string characters out of 71896
 59102 words of memory out of 1100001
 3848 multiletter control sequences out of 10000+0
 7803 words of font info for 29 fonts, out of 400000 for 1000
 14 hyphenation exceptions out of 1000
 27i,6n,20p,225b,215s stack positions out of 300i,100n,500p,300000b,4000s

Output written on sr-max-sat.dvi (1 page, 2768 bytes).