This is TeX, Version 3.14159 (Web2C 7.3.1) (format=latex 2002.8.29) 20 DEC 2002 12:56 **cc (cc.tex LaTeX2e <2000/06/01> Babel and hyphenation patterns for american, french, german, ngerman, i talian, nohyphenation, loaded. (/usr/share/texmf/tex/latex/base/book.cls Document Class: book 2000/05/19 v1.4b Standard LaTeX document class (/usr/share/texmf/tex/latex/base/bk12.clo File: bk12.clo 2000/05/19 v1.4b Standard LaTeX file (size option) ) \c@part=\count79 \c@chapter=\count80 \c@section=\count81 \c@subsection=\count82 \c@subsubsection=\count83 \c@paragraph=\count84 \c@subparagraph=\count85 \c@figure=\count86 \c@table=\count87 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 \bibindent=\dimen102 ) (/usr/share/texmf/tex/latex/misc/fullpage.sty Style Option FULLPAGE Version 2 as of 15 Dec 1988 ) (/usr/share/texmf/tex/latex/misc/isolatin1.sty ISO-latin-1 input coding, version 0.9 of 1-Jun-1992.) (/usr/share/texmf/tex/latex/base/makeidx.sty Package: makeidx 2000/03/29 v1.0m Standard LaTeX package ) (/usr/share/texmf/tex/latex/amsmath/amsmath.sty Package: amsmath 2000/07/18 v2.13 AMS math features \@mathmargin=\skip43 For additional information on amsmath, use the `?' option. (/usr/share/texmf/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 \@emptytoks=\toks14 \ex@=\dimen103 )) (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d \pmbraise@=\dimen104 ) (/usr/share/texmf/tex/latex/amsmath/amsopn.sty Package: amsopn 1999/12/14 v2.01 operator names ) \inf@bad=\count88 LaTeX Info: Redefining \frac on input line 211. \uproot@=\count89 \leftroot@=\count90 LaTeX Info: Redefining \overline on input line 307. \classnum@=\count91 \DOTSCASE@=\count92 LaTeX Info: Redefining \ldots on input line 379. LaTeX Info: Redefining \dots on input line 382. LaTeX Info: Redefining \cdots on input line 467. \Mathstrutbox@=\box26 \strutbox@=\box27 \big@size=\dimen105 LaTeX Font Info: Redeclaring font encoding OML on input line 567. LaTeX Font Info: Redeclaring font encoding OMS on input line 568. \macc@depth=\count93 \c@MaxMatrixCols=\count94 \dotsspace@=\muskip10 \c@parentequation=\count95 \dspbrk@lvl=\count96 \tag@help=\toks15 \row@=\count97 \column@=\count98 \maxfields@=\count99 \andhelp@=\toks16 \eqnshift@=\dimen106 \alignsep@=\dimen107 \tagshift@=\dimen108 \tagwidth@=\dimen109 \totwidth@=\dimen110 \lineht@=\dimen111 \@envbody=\toks17 \multlinegap=\skip44 \multlinetaggap=\skip45 \mathdisplay@stack=\toks18 LaTeX Info: Redefining \[ on input line 2666. LaTeX Info: Redefining \] on input line 2667. ) (/usr/share/texmf/tex/plain/dvips/colordvi.tex) (/usr/share/texmf/tex/latex/html/html.sty Package: html 1999/07/19 v1.38 hypertext commands for latex2html (nd, hws, rrm) \c@lpart=\count100 \c@lchapter=\count101 \c@lsection=\count102 \c@lsubsection=\count103 \c@lsubsubsection=\count104 \c@lparagraph=\count105 \c@lsubparagraph=\count106 \c@lsubsubparagraph=\count107 \ptrfile=\write3 ) (/usr/share/texmf/tex/latex/graphics/epsfig.sty Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR) (/usr/share/texmf/tex/latex/graphics/graphicx.sty Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/keyval.sty Package: keyval 1999/03/16 v1.13 key=value parser (DPC) \KV@toks@=\toks19 ) (/usr/share/texmf/tex/latex/graphics/graphics.sty Package: graphics 1999/02/16 v1.0l Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texmf/tex/latex/graphics/trig.sty Package: trig 1999/03/16 v1.09 sin cos tan (DPC) ) (/usr/share/texmf/tex/latex/config/graphics.cfg) Package graphics Info: Driver file: dvips.def on input line 80. (/usr/share/texmf/tex/latex/graphics/dvips.def File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR) )) \Gin@req@height=\dimen112 \Gin@req@width=\dimen113 ) \epsfxsize=\dimen114 \epsfysize=\dimen115 ) (/usr/share/texmf/tex/latex/misc/here.sty) (/usr/share/texmf/tex/latex/misc/moreverb.sty Package: moreverb 1997/12/07 v2.2d.2 `more' verbatim facilities (/usr/share/texmf/tex/latex/tools/verbatim.sty Package: verbatim 2000/08/23 v1.5o LaTeX2e package for verbatim enhancements \every@verbatim=\toks20 \verbatim@line=\toks21 \verbatim@in@stream=\read1 ) \verbatim@out=\write4 \tab@position=\count108 \tab@size=\count109 \listing@line=\count110 ) (/home/alain/AltaRica/htdocs/lib/automata.sty Automata Style File for LaTeX/AmSLaTeX, version 6.0 by Alain Griffault - May 1999 \c@valeuraux=\count111 \c@q=\count112 \c@sautligne=\count113 \c@delta=\count114 \c@flotant=\count115 \c@demilargeuretat=\count116 \c@demihauteuretat=\count117 \c@demilargeurpoint=\count118 \c@demihauteurpoint=\count119 \c@largeurpoint=\count120 \c@hauteurpoint=\count121 \c@demilargeurpointcontexte=\count122 ) \c@Exo=\count123 \c@Cor=\count124 \c@Que=\count125 LaTeX Warning: Unused global option(s): [frenchb]. (cc.aux) \openout1 = `cc.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 19. LaTeX Font Info: ... okay on input line 19. (exo1.tex Underfull \hbox (badness 10000) in paragraph at lines 4--5 [] File: exo1c.eps Graphic file (type eps) [1 ] File: exo1d.lex (verbatim) ) (exo2.tex Underfull \hbox (badness 10000) in paragraph at lines 4--6 [] [2]) [3] (cc.aux) ) Here is how much of TeX's memory you used: 1947 strings out of 20887 21619 string characters out of 196241 98694 words of memory out of 350001 4890 multiletter control sequences out of 10000+15000 9285 words of font info for 33 fonts, out of 400000 for 1000 14 hyphenation exceptions out of 10000 32i,17n,21p,215b,332s stack positions out of 3000i,100n,1500p,50000b,4000s Output written on cc.dvi (3 pages, 8132 bytes).