This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013) (format=pdflatex 2016.1.12) 1 AUG 2016 18:04 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **pfc (./pfc.tex LaTeX2e <2011/06/27> Babel and hyphenation patterns for english, dumylang, nohyphenation, lo aded. (/usr/share/texlive/texmf-dist/tex/latex/base/latex209.def File: latex209.def 1998/05/13 v0.52 Standard LaTeX file Entering LaTeX 2.09 COMPATIBILITY MODE ************************************************************* !!WARNING!! !!WARNING!! !!WARNING!! !!WARNING!! This mode attempts to provide an emulation of the LaTeX 2.09 author environment so that OLD documents can be successfully processed. It should NOT be used for NEW documents! New documents should use Standard LaTeX conventions and start with the \documentclass command. Compatibility mode is UNLIKELY TO WORK with LaTeX 2.09 style files that change any internal macros, especially not with those that change the FONT SELECTION or OUTPUT ROUTINES. Therefore such style files MUST BE UPDATED to use Current Standard LaTeX: LaTeX2e. If you suspect that you may be using such a style file, which is probably very, very old by now, then you should attempt to get it updated by sending a copy of this error message to the author of that file. ************************************************************* \footheight=\dimen102 \@maxsep=\dimen103 \@dblmaxsep=\dimen104 \@cla=\count79 \@clb=\count80 \mscount=\count81 (/usr/share/texlive/texmf-dist/tex/latex/base/tracefnt.sty Package: tracefnt 1997/05/29 v3.0j Standard LaTeX package (font tracing) \tracingfonts=\count82 LaTeX Info: Redefining \selectfont on input line 101. ) \symbold=\mathgroup4 \symsans=\mathgroup5 \symtypewriter=\mathgroup6 \symitalic=\mathgroup7 \symsmallcaps=\mathgroup8 \symslanted=\mathgroup9 LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 293. LaTeX Font Info: Redeclaring math alphabet \mathsf on input line 294. LaTeX Font Info: Redeclaring math alphabet \mathtt on input line 295. LaTeX Font Info: Redeclaring math alphabet \mathit on input line 301. LaTeX Info: Redefining \em on input line 311. (/usr/share/texlive/texmf-dist/tex/latex/base/latexsym.sty Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols) \symlasy=\mathgroup10 LaTeX Font Info: Overwriting symbol font `lasy' in version `bold' (Font) U/lasy/m/n --> U/lasy/b/n on input line 47. ) LaTeX Font Info: Redeclaring math delimiter \lgroup on input line 375. LaTeX Font Info: Redeclaring math delimiter \rgroup on input line 377. LaTeX Font Info: Redeclaring math delimiter \bracevert on input line 379. ) (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2007/10/19 v1.4h Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2007/10/19 v1.4h Standard LaTeX file (size option) ) \c@part=\count83 \c@section=\count84 \c@subsection=\count85 \c@subsubsection=\count86 \c@paragraph=\count87 \c@subparagraph=\count88 \c@figure=\count89 \c@table=\count90 \abovecaptionskip=\skip41 \belowcaptionskip=\skip42 Compatibility mode: definition of \rm ignored. Compatibility mode: definition of \sf ignored. Compatibility mode: definition of \tt ignored. Compatibility mode: definition of \bf ignored. Compatibility mode: definition of \it ignored. Compatibility mode: definition of \sl ignored. Compatibility mode: definition of \sc ignored. LaTeX Info: Redefining \cal on input line 506. LaTeX Info: Redefining \mit on input line 507. \bibindent=\dimen105 ) (./pfc.aux) \openout1 = `pfc.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 37. LaTeX Font Info: ... okay on input line 37. LaTeX Font Info: External font `cmex10' loaded for size (Font) <17.28> on input line 51. LaTeX Font Info: External font `cmex10' loaded for size (Font) <12> on input line 51. LaTeX Font Info: Try loading font information for U+lasy on input line 51. (/usr/share/texlive/texmf-dist/tex/latex/base/ulasy.fd File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions ) LaTeX Font Info: External font `cmex10' loaded for size (Font) <8> on input line 51. LaTeX Font Info: External font `cmex10' loaded for size (Font) <6> on input line 51. LaTeX Font Info: External font `cmex10' loaded for size (Font) <9> on input line 55. LaTeX Font Info: External font `cmex10' loaded for size (Font) <5> on input line 55. (./intro.tex LaTeX Font Info: External font `cmex10' loaded for size (Font) <7> on input line 17. ) (./lang.tex LaTeX Font Info: External font `cmex10' loaded for size (Font) <14.4> on input line 1. [1 {/usr/share/texlive/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] LaTeX Font Info: Try loading font information for OMS+cmr on input line 274. (/usr/share/texlive/texmf-dist/tex/latex/base/omscmr.fd File: omscmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions ) LaTeX Font Info: Font shape `OMS/cmr/m/n' in size <10> not available (Font) Font shape `OMS/cmsy/m/n' tried instead on input line 274. [6] [7]) (./predicates.tex (./db.tex [8]) (./control.tex [9]) (./tms.tex) (./debug.tex [10] [11])) (./examples.tex [12] [13] [14] [15] [16] Underfull \hbox (badness 10000) in paragraph at lines 286--289 [] [17]) (./pfc.bbl [18]) [19] [20] (./pfc.aux) ) Here is how much of TeX's memory you used: 501 strings out of 495063 5774 string characters out of 3182201 54180 words of memory out of 3000000 3682 multiletter control sequences out of 15000+200000 26395 words of font info for 96 fonts, out of 3000000 for 9000 14 hyphenation exceptions out of 8191 23i,6n,21p,177b,369s stack positions out of 5000i,500n,10000p,200000b,50000s Output written on pfc.pdf (20 pages, 299979 bytes). PDF statistics: 158 PDF objects out of 1000 (max. 8388607) 112 compressed objects within 2 object streams 0 named destinations out of 1000 (max. 500000) 1 words of extra memory for PDF output out of 10000 (max. 10000000)