[48] | 1 | This is pdfTeX, Version 3.1415926-2.3-1.40.12 (TeX Live 2011) (format=pdflatex 2012.2.26) 5 MAR 2012 16:54 |
---|
| 2 | entering extended mode |
---|
| 3 | restricted \write18 enabled. |
---|
| 4 | %&-line parsing enabled. |
---|
| 5 | **FDL2012.tex |
---|
| 6 | (./FDL2012.tex |
---|
| 7 | LaTeX2e <2011/06/27> |
---|
| 8 | Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, ge |
---|
| 9 | rman-x-2011-07-01, ngerman-x-2011-07-01, afrikaans, ancientgreek, ibycus, arabi |
---|
| 10 | c, armenian, basque, bulgarian, catalan, pinyin, coptic, croatian, czech, danis |
---|
| 11 | h, dutch, ukenglish, usenglishmax, esperanto, estonian, ethiopic, farsi, finnis |
---|
| 12 | h, french, galician, german, ngerman, swissgerman, monogreek, greek, hungarian, |
---|
| 13 | icelandic, assamese, bengali, gujarati, hindi, kannada, malayalam, marathi, or |
---|
| 14 | iya, panjabi, tamil, telugu, indonesian, interlingua, irish, italian, kurmanji, |
---|
| 15 | lao, latin, latvian, lithuanian, mongolian, mongolianlmc, bokmal, nynorsk, pol |
---|
| 16 | ish, portuguese, romanian, russian, sanskrit, serbian, serbianc, slovak, sloven |
---|
| 17 | ian, spanish, swedish, turkish, turkmen, ukrainian, uppersorbian, welsh, polish |
---|
| 18 | , russian, ukrainian, esperanto, italian, welsh, coptic, slovenian, basque, ger |
---|
| 19 | man, ngerman, swissgerman, latin, pinyin, uppersorbian, estonian, turkish, germ |
---|
| 20 | an-x-2011-07-01, ngerman-x-2011-07-01, portuguese, lao, indonesian, finnish, cr |
---|
| 21 | oatian, monogreek, greek, dutch, bulgarian, romanian, irish, swedish, danish, k |
---|
| 22 | urmanji, catalan, slovak, ancientgreek, ibycus, icelandic, ukenglish, usenglish |
---|
| 23 | max, bokmal, nynorsk, spanish, mongolian, mongolianlmc, czech, hungarian, afrik |
---|
| 24 | aans, galician, french, armenian, serbian, serbianc, interlingua, loaded. |
---|
| 25 | (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls |
---|
| 26 | Document Class: article 2007/10/19 v1.4h Standard LaTeX document class |
---|
| 27 | (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo |
---|
| 28 | File: 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 |
---|
| 43 | Package: cmap 2008/03/06 v1.0h CMap support: searchable PDF |
---|
| 44 | ) |
---|
| 45 | (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty |
---|
| 46 | Package: 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 |
---|
| 51 | File: utf8.def 2008/04/05 v1.1m UTF-8 support for inputenc |
---|
| 52 | Now handling font encoding OML ... |
---|
| 53 | ... no UTF-8 mapping file for font encoding OML |
---|
| 54 | Now 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 |
---|
| 58 | File: 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 | ) |
---|
| 204 | Now 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 |
---|
| 208 | File: 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 | ) |
---|
| 235 | Now 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 |
---|
| 239 | File: 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 | ) |
---|
| 247 | Now handling font encoding OMX ... |
---|
| 248 | ... no UTF-8 mapping file for font encoding OMX |
---|
| 249 | Now 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 |
---|
| 263 | Package: fontenc 2005/09/27 v1.99g Standard LaTeX package |
---|
| 264 | |
---|
| 265 | (/usr/share/texlive/texmf-dist/tex/latex/base/t1enc.def |
---|
| 266 | File: t1enc.def 2005/09/27 v1.99g Standard LaTeX file |
---|
| 267 | LaTeX Font Info: Redeclaring font encoding T1 on input line 43. |
---|
| 268 | )<<t1.cmap>>) |
---|
| 269 | (/usr/share/texlive/texmf-dist/tex/latex/lm/lmodern.sty |
---|
| 270 | Package: lmodern 2009/10/30 v1.6 Latin Modern Fonts |
---|
| 271 | LaTeX Font Info: Overwriting symbol font `operators' in version `normal' |
---|
| 272 | (Font) OT1/cmr/m/n --> OT1/lmr/m/n on input line 22. |
---|
| 273 | LaTeX Font Info: Overwriting symbol font `letters' in version `normal' |
---|
| 274 | (Font) OML/cmm/m/it --> OML/lmm/m/it on input line 23. |
---|
| 275 | LaTeX Font Info: Overwriting symbol font `symbols' in version `normal' |
---|
| 276 | (Font) OMS/cmsy/m/n --> OMS/lmsy/m/n on input line 24. |
---|
| 277 | LaTeX Font Info: Overwriting symbol font `largesymbols' in version `normal' |
---|
| 278 | (Font) OMX/cmex/m/n --> OMX/lmex/m/n on input line 25. |
---|
| 279 | LaTeX Font Info: Overwriting symbol font `operators' in version `bold' |
---|
| 280 | (Font) OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 26. |
---|
| 281 | LaTeX Font Info: Overwriting symbol font `letters' in version `bold' |
---|
| 282 | (Font) OML/cmm/b/it --> OML/lmm/b/it on input line 27. |
---|
| 283 | LaTeX Font Info: Overwriting symbol font `symbols' in version `bold' |
---|
| 284 | (Font) OMS/cmsy/b/n --> OMS/lmsy/b/n on input line 28. |
---|
| 285 | LaTeX Font Info: Overwriting symbol font `largesymbols' in version `bold' |
---|
| 286 | (Font) OMX/cmex/m/n --> OMX/lmex/m/n on input line 29. |
---|
| 287 | LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `normal' |
---|
| 288 | (Font) OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 31. |
---|
| 289 | LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `normal' |
---|
| 290 | (Font) OT1/cmss/m/n --> OT1/lmss/m/n on input line 32. |
---|
| 291 | LaTeX Font Info: Overwriting math alphabet `\mathit' in version `normal' |
---|
| 292 | (Font) OT1/cmr/m/it --> OT1/lmr/m/it on input line 33. |
---|
| 293 | LaTeX Font Info: Overwriting math alphabet `\mathtt' in version `normal' |
---|
| 294 | (Font) OT1/cmtt/m/n --> OT1/lmtt/m/n on input line 34. |
---|
| 295 | LaTeX Font Info: Overwriting math alphabet `\mathbf' in version `bold' |
---|
| 296 | (Font) OT1/cmr/bx/n --> OT1/lmr/bx/n on input line 35. |
---|
| 297 | LaTeX Font Info: Overwriting math alphabet `\mathsf' in version `bold' |
---|
| 298 | (Font) OT1/cmss/bx/n --> OT1/lmss/bx/n on input line 36. |
---|
| 299 | LaTeX Font Info: Overwriting math alphabet `\mathit' in version `bold' |
---|
| 300 | (Font) OT1/cmr/bx/it --> OT1/lmr/bx/it on input line 37. |
---|
| 301 | LaTeX 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 |
---|
| 305 | Package: textcomp 2005/09/27 v1.99g Standard LaTeX package |
---|
| 306 | Package 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. |
---|
| 317 | Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71. |
---|
| 318 | |
---|
| 319 | (/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def |
---|
| 320 | File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file |
---|
| 321 | Now 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 |
---|
| 325 | File: 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 | )) |
---|
| 396 | LaTeX Info: Redefining \oldstylenums on input line 266. |
---|
| 397 | Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281. |
---|
| 398 | Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282. |
---|
| 399 | Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283. |
---|
| 400 | Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284. |
---|
| 401 | Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285. |
---|
| 402 | Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286. |
---|
| 403 | Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287. |
---|
| 404 | Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288. |
---|
| 405 | Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289. |
---|
| 406 | Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290. |
---|
| 407 | Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291. |
---|
| 408 | Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292. |
---|
| 409 | Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293. |
---|
| 410 | Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294. |
---|
| 411 | Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295. |
---|
| 412 | Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296. |
---|
| 413 | Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297. |
---|
| 414 | Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298. |
---|
| 415 | Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299. |
---|
| 416 | Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300. |
---|
| 417 | Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301. |
---|
| 418 | Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302. |
---|
| 419 | Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303. |
---|
| 420 | Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304. |
---|
| 421 | |
---|
| 422 | Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305. |
---|
| 423 | Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306. |
---|
| 424 | Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307. |
---|
| 425 | Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308. |
---|
| 426 | Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309. |
---|
| 427 | Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310. |
---|
| 428 | Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311. |
---|
| 429 | Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312. |
---|
| 430 | Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313. |
---|
| 431 | Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314. |
---|
| 432 | Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315. |
---|
| 433 | Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316. |
---|
| 434 | Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317. |
---|
| 435 | Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318. |
---|
| 436 | Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319. |
---|
| 437 | Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320. |
---|
| 438 | Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321. |
---|
| 439 | Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322. |
---|
| 440 | Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323. |
---|
| 441 | Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324. |
---|
| 442 | Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325. |
---|
| 443 | Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326. |
---|
| 444 | Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327. |
---|
| 445 | Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328. |
---|
| 446 | Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329. |
---|
| 447 | Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330. |
---|
| 448 | Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331. |
---|
| 449 | Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332. |
---|
| 450 | Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333. |
---|
| 451 | Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334. |
---|
| 452 | Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335. |
---|
| 453 | Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336. |
---|
| 454 | Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337. |
---|
| 455 | Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338. |
---|
| 456 | Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339. |
---|
| 457 | Package 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 |
---|
| 460 | Package: amsmath 2000/07/18 v2.13 AMS math features |
---|
| 461 | \@mathmargin=\skip43 |
---|
| 462 | |
---|
| 463 | For additional information on amsmath, use the `?' option. |
---|
| 464 | (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty |
---|
| 465 | Package: amstext 2000/06/29 v2.01 |
---|
| 466 | |
---|
| 467 | (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty |
---|
| 468 | File: 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 |
---|
| 473 | Package: amsbsy 1999/11/29 v1.2d |
---|
| 474 | \pmbraise@=\dimen104 |
---|
| 475 | ) |
---|
| 476 | (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty |
---|
| 477 | Package: amsopn 1999/12/14 v2.01 operator names |
---|
| 478 | ) |
---|
| 479 | \inf@bad=\count87 |
---|
| 480 | LaTeX Info: Redefining \frac on input line 211. |
---|
| 481 | \uproot@=\count88 |
---|
| 482 | \leftroot@=\count89 |
---|
| 483 | LaTeX Info: Redefining \overline on input line 307. |
---|
| 484 | \classnum@=\count90 |
---|
| 485 | \DOTSCASE@=\count91 |
---|
| 486 | LaTeX Info: Redefining \ldots on input line 379. |
---|
| 487 | LaTeX Info: Redefining \dots on input line 382. |
---|
| 488 | LaTeX Info: Redefining \cdots on input line 467. |
---|
| 489 | \Mathstrutbox@=\box26 |
---|
| 490 | \strutbox@=\box27 |
---|
| 491 | \big@size=\dimen105 |
---|
| 492 | LaTeX Font Info: Redeclaring font encoding OML on input line 567. |
---|
| 493 | LaTeX 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 |
---|
| 514 | LaTeX Info: Redefining \[ on input line 2666. |
---|
| 515 | LaTeX Info: Redefining \] on input line 2667. |
---|
| 516 | ) |
---|
| 517 | (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty |
---|
| 518 | Package: amssymb 2009/06/22 v3.00 |
---|
| 519 | |
---|
| 520 | (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty |
---|
| 521 | Package: amsfonts 2009/06/22 v3.00 Basic AMSFonts support |
---|
| 522 | \symAMSa=\mathgroup4 |
---|
| 523 | \symAMSb=\mathgroup5 |
---|
| 524 | LaTeX 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 |
---|
| 528 | Package: bbm 1999/03/15 V 1.2 provides fonts for set symbols - TH |
---|
| 529 | LaTeX Font Info: Overwriting math alphabet `\mathbbm' in version `bold' |
---|
| 530 | (Font) U/bbm/m/n --> U/bbm/bx/n on input line 33. |
---|
| 531 | LaTeX Font Info: Overwriting math alphabet `\mathbbmss' in version `bold' |
---|
| 532 | (Font) U/bbmss/m/n --> U/bbmss/bx/n on input line 35. |
---|
| 533 | ) |
---|
| 534 | (/usr/share/texlive/texmf-dist/tex/latex/bbold/bbold.sty |
---|
| 535 | Package: bbold 1994/04/06 Bbold symbol package |
---|
| 536 | LaTeX Font Info: Redeclaring math alphabet \mathbb on input line 42. |
---|
| 537 | ) |
---|
| 538 | (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty |
---|
| 539 | Package: amsthm 2009/07/02 v2.20.1 |
---|
| 540 | \thm@style=\toks21 |
---|
| 541 | \thm@bodyfont=\toks22 |
---|
| 542 | \thm@headfont=\toks23 |
---|
| 543 | \thm@notefont=\toks24 |
---|
| 544 | \thm@headpunct=\toks25 |
---|
| 545 | \thm@preskip=\skip46 |
---|
| 546 | \thm@postskip=\skip47 |
---|
| 547 | \thm@headsep=\skip48 |
---|
| 548 | \dth@everypar=\toks26 |
---|
| 549 | ) |
---|
| 550 | (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty |
---|
| 551 | Package: array 2008/09/09 v2.4c Tabular extension package (FMi) |
---|
| 552 | \col@sep=\dimen112 |
---|
| 553 | \extrarowheight=\dimen113 |
---|
| 554 | \NC@list=\toks27 |
---|
| 555 | \extratabsurround=\skip49 |
---|
| 556 | \backup@length=\skip50 |
---|
| 557 | ) |
---|
| 558 | (/usr/share/texlive/texmf-dist/tex/latex/tools/verbatim.sty |
---|
| 559 | Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements |
---|
| 560 | \every@verbatim=\toks28 |
---|
| 561 | \verbatim@line=\toks29 |
---|
| 562 | \verbatim@in@stream=\read1 |
---|
| 563 | ) |
---|
| 564 | (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty |
---|
| 565 | Package: hyperref 2011/10/01 v6.82j Hypertext links for LaTeX |
---|
| 566 | |
---|
| 567 | (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty |
---|
| 568 | Package: hobsub-hyperref 2011/04/23 v1.4 Bundle oberdiek, subset hyperref (HO) |
---|
| 569 | |
---|
| 570 | (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty |
---|
| 571 | Package: hobsub-generic 2011/04/23 v1.4 Bundle oberdiek, subset generic (HO) |
---|
| 572 | Package: hobsub 2011/04/23 v1.4 Subsetting bundle oberdiek (HO) |
---|
| 573 | Package: infwarerr 2010/04/08 v1.3 Providing info/warning/message (HO) |
---|
| 574 | Package: ltxcmds 2011/04/18 v1.20 LaTeX kernel commands for general use (HO) |
---|
| 575 | Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO) |
---|
| 576 | Package ifluatex Info: LuaTeX not detected. |
---|
| 577 | Package: ifvtex 2010/03/01 v1.5 Switches for detecting VTeX and its modes (HO) |
---|
| 578 | Package ifvtex Info: VTeX not detected. |
---|
| 579 | Package: intcalc 2007/09/27 v1.1 Expandable integer calculations (HO) |
---|
| 580 | Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO) |
---|
| 581 | Package ifpdf Info: pdfTeX in PDF mode is detected. |
---|
| 582 | Package: etexcmds 2011/02/16 v1.5 Prefix for e-TeX command names (HO) |
---|
| 583 | Package etexcmds Info: Could not find \expanded. |
---|
| 584 | (etexcmds) That can mean that you are not using pdfTeX 1.50 or |
---|
| 585 | (etexcmds) that some package has redefined \expanded. |
---|
| 586 | (etexcmds) In the latter case, load this package earlier. |
---|
| 587 | Package: kvsetkeys 2011/04/07 v1.13 Key value parser (HO) |
---|
| 588 | Package: kvdefinekeys 2011/04/07 v1.3 Defining keys (HO) |
---|
| 589 | Package: pdftexcmds 2011/04/22 v0.16 Utilities of pdfTeX for LuaTeX (HO) |
---|
| 590 | Package pdftexcmds Info: LuaTeX not detected. |
---|
| 591 | Package pdftexcmds Info: \pdf@primitive is available. |
---|
| 592 | Package pdftexcmds Info: \pdf@ifprimitive is available. |
---|
| 593 | Package pdftexcmds Info: \pdfdraftmode found. |
---|
| 594 | Package: pdfescape 2011/04/04 v1.12 Provides string conversions (HO) |
---|
| 595 | Package: bigintcalc 2011/01/30 v1.2 Expandable big integer calculations (HO) |
---|
| 596 | Package: bitset 2011/01/30 v1.1 Data type bit set (HO) |
---|
| 597 | Package: uniquecounter 2011/01/30 v1.2 Provides unlimited unique counter (HO) |
---|
| 598 | ) |
---|
| 599 | Package hobsub Info: Skipping package `hobsub' (already loaded). |
---|
| 600 | Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO) |
---|
| 601 | Package: hopatch 2011/01/30 v1.0 Wrapper for package hooks (HO) |
---|
| 602 | Package: xcolor-patch 2011/01/30 xcolor patch |
---|
| 603 | Package: atveryend 2011/04/23 v1.7 Hooks at very end of document (HO) |
---|
| 604 | Package: atbegshi 2011/01/30 v1.15 At begin shipout hook (HO) |
---|
| 605 | Package: refcount 2010/12/01 v3.2 Data extraction from references (HO) |
---|
| 606 | Package: hycolor 2011/01/30 v1.7 Color options of hyperref/bookmark (HO) |
---|
| 607 | ) |
---|
| 608 | (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty |
---|
| 609 | Package: keyval 1999/03/16 v1.13 key=value parser (DPC) |
---|
| 610 | \KV@toks@=\toks30 |
---|
| 611 | ) |
---|
| 612 | (/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty |
---|
| 613 | Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional |
---|
| 614 | ) |
---|
| 615 | (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty |
---|
| 616 | Package: kvoptions 2010/12/23 v3.10 Keyval support for LaTeX options (HO) |
---|
| 617 | ) |
---|
| 618 | \@linkdim=\dimen114 |
---|
| 619 | \Hy@linkcounter=\count99 |
---|
| 620 | \Hy@pagecounter=\count100 |
---|
| 621 | |
---|
| 622 | (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def |
---|
| 623 | File: pd1enc.def 2011/10/01 v6.82j Hyperref: PDFDocEncoding definition (HO) |
---|
| 624 | Now handling font encoding PD1 ... |
---|
| 625 | ... no UTF-8 mapping file for font encoding PD1 |
---|
| 626 | ) |
---|
| 627 | \Hy@SavedSpaceFactor=\count101 |
---|
| 628 | |
---|
| 629 | (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg |
---|
| 630 | File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive |
---|
| 631 | ) |
---|
| 632 | Package hyperref Info: Hyper figures OFF on input line 4046. |
---|
| 633 | Package hyperref Info: Link nesting OFF on input line 4051. |
---|
| 634 | Package hyperref Info: Hyper index ON on input line 4054. |
---|
| 635 | Package hyperref Info: Plain pages OFF on input line 4061. |
---|
| 636 | Package hyperref Info: Backreferencing OFF on input line 4066. |
---|
| 637 | Package hyperref Info: Implicit mode ON; LaTeX internals redefined. |
---|
| 638 | Package hyperref Info: Bookmarks ON on input line 4284. |
---|
| 639 | \c@Hy@tempcnt=\count102 |
---|
| 640 | |
---|
| 641 | (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty |
---|
| 642 | \Urlmuskip=\muskip11 |
---|
| 643 | Package: url 2006/04/12 ver 3.3 Verb mode for urls, etc. |
---|
| 644 | ) |
---|
| 645 | LaTeX Info: Redefining \url on input line 4637. |
---|
| 646 | \Fld@menulength=\count103 |
---|
| 647 | \Field@Width=\dimen115 |
---|
| 648 | \Fld@charsize=\dimen116 |
---|
| 649 | Package hyperref Info: Hyper figures OFF on input line 5723. |
---|
| 650 | Package hyperref Info: Link nesting OFF on input line 5728. |
---|
| 651 | Package hyperref Info: Hyper index ON on input line 5731. |
---|
| 652 | Package hyperref Info: backreferencing OFF on input line 5738. |
---|
| 653 | Package hyperref Info: Link coloring OFF on input line 5743. |
---|
| 654 | Package hyperref Info: Link coloring with OCG OFF on input line 5748. |
---|
| 655 | Package hyperref Info: PDF/A mode OFF on input line 5753. |
---|
| 656 | LaTeX Info: Redefining \ref on input line 5793. |
---|
| 657 | LaTeX Info: Redefining \pageref on input line 5797. |
---|
| 658 | \Hy@abspage=\count104 |
---|
| 659 | \c@Item=\count105 |
---|
| 660 | \c@Hfootnote=\count106 |
---|
| 661 | ) |
---|
| 662 | |
---|
| 663 | Package hyperref Message: Driver (autodetected): hpdftex. |
---|
| 664 | |
---|
| 665 | (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def |
---|
| 666 | File: hpdftex.def 2011/10/01 v6.82j Hyperref driver for pdfTeX |
---|
| 667 | \Fld@listcount=\count107 |
---|
| 668 | \c@bookmark@seq@number=\count108 |
---|
| 669 | |
---|
| 670 | (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty |
---|
| 671 | Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO) |
---|
| 672 | Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 |
---|
| 673 | 82. |
---|
| 674 | ) |
---|
| 675 | \Hy@SectionHShift=\skip51 |
---|
| 676 | ) |
---|
| 677 | (/usr/share/texlive/texmf-dist/tex/latex/booktabs/booktabs.sty |
---|
| 678 | Package: booktabs 2005/04/14 v1.61803 publication quality tables |
---|
| 679 | \heavyrulewidth=\dimen117 |
---|
| 680 | \lightrulewidth=\dimen118 |
---|
| 681 | \cmidrulewidth=\dimen119 |
---|
| 682 | \belowrulesep=\dimen120 |
---|
| 683 | \belowbottomsep=\dimen121 |
---|
| 684 | \aboverulesep=\dimen122 |
---|
| 685 | \abovetopsep=\dimen123 |
---|
| 686 | \cmidrulesep=\dimen124 |
---|
| 687 | \cmidrulekern=\dimen125 |
---|
| 688 | \defaultaddspace=\dimen126 |
---|
| 689 | \@cmidla=\count109 |
---|
| 690 | \@cmidlb=\count110 |
---|
| 691 | \@aboverulesep=\dimen127 |
---|
| 692 | \@belowrulesep=\dimen128 |
---|
| 693 | \@thisruleclass=\count111 |
---|
| 694 | \@lastruleclass=\count112 |
---|
| 695 | \@thisrulewidth=\dimen129 |
---|
| 696 | ) |
---|
| 697 | (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty |
---|
| 698 | Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR) |
---|
| 699 | |
---|
| 700 | (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty |
---|
| 701 | Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR) |
---|
| 702 | |
---|
| 703 | (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty |
---|
| 704 | Package: trig 1999/03/16 v1.09 sin cos tan (DPC) |
---|
| 705 | ) |
---|
| 706 | (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg |
---|
| 707 | File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live |
---|
| 708 | ) |
---|
| 709 | Package graphics Info: Driver file: pdftex.def on input line 91. |
---|
| 710 | |
---|
| 711 | (/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def |
---|
| 712 | File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX |
---|
| 713 | \Gread@gobject=\count113 |
---|
| 714 | )) |
---|
| 715 | \Gin@req@height=\dimen130 |
---|
| 716 | \Gin@req@width=\dimen131 |
---|
| 717 | ) |
---|
| 718 | (/usr/share/texlive/texmf-dist/tex/latex/pgf/frontendlayer/tikz.sty |
---|
| 719 | (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgf.sty |
---|
| 720 | (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfrcs.sty |
---|
| 721 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-common.tex |
---|
| 722 | \pgfutil@everybye=\toks31 |
---|
| 723 | ) |
---|
| 724 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfutil-latex.def |
---|
| 725 | \pgfutil@abb=\box28 |
---|
| 726 | |
---|
| 727 | (/usr/share/texlive/texmf-dist/tex/latex/ms/everyshi.sty |
---|
| 728 | Package: everyshi 2001/05/15 v3.00 EveryShipout Package (MS) |
---|
| 729 | )) |
---|
| 730 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfrcs.code.tex |
---|
| 731 | Package: pgfrcs 2010/10/25 v2.10 (rcs-revision 1.24) |
---|
| 732 | )) |
---|
| 733 | Package: pgf 2008/01/15 v2.10 (rcs-revision 1.12) |
---|
| 734 | |
---|
| 735 | (/usr/share/texlive/texmf-dist/tex/latex/pgf/basiclayer/pgfcore.sty |
---|
| 736 | (/usr/share/texlive/texmf-dist/tex/latex/pgf/systemlayer/pgfsys.sty |
---|
| 737 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys.code.tex |
---|
| 738 | Package: pgfsys 2010/06/30 v2.10 (rcs-revision 1.37) |
---|
| 739 | |
---|
| 740 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex |
---|
| 741 | \pgfkeys@pathtoks=\toks32 |
---|
| 742 | \pgfkeys@temptoks=\toks33 |
---|
| 743 | |
---|
| 744 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeysfiltered.code.t |
---|
| 745 | ex |
---|
| 746 | \pgfkeys@tmptoks=\toks34 |
---|
| 747 | )) |
---|
| 748 | \pgf@x=\dimen132 |
---|
| 749 | \pgf@y=\dimen133 |
---|
| 750 | \pgf@xa=\dimen134 |
---|
| 751 | \pgf@ya=\dimen135 |
---|
| 752 | \pgf@xb=\dimen136 |
---|
| 753 | \pgf@yb=\dimen137 |
---|
| 754 | \pgf@xc=\dimen138 |
---|
| 755 | \pgf@yc=\dimen139 |
---|
| 756 | \w@pgf@writea=\write3 |
---|
| 757 | \r@pgf@reada=\read2 |
---|
| 758 | \c@pgf@counta=\count114 |
---|
| 759 | \c@pgf@countb=\count115 |
---|
| 760 | \c@pgf@countc=\count116 |
---|
| 761 | \c@pgf@countd=\count117 |
---|
| 762 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgf.cfg |
---|
| 763 | File: pgf.cfg 2008/05/14 (rcs-revision 1.7) |
---|
| 764 | ) |
---|
| 765 | Package pgfsys Info: Driver file for pgf: pgfsys-pdftex.def on input line 900. |
---|
| 766 | |
---|
| 767 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-pdftex.def |
---|
| 768 | File: pgfsys-pdftex.def 2009/05/22 (rcs-revision 1.26) |
---|
| 769 | |
---|
| 770 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsys-common-pdf.de |
---|
| 771 | f |
---|
| 772 | File: pgfsys-common-pdf.def 2008/05/19 (rcs-revision 1.10) |
---|
| 773 | ))) |
---|
| 774 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsyssoftpath.code. |
---|
| 775 | tex |
---|
| 776 | File: pgfsyssoftpath.code.tex 2008/07/18 (rcs-revision 1.7) |
---|
| 777 | \pgfsyssoftpath@smallbuffer@items=\count118 |
---|
| 778 | \pgfsyssoftpath@bigbuffer@items=\count119 |
---|
| 779 | ) |
---|
| 780 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/systemlayer/pgfsysprotocol.code. |
---|
| 781 | tex |
---|
| 782 | File: pgfsysprotocol.code.tex 2006/10/16 (rcs-revision 1.4) |
---|
| 783 | )) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty |
---|
| 784 | Package: xcolor 2007/01/21 v2.11 LaTeX color extensions (UK) |
---|
| 785 | |
---|
| 786 | (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/color.cfg |
---|
| 787 | File: color.cfg 2007/01/18 v1.5 color configuration of teTeX/TeXLive |
---|
| 788 | ) |
---|
| 789 | Package xcolor Info: Driver file: pdftex.def on input line 225. |
---|
| 790 | Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1337. |
---|
| 791 | Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1341. |
---|
| 792 | Package xcolor Info: Model `RGB' extended on input line 1353. |
---|
| 793 | Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1355. |
---|
| 794 | Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1356. |
---|
| 795 | Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1357. |
---|
| 796 | Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1358. |
---|
| 797 | Package xcolor Info: Model `Gray' substituted by `gray' on input line 1359. |
---|
| 798 | Package xcolor Info: Model `wave' substituted by `hsb' on input line 1360. |
---|
| 799 | ) |
---|
| 800 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcore.code.tex |
---|
| 801 | Package: pgfcore 2010/04/11 v2.10 (rcs-revision 1.7) |
---|
| 802 | |
---|
| 803 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmath.code.tex |
---|
| 804 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathcalc.code.tex |
---|
| 805 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathutil.code.tex) |
---|
| 806 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathparser.code.tex |
---|
| 807 | \pgfmath@dimen=\dimen140 |
---|
| 808 | \pgfmath@count=\count120 |
---|
| 809 | \pgfmath@box=\box29 |
---|
| 810 | \pgfmath@toks=\toks35 |
---|
| 811 | \pgfmath@stack@operand=\toks36 |
---|
| 812 | \pgfmath@stack@operation=\toks37 |
---|
| 813 | ) |
---|
| 814 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.code.tex |
---|
| 815 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.basic.code |
---|
| 816 | .tex) |
---|
| 817 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.trigonomet |
---|
| 818 | ric.code.tex) |
---|
| 819 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.random.cod |
---|
| 820 | e.tex) |
---|
| 821 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.comparison |
---|
| 822 | .code.tex) |
---|
| 823 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.base.code. |
---|
| 824 | tex) |
---|
| 825 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.round.code |
---|
| 826 | .tex) |
---|
| 827 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfunctions.misc.code. |
---|
| 828 | tex))) |
---|
| 829 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/math/pgfmathfloat.code.tex |
---|
| 830 | \c@pgfmathroundto@lastzeros=\count121 |
---|
| 831 | )) |
---|
| 832 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepoints.code.te |
---|
| 833 | x |
---|
| 834 | File: pgfcorepoints.code.tex 2010/04/09 (rcs-revision 1.20) |
---|
| 835 | \pgf@picminx=\dimen141 |
---|
| 836 | \pgf@picmaxx=\dimen142 |
---|
| 837 | \pgf@picminy=\dimen143 |
---|
| 838 | \pgf@picmaxy=\dimen144 |
---|
| 839 | \pgf@pathminx=\dimen145 |
---|
| 840 | \pgf@pathmaxx=\dimen146 |
---|
| 841 | \pgf@pathminy=\dimen147 |
---|
| 842 | \pgf@pathmaxy=\dimen148 |
---|
| 843 | \pgf@xx=\dimen149 |
---|
| 844 | \pgf@xy=\dimen150 |
---|
| 845 | \pgf@yx=\dimen151 |
---|
| 846 | \pgf@yy=\dimen152 |
---|
| 847 | \pgf@zx=\dimen153 |
---|
| 848 | \pgf@zy=\dimen154 |
---|
| 849 | ) |
---|
| 850 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathconstruct. |
---|
| 851 | code.tex |
---|
| 852 | File: pgfcorepathconstruct.code.tex 2010/08/03 (rcs-revision 1.24) |
---|
| 853 | \pgf@path@lastx=\dimen155 |
---|
| 854 | \pgf@path@lasty=\dimen156 |
---|
| 855 | ) |
---|
| 856 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathusage.code |
---|
| 857 | .tex |
---|
| 858 | File: pgfcorepathusage.code.tex 2008/04/22 (rcs-revision 1.12) |
---|
| 859 | \pgf@shorten@end@additional=\dimen157 |
---|
| 860 | \pgf@shorten@start@additional=\dimen158 |
---|
| 861 | ) |
---|
| 862 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorescopes.code.te |
---|
| 863 | x |
---|
| 864 | File: pgfcorescopes.code.tex 2010/09/08 (rcs-revision 1.34) |
---|
| 865 | \pgfpic=\box30 |
---|
| 866 | \pgf@hbox=\box31 |
---|
| 867 | \pgf@layerbox@main=\box32 |
---|
| 868 | \pgf@picture@serial@count=\count122 |
---|
| 869 | ) |
---|
| 870 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoregraphicstate.c |
---|
| 871 | ode.tex |
---|
| 872 | File: pgfcoregraphicstate.code.tex 2008/04/22 (rcs-revision 1.9) |
---|
| 873 | \pgflinewidth=\dimen159 |
---|
| 874 | ) |
---|
| 875 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransformation |
---|
| 876 | s.code.tex |
---|
| 877 | File: pgfcoretransformations.code.tex 2009/06/10 (rcs-revision 1.11) |
---|
| 878 | \pgf@pt@x=\dimen160 |
---|
| 879 | \pgf@pt@y=\dimen161 |
---|
| 880 | \pgf@pt@temp=\dimen162 |
---|
| 881 | ) |
---|
| 882 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorequick.code.tex |
---|
| 883 | File: pgfcorequick.code.tex 2008/10/09 (rcs-revision 1.3) |
---|
| 884 | ) |
---|
| 885 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreobjects.code.t |
---|
| 886 | ex |
---|
| 887 | File: pgfcoreobjects.code.tex 2006/10/11 (rcs-revision 1.2) |
---|
| 888 | ) |
---|
| 889 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepathprocessing |
---|
| 890 | .code.tex |
---|
| 891 | File: pgfcorepathprocessing.code.tex 2008/10/09 (rcs-revision 1.8) |
---|
| 892 | ) |
---|
| 893 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorearrows.code.te |
---|
| 894 | x |
---|
| 895 | File: pgfcorearrows.code.tex 2008/04/23 (rcs-revision 1.11) |
---|
| 896 | ) |
---|
| 897 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreshade.code.tex |
---|
| 898 | File: pgfcoreshade.code.tex 2008/11/23 (rcs-revision 1.13) |
---|
| 899 | \pgf@max=\dimen163 |
---|
| 900 | \pgf@sys@shading@range@num=\count123 |
---|
| 901 | ) |
---|
| 902 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreimage.code.tex |
---|
| 903 | File: pgfcoreimage.code.tex 2010/03/25 (rcs-revision 1.16) |
---|
| 904 | |
---|
| 905 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoreexternal.code. |
---|
| 906 | tex |
---|
| 907 | File: pgfcoreexternal.code.tex 2010/09/01 (rcs-revision 1.17) |
---|
| 908 | \pgfexternal@startupbox=\box33 |
---|
| 909 | )) |
---|
| 910 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorelayers.code.te |
---|
| 911 | x |
---|
| 912 | File: pgfcorelayers.code.tex 2010/08/27 (rcs-revision 1.2) |
---|
| 913 | ) |
---|
| 914 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcoretransparency.c |
---|
| 915 | ode.tex |
---|
| 916 | File: pgfcoretransparency.code.tex 2008/01/17 (rcs-revision 1.2) |
---|
| 917 | ) |
---|
| 918 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/basiclayer/pgfcorepatterns.code. |
---|
| 919 | tex |
---|
| 920 | File: pgfcorepatterns.code.tex 2009/07/02 (rcs-revision 1.3) |
---|
| 921 | ))) |
---|
| 922 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleshapes.code.tex |
---|
| 923 | File: pgfmoduleshapes.code.tex 2010/09/09 (rcs-revision 1.13) |
---|
| 924 | \pgfnodeparttextbox=\box34 |
---|
| 925 | ) (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmoduleplot.code.tex |
---|
| 926 | File: pgfmoduleplot.code.tex 2010/10/22 (rcs-revision 1.8) |
---|
| 927 | ) |
---|
| 928 | (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-0-65 |
---|
| 929 | .sty |
---|
| 930 | Package: pgfcomp-version-0-65 2007/07/03 v2.10 (rcs-revision 1.7) |
---|
| 931 | \pgf@nodesepstart=\dimen164 |
---|
| 932 | \pgf@nodesepend=\dimen165 |
---|
| 933 | ) |
---|
| 934 | (/usr/share/texlive/texmf-dist/tex/latex/pgf/compatibility/pgfcomp-version-1-18 |
---|
| 935 | .sty |
---|
| 936 | Package: pgfcomp-version-1-18 2007/07/23 v2.10 (rcs-revision 1.1) |
---|
| 937 | )) (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgffor.sty |
---|
| 938 | (/usr/share/texlive/texmf-dist/tex/latex/pgf/utilities/pgfkeys.sty |
---|
| 939 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgfkeys.code.tex)) |
---|
| 940 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/utilities/pgffor.code.tex |
---|
| 941 | Package: pgffor 2010/03/23 v2.10 (rcs-revision 1.18) |
---|
| 942 | \pgffor@iter=\dimen166 |
---|
| 943 | \pgffor@skip=\dimen167 |
---|
| 944 | \pgffor@stack=\toks38 |
---|
| 945 | \pgffor@toks=\toks39 |
---|
| 946 | )) |
---|
| 947 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/tikz.code.tex |
---|
| 948 | Package: tikz 2010/10/13 v2.10 (rcs-revision 1.76) |
---|
| 949 | |
---|
| 950 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryplothandlers |
---|
| 951 | .code.tex |
---|
| 952 | File: pgflibraryplothandlers.code.tex 2010/05/31 v2.10 (rcs-revision 1.15) |
---|
| 953 | \pgf@plot@mark@count=\count124 |
---|
| 954 | \pgfplotmarksize=\dimen168 |
---|
| 955 | ) |
---|
| 956 | \tikz@lastx=\dimen169 |
---|
| 957 | \tikz@lasty=\dimen170 |
---|
| 958 | \tikz@lastxsaved=\dimen171 |
---|
| 959 | \tikz@lastysaved=\dimen172 |
---|
| 960 | \tikzleveldistance=\dimen173 |
---|
| 961 | \tikzsiblingdistance=\dimen174 |
---|
| 962 | \tikz@figbox=\box35 |
---|
| 963 | \tikz@tempbox=\box36 |
---|
| 964 | \tikztreelevel=\count125 |
---|
| 965 | \tikznumberofchildren=\count126 |
---|
| 966 | \tikznumberofcurrentchild=\count127 |
---|
| 967 | \tikz@fig@count=\count128 |
---|
| 968 | |
---|
| 969 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/modules/pgfmodulematrix.code.tex |
---|
| 970 | File: pgfmodulematrix.code.tex 2010/08/24 (rcs-revision 1.4) |
---|
| 971 | \pgfmatrixcurrentrow=\count129 |
---|
| 972 | \pgfmatrixcurrentcolumn=\count130 |
---|
| 973 | \pgf@matrix@numberofcolumns=\count131 |
---|
| 974 | ) |
---|
| 975 | \tikz@expandcount=\count132 |
---|
| 976 | |
---|
| 977 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik |
---|
| 978 | zlibrarytopaths.code.tex |
---|
| 979 | File: tikzlibrarytopaths.code.tex 2008/06/17 v2.10 (rcs-revision 1.2) |
---|
| 980 | ))) |
---|
| 981 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik |
---|
| 982 | zlibraryarrows.code.tex |
---|
| 983 | File: tikzlibraryarrows.code.tex 2008/01/09 v2.10 (rcs-revision 1.1) |
---|
| 984 | |
---|
| 985 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/pgflibraryarrows.code. |
---|
| 986 | tex |
---|
| 987 | File: pgflibraryarrows.code.tex 2008/10/27 v2.10 (rcs-revision 1.9) |
---|
| 988 | \arrowsize=\dimen175 |
---|
| 989 | )) |
---|
| 990 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik |
---|
| 991 | zlibraryautomata.code.tex |
---|
| 992 | File: tikzlibraryautomata.code.tex 2008/07/14 v2.10 (rcs-revision 1.3) |
---|
| 993 | |
---|
| 994 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/frontendlayer/tikz/libraries/tik |
---|
| 995 | zlibraryshapes.multipart.code.tex |
---|
| 996 | File: tikzlibraryshapes.multipart.code.tex 2008/01/09 v2.10 (rcs-revision 1.1) |
---|
| 997 | |
---|
| 998 | (/usr/share/texlive/texmf-dist/tex/generic/pgf/libraries/shapes/pgflibraryshape |
---|
| 999 | s.multipart.code.tex |
---|
| 1000 | File: pgflibraryshapes.multipart.code.tex 2010/01/07 v2.10 (rcs-revision 1.2) |
---|
| 1001 | \pgfnodepartlowerbox=\box37 |
---|
| 1002 | \pgfnodeparttwobox=\box38 |
---|
| 1003 | \pgfnodepartthreebox=\box39 |
---|
| 1004 | \pgfnodepartfourbox=\box40 |
---|
| 1005 | \pgfnodeparttwentybox=\box41 |
---|
| 1006 | \pgfnodepartnineteenbox=\box42 |
---|
| 1007 | \pgfnodeparteighteenbox=\box43 |
---|
| 1008 | \pgfnodepartseventeenbox=\box44 |
---|
| 1009 | \pgfnodepartsixteenbox=\box45 |
---|
| 1010 | \pgfnodepartfifteenbox=\box46 |
---|
| 1011 | \pgfnodepartfourteenbox=\box47 |
---|
| 1012 | \pgfnodepartthirteenbox=\box48 |
---|
| 1013 | \pgfnodeparttwelvebox=\box49 |
---|
| 1014 | \pgfnodepartelevenbox=\box50 |
---|
| 1015 | \pgfnodeparttenbox=\box51 |
---|
| 1016 | \pgfnodepartninebox=\box52 |
---|
| 1017 | \pgfnodeparteightbox=\box53 |
---|
| 1018 | \pgfnodepartsevenbox=\box54 |
---|
| 1019 | \pgfnodepartsixbox=\box55 |
---|
| 1020 | \pgfnodepartfivebox=\box56 |
---|
| 1021 | ))) |
---|
| 1022 | (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty |
---|
| 1023 | Package: babel 2008/07/08 v3.8m The Babel package |
---|
| 1024 | |
---|
| 1025 | (/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.ldf |
---|
| 1026 | Language: frenchb 2009/03/16 v2.3d French support from the babel system |
---|
| 1027 | |
---|
| 1028 | (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def |
---|
| 1029 | File: babel.def 2008/07/08 v3.8m Babel common definitions |
---|
| 1030 | \babel@savecnt=\count133 |
---|
| 1031 | \U@D=\dimen176 |
---|
| 1032 | ) |
---|
| 1033 | Package babel Info: Making : an active character on input line 120. |
---|
| 1034 | Package babel Info: Making ; an active character on input line 121. |
---|
| 1035 | Package babel Info: Making ! an active character on input line 122. |
---|
| 1036 | Package babel Info: Making ? an active character on input line 123. |
---|
| 1037 | \FB@Mht=\dimen177 |
---|
| 1038 | \std@mcc=\count134 |
---|
| 1039 | \dec@mcc=\count135 |
---|
| 1040 | \parindentFFN=\dimen178 |
---|
| 1041 | |
---|
| 1042 | ************************************* |
---|
| 1043 | * Local config file frenchb.cfg used |
---|
| 1044 | * |
---|
| 1045 | (/usr/share/texlive/texmf-dist/tex/generic/babel/frenchb.cfg)) |
---|
| 1046 | (/usr/share/texlive/texmf-dist/tex/generic/babel/english.ldf |
---|
| 1047 | Language: english 2005/03/30 v3.3o English support from the babel system |
---|
| 1048 | \l@canadian = a dialect from \language\l@american |
---|
| 1049 | \l@australian = a dialect from \language\l@british |
---|
| 1050 | \l@newzealand = a dialect from \language\l@british |
---|
| 1051 | )) |
---|
| 1052 | (/usr/share/texlive/texmf-dist/tex/latex/carlisle/scalefnt.sty) |
---|
| 1053 | (/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.sty |
---|
| 1054 | Package: microtype 2010/01/10 v2.4 Micro-typography with pdfTeX (RS) |
---|
| 1055 | \MT@toks=\toks40 |
---|
| 1056 | \MT@count=\count136 |
---|
| 1057 | LaTeX Info: Redefining \lsstyle on input line 1597. |
---|
| 1058 | LaTeX Info: Redefining \lslig on input line 1597. |
---|
| 1059 | \MT@outer@space=\skip52 |
---|
| 1060 | LaTeX Info: Redefining \textls on input line 1605. |
---|
| 1061 | \MT@outer@kern=\dimen179 |
---|
| 1062 | LaTeX Info: Redefining \textmicrotypecontext on input line 2156. |
---|
| 1063 | Package microtype Info: Loading configuration file microtype.cfg. |
---|
| 1064 | |
---|
| 1065 | (/usr/share/texlive/texmf-dist/tex/latex/microtype/microtype.cfg |
---|
| 1066 | File: microtype.cfg 2010/01/10 v2.4 microtype main configuration file (RS) |
---|
| 1067 | )) |
---|
| 1068 | \c@definition=\count137 |
---|
| 1069 | \c@property=\count138 |
---|
| 1070 | |
---|
| 1071 | (./FDL2012.aux |
---|
| 1072 | |
---|
| 1073 | LaTeX Warning: Label `AKSNegCex' multiply defined. |
---|
| 1074 | |
---|
| 1075 | ) |
---|
| 1076 | \openout1 = `FDL2012.aux'. |
---|
| 1077 | |
---|
| 1078 | LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 38. |
---|
| 1079 | LaTeX Font Info: ... okay on input line 38. |
---|
| 1080 | LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 38. |
---|
| 1081 | LaTeX Font Info: ... okay on input line 38. |
---|
| 1082 | LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 38. |
---|
| 1083 | LaTeX Font Info: ... okay on input line 38. |
---|
| 1084 | LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 38. |
---|
| 1085 | LaTeX Font Info: ... okay on input line 38. |
---|
| 1086 | LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 38. |
---|
| 1087 | LaTeX Font Info: ... okay on input line 38. |
---|
| 1088 | LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 38. |
---|
| 1089 | LaTeX Font Info: ... okay on input line 38. |
---|
| 1090 | LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 38. |
---|
| 1091 | LaTeX Font Info: Try loading font information for TS1+cmr on input line 38. |
---|
| 1092 | (/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd |
---|
| 1093 | File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions |
---|
| 1094 | ) |
---|
| 1095 | LaTeX Font Info: ... okay on input line 38. |
---|
| 1096 | LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 38. |
---|
| 1097 | LaTeX Font Info: ... okay on input line 38. |
---|
| 1098 | LaTeX Font Info: Try loading font information for T1+lmr on input line 38. |
---|
| 1099 | |
---|
| 1100 | (/usr/share/texlive/texmf-dist/tex/latex/lm/t1lmr.fd |
---|
| 1101 | File: t1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern |
---|
| 1102 | ) |
---|
| 1103 | \AtBeginShipoutBox=\box57 |
---|
| 1104 | Package hyperref Info: Link coloring OFF on input line 38. |
---|
| 1105 | |
---|
| 1106 | (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty |
---|
| 1107 | Package: nameref 2010/04/30 v2.40 Cross-referencing by name of section |
---|
| 1108 | |
---|
| 1109 | (/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty |
---|
| 1110 | Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO) |
---|
| 1111 | ) |
---|
| 1112 | \c@section@level=\count139 |
---|
| 1113 | ) |
---|
| 1114 | LaTeX Info: Redefining \ref on input line 38. |
---|
| 1115 | LaTeX Info: Redefining \pageref on input line 38. |
---|
| 1116 | LaTeX Info: Redefining \nameref on input line 38. |
---|
| 1117 | |
---|
| 1118 | (./FDL2012.out) (./FDL2012.out) |
---|
| 1119 | \@outlinefile=\write4 |
---|
| 1120 | \openout4 = `FDL2012.out'. |
---|
| 1121 | |
---|
| 1122 | |
---|
| 1123 | (/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii |
---|
| 1124 | [Loading MPS to PDF converter (version 2006.09.02).] |
---|
| 1125 | \scratchcounter=\count140 |
---|
| 1126 | \scratchdimen=\dimen180 |
---|
| 1127 | \scratchbox=\box58 |
---|
| 1128 | \nofMPsegments=\count141 |
---|
| 1129 | \nofMParguments=\count142 |
---|
| 1130 | \everyMPshowfont=\toks41 |
---|
| 1131 | \MPscratchCnt=\count143 |
---|
| 1132 | \MPscratchDim=\dimen181 |
---|
| 1133 | \MPnumerator=\count144 |
---|
| 1134 | \makeMPintoPDFobject=\count145 |
---|
| 1135 | \everyMPtoPDFconversion=\toks42 |
---|
| 1136 | ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty |
---|
| 1137 | Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf |
---|
| 1138 | |
---|
| 1139 | (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty |
---|
| 1140 | Package: grfext 2010/08/19 v1.1 Managing graphics extensions (HO) |
---|
| 1141 | ) |
---|
| 1142 | Package grfext Info: Graphics extension search list: |
---|
| 1143 | (grfext) [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE |
---|
| 1144 | G,.JBIG2,.JB2,.eps] |
---|
| 1145 | (grfext) \AppendGraphicsExtensions on input line 452. |
---|
| 1146 | |
---|
| 1147 | (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg |
---|
| 1148 | File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv |
---|
| 1149 | e |
---|
| 1150 | )) |
---|
| 1151 | ABD: EveryShipout initializing macros |
---|
| 1152 | LaTeX Info: Redefining \degres on input line 38. |
---|
| 1153 | |
---|
| 1154 | |
---|
| 1155 | Package frenchb.ldf Warning: The definition of \@makecaption has been changed, |
---|
| 1156 | (frenchb.ldf) frenchb will NOT customise it; |
---|
| 1157 | (frenchb.ldf) reported on input line 38. |
---|
| 1158 | |
---|
| 1159 | LaTeX Info: Redefining \dots on input line 38. |
---|
| 1160 | LaTeX Info: Redefining \up on input line 38. |
---|
| 1161 | LaTeX Info: Redefining \microtypecontext on input line 38. |
---|
| 1162 | Package microtype Info: Generating PDF output. |
---|
| 1163 | Package microtype Info: Character protrusion enabled (level 2). |
---|
| 1164 | Package microtype Info: Using default protrusion set `alltext'. |
---|
| 1165 | Package microtype Info: Automatic font expansion enabled (level 2), |
---|
| 1166 | (microtype) stretch: 20, shrink: 20, step: 1, non-selected. |
---|
| 1167 | Package microtype Info: Using default expansion set `basictext'. |
---|
| 1168 | Package microtype Info: No tracking. |
---|
| 1169 | Package microtype Info: No adjustment of interword spacing. |
---|
| 1170 | Package microtype Info: Adjustment of character kerning enabled. |
---|
| 1171 | Package microtype Info: Using default kerning set `alltext'. |
---|
| 1172 | Package microtype Info: Redefining babel's language switching commands. |
---|
| 1173 | Package microtype Info: Switching off French babel's active characters (:;!?). |
---|
| 1174 | (/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-cmr.cfg |
---|
| 1175 | File: mt-cmr.cfg 2009/11/09 v2.0 microtype config. file: Computer Modern Roman |
---|
| 1176 | (RS) |
---|
| 1177 | ) |
---|
| 1178 | LaTeX Font Info: Try loading font information for OT1+lmr on input line 42. |
---|
| 1179 | |
---|
| 1180 | (/usr/share/texlive/texmf-dist/tex/latex/lm/ot1lmr.fd |
---|
| 1181 | File: ot1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern |
---|
| 1182 | )<<ot1.cmap>> |
---|
| 1183 | LaTeX Font Info: Try loading font information for OML+lmm on input line 42. |
---|
| 1184 | |
---|
| 1185 | (/usr/share/texlive/texmf-dist/tex/latex/lm/omllmm.fd |
---|
| 1186 | File: omllmm.fd 2009/10/30 v1.6 Font defs for Latin Modern |
---|
| 1187 | ) |
---|
| 1188 | LaTeX Font Info: Try loading font information for OMS+lmsy on input line 42. |
---|
| 1189 | |
---|
| 1190 | |
---|
| 1191 | (/usr/share/texlive/texmf-dist/tex/latex/lm/omslmsy.fd |
---|
| 1192 | File: omslmsy.fd 2009/10/30 v1.6 Font defs for Latin Modern |
---|
| 1193 | ) |
---|
| 1194 | LaTeX Font Info: Try loading font information for OMX+lmex on input line 42. |
---|
| 1195 | |
---|
| 1196 | |
---|
| 1197 | (/usr/share/texlive/texmf-dist/tex/latex/lm/omxlmex.fd |
---|
| 1198 | File: omxlmex.fd 2009/10/30 v1.6 Font defs for Latin Modern |
---|
| 1199 | ) |
---|
| 1200 | LaTeX Font Info: External font `lmex10' loaded for size |
---|
| 1201 | (Font) <12> on input line 42. |
---|
| 1202 | LaTeX Font Info: External font `lmex10' loaded for size |
---|
| 1203 | (Font) <8> on input line 42. |
---|
| 1204 | LaTeX Font Info: External font `lmex10' loaded for size |
---|
| 1205 | (Font) <6> on input line 42. |
---|
| 1206 | LaTeX Font Info: Try loading font information for U+msa on input line 42. |
---|
| 1207 | |
---|
| 1208 | (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd |
---|
| 1209 | File: umsa.fd 2009/06/22 v3.00 AMS symbols A |
---|
| 1210 | ) |
---|
| 1211 | (/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msa.cfg |
---|
| 1212 | File: mt-msa.cfg 2006/02/04 v1.1 microtype config. file: AMS symbols (a) (RS) |
---|
| 1213 | ) |
---|
| 1214 | LaTeX Font Info: Try loading font information for U+msb on input line 42. |
---|
| 1215 | |
---|
| 1216 | (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd |
---|
| 1217 | File: umsb.fd 2009/06/22 v3.00 AMS symbols B |
---|
| 1218 | ) |
---|
| 1219 | (/usr/share/texlive/texmf-dist/tex/latex/microtype/mt-msb.cfg |
---|
| 1220 | File: mt-msb.cfg 2005/06/01 v1.0 microtype config. file: AMS symbols (b) (RS) |
---|
| 1221 | ) |
---|
| 1222 | LaTeX Font Info: External font `lmex10' loaded for size |
---|
| 1223 | (Font) <10> on input line 73. |
---|
| 1224 | LaTeX Font Info: External font `lmex10' loaded for size |
---|
| 1225 | (Font) <7> on input line 73. |
---|
| 1226 | LaTeX Font Info: External font `lmex10' loaded for size |
---|
| 1227 | (Font) <5> on input line 73. |
---|
| 1228 | |
---|
| 1229 | |
---|
| 1230 | LaTeX Warning: Citation `GrumbergLong91assume_guarantee' on page 1 undefined on |
---|
| 1231 | input line 73. |
---|
| 1232 | |
---|
| 1233 | |
---|
| 1234 | LaTeX Warning: Citation `HQR98assume_guarantee' on page 1 undefined on input li |
---|
| 1235 | ne 73. |
---|
| 1236 | |
---|
| 1237 | [1{/usr/share/texlive/texmf/fonts/map/pdftex/updmap/pdftex.map} |
---|
| 1238 | |
---|
| 1239 | |
---|
| 1240 | |
---|
| 1241 | ] |
---|
| 1242 | |
---|
| 1243 | LaTeX Warning: Citation `GrafSaidi97abstract_construct' on page 2 undefined on |
---|
| 1244 | input line 77. |
---|
| 1245 | |
---|
| 1246 | |
---|
| 1247 | LaTeX Warning: Citation `clarke00cegar' on page 2 undefined on input line 80. |
---|
| 1248 | |
---|
| 1249 | |
---|
| 1250 | Overfull \hbox (1.1072pt too wide) in paragraph at lines 80--81 |
---|
| 1251 | []\T1/lmr/m/n/10 (-20) A few years later, an in-ter-est-ing abstraction-refinem |
---|
| 1252 | ent |
---|
| 1253 | [] |
---|
| 1254 | |
---|
| 1255 | |
---|
| 1256 | LaTeX Warning: Citation `XieBrowne03composition_soft' on page 2 undefined on in |
---|
| 1257 | put line 82. |
---|
| 1258 | |
---|
| 1259 | |
---|
| 1260 | LaTeX Warning: Citation `PMT02compositional_MC' on page 2 undefined on input li |
---|
| 1261 | ne 85. |
---|
| 1262 | |
---|
| 1263 | |
---|
| 1264 | LaTeX Warning: Citation `SNBE06property_based' on page 2 undefined on input lin |
---|
| 1265 | e 89. |
---|
| 1266 | |
---|
| 1267 | |
---|
| 1268 | LaTeX Warning: Citation `microsoft04SLAM' on page 2 undefined on input line 92. |
---|
| 1269 | |
---|
| 1270 | |
---|
| 1271 | |
---|
| 1272 | LaTeX Warning: Citation `berkeley07BLAST' on page 2 undefined on input line 92. |
---|
| 1273 | |
---|
| 1274 | |
---|
| 1275 | |
---|
| 1276 | LaTeX Warning: Citation `Kroening_al07vcegar' on page 2 undefined on input line |
---|
| 1277 | 92. |
---|
| 1278 | |
---|
| 1279 | |
---|
| 1280 | LaTeX Warning: Citation `pwk2009-date' on page 2 undefined on input line 95. |
---|
| 1281 | |
---|
| 1282 | |
---|
| 1283 | LaTeX Warning: Citation `Kunz_al11ipc_abs' on page 2 undefined on input line 95 |
---|
| 1284 | . |
---|
| 1285 | |
---|
| 1286 | |
---|
| 1287 | LaTeX Warning: Citation `braunstein07ctl_abstraction' on page 2 undefined on in |
---|
| 1288 | put line 98. |
---|
| 1289 | |
---|
| 1290 | |
---|
| 1291 | LaTeX Warning: Citation `bara08abs_composant' on page 2 undefined on input line |
---|
| 1292 | 98. |
---|
| 1293 | |
---|
| 1294 | |
---|
| 1295 | LaTeX Warning: Citation `clarke00cegar' on page 2 undefined on input line 104. |
---|
| 1296 | |
---|
| 1297 | |
---|
| 1298 | LaTeX Warning: Citation `braunstein07ctl_abstraction' on page 2 undefined on in |
---|
| 1299 | put line 108. |
---|
| 1300 | |
---|
| 1301 | LaTeX Font Info: Try loading font information for TS1+lmr on input line 114. |
---|
| 1302 | |
---|
| 1303 | (/usr/share/texlive/texmf-dist/tex/latex/lm/ts1lmr.fd |
---|
| 1304 | File: ts1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern |
---|
| 1305 | ) [2] |
---|
| 1306 | LaTeX Font Info: Try loading font information for U+bbold on input line 144. |
---|
| 1307 | |
---|
| 1308 | |
---|
| 1309 | (/usr/share/texlive/texmf-dist/tex/latex/bbold/Ubbold.fd) |
---|
| 1310 | <our_CEGAR_Loop_Enhanced_2S_PNG.png, id=88, 238.64156pt x 119.69719pt> |
---|
| 1311 | File: our_CEGAR_Loop_Enhanced_2S_PNG.png Graphic file (type png) |
---|
| 1312 | |
---|
| 1313 | <use our_CEGAR_Loop_Enhanced_2S_PNG.png> |
---|
| 1314 | Package pdftex.def Info: our_CEGAR_Loop_Enhanced_2S_PNG.png used on input line |
---|
| 1315 | 182. |
---|
| 1316 | (pdftex.def) Requested size: 238.64096pt x 119.69688pt. |
---|
| 1317 | |
---|
| 1318 | |
---|
| 1319 | LaTeX Warning: Citation `braunstein07ctl_abstraction' on page 3 undefined on in |
---|
| 1320 | put line 190. |
---|
| 1321 | |
---|
| 1322 | |
---|
| 1323 | LaTeX Warning: Citation `bara08abs_composant' on page 3 undefined on input line |
---|
| 1324 | 190. |
---|
| 1325 | |
---|
| 1326 | |
---|
| 1327 | LaTeX Warning: Citation `ucberkeley96vis' on page 3 undefined on input line 192 |
---|
| 1328 | . |
---|
| 1329 | |
---|
| 1330 | [3 <./our_CEGAR_Loop_Enhanced_2S_PNG.png>] |
---|
| 1331 | Underfull \hbox (badness 10000) in paragraph at lines 224--230 |
---|
| 1332 | |
---|
| 1333 | [] |
---|
| 1334 | |
---|
| 1335 | |
---|
| 1336 | Underfull \hbox (badness 10000) in paragraph at lines 224--230 |
---|
| 1337 | |
---|
| 1338 | [] |
---|
| 1339 | |
---|
| 1340 | |
---|
| 1341 | Underfull \hbox (badness 10000) in paragraph at lines 224--230 |
---|
| 1342 | |
---|
| 1343 | [] |
---|
| 1344 | |
---|
| 1345 | |
---|
| 1346 | Underfull \hbox (badness 10000) in paragraph at lines 238--241 |
---|
| 1347 | |
---|
| 1348 | [] |
---|
| 1349 | |
---|
| 1350 | |
---|
| 1351 | Underfull \hbox (badness 10000) in paragraph at lines 238--241 |
---|
| 1352 | |
---|
| 1353 | [] |
---|
| 1354 | |
---|
| 1355 | |
---|
| 1356 | Overfull \hbox (0.81122pt too wide) in paragraph at lines 244--245 |
---|
| 1357 | []\T1/lmr/m/it/10 (-20) If $\OMS/lmsy/m/n/10 8\OML/lmm/m/it/10 k$ \T1/lmr/m/it/ |
---|
| 1358 | 10 (-20) we have $[] \OMS/lmsy/m/n/10 ^^R \OML/lmm/m/it/10 V[]$ \T1/lmr/m/it/10 |
---|
| 1359 | (-20) and $\OMS/lmsy/m/n/10 8\OML/lmm/m/it/10 v[] \OMS/lmsy/m/n/10 2 []\OML/lm |
---|
| 1360 | m/m/it/10 ; s[]\OMS/lmsy/m/n/10 j[] \OT1/lmr/m/n/10 (-20) = |
---|
| 1361 | [] |
---|
| 1362 | |
---|
| 1363 | |
---|
| 1364 | Overfull \hbox (3.01537pt too wide) in paragraph at lines 261--264 |
---|
| 1365 | \OML/lmm/m/it/10 max\OT1/lmr/m/n/10 (-20) (\OML/lmm/m/it/10 depth\OT1/lmr/m/n/1 |
---|
| 1366 | 0 (-20) (\OML/lmm/m/it/10 Gv[]\OT1/lmr/m/n/10 (-20) )\OML/lmm/m/it/10 ; depth\O |
---|
| 1367 | T1/lmr/m/n/10 (-20) (\OML/lmm/m/it/10 Gv[]\OT1/lmr/m/n/10 (-20) )\OML/lmm/m/it/ |
---|
| 1368 | 10 ; :::; depth\OT1/lmr/m/n/10 (-20) (\OML/lmm/m/it/10 Gv[]\OT1/lmr/m/n/10 (-20 |
---|
| 1369 | ) )\OML/lmm/m/it/10 ; :::;$ |
---|
| 1370 | [] |
---|
| 1371 | |
---|
| 1372 | [4] |
---|
| 1373 | Underfull \hbox (badness 10000) in paragraph at lines 296--297 |
---|
| 1374 | |
---|
| 1375 | [] |
---|
| 1376 | |
---|
| 1377 | <Dependency_graph_weight_PNG.png, id=118, 112.16907pt x 167.12437pt> |
---|
| 1378 | File: Dependency_graph_weight_PNG.png Graphic file (type png) |
---|
| 1379 | |
---|
| 1380 | <use Dependency_graph_weight_PNG.png> |
---|
| 1381 | Package pdftex.def Info: Dependency_graph_weight_PNG.png used on input line 319 |
---|
| 1382 | . |
---|
| 1383 | (pdftex.def) Requested size: 112.16878pt x 167.12395pt. |
---|
| 1384 | |
---|
| 1385 | Underfull \hbox (badness 10000) in paragraph at lines 344--345 |
---|
| 1386 | |
---|
| 1387 | [] |
---|
| 1388 | |
---|
| 1389 | [5 <./Dependency_graph_weight_PNG.png>] |
---|
| 1390 | Overfull \hbox (11.93875pt too wide) in paragraph at lines 357--358 |
---|
| 1391 | []$\OML/lmm/m/it/10 S[] \OT1/lmr/m/n/10 (-20) = \OMS/lmsy/m/n/10 f\OML/lmm/m/it |
---|
| 1392 | /10 s[]; s[]; s[]; :::; s[]; s[]; :::; s[]\OMS/lmsy/m/n/10 g$ |
---|
| 1393 | [] |
---|
| 1394 | |
---|
| 1395 | <K_sigma_i_S_PNG.png, id=126, 33.12375pt x 213.79875pt> |
---|
| 1396 | File: K_sigma_i_S_PNG.png Graphic file (type png) |
---|
| 1397 | |
---|
| 1398 | <use K_sigma_i_S_PNG.png> |
---|
| 1399 | Package pdftex.def Info: K_sigma_i_S_PNG.png used on input line 380. |
---|
| 1400 | (pdftex.def) Requested size: 33.12366pt x 213.79822pt. |
---|
| 1401 | |
---|
| 1402 | |
---|
| 1403 | LaTeX Warning: `!h' float specifier changed to `!ht'. |
---|
| 1404 | |
---|
| 1405 | |
---|
| 1406 | Underfull \hbox (badness 10000) in paragraph at lines 420--421 |
---|
| 1407 | |
---|
| 1408 | [] |
---|
| 1409 | |
---|
| 1410 | |
---|
| 1411 | Underfull \hbox (badness 10000) in paragraph at lines 436--437 |
---|
| 1412 | |
---|
| 1413 | [] |
---|
| 1414 | |
---|
| 1415 | [6 <./K_sigma_i_S_PNG.png>] |
---|
| 1416 | No file FDL2012.bbl. |
---|
| 1417 | Package atveryend Info: Empty hook `BeforeClearDocument' on input line 462. |
---|
| 1418 | [7 |
---|
| 1419 | |
---|
| 1420 | ] |
---|
| 1421 | Package atveryend Info: Empty hook `AfterLastShipout' on input line 462. |
---|
| 1422 | (./FDL2012.aux) |
---|
| 1423 | Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 462. |
---|
| 1424 | Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 462. |
---|
| 1425 | Package rerunfilecheck Info: File `FDL2012.out' has not changed. |
---|
| 1426 | (rerunfilecheck) Checksum: BA9407F3BD913632A2377663C2D85E5A;965. |
---|
| 1427 | |
---|
| 1428 | |
---|
| 1429 | LaTeX Warning: There were undefined references. |
---|
| 1430 | |
---|
| 1431 | |
---|
| 1432 | LaTeX Warning: There were multiply-defined labels. |
---|
| 1433 | |
---|
| 1434 | ) |
---|
| 1435 | Here is how much of TeX's memory you used: |
---|
| 1436 | 18496 strings out of 492508 |
---|
| 1437 | 332773 string characters out of 3115493 |
---|
| 1438 | 452738 words of memory out of 3000000 |
---|
| 1439 | 21197 multiletter control sequences out of 15000+200000 |
---|
| 1440 | 69857 words of font info for 127 fonts, out of 3000000 for 9000 |
---|
| 1441 | 1648 hyphenation exceptions out of 8191 |
---|
| 1442 | 56i,10n,68p,951b,935s stack positions out of 5000i,500n,10000p,200000b,50000s |
---|
| 1443 | {/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-ts1.enc}{/usr/share/texl |
---|
| 1444 | ive/texmf-dist/fonts/enc/dvips/lm/lm-mathsy.enc}{/usr/share/texlive/texmf-dist/ |
---|
| 1445 | fonts/enc/dvips/lm/lm-rm.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/ |
---|
| 1446 | lm-mathit.enc}{/usr/share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-ec.enc}{/usr |
---|
| 1447 | /share/texlive/texmf-dist/fonts/enc/dvips/lm/lm-mathex.enc} |
---|
| 1448 | !pdfTeX error: pdflatex (file bbold10.pfb): cannot open Type 1 font file for re |
---|
| 1449 | ading |
---|
| 1450 | ==> Fatal error occurred, no output PDF file produced! |
---|