source: papers/FDL2012/FDL2012.log @ 49

Last change on this file since 49 was 49, checked in by cecile, 12 years ago

add math font
File size: 60.0 KB
Line 
1This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011) (format=pdflatex 2012.2.19)  5 MAR 2012 17:30
2entering extended mode
3 restricted \write18 enabled.
4 %&-line parsing enabled.
5**FDL2012.tex
6(./FDL2012.tex
7LaTeX2e <2011/06/27>
8Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, ge
9rman-x-2011-07-01, ngerman-x-2011-07-01, afrikaans, ancientgreek, ibycus, arabi
10c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis
11h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis
12h, french, galician, german, ngerman, swissgerman, monogreek, greek, hungarian,
13 icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, marathi, or
14iya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, kurmanji,
15 lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, pol
16ish, portuguese, romanian, russian, sanskrit, serbian, serbianc, slovak, sloven
17ian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, welsh, polish
18, russian, ukrainian, esperanto, italian, welsh, coptic, slovenian, basque, ger
19man, ngerman, swissgerman, latin, pinyin, uppersorbian, estonian, turkish, germ
20an-x-2011-07-01, ngerman-x-2011-07-01, portuguese, lao, indonesian, finnish, cr
21oatian, monogreek, greek, dutch, bulgarian, romanian, irish, swedish, danish, k
22urmanji, catalan, slovak, ancientgreek, ibycus, icelandic, ukenglish, usenglish
23max, bokmal, nynorsk, spanish, mongolian, mongolianlmc, czech, hungarian, afrik
24aans, galician, french, armenian, serbian, serbianc, interlingua, loaded.
25(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
26Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
27(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
28File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
29)
30\c@part=\count79
31\c@section=\count80
32\c@subsection=\count81
33\c@subsubsection=\count82
34\c@paragraph=\count83
35\c@subparagraph=\count84
36\c@figure=\count85
37\c@table=\count86
38\abovecaptionskip=\skip41
39\belowcaptionskip=\skip42
40\bibindent=\dimen102
41) (./spconf.sty)
42(/usr/share/texlive/texmf-dist/tex/latex/cmap/cmap.sty
43Package: cmap 2008/03/06 v1.0h CMap support: searchable PDF
44)
45(/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty
46Package: inputenc 2008/03/30 v1.1d Input encoding file
47\inpenc@prehook=\toks14
48\inpenc@posthook=\toks15
49
50(/usr/share/texlive/texmf-dist/tex/latex/base/utf8.def
51File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc
52Now handling font encoding OML ...
53... no UTF-8 mapping file for font encoding OML
54Now handling font encoding T1 ...
55... processing UTF-8 mapping file for font encoding T1
56
57(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.dfu
58File: t1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
59   defining Unicode char U+00A1 (decimal 161)
60   defining Unicode char U+00A3 (decimal 163)
61   defining Unicode char U+00AB (decimal 171)
62   defining Unicode char U+00BB (decimal 187)
63   defining Unicode char U+00BF (decimal 191)
64   defining Unicode char U+00C0 (decimal 192)
65   defining Unicode char U+00C1 (decimal 193)
66   defining Unicode char U+00C2 (decimal 194)
67   defining Unicode char U+00C3 (decimal 195)
68   defining Unicode char U+00C4 (decimal 196)
69   defining Unicode char U+00C5 (decimal 197)
70   defining Unicode char U+00C6 (decimal 198)
71   defining Unicode char U+00C7 (decimal 199)
72   defining Unicode char U+00C8 (decimal 200)
73   defining Unicode char U+00C9 (decimal 201)
74   defining Unicode char U+00CA (decimal 202)
75   defining Unicode char U+00CB (decimal 203)
76   defining Unicode char U+00CC (decimal 204)
77   defining Unicode char U+00CD (decimal 205)
78   defining Unicode char U+00CE (decimal 206)
79   defining Unicode char U+00CF (decimal 207)
80   defining Unicode char U+00D0 (decimal 208)
81   defining Unicode char U+00D1 (decimal 209)
82   defining Unicode char U+00D2 (decimal 210)
83   defining Unicode char U+00D3 (decimal 211)
84   defining Unicode char U+00D4 (decimal 212)
85   defining Unicode char U+00D5 (decimal 213)
86   defining Unicode char U+00D6 (decimal 214)
87   defining Unicode char U+00D8 (decimal 216)
88   defining Unicode char U+00D9 (decimal 217)
89   defining Unicode char U+00DA (decimal 218)
90   defining Unicode char U+00DB (decimal 219)
91   defining Unicode char U+00DC (decimal 220)
92   defining Unicode char U+00DD (decimal 221)
93   defining Unicode char U+00DE (decimal 222)
94   defining Unicode char U+00DF (decimal 223)
95   defining Unicode char U+00E0 (decimal 224)
96   defining Unicode char U+00E1 (decimal 225)
97   defining Unicode char U+00E2 (decimal 226)
98   defining Unicode char U+00E3 (decimal 227)
99   defining Unicode char U+00E4 (decimal 228)
100   defining Unicode char U+00E5 (decimal 229)
101   defining Unicode char U+00E6 (decimal 230)
102   defining Unicode char U+00E7 (decimal 231)
103   defining Unicode char U+00E8 (decimal 232)
104   defining Unicode char U+00E9 (decimal 233)
105   defining Unicode char U+00EA (decimal 234)
106   defining Unicode char U+00EB (decimal 235)
107   defining Unicode char U+00EC (decimal 236)
108   defining Unicode char U+00ED (decimal 237)
109   defining Unicode char U+00EE (decimal 238)
110   defining Unicode char U+00EF (decimal 239)
111   defining Unicode char U+00F0 (decimal 240)
112   defining Unicode char U+00F1 (decimal 241)
113   defining Unicode char U+00F2 (decimal 242)
114   defining Unicode char U+00F3 (decimal 243)
115   defining Unicode char U+00F4 (decimal 244)
116   defining Unicode char U+00F5 (decimal 245)
117   defining Unicode char U+00F6 (decimal 246)
118   defining Unicode char U+00F8 (decimal 248)
119   defining Unicode char U+00F9 (decimal 249)
120   defining Unicode char U+00FA (decimal 250)
121   defining Unicode char U+00FB (decimal 251)
122   defining Unicode char U+00FC (decimal 252)
123   defining Unicode char U+00FD (decimal 253)
124   defining Unicode char U+00FE (decimal 254)
125   defining Unicode char U+00FF (decimal 255)
126   defining Unicode char U+0102 (decimal 258)
127   defining Unicode char U+0103 (decimal 259)
128   defining Unicode char U+0104 (decimal 260)
129   defining Unicode char U+0105 (decimal 261)
130   defining Unicode char U+0106 (decimal 262)
131   defining Unicode char U+0107 (decimal 263)
132   defining Unicode char U+010C (decimal 268)
133   defining Unicode char U+010D (decimal 269)
134   defining Unicode char U+010E (decimal 270)
135   defining Unicode char U+010F (decimal 271)
136   defining Unicode char U+0110 (decimal 272)
137   defining Unicode char U+0111 (decimal 273)
138   defining Unicode char U+0118 (decimal 280)
139   defining Unicode char U+0119 (decimal 281)
140   defining Unicode char U+011A (decimal 282)
141   defining Unicode char U+011B (decimal 283)
142   defining Unicode char U+011E (decimal 286)
143   defining Unicode char U+011F (decimal 287)
144   defining Unicode char U+0130 (decimal 304)
145   defining Unicode char U+0131 (decimal 305)
146   defining Unicode char U+0132 (decimal 306)
147   defining Unicode char U+0133 (decimal 307)
148   defining Unicode char U+0139 (decimal 313)
149   defining Unicode char U+013A (decimal 314)
150   defining Unicode char U+013D (decimal 317)
151   defining Unicode char U+013E (decimal 318)
152   defining Unicode char U+0141 (decimal 321)
153   defining Unicode char U+0142 (decimal 322)
154   defining Unicode char U+0143 (decimal 323)
155   defining Unicode char U+0144 (decimal 324)
156   defining Unicode char U+0147 (decimal 327)
157   defining Unicode char U+0148 (decimal 328)
158   defining Unicode char U+014A (decimal 330)
159   defining Unicode char U+014B (decimal 331)
160   defining Unicode char U+0150 (decimal 336)
161   defining Unicode char U+0151 (decimal 337)
162   defining Unicode char U+0152 (decimal 338)
163   defining Unicode char U+0153 (decimal 339)
164   defining Unicode char U+0154 (decimal 340)
165   defining Unicode char U+0155 (decimal 341)
166   defining Unicode char U+0158 (decimal 344)
167   defining Unicode char U+0159 (decimal 345)
168   defining Unicode char U+015A (decimal 346)
169   defining Unicode char U+015B (decimal 347)
170   defining Unicode char U+015E (decimal 350)
171   defining Unicode char U+015F (decimal 351)
172   defining Unicode char U+0160 (decimal 352)
173   defining Unicode char U+0161 (decimal 353)
174   defining Unicode char U+0162 (decimal 354)
175   defining Unicode char U+0163 (decimal 355)
176   defining Unicode char U+0164 (decimal 356)
177   defining Unicode char U+0165 (decimal 357)
178   defining Unicode char U+016E (decimal 366)
179   defining Unicode char U+016F (decimal 367)
180   defining Unicode char U+0170 (decimal 368)
181   defining Unicode char U+0171 (decimal 369)
182   defining Unicode char U+0178 (decimal 376)
183   defining Unicode char U+0179 (decimal 377)
184   defining Unicode char U+017A (decimal 378)
185   defining Unicode char U+017B (decimal 379)
186   defining Unicode char U+017C (decimal 380)
187   defining Unicode char U+017D (decimal 381)
188   defining Unicode char U+017E (decimal 382)
189   defining Unicode char U+200C (decimal 8204)
190   defining Unicode char U+2013 (decimal 8211)
191   defining Unicode char U+2014 (decimal 8212)
192   defining Unicode char U+2018 (decimal 8216)
193   defining Unicode char U+2019 (decimal 8217)
194   defining Unicode char U+201A (decimal 8218)
195   defining Unicode char U+201C (decimal 8220)
196   defining Unicode char U+201D (decimal 8221)
197   defining Unicode char U+201E (decimal 8222)
198   defining Unicode char U+2030 (decimal 8240)
199   defining Unicode char U+2031 (decimal 8241)
200   defining Unicode char U+2039 (decimal 8249)
201   defining Unicode char U+203A (decimal 8250)
202   defining Unicode char U+2423 (decimal 9251)
203)
204Now handling font encoding OT1 ...
205... processing UTF-8 mapping file for font encoding OT1
206
207(/usr/share/texlive/texmf-dist/tex/latex/base/ot1enc.dfu
208File: ot1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
209   defining Unicode char U+00A1 (decimal 161)
210   defining Unicode char U+00A3 (decimal 163)
211   defining Unicode char U+00B8 (decimal 184)
212   defining Unicode char U+00BF (decimal 191)
213   defining Unicode char U+00C5 (decimal 197)
214   defining Unicode char U+00C6 (decimal 198)
215   defining Unicode char U+00D8 (decimal 216)
216   defining Unicode char U+00DF (decimal 223)
217   defining Unicode char U+00E6 (decimal 230)
218   defining Unicode char U+00EC (decimal 236)
219   defining Unicode char U+00ED (decimal 237)
220   defining Unicode char U+00EE (decimal 238)
221   defining Unicode char U+00EF (decimal 239)
222   defining Unicode char U+00F8 (decimal 248)
223   defining Unicode char U+0131 (decimal 305)
224   defining Unicode char U+0141 (decimal 321)
225   defining Unicode char U+0142 (decimal 322)
226   defining Unicode char U+0152 (decimal 338)
227   defining Unicode char U+0153 (decimal 339)
228   defining Unicode char U+2013 (decimal 8211)
229   defining Unicode char U+2014 (decimal 8212)
230   defining Unicode char U+2018 (decimal 8216)
231   defining Unicode char U+2019 (decimal 8217)
232   defining Unicode char U+201C (decimal 8220)
233   defining Unicode char U+201D (decimal 8221)
234)
235Now handling font encoding OMS ...
236... processing UTF-8 mapping file for font encoding OMS
237
238(/usr/share/texlive/texmf-dist/tex/latex/base/omsenc.dfu
239File: omsenc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
240   defining Unicode char U+00A7 (decimal 167)
241   defining Unicode char U+00B6 (decimal 182)
242   defining Unicode char U+00B7 (decimal 183)
243   defining Unicode char U+2020 (decimal 8224)
244   defining Unicode char U+2021 (decimal 8225)
245   defining Unicode char U+2022 (decimal 8226)
246)
247Now handling font encoding OMX ...
248... no UTF-8 mapping file for font encoding OMX
249Now handling font encoding U ...
250... no UTF-8 mapping file for font encoding U
251   defining Unicode char U+00A9 (decimal 169)
252   defining Unicode char U+00AA (decimal 170)
253   defining Unicode char U+00AE (decimal 174)
254   defining Unicode char U+00BA (decimal 186)
255   defining Unicode char U+02C6 (decimal 710)
256   defining Unicode char U+02DC (decimal 732)
257   defining Unicode char U+200C (decimal 8204)
258   defining Unicode char U+2026 (decimal 8230)
259   defining Unicode char U+2122 (decimal 8482)
260   defining Unicode char U+2423 (decimal 9251)
261))
262(/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty
263Package: fontenc 2005/09/27 v1.99g Standard LaTeX package
264
265(/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def
266File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file
267LaTeX Font Info:    Redeclaring font encoding T1 on input line 43.
268)<<t1.cmap>>)
269(/usr/share/texlive/texmf-dist/tex/latex/lm/lmodern.sty
270Package: lmodern 2009/10/30 v1.6 Latin Modern Fonts
271LaTeX Font Info:    Overwriting symbol font `operators' in version `normal'
272(Font)                  OT1/cmr/m/n --> OT1/lmr/m/n on input line 22.
273LaTeX Font Info:    Overwriting symbol font `letters' in version `normal'
274(Font)                  OML/cmm/m/it --> OML/lmm/m/it on input line 23.
275LaTeX Font Info:    Overwriting symbol font `symbols' in version `normal'
276(Font)                  OMS/cmsy/m/n --> OMS/lmsy/m/n on input line 24.
277LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `normal'
278(Font)                  OMX/cmex/m/n --> OMX/lmex/m/n on input line 25.
279LaTeX Font Info:    Overwriting symbol font `operators' in version `bold'
280(Font)                  OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 26.
281LaTeX Font Info:    Overwriting symbol font `letters' in version `bold'
282(Font)                  OML/cmm/b/it --> OML/lmm/b/it on input line 27.
283LaTeX Font Info:    Overwriting symbol font `symbols' in version `bold'
284(Font)                  OMS/cmsy/b/n --> OMS/lmsy/b/n on input line 28.
285LaTeX Font Info:    Overwriting symbol font `largesymbols' in version `bold'
286(Font)                  OMX/cmex/m/n --> OMX/lmex/m/n on input line 29.
287LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `normal'
288(Font)                  OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 31.
289LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `normal'
290(Font)                  OT1/cmss/m/n --> OT1/lmss/m/n on input line 32.
291LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `normal'
292(Font)                  OT1/cmr/m/it --> OT1/lmr/m/it on input line 33.
293LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `normal'
294(Font)                  OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 34.
295LaTeX Font Info:    Overwriting math alphabet `\mathbf' in version `bold'
296(Font)                  OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 35.
297LaTeX Font Info:    Overwriting math alphabet `\mathsf' in version `bold'
298(Font)                  OT1/cmss/bx/n --> OT1/lmss/bx/n on input line 36.
299LaTeX Font Info:    Overwriting math alphabet `\mathit' in version `bold'
300(Font)                  OT1/cmr/bx/it --> OT1/lmr/bx/it on input line 37.
301LaTeX Font Info:    Overwriting math alphabet `\mathtt' in version `bold'
302(Font)                  OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 38.
303)
304(/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
305Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
306Package textcomp Info: Sub-encoding information:
307(textcomp)               5 = only ISO-Adobe without \textcurrency
308(textcomp)               4 = 5 + \texteuro
309(textcomp)               3 = 4 + \textohm
310(textcomp)               2 = 3 + \textestimated + \textcurrency
311(textcomp)               1 = TS1 - \textcircled - \t
312(textcomp)               0 = TS1 (full)
313(textcomp)             Font families with sub-encoding setting implement
314(textcomp)             only a restricted character set as indicated.
315(textcomp)             Family '?' is the default used for unknown fonts.
316(textcomp)             See the documentation for details.
317Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.
318
319(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def
320File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
321Now handling font encoding TS1 ...
322... processing UTF-8 mapping file for font encoding TS1
323
324(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.dfu
325File: ts1enc.dfu 2008/04/05 v1.1m UTF-8 support for inputenc
326   defining Unicode char U+00A2 (decimal 162)
327   defining Unicode char U+00A3 (decimal 163)
328   defining Unicode char U+00A4 (decimal 164)
329   defining Unicode char U+00A5 (decimal 165)
330   defining Unicode char U+00A6 (decimal 166)
331   defining Unicode char U+00A7 (decimal 167)
332   defining Unicode char U+00A8 (decimal 168)
333   defining Unicode char U+00A9 (decimal 169)
334   defining Unicode char U+00AA (decimal 170)
335   defining Unicode char U+00AC (decimal 172)
336   defining Unicode char U+00AE (decimal 174)
337   defining Unicode char U+00AF (decimal 175)
338   defining Unicode char U+00B0 (decimal 176)
339   defining Unicode char U+00B1 (decimal 177)
340   defining Unicode char U+00B2 (decimal 178)
341   defining Unicode char U+00B3 (decimal 179)
342   defining Unicode char U+00B4 (decimal 180)
343   defining Unicode char U+00B5 (decimal 181)
344   defining Unicode char U+00B6 (decimal 182)
345   defining Unicode char U+00B7 (decimal 183)
346   defining Unicode char U+00B9 (decimal 185)
347   defining Unicode char U+00BA (decimal 186)
348   defining Unicode char U+00BC (decimal 188)
349   defining Unicode char U+00BD (decimal 189)
350   defining Unicode char U+00BE (decimal 190)
351   defining Unicode char U+00D7 (decimal 215)
352   defining Unicode char U+00F7 (decimal 247)
353   defining Unicode char U+0192 (decimal 402)
354   defining Unicode char U+02C7 (decimal 711)
355   defining Unicode char U+02D8 (decimal 728)
356   defining Unicode char U+02DD (decimal 733)
357   defining Unicode char U+0E3F (decimal 3647)
358   defining Unicode char U+2016 (decimal 8214)
359   defining Unicode char U+2020 (decimal 8224)
360   defining Unicode char U+2021 (decimal 8225)
361   defining Unicode char U+2022 (decimal 8226)
362   defining Unicode char U+2030 (decimal 8240)
363   defining Unicode char U+2031 (decimal 8241)
364   defining Unicode char U+203B (decimal 8251)
365   defining Unicode char U+203D (decimal 8253)
366   defining Unicode char U+2044 (decimal 8260)
367   defining Unicode char U+204E (decimal 8270)
368   defining Unicode char U+2052 (decimal 8274)
369   defining Unicode char U+20A1 (decimal 8353)
370   defining Unicode char U+20A4 (decimal 8356)
371   defining Unicode char U+20A6 (decimal 8358)
372   defining Unicode char U+20A9 (decimal 8361)
373   defining Unicode char U+20AB (decimal 8363)
374   defining Unicode char U+20AC (decimal 8364)
375   defining Unicode char U+20B1 (decimal 8369)
376   defining Unicode char U+2103 (decimal 8451)
377   defining Unicode char U+2116 (decimal 8470)
378   defining Unicode char U+2117 (decimal 8471)
379   defining Unicode char U+211E (decimal 8478)
380   defining Unicode char U+2120 (decimal 8480)
381   defining Unicode char U+2122 (decimal 8482)
382   defining Unicode char U+2126 (decimal 8486)
383   defining Unicode char U+2127 (decimal 8487)
384   defining Unicode char U+212E (decimal 8494)
385   defining Unicode char U+2190 (decimal 8592)
386   defining Unicode char U+2191 (decimal 8593)
387   defining Unicode char U+2192 (decimal 8594)
388   defining Unicode char U+2193 (decimal 8595)
389   defining Unicode char U+2329 (decimal 9001)
390   defining Unicode char U+232A (decimal 9002)
391   defining Unicode char U+2422 (decimal 9250)
392   defining Unicode char U+25E6 (decimal 9702)
393   defining Unicode char U+25EF (decimal 9711)
394   defining Unicode char U+266A (decimal 9834)
395))
396LaTeX Info: Redefining \oldstylenums on input line 266.
397Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
398Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
399Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
400Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
401Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
402Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
403Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
404Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
405Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
406Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
407Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
408Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
409Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
410Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
411Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
412Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
413Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
414Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
415Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
416Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
417Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
418Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
419Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
420Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.
421
422Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
423Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
424Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
425Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
426Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
427Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
428Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311.
429Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312.
430Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313.
431Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314.
432Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315.
433Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316.
434Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317.
435Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318.
436Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319.
437Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320.
438Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321.
439Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322.
440Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323.
441Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324.
442Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325.
443Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326.
444Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327.
445Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328.
446Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329.
447Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330.
448Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331.
449Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332.
450Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333.
451Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334.
452Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335.
453Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336.
454Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337.
455Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338.
456Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339.
457Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340.
458)
459(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
460Package: amsmath 2000/07/18 v2.13 AMS math features
461\@mathmargin=\skip43
462
463For additional information on amsmath, use the `?' option.
464(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty
465Package: amstext 2000/06/29 v2.01
466
467(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
468File: amsgen.sty 1999/11/30 v2.0
469\@emptytoks=\toks16
470\ex@=\dimen103
471))
472(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
473Package: amsbsy 1999/11/29 v1.2d
474\pmbraise@=\dimen104
475)
476(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
477Package: amsopn 1999/12/14 v2.01 operator names
478)
479\inf@bad=\count87
480LaTeX Info: Redefining \frac on input line 211.
481\uproot@=\count88
482\leftroot@=\count89
483LaTeX Info: Redefining \overline on input line 307.
484\classnum@=\count90
485\DOTSCASE@=\count91
486LaTeX Info: Redefining \ldots on input line 379.
487LaTeX Info: Redefining \dots on input line 382.
488LaTeX Info: Redefining \cdots on input line 467.
489\Mathstrutbox@=\box26
490\strutbox@=\box27
491\big@size=\dimen105
492LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
493LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
494\macc@depth=\count92
495\c@MaxMatrixCols=\count93
496\dotsspace@=\muskip10
497\c@parentequation=\count94
498\dspbrk@lvl=\count95
499\tag@help=\toks17
500\row@=\count96
501\column@=\count97
502\maxfields@=\count98
503\andhelp@=\toks18
504\eqnshift@=\dimen106
505\alignsep@=\dimen107
506\tagshift@=\dimen108
507\tagwidth@=\dimen109
508\totwidth@=\dimen110
509\lineht@=\dimen111
510\@envbody=\toks19
511\multlinegap=\skip44
512\multlinetaggap=\skip45
513\mathdisplay@stack=\toks20
514LaTeX Info: Redefining \[ on input line 2666.
515LaTeX Info: Redefining \] on input line 2667.
516)
517(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty
518Package: amssymb 2009/06/22 v3.00
519
520(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty
521Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support
522\symAMSa=\mathgroup4
523\symAMSb=\mathgroup5
524LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
525(Font)                  U/euf/m/n --> U/euf/b/n on input line 96.
526))
527(/usr/share/texlive/texmf-dist/tex/latex/bbm-macros/bbm.sty
528Package: bbm 1999/03/15 V 1.2 provides fonts for set symbols - TH
529LaTeX Font Info:    Overwriting math alphabet `\mathbbm' in version `bold'
530(Font)                  U/bbm/m/n --> U/bbm/bx/n on input line 33.
531LaTeX Font Info:    Overwriting math alphabet `\mathbbmss' in version `bold'
532(Font)                  U/bbmss/m/n --> U/bbmss/bx/n on input line 35.
533) (./bbold.sty
534Package: bbold 1994/04/06 Bbold symbol package
535LaTeX Font Info:    Redeclaring math alphabet \mathbb on input line 42.
536)
537(/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty
538Package: amsthm 2009/07/02 v2.20.1
539\thm@style=\toks21
540\thm@bodyfont=\toks22
541\thm@headfont=\toks23
542\thm@notefont=\toks24
543\thm@headpunct=\toks25
544\thm@preskip=\skip46
545\thm@postskip=\skip47
546\thm@headsep=\skip48
547\dth@everypar=\toks26
548)
549(/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty
550Package: array 2008/09/09 v2.4c Tabular extension package (FMi)
551\col@sep=\dimen112
552\extrarowheight=\dimen113
553\NC@list=\toks27
554\extratabsurround=\skip49
555\backup@length=\skip50
556)
557(/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty
558Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
559\every@verbatim=\toks28
560\verbatim@line=\toks29
561\verbatim@in@stream=\read1
562)
563(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
564Package: hyperref 2011/10/01 v6.82j Hypertext links for LaTeX
565
566(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
567Package: hobsub-hyperref 2011/04/23 v1.4 Bundle oberdiek, subset hyperref (HO)
568
569(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
570Package: hobsub-generic 2011/04/23 v1.4 Bundle oberdiek, subset generic (HO)
571Package: hobsub 2011/04/23 v1.4 Subsetting bundle oberdiek (HO)
572Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO)
573Package: ltxcmds 2011/04/18 v1.20 LaTeX kernel commands for general use (HO)
574Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
575Package ifluatex Info: LuaTeX not detected.
576Package: ifvtex 2010/03/01 v1.5 Switches for detecting VTeX and its modes (HO)
577Package ifvtex Info: VTeX not detected.
578Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO)
579Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
580Package ifpdf Info: pdfTeX in PDF mode is detected.
581Package: etexcmds 2011/02/16 v1.5 Prefix for e-TeX command names (HO)
582Package etexcmds Info: Could not find \expanded.
583(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
584(etexcmds)             that some package has redefined \expanded.
585(etexcmds)             In the latter case, load this package earlier.
586Package: kvsetkeys 2011/04/07 v1.13 Key value parser (HO)
587Package: kvdefinekeys 2011/04/07 v1.3 Defining keys (HO)
588Package: pdftexcmds 2011/04/22 v0.16 Utilities of pdfTeX for LuaTeX (HO)
589Package pdftexcmds Info: LuaTeX not detected.
590Package pdftexcmds Info: \pdf@primitive is available.
591Package pdftexcmds Info: \pdf@ifprimitive is available.
592Package pdftexcmds Info: \pdfdraftmode found.
593Package: pdfescape 2011/04/04 v1.12 Provides string conversions (HO)
594Package: bigintcalc 2011/01/30 v1.2 Expandable big integer calculations (HO)
595Package: bitset 2011/01/30 v1.1 Data type bit set (HO)
596Package: uniquecounter 2011/01/30 v1.2 Provides unlimited unique counter (HO)
597)
598Package hobsub Info: Skipping package `hobsub' (already loaded).
599Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
600Package: hopatch 2011/01/30 v1.0 Wrapper for package hooks (HO)
601Package: xcolor-patch 2011/01/30 xcolor patch
602Package: atveryend 2011/04/23 v1.7 Hooks at very end of document (HO)
603Package: atbegshi 2011/01/30 v1.15 At begin shipout hook (HO)
604Package: refcount 2010/12/01 v3.2 Data extraction from references (HO)
605Package: hycolor 2011/01/30 v1.7 Color options of hyperref/bookmark (HO)
606)
607(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
608Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
609\KV@toks@=\toks30
610)
611(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
612Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
613)
614(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
615Package: kvoptions 2010/12/23 v3.10 Keyval support for LaTeX options (HO)
616)
617\@linkdim=\dimen114
618\Hy@linkcounter=\count99
619\Hy@pagecounter=\count100
620
621(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
622File: pd1enc.def 2011/10/01 v6.82j Hyperref: PDFDocEncoding definition (HO)
623Now handling font encoding PD1 ...
624... no UTF-8 mapping file for font encoding PD1
625)
626\Hy@SavedSpaceFactor=\count101
627
628(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
629File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
630)
631Package hyperref Info: Hyper figures OFF on input line 4046.
632Package hyperref Info: Link nesting OFF on input line 4051.
633Package hyperref Info: Hyper index ON on input line 4054.
634Package hyperref Info: Plain pages OFF on input line 4061.
635Package hyperref Info: Backreferencing OFF on input line 4066.
636Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
637Package hyperref Info: Bookmarks ON on input line 4284.
638\c@Hy@tempcnt=\count102
639
640(/usr/share/texlive/texmf-dist/tex/latex/url/url.sty
641\Urlmuskip=\muskip11
642Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
643)
644LaTeX Info: Redefining \url on input line 4637.
645\Fld@menulength=\count103
646\Field@Width=\dimen115
647\Fld@charsize=\dimen116
648Package hyperref Info: Hyper figures OFF on input line 5723.
649Package hyperref Info: Link nesting OFF on input line 5728.
650Package hyperref Info: Hyper index ON on input line 5731.
651Package hyperref Info: backreferencing OFF on input line 5738.
652Package hyperref Info: Link coloring OFF on input line 5743.
653Package hyperref Info: Link coloring with OCG OFF on input line 5748.
654Package hyperref Info: PDF/A mode OFF on input line 5753.
655LaTeX Info: Redefining \ref on input line 5793.
656LaTeX Info: Redefining \pageref on input line 5797.
657\Hy@abspage=\count104
658\c@Item=\count105
659\c@Hfootnote=\count106
660)
661
662Package hyperref Message: Driver (autodetected): hpdftex.
663
664(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
665File: hpdftex.def 2011/10/01 v6.82j Hyperref driver for pdfTeX
666\Fld@listcount=\count107
667\c@bookmark@seq@number=\count108
668
669(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
670Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
671Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
67282.
673)
674\Hy@SectionHShift=\skip51
675)
676(/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty
677Package: booktabs 2005/04/14 v1.61803 publication quality tables
678\heavyrulewidth=\dimen117
679\lightrulewidth=\dimen118
680\cmidrulewidth=\dimen119
681\belowrulesep=\dimen120
682\belowbottomsep=\dimen121
683\aboverulesep=\dimen122
684\abovetopsep=\dimen123
685\cmidrulesep=\dimen124
686\cmidrulekern=\dimen125
687\defaultaddspace=\dimen126
688\@cmidla=\count109
689\@cmidlb=\count110
690\@aboverulesep=\dimen127
691\@belowrulesep=\dimen128
692\@thisruleclass=\count111
693\@lastruleclass=\count112
694\@thisrulewidth=\dimen129
695)
696(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
697Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
698
699(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
700Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)
701
702(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
703Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
704)
705(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
706File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
707)
708Package graphics Info: Driver file: pdftex.def on input line 91.
709
710(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
711File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX
712\Gread@gobject=\count113
713))
714\Gin@req@height=\dimen130
715\Gin@req@width=\dimen131
716)
717(/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty
718(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty
719(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty
720(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex
721\pgfutil@everybye=\toks31
722)
723(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def
724\pgfutil@abb=\box28
725
726(/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty
727Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS)
728))
729(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex
730Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24)
731))
732Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12)
733
734(/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty
735(/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty
736(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex
737Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37)
738
739(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex
740\pgfkeys@pathtoks=\toks32
741\pgfkeys@temptoks=\toks33
742
743(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t
744ex
745\pgfkeys@tmptoks=\toks34
746))
747\pgf@x=\dimen132
748\pgf@y=\dimen133
749\pgf@xa=\dimen134
750\pgf@ya=\dimen135
751\pgf@xb=\dimen136
752\pgf@yb=\dimen137
753\pgf@xc=\dimen138
754\pgf@yc=\dimen139
755\w@pgf@writea=\write3
756\r@pgf@reada=\read2
757\c@pgf@counta=\count114
758\c@pgf@countb=\count115
759\c@pgf@countc=\count116
760\c@pgf@countd=\count117
761 (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg
762File: pgf.cfg 2008/05/14  (rcs-revision 1.7)
763)
764Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900.
765
766(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def
767File: pgfsys-pdftex.def 2009/05/22  (rcs-revision 1.26)
768
769(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de
770f
771File: pgfsys-common-pdf.def 2008/05/19  (rcs-revision 1.10)
772)))
773(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code.
774tex
775File: pgfsyssoftpath.code.tex 2008/07/18  (rcs-revision 1.7)
776\pgfsyssoftpath@smallbuffer@items=\count118
777\pgfsyssoftpath@bigbuffer@items=\count119
778)
779(/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code.
780tex
781File: pgfsysprotocol.code.tex 2006/10/16  (rcs-revision 1.4)
782)) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty
783Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK)
784
785(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg
786File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive
787)
788Package xcolor Info: Driver file: pdftex.def on input line 225.
789Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337.
790Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341.
791Package xcolor Info: Model `RGB' extended on input line 1353.
792Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355.
793Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356.
794Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357.
795Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358.
796Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359.
797Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360.
798)
799(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex
800Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7)
801
802(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex
803(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex
804(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex)
805(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex
806\pgfmath@dimen=\dimen140
807\pgfmath@count=\count120
808\pgfmath@box=\box29
809\pgfmath@toks=\toks35
810\pgfmath@stack@operand=\toks36
811\pgfmath@stack@operation=\toks37
812)
813(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex
814(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code
815.tex)
816(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet
817ric.code.tex)
818(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod
819e.tex)
820(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison
821.code.tex)
822(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code.
823tex)
824(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code
825.tex)
826(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code.
827tex)))
828(/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex
829\c@pgfmathroundto@lastzeros=\count121
830))
831(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te
832x
833File: pgfcorepoints.code.tex 2010/04/09  (rcs-revision 1.20)
834\pgf@picminx=\dimen141
835\pgf@picmaxx=\dimen142
836\pgf@picminy=\dimen143
837\pgf@picmaxy=\dimen144
838\pgf@pathminx=\dimen145
839\pgf@pathmaxx=\dimen146
840\pgf@pathminy=\dimen147
841\pgf@pathmaxy=\dimen148
842\pgf@xx=\dimen149
843\pgf@xy=\dimen150
844\pgf@yx=\dimen151
845\pgf@yy=\dimen152
846\pgf@zx=\dimen153
847\pgf@zy=\dimen154
848)
849(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct.
850code.tex
851File: pgfcorepathconstruct.code.tex 2010/08/03  (rcs-revision 1.24)
852\pgf@path@lastx=\dimen155
853\pgf@path@lasty=\dimen156
854)
855(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code
856.tex
857File: pgfcorepathusage.code.tex 2008/04/22  (rcs-revision 1.12)
858\pgf@shorten@end@additional=\dimen157
859\pgf@shorten@start@additional=\dimen158
860)
861(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te
862x
863File: pgfcorescopes.code.tex 2010/09/08  (rcs-revision 1.34)
864\pgfpic=\box30
865\pgf@hbox=\box31
866\pgf@layerbox@main=\box32
867\pgf@picture@serial@count=\count122
868)
869(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c
870ode.tex
871File: pgfcoregraphicstate.code.tex 2008/04/22  (rcs-revision 1.9)
872\pgflinewidth=\dimen159
873)
874(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation
875s.code.tex
876File: pgfcoretransformations.code.tex 2009/06/10  (rcs-revision 1.11)
877\pgf@pt@x=\dimen160
878\pgf@pt@y=\dimen161
879\pgf@pt@temp=\dimen162
880)
881(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex
882File: pgfcorequick.code.tex 2008/10/09  (rcs-revision 1.3)
883)
884(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t
885ex
886File: pgfcoreobjects.code.tex 2006/10/11  (rcs-revision 1.2)
887)
888(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing
889.code.tex
890File: pgfcorepathprocessing.code.tex 2008/10/09  (rcs-revision 1.8)
891)
892(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te
893x
894File: pgfcorearrows.code.tex 2008/04/23  (rcs-revision 1.11)
895)
896(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex
897File: pgfcoreshade.code.tex 2008/11/23  (rcs-revision 1.13)
898\pgf@max=\dimen163
899\pgf@sys@shading@range@num=\count123
900)
901(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex
902File: pgfcoreimage.code.tex 2010/03/25  (rcs-revision 1.16)
903
904(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code.
905tex
906File: pgfcoreexternal.code.tex 2010/09/01  (rcs-revision 1.17)
907\pgfexternal@startupbox=\box33
908))
909(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te
910x
911File: pgfcorelayers.code.tex 2010/08/27  (rcs-revision 1.2)
912)
913(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c
914ode.tex
915File: pgfcoretransparency.code.tex 2008/01/17  (rcs-revision 1.2)
916)
917(/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code.
918tex
919File: pgfcorepatterns.code.tex 2009/07/02  (rcs-revision 1.3)
920)))
921(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex
922File: pgfmoduleshapes.code.tex 2010/09/09  (rcs-revision 1.13)
923\pgfnodeparttextbox=\box34
924) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex
925File: pgfmoduleplot.code.tex 2010/10/22  (rcs-revision 1.8)
926)
927(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65
928.sty
929Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7)
930\pgf@nodesepstart=\dimen164
931\pgf@nodesepend=\dimen165
932)
933(/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18
934.sty
935Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1)
936)) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty
937(/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty
938(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex))
939(/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex
940Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18)
941\pgffor@iter=\dimen166
942\pgffor@skip=\dimen167
943\pgffor@stack=\toks38
944\pgffor@toks=\toks39
945))
946(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex
947Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76)
948
949(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers
950.code.tex
951File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15)
952\pgf@plot@mark@count=\count124
953\pgfplotmarksize=\dimen168
954)
955\tikz@lastx=\dimen169
956\tikz@lasty=\dimen170
957\tikz@lastxsaved=\dimen171
958\tikz@lastysaved=\dimen172
959\tikzleveldistance=\dimen173
960\tikzsiblingdistance=\dimen174
961\tikz@figbox=\box35
962\tikz@tempbox=\box36
963\tikztreelevel=\count125
964\tikznumberofchildren=\count126
965\tikznumberofcurrentchild=\count127
966\tikz@fig@count=\count128
967
968(/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex
969File: pgfmodulematrix.code.tex 2010/08/24  (rcs-revision 1.4)
970\pgfmatrixcurrentrow=\count129
971\pgfmatrixcurrentcolumn=\count130
972\pgf@matrix@numberofcolumns=\count131
973)
974\tikz@expandcount=\count132
975
976(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
977zlibrarytopaths.code.tex
978File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2)
979)))
980(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
981zlibraryarrows.code.tex
982File: tikzlibraryarrows.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
983
984(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code.
985tex
986File: pgflibraryarrows.code.tex 2008/10/27 v2.10 (rcs-revision 1.9)
987\arrowsize=\dimen175
988))
989(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
990zlibraryautomata.code.tex
991File: tikzlibraryautomata.code.tex 2008/07/14 v2.10 (rcs-revision 1.3)
992
993(/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik
994zlibraryshapes.multipart.code.tex
995File: tikzlibraryshapes.multipart.code.tex 2008/01/09 v2.10 (rcs-revision 1.1)
996
997(/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshape
998s.multipart.code.tex
999File: pgflibraryshapes.multipart.code.tex 2010/01/07 v2.10 (rcs-revision 1.2)
1000\pgfnodepartlowerbox=\box37
1001\pgfnodeparttwobox=\box38
1002\pgfnodepartthreebox=\box39
1003\pgfnodepartfourbox=\box40
1004\pgfnodeparttwentybox=\box41
1005\pgfnodepartnineteenbox=\box42
1006\pgfnodeparteighteenbox=\box43
1007\pgfnodepartseventeenbox=\box44
1008\pgfnodepartsixteenbox=\box45
1009\pgfnodepartfifteenbox=\box46
1010\pgfnodepartfourteenbox=\box47
1011\pgfnodepartthirteenbox=\box48
1012\pgfnodeparttwelvebox=\box49
1013\pgfnodepartelevenbox=\box50
1014\pgfnodeparttenbox=\box51
1015\pgfnodepartninebox=\box52
1016\pgfnodeparteightbox=\box53
1017\pgfnodepartsevenbox=\box54
1018\pgfnodepartsixbox=\box55
1019\pgfnodepartfivebox=\box56
1020)))
1021(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty
1022Package: babel 2008/07/08 v3.8m The Babel package
1023
1024(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf
1025Language: frenchb 2009/03/16 v2.3d French support from the babel system
1026
1027(/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def
1028File: babel.def 2008/07/08 v3.8m Babel common definitions
1029\babel@savecnt=\count133
1030\U@D=\dimen176
1031)
1032Package babel Info: Making : an active character on input line 120.
1033Package babel Info: Making ; an active character on input line 121.
1034Package babel Info: Making ! an active character on input line 122.
1035Package babel Info: Making ? an active character on input line 123.
1036\FB@Mht=\dimen177
1037\std@mcc=\count134
1038\dec@mcc=\count135
1039\parindentFFN=\dimen178
1040
1041*************************************
1042* Local config file frenchb.cfg used
1043*
1044(/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.cfg))
1045(/usr/share/texlive/texmf-dist/tex/generic/babel/english.ldf
1046Language: english 2005/03/30 v3.3o English support from the babel system
1047\l@canadian = a dialect from \language\l@american
1048\l@australian = a dialect from \language\l@british
1049\l@newzealand = a dialect from \language\l@british
1050))
1051(/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty)
1052(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.sty
1053Package: microtype 2010/01/10 v2.4 Micro-typography with pdfTeX (RS)
1054\MT@toks=\toks40
1055\MT@count=\count136
1056LaTeX Info: Redefining \lsstyle on input line 1597.
1057LaTeX Info: Redefining \lslig on input line 1597.
1058\MT@outer@space=\skip52
1059LaTeX Info: Redefining \textls on input line 1605.
1060\MT@outer@kern=\dimen179
1061LaTeX Info: Redefining \textmicrotypecontext on input line 2156.
1062Package microtype Info: Loading configuration file microtype.cfg.
1063
1064(/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.cfg
1065File: microtype.cfg 2010/01/10 v2.4 microtype main configuration file (RS)
1066))
1067\c@definition=\count137
1068\c@property=\count138
1069
1070(./FDL2012.aux
1071
1072LaTeX Warning: Label `AKSNegCex' multiply defined.
1073
1074)
1075\openout1 = `FDL2012.aux'.
1076
1077LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 38.
1078LaTeX Font Info:    ... okay on input line 38.
1079LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 38.
1080LaTeX Font Info:    ... okay on input line 38.
1081LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 38.
1082LaTeX Font Info:    ... okay on input line 38.
1083LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 38.
1084LaTeX Font Info:    ... okay on input line 38.
1085LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 38.
1086LaTeX Font Info:    ... okay on input line 38.
1087LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 38.
1088LaTeX Font Info:    ... okay on input line 38.
1089LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 38.
1090LaTeX Font Info:    Try loading font information for TS1+cmr on input line 38.
1091 (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
1092File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
1093)
1094LaTeX Font Info:    ... okay on input line 38.
1095LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 38.
1096LaTeX Font Info:    ... okay on input line 38.
1097LaTeX Font Info:    Try loading font information for T1+lmr on input line 38.
1098
1099(/usr/share/texlive/texmf-dist/tex/latex/lm/t1lmr.fd
1100File: t1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
1101)
1102\AtBeginShipoutBox=\box57
1103Package hyperref Info: Link coloring OFF on input line 38.
1104
1105(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
1106Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section
1107
1108(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
1109Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
1110)
1111\c@section@level=\count139
1112)
1113LaTeX Info: Redefining \ref on input line 38.
1114LaTeX Info: Redefining \pageref on input line 38.
1115LaTeX Info: Redefining \nameref on input line 38.
1116
1117(./FDL2012.out) (./FDL2012.out)
1118\@outlinefile=\write4
1119\openout4 = `FDL2012.out'.
1120
1121
1122(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
1123[Loading MPS to PDF converter (version 2006.09.02).]
1124\scratchcounter=\count140
1125\scratchdimen=\dimen180
1126\scratchbox=\box58
1127\nofMPsegments=\count141
1128\nofMParguments=\count142
1129\everyMPshowfont=\toks41
1130\MPscratchCnt=\count143
1131\MPscratchDim=\dimen181
1132\MPnumerator=\count144
1133\makeMPintoPDFobject=\count145
1134\everyMPtoPDFconversion=\toks42
1135) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
1136Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf
1137
1138(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
1139Package: grfext 2010/08/19 v1.1 Managing graphics extensions (HO)
1140)
1141Package grfext Info: Graphics extension search list:
1142(grfext)             [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
1143G,.JBIG2,.JB2,.eps]
1144(grfext)             \AppendGraphicsExtensions on input line 452.
1145
1146(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg
1147File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
1148e
1149))
1150ABD: EveryShipout initializing macros
1151LaTeX Info: Redefining \degres on input line 38.
1152
1153
1154Package frenchb.ldf Warning: The definition of \@makecaption has been changed,
1155(frenchb.ldf)                frenchb will NOT customise it;
1156(frenchb.ldf)                reported on input line 38.
1157
1158LaTeX Info: Redefining \dots on input line 38.
1159LaTeX Info: Redefining \up on input line 38.
1160LaTeX Info: Redefining \microtypecontext on input line 38.
1161Package microtype Info: Generating PDF output.
1162Package microtype Info: Character protrusion enabled (level 2).
1163Package microtype Info: Using default protrusion set `alltext'.
1164Package microtype Info: Automatic font expansion enabled (level 2),
1165(microtype)             stretch: 20, shrink: 20, step: 1, non-selected.
1166Package microtype Info: Using default expansion set `basictext'.
1167Package microtype Info: No tracking.
1168Package microtype Info: No adjustment of interword spacing.
1169Package microtype Info: Adjustment of character kerning enabled.
1170Package microtype Info: Using default kerning set `alltext'.
1171Package microtype Info: Redefining babel's language switching commands.
1172Package microtype Info: Switching off French babel's active characters (:;!?).
1173(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-cmr.cfg
1174File: mt-cmr.cfg 2009/11/09 v2.0 microtype config. file: Computer Modern Roman
1175(RS)
1176)
1177LaTeX Font Info:    Try loading font information for OT1+lmr on input line 42.
1178
1179(/usr/share/texlive/texmf-dist/tex/latex/lm/ot1lmr.fd
1180File: ot1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
1181)<<ot1.cmap>>
1182LaTeX Font Info:    Try loading font information for OML+lmm on input line 42.
1183
1184(/usr/share/texlive/texmf-dist/tex/latex/lm/omllmm.fd
1185File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern
1186)
1187LaTeX Font Info:    Try loading font information for OMS+lmsy on input line 42.
1188
1189
1190(/usr/share/texlive/texmf-dist/tex/latex/lm/omslmsy.fd
1191File: omslmsy.fd 2009/10/30 v1.6 Font defs for Latin Modern
1192)
1193LaTeX Font Info:    Try loading font information for OMX+lmex on input line 42.
1194
1195
1196(/usr/share/texlive/texmf-dist/tex/latex/lm/omxlmex.fd
1197File: omxlmex.fd 2009/10/30 v1.6 Font defs for Latin Modern
1198)
1199LaTeX Font Info:    External font `lmex10' loaded for size
1200(Font)              <12> on input line 42.
1201LaTeX Font Info:    External font `lmex10' loaded for size
1202(Font)              <8> on input line 42.
1203LaTeX Font Info:    External font `lmex10' loaded for size
1204(Font)              <6> on input line 42.
1205LaTeX Font Info:    Try loading font information for U+msa on input line 42.
1206
1207(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
1208File: umsa.fd 2009/06/22 v3.00 AMS symbols A
1209)
1210(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msa.cfg
1211File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS)
1212)
1213LaTeX Font Info:    Try loading font information for U+msb on input line 42.
1214
1215(/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
1216File: umsb.fd 2009/06/22 v3.00 AMS symbols B
1217)
1218(/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msb.cfg
1219File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS)
1220)
1221LaTeX Font Info:    External font `lmex10' loaded for size
1222(Font)              <10> on input line 73.
1223LaTeX Font Info:    External font `lmex10' loaded for size
1224(Font)              <7> on input line 73.
1225LaTeX Font Info:    External font `lmex10' loaded for size
1226(Font)              <5> on input line 73.
1227
1228
1229LaTeX Warning: Citation `GrumbergLong91assume_guarantee' on page 1 undefined on
1230 input line 73.
1231
1232
1233LaTeX Warning: Citation `HQR98assume_guarantee' on page 1 undefined on input li
1234ne 73.
1235
1236[1{/usr/share/texlive/texmf/fonts/map/pdftex/updmap/pdftex.map}
1237
1238
1239
1240]
1241
1242LaTeX Warning: Citation `GrafSaidi97abstract_construct' on page 2 undefined on
1243input line 77.
1244
1245
1246LaTeX Warning: Citation `clarke00cegar' on page 2 undefined on input line 80.
1247
1248
1249Overfull \hbox (1.1072pt too wide) in paragraph at lines 80--81
1250[]\T1/lmr/m/n/10 (-20) A few years later, an in-ter-est-ing abstraction-refinem
1251ent
1252 []
1253
1254
1255LaTeX Warning: Citation `XieBrowne03composition_soft' on page 2 undefined on in
1256put line 82.
1257
1258
1259LaTeX Warning: Citation `PMT02compositional_MC' on page 2 undefined on input li
1260ne 85.
1261
1262
1263LaTeX Warning: Citation `SNBE06property_based' on page 2 undefined on input lin
1264e 89.
1265
1266
1267LaTeX Warning: Citation `microsoft04SLAM' on page 2 undefined on input line 92.
1268
1269
1270
1271LaTeX Warning: Citation `berkeley07BLAST' on page 2 undefined on input line 92.
1272
1273
1274
1275LaTeX Warning: Citation `Kroening_al07vcegar' on page 2 undefined on input line
1276 92.
1277
1278
1279LaTeX Warning: Citation `pwk2009-date' on page 2 undefined on input line 95.
1280
1281
1282LaTeX Warning: Citation `Kunz_al11ipc_abs' on page 2 undefined on input line 95
1283.
1284
1285
1286LaTeX Warning: Citation `braunstein07ctl_abstraction' on page 2 undefined on in
1287put line 98.
1288
1289
1290LaTeX Warning: Citation `bara08abs_composant' on page 2 undefined on input line
1291 98.
1292
1293
1294LaTeX Warning: Citation `clarke00cegar' on page 2 undefined on input line 104.
1295
1296
1297LaTeX Warning: Citation `braunstein07ctl_abstraction' on page 2 undefined on in
1298put line 108.
1299
1300LaTeX Font Info:    Try loading font information for TS1+lmr on input line 114.
1301
1302(/usr/share/texlive/texmf-dist/tex/latex/lm/ts1lmr.fd
1303File: ts1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern
1304) [2]
1305LaTeX Font Info:    Try loading font information for U+bbold on input line 144.
1306
1307 (./Ubbold.fd)
1308<our_CEGAR_Loop_Enhanced_2S_PNG.png, id=88, 238.64156pt x 119.69719pt>
1309File: our_CEGAR_Loop_Enhanced_2S_PNG.png Graphic file (type png)
1310
1311<use our_CEGAR_Loop_Enhanced_2S_PNG.png>
1312Package pdftex.def Info: our_CEGAR_Loop_Enhanced_2S_PNG.png used on input line
1313182.
1314(pdftex.def)             Requested size: 238.64096pt x 119.69688pt.
1315
1316
1317LaTeX Warning: Citation `braunstein07ctl_abstraction' on page 3 undefined on in
1318put line 190.
1319
1320
1321LaTeX Warning: Citation `bara08abs_composant' on page 3 undefined on input line
1322 190.
1323
1324
1325LaTeX Warning: Citation `ucberkeley96vis' on page 3 undefined on input line 192
1326.
1327
1328[3 <./our_CEGAR_Loop_Enhanced_2S_PNG.png>]
1329Underfull \hbox (badness 10000) in paragraph at lines 224--230
1330
1331 []
1332
1333
1334Underfull \hbox (badness 10000) in paragraph at lines 224--230
1335
1336 []
1337
1338
1339Underfull \hbox (badness 10000) in paragraph at lines 224--230
1340
1341 []
1342
1343
1344Underfull \hbox (badness 10000) in paragraph at lines 238--241
1345
1346 []
1347
1348
1349Underfull \hbox (badness 10000) in paragraph at lines 238--241
1350
1351 []
1352
1353
1354Overfull \hbox (0.81122pt too wide) in paragraph at lines 244--245
1355[]\T1/lmr/m/it/10 (-20) If $\OMS/lmsy/m/n/10 8\OML/lmm/m/it/10 k$ \T1/lmr/m/it/
135610 (-20) we have $[] \OMS/lmsy/m/n/10 ^^R \OML/lmm/m/it/10 V[]$ \T1/lmr/m/it/10
1357 (-20) and $\OMS/lmsy/m/n/10 8\OML/lmm/m/it/10 v[] \OMS/lmsy/m/n/10 2 []\OML/lm
1358m/m/it/10 ;  s[]\OMS/lmsy/m/n/10 j[] \OT1/lmr/m/n/10 (-20) =
1359 []
1360
1361
1362Overfull \hbox (3.01537pt too wide) in paragraph at lines 261--264
1363\OML/lmm/m/it/10 max\OT1/lmr/m/n/10 (-20) (\OML/lmm/m/it/10 depth\OT1/lmr/m/n/1
13640 (-20) (\OML/lmm/m/it/10 Gv[]\OT1/lmr/m/n/10 (-20) )\OML/lmm/m/it/10 ; depth\O
1365T1/lmr/m/n/10 (-20) (\OML/lmm/m/it/10 Gv[]\OT1/lmr/m/n/10 (-20) )\OML/lmm/m/it/
136610 ; :::; depth\OT1/lmr/m/n/10 (-20) (\OML/lmm/m/it/10 Gv[]\OT1/lmr/m/n/10 (-20
1367) )\OML/lmm/m/it/10 ; :::;$
1368 []
1369
1370[4]
1371Underfull \hbox (badness 10000) in paragraph at lines 296--297
1372
1373 []
1374
1375<Dependency_graph_weight_PNG.png, id=118, 112.16907pt x 167.12437pt>
1376File: Dependency_graph_weight_PNG.png Graphic file (type png)
1377
1378<use Dependency_graph_weight_PNG.png>
1379Package pdftex.def Info: Dependency_graph_weight_PNG.png used on input line 319
1380.
1381(pdftex.def)             Requested size: 112.16878pt x 167.12395pt.
1382
1383Underfull \hbox (badness 10000) in paragraph at lines 344--345
1384
1385 []
1386
1387[5 <./Dependency_graph_weight_PNG.png>]
1388Overfull \hbox (11.93875pt too wide) in paragraph at lines 357--358
1389[]$\OML/lmm/m/it/10 S[] \OT1/lmr/m/n/10 (-20) = \OMS/lmsy/m/n/10 f\OML/lmm/m/it
1390/10 s[]; s[]; s[]; :::; s[]; s[]; :::; s[]\OMS/lmsy/m/n/10 g$
1391 []
1392
1393<K_sigma_i_S_PNG.png, id=126, 33.12375pt x 213.79875pt>
1394File: K_sigma_i_S_PNG.png Graphic file (type png)
1395
1396<use K_sigma_i_S_PNG.png>
1397Package pdftex.def Info: K_sigma_i_S_PNG.png used on input line 380.
1398(pdftex.def)             Requested size: 33.12366pt x 213.79822pt.
1399
1400
1401LaTeX Warning: `!h' float specifier changed to `!ht'.
1402
1403
1404Underfull \hbox (badness 10000) in paragraph at lines 420--421
1405
1406 []
1407
1408
1409Underfull \hbox (badness 10000) in paragraph at lines 436--437
1410
1411 []
1412
1413[6 <./K_sigma_i_S_PNG.png>]
1414No file FDL2012.bbl.
1415Package atveryend Info: Empty hook `BeforeClearDocument' on input line 462.
1416[7
1417
1418]
1419Package atveryend Info: Empty hook `AfterLastShipout' on input line 462.
1420 (./FDL2012.aux)
1421Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 462.
1422Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 462.
1423Package rerunfilecheck Info: File `FDL2012.out' has not changed.
1424(rerunfilecheck)             Checksum: BA9407F3BD913632A2377663C2D85E5A;965.
1425
1426
1427LaTeX Warning: There were undefined references.
1428
1429
1430LaTeX Warning: There were multiply-defined labels.
1431
1432 )
1433Here is how much of TeX's memory you used:
1434 18495 strings out of 492508
1435 332547 string characters out of 3115493
1436 452738 words of memory out of 3000000
1437 21197 multiletter control sequences out of 15000+200000
1438 69857 words of font info for 127 fonts, out of 3000000 for 9000
1439 1648 hyphenation exceptions out of 8191
1440 56i,10n,68p,951b,935s stack positions out of 5000i,500n,10000p,200000b,50000s
1441{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texl
1442ive/texmf-dist/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texlive/texmf-dist/
1443fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/
1444lm-mathit.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-ec.enc}{/usr
1445/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-mathex.enc}<./bbold10.pfb></usr
1446/share/texlive/texmf-dist/fonts/type1/public/lm/lmbx10.pfb></usr/share/texlive/
1447texmf-dist/fonts/type1/public/lm/lmbx12.pfb></usr/share/texlive/texmf-dist/font
1448s/type1/public/lm/lmbxi10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
1449/lm/lmex10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmmi10.pfb>
1450</usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmmi5.pfb></usr/share/texl
1451ive/texmf-dist/fonts/type1/public/lm/lmmi7.pfb></usr/share/texlive/texmf-dist/f
1452onts/type1/public/lm/lmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/publi
1453c/lm/lmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmr5.pfb></
1454usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmr7.pfb></usr/share/texlive
1455/texmf-dist/fonts/type1/public/lm/lmri10.pfb></usr/share/texlive/texmf-dist/fon
1456ts/type1/public/lm/lmri12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public
1457/lm/lmsy10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmsy5.pfb><
1458/usr/share/texlive/texmf-dist/fonts/type1/public/lm/lmsy7.pfb></usr/share/texli
1459ve/texmf-dist/fonts/type1/public/amsfonts/symbols/msam10.pfb></usr/share/texliv
1460e/texmf-dist/fonts/type1/public/amsfonts/symbols/msbm10.pfb>
1461Output written on FDL2012.pdf (7 pages, 353282 bytes).
1462PDF statistics:
1463 223 PDF objects out of 1000 (max. 8388607)
1464 186 compressed objects within 2 object streams
1465 40 named destinations out of 1000 (max. 500000)
1466 21652 words of extra memory for PDF output out of 24883 (max. 10000000)
1467
Note: See TracBrowser for help on using the repository browser.