1 This is pdfTeX, Version 3.1415926-2.4-1.40.13 (TeX Live 2012/Debian) (format=pdflatex 2012.11.7) 25 MAR 2013 10:44
3 restricted \write18 enabled.
4 %&-line parsing enabled.
8 Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
10 (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
11 Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
12 (/usr/share/texlive/texmf-dist/tex/latex/base/size12.clo
13 File: size12.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
17 \c@subsection=\count81
18 \c@subsubsection=\count82
20 \c@subparagraph=\count84
23 \abovecaptionskip=\skip41
24 \belowcaptionskip=\skip42
27 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
28 Package: babel 2008/07/08 v3.8m The Babel package
30 (/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf
31 Language: frenchb 2010/08/21 v2.5a French support from the babel system
33 (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
34 File: babel.def 2008/07/08 v3.8m Babel common definitions
35 \babel@savecnt=\count87
39 Package babel Warning: No hyphenation patterns were loaded for
40 (babel) the language `French'
41 (babel) I will use the patterns loaded for \language=0 instead.
43 \l@french = a dialect from \language0
44 Package babel Info: Making : an active character on input line 234.
45 Package babel Info: Making ; an active character on input line 235.
46 Package babel Info: Making ! an active character on input line 236.
47 Package babel Info: Making ? an active character on input line 237.
51 \parindentFFN=\dimen105
52 *************************************
53 * Local config file frenchb.cfg used
55 (/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.cfg))
56 (/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf
57 Language: frenchb 2010/08/21 v2.5a French support from the babel system
59 (/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty)
60 (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
61 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
64 (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
65 Package: inputenc 2008/03/30 v1.1d Input encoding file
66 \inpenc@prehook=\toks15
67 \inpenc@posthook=\toks16
69 (/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
70 File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc
71 Now handling font encoding OML ...
72 ... no UTF-8 mapping file for font encoding OML
73 Now handling font encoding T1 ...
74 ... processing UTF-8 mapping file for font encoding T1
76 (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
77 File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
78 defining Unicode char U+00A1 (decimal 161)
79 defining Unicode char U+00A3 (decimal 163)
80 defining Unicode char U+00AB (decimal 171)
81 defining Unicode char U+00BB (decimal 187)
82 defining Unicode char U+00BF (decimal 191)
83 defining Unicode char U+00C0 (decimal 192)
84 defining Unicode char U+00C1 (decimal 193)
85 defining Unicode char U+00C2 (decimal 194)
86 defining Unicode char U+00C3 (decimal 195)
87 defining Unicode char U+00C4 (decimal 196)
88 defining Unicode char U+00C5 (decimal 197)
89 defining Unicode char U+00C6 (decimal 198)
90 defining Unicode char U+00C7 (decimal 199)
91 defining Unicode char U+00C8 (decimal 200)
92 defining Unicode char U+00C9 (decimal 201)
93 defining Unicode char U+00CA (decimal 202)
94 defining Unicode char U+00CB (decimal 203)
95 defining Unicode char U+00CC (decimal 204)
96 defining Unicode char U+00CD (decimal 205)
97 defining Unicode char U+00CE (decimal 206)
98 defining Unicode char U+00CF (decimal 207)
99 defining Unicode char U+00D0 (decimal 208)
100 defining Unicode char U+00D1 (decimal 209)
101 defining Unicode char U+00D2 (decimal 210)
102 defining Unicode char U+00D3 (decimal 211)
103 defining Unicode char U+00D4 (decimal 212)
104 defining Unicode char U+00D5 (decimal 213)
105 defining Unicode char U+00D6 (decimal 214)
106 defining Unicode char U+00D8 (decimal 216)
107 defining Unicode char U+00D9 (decimal 217)
108 defining Unicode char U+00DA (decimal 218)
109 defining Unicode char U+00DB (decimal 219)
110 defining Unicode char U+00DC (decimal 220)
111 defining Unicode char U+00DD (decimal 221)
112 defining Unicode char U+00DE (decimal 222)
113 defining Unicode char U+00DF (decimal 223)
114 defining Unicode char U+00E0 (decimal 224)
115 defining Unicode char U+00E1 (decimal 225)
116 defining Unicode char U+00E2 (decimal 226)
117 defining Unicode char U+00E3 (decimal 227)
118 defining Unicode char U+00E4 (decimal 228)
119 defining Unicode char U+00E5 (decimal 229)
120 defining Unicode char U+00E6 (decimal 230)
121 defining Unicode char U+00E7 (decimal 231)
122 defining Unicode char U+00E8 (decimal 232)
123 defining Unicode char U+00E9 (decimal 233)
124 defining Unicode char U+00EA (decimal 234)
125 defining Unicode char U+00EB (decimal 235)
126 defining Unicode char U+00EC (decimal 236)
127 defining Unicode char U+00ED (decimal 237)
128 defining Unicode char U+00EE (decimal 238)
129 defining Unicode char U+00EF (decimal 239)
130 defining Unicode char U+00F0 (decimal 240)
131 defining Unicode char U+00F1 (decimal 241)
132 defining Unicode char U+00F2 (decimal 242)
133 defining Unicode char U+00F3 (decimal 243)
134 defining Unicode char U+00F4 (decimal 244)
135 defining Unicode char U+00F5 (decimal 245)
136 defining Unicode char U+00F6 (decimal 246)
137 defining Unicode char U+00F8 (decimal 248)
138 defining Unicode char U+00F9 (decimal 249)
139 defining Unicode char U+00FA (decimal 250)
140 defining Unicode char U+00FB (decimal 251)
141 defining Unicode char U+00FC (decimal 252)
142 defining Unicode char U+00FD (decimal 253)
143 defining Unicode char U+00FE (decimal 254)
144 defining Unicode char U+00FF (decimal 255)
145 defining Unicode char U+0102 (decimal 258)
146 defining Unicode char U+0103 (decimal 259)
147 defining Unicode char U+0104 (decimal 260)
148 defining Unicode char U+0105 (decimal 261)
149 defining Unicode char U+0106 (decimal 262)
150 defining Unicode char U+0107 (decimal 263)
151 defining Unicode char U+010C (decimal 268)
152 defining Unicode char U+010D (decimal 269)
153 defining Unicode char U+010E (decimal 270)
154 defining Unicode char U+010F (decimal 271)
155 defining Unicode char U+0110 (decimal 272)
156 defining Unicode char U+0111 (decimal 273)
157 defining Unicode char U+0118 (decimal 280)
158 defining Unicode char U+0119 (decimal 281)
159 defining Unicode char U+011A (decimal 282)
160 defining Unicode char U+011B (decimal 283)
161 defining Unicode char U+011E (decimal 286)
162 defining Unicode char U+011F (decimal 287)
163 defining Unicode char U+0130 (decimal 304)
164 defining Unicode char U+0131 (decimal 305)
165 defining Unicode char U+0132 (decimal 306)
166 defining Unicode char U+0133 (decimal 307)
167 defining Unicode char U+0139 (decimal 313)
168 defining Unicode char U+013A (decimal 314)
169 defining Unicode char U+013D (decimal 317)
170 defining Unicode char U+013E (decimal 318)
171 defining Unicode char U+0141 (decimal 321)
172 defining Unicode char U+0142 (decimal 322)
173 defining Unicode char U+0143 (decimal 323)
174 defining Unicode char U+0144 (decimal 324)
175 defining Unicode char U+0147 (decimal 327)
176 defining Unicode char U+0148 (decimal 328)
177 defining Unicode char U+014A (decimal 330)
178 defining Unicode char U+014B (decimal 331)
179 defining Unicode char U+0150 (decimal 336)
180 defining Unicode char U+0151 (decimal 337)
181 defining Unicode char U+0152 (decimal 338)
182 defining Unicode char U+0153 (decimal 339)
183 defining Unicode char U+0154 (decimal 340)
184 defining Unicode char U+0155 (decimal 341)
185 defining Unicode char U+0158 (decimal 344)
186 defining Unicode char U+0159 (decimal 345)
187 defining Unicode char U+015A (decimal 346)
188 defining Unicode char U+015B (decimal 347)
189 defining Unicode char U+015E (decimal 350)
190 defining Unicode char U+015F (decimal 351)
191 defining Unicode char U+0160 (decimal 352)
192 defining Unicode char U+0161 (decimal 353)
193 defining Unicode char U+0162 (decimal 354)
194 defining Unicode char U+0163 (decimal 355)
195 defining Unicode char U+0164 (decimal 356)
196 defining Unicode char U+0165 (decimal 357)
197 defining Unicode char U+016E (decimal 366)
198 defining Unicode char U+016F (decimal 367)
199 defining Unicode char U+0170 (decimal 368)
200 defining Unicode char U+0171 (decimal 369)
201 defining Unicode char U+0178 (decimal 376)
202 defining Unicode char U+0179 (decimal 377)
203 defining Unicode char U+017A (decimal 378)
204 defining Unicode char U+017B (decimal 379)
205 defining Unicode char U+017C (decimal 380)
206 defining Unicode char U+017D (decimal 381)
207 defining Unicode char U+017E (decimal 382)
208 defining Unicode char U+200C (decimal 8204)
209 defining Unicode char U+2013 (decimal 8211)
210 defining Unicode char U+2014 (decimal 8212)
211 defining Unicode char U+2018 (decimal 8216)
212 defining Unicode char U+2019 (decimal 8217)
213 defining Unicode char U+201A (decimal 8218)
214 defining Unicode char U+201C (decimal 8220)
215 defining Unicode char U+201D (decimal 8221)
216 defining Unicode char U+201E (decimal 8222)
217 defining Unicode char U+2030 (decimal 8240)
218 defining Unicode char U+2031 (decimal 8241)
219 defining Unicode char U+2039 (decimal 8249)
220 defining Unicode char U+203A (decimal 8250)
221 defining Unicode char U+2423 (decimal 9251)
223 Now handling font encoding OT1 ...
224 ... processing UTF-8 mapping file for font encoding OT1
226 (/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
227 File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
228 defining Unicode char U+00A1 (decimal 161)
229 defining Unicode char U+00A3 (decimal 163)
230 defining Unicode char U+00B8 (decimal 184)
231 defining Unicode char U+00BF (decimal 191)
232 defining Unicode char U+00C5 (decimal 197)
233 defining Unicode char U+00C6 (decimal 198)
234 defining Unicode char U+00D8 (decimal 216)
235 defining Unicode char U+00DF (decimal 223)
236 defining Unicode char U+00E6 (decimal 230)
237 defining Unicode char U+00EC (decimal 236)
238 defining Unicode char U+00ED (decimal 237)
239 defining Unicode char U+00EE (decimal 238)
240 defining Unicode char U+00EF (decimal 239)
241 defining Unicode char U+00F8 (decimal 248)
242 defining Unicode char U+0131 (decimal 305)
243 defining Unicode char U+0141 (decimal 321)
244 defining Unicode char U+0142 (decimal 322)
245 defining Unicode char U+0152 (decimal 338)
246 defining Unicode char U+0153 (decimal 339)
247 defining Unicode char U+2013 (decimal 8211)
248 defining Unicode char U+2014 (decimal 8212)
249 defining Unicode char U+2018 (decimal 8216)
250 defining Unicode char U+2019 (decimal 8217)
251 defining Unicode char U+201C (decimal 8220)
252 defining Unicode char U+201D (decimal 8221)
254 Now handling font encoding OMS ...
255 ... processing UTF-8 mapping file for font encoding OMS
257 (/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
258 File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
259 defining Unicode char U+00A7 (decimal 167)
260 defining Unicode char U+00B6 (decimal 182)
261 defining Unicode char U+00B7 (decimal 183)
262 defining Unicode char U+2020 (decimal 8224)
263 defining Unicode char U+2021 (decimal 8225)
264 defining Unicode char U+2022 (decimal 8226)
266 Now handling font encoding OMX ...
267 ... no UTF-8 mapping file for font encoding OMX
268 Now handling font encoding U ...
269 ... no UTF-8 mapping file for font encoding U
270 defining Unicode char U+00A9 (decimal 169)
271 defining Unicode char U+00AA (decimal 170)
272 defining Unicode char U+00AE (decimal 174)
273 defining Unicode char U+00BA (decimal 186)
274 defining Unicode char U+02C6 (decimal 710)
275 defining Unicode char U+02DC (decimal 732)
276 defining Unicode char U+200C (decimal 8204)
277 defining Unicode char U+2026 (decimal 8230)
278 defining Unicode char U+2122 (decimal 8482)
279 defining Unicode char U+2423 (decimal 9251)
281 (/usr/share/texlive/texmf-dist/tex/latex/ntgclass/a4.sty
282 Package: a4 2004/04/15 v1.2g A4 based page layout
284 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
285 Package: amsmath 2000/07/18 v2.13 AMS math features
288 For additional information on amsmath, use the `?' option.
289 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
290 Package: amstext 2000/06/29 v2.01
292 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
293 File: amsgen.sty 1999/11/30 v2.0
297 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
298 Package: amsbsy 1999/11/29 v1.2d
301 (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
302 Package: amsopn 1999/12/14 v2.01 operator names
305 LaTeX Info: Redefining \frac on input line 211.
308 LaTeX Info: Redefining \overline on input line 307.
311 LaTeX Info: Redefining \ldots on input line 379.
312 LaTeX Info: Redefining \dots on input line 382.
313 LaTeX Info: Redefining \cdots on input line 467.
314 \Mathstrutbox@=\box26
317 LaTeX Font Info: Redeclaring font encoding OML on input line 567.
318 LaTeX Font Info: Redeclaring font encoding OMS on input line 568.
320 \c@MaxMatrixCols=\count96
321 \dotsspace@=\muskip10
322 \c@parentequation=\count97
327 \maxfields@=\count101
337 \multlinetaggap=\skip45
338 \mathdisplay@stack=\toks21
339 LaTeX Info: Redefining \[ on input line 2666.
340 LaTeX Info: Redefining \] on input line 2667.
342 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
343 Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
346 LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
347 (Font) U/euf/m/n --> U/euf/b/n on input line 96.
349 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
350 Package: amssymb 2009/06/22 v3.00
352 (/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty
353 Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks
354 \OuterFrameSep=\skip46
360 (/usr/share/texlive/texmf-dist/tex/latex/doublestroke/dsfont.sty
361 Package: dsfont 1995/08/01 v0.1 Double stroke roman fonts
363 (/usr/share/texlive/texmf-dist/tex/latex/ntheorem/ntheorem.sty
364 Style `ntheorem', Version 1.31 <2011/02/16>
365 Package: ntheorem 2011/02/16 1.31
366 (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty
367 Package: ifthen 2001/05/26 v1.1c Standard LaTeX ifthen package (DPC)
369 \theorem@style=\toks22
370 \theorem@@style=\toks23
371 \theorembodyfont=\toks24
372 \theoremnumbering=\toks25
373 \theorempreskipamount=\skip47
374 \theorempostskipamount=\skip48
375 \theoremframepreskipamount=\skip49
376 \theoremframepostskipamount=\skip50
377 \theoremindent=\dimen119
378 \theorem@indent=\dimen120
379 \theoremheaderfont=\toks26
380 \theoremseparator=\toks27
381 \theoremprework=\toks28
382 \theorempostwork=\toks29
383 \theoremsymbol=\toks30
385 \theoremkeyword=\toks32
387 \thm@topsepadd=\skip51
388 Package ntheorem Info: Option `thmmarks' loaded on input line 1066.
389 \c@endNonectr=\count102
390 \c@currNonectr=\count103
392 Package ntheorem Info: Option `thref' loaded on input line 1066.
394 Package ntheorem Info: option `amsmath' handling for `thref' loaded on input li
396 Package ntheorem Info: option `amsmath' handling for `thmmarks' loaded on input
398 \thm@amstmpdepth=\dimen121
402 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
403 Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
405 (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
406 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
408 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
409 File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
411 Package graphics Info: Driver file: dvips.def on input line 91.
413 (/usr/share/texlive/texmf-dist/tex/latex/graphics/dvips.def
414 File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
416 (/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty
417 Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)
419 (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
420 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
421 \Gin@req@height=\dimen123
422 \Gin@req@width=\dimen124
427 (/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
428 Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ)
429 \calc@Acount=\count104
430 \calc@Bcount=\count105
431 \calc@Adimen=\dimen127
432 \calc@Bdimen=\dimen128
435 LaTeX Info: Redefining \setlength on input line 76.
436 LaTeX Info: Redefining \addtolength on input line 77.
437 \calc@Ccount=\count106
440 (/usr/share/texlive/texmf-dist/tex/latex/tabls/tabls.sty
441 \tablinesep=\dimen129
442 \arraylinesep=\dimen130
443 \extrarulesep=\dimen131
444 \@arstdepth=\dimen132
445 \@arstheight=\dimen133
446 \@skip@bove=\dimen134
448 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty
449 Package: times 2005/04/12 PSNFSS-v9.2a (SPQR)
451 (/usr/share/texlive/texmf-dist/tex/latex/tools/multicol.sty
452 Package: multicol 2011/06/27 v1.7a multicolumn formatting (FMi)
453 \c@tracingmulticols=\count107
455 \multicol@leftmargin=\dimen135
456 \c@unbalance=\count108
457 \c@collectmore=\count109
458 \doublecol@number=\count110
459 \multicoltolerance=\count111
460 \multicolpretolerance=\count112
461 \full@width=\dimen136
463 \premulticols=\dimen138
464 \postmulticols=\dimen139
466 \multicolbaselineskip=\skip58
469 \mult@rightbox=\box31
470 \mult@grightbox=\box32
471 \mult@gfirstbox=\box33
472 \mult@firstbox=\box34
490 \c@columnbadness=\count113
491 \c@finalcolumnbadness=\count114
493 \multicolovershoot=\dimen141
494 \multicolundershoot=\dimen142
495 \mult@nat@firstbox=\box52
497 \multicol@sort@counter=\count115
499 (/usr/share/texlive/texmf-dist/tex/latex/tools/tabularx.sty
500 Package: tabularx 1999/01/07 v2.07 `tabularx' package (DPC)
502 (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty
503 Package: array 2008/09/09 v2.4c Tabular extension package (FMi)
505 \extrarowheight=\dimen144
507 \extratabsurround=\skip59
508 \backup@length=\skip60
511 LaTeX Warning: Command \@xhline has changed.
512 Check if current package is valid.
515 \TX@col@width=\dimen145
516 \TX@old@table=\dimen146
517 \TX@old@col=\dimen147
522 ) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
523 Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
524 Package textcomp Info: Sub-encoding information:
525 (textcomp) 5 = only ISO-Adobe without \textcurrency
526 (textcomp) 4 = 5 + \texteuro
527 (textcomp) 3 = 4 + \textohm
528 (textcomp) 2 = 3 + \textestimated + \textcurrency
529 (textcomp) 1 = TS1 - \textcircled - \t
530 (textcomp) 0 = TS1 (full)
531 (textcomp) Font families with sub-encoding setting implement
532 (textcomp) only a restricted character set as indicated.
533 (textcomp) Family '?' is the default used for unknown fonts.
534 (textcomp) See the documentation for details.
535 Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.
537 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def
538 File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
539 Now handling font encoding TS1 ...
540 ... processing UTF-8 mapping file for font encoding TS1
542 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu
543 File: ts1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
544 defining Unicode char U+00A2 (decimal 162)
545 defining Unicode char U+00A3 (decimal 163)
546 defining Unicode char U+00A4 (decimal 164)
547 defining Unicode char U+00A5 (decimal 165)
548 defining Unicode char U+00A6 (decimal 166)
549 defining Unicode char U+00A7 (decimal 167)
550 defining Unicode char U+00A8 (decimal 168)
551 defining Unicode char U+00A9 (decimal 169)
552 defining Unicode char U+00AA (decimal 170)
553 defining Unicode char U+00AC (decimal 172)
554 defining Unicode char U+00AE (decimal 174)
555 defining Unicode char U+00AF (decimal 175)
556 defining Unicode char U+00B0 (decimal 176)
557 defining Unicode char U+00B1 (decimal 177)
558 defining Unicode char U+00B2 (decimal 178)
559 defining Unicode char U+00B3 (decimal 179)
560 defining Unicode char U+00B4 (decimal 180)
561 defining Unicode char U+00B5 (decimal 181)
562 defining Unicode char U+00B6 (decimal 182)
563 defining Unicode char U+00B7 (decimal 183)
564 defining Unicode char U+00B9 (decimal 185)
565 defining Unicode char U+00BA (decimal 186)
566 defining Unicode char U+00BC (decimal 188)
567 defining Unicode char U+00BD (decimal 189)
568 defining Unicode char U+00BE (decimal 190)
569 defining Unicode char U+00D7 (decimal 215)
570 defining Unicode char U+00F7 (decimal 247)
571 defining Unicode char U+0192 (decimal 402)
572 defining Unicode char U+02C7 (decimal 711)
573 defining Unicode char U+02D8 (decimal 728)
574 defining Unicode char U+02DD (decimal 733)
575 defining Unicode char U+0E3F (decimal 3647)
576 defining Unicode char U+2016 (decimal 8214)
577 defining Unicode char U+2020 (decimal 8224)
578 defining Unicode char U+2021 (decimal 8225)
579 defining Unicode char U+2022 (decimal 8226)
580 defining Unicode char U+2030 (decimal 8240)
581 defining Unicode char U+2031 (decimal 8241)
582 defining Unicode char U+203B (decimal 8251)
583 defining Unicode char U+203D (decimal 8253)
584 defining Unicode char U+2044 (decimal 8260)
585 defining Unicode char U+204E (decimal 8270)
586 defining Unicode char U+2052 (decimal 8274)
587 defining Unicode char U+20A1 (decimal 8353)
588 defining Unicode char U+20A4 (decimal 8356)
589 defining Unicode char U+20A6 (decimal 8358)
590 defining Unicode char U+20A9 (decimal 8361)
591 defining Unicode char U+20AB (decimal 8363)
592 defining Unicode char U+20AC (decimal 8364)
593 defining Unicode char U+20B1 (decimal 8369)
594 defining Unicode char U+2103 (decimal 8451)
595 defining Unicode char U+2116 (decimal 8470)
596 defining Unicode char U+2117 (decimal 8471)
597 defining Unicode char U+211E (decimal 8478)
598 defining Unicode char U+2120 (decimal 8480)
599 defining Unicode char U+2122 (decimal 8482)
600 defining Unicode char U+2126 (decimal 8486)
601 defining Unicode char U+2127 (decimal 8487)
602 defining Unicode char U+212E (decimal 8494)
603 defining Unicode char U+2190 (decimal 8592)
604 defining Unicode char U+2191 (decimal 8593)
605 defining Unicode char U+2192 (decimal 8594)
606 defining Unicode char U+2193 (decimal 8595)
607 defining Unicode char U+2329 (decimal 9001)
608 defining Unicode char U+232A (decimal 9002)
609 defining Unicode char U+2422 (decimal 9250)
610 defining Unicode char U+25E6 (decimal 9702)
611 defining Unicode char U+25EF (decimal 9711)
612 defining Unicode char U+266A (decimal 9834)
614 LaTeX Info: Redefining \oldstylenums on input line 266.
615 Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
616 Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
617 Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
618 Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
619 Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
620 Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
621 Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
622 Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
623 Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
624 Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
625 Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
626 Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
627 Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
628 Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
629 Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
630 Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
631 Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
632 Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
633 Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
634 Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
635 Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
636 Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
637 Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
638 Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.
640 Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
641 Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
642 Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
643 Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
644 Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
645 Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
646 Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311.
647 Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312.
648 Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313.
649 Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314.
650 Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315.
651 Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316.
652 Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317.
653 Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318.
654 Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319.
655 Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320.
656 Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321.
657 Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322.
658 Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323.
659 Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324.
660 Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325.
661 Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326.
662 Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327.
663 Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328.
664 Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329.
665 Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330.
666 Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331.
667 Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332.
668 Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333.
669 Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334.
670 Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335.
671 Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336.
672 Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337.
673 Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338.
674 Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339.
675 Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340.
677 (/usr/share/texlive/texmf-dist/tex/latex/pstricks/pst-all.sty
678 Package: pst-all 2008/01/01 the main pstricks tools
680 (/usr/share/texlive/texmf-dist/tex/latex/pstricks/pstricks.sty
681 Package: pstricks 2011/10/31 v0.52 LaTeX wrapper for `PSTricks' (RN,HV)
683 (/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.tex
684 (/usr/share/texlive/texmf-dist/tex/generic/xkeyval/pst-xkey.tex
685 File: pst-xkey.tex 2005/11/25 v1.6 PSTricks specialization of xkeyval (HA)
687 (/usr/share/texlive/texmf-dist/tex/latex/xkeyval/xkeyval.sty
688 Package: xkeyval 2008/08/13 v2.6a package option processing (HA)
690 (/usr/share/texlive/texmf-dist/tex/generic/xkeyval/xkeyval.tex
692 \XKV@tempa@toks=\toks38
694 File: xkeyval.tex 2008/08/13 v2.6a key=value parser (HA)
696 (/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex
697 `pst-fp' v0.05, 2010/01/17 (hv)
703 \pstFP@rega=\count123
704 \pstFP@regb=\count124
705 \pstFP@regs=\count125
706 \pstFP@times=\count126
708 \psLoopIndex=\count127
710 `PSTricks' v2.29 <2012/06/04> (tvz)
736 (/usr/share/texlive/texmf-dist/tex/generic/pstricks/pstricks.con)
740 \pst@C@@rType=\count139
741 \pslinewidth=\dimen163
742 \psk@startLW=\dimen164
744 \pst@customdefs=\toks40
746 \pst@symbolStep=\dimen167
747 \pst@symbolWidth=\dimen168
748 \pst@symbolLinewidth=\dimen169
750 \psframesep=\dimen170
751 \pslabelsep=\dimen171
753 \theoverlaybox=\box57
755 File: pstricks.tex 2012/06/04 v2.29 `PSTricks' (tvz,hv)
757 (/usr/share/texlive/texmf-dist/tex/generic/pstricks/pst-fp.tex)
758 File: pst-fp.tex 2012/06/04 v2.29 `PST-fp' (hv)
760 (/usr/share/texmf/tex/latex/xcolor/xcolor.sty
761 Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
763 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
764 File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
766 Package xcolor Info: Driver file: pdftex.def on input line 225.
768 (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
769 File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
771 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
772 Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
774 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
775 Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
777 \Gread@gobject=\count140
779 Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
780 Package xcolor Info: Model `RGB' extended on input line 1353.
781 Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
782 Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
783 Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
784 Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
785 Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
786 Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
788 (/usr/share/texlive/texmf-dist/tex/latex/pst-plot/pst-plot.sty
789 Package: pst-plot 2011/06/05 v1.00 LaTeX wrapper for `pst-plot' (HV)
791 (/usr/share/texlive/texmf-dist/tex/latex/xkeyval/pst-xkey.sty
792 Package: pst-xkey 2005/11/25 v1.6 package wrapper for pst-xkey.tex (HA)
794 (/usr/share/texlive/texmf-dist/tex/latex/multido/multido.sty
795 Package: multido 2004/05/17 package wrapper for PSTricks `multido.tex', (HV/RN)
798 (/usr/share/texlive/texmf-dist/tex/generic/multido/multido.tex
799 v1.42, 2010/05/14 <tvz>
800 \multido@count=\count141
801 \multidocount=\count142
802 \multido@stuff=\toks42
804 File: multido.tex 2010/05/14 v1.42 `multido' (tvz,hv)
806 Package: pst-plot 2011/04/13 package wrapper for pst-plot.tex (hv)
808 (/usr/share/texlive/texmf-dist/tex/generic/pst-plot/pst-plot.tex
809 v1.42, 2012/05/03 (tvz,hv)
810 \pstRadUnit=\dimen173
811 \pstRadUnitInv=\dimen174
812 \pst@linecnt=\count143
813 \psxlabelsep=\dimen175
814 \psylabelsep=\dimen176
815 \psk@subticksize=\dimen177
816 \pst@xticksizeA=\dimen178
817 \pst@xticksizeB=\dimen179
818 \pst@xticksizeC=\dimen180
819 \pst@yticksizeA=\dimen181
820 \pst@yticksizeB=\dimen182
821 \pst@yticksizeC=\dimen183
822 \@digitcounter=\count144
830 File: pst-plot.tex 2012/05/03 1.42 `pst-plot' (tvz,hv)
832 (/usr/share/texlive/texmf-dist/tex/latex/pst-node/pst-node.sty
833 Package: pst-node 2011/06/05 v1.00 LaTeX wrapper for `pst-node' (HV)
834 Package: pst-node 2010/04/22 package wrapper for pst-node.tex
836 (/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex
840 \psmatrixcnt=\count147
845 \pst@argcnt=\count150
847 File: pst-node.tex 2012/02/12 1.22 `pst-node' (tvz)
849 (/usr/share/texlive/texmf-dist/tex/latex/pst-tree/pst-tree.sty
850 Package: pst-tree 2009/01/25 package wrapper for pst-tree.tex
852 (/usr/share/texlive/texmf-dist/tex/generic/pst-tree/pst-tree.tex
853 v1.12, 2011/02/28(tvz,dg,hv)
854 \pstree@rootbox=\box58
857 \pstreelevel=\count152
859 \pstree@cnt=\count154
860 \pstree@stop=\count155
862 File: pst-tree.tex 2011/02/28 1.12 `pst-tree' (tvz,hv)
864 (/usr/share/texlive/texmf-dist/tex/latex/pst-grad/pst-grad.sty
865 Package: pst-grad 2004/07/15 package wrapper for pst-grad.tex (hv)
867 (/usr/share/texlive/texmf-dist/tex/generic/pst-grad/pst-grad.tex
868 `pst-grad' v1.06, 2006/11/27 (tvz,dg,hv))
869 File: pst-grad.tex 2006/11/27 1.06 `pst-grad' (tvz)
871 (/usr/share/texlive/texmf-dist/tex/latex/pst-coil/pst-coil.sty
872 Package: pst-coil 2010/02/01 package wrapper for pst-coil.tex (hv)
874 (/usr/share/texlive/texmf-dist/tex/generic/pst-coil/pst-coil.tex
876 (/usr/share/texlive/texmf-dist/tex/generic/pst-node/pst-node.tex))
877 File: pst-coil.tex 2011/09/17 v1.06 `PST-coil' (tvz,hv)
879 (/usr/share/texlive/texmf-dist/tex/latex/pst-text/pst-text.sty
880 Package: pst-text 2006/01/01 package wrapper for pst-text.tex (hv)
882 (/usr/share/texlive/texmf-dist/tex/generic/pst-text/pst-text.tex
883 v1.00, 2006/11/05(tvz,hv))
884 File: pst-text.tex 2006/11/05 1.00 `pst-text' (tvz)
886 (/usr/share/texlive/texmf-dist/tex/latex/pst-3d/pst-3d.sty
887 Package: pst-3d 2009/07/28 package wrapper for pst-3d.tex (hv)
889 (/usr/share/texlive/texmf-dist/tex/generic/pst-3d/pst-3d.tex
890 `PST-3d' v1.11, 2010/02/14 (tvz))
891 File: pst-3d.tex 2010/02/14 v1.11 `PST-3d' (hv)
893 (/usr/share/texlive/texmf-dist/tex/latex/pst-eps/pst-eps.sty
894 Package: pst-eps 2005/05/20 package wrapper for pst-eps.tex (hv)
896 (/usr/share/texlive/texmf-dist/tex/generic/pst-eps/pst-eps.tex
901 File: pst-eps.tex 2006/11/04 1.00 `pst-eps' (tvz)
903 (/usr/share/texlive/texmf-dist/tex/latex/pst-fill/pst-fill.sty
904 Package: pst-fill 2005/09/13 package wrapper for pst-fill.tex (hv)
906 (/usr/share/texlive/texmf-dist/tex/generic/pst-fill/pst-fill.tex
907 `PST-Fill' v1.01, 2007/03/10 (tvz,dg,hv)
910 File: pst-fill.tex 2007/03/10 v1.01 `PST-fill' (tvz,dg)
912 (/usr/share/texlive/texmf-dist/tex/latex/pstricks-add/pstricks-add.sty
913 (/usr/share/texlive/texmf-dist/tex/latex/pst-math/pst-math.sty
914 Package: pst-math 2009/01/20 package wrapper for PSTricks pst-math.tex
916 (/usr/share/texlive/texmf-dist/tex/generic/pst-math/pst-math.tex
917 `pst-math' v0.62 , (CJ,hv))
918 File: pst-math.tex 2010/10/20 v0.62 `PST-math' (hv)
920 Package: pstricks-add 2010/02/11 v. 0.14 package wrapper for pstricks-add.tex (
923 (/usr/share/texlive/texmf-dist/tex/generic/pstricks-add/pstricks-add.tex
924 `pstricks-add' v3.55, 2011/12/11 (dr,hv)
925 \pshooklength=\dimen190
926 \pshookwidth=\dimen191
928 \chart@ColorIndex=\dimen192
929 \chart@ColorStep=\dimen193
930 \pst@chartHeight=\dimen194
931 \pst@chartStackDepth=\dimen195
932 \pst@chartStackWidth=\dimen196
933 \chart@Toggle=\count157
934 \psVectorCtr=\count158
936 File: pstricks-add.tex 2011/12/11 v3.55 `PSTricks-add' (hv)
938 (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty
939 Package: geometry 2010/09/12 v5.6 Page Geometry
941 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifpdf.sty
942 Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
943 Package ifpdf Info: pdfTeX in PDF mode is detected.
945 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifvtex.sty
946 Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
947 Package ifvtex Info: VTeX not detected.
949 (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
950 Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
954 \c@Gm@tempcnt=\count161
955 \Gm@bindingoffset=\dimen197
958 \Gm@even@mp=\dimen200
959 \Gm@layoutwidth=\dimen201
960 \Gm@layoutheight=\dimen202
961 \Gm@layouthoffset=\dimen203
962 \Gm@layoutvoffset=\dimen204
965 (./symboles.sty) (./main.aux)
966 \openout1 = `main.aux'.
968 LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 31.
969 LaTeX Font Info: ... okay on input line 31.
970 LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 31.
971 LaTeX Font Info: ... okay on input line 31.
972 LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 31.
973 LaTeX Font Info: ... okay on input line 31.
974 LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 31.
975 LaTeX Font Info: ... okay on input line 31.
976 LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 31.
977 LaTeX Font Info: ... okay on input line 31.
978 LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 31.
979 LaTeX Font Info: ... okay on input line 31.
980 LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 31.
981 LaTeX Font Info: Try loading font information for TS1+cmr on input line 31.
983 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
984 File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
986 LaTeX Font Info: ... okay on input line 31.
987 LaTeX Font Info: Try loading font information for OT1+ptm on input line 31.
989 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1ptm.fd
990 File: ot1ptm.fd 2001/06/04 font definitions for OT1/ptm.
992 LaTeX Info: Redefining \degres on input line 31.
993 LaTeX Info: Redefining \dots on input line 31.
994 LaTeX Info: Redefining \up on input line 31.
997 Package frenchb.ldf Warning: OT1 encoding should not be used for French.
998 (frenchb.ldf) Add \usepackage[T1]{fontenc} to the preamble
999 (frenchb.ldf) of your document, on input line 31.
1001 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty
1002 Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
1005 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ifluatex.sty
1006 Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
1007 Package ifluatex Info: LuaTeX not detected.
1009 Package pdftexcmds Info: LuaTeX not detected.
1010 Package pdftexcmds Info: \pdf@primitive is available.
1011 Package pdftexcmds Info: \pdf@ifprimitive is available.
1012 Package pdftexcmds Info: \pdfdraftmode found.
1014 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
1015 Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
1017 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
1018 Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
1020 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvdefinekeys.sty
1021 Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
1023 (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
1024 Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
1026 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty
1027 Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
1029 (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/etexcmds.sty
1030 Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
1031 Package etexcmds Info: Could not find \expanded.
1032 (etexcmds) That can mean that you are not using pdfTeX 1.50 or
1033 (etexcmds) that some package has redefined \expanded.
1034 (etexcmds) In the latter case, load this package earlier.
1036 Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
1038 Package grfext Info: Graphics extension search list:
1039 (grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
1041 (grfext) \AppendGraphicsExtensions on input line 452.
1043 (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
1044 File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
1047 (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
1048 [Loading MPS to PDF converter (version 2006.09.02).]
1049 \scratchcounter=\count162
1050 \scratchdimen=\dimen205
1052 \nofMPsegments=\count163
1053 \nofMParguments=\count164
1054 \everyMPshowfont=\toks44
1055 \MPscratchCnt=\count165
1056 \MPscratchDim=\dimen206
1057 \MPnumerator=\count166
1058 \makeMPintoPDFobject=\count167
1059 \everyMPtoPDFconversion=\toks45
1061 *geometry* driver: auto-detecting
1062 *geometry* detected driver: pdftex
1063 *geometry* verbose mode - [ preamble ] result:
1066 * layout: <same size as paper>
1067 * layoutoffset:(h,v)=(0.0pt,0.0pt)
1069 * h-part:(L,W,R)=(28.45274pt, 540.60239pt, 28.45274pt)
1070 * v-part:(T,H,B)=(42.67912pt, 759.6886pt, 42.67912pt)
1071 * \paperwidth=597.50787pt
1072 * \paperheight=845.04684pt
1073 * \textwidth=540.60239pt
1074 * \textheight=759.6886pt
1075 * \oddsidemargin=-43.81725pt
1076 * \evensidemargin=-43.81725pt
1077 * \topmargin=-66.59087pt
1078 * \headheight=12.0pt
1082 * \marginparwidth=57.81621pt
1083 * \marginparsep=10.0pt
1085 * \skip\footins=10.8pt plus 4.0pt minus 2.0pt
1092 * \@reversemarginfalse
1093 * (1in=72.27pt=25.4mm, 1cm=28.453pt)
1095 LaTeX Font Info: Try loading font information for U+msa on input line 33.
1096 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
1097 File: umsa.fd 2009/06/22 v3.00 AMS symbols A
1099 LaTeX Font Info: Try loading font information for U+msb on input line 33.
1101 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
1102 File: umsb.fd 2009/06/22 v3.00 AMS symbols B
1105 LaTeX Warning: No \author given.
1107 LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <17.28> not available
1108 (Font) Font shape `OT1/ptm/b/n' tried instead on input line 38.
1109 LaTeX Font Info: Font shape `OT1/ptm/bx/n' in size <14.4> not available
1110 (Font) Font shape `OT1/ptm/b/n' tried instead on input line 40.
1112 Underfull \hbox (badness 10000) in paragraph at lines 41--43
1117 Underfull \hbox (badness 10000) in paragraph at lines 50--70
1122 Underfull \hbox (badness 10000) in paragraph at lines 73--74
1127 Non-PDF special ignored!
1128 Non-PDF special ignored!
1129 Non-PDF special ignored!
1130 Non-PDF special ignored!
1131 Non-PDF special ignored!
1132 Non-PDF special ignored!
1133 Non-PDF special ignored!
1134 Non-PDF special ignored!
1135 Non-PDF special ignored!
1136 Non-PDF special ignored!
1137 Non-PDF special ignored!
1140 Non-PDF special ignored!
1141 Non-PDF special ignored!
1142 Non-PDF special ignored!{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}]
1144 \openout5 = `main.thm'.
1148 Here is how much of TeX's memory you used:
1149 9331 strings out of 495059
1150 132906 string characters out of 3182030
1151 284200 words of memory out of 3000000
1152 12252 multiletter control sequences out of 15000+200000
1153 20303 words of font info for 56 fonts, out of 3000000 for 9000
1154 14 hyphenation exceptions out of 8191
1155 44i,14n,64p,595b,222s stack positions out of 5000i,500n,10000p,200000b,50000s
1156 {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}</
1157 usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/sh
1158 are/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmmi12.pfb></usr/share/te
1159 xlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/t
1160 exmf-dist/fonts/type1/public/amsfonts/cm/cmr8.pfb></usr/share/texlive/texmf-dis
1161 t/fonts/type1/public/amsfonts/cm/cmsy10.pfb></usr/share/texlive/texmf-dist/font
1162 s/type1/public/amsfonts/cm/cmsy6.pfb></usr/share/texlive/texmf-dist/fonts/type1
1163 /public/amsfonts/cm/cmsy8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
1164 /amsfonts/symbols/msbm10.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/tim
1165 es/utmb8a.pfb></usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmr8a.pfb><
1166 /usr/share/texlive/texmf-dist/fonts/type1/urw/times/utmri8a.pfb>
1167 Output written on main.pdf (2 pages, 99854 bytes).
1169 56 PDF objects out of 1000 (max. 8388607)
1170 40 compressed objects within 1 object stream
1171 0 named destinations out of 1000 (max. 500000)
1172 1 words of extra memory for PDF output out of 10000 (max. 10000000)