This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2004.5.14) 15 NOV 2005 06:23 **doslic15 (doslic15.tex LaTeX2e <1998/12/01> patch level 1 Babel and hyphenation patterns for american, french, german, ngerman, n ohyphenation, loaded. (/software/tetex-1.0/data/texmf/tex/latex/base/article.cls Document Class: article 1999/01/07 v1.4a Standard LaTeX document class (/software/tetex-1.0/data/texmf/tex/latex/base/size12.clo File: size12.clo 1999/01/07 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 ) (/software/tetex-1.0/data/texmf/tex/latex/graphics/color.sty Package: color 1999/02/16 v1.0i Standard LaTeX Color (DPC) (/software/tetex-1.0/data/texmf/tex/latex/config/color.cfg) Package color Info: Driver file: dvips.def on input line 125. (/software/tetex-1.0/data/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) ) (/software/tetex-1.0/data/texmf/tex/latex/graphics/dvipsnam.def File: dvipsnam.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) (/software/tetex-1.0/data/texmf/tex/latex/amsfonts/amssymb.sty Package: amssymb 1996/11/03 v2.2b (/software/tetex-1.0/data/texmf/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 1997/09/17 v2.2e \@emptytoks=\toks14 \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 133. )) (/software/tetex-1.0/data/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/software/tetex-1.0/data/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks15 ) (/software/tetex-1.0/data/texmf/tex/latex/graphics/graphics.sty Package: graphics 1999/02/16 v1.0l Standard LaTeX Graphics (DPC,SPQR) (/software/tetex-1.0/data/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/software/tetex-1.0/data/texmf/tex/latex/config/graphics.cfg) Package graphics Info: Driver file: dvips.def on input line 80. ) \Gin@req@height=\dimen103 \Gin@req@width=\dimen104 ) (/software/tetex-1.0/data/texmf/tex/latex/amslatex/amscd.sty Package: amscd 1999/11/29 v2.0 (/software/tetex-1.0/data/texmf/tex/latex/amslatex/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks16 \ex@=\dimen105 ) \athelp@=\toks17 \minaw@=\dimen106 \bigaw@=\dimen107 \minCDarrowwidth=\dimen108 ) (/software/tetex-1.0/data/texmf/tex/latex/hyperref/hyperref.sty Package: hyperref 2002/04/20 v6.72o Hypertext links for LaTeX \@linkdim=\dimen109 \Hy@linkcounter=\count87 \Hy@pagecounter=\count88 (/software/tetex-1.0/data/texmf/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2002/04/20 v6.72o Hyperref: PDFDocEncoding definition (HO) ) Package hyperref Info: Option `colorlinks' set `true' on input line 1739. Package hyperref Info: Bookmarks ON on input line 1797. Package hyperref Info: Hyper figures OFF on input line 1816. Package hyperref Info: Link nesting OFF on input line 1821. Package hyperref Info: Hyper index ON on input line 1824. Package hyperref Info: Plain pages ON on input line 1829. Package hyperref Info: Backreferencing OFF on input line 1836. Implicit mode ON; LaTeX internals redefined (/software/tetex-1.0/data/texmf.local/tex/latex/html/url.sty Package: url 1999/03/02 ver 1.4 Verb mode for urls, email addresses, and file names ) LaTeX Info: Redefining \url on input line 2046. \Fld@menulength=\count89 \Field@Width=\dimen110 \Fld@charsize=\dimen111 \Choice@toks=\toks18 \Field@toks=\toks19 Package hyperref Info: Hyper figures OFF on input line 2504. Package hyperref Info: Link nesting OFF on input line 2509. Package hyperref Info: Hyper index ON on input line 2512. Package hyperref Info: backreferencing OFF on input line 2519. Package hyperref Info: Link coloring ON on input line 2522. \c@Item=\count90 \c@Hfootnote=\count91 ) *hyperref using default driver hypertex* (/software/tetex-1.0/data/texmf/tex/latex/hyperref/hypertex.def File: hypertex.def 2002/04/20 v6.72o Hyperref driver for HyperTeX specials ) (/software/tetex-1.0/data/texmf/tex/latex/misc/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/software/tetex-1.0/data/texmf/tex/latex/misc/float.sty Package: float 1999/05/29 v1.2d Float enhancements (AL) \c@float@type=\count92 \float@box=\box26 \@floatcapt=\box27 ) (/software/tetex-1.0/data/texmf/tex/generic/misc/psfig.sty \@unused=\write3 \ps@stream=\read1 \p@intvaluex=\dimen112 \p@intvaluey=\dimen113 psfig/tex 1.10-dvips ) (/software/tetex-1.0/data/texmf/tex/latex/amslatex/amsthm.sty Package: amsthm 2000/10/26 v2.08 \thm@style=\toks20 \thm@bodyfont=\toks21 \thm@headfont=\toks22 \thm@notefont=\toks23 \thm@headpunct=\toks24 \thm@preskip=\skip43 \thm@postskip=\skip44 \thm@headsep=\skip45 \dth@everypar=\toks25 ) (/software/tetex-1.0/data/texmf/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup6 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 29. ) (/software/tetex-1.0/data/texmf/tex/plain/dvips/epsf.tex This is `epsf.tex' v2.7k <10 July 1997> \epsffilein=\read2 \epsfframemargin=\dimen114 \epsfframethickness=\dimen115 \epsfrsize=\dimen116 \epsftmp=\dimen117 \epsftsize=\dimen118 \epsfxsize=\dimen119 \epsfysize=\dimen120 \pspoints=\dimen121 \epsfnoopenhelp=\toks26 ) LaTeX Warning: Unused global option(s): [reqno]. (doslic15.aux) \openout1 = `doslic15.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 72. LaTeX Font Info: ... okay on input line 72. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 72. LaTeX Font Info: ... okay on input line 72. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 72. LaTeX Font Info: ... okay on input line 72. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 72. LaTeX Font Info: ... okay on input line 72. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 72. LaTeX Font Info: ... okay on input line 72. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 72. LaTeX Font Info: ... okay on input line 72. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 72. LaTeX Font Info: ... okay on input line 72. Package hyperref Info: Link coloring ON on input line 72. (/software/tetex-1.0/data/texmf/tex/latex/hyperref/nameref.sty Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section \c@section@level=\count93 ) LaTeX Info: Redefining \ref on input line 72. LaTeX Info: Redefining \pageref on input line 72. LaTeX Font Info: Try loading font information for U+msa on input line 99. (/software/tetex-1.0/data/texmf/tex/latex/amsfonts/umsa.fd File: umsa.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+msb on input line 99. (/software/tetex-1.0/data/texmf/tex/latex/amsfonts/umsb.fd File: umsb.fd 1995/01/05 v2.2e AMS font definitions ) LaTeX Font Info: Try loading font information for U+lasy on input line 99. (/software/tetex-1.0/data/texmf/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2eLaTeX symbol font definitions ) \c@theorem=\count94 \c@proposition=\count95 \c@corollary=\count96 \c@lemma=\count97 [1 ] [2] [3] [4] Underfull \hbox (badness 6808) in paragraph at lines 352--355 []\OT1/cmr/m/n/12 J. Sc-holes, 18th IMO 1976, Prob-lem 4, avail-able elec-tro n-i-cally at [] Underfull \hbox (badness 3590) in paragraph at lines 357--360 []\OT1/cmr/m/n/12 J. Sc-holes, 40th Put-nam 1979 Prob-lem A1, avail-able elec -tron-i-cally at [] [5] (doslic15.aux) ) Here is how much of TeX's memory you used: 3072 strings out of 10901 39626 string characters out of 272121 280044 words of memory out of 499089 5989 multiletter control sequences out of 10000+30000 13422 words of font info for 53 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 1000 25i,10n,26p,201b,258s stack positions out of 300i,100n,500p,300000b,4000s Output written on doslic15.dvi (5 pages, 25268 bytes).