main13.log

   1 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
   2 entering extended mode
   3  restricted \write18 enabled.
   4  %&-line parsing enabled.
   5 **main13.tex
   6 (./main13.tex
   7 LaTeX2e <2011/06/27>
   8 Babel <3.9f> and hyphenation patterns for 4 languages loaded.
   9 (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls
  10 Document Class: report 2007/10/19 v1.4h Standard LaTeX document class
  11 (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo
  12 File: size11.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
  13 )
  14 \c@part=\count79
  15 \c@chapter=\count80
  16 \c@section=\count81
  17 \c@subsection=\count82
  18 \c@subsubsection=\count83
  19 \c@paragraph=\count84
  20 \c@subparagraph=\count85
  21 \c@figure=\count86
  22 \c@table=\count87
  23 \abovecaptionskip=\skip41
  24 \belowcaptionskip=\skip42
  25 \bibindent=\dimen102
  26 ) (./hyperlatex.sty
  27 Package: hyperlatex 2004/11/12 v2.8 LaTeX2e package for Hyperlatex mode
  28
  29 Package: 'hyperlatex' v2.7 Otfried Cheong
  30 (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty
  31 Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
  32 \every@verbatim=\toks14
  33 \verbatim@line=\toks15
  34 \verbatim@in@stream=\read1
  35 )
  36 \c@htmldepth=\count88
  37 \c@htmlautomenu=\count89
  38 )
  39 (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
  40 Package: inputenc 2008/03/30 v1.1d Input encoding file
  41 \inpenc@prehook=\toks16
  42 \inpenc@posthook=\toks17
  43
  44 (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
  45 File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc
  46 Now handling font encoding OML ...
  47 ... no UTF-8 mapping file for font encoding OML
  48 Now handling font encoding T1 ...
  49 ... processing UTF-8 mapping file for font encoding T1
  50
  51 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
  52 File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
  53    defining Unicode char U+00A1 (decimal 161)
  54    defining Unicode char U+00A3 (decimal 163)
  55    defining Unicode char U+00AB (decimal 171)
  56    defining Unicode char U+00BB (decimal 187)
  57    defining Unicode char U+00BF (decimal 191)
  58    defining Unicode char U+00C0 (decimal 192)
  59    defining Unicode char U+00C1 (decimal 193)
  60    defining Unicode char U+00C2 (decimal 194)
  61    defining Unicode char U+00C3 (decimal 195)
  62    defining Unicode char U+00C4 (decimal 196)
  63    defining Unicode char U+00C5 (decimal 197)
  64    defining Unicode char U+00C6 (decimal 198)
  65    defining Unicode char U+00C7 (decimal 199)
  66    defining Unicode char U+00C8 (decimal 200)
  67    defining Unicode char U+00C9 (decimal 201)
  68    defining Unicode char U+00CA (decimal 202)
  69    defining Unicode char U+00CB (decimal 203)
  70    defining Unicode char U+00CC (decimal 204)
  71    defining Unicode char U+00CD (decimal 205)
  72    defining Unicode char U+00CE (decimal 206)
  73    defining Unicode char U+00CF (decimal 207)
  74    defining Unicode char U+00D0 (decimal 208)
  75    defining Unicode char U+00D1 (decimal 209)
  76    defining Unicode char U+00D2 (decimal 210)
  77    defining Unicode char U+00D3 (decimal 211)
  78    defining Unicode char U+00D4 (decimal 212)
  79    defining Unicode char U+00D5 (decimal 213)
  80    defining Unicode char U+00D6 (decimal 214)
  81    defining Unicode char U+00D8 (decimal 216)
  82    defining Unicode char U+00D9 (decimal 217)
  83    defining Unicode char U+00DA (decimal 218)
  84    defining Unicode char U+00DB (decimal 219)
  85    defining Unicode char U+00DC (decimal 220)
  86    defining Unicode char U+00DD (decimal 221)
  87    defining Unicode char U+00DE (decimal 222)
  88    defining Unicode char U+00DF (decimal 223)
  89    defining Unicode char U+00E0 (decimal 224)
  90    defining Unicode char U+00E1 (decimal 225)
  91    defining Unicode char U+00E2 (decimal 226)
  92    defining Unicode char U+00E3 (decimal 227)
  93    defining Unicode char U+00E4 (decimal 228)
  94    defining Unicode char U+00E5 (decimal 229)
  95    defining Unicode char U+00E6 (decimal 230)
  96    defining Unicode char U+00E7 (decimal 231)
  97    defining Unicode char U+00E8 (decimal 232)
  98    defining Unicode char U+00E9 (decimal 233)
  99    defining Unicode char U+00EA (decimal 234)
 100    defining Unicode char U+00EB (decimal 235)
 101    defining Unicode char U+00EC (decimal 236)
 102    defining Unicode char U+00ED (decimal 237)
 103    defining Unicode char U+00EE (decimal 238)
 104    defining Unicode char U+00EF (decimal 239)
 105    defining Unicode char U+00F0 (decimal 240)
 106    defining Unicode char U+00F1 (decimal 241)
 107    defining Unicode char U+00F2 (decimal 242)
 108    defining Unicode char U+00F3 (decimal 243)
 109    defining Unicode char U+00F4 (decimal 244)
 110    defining Unicode char U+00F5 (decimal 245)
 111    defining Unicode char U+00F6 (decimal 246)
 112    defining Unicode char U+00F8 (decimal 248)
 113    defining Unicode char U+00F9 (decimal 249)
 114    defining Unicode char U+00FA (decimal 250)
 115    defining Unicode char U+00FB (decimal 251)
 116    defining Unicode char U+00FC (decimal 252)
 117    defining Unicode char U+00FD (decimal 253)
 118    defining Unicode char U+00FE (decimal 254)
 119    defining Unicode char U+00FF (decimal 255)
 120    defining Unicode char U+0102 (decimal 258)
 121    defining Unicode char U+0103 (decimal 259)
 122    defining Unicode char U+0104 (decimal 260)
 123    defining Unicode char U+0105 (decimal 261)
 124    defining Unicode char U+0106 (decimal 262)
 125    defining Unicode char U+0107 (decimal 263)
 126    defining Unicode char U+010C (decimal 268)
 127    defining Unicode char U+010D (decimal 269)
 128    defining Unicode char U+010E (decimal 270)
 129    defining Unicode char U+010F (decimal 271)
 130    defining Unicode char U+0110 (decimal 272)
 131    defining Unicode char U+0111 (decimal 273)
 132    defining Unicode char U+0118 (decimal 280)
 133    defining Unicode char U+0119 (decimal 281)
 134    defining Unicode char U+011A (decimal 282)
 135    defining Unicode char U+011B (decimal 283)
 136    defining Unicode char U+011E (decimal 286)
 137    defining Unicode char U+011F (decimal 287)
 138    defining Unicode char U+0130 (decimal 304)
 139    defining Unicode char U+0131 (decimal 305)
 140    defining Unicode char U+0132 (decimal 306)
 141    defining Unicode char U+0133 (decimal 307)
 142    defining Unicode char U+0139 (decimal 313)
 143    defining Unicode char U+013A (decimal 314)
 144    defining Unicode char U+013D (decimal 317)
 145    defining Unicode char U+013E (decimal 318)
 146    defining Unicode char U+0141 (decimal 321)
 147    defining Unicode char U+0142 (decimal 322)
 148    defining Unicode char U+0143 (decimal 323)
 149    defining Unicode char U+0144 (decimal 324)
 150    defining Unicode char U+0147 (decimal 327)
 151    defining Unicode char U+0148 (decimal 328)
 152    defining Unicode char U+014A (decimal 330)
 153    defining Unicode char U+014B (decimal 331)
 154    defining Unicode char U+0150 (decimal 336)
 155    defining Unicode char U+0151 (decimal 337)
 156    defining Unicode char U+0152 (decimal 338)
 157    defining Unicode char U+0153 (decimal 339)
 158    defining Unicode char U+0154 (decimal 340)
 159    defining Unicode char U+0155 (decimal 341)
 160    defining Unicode char U+0158 (decimal 344)
 161    defining Unicode char U+0159 (decimal 345)
 162    defining Unicode char U+015A (decimal 346)
 163    defining Unicode char U+015B (decimal 347)
 164    defining Unicode char U+015E (decimal 350)
 165    defining Unicode char U+015F (decimal 351)
 166    defining Unicode char U+0160 (decimal 352)
 167    defining Unicode char U+0161 (decimal 353)
 168    defining Unicode char U+0162 (decimal 354)
 169    defining Unicode char U+0163 (decimal 355)
 170    defining Unicode char U+0164 (decimal 356)
 171    defining Unicode char U+0165 (decimal 357)
 172    defining Unicode char U+016E (decimal 366)
 173    defining Unicode char U+016F (decimal 367)
 174    defining Unicode char U+0170 (decimal 368)
 175    defining Unicode char U+0171 (decimal 369)
 176    defining Unicode char U+0178 (decimal 376)
 177    defining Unicode char U+0179 (decimal 377)
 178    defining Unicode char U+017A (decimal 378)
 179    defining Unicode char U+017B (decimal 379)
 180    defining Unicode char U+017C (decimal 380)
 181    defining Unicode char U+017D (decimal 381)
 182    defining Unicode char U+017E (decimal 382)
 183    defining Unicode char U+200C (decimal 8204)
 184    defining Unicode char U+2013 (decimal 8211)
 185    defining Unicode char U+2014 (decimal 8212)
 186    defining Unicode char U+2018 (decimal 8216)
 187    defining Unicode char U+2019 (decimal 8217)
 188    defining Unicode char U+201A (decimal 8218)
 189    defining Unicode char U+201C (decimal 8220)
 190    defining Unicode char U+201D (decimal 8221)
 191    defining Unicode char U+201E (decimal 8222)
 192    defining Unicode char U+2030 (decimal 8240)
 193    defining Unicode char U+2031 (decimal 8241)
 194    defining Unicode char U+2039 (decimal 8249)
 195    defining Unicode char U+203A (decimal 8250)
 196    defining Unicode char U+2423 (decimal 9251)
 197 )
 198 Now handling font encoding OT1 ...
 199 ... processing UTF-8 mapping file for font encoding OT1
 200
 201 (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
 202 File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
 203    defining Unicode char U+00A1 (decimal 161)
 204    defining Unicode char U+00A3 (decimal 163)
 205    defining Unicode char U+00B8 (decimal 184)
 206    defining Unicode char U+00BF (decimal 191)
 207    defining Unicode char U+00C5 (decimal 197)
 208    defining Unicode char U+00C6 (decimal 198)
 209    defining Unicode char U+00D8 (decimal 216)
 210    defining Unicode char U+00DF (decimal 223)
 211    defining Unicode char U+00E6 (decimal 230)
 212    defining Unicode char U+00EC (decimal 236)
 213    defining Unicode char U+00ED (decimal 237)
 214    defining Unicode char U+00EE (decimal 238)
 215    defining Unicode char U+00EF (decimal 239)
 216    defining Unicode char U+00F8 (decimal 248)
 217    defining Unicode char U+0131 (decimal 305)
 218    defining Unicode char U+0141 (decimal 321)
 219    defining Unicode char U+0142 (decimal 322)
 220    defining Unicode char U+0152 (decimal 338)
 221    defining Unicode char U+0153 (decimal 339)
 222    defining Unicode char U+2013 (decimal 8211)
 223    defining Unicode char U+2014 (decimal 8212)
 224    defining Unicode char U+2018 (decimal 8216)
 225    defining Unicode char U+2019 (decimal 8217)
 226    defining Unicode char U+201C (decimal 8220)
 227    defining Unicode char U+201D (decimal 8221)
 228 )
 229 Now handling font encoding OMS ...
 230 ... processing UTF-8 mapping file for font encoding OMS
 231
 232 (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
 233 File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
 234    defining Unicode char U+00A7 (decimal 167)
 235    defining Unicode char U+00B6 (decimal 182)
 236    defining Unicode char U+00B7 (decimal 183)
 237    defining Unicode char U+2020 (decimal 8224)
 238    defining Unicode char U+2021 (decimal 8225)
 239    defining Unicode char U+2022 (decimal 8226)
 240 )
 241 Now handling font encoding OMX ...
 242 ... no UTF-8 mapping file for font encoding OMX
 243 Now handling font encoding U ...
 244 ... no UTF-8 mapping file for font encoding U
 245    defining Unicode char U+00A9 (decimal 169)
 246    defining Unicode char U+00AA (decimal 170)
 247    defining Unicode char U+00AE (decimal 174)
 248    defining Unicode char U+00BA (decimal 186)
 249    defining Unicode char U+02C6 (decimal 710)
 250    defining Unicode char U+02DC (decimal 732)
 251    defining Unicode char U+200C (decimal 8204)
 252    defining Unicode char U+2026 (decimal 8230)
 253    defining Unicode char U+2122 (decimal 8482)
 254    defining Unicode char U+2423 (decimal 9251)
 255 ))
 256 (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
 257 Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
 258
 259 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def
 260 File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
 261 LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
 262 ))
 263 (/usr/share/texmf/tex/latex/lm/lmodern.sty
 264 Package: lmodern 2009/10/30 v1.6 Latin Modern Fonts
 265 LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
 266 (Font)                  OT1/cmr/m/n --> OT1/lmr/m/n on input line 22.
 267 LaTeX Font Info:    Overwriting symbol font `letters' in version `normal'
 268 (Font)                  OML/cmm/m/it --> OML/lmm/m/it on input line 23.
 269 LaTeX Font Info:    Overwriting symbol font `symbols' in version `normal'
 270 (Font)                  OMS/cmsy/m/n --> OMS/lmsy/m/n on input line 24.
 271 LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `normal'
 272 (Font)                  OMX/cmex/m/n --> OMX/lmex/m/n on input line 25.
 273 LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
 274 (Font)                  OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 26.
 275 LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
 276 (Font)                  OML/cmm/b/it --> OML/lmm/b/it on input line 27.
 277 LaTeX Font Info:    Overwriting symbol font `symbols' in version `bold'
 278 (Font)                  OMS/cmsy/b/n --> OMS/lmsy/b/n on input line 28.
 279 LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `bold'
 280 (Font)                  OMX/cmex/m/n --> OMX/lmex/m/n on input line 29.
 281 LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
 282 (Font)                  OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 31.
 283 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'
 284 (Font)                  OT1/cmss/m/n --> OT1/lmss/m/n on input line 32.
 285 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
 286 (Font)                  OT1/cmr/m/it --> OT1/lmr/m/it on input line 33.
 287 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
 288 (Font)                  OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 34.
 289 LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
 290 (Font)                  OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 35.
 291 LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
 292 (Font)                  OT1/cmss/bx/n --> OT1/lmss/bx/n on input line 36.
 293 LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
 294 (Font)                  OT1/cmr/bx/it --> OT1/lmr/bx/it on input line 37.
 295 LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
 296 (Font)                  OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 38.
 297 )
 298 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
 299 Package: amsmath 2013/01/14 v2.14 AMS math features
 300 \@mathmargin=\skip43
 301
 302 For additional information on amsmath, use the `?' option.
 303 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
 304 Package: amstext 2000/06/29 v2.01
 305
 306 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
 307 File: amsgen.sty 1999/11/30 v2.0
 308 \@emptytoks=\toks18
 309 \ex@=\dimen103
 310 ))
 311 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
 312 Package: amsbsy 1999/11/29 v1.2d
 313 \pmbraise@=\dimen104
 314 )
 315 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
 316 Package: amsopn 1999/12/14 v2.01 operator names
 317 )
 318 \inf@bad=\count90
 319 LaTeX Info: Redefining \frac on input line 210.
 320 \uproot@=\count91
 321 \leftroot@=\count92
 322 LaTeX Info: Redefining \overline on input line 306.
 323 \classnum@=\count93
 324 \DOTSCASE@=\count94
 325 LaTeX Info: Redefining \ldots on input line 378.
 326 LaTeX Info: Redefining \dots on input line 381.
 327 LaTeX Info: Redefining \cdots on input line 466.
 328 \Mathstrutbox@=\box26
 329 \strutbox@=\box27
 330 \big@size=\dimen105
 331 LaTeX Font Info:    Redeclaring font encoding OML on input line 566.
 332 LaTeX Font Info:    Redeclaring font encoding OMS on input line 567.
 333 \macc@depth=\count95
 334 \c@MaxMatrixCols=\count96
 335 \dotsspace@=\muskip10
 336 \c@parentequation=\count97
 337 \dspbrk@lvl=\count98
 338 \tag@help=\toks19
 339 \row@=\count99
 340 \column@=\count100
 341 \maxfields@=\count101
 342 \andhelp@=\toks20
 343 \eqnshift@=\dimen106
 344 \alignsep@=\dimen107
 345 \tagshift@=\dimen108
 346 \tagwidth@=\dimen109
 347 \totwidth@=\dimen110
 348 \lineht@=\dimen111
 349 \@envbody=\toks21
 350 \multlinegap=\skip44
 351 \multlinetaggap=\skip45
 352 \mathdisplay@stack=\toks22
 353 LaTeX Info: Redefining \[ on input line 2665.
 354 LaTeX Info: Redefining \] on input line 2666.
 355 )
 356 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
 357 Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support
 358 \symAMSa=\mathgroup4
 359 \symAMSb=\mathgroup5
 360 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
 361 (Font)                  U/euf/m/n --> U/euf/b/n on input line 106.
 362 )
 363 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
 364 Package: amssymb 2013/01/14 v3.01 AMS font symbols
 365 )
 366 (/usr/share/texlive/texmf-dist/tex/latex/optional/optional.sty
 367 Package: optional 2005/01/26 ver 2.2b;  Optional inclusion/omission
 368 )
 369 (/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty
 370 Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks
 371 \OuterFrameSep=\skip46
 372 \fb@frw=\dimen112
 373 \fb@frh=\dimen113
 374 \FrameRule=\dimen114
 375 \FrameSep=\dimen115
 376 )
 377 (/usr/share/texlive/texmf-dist/tex/latex/ntheorem/ntheorem.sty
 378 Style `ntheorem', Version 1.33 <2011/08/15>
 379 Package: ntheorem 2011/08/15 1.33
 380 (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
 381 Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
 382 )
 383 \theorem@style=\toks23
 384 \theorem@@style=\toks24
 385 \theorembodyfont=\toks25
 386 \theoremnumbering=\toks26
 387 \theorempreskipamount=\skip47
 388 \theorempostskipamount=\skip48
 389 \theoremframepreskipamount=\skip49
 390 \theoremframepostskipamount=\skip50
 391 \theoreminframepreskipamount=\skip51
 392 \theoreminframepostskipamount=\skip52
 393 \theorem@preskip=\toks27
 394 \theorem@postskip=\toks28
 395 \theorem@framepreskip=\toks29
 396 \theorem@framepostskip=\toks30
 397 \theorem@inframepreskip=\toks31
 398 \theorem@inframepostskip=\toks32
 399 \theoremindent=\dimen116
 400 \theorem@indent=\dimen117
 401 \theoremrightindent=\dimen118
 402 \theorem@rightindent=\dimen119
 403 \theoremheaderfont=\toks33
 404 \theoremseparator=\toks34
 405 \theoremprework=\toks35
 406 \theorempostwork=\toks36
 407 \theoremsymbol=\toks37
 408 \qedsymbol=\toks38
 409 \theoremkeyword=\toks39
 410 \qedsymbol=\toks40
 411 \thm@topsep=\skip53
 412 \thm@topsepadd=\skip54
 413 Package ntheorem Info: Option `thmmarks' loaded on input line 1175.
 414 \c@endNonectr=\count102
 415 \c@currNonectr=\count103
 416 \mysavskip=\skip55
 417 Package ntheorem Info: Option `thref' loaded on input line 1175.
 418 \mysavskip=\skip56
 419 Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li
 420 ne 1175.
 421 Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input
 422  line 1175.
 423 \thm@amstmpdepth=\dimen120
 424 \tagwidth=\dimen121
 425 \shadecolor=\toks41
 426 )
 427 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
 428 Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
 429
 430 (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
 431 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
 432 )
 433 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
 434 File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
 435 )
 436 Package graphics Info: Driver file: dvips.def on input line 91.
 437
 438 (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvips.def
 439 File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
 440 ))
 441 (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty
 442 Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
 443
 444 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
 445 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
 446
 447 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
 448 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
 449 \KV@toks@=\toks42
 450 )
 451 \Gin@req@height=\dimen122
 452 \Gin@req@width=\dimen123
 453 )
 454 \epsfxsize=\dimen124
 455 \epsfysize=\dimen125
 456 )
 457 (/usr/share/texlive/texmf-dist/tex/latex/psfrag/psfrag.sty
 458 Package: psfrag 1998/04/11 v3.04 PSfrag (MCG)
 459 \pfg@pcount=\count104
 460 \pfg@scount=\count105
 461 \pfg@temp=\write3
 462 )
 463 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.sty
 464 Package: subfigure 2002/03/15 v2.1.5 subfigure package
 465 \subfigtopskip=\skip57
 466 \subfigcapskip=\skip58
 467 \subfigcaptopadj=\dimen126
 468 \subfigbottomskip=\skip59
 469 \subfigcapmargin=\dimen127
 470 \subfiglabelskip=\skip60
 471 \c@subfigure=\count106
 472 \c@lofdepth=\count107
 473 \c@subtable=\count108
 474 \c@lotdepth=\count109
 475
 476 ****************************************
 477 * Local config file subfigure.cfg used *
 478 ****************************************
 479 (/usr/share/texlive/texmf-dist/tex/latex/subfigure/subfigure.cfg)
 480 \subfig@top=\skip61
 481 \subfig@bottom=\skip62
 482 )
 483 (/usr/share/texlive/texmf-dist/tex/latex/graphics/color.sty
 484 Package: color 2005/11/14 v1.0j Standard LaTeX Color (DPC)
 485
 486 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
 487 File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
 488 )
 489 Package color Info: Driver file: pdftex.def on input line 130.
 490
 491 (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
 492 File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
 493
 494 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
 495 Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
 496 )
 497 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
 498 Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
 499 )
 500 \Gread@gobject=\count110
 501 ))
 502 (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
 503 Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ)
 504 \calc@Acount=\count111
 505 \calc@Bcount=\count112
 506 \calc@Adimen=\dimen128
 507 \calc@Bdimen=\dimen129
 508 \calc@Askip=\skip63
 509 \calc@Bskip=\skip64
 510 LaTeX Info: Redefining \setlength on input line 76.
 511 LaTeX Info: Redefining \addtolength on input line 77.
 512 \calc@Ccount=\count113
 513 \calc@Cskip=\skip65
 514 )
 515 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
 516 \lst@mode=\count114
 517 \lst@gtempboxa=\box28
 518 \lst@token=\toks43
 519 \lst@length=\count115
 520 \lst@currlwidth=\dimen130
 521 \lst@column=\count116
 522 \lst@pos=\count117
 523 \lst@lostspace=\dimen131
 524 \lst@width=\dimen132
 525 \lst@newlines=\count118
 526 \lst@lineno=\count119
 527 \lst@maxwidth=\dimen133
 528
 529 (/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
 530 File: lstmisc.sty 2013/07/10 1.5 (Carsten Heinz)
 531 \c@lstnumber=\count120
 532 \lst@skipnumbers=\count121
 533 \lst@framebox=\box29
 534 )
 535 (/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
 536 File: listings.cfg 2013/06/27 1.5pre1 listings configuration
 537 ))
 538 Package: listings 2013/07/10 1.5 (Carsten Heinz)
 539
 540 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
 541 \Urlmuskip=\muskip11
 542 Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
 543 )
 544 (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty
 545 Package: makeidx 2000/03/29 v1.0m Standard LaTeX package
 546 )
 547 (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty
 548 Package: longtable 2004/02/01 v4.11 Multi-page Table package (DPC)
 549 \LTleft=\skip66
 550 \LTright=\skip67
 551 \LTpre=\skip68
 552 \LTpost=\skip69
 553 \LTchunksize=\count122
 554 \LTcapwidth=\dimen134
 555 \LT@head=\box30
 556 \LT@firsthead=\box31
 557 \LT@foot=\box32
 558 \LT@lastfoot=\box33
 559 \LT@cols=\count123
 560 \LT@rows=\count124
 561 \c@LT@tables=\count125
 562 \c@LT@chunks=\count126
 563 \LT@p@ftn=\toks44
 564 )
 565 (/usr/share/texlive/texmf-dist/tex/latex/tabls/tabls.sty
 566 \tablinesep=\dimen135
 567 \arraylinesep=\dimen136
 568 \extrarulesep=\dimen137
 569 \@arstdepth=\dimen138
 570 \@arstheight=\dimen139
 571 \@skip@bove=\dimen140
 572 )
 573 (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
 574 Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
 575 Package textcomp Info: Sub-encoding information:
 576 (textcomp)               5 = only ISO-Adobe without \textcurrency
 577 (textcomp)               4 = 5 + \texteuro
 578 (textcomp)               3 = 4 + \textohm
 579 (textcomp)               2 = 3 + \textestimated + \textcurrency
 580 (textcomp)               1 = TS1 - \textcircled - \t
 581 (textcomp)               0 = TS1 (full)
 582 (textcomp)             Font families with sub-encoding setting implement
 583 (textcomp)             only a restricted character set as indicated.
 584 (textcomp)             Family '?' is the default used for unknown fonts.
 585 (textcomp)             See the documentation for details.
 586 Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.
 587
 588 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def
 589 File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
 590 Now handling font encoding TS1 ...
 591 ... processing UTF-8 mapping file for font encoding TS1
 592
 593 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu
 594 File: ts1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
 595    defining Unicode char U+00A2 (decimal 162)
 596    defining Unicode char U+00A3 (decimal 163)
 597    defining Unicode char U+00A4 (decimal 164)
 598    defining Unicode char U+00A5 (decimal 165)
 599    defining Unicode char U+00A6 (decimal 166)
 600    defining Unicode char U+00A7 (decimal 167)
 601    defining Unicode char U+00A8 (decimal 168)
 602    defining Unicode char U+00A9 (decimal 169)
 603    defining Unicode char U+00AA (decimal 170)
 604    defining Unicode char U+00AC (decimal 172)
 605    defining Unicode char U+00AE (decimal 174)
 606    defining Unicode char U+00AF (decimal 175)
 607    defining Unicode char U+00B0 (decimal 176)
 608    defining Unicode char U+00B1 (decimal 177)
 609    defining Unicode char U+00B2 (decimal 178)
 610    defining Unicode char U+00B3 (decimal 179)
 611    defining Unicode char U+00B4 (decimal 180)
 612    defining Unicode char U+00B5 (decimal 181)
 613    defining Unicode char U+00B6 (decimal 182)
 614    defining Unicode char U+00B7 (decimal 183)
 615    defining Unicode char U+00B9 (decimal 185)
 616    defining Unicode char U+00BA (decimal 186)
 617    defining Unicode char U+00BC (decimal 188)
 618    defining Unicode char U+00BD (decimal 189)
 619    defining Unicode char U+00BE (decimal 190)
 620    defining Unicode char U+00D7 (decimal 215)
 621    defining Unicode char U+00F7 (decimal 247)
 622    defining Unicode char U+0192 (decimal 402)
 623    defining Unicode char U+02C7 (decimal 711)
 624    defining Unicode char U+02D8 (decimal 728)
 625    defining Unicode char U+02DD (decimal 733)
 626    defining Unicode char U+0E3F (decimal 3647)
 627    defining Unicode char U+2016 (decimal 8214)
 628    defining Unicode char U+2020 (decimal 8224)
 629    defining Unicode char U+2021 (decimal 8225)
 630    defining Unicode char U+2022 (decimal 8226)
 631    defining Unicode char U+2030 (decimal 8240)
 632    defining Unicode char U+2031 (decimal 8241)
 633    defining Unicode char U+203B (decimal 8251)
 634    defining Unicode char U+203D (decimal 8253)
 635    defining Unicode char U+2044 (decimal 8260)
 636    defining Unicode char U+204E (decimal 8270)
 637    defining Unicode char U+2052 (decimal 8274)
 638    defining Unicode char U+20A1 (decimal 8353)
 639    defining Unicode char U+20A4 (decimal 8356)
 640    defining Unicode char U+20A6 (decimal 8358)
 641    defining Unicode char U+20A9 (decimal 8361)
 642    defining Unicode char U+20AB (decimal 8363)
 643    defining Unicode char U+20AC (decimal 8364)
 644    defining Unicode char U+20B1 (decimal 8369)
 645    defining Unicode char U+2103 (decimal 8451)
 646    defining Unicode char U+2116 (decimal 8470)
 647    defining Unicode char U+2117 (decimal 8471)
 648    defining Unicode char U+211E (decimal 8478)
 649    defining Unicode char U+2120 (decimal 8480)
 650    defining Unicode char U+2122 (decimal 8482)
 651    defining Unicode char U+2126 (decimal 8486)
 652    defining Unicode char U+2127 (decimal 8487)
 653    defining Unicode char U+212E (decimal 8494)
 654    defining Unicode char U+2190 (decimal 8592)
 655    defining Unicode char U+2191 (decimal 8593)
 656    defining Unicode char U+2192 (decimal 8594)
 657    defining Unicode char U+2193 (decimal 8595)
 658    defining Unicode char U+2329 (decimal 9001)
 659    defining Unicode char U+232A (decimal 9002)
 660    defining Unicode char U+2422 (decimal 9250)
 661    defining Unicode char U+25E6 (decimal 9702)
 662    defining Unicode char U+25EF (decimal 9711)
 663    defining Unicode char U+266A (decimal 9834)
 664 ))
 665 LaTeX Info: Redefining \oldstylenums on input line 266.
 666 Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
 667 Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
 668 Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
 669 Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
 670 Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
 671 Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
 672 Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
 673 Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
 674 Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
 675 Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
 676 Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
 677 Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
 678 Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
 679 Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
 680 Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
 681 Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
 682 Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
 683 Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
 684 Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
 685 Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
 686 Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
 687 Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
 688 Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
 689 Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.
 690
 691 Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
 692 Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
 693 Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
 694 Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
 695 Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
 696 Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
 697 Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311.
 698 Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312.
 699 Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313.
 700 Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314.
 701 Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315.
 702 Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316.
 703 Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317.
 704 Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318.
 705 Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319.
 706 Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320.
 707 Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321.
 708 Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322.
 709 Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323.
 710 Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324.
 711 Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325.
 712 Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326.
 713 Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327.
 714 Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328.
 715 Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329.
 716 Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330.
 717 Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331.
 718 Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332.
 719 Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333.
 720 Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334.
 721 Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335.
 722 Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336.
 723 Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337.
 724 Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338.
 725 Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339.
 726 Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340.
 727 ) (./slashbox.sty
 728 slashbox style by K.Yasuoka, May 1993.
 729 \@slashboxa=\box34
 730 \@slashboxb=\box35
 731 \@slashboxc=\box36
 732 \@slashboxwd=\count127
 733 \@slashboxht=\count128
 734 \@slashsepl=\dimen141
 735 \@slashsepr=\dimen142
 736 ) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty
 737 Package: times 2005/04/12 PSNFSS-v9.2a (SPQR)
 738 )
 739 (/usr/share/texlive/texmf-dist/tex/latex/gastex/gastex.sty
 740 Package: gastex 2006/11/28 v2.8
 741 \c@cnt@a=\count129
 742 \c@cnt@b=\count130
 743 \c@cnt@c=\count131
 744 \dim@x=\dimen143
 745 \dim@y=\dimen144
 746 \temp@box=\box37
 747 \d@my@unit=\dimen145
 748 \c@cnt@@a=\count132
 749 \c@cnt@@b=\count133
 750 \c@cnt@@c=\count134
 751 )
 752 (/usr/share/texlive/texmf-dist/tex/latex/multirow/multirow.sty
 753 \bigstrutjot=\dimen146
 754 )
 755 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
 756 Package: babel 2013/05/16 v3.9f The Babel package
 757
 758 (/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
 759 Language: frenchb 2013/07/06 v2.6e French support from the babel system
 760
 761 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
 762 File: babel.def 2013/05/16 v3.9f Babel common definitions
 763 \babel@savecnt=\count135
 764 \U@D=\dimen147
 765
 766
 767 LaTeX Warning: Command \@testdef  has changed.
 768                Check if current package is valid.
 769
 770 )
 771 \FB@interchartokenstateORI=\count136
 772 Package babel Info: Making : an active character on input line 240.
 773 Package babel Info: Making ; an active character on input line 241.
 774 Package babel Info: Making ! an active character on input line 242.
 775 Package babel Info: Making ? an active character on input line 243.
 776 \FB@Mht=\dimen148
 777 \std@mcc=\count137
 778 \dec@mcc=\count138
 779 \listindentFB=\skip70
 780 \labelwidthFB=\skip71
 781 \leftmarginFB=\skip72
 782 \parindentFFN=\dimen149
 783 ) (/usr/share/texlive/texmf-dist/tex/generic/babel-french/frenchb.ldf
 784 Language: frenchb 2013/07/06 v2.6e French support from the babel system
 785 ))
 786 (/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty)
 787 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
 788 Package: geometry 2010/09/12 v5.6 Page Geometry
 789
 790 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
 791 Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
 792 Package ifpdf Info: pdfTeX in PDF mode is detected.
 793 )
 794 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
 795 Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
 796 Package ifvtex Info: VTeX not detected.
 797 )
 798 (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
 799 Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
 800 )
 801 \Gm@cnth=\count139
 802 \Gm@cntv=\count140
 803 \c@Gm@tempcnt=\count141
 804 \Gm@bindingoffset=\dimen150
 805 \Gm@wd@mp=\dimen151
 806 \Gm@odd@mp=\dimen152
 807 \Gm@even@mp=\dimen153
 808 \Gm@layoutwidth=\dimen154
 809 \Gm@layoutheight=\dimen155
 810 \Gm@layouthoffset=\dimen156
 811 \Gm@layoutvoffset=\dimen157
 812 \Gm@dimlist=\toks45
 813 )
 814 (./symboles.sty)
 815 \c@currExoctr=\count142
 816 \c@endExoctr=\count143
 817 \c@Exo=\count144
 818 \c@currExocctr=\count145
 819 \c@endExocctr=\count146
 820 \c@currExctr=\count147
 821 \c@endExctr=\count148
 822 \c@currRemctr=\count149
 823 \c@endRemctr=\count150
 824 \c@Rem=\count151
 825 \c@currNotationctr=\count152
 826 \c@endNotationctr=\count153
 827 \c@Notation=\count154
 828 \c@currDefctr=\count155
 829 \c@endDefctr=\count156
 830 \c@Def=\count157
 831 \c@currThctr=\count158
 832 \c@endThctr=\count159
 833 \c@Th=\count160
 834 \c@currCorollaryctr=\count161
 835 \c@endCorollaryctr=\count162
 836 \c@currPrectr=\count163
 837 \c@endPrectr=\count164
 838 \c@Pre=\count165
 839 \c@currLemmactr=\count166
 840 \c@endLemmactr=\count167
 841 \c@Lemma=\count168
 842 \c@currProofctr=\count169
 843 \c@endProofctr=\count170
 844 \c@Proof=\count171
 845 \c@currQqctr=\count172
 846 \c@endQqctr=\count173
 847 \c@Qq=\count174
 848  (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
 849 Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX
 850 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
 851 Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)
 852
 853
 854 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
 855 Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)
 856 Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)
 857 Package hobsub Info: Skipping package `infwarerr' (already loaded).
 858 Package hobsub Info: Skipping package `ltxcmds' (already loaded).
 859 Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
 860 Package ifluatex Info: LuaTeX not detected.
 861 Package hobsub Info: Skipping package `ifvtex' (already loaded).
 862 Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
 863 Package hobsub Info: Skipping package `ifpdf' (already loaded).
 864 Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
 865 Package etexcmds Info: Could not find \expanded.
 866 (etexcmds)             That can mean that you are not using pdfTeX 1.50 or
 867 (etexcmds)             that some package has redefined \expanded.
 868 (etexcmds)             In the latter case, load this package earlier.
 869 Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
 870 Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
 871 Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
 872 )
 873 Package pdftexcmds Info: LuaTeX not detected.
 874 Package pdftexcmds Info: \pdf@primitive is available.
 875 Package pdftexcmds Info: \pdf@ifprimitive is available.
 876 Package pdftexcmds Info: \pdfdraftmode found.
 877 Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
 878 Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO
 879 )
 880 Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
 881 Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
 882 )
 883 Package hobsub Info: Skipping package `hobsub' (already loaded).
 884 Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
 885 Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)
 886 Package: xcolor-patch 2011/01/30 xcolor patch
 887 Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
 888 Package atveryend Info: \enddocument detected (standard20110627).
 889 Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
 890 Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
 891 Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
 892 )
 893 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
 894 Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)
 895 )
 896 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
 897 Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
 898 )
 899 \@linkdim=\dimen158
 900 \Hy@linkcounter=\count175
 901 \Hy@pagecounter=\count176
 902
 903 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
 904 File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)
 905 Now handling font encoding PD1 ...
 906 ... no UTF-8 mapping file for font encoding PD1
 907 )
 908 \Hy@SavedSpaceFactor=\count177
 909
 910 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
 911 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
 912 )
 913 Package hyperref Info: Hyper figures OFF on input line 4443.
 914 Package hyperref Info: Link nesting OFF on input line 4448.
 915 Package hyperref Info: Hyper index ON on input line 4451.
 916 Package hyperref Info: Plain pages OFF on input line 4458.
 917 Package hyperref Info: Backreferencing OFF on input line 4463.
 918 Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
 919 Package hyperref Info: Bookmarks ON on input line 4688.
 920 \c@Hy@tempcnt=\count178
 921 LaTeX Info: Redefining \url on input line 5041.
 922 \XeTeXLinkMargin=\dimen159
 923 \Fld@menulength=\count179
 924 \Field@Width=\dimen160
 925 \Fld@charsize=\dimen161
 926 Package hyperref Info: Hyper figures OFF on input line 6295.
 927 Package hyperref Info: Link nesting OFF on input line 6300.
 928 Package hyperref Info: Hyper index ON on input line 6303.
 929 Package hyperref Info: backreferencing OFF on input line 6310.
 930 Package hyperref Info: Link coloring OFF on input line 6315.
 931 Package hyperref Info: Link coloring with OCG OFF on input line 6320.
 932 Package hyperref Info: PDF/A mode OFF on input line 6325.
 933 LaTeX Info: Redefining \ref on input line 6365.
 934 LaTeX Info: Redefining \pageref on input line 6369.
 935 \Hy@abspage=\count180
 936 \c@Item=\count181
 937 \c@Hfootnote=\count182
 938 )
 939
 940 Package hyperref Message: Driver (autodetected): hpdftex.
 941
 942 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
 943 File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
 944 \Fld@listcount=\count183
 945 \c@bookmark@seq@number=\count184
 946
 947 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
 948 Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
 949 Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
 950 82.
 951 )
 952 \Hy@SectionHShift=\skip73
 953 )
 954 Package hyperref Info: Option `colorlinks' set `true' on input line 184.
 955 Package hyperref Info: Option `breaklinks' set `true' on input line 184.
 956 Package hyperref Info: Option `bookmarksopen' set `true' on input line 184.
 957 \@indexfile=\write4
 958 \openout4 = `main13.idx'.
 959
 960
 961 Writing index file main13.idx
 962 (./main13.aux (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
 963 \openout1 = `main13.aux'.
 964
 965 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 211.
 966 LaTeX Font Info:    ... okay on input line 211.
 967 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 211.
 968 LaTeX Font Info:    ... okay on input line 211.
 969 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 211.
 970 LaTeX Font Info:    ... okay on input line 211.
 971 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 211.
 972 LaTeX Font Info:    ... okay on input line 211.
 973 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 211.
 974 LaTeX Font Info:    ... okay on input line 211.
 975 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 211.
 976 LaTeX Font Info:    ... okay on input line 211.
 977 LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 211.
 978 LaTeX Font Info:    Try loading font information for TS1+cmr on input line 211.
 979
 980
 981 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
 982 File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
 983 )
 984 LaTeX Font Info:    ... okay on input line 211.
 985 LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 211.
 986 LaTeX Font Info:    ... okay on input line 211.
 987 LaTeX Font Info:    Try loading font information for T1+ptm on input line 211.
 988
 989 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd
 990 File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
 991 )
 992 Specify which optional text to process:
 993
 994 \UseOption=
 995
 996 Package optional Warning: No options were selected, so all optional text will b
 997 e printed on input line 211.
 998
 999 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
