opt.log revision 2450a4210dee64b064499a3a1154129bdfc74981
This is pdfTeXk, Version 3.141592-1.40.3 (Web2C 7.5.6) (format=pdflatex 2008.12.18) 18 JUN 2010 16:44
entering extended mode
%&-line parsing enabled.
**opt.tex
(./opt.tex
LaTeX2e <2005/12/01>
Babel <v3.8h> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, loaded.
(./llncs.cls
Document Class: llncs 2010/04/15 v2.16
LaTeX document class for Lecture Notes in Computer Science
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
File: size10.clo 2005/09/16 v1.4f Standard LaTeX file (size option)
)
\c@part=\count79
\c@section=\count80
\c@subsection=\count81
\c@subsubsection=\count82
\c@paragraph=\count83
\c@subparagraph=\count84
\c@figure=\count85
\c@table=\count86
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
)
Package: multicol 2006/05/18 v1.6g multicolumn formatting (FMi)
\c@tracingmulticols=\count87
\mult@box=\box26
\multicol@leftmargin=\dimen103
\c@unbalance=\count88
\c@collectmore=\count89
\doublecol@number=\count90
\multicoltolerance=\count91
\multicolpretolerance=\count92
\full@width=\dimen104
\page@free=\dimen105
\premulticols=\dimen106
\postmulticols=\dimen107
\multicolsep=\skip43
\multicolbaselineskip=\skip44
\partial@page=\box27
\last@line=\box28
\mult@rightbox=\box29
\mult@grightbox=\box30
\mult@gfirstbox=\box31
\mult@firstbox=\box32
\@tempa=\box33
\@tempa=\box34
\@tempa=\box35
\@tempa=\box36
\@tempa=\box37
\@tempa=\box38
\@tempa=\box39
\@tempa=\box40
\@tempa=\box41
\@tempa=\box42
\@tempa=\box43
\@tempa=\box44
\@tempa=\box45
\@tempa=\box46
\@tempa=\box47
\@tempa=\box48
\@tempa=\box49
\c@columnbadness=\count93
\c@finalcolumnbadness=\count94
\last@try=\dimen108
\multicolovershoot=\dimen109
\multicolundershoot=\dimen110
\mult@nat@firstbox=\box50
\colbreak@box=\box51
) (./aliascnt.sty
Package: aliascnt 2009/09/08 v1.3 Alias counter (HO)
\c@chapter=\count95
LaTeX Font Info: Redeclaring math symbol \Gamma on input line 361.
LaTeX Font Info: Redeclaring math symbol \Delta on input line 362.
LaTeX Font Info: Redeclaring math symbol \Theta on input line 363.
LaTeX Font Info: Redeclaring math symbol \Lambda on input line 364.
LaTeX Font Info: Redeclaring math symbol \Xi on input line 365.
LaTeX Font Info: Redeclaring math symbol \Pi on input line 366.
LaTeX Font Info: Redeclaring math symbol \Sigma on input line 367.
LaTeX Font Info: Redeclaring math symbol \Upsilon on input line 368.
LaTeX Font Info: Redeclaring math symbol \Phi on input line 369.
LaTeX Font Info: Redeclaring math symbol \Psi on input line 370.
LaTeX Font Info: Redeclaring math symbol \Omega on input line 371.
\tocchpnum=\dimen111
\tocsecnum=\dimen112
\tocsectotal=\dimen113
\tocsubsecnum=\dimen114
\tocsubsectotal=\dimen115
\tocsubsubsecnum=\dimen116
\tocsubsubsectotal=\dimen117
\tocparanum=\dimen118
\tocparatotal=\dimen119
\tocsubparanum=\dimen120
\@tempcntc=\count96
\fnindent=\dimen121
\c@@inst=\count97
\c@@auth=\count98
\c@auco=\count99
\instindent=\dimen122
\authrun=\box52
\authorrunning=\toks14
\tocauthor=\toks15
\titrun=\box53
\titlerunning=\toks16
\toctitle=\toks17
\c@theorem=\count100
\c@case=\count101
\c@conjecture=\count102
\c@corollary=\count103
\c@definition=\count104
\c@example=\count105
\c@exercise=\count106
\c@lemma=\count107
\c@note=\count108
\c@problem=\count109
\c@property=\count110
\c@proposition=\count111
\c@question=\count112
\c@solution=\count113
\c@remark=\count114
\headlineindent=\dimen123
)
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks18
)
Package: graphics 2006/02/20 v1.0o Standard LaTeX Graphics (DPC,SPQR)
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
File: graphics.cfg 2007/01/18 v1.5 graphics configuration of teTeX/TeXLive
)
Package graphics Info: Driver file: pdftex.def on input line 90.
File: pdftex.def 2007/01/08 v0.04d Graphics/color for pdfTeX
\Gread@gobject=\count115
))
\Gin@req@height=\dimen124
\Gin@req@width=\dimen125
) (./mathpartir.sty
Package: mathpartir 2005/12/20 version 1.2.0 Math Paragraph for Typesetting Inf
erence Rules
\mpr@andskip=\skip45
\mpr@lista=\toks19
\mpr@listb=\toks20
\mpr@hlist=\box54
\mpr@vlist=\box55
\mpr@right=\box56
Package: amsmath 2000/07/18 v2.13 AMS math features
\@mathmargin=\skip46
For additional information on amsmath, use the `?' option.
Package: amstext 2000/06/29 v2.01
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks21
\ex@=\dimen126
))
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen127
)
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count116
LaTeX Info: Redefining \frac on input line 211.
\uproot@=\count117
\leftroot@=\count118
LaTeX Info: Redefining \overline on input line 307.
\classnum@=\count119
\DOTSCASE@=\count120
LaTeX Info: Redefining \ldots on input line 379.
LaTeX Info: Redefining \dots on input line 382.
LaTeX Info: Redefining \cdots on input line 467.
\Mathstrutbox@=\box57
\strutbox@=\box58
\big@size=\dimen128
LaTeX Font Info: Redeclaring font encoding OML on input line 567.
LaTeX Font Info: Redeclaring font encoding OMS on input line 568.
Package amsmath Warning: Unable to redefine math accent \vec.
\macc@depth=\count121
\c@MaxMatrixCols=\count122
\dotsspace@=\muskip10
\c@parentequation=\count123
\dspbrk@lvl=\count124
\tag@help=\toks22
\row@=\count125
\column@=\count126
\maxfields@=\count127
\andhelp@=\toks23
\eqnshift@=\dimen129
\alignsep@=\dimen130
\tagshift@=\dimen131
\tagwidth@=\dimen132
\totwidth@=\dimen133
\lineht@=\dimen134
\@envbody=\toks24
\multlinegap=\skip47
\multlinetaggap=\skip48
\mathdisplay@stack=\toks25
LaTeX Info: Redefining \[ on input line 2666.
LaTeX Info: Redefining \] on input line 2667.
Package: amssymb 2002/01/22 v2.2d
Package: amsfonts 2001/10/25 v2.2f
\symAMSa=\mathgroup4
\symAMSb=\mathgroup5
LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold'
)) (./stmaryrd.sty
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
\symstmry=\mathgroup6
LaTeX Font Info: Overwriting symbol font `stmry' in version `bold'
)
(./header.tex
\croutw=\skip49
\crouth=\skip50
\c@blubber=\count128
\myboxwidth=\skip51
) (./opt.aux)
\openout1 = `opt.aux'.
LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 38.
LaTeX Font Info: ... okay on input line 38.
LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 38.
LaTeX Font Info: ... okay on input line 38.
LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 38.
LaTeX Font Info: ... okay on input line 38.
LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 38.
LaTeX Font Info: ... okay on input line 38.
LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 38.
LaTeX Font Info: ... okay on input line 38.
LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 38.
LaTeX Font Info: ... okay on input line 38.
LaTeX Font Info: Try loading font information for U+msa on input line 45.
File: umsa.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info: Try loading font information for U+msb on input line 45.
File: umsb.fd 2002/01/19 v2.2g AMS font definitions
)
LaTeX Font Info: Try loading font information for U+stmry on input line 45.
(./Ustmry.fd) [1
LaTeX Warning: `!h' float specifier changed to `!ht'.
[2] [3]
LaTeX Font Info: Try loading font information for U+euf on input line 241.
File: ueuf.fd 2002/01/19 v2.2g AMS font definitions
)
Underfull \hbox (badness 10000) in paragraph at lines 262--264
[]\OT1/cmr/m/n/10 For all ex-panded se-quents $\OML/cmm/m/it/10 ^^@ [] x$\OT1/c
[]
[4] [5]
LaTeX Warning: `!h' float specifier changed to `!ht'.
[6] [7] [8] [9] [10] [11]
LaTeX Warning: `!h' float specifier changed to `!ht'.
[12] [13] [14]
Underfull \hbox (badness 10000) in paragraph at lines 947--953
[]
Underfull \hbox (badness 10000) in paragraph at lines 954--955
[]
[15]
Underfull \hbox (badness 10000) in paragraph at lines 957--959
[]
[16]
LaTeX Warning: `!h' float specifier changed to `!ht'.
[17]
Underfull \hbox (badness 10000) in paragraph at lines 1120--1121
[]
Underfull \hbox (badness 10000) in paragraph at lines 1137--1140
[]
[18] [19]
Underfull \hbox (badness 1776) in paragraph at lines 1201--1207
\OT1/cmr/m/n/10 ) =
[]
Underfull \hbox (badness 1142) in paragraph at lines 1201--1207
$. This means that there are $\OML/cmm/m/it/10 n$ \OT1/cmr/m/n/10 premises to $
[]
[20] [21] [22]
Underfull \hbox (badness 10000) in paragraph at lines 1380--1381
[]
[23] [24]
Underfull \hbox (badness 10000) in paragraph at lines 1473--1477
[]
No file opt.bbl.
[25] (./opt.aux) )
Here is how much of TeX's memory you used:
2670 strings out of 95086
28195 string characters out of 1183254
91874 words of memory out of 1500000
5806 multiletter control sequences out of 10000+50000
15131 words of font info for 59 fonts, out of 1200000 for 2000
28 hyphenation exceptions out of 8191
41i,40n,53p,220b,577s stack positions out of 5000i,500n,6000p,200000b,5000s
<./stmary7.600pk> <./stmary10.600pk></usr/share/texmf-texliv
Output written on opt.pdf (25 pages, 280850 bytes).
PDF statistics:
218 PDF objects out of 1000 (max. 8388607)
0 named destinations out of 1000 (max. 131072)
1 words of extra memory for PDF output out of 10000 (max. 10000000)