This is pdfTeX, Version 3.141592-1.40.5 (Web2C 7.5.5) (format=pdflatex 2008.6.18)  22 JAN 2009 05:01
entering extended mode
**patch-theory.tex
(./patch-theory.tex
LaTeX2e <2005/12/01>
Babel <v3.8h> and hyphenation patterns for american, french, german, ngerman, b
ahasa, basque, bulgarian, catalan, croatian, czech, danish, dutch, esperanto, e
stonian, finnish, greek, icelandic, irish, italian, latin, magyar, norsk, polis
h, portuges, romanian, russian, serbian, slovak, slovene, spanish, swedish, tur
kish, ukrainian, nohyphenation, loaded.
(/usr/share/texmf/tex/latex/base/article.cls
Document Class: article 2005/09/16 v1.4f Standard LaTeX document class
(/usr/share/texmf/tex/latex/base/size10.clo
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
)
(/usr/share/texmf/tex/latex/tools/verbatim.sty
Package: verbatim 2003/08/22 v1.5q LaTeX2e package for verbatim enhancements
\every@verbatim=\toks14
\verbatim@line=\toks15
\verbatim@in@stream=\read1
)
(/usr/share/texmf/tex/latex/fancyvrb/fancyvrb.sty
Package: fancyvrb 1998/07/17

Style option: `fancyvrb' v2.6, with DG/SPQR fixes <1998/07/17> (tvz)
(/usr/share/texmf/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks16
)
\FV@CodeLineNo=\count87
\FV@InFile=\read2
\FV@TabBox=\box26
\c@FancyVerbLine=\count88
\FV@StepNumber=\count89
\FV@OutFile=\write3

No file fancyvrb.cfg.
) (./patch-theory.aux)
\openout1 = `patch-theory.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 31.
LaTeX Font Info:    ... okay on input line 31.
\c@prp=\count90
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 59.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 59.
 [1

{/usr/share/texmf-var/fonts/map/pdftex/updmap/pdftex.map}] (./patch-theory.aux)
 ) 
Here is how much of TeX's memory you used:
 651 strings out of 94296
 8982 string characters out of 1164263
 57155 words of memory out of 4000000
 3974 multiletter control sequences out of 10000+50000
 5504 words of font info for 20 fonts, out of 500000 for 2000
 580 hyphenation exceptions out of 8191
 23i,4n,19p,170b,107s stack positions out of 3000i,1500n,5000p,200000b,15000s
</usr/share/texmf/fonts/type1/bluesky/cm/cmbx10.pfb></usr/share/texmf/fonts/t
ype1/bluesky/cm/cmbx12.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmmi10.pfb>
</usr/share/texmf/fonts/type1/bluesky/cm/cmr10.pfb></usr/share/texmf/fonts/type
1/bluesky/cm/cmr7.pfb></usr/share/texmf/fonts/type1/bluesky/cm/cmsy10.pfb></usr
/share/texmf/fonts/type1/bluesky/cm/cmsy7.pfb></usr/share/texmf/fonts/type1/blu
esky/cm/cmti10.pfb>
Output written on patch-theory.pdf (1 page, 42278 bytes).
PDF statistics:
 38 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)