1000 Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
1001
1002 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
1003 Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
1004 )
1005 Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
1006 34.
1007 Package grfext Info: Graphics extension search list:
1008 (grfext)             [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
1009 G,.JBIG2,.JB2,.eps]
1010 (grfext)             \AppendGraphicsExtensions on input line 452.
1011
1012 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
1013 File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
1014 e
1015 ))
1016 (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
1017 [Loading MPS to PDF converter (version 2006.09.02).]
1018 \scratchcounter=\count185
1019 \scratchdimen=\dimen162
1020 \scratchbox=\box38
1021 \nofMPsegments=\count186
1022 \nofMParguments=\count187
1023 \everyMPshowfont=\toks46
1024 \MPscratchCnt=\count188
1025 \MPscratchDim=\dimen163
1026 \MPnumerator=\count189
1027 \makeMPintoPDFobject=\count190
1028 \everyMPtoPDFconversion=\toks47
1029 )
1030 \c@lstlisting=\count191
1031 LaTeX Info: Redefining \degres on input line 211.
1032 LaTeX Info: Redefining \dots on input line 211.
1033 LaTeX Info: Redefining \up on input line 211.
1034
1035 *geometry* driver: auto-detecting
1036 *geometry* detected driver: pdftex
1037 *geometry* verbose mode - [ preamble ] result:
1038 * driver: pdftex
1039 * paper: a4paper
1040 * layout: <same size as paper>
1041 * layoutoffset:(h,v)=(0.0pt,0.0pt)
1042 * modes:
1043 * h-part:(L,W,R)=(42.67912pt, 512.14963pt, 42.67912pt)
1044 * v-part:(T,H,B)=(28.45274pt, 788.14136pt, 28.45274pt)
1045 * \paperwidth=597.50787pt
1046 * \paperheight=845.04684pt
1047 * \textwidth=512.14963pt
1048 * \textheight=788.14136pt
1049 * \oddsidemargin=-29.59087pt
1050 * \evensidemargin=-29.59087pt
1051 * \topmargin=-80.81725pt
1052 * \headheight=12.0pt
1053 * \headsep=25.0pt
1054 * \topskip=11.0pt
1055 * \footskip=30.0pt
1056 * \marginparwidth=50.0pt
1057 * \marginparsep=10.0pt
1058 * \columnsep=10.0pt
1059 * \skip\footins=10.0pt plus 4.0pt minus 2.0pt
1060 * \hoffset=0.0pt
1061 * \voffset=0.0pt
1062 * \mag=1000
1063 * \@twocolumnfalse
1064 * \@twosidefalse
1065 * \@mparswitchfalse
1066 * \@reversemarginfalse
1067 * (1in=72.27pt=25.4mm, 1cm=28.453pt)
1068
1069 \AtBeginShipoutBox=\box39
1070 Package hyperref Info: Link coloring ON on input line 211.
1071 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
1072 Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section
1073
1074 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
1075 Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
1076 )
1077 \c@section@level=\count192
1078 )
1079 LaTeX Info: Redefining \ref on input line 211.
1080 LaTeX Info: Redefining \pageref on input line 211.
1081 LaTeX Info: Redefining \nameref on input line 211.
1082
1083 (./main13.out) (./main13.out)
1084 \@outlinefile=\write5
1085 \openout5 = `main13.out'.
1086
1087 LaTeX Font Info:    Try loading font information for OT1+lmr on input line 215.
1088
1089  (/usr/share/texmf/tex/latex/lm/ot1lmr.fd
1090 File: ot1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
1091 )
1092 LaTeX Font Info:    Try loading font information for OML+lmm on input line 215.
1093
1094
1095 (/usr/share/texmf/tex/latex/lm/omllmm.fd
1096 File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern
1097 )
1098 LaTeX Font Info:    Try loading font information for OMS+lmsy on input line 215
1099 .
1100
1101 (/usr/share/texmf/tex/latex/lm/omslmsy.fd
1102 File: omslmsy.fd 2009/10/30 v1.6 Font defs for Latin Modern
1103 )
1104 LaTeX Font Info:    Try loading font information for OMX+lmex on input line 215
1105 .
1106
1107 (/usr/share/texmf/tex/latex/lm/omxlmex.fd
1108 File: omxlmex.fd 2009/10/30 v1.6 Font defs for Latin Modern
1109 )
1110 LaTeX Font Info:    External font `lmex10' loaded for size
1111 (Font)              <12> on input line 215.
1112 LaTeX Font Info:    External font `lmex10' loaded for size
1113 (Font)              <8> on input line 215.
1114 LaTeX Font Info:    External font `lmex10' loaded for size
1115 (Font)              <6> on input line 215.
1116 LaTeX Font Info:    Try loading font information for U+msa on input line 215.
1117
1118 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
1119 File: umsa.fd 2013/01/14 v3.01 AMS symbols A
1120 )
1121 LaTeX Font Info:    Try loading font information for U+msb on input line 215.
1122
1123 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
1124 File: umsb.fd 2013/01/14 v3.01 AMS symbols B
1125 )
1126 LaTeX Font Info:    Try loading font information for T1+pcr on input line 215.
1127
1128 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd
1129 File: t1pcr.fd 2001/06/04 font definitions for T1/pcr.
1130 ) [1
1131 Non-PDF special ignored!
1132
1133
1134 Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
1135 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <24.88> not available
1136 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 215.
1137
1138 (./main13.toc
1139 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <12> not available
1140 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 2.
1141 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <10.95> not available
1142 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 3.
1143 LaTeX Font Info:    External font `lmex10' loaded for size
1144 (Font)              <10.95> on input line 4.
1145 pdfTeX warning (ext4): destination with the same identifier (name{page.1}) has
1146 been already used, duplicate ignored
1147 <to be read again>
1148                    \relax
1149 l.50 ...sembles de nombres entiers}{31}{chapter.5}
1150                                                    [1
1151
1152 ])
1153 \tf@toc=\write6
1154 \openout6 = `main13.toc'.
1155
1156  [2]
1157 \openout2 = `Remerciements.aux'.
1158
1159
1160 No file Remerciements.tex.
1161 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <20.74> not available
1162 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 223.
1163 [3
1164
1165
1166
1167 ]
1168 Chapitre 1.
1169 (./logique/AlgBoole13.tex
1170 LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <14.4> not available
1171 (Font)              Font shape `T1/ptm/b/n' tried instead on input line 2.
1172 Package hyperref Info: bookmark level for unknown Def defaults to 0 on input li
1173 ne 6.
1174 LaTeX Font Info:    External font `lmex10' loaded for size
1175 (Font)              <10> on input line 36.
1176 LaTeX Font Info:    External font `lmex10' loaded for size
1177 (Font)              <7> on input line 36.
1178 LaTeX Font Info:    External font `lmex10' loaded for size
1179 (Font)              <5> on input line 36.
1180 Package hyperref Info: bookmark level for unknown Rem defaults to 0 on input li
1181 ne 68.
1182 Package hyperref Info: bookmark level for unknown Exo defaults to 0 on input li
1183 ne 74.
1184  [4
1185
1186 ]
1187 Package hyperref Info: bookmark level for unknown Th defaults to 0 on input lin
1188 e 152.
1189 Package hyperref Info: bookmark level for unknown Proof defaults to 0 on input
1190 line 162.
1191 Package hyperref Info: bookmark level for unknown Ex defaults to 0 on input lin
1192 e 172.
1193  [5]
1194 Underfull \hbox (badness 2762) in paragraph at lines 309--312
1195 []\T1/ptm/m/n/10.95 Les min-termes et max-termes, pour un
1196  []
1197
1198 [6] [7]
1199 Package hyperref Info: bookmark level for unknown Exoc defaults to 0 on input l
1200 ine 500.
1201  [8]
1202 Overfull \hbox (10.98196pt too wide) in paragraph at lines 653--655
1203 []\T1/ptm/m/it/10.95 On consi-dère deux fonc-tions boo-léennes $\OML/lmm/m/it/1
1204 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
1205 atres
1206  []
1207
1208 [9]) [10]
1209 Chapitre 2.
1210 (./logique/Propositions13.tex [11
1211
1212 ]
1213 Overfull \hbox (0.7556pt too wide) in paragraph at lines 220--222
1214 []\T1/ptm/m/n/10.95 Même re-marque que pour l'im-pli-ca-tion lo-gique : l'équi-
1215 va-lence lo-gique de deux pro-po-si-tions fausses
1216  []
1217
1218 [12]
1219 LaTeX Font Info:    Try loading font information for TS1+ptm on input line 309.
1220
1221  (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd
1222 File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm.
1223 ) [13]
1224 Underfull \hbox (badness 2717) in paragraph at lines 489--491
1225 []\T1/ptm/m/n/10.95 Les conven-tions de prio-rité des
1226  []
1227
1228 [14] [15]
1229 Package hyperref Info: bookmark level for unknown Notation defaults to 0 on inp
1230 ut line 857.
1231  [16] [17] [18]
1232 Overfull \hbox (20.57855pt too wide) in paragraph at lines 1352--1361
1233 \OMS/lmsy/m/n/10.95 f\OML/lmm/m/it/10.95 G[]; G[]; [] ; G[]\OMS/lmsy/m/n/10.95
1234 g$ \T1/ptm/m/n/10.95 sont vraies, $\OML/lmm/m/it/10.95 G[] \OMS/lmsy/m/n/10.95
1235 ) \OML/lmm/m/it/10.95 H$ \T1/ptm/m/n/10.95 est vraie. Re-gar-dons si $\OML/lmm/
1236 m/it/10.95 H$ \T1/ptm/m/n/10.95 est une consé-quence lo-gique de $\OMS/lmsy/m/n
1237 /10.95 f\OML/lmm/m/it/10.95 G[]; G[]; [] ; G[]\OMS/lmsy/m/n/10.95 g$
1238  []
1239
1240 [19] [20]) [21] [22
1241
1242 ]
1243 Chapitre 3.
1244 (./ensembles/IntroAuxEnsembles13.tex [23
1245
1246 ] [24]
1247 Overfull \hbox (37.774pt too wide) in paragraph at lines 186--187
1248 []\T1/ptm/m/it/10.95 Faire la réunion des en-sembles $\OML/lmm/m/it/10.95 A$ \T
1249 1/ptm/m/it/10.95 et $\OML/lmm/m/it/10.95 B$\T1/ptm/m/it/10.95 , quand $\OML/lmm
1250 /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 \
1251 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
1252  x[]\OMS/lmsy/m/n/10.95 g$\T1/ptm/m/it/10.95 , et $\OML/lmm/m/it/10.95 B \OT1/l
1253 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
1254  \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
1255 .95 g$\T1/ptm/m/it/10.95 .
1256  []
1257
1258 [25]
1259 Overfull \hbox (2.81169pt too wide) in paragraph at lines 301--302
1260 []\T1/ptm/m/it/10.95 On ap-pelle fonc-tion ca-rac-té-ris-tique de la par-
1261  []
1262
1263 ) [26]
1264 Chapitre 4.
1265 (./ensembles/relbin13.tex [27
1266
1267 ] [28]
1268 Package hyperref Info: bookmark level for unknown Pre defaults to 0 on input li
1269 ne 301.
1270
1271 Overfull \hbox (350.24652pt too wide) in paragraph at lines 344--350
1272 []\T1/ptm/m/it/10.95 Soit $\OMS/lmsy/m/n/10.95 R$ \T1/ptm/m/it/10.95 la re-la-t
1273 ion d'équi-va-lence sui-vante dans l'en-semble $\OML/lmm/m/it/10.95 A \OT1/lmr/
1274 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
1275 /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 ;
1276  \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
1277 .95 ; \OT1/lmr/m/n/10.95 6\OMS/lmsy/m/n/10.95 g$ \T1/ptm/m/it/10.95 : $\OMS/lms
1278 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
1279 ML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 1)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.
1280 95 (1\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 5)\OML/lmm/m/it/10.95 ; \OT1/lmr/
1281 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
1282 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.
1283 95 ; \OT1/lmr/m/n/10.95 (2\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 6)\OML/lmm/m
1284 /it/10.95 ; \OT1/lmr/m/n/10.95 (3\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 2)\OM
1285 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
1286 5 3)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (3\OML/lmm/m/it/10.95 ; \OT1/lmr/m
1287 /n/10.95 6)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (4\OML/lmm/m/it/10.95 ; \OT
1288 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
1289 5 ; \OT1/lmr/m/n/10.95 1)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (5\OML/lmm/m/
1290 it/10.95 ; \OT1/lmr/m/n/10.95 5)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 (6\OML
1291 /lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 2)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95
1292  (6\OML/lmm/m/it/10.95 ; \OT1/lmr/m/n/10.95 3)\OML/lmm/m/it/10.95 ; \OT1/lmr/m/
1293 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/
1294 lmm/m/it/10.95 :$
1295  []
1296
1297 ) [29] [30
1298
1299 ]
1300 Chapitre 5.
1301 (./arithmetique/entiersNaturels13.tex
1302 Overfull \hbox (11.42195pt too wide) in paragraph at lines 134--134
1303 []\T1/ptm/m/n/10.95 L'écriture d'un en-tier $\OML/lmm/m/it/10.95 n$ \T1/ptm/m/n
1304 /10.95 sous la forme $\OML/lmm/m/it/10.95 n \OT1/lmr/m/n/10.95 = \OML/lmm/m/it/
1305 10.95 a[]b[]c[] []$\T1/ptm/m/n/10.95 ,
1306  []
1307
1308 [31
1309
1310 ]
1311 LaTeX Font Info:    External font `lmex10' loaded for size
1312 (Font)              <14.4> on input line 255.
1313
1314
1315 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1316 (hyperref)                removing `math shift' on input line 255.
1317
1318
1319 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1320 (hyperref)                removing `math shift' on input line 255.
1321
1322 LaTeX Font Info:    Font shape `T1/pcr/bx/n' in size <10.95> not available
1323 (Font)              Font shape `T1/pcr/b/n' tried instead on input line 293.
1324 [32] [33] [34] [35]
1325
1326 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1327 (hyperref)                removing `math shift' on input line 710.
1328
1329
1330 Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
1331 (hyperref)                removing `math shift' on input line 710.
1332
1333 [36]
1334 Underfull \hbox (badness 10000) in paragraph at lines 842--843
1335
1336  []
1337
1338 [37]) [38] [39
1339
1340 ]
1341 \openout2 = `PPN.aux'.
1342
1343  (./PPN.tex
1344 Chapitre 6.
1345 ) [40
1346
1347
1348 ]
1349 No file main13.ind.
1350 (./main13.bbl) [41
1351
1352
1353 ]
1354 \openout2 = `Bibliographie.aux'.
1355
1356  (./Bibliographie.tex
1357 LaTeX Font Info:    Font shape `T1/ptm/bx/it' in size <10.95> not available
1358 (Font)              Font shape `T1/ptm/b/it' tried instead on input line 5.
1359 ) [42
1360
1361
1362 ]
1363 \tf@thm=\write7
1364 \openout7 = `main13.thm'.
1365
1366 Package atveryend Info: Empty hook `BeforeClearDocument' on input line 336.
1367 Package atveryend Info: Empty hook `AfterLastShipout' on input line 336.
1368  (./main13.aux
1369 (./Remerciements.aux) (./PPN.aux) (./Bibliographie.aux))
1370 Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 336.
1371 Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 336.
1372 Package rerunfilecheck Info: File `main13.out' has not changed.
1373 (rerunfilecheck)             Checksum: 10B0C3771DF7ECC4CEE9D23226FE986C;3951.
1374 Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336.
1375  )
1376 Here is how much of TeX's memory you used:
1377  12395 strings out of 495002
1378  167172 string characters out of 6180261
1379  283229 words of memory out of 5000000
1380  14738 multiletter control sequences out of 15000+600000
1381  109186 words of font info for 111 fonts, out of 8000000 for 9000
1382  14 hyphenation exceptions out of 8191
1383  30i,13n,32p,479b,676s stack positions out of 5000i,500n,10000p,200000b,80000s
1384 {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/usr/share/texmf/
1385 fonts/enc/dvips/lm/lm-mathit.enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathex
1386 .enc}{/usr/share/texmf/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texmf/fonts
1387 /enc/dvips/lm/lm-rm.enc}</usr/share/texlive/texmf-dist/fonts/type1/public/amsfo
1388 nts/latxfont/line10.pfb></usr/share/texmf/fonts/type1/public/lm/lmex10.pfb></us
1389 r/share/texmf/fonts/type1/public/lm/lmmi10.pfb></usr/share/texmf/fonts/type1/pu
1390 blic/lm/lmmi12.pfb></usr/share/texmf/fonts/type1/public/lm/lmmi6.pfb></usr/shar
1391 e/texmf/fonts/type1/public/lm/lmmi8.pfb></usr/share/texmf/fonts/type1/public/lm
1392 /lmr10.pfb></usr/share/texmf/fonts/type1/public/lm/lmr6.pfb></usr/share/texmf/f
1393 onts/type1/public/lm/lmr8.pfb></usr/share/texmf/fonts/type1/public/lm/lmsy10.pf
1394 b></usr/share/texmf/fonts/type1/public/lm/lmsy6.pfb></usr/share/texmf/fonts/typ
1395 e1/public/lm/lmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfon
1396 ts/symbols/msam10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
1397 s/symbols/msbm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucr
1398 b8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/courier/ucrr8a.pfb></usr
1399 /share/texlive/texmf-dist/fonts/type1/urw/times/utmb8a.pfb></usr/share/texlive/
1400 texmf-dist/fonts/type1/urw/times/utmbi8a.pfb></usr/share/texlive/texmf-dist/fon
1401 ts/type1/urw/times/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/ti
1402 mes/utmr8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb
1403 >
1404 Output written on main13.pdf (43 pages, 369126 bytes).
1405 PDF statistics:
1406  1150 PDF objects out of 1200 (max. 8388607)
1407  1073 compressed objects within 11 object streams
1408  566 named destinations out of 1000 (max. 500000)
1409  425 words of extra memory for PDF output out of 10000 (max. 10000000)
1410