-This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2013.4.28) 17 OCT 2013 21:26
+This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013/Debian) (format=pdflatex 2013.11.13) 15 NOV 2013 08:37
entering extended mode
restricted \write18 enabled.
%&-line parsing enabled.
**main13.tex
(./main13.tex
LaTeX2e <2011/06/27>
-Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
-aded.
+Babel <3.9f> and hyphenation patterns for 4 languages loaded.
(/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
(Font) OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 38.
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
-Package: amsmath 2000/07/18 v2.13 AMS math features
+Package: amsmath 2013/01/14 v2.14 AMS math features
\@mathmargin=\skip43
For additional information on amsmath, use the `?' option.
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count90
-LaTeX Info: Redefining \frac on input line 211.
+LaTeX Info: Redefining \frac on input line 210.
\uproot@=\count91
\leftroot@=\count92
-LaTeX Info: Redefining \overline on input line 307.
+LaTeX Info: Redefining \overline on input line 306.
\classnum@=\count93
\DOTSCASE@=\count94
-LaTeX Info: Redefining \ldots on input line 379.
-LaTeX Info: Redefining \dots on input line 382.
-LaTeX Info: Redefining \cdots on input line 467.
+LaTeX Info: Redefining \ldots on input line 378.
+LaTeX Info: Redefining \dots on input line 381.
+LaTeX Info: Redefining \cdots on input line 466.
\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.
+LaTeX Font Info: Redeclaring font encoding OML on input line 566.
+LaTeX Font Info: Redeclaring font encoding OMS on input line 567.
\macc@depth=\count95
\c@MaxMatrixCols=\count96
\dotsspace@=\muskip10
\multlinegap=\skip44
\multlinetaggap=\skip45
\mathdisplay@stack=\toks22
-LaTeX Info: Redefining \[ on input line 2666.
-LaTeX Info: Redefining \] on input line 2667.
+LaTeX Info: Redefining \[ on input line 2665.
+LaTeX Info: Redefining \] on input line 2666.
)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
-Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
+Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
\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 96.
+(Font) U/euf/m/n --> U/euf/b/n on input line 106.
)
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
-Package: amssymb 2009/06/22 v3.00
+Package: amssymb 2013/01/14 v3.01 AMS font symbols
)
(/usr/share/texlive/texmf-dist/tex/latex/optional/optional.sty
Package: optional 2005/01/26 ver 2.2b; Optional inclusion/omission
\FrameSep=\dimen115
)
(/usr/share/texlive/texmf-dist/tex/latex/ntheorem/ntheorem.sty
-Style `ntheorem', Version 1.31 <2011/02/16>
-Package: ntheorem 2011/02/16 1.31
+Style `ntheorem', Version 1.33 <2011/08/15>
+Package: ntheorem 2011/08/15 1.33
(/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
)
\theorempostskipamount=\skip48
\theoremframepreskipamount=\skip49
\theoremframepostskipamount=\skip50
+\theoreminframepreskipamount=\skip51
+\theoreminframepostskipamount=\skip52
+\theorem@preskip=\toks27
+\theorem@postskip=\toks28
+\theorem@framepreskip=\toks29
+\theorem@framepostskip=\toks30
+\theorem@inframepreskip=\toks31
+\theorem@inframepostskip=\toks32
\theoremindent=\dimen116
\theorem@indent=\dimen117
-\theoremheaderfont=\toks27
-\theoremseparator=\toks28
-\theoremprework=\toks29
-\theorempostwork=\toks30
-\theoremsymbol=\toks31
-\qedsymbol=\toks32
-\theoremkeyword=\toks33
-\qedsymbol=\toks34
-\thm@topsepadd=\skip51
-Package ntheorem Info: Option `thmmarks' loaded on input line 1066.
+\theoremrightindent=\dimen118
+\theorem@rightindent=\dimen119
+\theoremheaderfont=\toks33
+\theoremseparator=\toks34
+\theoremprework=\toks35
+\theorempostwork=\toks36
+\theoremsymbol=\toks37
+\qedsymbol=\toks38
+\theoremkeyword=\toks39
+\qedsymbol=\toks40
+\thm@topsep=\skip53
+\thm@topsepadd=\skip54
+Package ntheorem Info: Option `thmmarks' loaded on input line 1175.
\c@endNonectr=\count102
\c@currNonectr=\count103
-\mysavskip=\skip52
-Package ntheorem Info: Option `thref' loaded on input line 1066.
-\mysavskip=\skip53
+\mysavskip=\skip55
+Package ntheorem Info: Option `thref' loaded on input line 1175.
+\mysavskip=\skip56
Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li
-ne 1066.
+ne 1175.
Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input
- line 1066.
-\thm@amstmpdepth=\dimen118
-\tagwidth=\dimen119
-\shadecolor=\toks35
+ line 1175.
+\thm@amstmpdepth=\dimen120
+\tagwidth=\dimen121
+\shadecolor=\toks41
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
-\KV@toks@=\toks36
+\KV@toks@=\toks42
)
-\Gin@req@height=\dimen120
-\Gin@req@width=\dimen121
+\Gin@req@height=\dimen122
+\Gin@req@width=\dimen123
)
-\epsfxsize=\dimen122
-\epsfysize=\dimen123
+\epsfxsize=\dimen124
+\epsfysize=\dimen125
)
(/usr/share/texlive/texmf-dist/tex/latex/psfrag/psfrag.sty
Package: psfrag 1998/04/11 v3.04 PSfrag (MCG)
)
(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
Package: subfigure 2002/03/15 v2.1.5 subfigure package
-\subfigtopskip=\skip54
-\subfigcapskip=\skip55
-\subfigcaptopadj=\dimen124
-\subfigbottomskip=\skip56
-\subfigcapmargin=\dimen125
-\subfiglabelskip=\skip57
+\subfigtopskip=\skip57
+\subfigcapskip=\skip58
+\subfigcaptopadj=\dimen126
+\subfigbottomskip=\skip59
+\subfigcapmargin=\dimen127
+\subfiglabelskip=\skip60
\c@subfigure=\count106
\c@lofdepth=\count107
\c@subtable=\count108
* Local config file subfigure.cfg used *
****************************************
(/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)
-\subfig@top=\skip58
-\subfig@bottom=\skip59
+\subfig@top=\skip61
+\subfig@bottom=\skip62
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty
Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count111
\calc@Bcount=\count112
-\calc@Adimen=\dimen126
-\calc@Bdimen=\dimen127
-\calc@Askip=\skip60
-\calc@Bskip=\skip61
+\calc@Adimen=\dimen128
+\calc@Bdimen=\dimen129
+\calc@Askip=\skip63
+\calc@Bskip=\skip64
LaTeX Info: Redefining \setlength on input line 76.
LaTeX Info: Redefining \addtolength on input line 77.
\calc@Ccount=\count113
-\calc@Cskip=\skip62
+\calc@Cskip=\skip65
)
(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
\lst@mode=\count114
\lst@gtempboxa=\box28
-\lst@token=\toks37
+\lst@token=\toks43
\lst@length=\count115
-\lst@currlwidth=\dimen128
+\lst@currlwidth=\dimen130
\lst@column=\count116
\lst@pos=\count117
-\lst@lostspace=\dimen129
-\lst@width=\dimen130
+\lst@lostspace=\dimen131
+\lst@width=\dimen132
\lst@newlines=\count118
\lst@lineno=\count119
-\lst@maxwidth=\dimen131
+\lst@maxwidth=\dimen133
(/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
-File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)
+File: lstmisc.sty 2013/07/10 1.5 (Carsten Heinz)
\c@lstnumber=\count120
\lst@skipnumbers=\count121
\lst@framebox=\box29
)
(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
-File: listings.cfg 2007/02/22 1.4 listings configuration
+File: listings.cfg 2013/06/27 1.5pre1 listings configuration
))
-Package: listings 2007/02/22 1.4 (Carsten Heinz)
+Package: listings 2013/07/10 1.5 (Carsten Heinz)
(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip11
)
(/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty
Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC)
-\LTleft=\skip63
-\LTright=\skip64
-\LTpre=\skip65
-\LTpost=\skip66
+\LTleft=\skip66
+\LTright=\skip67
+\LTpre=\skip68
+\LTpost=\skip69
\LTchunksize=\count122
-\LTcapwidth=\dimen132
+\LTcapwidth=\dimen134
\LT@head=\box30
\LT@firsthead=\box31
\LT@foot=\box32
\LT@rows=\count124
\c@LT@tables=\count125
\c@LT@chunks=\count126
-\LT@p@ftn=\toks38
+\LT@p@ftn=\toks44
)
(/usr/share/texlive/texmf-dist/tex/latex/tabls/tabls.sty
-\tablinesep=\dimen133
-\arraylinesep=\dimen134
-\extrarulesep=\dimen135
-\@arstdepth=\dimen136
-\@arstheight=\dimen137
-\@skip@bove=\dimen138
+\tablinesep=\dimen135
+\arraylinesep=\dimen136
+\extrarulesep=\dimen137
+\@arstdepth=\dimen138
+\@arstheight=\dimen139
+\@skip@bove=\dimen140
)
(/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
\@slashboxc=\box36
\@slashboxwd=\count127
\@slashboxht=\count128
-\@slashsepl=\dimen139
-\@slashsepr=\dimen140
+\@slashsepl=\dimen141
+\@slashsepr=\dimen142
) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty
Package: times 2005/04/12 PSNFSS-v9.2a (SPQR)
)
\c@cnt@a=\count129
\c@cnt@b=\count130
\c@cnt@c=\count131
-\dim@x=\dimen141
-\dim@y=\dimen142
+\dim@x=\dimen143
+\dim@y=\dimen144
\temp@box=\box37
-\d@my@unit=\dimen143
+\d@my@unit=\dimen145
\c@cnt@@a=\count132
\c@cnt@@b=\count133
\c@cnt@@c=\count134
)
(/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty
-\bigstrutjot=\dimen144
+\bigstrutjot=\dimen146
)
(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
-Package: babel 2008/07/08 v3.8m The Babel package
+Package: babel 2013/05/16 v3.9f The Babel package
-(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf
-Language: frenchb 2010/08/21 v2.5a French support from the babel system
+(/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
+Language: frenchb 2013/07/06 v2.6e French support from the babel system
(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
-File: babel.def 2008/07/08 v3.8m Babel common definitions
+File: babel.def 2013/05/16 v3.9f Babel common definitions
\babel@savecnt=\count135
-\U@D=\dimen145
+\U@D=\dimen147
LaTeX Warning: Command \@testdef has changed.
Check if current package is valid.
)
-
-Package babel Warning: No hyphenation patterns were loaded for
-(babel) the language `French'
-(babel) I will use the patterns loaded for \language=0 instead.
-
-\l@french = a dialect from \language0
-Package babel Info: Making : an active character on input line 234.
-Package babel Info: Making ; an active character on input line 235.
-Package babel Info: Making ! an active character on input line 236.
-Package babel Info: Making ? an active character on input line 237.
-\FB@Mht=\dimen146
-\std@mcc=\count136
-\dec@mcc=\count137
-\parindentFFN=\dimen147
-*************************************
-* Local config file frenchb.cfg used
-*
-(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.cfg))
-(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf
-Language: frenchb 2010/08/21 v2.5a French support from the babel system
+\FB@interchartokenstateORI=\count136
+Package babel Info: Making : an active character on input line 240.
+Package babel Info: Making ; an active character on input line 241.
+Package babel Info: Making ! an active character on input line 242.
+Package babel Info: Making ? an active character on input line 243.
+\FB@Mht=\dimen148
+\std@mcc=\count137
+\dec@mcc=\count138
+\listindentFB=\skip70
+\labelwidthFB=\skip71
+\leftmarginFB=\skip72
+\parindentFFN=\dimen149
+) (/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
+Language: frenchb 2013/07/06 v2.6e French support from the babel system
))
(/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty)
(/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
)
-\Gm@cnth=\count138
-\Gm@cntv=\count139
-\c@Gm@tempcnt=\count140
-\Gm@bindingoffset=\dimen148
-\Gm@wd@mp=\dimen149
-\Gm@odd@mp=\dimen150
-\Gm@even@mp=\dimen151
-\Gm@layoutwidth=\dimen152
-\Gm@layoutheight=\dimen153
-\Gm@layouthoffset=\dimen154
-\Gm@layoutvoffset=\dimen155
-\Gm@dimlist=\toks39
+\Gm@cnth=\count139
+\Gm@cntv=\count140
+\c@Gm@tempcnt=\count141
+\Gm@bindingoffset=\dimen150
+\Gm@wd@mp=\dimen151
+\Gm@odd@mp=\dimen152
+\Gm@even@mp=\dimen153
+\Gm@layoutwidth=\dimen154
+\Gm@layoutheight=\dimen155
+\Gm@layouthoffset=\dimen156
+\Gm@layoutvoffset=\dimen157
+\Gm@dimlist=\toks45
)
(./symboles.sty)
-\c@currExoctr=\count141
-\c@endExoctr=\count142
-\c@Exo=\count143
-\c@currExocctr=\count144
-\c@endExocctr=\count145
-\c@currExctr=\count146
-\c@endExctr=\count147
-\c@currRemctr=\count148
-\c@endRemctr=\count149
-\c@Rem=\count150
-\c@currNotationctr=\count151
-\c@endNotationctr=\count152
-\c@Notation=\count153
-\c@currDefctr=\count154
-\c@endDefctr=\count155
-\c@Def=\count156
-\c@currThctr=\count157
-\c@endThctr=\count158
-\c@Th=\count159
-\c@currCorollaryctr=\count160
-\c@endCorollaryctr=\count161
-\c@currPrectr=\count162
-\c@endPrectr=\count163
-\c@Pre=\count164
-\c@currLemmactr=\count165
-\c@endLemmactr=\count166
-\c@Lemma=\count167
-\c@currProofctr=\count168
-\c@endProofctr=\count169
-\c@Proof=\count170
-\c@currQqctr=\count171
-\c@endQqctr=\count172
-\c@Qq=\count173
+\c@currExoctr=\count142
+\c@endExoctr=\count143
+\c@Exo=\count144
+\c@currExocctr=\count145
+\c@endExocctr=\count146
+\c@currExctr=\count147
+\c@endExctr=\count148
+\c@currRemctr=\count149
+\c@endRemctr=\count150
+\c@Rem=\count151
+\c@currNotationctr=\count152
+\c@endNotationctr=\count153
+\c@Notation=\count154
+\c@currDefctr=\count155
+\c@endDefctr=\count156
+\c@Def=\count157
+\c@currThctr=\count158
+\c@endThctr=\count159
+\c@Th=\count160
+\c@currCorollaryctr=\count161
+\c@endCorollaryctr=\count162
+\c@currPrectr=\count163
+\c@endPrectr=\count164
+\c@Pre=\count165
+\c@currLemmactr=\count166
+\c@endLemmactr=\count167
+\c@Lemma=\count168
+\c@currProofctr=\count169
+\c@endProofctr=\count170
+\c@Proof=\count171
+\c@currQqctr=\count172
+\c@endQqctr=\count173
+\c@Qq=\count174
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
-Package: hyperref 2012/05/13 v6.82q Hypertext links for LaTeX
+Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
)
+(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
+Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)
+)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
)
-\@linkdim=\dimen156
-\Hy@linkcounter=\count174
-\Hy@pagecounter=\count175
+\@linkdim=\dimen158
+\Hy@linkcounter=\count175
+\Hy@pagecounter=\count176
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
-File: pd1enc.def 2012/05/13 v6.82q Hyperref: PDFDocEncoding definition (HO)
+File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
)
-\Hy@SavedSpaceFactor=\count176
+\Hy@SavedSpaceFactor=\count177
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
)
-Package hyperref Info: Hyper figures OFF on input line 4062.
-Package hyperref Info: Link nesting OFF on input line 4067.
-Package hyperref Info: Hyper index ON on input line 4070.
-Package hyperref Info: Plain pages OFF on input line 4077.
-Package hyperref Info: Backreferencing OFF on input line 4082.
+Package hyperref Info: Hyper figures OFF on input line 4443.
+Package hyperref Info: Link nesting OFF on input line 4448.
+Package hyperref Info: Hyper index ON on input line 4451.
+Package hyperref Info: Plain pages OFF on input line 4458.
+Package hyperref Info: Backreferencing OFF on input line 4463.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
-Package hyperref Info: Bookmarks ON on input line 4300.
-\c@Hy@tempcnt=\count177
-LaTeX Info: Redefining \url on input line 4653.
-\Fld@menulength=\count178
-\Field@Width=\dimen157
-\Fld@charsize=\dimen158
-Package hyperref Info: Hyper figures OFF on input line 5773.
-Package hyperref Info: Link nesting OFF on input line 5778.
-Package hyperref Info: Hyper index ON on input line 5781.
-Package hyperref Info: backreferencing OFF on input line 5788.
-Package hyperref Info: Link coloring OFF on input line 5793.
-Package hyperref Info: Link coloring with OCG OFF on input line 5798.
-Package hyperref Info: PDF/A mode OFF on input line 5803.
-LaTeX Info: Redefining \ref on input line 5843.
-LaTeX Info: Redefining \pageref on input line 5847.
-\Hy@abspage=\count179
-\c@Item=\count180
-\c@Hfootnote=\count181
+Package hyperref Info: Bookmarks ON on input line 4688.
+\c@Hy@tempcnt=\count178
+LaTeX Info: Redefining \url on input line 5041.
+\XeTeXLinkMargin=\dimen159
+\Fld@menulength=\count179
+\Field@Width=\dimen160
+\Fld@charsize=\dimen161
+Package hyperref Info: Hyper figures OFF on input line 6295.
+Package hyperref Info: Link nesting OFF on input line 6300.
+Package hyperref Info: Hyper index ON on input line 6303.
+Package hyperref Info: backreferencing OFF on input line 6310.
+Package hyperref Info: Link coloring OFF on input line 6315.
+Package hyperref Info: Link coloring with OCG OFF on input line 6320.
+Package hyperref Info: PDF/A mode OFF on input line 6325.
+LaTeX Info: Redefining \ref on input line 6365.
+LaTeX Info: Redefining \pageref on input line 6369.
+\Hy@abspage=\count180
+\c@Item=\count181
+\c@Hfootnote=\count182
)
Package hyperref Message: Driver (autodetected): hpdftex.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
-File: hpdftex.def 2012/05/13 v6.82q Hyperref driver for pdfTeX
-\Fld@listcount=\count182
-\c@bookmark@seq@number=\count183
+File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
+\Fld@listcount=\count183
+\c@bookmark@seq@number=\count184
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
82.
)
-\Hy@SectionHShift=\skip67
+\Hy@SectionHShift=\skip73
)
-Package hyperref Info: Option `colorlinks' set `true' on input line 190.
-Package hyperref Info: Option `breaklinks' set `true' on input line 190.
-Package hyperref Info: Option `bookmarksopen' set `true' on input line 190.
+Package hyperref Info: Option `colorlinks' set `true' on input line 184.
+Package hyperref Info: Option `breaklinks' set `true' on input line 184.
+Package hyperref Info: Option `bookmarksopen' set `true' on input line 184.
\@indexfile=\write4
\openout4 = `main13.idx'.
(./main13.aux (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
\openout1 = `main13.aux'.
-LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 217.
-LaTeX Font Info: ... okay on input line 217.
-LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 217.
-LaTeX Font Info: ... okay on input line 217.
-LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 217.
-LaTeX Font Info: ... okay on input line 217.
-LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 217.
-LaTeX Font Info: ... okay on input line 217.
-LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 217.
-LaTeX Font Info: ... okay on input line 217.
-LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 217.
-LaTeX Font Info: ... okay on input line 217.
-LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 217.
-LaTeX Font Info: Try loading font information for TS1+cmr on input line 217.
+LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 211.
+LaTeX Font Info: ... okay on input line 211.
+LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 211.
+LaTeX Font Info: ... okay on input line 211.
+LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 211.
+LaTeX Font Info: ... okay on input line 211.
+LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 211.
+LaTeX Font Info: ... okay on input line 211.
+LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 211.
+LaTeX Font Info: ... okay on input line 211.
+LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 211.
+LaTeX Font Info: ... okay on input line 211.
+LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 211.
+LaTeX Font Info: Try loading font information for TS1+cmr on input line 211.
(/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
-LaTeX Font Info: ... okay on input line 217.
-LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 217.
-LaTeX Font Info: ... okay on input line 217.
-LaTeX Font Info: Try loading font information for T1+ptm on input line 217.
+LaTeX Font Info: ... okay on input line 211.
+LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 211.
+LaTeX Font Info: ... okay on input line 211.
+LaTeX Font Info: Try loading font information for T1+ptm on input line 211.
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd
File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
\UseOption=
Package optional Warning: No options were selected, so all optional text will b
-e printed on input line 217.
+e printed on input line 211.
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
))
(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
-\scratchcounter=\count184
-\scratchdimen=\dimen159
+\scratchcounter=\count185
+\scratchdimen=\dimen162
\scratchbox=\box38
-\nofMPsegments=\count185
-\nofMParguments=\count186
-\everyMPshowfont=\toks40
-\MPscratchCnt=\count187
-\MPscratchDim=\dimen160
-\MPnumerator=\count188
-\makeMPintoPDFobject=\count189
-\everyMPtoPDFconversion=\toks41
+\nofMPsegments=\count186
+\nofMParguments=\count187
+\everyMPshowfont=\toks46
+\MPscratchCnt=\count188
+\MPscratchDim=\dimen163
+\MPnumerator=\count189
+\makeMPintoPDFobject=\count190
+\everyMPtoPDFconversion=\toks47
)
-\c@lstlisting=\count190
-LaTeX Info: Redefining \degres on input line 217.
-LaTeX Info: Redefining \dots on input line 217.
-LaTeX Info: Redefining \up on input line 217.
+\c@lstlisting=\count191
+LaTeX Info: Redefining \degres on input line 211.
+LaTeX Info: Redefining \dots on input line 211.
+LaTeX Info: Redefining \up on input line 211.
*geometry* driver: auto-detecting
*geometry* detected driver: pdftex
* layout: <same size as paper>
* layoutoffset:(h,v)=(0.0pt,0.0pt)
* modes:
-* h-part:(L,W,R)=(71.13188pt, 455.24411pt, 71.13188pt)
-* v-part:(T,H,B)=(71.13188pt, 702.78308pt, 71.13188pt)
+* h-part:(L,W,R)=(42.67912pt, 512.14963pt, 42.67912pt)
+* v-part:(T,H,B)=(28.45274pt, 788.14136pt, 28.45274pt)
* \paperwidth=597.50787pt
* \paperheight=845.04684pt
-* \textwidth=455.24411pt
-* \textheight=702.78308pt
-* \oddsidemargin=-1.1381pt
-* \evensidemargin=-1.1381pt
-* \topmargin=-38.1381pt
+* \textwidth=512.14963pt
+* \textheight=788.14136pt
+* \oddsidemargin=-29.59087pt
+* \evensidemargin=-29.59087pt
+* \topmargin=-80.81725pt
* \headheight=12.0pt
* \headsep=25.0pt
* \topskip=11.0pt
* (1in=72.27pt=25.4mm, 1cm=28.453pt)
\AtBeginShipoutBox=\box39
-Package hyperref Info: Link coloring ON on input line 217.
+Package hyperref Info: Link coloring ON on input line 211.
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
-Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section
+Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
)
-\c@section@level=\count191
+\c@section@level=\count192
)
-LaTeX Info: Redefining \ref on input line 217.
-LaTeX Info: Redefining \pageref on input line 217.
-LaTeX Info: Redefining \nameref on input line 217.
+LaTeX Info: Redefining \ref on input line 211.
+LaTeX Info: Redefining \pageref on input line 211.
+LaTeX Info: Redefining \nameref on input line 211.
(./main13.out) (./main13.out)
\@outlinefile=\write5
\openout5 = `main13.out'.
-LaTeX Font Info: Try loading font information for OT1+lmr on input line 221.
+LaTeX Font Info: Try loading font information for OT1+lmr on input line 215.
(/usr/share/texmf/tex/latex/lm/ot1lmr.fd
File: ot1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
)
-LaTeX Font Info: Try loading font information for OML+lmm on input line 221.
+LaTeX Font Info: Try loading font information for OML+lmm on input line 215.
(/usr/share/texmf/tex/latex/lm/omllmm.fd
File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern
)
-LaTeX Font Info: Try loading font information for OMS+lmsy on input line 221
+LaTeX Font Info: Try loading font information for OMS+lmsy on input line 215
.
(/usr/share/texmf/tex/latex/lm/omslmsy.fd
File: omslmsy.fd 2009/10/30 v1.6 Font defs for Latin Modern
)
-LaTeX Font Info: Try loading font information for OMX+lmex on input line 221
+LaTeX Font Info: Try loading font information for OMX+lmex on input line 215
.
(/usr/share/texmf/tex/latex/lm/omxlmex.fd
File: omxlmex.fd 2009/10/30 v1.6 Font defs for Latin Modern
)
LaTeX Font Info: External font `lmex10' loaded for size
-(Font) <12> on input line 221.
+(Font) <12> on input line 215.
LaTeX Font Info: External font `lmex10' loaded for size
-(Font) <8> on input line 221.
+(Font) <8> on input line 215.
LaTeX Font Info: External font `lmex10' loaded for size
-(Font) <6> on input line 221.
-LaTeX Font Info: Try loading font information for U+msa on input line 221.
+(Font) <6> on input line 215.
+LaTeX Font Info: Try loading font information for U+msa on input line 215.
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
-File: umsa.fd 2009/06/22 v3.00 AMS symbols A
+File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
-LaTeX Font Info: Try loading font information for U+msb on input line 221.
+LaTeX Font Info: Try loading font information for U+msb on input line 215.
(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
-File: umsb.fd 2009/06/22 v3.00 AMS symbols B
+File: umsb.fd 2013/01/14 v3.01 AMS symbols B
)
-LaTeX Font Info: Try loading font information for T1+pcr on input line 221.
+LaTeX Font Info: Try loading font information for T1+pcr on input line 215.
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd
File: t1pcr.fd 2001/06/04 font definitions for T1/pcr.
Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <24.88> not available
-(Font) Font shape `T1/ptm/b/n' tried instead on input line 221.
+(Font) Font shape `T1/ptm/b/n' tried instead on input line 215.
(./main13.toc
LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <12> not available
been already used, duplicate ignored
<to be read again>
\relax
-l.48 ...IeC {\'e}quivalence}{32}{subsection.4.3.1}
+l.50 ...sembles de nombres entiers}{31}{chapter.5}
[1
])
No file Remerciements.tex.
LaTeX Font Info: Font shape `T1/ptm/bx/n' in size <20.74> not available
-(Font) Font shape `T1/ptm/b/n' tried instead on input line 229.
+(Font) Font shape `T1/ptm/b/n' tried instead on input line 223.
[3
(Font) Font shape `T1/ptm/b/n' tried instead on input line 2.
Package hyperref Info: bookmark level for unknown Def defaults to 0 on input li
ne 6.
-
-Overfull \hbox (8.67114pt too wide) in paragraph at lines 6--11
-[]\T1/ptm/m/sl/10.95 On ap-pelle \T1/ptm/m/n/10.95 al-gèbre de Boole[] \T1/ptm/
-m/sl/10.95 la struc-ture al-gébrique $\OT1/lmr/m/n/10.95 (\OMS/lmsy/m/n/10.95 A
-\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 +\OML/lmm/m/it/10.95 ; :; []\OT1/lmr/m
-/n/10.95 )$
- []
-
LaTeX Font Info: External font `lmex10' loaded for size
(Font) <10> on input line 36.
LaTeX Font Info: External font `lmex10' loaded for size
ne 68.
Package hyperref Info: bookmark level for unknown Exo defaults to 0 on input li
ne 74.
-[4
+ [4
]
Package hyperref Info: bookmark level for unknown Th defaults to 0 on input lin
Package hyperref Info: bookmark level for unknown Ex defaults to 0 on input lin
e 172.
[5]
-Overfull \hbox (0.52283pt too wide) in paragraph at lines 327--329
-[]\T1/ptm/m/sl/10.95 Un \T1/ptm/m/n/10.95 monôme[] \T1/ptm/m/sl/10.95 est une f
-onc-tion booléenne pro-duit de vari-ables booléennes
+Underfull \hbox (badness 2762) in paragraph at lines 309--312
+[]\T1/ptm/m/n/10.95 Les min-termes et max-termes, pour un
[]
-[6] [7] [8]
+[6] [7]
Package hyperref Info: bookmark level for unknown Exoc defaults to 0 on input l
ine 500.
- [9]
-Overfull \hbox (0.39145pt too wide) in paragraph at lines 626--627
-[]\T1/ptm/m/it/10.95 Donner la forme canon-ique dis-jonc-tive de la fonc-tion b
-ooléeene
+ [8]
+Overfull \hbox (10.98196pt too wide) in paragraph at lines 653--655
+[]\T1/ptm/m/it/10.95 On consi-dère deux fonc-tions boo-léennes $\OML/lmm/m/it/1
+0.95 u$ \T1/ptm/m/it/10.95 et $\OML/lmm/m/it/10.95 v$ \T1/ptm/m/it/10.95 des qu
+atres
[]
-[10]) [11]
+[9]) [10]
Chapitre 2.
-(./logique/Propositions13.texpdfTeX warning (ext4): destination with the same i
-dentifier (name{Def.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.34 \begin{Def}
- [Proposition]pdfTeX warning (ext4): destination with the same i
-dentifier (name{Exo.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.43 \begin{Ex}
- [12
+(./logique/Propositions13.tex [11
-]pdfTeX warning (ext4): destination with the same identifier (name{Rem.1}) has
-been already used, duplicate ignored
-<to be read again>
- \relax
-l.175 \begin{Rem}
- [13]pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.197 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Rem.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.219 \begin{Rem}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.225 \begin{Exoc}
- pdfTeX warning (ext4): destination with the same identifier (
-name{Exo.4}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.256 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.5}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.289 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.6}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.300 \begin{Exo}
- [14]
-LaTeX Font Info: Try loading font information for TS1+ptm on input line 309.
+]
+Overfull \hbox (0.7556pt too wide) in paragraph at lines 220--222
+[]\T1/ptm/m/n/10.95 Même re-marque que pour l'im-pli-ca-tion lo-gique : l'équi-
+va-lence lo-gique de deux pro-po-si-tions fausses
+ []
+[12]
+LaTeX Font Info: Try loading font information for TS1+ptm on input line 309.
-(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
+ (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
-)pdfTeX warning (ext4): destination with the same identifier (name{Th.1}) has b
-een already used, duplicate ignored
-<to be read again>
- \relax
-l.400 \begin{Th}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Rem.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.420 \begin{Rem}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.7}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.431 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.8}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.452 \begin{Exo}
- [15]pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.9}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.474 \begin{Exo}
-
-Overfull \hbox (2.21603pt too wide) in paragraph at lines 482--487
-[]\T1/ptm/m/n/10.95 Lorsqu'on rem-place, dans une for-mule propo-si-tion-nelle,
- les vari-ables propo-si-tion-nelles par des propo-
+) [13]
+Underfull \hbox (badness 2717) in paragraph at lines 489--491
+[]\T1/ptm/m/n/10.95 Les conven-tions de prio-rité des
[]
-pdfTeX warning (ext4): destination with the same identifier (name{Th.2}) has be
-en already used, duplicate ignored
-<to be read again>
- \relax
-l.488 \begin{Th}
- [Règles de priorité des connecteurs logiques]
-Underfull \hbox (badness 10000) in paragraph at lines 489--491
-[]\T1/ptm/m/n/10.95 Les con-ven-tions de
- []
-
-pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has
-been already used, duplicate ignored
-<to be read again>
- \relax
-l.499 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Th.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.507 \begin{Th}
- [Associativité des opérateurs $\ou$ et $\et$]pdfTeX warning (
-ext4): destination with the same identifier (name{Exo.11}) has been already use
-d, duplicate ignored
-<to be read again>
- \relax
-l.528 \begin{Exoc}
- [16]pdfTeX warning (ext4): destination with the same identif
-ier (name{Exo.12}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.573 \begin{Exoc}
- pdfTeX warning (ext4): destination with the same identifier (
-name{Exo.13}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.602 \begin{Exo}
- [17]pdfTeX warning (ext4): destination with the same identifi
-er (name{Def.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.750 \begin{Def}
- [Fonction de vérité de $F$]pdfTeX warning (ext4): destinatio
-n with the same identifier (name{Exo.14}) has been already used, duplicate igno
-red
-<to be read again>
- \relax
-l.803 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Def.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.842 \begin{Def}
- [Tautologie]
+[14] [15]
Package hyperref Info: bookmark level for unknown Notation defaults to 0 on inp
ut line 857.
-pdfTeX warning (ext4): destination with the same identifier (name{Exo.15}) has
-been already used, duplicate ignored
-<to be read again>
- \relax
-l.861 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.16}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.867 \begin{Ex}
- [18]pdfTeX warning (ext4): destination with the same identifie
-r (name{Exo.17}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.923 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.4}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.950 \begin{Def}
- [Antilogie]pdfTeX warning (ext4): destination with the same id
-entifier (name{Exo.18}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.958 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.19}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.969 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.5}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.1005 \begin{Def}
- [Conséquence logique]
-Overfull \hbox (9.10168pt too wide) in paragraph at lines 1015--1017
-[]\T1/ptm/m/n/10.95 On note ce ré-sul-tat : $\OMS/lmsy/m/n/10.95 f\OML/lmm/m/it
-/10.95 F[]; [] ; F[]\OMS/lmsy/m/n/10.95 g j[]\OT1/lmr/m/n/10.95 = \OML/lmm/m/it
-/10.95 A$ \T1/ptm/m/n/10.95 (se lit : $\OML/lmm/m/it/10.95 A$ \T1/ptm/m/n/10.95
- est con-séquence logique de $\OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 F[]; []
-; F[]\OMS/lmsy/m/n/10.95 g$\T1/ptm/m/n/10.95 ). $$
+ [16] [17] [18]
+Overfull \hbox (20.57855pt too wide) in paragraph at lines 1352--1361
+\OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 G[]; G[]; [] ; G[]\OMS/lmsy/m/n/10.95
+g$ \T1/ptm/m/n/10.95 sont vraies, $\OML/lmm/m/it/10.95 G[] \OMS/lmsy/m/n/10.95
+) \OML/lmm/m/it/10.95 H$ \T1/ptm/m/n/10.95 est vraie. Re-gar-dons si $\OML/lmm/
+m/it/10.95 H$ \T1/ptm/m/n/10.95 est une consé-quence lo-gique de $\OMS/lmsy/m/n
+/10.95 f\OML/lmm/m/it/10.95 G[]; G[]; [] ; G[]\OMS/lmsy/m/n/10.95 g$
[]
-pdfTeX warning (ext4): destination with the same identifier (name{Exo.20}) has
-been already used, duplicate ignored
-<to be read again>
- \relax
-l.1023 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.21}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.1065 \begin{Exo}
- [19]pdfTeX warning (ext4): destination with the same identif
-ier (name{Exo.22}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.1086 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (
-name{Def.6}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.1119 \begin{Def}
- [Formules équivalentes]
-Overfull \hbox (12.18623pt too wide) in paragraph at lines 1120--1124
-[]\T1/ptm/m/sl/10.95 Si la for-mule propo-si-tion-nelle $\OML/lmm/m/it/10.95 G$
- \T1/ptm/m/sl/10.95 est con-séquence logique
- []
+[19] [20]) [21] [22
-[20]pdfTeX warning (ext4): destination with the same identifier (name{Th.4}) ha
-s been already used, duplicate ignored
-<to be read again>
- \relax
-l.1270 \begin{Th}
- [Théorème de substitution]
-Underfull \hbox (badness 1552) in paragraph at lines 1272--1277
-[]\T1/ptm/m/n/10.95 Soit $\OML/lmm/m/it/10.95 F$ \T1/ptm/m/n/10.95 une for-mule
- propo-si-tion-nelle dans
+]
+Chapitre 3.
+(./ensembles/IntroAuxEnsembles13.tex [23
+
+] [24]
+Overfull \hbox (37.774pt too wide) in paragraph at lines 186--187
+[]\T1/ptm/m/it/10.95 Faire la réunion des en-sembles $\OML/lmm/m/it/10.95 A$ \T
+1/ptm/m/it/10.95 et $\OML/lmm/m/it/10.95 B$\T1/ptm/m/it/10.95 , quand $\OML/lmm
+/m/it/10.95 A \OT1/lmr/m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 x \
+OMS/lmsy/m/n/10.95 2 \U/msb/m/n/10.95 N\OMS/lmsy/m/n/10.95 j\OML/lmm/m/it/10.95
+ x[]\OMS/lmsy/m/n/10.95 g$\T1/ptm/m/it/10.95 , et $\OML/lmm/m/it/10.95 B \OT1/l
+mr/m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 x \OMS/lmsy/m/n/10.95 2
+ \U/msb/m/n/10.95 N\OMS/lmsy/m/n/10.95 j\OML/lmm/m/it/10.95 x[]\OMS/lmsy/m/n/10
+.95 g$\T1/ptm/m/it/10.95 .
[]
-pdfTeX warning (ext4): destination with the same identifier (name{Proof.1}) has
- been already used, duplicate ignored
-<to be read again>
- \relax
-l.1284 \begin{Proof}
- [21]pdfTeX warning (ext4): destination with the same ident
-ifier (name{Th.5}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.1326 \begin{Th}
- [Théorème de la validité]pdfTeX warning (ext4): destination
- with the same identifier (name{Proof.2}) has been already used, duplicate igno
-red
-<to be read again>
- \relax
-l.1338 \begin{Proof}
- [22]
-Overfull \hbox (1.48752pt too wide) in paragraph at lines 1490--1492
-[]\T1/ptm/m/it/10.95 Après une in-tense réflex-ion, l'in-specteur fait sor-tir
-l'un des deux de l'hôpi-tal. Lequel (et pourquoi?)
+[25]
+Overfull \hbox (2.81169pt too wide) in paragraph at lines 301--302
+[]\T1/ptm/m/it/10.95 On ap-pelle fonc-tion ca-rac-té-ris-tique de la par-
[]
-[23]) [24] [25
+) [26]
+Chapitre 4.
+(./ensembles/relbin13.tex [27
-]
-Chapitre 3.
-(./ensembles/IntroAuxEnsembles13.texpdfTeX warning (ext4): destination with the
- same identifier (name{Notation.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.16 \begin{Notation}
- pdfTeX warning (ext4): destination with the same identifie
-r (name{Exo.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.20 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Def.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.55 \begin{Def}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Th.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.60 \begin{Th}
- [26
+] [28]
+Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li
+ne 301.
-]pdfTeX warning (ext4): destination with the same identifier (name{Proof.1}) ha
-s been already used, duplicate ignored
-<to be read again>
- \relax
-l.64 \begin{Proof}
- pdfTeX warning (ext4): destination with the same identifier (
-name{Th.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.72 \begin{Th}
- pdfTeX warning (ext4): destination with the same identifier (nam
-e{Def.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.77 \begin{Def}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Th.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.83 \begin{Th}
- pdfTeX warning (ext4): destination with the same identifier (nam
-e{Exo.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.88 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (nam
-e{Exo.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.93 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.4}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.98 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.5}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.110 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.6}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.117 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.7}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.122 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.131 \begin{Def}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.8}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.139 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.4}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.151 \begin{Def}
- [Reunion]\index{réunion} [27]pdfTeX warning (ext4): destinati
-on with the same identifier (name{Exo.9}) has been already used, duplicate igno
-red
-<to be read again>
- \relax
-l.155 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Def.5}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.160 \begin{Def}
- [Intersection]\index{réunion}
-Overfull \hbox (1.73936pt too wide) in paragraph at lines 161--163
-[]\T1/ptm/m/sl/10.95 L'\T1/ptm/m/n/10.95 intersection \T1/ptm/m/sl/10.95 des de
-ux en-sem-bles $\OML/lmm/m/it/10.95 A$ \T1/ptm/m/sl/10.95 et $\OML/lmm/m/it/10.
-95 B$\T1/ptm/m/sl/10.95 , notée $\OML/lmm/m/it/10.95 A \OMS/lmsy/m/n/10.95 \ \O
-ML/lmm/m/it/10.95 B$\T1/ptm/m/sl/10.95 , est l'ensem-
+Overfull \hbox (350.24652pt too wide) in paragraph at lines 344--350
+[]\T1/ptm/m/it/10.95 Soit $\OMS/lmsy/m/n/10.95 R$ \T1/ptm/m/it/10.95 la re-la-t
+ion d'équi-va-lence sui-vante dans l'en-semble $\OML/lmm/m/it/10.95 A \OT1/lmr/
+m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OT1/lmr/m/n/10.95 1\OML/lmm/m/it/10.95 ; \OT1
+/lmr/m/n/10.95 2\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 3\OML/lmm/m/it/10.95 ;
+ \OT1/lmr/m/n/10.95 4\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 5\OML/lmm/m/it/10
+.95 ; \OT1/lmr/m/n/10.95 6\OMS/lmsy/m/n/10.95 g$ \T1/ptm/m/it/10.95 : $\OMS/lms
+y/m/n/10.95 R \OT1/lmr/m/n/10.95 = \OMS/lmsy/m/n/10.95 f\OT1/lmr/m/n/10.95 (1\O
+ML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 1)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.
+95 (1\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 5)\OML/lmm/m/it/10.95 ; \OT1/lmr/
+m/n/10.95 (2\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 2)\OML/lmm/m/it/10.95 ; \O
+T1/lmr/m/n/10.95 (2\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 3)\OML/lmm/m/it/10.
+95 ; \OT1/lmr/m/n/10.95 (2\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 6)\OML/lmm/m
+/it/10.95 ; \OT1/lmr/m/n/10.95 (3\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 2)\OM
+L/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (3\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.9
+5 3)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (3\OML/lmm/m/it/10.95 ; \OT1/lmr/m
+/n/10.95 6)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (4\OML/lmm/m/it/10.95 ; \OT
+1/lmr/m/n/10.95 4)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (5\OML/lmm/m/it/10.9
+5 ; \OT1/lmr/m/n/10.95 1)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (5\OML/lmm/m/
+it/10.95 ; \OT1/lmr/m/n/10.95 5)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (6\OML
+/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 2)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95
+ (6\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 3)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/
+n/10.95 (6\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 6)\OMS/lmsy/m/n/10.95 g\OML/
+lmm/m/it/10.95 :$
[]
-pdfTeX warning (ext4): destination with the same identifier (name{Th.4}) has be
-en already used, duplicate ignored
-<to be read again>
- \relax
-l.171 \begin{Th}
- [Propriétés de la réunion et de l'intersection]
-Underfull \hbox (badness 1496) in paragraph at lines 172--173
-[]\T1/ptm/m/n/10.95 La réu-nion de deux
+) [29] [30
+
+]
+Chapitre 5.
+(./arithmetique/entiersNaturels13.tex
+Overfull \hbox (11.42195pt too wide) in paragraph at lines 134--134
+[]\T1/ptm/m/n/10.95 L'écriture d'un en-tier $\OML/lmm/m/it/10.95 n$ \T1/ptm/m/n
+/10.95 sous la forme $\OML/lmm/m/it/10.95 n \OT1/lmr/m/n/10.95 = \OML/lmm/m/it/
+10.95 a[]b[]c[] []$\T1/ptm/m/n/10.95 ,
[]
-pdfTeX warning (ext4): destination with the same identifier (name{Exo.10}) has
-been already used, duplicate ignored
-<to be read again>
- \relax
-l.181 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.11}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.185 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Th.5}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.190 \begin{Th}
- [Distributivités de $\cup$ et $\cap$]pdfTeX warning (ext4): de
-stination with the same identifier (name{Exo.12}) has been already used, duplic
-ate ignored
-<to be read again>
- \relax
-l.198 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Def.6}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.205 \begin{Def}
- [Complémentation]pdfTeX warning (ext4): destination with the
-same identifier (name{Th.6}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.211 \begin{Th}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.13}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.221 \begin{Exo}
- [28]pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.14}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.247 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.15}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.257 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.16}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.277 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.17}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.300 \begin{Exo}
- [Fonction caractéristique des parties d'un ensemble])
-[29]
-Chapitre 4.
-(./ensembles/relbin13.texpdfTeX warning (ext4): destination with the same ident
-ifier (name{Def.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.6 \begin{Def}
- [Relation binaire]pdfTeX warning (ext4): destination with the sa
-me identifier (name{Exo.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.15 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Rem.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.27 \begin{Rem}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Def.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.54 \begin{Def}
- [Réflexivité]pdfTeX warning (ext4): destination with the same
- identifier (name{Def.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.61 \begin{Def}
- [Antisymétrie]pdfTeX warning (ext4): destination with the same
- identifier (name{Def.4}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.71 \begin{Def}
- [Transitivité]pdfTeX warning (ext4): destination with the same
- identifier (name{Exo.2}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.81 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.3}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.93 \begin{Exo}
- [30
+[31
+
+]
+LaTeX Font Info: External font `lmex10' loaded for size
+(Font) <14.4> on input line 255.
+
+
+Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
+(hyperref) removing `math shift' on input line 255.
+
+
+Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
+(hyperref) removing `math shift' on input line 255.
+
+LaTeX Font Info: Font shape `T1/pcr/bx/n' in size <10.95> not available
+(Font) Font shape `T1/pcr/b/n' tried instead on input line 293.
+[32] [33] [34] [35]
+
+Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
+(hyperref) removing `math shift' on input line 710.
+
+
+Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
+(hyperref) removing `math shift' on input line 710.
+
+[36]
+Underfull \hbox (badness 10000) in paragraph at lines 842--843
-]pdfTeX warning (ext4): destination with the same identifier (name{Def.5}) has
-been already used, duplicate ignored
-<to be read again>
- \relax
-l.115 \begin{Def}
- [Relation d'ordre]pdfTeX warning (ext4): destination with the
-same identifier (name{Exo.4}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.120 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.5}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.124 \begin{Ex}
- [Relation de divisibilité]pdfTeX warning (ext4): destination w
-ith the same identifier (name{Exo.6}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.145 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.7}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.156 \begin{Exo}
- [Diagrammes de transitivité]pdfTeX warning (ext4): destinatio
-n with the same identifier (name{Def.6}) has been already used, duplicate ignor
-ed
-<to be read again>
- \relax
-l.185 \begin{Def}
- [Relation symétrique]pdfTeX warning (ext4): destination with
-the same identifier (name{Def.7}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.193 \begin{Def}
- [Relation d'équivalence]
-Overfull \hbox (1.20601pt too wide) in paragraph at lines 194--196
-[]$\OMS/lmsy/m/n/10.95 R$ \T1/ptm/m/sl/10.95 est une re-la-tion d'équiv-a-lence
- lorsqu'elle est réflex-
[]
-pdfTeX warning (ext4): destination with the same identifier (name{Exo.8}) has b
-een already used, duplicate ignored
-<to be read again>
- \relax
-l.199 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.9}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.205 \begin{Ex}
- [Relation de congruence modulo $n$ dans $\Z$] [31]pdfTeX warnin
-g (ext4): destination with the same identifier (name{Exo.10}) has been already
-used, duplicate ignored
-<to be read again>
- \relax
-l.225 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Notation.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.250 \begin{Notation}
- pdfTeX warning (ext4): destination with the same identifi
-er (name{Exo.11}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.255 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.12}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.264 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Th.1}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.294 \begin{Th}
-
-Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li
-ne 301.
-pdfTeX warning (ext4): destination with the same identifier (name{Th.2}) has be
-en already used, duplicate ignored
-<to be read again>
- \relax
-l.318 \begin{Th}
- [32]pdfTeX warning (ext4): destination with the same identifie
-r (name{Exo.13}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.328 \begin{Ex}
- pdfTeX warning (ext4): destination with the same identifier (na
-me{Exo.14}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.343 \begin{Exo}
- pdfTeX warning (ext4): destination with the same identifier (n
-ame{Exo.15}) has been already used, duplicate ignored
-<to be read again>
- \relax
-l.355 \begin{Exo}
- ) [33] [34
+[37]) [38] [39
]
\openout2 = `PPN.aux'.
(./PPN.tex
-Chapitre 5.
-) [35
+Chapitre 6.
+) [40
]
No file main13.ind.
-(./main13.bbl) [36
+(./main13.bbl) [41
]
(./Bibliographie.tex
LaTeX Font Info: Font shape `T1/ptm/bx/it' in size <10.95> not available
(Font) Font shape `T1/ptm/b/it' tried instead on input line 5.
-
-Overfull \hbox (1.34502pt too wide) in paragraph at lines 5--6
-[]\T1/ptm/m/n/10.95 ] : les thèmes abor-dés sont
- []
-
-
-Overfull \hbox (11.59552pt too wide) in paragraph at lines 13--14
-[]\T1/ptm/m/n/10.95 ] : Pour un pub-lic aver-tis, souhai-
- []
-
-) [37
+) [42
]
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 336.
Package atveryend Info: Empty hook `AfterLastShipout' on input line 336.
- (./main13.aux (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
+ (./main13.aux
+(./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 336.
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 336.
Package rerunfilecheck Info: File `main13.out' has not changed.
-(rerunfilecheck) Checksum: B510A10B4C2809C1121D155E1D0BF426;3178.
+(rerunfilecheck) Checksum: 10B0C3771DF7ECC4CEE9D23226FE986C;3951.
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
)
Here is how much of TeX's memory you used:
- 11789 strings out of 495059
- 159454 string characters out of 3182030
- 286421 words of memory out of 3000000
- 14355 multiletter control sequences out of 15000+200000
- 97094 words of font info for 97 fonts, out of 3000000 for 9000
+ 12395 strings out of 495002
+ 167172 string characters out of 6180261
+ 283229 words of memory out of 5000000
+ 14738 multiletter control sequences out of 15000+600000
+ 109186 words of font info for 111 fonts, out of 8000000 for 9000
14 hyphenation exceptions out of 8191
- 30i,13n,32p,469b,618s stack positions out of 5000i,500n,10000p,200000b,50000s
+ 30i,13n,32p,479b,676s stack positions out of 5000i,500n,10000p,200000b,80000s
{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/usr/share/texmf/
-fonts/enc/dvips/lm/lm-mathex.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy
-.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts
+fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathex
+.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts
/enc/dvips/lm/lm-rm.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
nts/latxfont/line10.pfb></usr/share/texmf/fonts/type1/public/lm/lmex10.pfb></us
r/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fonts/type1/pu
-blic/lm/lmmi6.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi8.pfb></usr/share
-/texmf/fonts/type1/public/lm/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/
-lmr6.pfb></usr/share/texmf/fonts/type1/public/lm/lmr8.pfb></usr/share/texmf/fon
-ts/type1/public/lm/lmsy10.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy6.pfb
-></usr/share/texmf/fonts/type1/public/lm/lmsy8.pfb></usr/share/texlive/texmf-di
-st/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texlive/texmf-dis
-t/fonts/type1/public/amsfonts/symbols/msbm10.pfb></usr/share/texlive/texmf-dist
-/fonts/type1/urw/courier/ucrr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/
-urw/times/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmbi
-8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/sh
-are/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb></usr/share/texlive/tex
-mf-dist/fonts/type1/urw/times/utmri8a.pfb>
-Output written on main13.pdf (38 pages, 320746 bytes).
+blic/lm/lmmi12.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb></usr/shar
+e/texmf/fonts/type1/public/lm/lmmi8.pfb></usr/share/texmf/fonts/type1/public/lm
+/lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/f
+onts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pf
+b></usr/share/texmf/fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/typ
+e1/public/lm/lmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
+ts/symbols/msam10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
+s/symbols/msbm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucr
+b8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb></usr
+/share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/
+texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/share/texlive/texmf-dist/fon
+ts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/ti
+mes/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb
+>
+Output written on main13.pdf (43 pages, 369126 bytes).
PDF statistics:
- 792 PDF objects out of 1000 (max. 8388607)
- 725 compressed objects within 8 object streams
- 327 named destinations out of 1000 (max. 500000)
- 337 words of extra memory for PDF output out of 10000 (max. 10000000)
+ 1150 PDF objects out of 1200 (max. 8388607)
+ 1073 compressed objects within 11 object streams
+ 566 named destinations out of 1000 (max. 500000)
+ 425 words of extra memory for PDF output out of 10000 (max. 10000000)
