This is pdfTeX, Version 3.1415926-1.40.10 (TeX Live 2009/Debian) (format=latex 2012.8.20)  3 JAN 2014 00:38
entering extended mode
 %&-line parsing enabled.
**main.tex
(./main.tex
LaTeX2e <2009/09/24>
Babel <v3.8l> and hyphenation patterns for english, usenglishmax, dumylang, noh
yphenation, french, basque, loaded.
(/usr/share/texmf-texlive/tex/latex/base/article.cls
Document Class: article 2007/10/19 v1.4h Standard LaTeX document class
(/usr/share/texmf-texlive/tex/latex/base/size10.clo
File: size10.clo 2007/10/19 v1.4h 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
)
(/home/remy/lib/tex/mathpartir.sty
Package: mathpartir 2005/12/20 version 1.2.0 Math Paragraph for Typesetting Inf
erence Rules

(/usr/share/texmf-texlive/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)
\mpr@andskip=\skip43
\mpr@lista=\toks15
\mpr@listb=\toks16
\mpr@hlist=\box26
\mpr@vlist=\box27
\mpr@right=\box28
) (./main.aux
(./first.aux) (./second.aux))
\openout1 = `main.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 10.
LaTeX Font Info:    ... okay on input line 10.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <12> on input line 12.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <8> on input line 12.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <6> on input line 12.
 [1

]
\openout2 = `first.aux'.

 (./first.tex (./insidefirst.tex)) [2

]
\openout2 = `second.aux'.


(./second.tex) [3


] (./main.aux (./first.aux) (./second.aux)) ) 
Here is how much of TeX's memory you used:
 444 strings out of 495029
 5235 string characters out of 1181252
 50351 words of memory out of 3000000
 3680 multiletter control sequences out of 15000+50000
 7755 words of font info for 28 fonts, out of 3000000 for 9000
 28 hyphenation exceptions out of 8191
 23i,7n,19p,161b,199s stack positions out of 5000i,500n,10000p,200000b,50000s

Output written on main.dvi (3 pages, 2328 bytes).
