helm/papers/whelp/moogle.log

   1 This is e-TeX, Version 3.14159-2.1 (Web2C 7.4.5) (format=latex 2005.7.20)  12 OCT 2005 13:40
   2 entering extended mode
   3 **moogle.tex
   4 (./moogle.tex
   5 LaTeX2e <2001/06/01>
   6 Babel <v3.7h> and hyphenation patterns for american, french, ngerman, italian,
   7 nohyphenation, loaded.
   8 (./llncs.cls
   9 Document Class: llncs 2002/01/28 v2.13
  10  LaTeX document class for Lecture Notes in Computer Science
  11 (/usr/share/texmf/tex/latex/base/article.cls
  12 Document Class: article 2001/04/21 v1.4e Standard LaTeX document class
  13 (/usr/share/texmf/tex/latex/base/size10.clo
  14 File: size10.clo 2001/04/21 v1.4e Standard LaTeX file (size option)
  15 )
  16 \c@part=\count79
  17 \c@section=\count80
  18 \c@subsection=\count81
  19 \c@subsubsection=\count82
  20 \c@paragraph=\count83
  21 \c@subparagraph=\count84
  22 \c@figure=\count85
  23 \c@table=\count86
  24 \abovecaptionskip=\skip41
  25 \belowcaptionskip=\skip42
  26 \bibindent=\dimen102
  27 )
  28 (/usr/share/texmf/tex/latex/tools/multicol.sty
  29 Package: multicol 2000/07/10 v1.5z multicolumn formatting (FMi)
  30 \c@tracingmulticols=\count87
  31 \mult@box=\box26
  32 \multicol@leftmargin=\dimen103
  33 \c@unbalance=\count88
  34 \c@collectmore=\count89
  35 \doublecol@number=\count90
  36 \multicoltolerance=\count91
  37 \multicolpretolerance=\count92
  38 \full@width=\dimen104
  39 \page@free=\dimen105
  40 \premulticols=\dimen106
  41 \postmulticols=\dimen107
  42 \multicolsep=\skip43
  43 \multicolbaselineskip=\skip44
  44 \partial@page=\box27
  45 \last@line=\box28
  46 \mult@rightbox=\box29
  47 \mult@grightbox=\box30
  48 \mult@gfirstbox=\box31
  49 \mult@firstbox=\box32
  50 \@tempa=\box33
  51 \@tempa=\box34
  52 \@tempa=\box35
  53 \@tempa=\box36
  54 \@tempa=\box37
  55 \@tempa=\box38
  56 \@tempa=\box39
  57 \@tempa=\box40
  58 \@tempa=\box41
  59 \@tempa=\box42
  60 \@tempa=\box43
  61 \@tempa=\box44
  62 \@tempa=\box45
  63 \@tempa=\box46
  64 \@tempa=\box47
  65 \@tempa=\box48
  66 \@tempa=\box49
  67 \c@columnbadness=\count93
  68 \c@finalcolumnbadness=\count94
  69 \last@try=\dimen108
  70 \multicolovershoot=\dimen109
  71 \multicolundershoot=\dimen110
  72 \mult@nat@firstbox=\box50
  73 \colbreak@box=\box51
  74 )
  75 \c@chapter=\count95
  76 LaTeX Font Info:    Redeclaring math symbol \Gamma on input line 360.
  77 LaTeX Font Info:    Redeclaring math symbol \Delta on input line 361.
  78 LaTeX Font Info:    Redeclaring math symbol \Theta on input line 362.
  79 LaTeX Font Info:    Redeclaring math symbol \Lambda on input line 363.
  80 LaTeX Font Info:    Redeclaring math symbol \Xi on input line 364.
  81 LaTeX Font Info:    Redeclaring math symbol \Pi on input line 365.
  82 LaTeX Font Info:    Redeclaring math symbol \Sigma on input line 366.
  83 LaTeX Font Info:    Redeclaring math symbol \Upsilon on input line 367.
  84 LaTeX Font Info:    Redeclaring math symbol \Phi on input line 368.
  85 LaTeX Font Info:    Redeclaring math symbol \Psi on input line 369.
  86 LaTeX Font Info:    Redeclaring math symbol \Omega on input line 370.
  87 \tocchpnum=\dimen111
  88 \tocsecnum=\dimen112
  89 \tocsectotal=\dimen113
  90 \tocsubsecnum=\dimen114
  91 \tocsubsectotal=\dimen115
  92 \tocsubsubsecnum=\dimen116
  93 \tocsubsubsectotal=\dimen117
  94 \tocparanum=\dimen118
  95 \tocparatotal=\dimen119
  96 \tocsubparanum=\dimen120
  97 \@tempcntc=\count96
  98 \fnindent=\dimen121
  99 \c@@inst=\count97
 100 \c@@auth=\count98
 101 \c@auco=\count99
 102 \instindent=\dimen122
 103 \authrun=\box52
 104 \authorrunning=\toks14
 105 \tocauthor=\toks15
 106 \titrun=\box53
 107 \titlerunning=\toks16
 108 \toctitle=\toks17
 109 \c@theorem=\count100
 110 \c@case=\count101
 111 \c@conjecture=\count102
 112 \c@corollary=\count103
 113 \c@definition=\count104
 114 \c@example=\count105
 115 \c@exercise=\count106
 116 \c@lemma=\count107
 117 \c@note=\count108
 118 \c@problem=\count109
 119 \c@property=\count110
 120 \c@proposition=\count111
 121 \c@question=\count112
 122 \c@solution=\count113
 123 \c@remark=\count114
 124 \headlineindent=\dimen123
 125 )
 126 (/usr/share/texmf/tex/latex/graphics/graphicx.sty
 127 Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
 128
 129 (/usr/share/texmf/tex/latex/graphics/keyval.sty
 130 Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
 131 \KV@toks@=\toks18
 132 )
 133 (/usr/share/texmf/tex/latex/graphics/graphics.sty
 134 Package: graphics 2001/07/07 v1.0n Standard LaTeX Graphics (DPC,SPQR)
 135
 136 (/usr/share/texmf/tex/latex/graphics/trig.sty
 137 Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
 138 )
 139 (/usr/share/texmf/tex/latex/config/graphics.cfg
 140 File: graphics.cfg 2001/08/31 v1.1 graphics configuration of teTeX/TeXLive
 141 )
 142 Package graphics Info: Driver file: dvips.def on input line 80.
 143
 144 (/usr/share/texmf/tex/latex/graphics/dvips.def
 145 File: dvips.def 1999/02/16 v3.0i Driver-dependant file (DPC,SPQR)
 146 ))
 147 \Gin@req@height=\dimen124
 148 \Gin@req@width=\dimen125
 149 )
 150 (/usr/share/texmf/tex/latex/amsfonts/amssymb.sty
 151 Package: amssymb 2002/01/22 v2.2d
 152
 153 (/usr/share/texmf/tex/latex/amsfonts/amsfonts.sty
 154 Package: amsfonts 2001/10/25 v2.2f
 155 \@emptytoks=\toks19
 156 \symAMSa=\mathgroup4
 157 \symAMSb=\mathgroup5
 158 LaTeX Font Info:    Overwriting math alphabet `\mathfrak' in version `bold'
 159 (Font)                  U/euf/m/n --> U/euf/b/n on input line 132.
 160 ))
 161 (/usr/share/texmf/tex/latex/amsmath/amsmath.sty
 162 Package: amsmath 2000/07/18 v2.13 AMS math features
 163 \@mathmargin=\skip45
 164
 165 For additional information on amsmath, use the `?' option.
 166 (/usr/share/texmf/tex/latex/amsmath/amstext.sty
 167 Package: amstext 2000/06/29 v2.01
 168
 169 (/usr/share/texmf/tex/latex/amsmath/amsgen.sty
 170 File: amsgen.sty 1999/11/30 v2.0
 171 \@emptytoks=\toks20
 172 \ex@=\dimen126
 173 ))
 174 (/usr/share/texmf/tex/latex/amsmath/amsbsy.sty
 175 Package: amsbsy 1999/11/29 v1.2d
 176 \pmbraise@=\dimen127
 177 )
 178 (/usr/share/texmf/tex/latex/amsmath/amsopn.sty
 179 Package: amsopn 1999/12/14 v2.01 operator names
 180 )
 181 \inf@bad=\count115
 182 LaTeX Info: Redefining \frac on input line 211.
 183 \uproot@=\count116
 184 \leftroot@=\count117
 185 LaTeX Info: Redefining \overline on input line 307.
 186 \classnum@=\count118
 187 \DOTSCASE@=\count119
 188 LaTeX Info: Redefining \ldots on input line 379.
 189 LaTeX Info: Redefining \dots on input line 382.
 190 LaTeX Info: Redefining \cdots on input line 467.
 191 \Mathstrutbox@=\box54
 192 \strutbox@=\box55
 193 \big@size=\dimen128
 194 LaTeX Font Info:    Redeclaring font encoding OML on input line 567.
 195 LaTeX Font Info:    Redeclaring font encoding OMS on input line 568.
 196
 197
 198 Package amsmath Warning: Unable to redefine math accent \vec.
 199
 200 \macc@depth=\count120
 201 \c@MaxMatrixCols=\count121
 202 \dotsspace@=\muskip10
 203 \c@parentequation=\count122
 204 \dspbrk@lvl=\count123
 205 \tag@help=\toks21
 206 \row@=\count124
 207 \column@=\count125
 208 \maxfields@=\count126
 209 \andhelp@=\toks22
 210 \eqnshift@=\dimen129
 211 \alignsep@=\dimen130
 212 \tagshift@=\dimen131
 213 \tagwidth@=\dimen132
 214 \totwidth@=\dimen133
 215 \lineht@=\dimen134
 216 \@envbody=\toks23
 217 \multlinegap=\skip46
 218 \multlinetaggap=\skip47
 219 \mathdisplay@stack=\toks24
 220 LaTeX Info: Redefining \[ on input line 2666.
 221 LaTeX Info: Redefining \] on input line 2667.
 222 ) (/usr/share/texmf/tex/latex/hyperref/hyperref.sty
 223 Package: hyperref 2003/01/22 v6.73n Hypertext links for LaTeX
 224 \@linkdim=\dimen135
 225 \Hy@linkcounter=\count127
 226 \Hy@pagecounter=\count128
 227
 228 (/usr/share/texmf/tex/latex/hyperref/pd1enc.def
 229 File: pd1enc.def 2003/01/22 v6.73n Hyperref: PDFDocEncoding definition (HO)
 230 )
 231 (/usr/share/texmf/tex/latex/config/hyperref.cfg
 232 File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive and teTeX
 233 )
 234 Package hyperref Info: Hyper figures OFF on input line 1792.
 235 Package hyperref Info: Link nesting OFF on input line 1797.
 236 Package hyperref Info: Hyper index ON on input line 1800.
 237 Package hyperref Info: Plain pages ON on input line 1805.
 238 Package hyperref Info: Backreferencing OFF on input line 1812.
 239
 240 Implicit mode ON; LaTeX internals redefined
 241 Package hyperref Info: Bookmarks ON on input line 1916.
 242 (/usr/share/texmf/tex/latex/misc/url.sty
 243 \Urlmuskip=\muskip11
 244 Package: url 1999/03/28  ver 1.5x  Verb mode for urls, etc.
 245 )
 246 LaTeX Info: Redefining \url on input line 2055.
 247 \Fld@menulength=\count129
 248 \Field@Width=\dimen136
 249 \Fld@charsize=\dimen137
 250 \Choice@toks=\toks25
 251 \Field@toks=\toks26
 252 Package hyperref Info: Hyper figures OFF on input line 2513.
 253 Package hyperref Info: Link nesting OFF on input line 2518.
 254 Package hyperref Info: Hyper index ON on input line 2521.
 255 Package hyperref Info: backreferencing OFF on input line 2528.
 256 Package hyperref Info: Link coloring OFF on input line 2533.
 257 \c@Item=\count130
 258 \c@Hfootnote=\count131
 259 )
 260 *hyperref using default driver hdvips*
 261 (/usr/share/texmf/tex/latex/hyperref/hdvips.def
 262 File: hdvips.def 2003/01/22 v6.73n Hyperref driver for dvips
 263
 264 (/usr/share/texmf/tex/latex/hyperref/pdfmark.def
 265 File: pdfmark.def 2003/01/22 v6.73n Hyperref definitions for pdfmark specials
 266 \pdf@docset=\toks27
 267 \pdf@box=\box56
 268 \pdf@toks=\toks28
 269 \pdf@defaulttoks=\toks29
 270 \Fld@listcount=\count132
 271 \@outlinefile=\write3
 272 ))
 273 (/usr/share/texmf/tex/latex/misc/picins.sty
 274 Option `picins' Version 3.0 Sep. 1992, TH Darmstadt/HRZ
 275 \@BILD=\box57
 276 \@TEXT=\box58
 277 \d@breite=\dimen138
 278 \d@hoehe=\dimen139
 279 \d@xoff=\dimen140
 280 \d@yoff=\dimen141
 281 \d@shad=\dimen142
 282 \d@dash=\dimen143
 283 \d@boxl=\dimen144
 284 \d@pichskip=\dimen145
 285 \d@tmp=\dimen146
 286 \d@tmpa=\dimen147
 287 \d@bskip=\dimen148
 288 \hsiz@=\dimen149
 289 \p@getot@l=\dimen150
 290 \c@breite=\count133
 291 \c@hoehe=\count134
 292 \c@xoff=\count135
 293 \c@yoff=\count136
 294 \c@pos=\count137
 295 \c@shad=\count138
 296 \c@dash=\count139
 297 \c@boxl=\count140
 298 \c@zeilen=\count141
 299 \@changemode=\count142
 300 \c@piccaption=\count143
 301 \c@piccaptionpos=\count144
 302 \c@picpos=\count145
 303 \c@whole=\count146
 304 \c@half=\count147
 305 \c@tmp=\count148
 306 \c@tmpa=\count149
 307 \c@tmpb=\count150
 308 \c@tmpc=\count151
 309 \c@tmpd=\count152
 310 \d@leftskip=\skip48
 311 \ptoti=\dimen151
 312 \ptotii=\dimen152
 313 \env@box=\box59
 314 \d@envdp=\dimen153
 315 \c@hsize=\count153
 316 \c@envdp=\count154
 317 \d@envb=\dimen154
 318 ) (./moogle.aux)
 319 \openout1 = `moogle.aux'.
 320
 321 LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 41.
 322 LaTeX Font Info:    ... okay on input line 41.
 323 LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 41.
 324 LaTeX Font Info:    ... okay on input line 41.
 325 LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 41.
 326 LaTeX Font Info:    ... okay on input line 41.
 327 LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 41.
 328 LaTeX Font Info:    ... okay on input line 41.
 329 LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 41.
 330 LaTeX Font Info:    ... okay on input line 41.
 331 LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 41.
 332 LaTeX Font Info:    ... okay on input line 41.
 333 LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 41.
 334 LaTeX Font Info:    ... okay on input line 41.
 335 Package hyperref Info: Link coloring OFF on input line 41.
 336
 337 (/usr/share/texmf/tex/latex/hyperref/nameref.sty
 338 Package: nameref 2001/01/27 v2.19 Cross-referencing by name of section
 339 \c@section@level=\count155
 340 )
 341 LaTeX Info: Redefining \ref on input line 41.
 342 LaTeX Info: Redefining \pageref on input line 41.
 343  (./moogle.out) (./moogle.out)
 344 \openout3 = `moogle.out'.
 345
 346 LaTeX Font Info:    Try loading font information for U+msa on input line 43.
 347 (/usr/share/texmf/tex/latex/amsfonts/umsa.fd
 348 File: umsa.fd 2002/01/19 v2.2g AMS font definitions
 349 )
 350 LaTeX Font Info:    Try loading font information for U+msb on input line 43.
 351
 352 (/usr/share/texmf/tex/latex/amsfonts/umsb.fd
 353 File: umsb.fd 2002/01/19 v2.2g AMS font definitions
 354 )
 355
 356 Package hyperref Warning: bookmark level for unknown title defaults to 0.
 357
 358
 359 Package hyperref Warning: bookmark level for unknown author defaults to 0.
 360
 361
 362 Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
 363 (hyperref)                removing `\unskip' on input line 43.
 364
 365
 366 Package hyperref Warning: Token not allowed in a PDFDocEncoded string,
 367 (hyperref)                removing `\ignorespaces' on input line 43.
 368
 369 [1
 370
 371 ] [2]
 372 File: engine_new.eps Graphic file (type eps)
 373  <engine_new.eps> [3]
 374 File: disambiguation-1.eps Graphic file (type eps)
 375  <disambiguation-1.eps> [4] [5]
 376
 377 LaTeX Font Warning: Font shape `OT1/cmr/bx/sc' undefined
 378 (Font)              using `OT1/cmr/bx/n' instead on input line 445.
 379
 380 [6] [7]
 381 File: match_sin.eps Graphic file (type eps)
 382  <match_sin.eps> [8] [9] [10] [11]
 383 File: architecture_new.eps Graphic file (type eps)
 384  <architecture_new.eps> [12] [13]
 385 [14]
 386 Underfull \hbox (badness 3138) in paragraph at lines 939--943
 387 []\OT1/cmr/m/n/9 G. Bancerek, P. Rud-nicki. \OT1/cmr/m/it/9 In-for-ma-tion Re-t
 388 rieval in MML\OT1/cmr/m/n/9 . In A.Asperti,
 389  []
 390
 391 [15] [16] (./moogle.aux)
 392
 393 LaTeX Font Warning: Some font shapes were not available, defaults substituted.
 394
 395  )
 396 Here is how much of TeX's memory you used:
 397  3548 strings out of 95735
 398  43764 string characters out of 1194528
 399  113902 words of memory out of 1000001
 400  6511 multiletter control sequences out of 10000+50000
 401  12951 words of font info for 49 fonts, out of 500000 for 1000
 402  14 hyphenation exceptions out of 1000
 403  29i,9n,32p,223b,357s stack positions out of 1500i,500n,5000p,200000b,5000s
 404
 405 Output written on moogle.dvi (16 pages, 91640 bytes).