This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019/Debian) (preloaded format=pdflatex 2021.10.21) 20 DEC 2021 15:27 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **phil.tex (./phil.tex LaTeX2e <2020-02-02> patch level 2 L3 programming layer <2020-02-14> (./sphinxmanual.cls Document Class: sphinxmanual 2018/12/22 v1.8.3 Document class (Sphinx manual) (/usr/share/texlive/texmf-dist/tex/latex/base/report.cls Document Class: report 2019/12/20 v1.4l Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2019/12/20 v1.4l Standard LaTeX file (size option) ) \c@part=\count167 \c@chapter=\count168 \c@section=\count169 \c@subsection=\count170 \c@subsubsection=\count171 \c@paragraph=\count172 \c@subparagraph=\count173 \c@figure=\count174 \c@table=\count175 \abovecaptionskip=\skip47 \belowcaptionskip=\skip48 \bibindent=\dimen134 )) (/usr/share/texlive/texmf-dist/tex/latex/base/inputenc.sty Package: inputenc 2018/08/11 v1.3c Input encoding file \inpenc@prehook=\toks14 \inpenc@posthook=\toks15 ) defining Unicode char U+00A0 (decimal 160) defining Unicode char U+2500 (decimal 9472) defining Unicode char U+2502 (decimal 9474) defining Unicode char U+2514 (decimal 9492) defining Unicode char U+251C (decimal 9500) defining Unicode char U+2572 (decimal 9586) (/usr/share/texlive/texmf-dist/tex/latex/cmap/cmap.sty Package: cmap 2008/03/06 v1.0h CMap support: searchable PDF ) (/usr/share/texlive/texmf-dist/tex/latex/base/fontenc.sty Package: fontenc 2020/02/11 v2.0o Standard LaTeX package <>) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2020/01/20 v2.17e AMS math features \@mathmargin=\skip49 For additional information on amsmath, use the `?' option. (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 AMS text (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks16 \ex@=\dimen135 )) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen136 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2016/03/08 v2.02 operator names ) \inf@bad=\count176 LaTeX Info: Redefining \frac on input line 227. \uproot@=\count177 \leftroot@=\count178 LaTeX Info: Redefining \overline on input line 389. \classnum@=\count179 \DOTSCASE@=\count180 LaTeX Info: Redefining \ldots on input line 486. LaTeX Info: Redefining \dots on input line 489. LaTeX Info: Redefining \cdots on input line 610. \Mathstrutbox@=\box45 \strutbox@=\box46 \big@size=\dimen137 LaTeX Font Info: Redeclaring font encoding OML on input line 733. LaTeX Font Info: Redeclaring font encoding OMS on input line 734. \macc@depth=\count181 \c@MaxMatrixCols=\count182 \dotsspace@=\muskip16 \c@parentequation=\count183 \dspbrk@lvl=\count184 \tag@help=\toks17 \row@=\count185 \column@=\count186 \maxfields@=\count187 \andhelp@=\toks18 \eqnshift@=\dimen138 \alignsep@=\dimen139 \tagshift@=\dimen140 \tagwidth@=\dimen141 \totwidth@=\dimen142 \lineht@=\dimen143 \@envbody=\toks19 \multlinegap=\skip50 \multlinetaggap=\skip51 \mathdisplay@stack=\toks20 LaTeX Info: Redefining \[ on input line 2859. LaTeX Info: Redefining \] on input line 2860. ) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.sty Package: babel 2020/02/14 3.40 The Babel package (/usr/share/texlive/texmf-dist/tex/generic/babel/switch.def File: switch.def 2020/02/14 3.40 Babel switching mechanism ) (/usr/share/texlive/texmf-dist/tex/generic/babel-english/english.ldf Language: english 2017/06/06 v3.3r English support from the babel system (/usr/share/texlive/texmf-dist/tex/generic/babel/babel.def File: babel.def 2020/02/14 3.40 Babel common definitions \babel@savecnt=\count188 \U@D=\dimen144 (/usr/share/texlive/texmf-dist/tex/generic/babel/txtbabel.def) \bbl@readstream=\read2 \bbl@dirlevel=\count189 ) Package babel Info: \l@canadian = using hyphenrules for english (babel) (\language0) on input line 102. Package babel Info: \l@australian = using hyphenrules for ukenglish (babel) (\language41) on input line 105. Package babel Info: \l@newzealand = using hyphenrules for ukenglish (babel) (\language41) on input line 108. )) (/usr/share/texlive/texmf-dist/tex/latex/psnfss/times.sty Package: times 2005/04/12 PSNFSS-v9.2a (SPQR) ) (/usr/share/texlive/texmf-dist/tex/latex/fncychap/fncychap.sty Package: fncychap 2007/07/30 v1.34 LaTeX package (Revised chapters) \RW=\skip52 \mylen=\skip53 \myhi=\skip54 \px=\skip55 \py=\skip56 \pyy=\skip57 \pxx=\skip58 \c@AlphaCnt=\count190 \c@AlphaDecCnt=\count191 ) (./sphinx.sty Package: sphinx 2019/01/12 v1.8.4 LaTeX package (Sphinx markup) (/usr/share/texlive/texmf-dist/tex/generic/ltxcmds/ltxcmds.sty Package: ltxcmds 2019/12/15 v1.24 LaTeX kernel commands for general use (HO) ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2019/11/30 v1.2a Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks21 ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2019/11/30 v1.4a Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2016/01/03 v1.10 sin cos tan (DPC) ) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 105. (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex )) \Gin@req@height=\dimen145 \Gin@req@width=\dimen146 ) (/usr/share/texlive/texmf-dist/tex/latex/fancyhdr/fancyhdr.sty Package: fancyhdr 2019/01/31 v3.10 Extensive control of page headers and footer s \f@nch@headwidth=\skip59 \f@nch@O@elh=\skip60 \f@nch@O@erh=\skip61 \f@nch@O@olh=\skip62 \f@nch@O@orh=\skip63 \f@nch@O@elf=\skip64 \f@nch@O@erf=\skip65 \f@nch@O@olf=\skip66 \f@nch@O@orf=\skip67 ) (/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty Package: textcomp 2020/02/02 v2.0n Standard LaTeX package ) (/usr/share/texlive/texmf-dist/tex/latex/titlesec/titlesec.sty Package: titlesec 2019/10/16 v2.13 Sectioning titles \ttl@box=\box47 \beforetitleunit=\skip68 \aftertitleunit=\skip69 \ttl@plus=\dimen147 \ttl@minus=\dimen148 \ttl@toksa=\toks22 \titlewidth=\dimen149 \titlewidthlast=\dimen150 \titlewidthfirst=\dimen151 ) (/usr/share/texlive/texmf-dist/tex/latex/tabulary/tabulary.sty Package: tabulary 2014/06/11 v0.10 tabulary package (DPC) (/usr/share/texlive/texmf-dist/tex/latex/tools/array.sty Package: array 2019/08/31 v2.4l Tabular extension package (FMi) \col@sep=\dimen152 \ar@mcellbox=\box48 \extrarowheight=\dimen153 \NC@list=\toks23 \extratabsurround=\skip70 \backup@length=\skip71 \ar@cellbox=\box49 ) \TY@count=\count192 \TY@linewidth=\dimen154 \tymin=\dimen155 \tymax=\dimen156 \TY@tablewidth=\dimen157 ) (/usr/share/texlive/texmf-dist/tex/latex/tools/longtable.sty Package: longtable 2020/01/07 v4.13 Multi-page Table package (DPC) \LTleft=\skip72 \LTright=\skip73 \LTpre=\skip74 \LTpost=\skip75 \LTchunksize=\count193 \LTcapwidth=\dimen158 \LT@head=\box50 \LT@firsthead=\box51 \LT@foot=\box52 \LT@lastfoot=\box53 \LT@cols=\count194 \LT@rows=\count195 \c@LT@tables=\count196 \c@LT@chunks=\count197 \LT@p@ftn=\toks24 ) (/usr/share/texlive/texmf-dist/tex/latex/varwidth/varwidth.sty Package: varwidth 2009/03/30 ver 0.92; Variable-width minipages \@vwid@box=\box54 \sift@deathcycles=\count198 \@vwid@loff=\dimen159 \@vwid@roff=\dimen160 ) (./sphinxmulticell.sty Package: sphinxmulticell 2017/02/23 v1.6 better span rows and columns of a tabl e (Sphinx team) \sphinx@TY@tablewidth=\dimen161 ) (/usr/share/texlive/texmf-dist/tex/latex/base/makeidx.sty Package: makeidx 2014/09/29 v1.0m Standard LaTeX package ) (/usr/share/texlive/texmf-dist/tex/latex/framed/framed.sty Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks \OuterFrameSep=\skip76 \fb@frw=\dimen162 \fb@frh=\dimen163 \FrameRule=\dimen164 \FrameSep=\dimen165 ) (/usr/share/texlive/texmf-dist/tex/latex/xcolor/xcolor.sty Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/color.cfg File: color.cfg 2016/01/02 v1.6 sample color configuration ) Package xcolor Info: Driver file: pdftex.def on input line 225. Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348. Package xcolor Info: Model `hsb' substituted by `rgb' on input line 1352. Package xcolor Info: Model `RGB' extended on input line 1364. Package xcolor Info: Model `HTML' substituted by `rgb' on input line 1366. Package xcolor Info: Model `Hsb' substituted by `hsb' on input line 1367. Package xcolor Info: Model `tHsb' substituted by `hsb' on input line 1368. Package xcolor Info: Model `HSB' substituted by `hsb' on input line 1369. Package xcolor Info: Model `Gray' substituted by `gray' on input line 1370. Package xcolor Info: Model `wave' substituted by `hsb' on input line 1371. ) (/usr/share/texlive/texmf-dist/tex/latex/fancyvrb/fancyvrb.sty Package: fancyvrb 2020/01/13 v3.5 verbatim text (tvz,hv) \FV@CodeLineNo=\count199 \FV@InFile=\read3 \FV@TabBox=\box55 \c@FancyVerbLine=\count266 \FV@StepNumber=\count267 \FV@OutFile=\write3 ) (./footnotehyper-sphinx.sty Package: footnotehyper-sphinx 2017/10/27 v1.7 hyperref aware footnote.sty for s phinx (JFB) \FNH@notes=\box56 \FNH@width=\dimen166 ) (/usr/share/texlive/texmf-dist/tex/latex/float/float.sty Package: float 2001/11/08 v1.3d Float enhancements (AL) \c@float@type=\count268 \float@exts=\toks25 \float@box=\box57 \@float@everytoks=\toks26 \@floatcapt=\box58 ) (/usr/share/texlive/texmf-dist/tex/latex/wrapfig/wrapfig.sty \wrapoverhang=\dimen167 \WF@size=\dimen168 \c@WF@wrappedlines=\count269 \WF@box=\box59 \WF@everypar=\toks27 Package: wrapfig 2003/01/31 v 3.6 ) (/usr/share/texlive/texmf-dist/tex/latex/parskip/parskip.sty Rollback for package 'parskip' requested -> version 'v1'. This corresponds to the release introduced on 2001-04-09. (/usr/share/texlive/texmf-dist/tex/latex/parskip/parskip-2001-04-09.sty Package: parskip 2001/04/09 non-zero parskip adjustments )) (/usr/share/texlive/texmf-dist/tex/latex/base/alltt.sty Package: alltt 1997/06/16 v2.0g defines alltt environment ) (/usr/share/texlive/texmf-dist/tex/latex/upquote/upquote.sty Package: upquote 2012/04/19 v1.3 upright-quote and grave-accent glyphs in verba tim ) (/usr/share/texlive/texmf-dist/tex/latex/capt-of/capt-of.sty Package: capt-of 2009/12/29 v0.2 standard captions outside of floats ) (/usr/share/texlive/texmf-dist/tex/latex/needspace/needspace.sty Package: needspace 2010/09/12 v1.3d reserve vertical space ) (./sphinxhighlight.sty Package: sphinxhighlight 2016/05/29 stylesheet for highlighting with pygments ) (/usr/share/texlive/texmf-dist/tex/latex/kvoptions/kvoptions.sty Package: kvoptions 2019/11/29 v3.13 Key value format for package options (HO) (/usr/share/texlive/texmf-dist/tex/generic/kvsetkeys/kvsetkeys.sty Package: kvsetkeys 2019/12/15 v1.18 Key value parser (HO) )) \sphinxverbatimsep=\dimen169 \sphinxverbatimborder=\dimen170 \sphinxshadowsep=\dimen171 \sphinxshadowsize=\dimen172 \sphinxshadowrule=\dimen173 \spx@notice@border=\dimen174 \spx@image@box=\box60 \spx@image@maxheight=\dimen175 \c@literalblock=\count270 \sphinxcontinuationbox=\box61 \sphinxvisiblespacebox=\box62 \sphinxVerbatim@TitleBox=\box63 \py@argswidth=\skip77 \lineblockindentation=\skip78 \DUlineblockindent=\skip79 ) (/usr/share/texlive/texmf-dist/tex/latex/geometry/geometry.sty Package: geometry 2020/01/02 v5.9 Page Geometry (/usr/share/texlive/texmf-dist/tex/generic/iftex/ifvtex.sty Package: ifvtex 2019/10/25 v1.7 ifvtex legacy package. Use iftex instead. (/usr/share/texlive/texmf-dist/tex/generic/iftex/iftex.sty Package: iftex 2019/11/07 v1.0c TeX engine tests )) \Gm@cnth=\count271 \Gm@cntv=\count272 \c@Gm@tempcnt=\count273 \Gm@bindingoffset=\dimen176 \Gm@wd@mp=\dimen177 \Gm@odd@mp=\dimen178 \Gm@even@mp=\dimen179 \Gm@layoutwidth=\dimen180 \Gm@layoutheight=\dimen181 \Gm@layouthoffset=\dimen182 \Gm@layoutvoffset=\dimen183 \Gm@dimlist=\toks28 ) (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty Package: hyperref 2020/01/14 v7.00d Hypertext links for LaTeX (/usr/share/texlive/texmf-dist/tex/latex/pdftexcmds/pdftexcmds.sty Package: pdftexcmds 2019/11/24 v0.31 Utility functions of pdfTeX for LuaTeX (HO ) (/usr/share/texlive/texmf-dist/tex/generic/infwarerr/infwarerr.sty Package: infwarerr 2019/12/03 v1.5 Providing info/warning/error messages (HO) ) Package pdftexcmds Info: \pdf@primitive is available. Package pdftexcmds Info: \pdf@ifprimitive is available. Package pdftexcmds Info: \pdfdraftmode found. ) (/usr/share/texlive/texmf-dist/tex/generic/kvdefinekeys/kvdefinekeys.sty Package: kvdefinekeys 2019-12-19 v1.6 Define keys (HO) ) (/usr/share/texlive/texmf-dist/tex/generic/pdfescape/pdfescape.sty Package: pdfescape 2019/12/09 v1.15 Implements pdfTeX's escape features (HO) ) (/usr/share/texlive/texmf-dist/tex/latex/hycolor/hycolor.sty Package: hycolor 2020-01-27 v1.10 Color options for hyperref/bookmark (HO) ) (/usr/share/texlive/texmf-dist/tex/latex/letltxmacro/letltxmacro.sty Package: letltxmacro 2019/12/03 v1.6 Let assignment for LaTeX macros (HO) ) (/usr/share/texlive/texmf-dist/tex/latex/auxhook/auxhook.sty Package: auxhook 2019-12-17 v1.6 Hooks for auxiliary files (HO) ) \@linkdim=\dimen184 \Hy@linkcounter=\count274 \Hy@pagecounter=\count275 (/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def File: pd1enc.def 2020/01/14 v7.00d Hyperref: PDFDocEncoding definition (HO) Now handling font encoding PD1 ... ... no UTF-8 mapping file for font encoding PD1 ) (/usr/share/texlive/texmf-dist/tex/generic/intcalc/intcalc.sty Package: intcalc 2019/12/15 v1.3 Expandable calculations with integers (HO) ) (/usr/share/texlive/texmf-dist/tex/generic/etexcmds/etexcmds.sty Package: etexcmds 2019/12/15 v1.7 Avoid name clashes with e-TeX commands (HO) ) \Hy@SavedSpaceFactor=\count276 \pdfmajorversion=\count277 Package hyperref Info: Option `unicode' set `true' on input line 4421. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/puenc.def File: puenc.def 2020/01/14 v7.00d Hyperref: PDF Unicode definition (HO) Now handling font encoding PU ... ... no UTF-8 mapping file for font encoding PU ) Package hyperref Info: Option `colorlinks' set `true' on input line 4421. Package hyperref Info: Option `breaklinks' set `true' on input line 4421. Package hyperref Info: Hyper figures OFF on input line 4547. Package hyperref Info: Link nesting OFF on input line 4552. Package hyperref Info: Hyper index ON on input line 4555. Package hyperref Info: Plain pages OFF on input line 4562. Package hyperref Info: Backreferencing OFF on input line 4567. Package hyperref Info: Implicit mode ON; LaTeX internals redefined. Package hyperref Info: Bookmarks ON on input line 4800. \c@Hy@tempcnt=\count278 (/usr/share/texlive/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip17 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. ) LaTeX Info: Redefining \url on input line 5159. \XeTeXLinkMargin=\dimen185 (/usr/share/texlive/texmf-dist/tex/generic/bitset/bitset.sty Package: bitset 2019/12/09 v1.3 Handle bit-vector datatype (HO) (/usr/share/texlive/texmf-dist/tex/generic/bigintcalc/bigintcalc.sty Package: bigintcalc 2019/12/15 v1.5 Expandable calculations on big integers (HO ) )) \Fld@menulength=\count279 \Field@Width=\dimen186 \Fld@charsize=\dimen187 Package hyperref Info: Hyper figures OFF on input line 6430. Package hyperref Info: Link nesting OFF on input line 6435. Package hyperref Info: Hyper index ON on input line 6438. Package hyperref Info: backreferencing OFF on input line 6445. Package hyperref Info: Link coloring ON on input line 6448. Package hyperref Info: Link coloring with OCG OFF on input line 6455. Package hyperref Info: PDF/A mode OFF on input line 6460. LaTeX Info: Redefining \ref on input line 6500. LaTeX Info: Redefining \pageref on input line 6504. (/usr/share/texlive/texmf-dist/tex/generic/atbegshi/atbegshi.sty Package: atbegshi 2019/12/05 v1.19 At begin shipout hook (HO) ) \Hy@abspage=\count280 \c@Item=\count281 \c@Hfootnote=\count282 ) Package hyperref Info: Driver (autodetected): hpdftex. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def File: hpdftex.def 2020/01/14 v7.00d Hyperref driver for pdfTeX (/usr/share/texlive/texmf-dist/tex/latex/atveryend/atveryend.sty Package: atveryend 2019-12-11 v1.11 Hooks at the very end of document (HO) Package atveryend Info: \enddocument detected (standard20110627). ) \Fld@listcount=\count283 \c@bookmark@seq@number=\count284 (/usr/share/texlive/texmf-dist/tex/latex/rerunfilecheck/rerunfilecheck.sty Package: rerunfilecheck 2019/12/05 v1.9 Rerun checks for auxiliary files (HO) (/usr/share/texlive/texmf-dist/tex/generic/uniquecounter/uniquecounter.sty Package: uniquecounter 2019/12/15 v1.4 Provide unlimited unique counter (HO) ) Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 86. ) \Hy@SectionHShift=\skip80 ) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/hypcap.sty Package: hypcap 2016/05/16 v1.12 Adjusting the anchors of captions (HO) ) \@indexfile=\write4 \openout4 = `phil.idx'. Writing index file phil.idx (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdfmode.def File: l3backend-pdfmode.def 2020-02-03 L3 backend support: PDF mode \l__kernel_color_stack_int=\count285 \l__pdf_internal_box=\box64 ) (./phil.aux) \openout1 = `phil.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 67. LaTeX Font Info: ... okay on input line 67. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 67. LaTeX Font Info: ... okay on input line 67. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 67. LaTeX Font Info: ... okay on input line 67. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 67. LaTeX Font Info: ... okay on input line 67. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 67. LaTeX Font Info: ... okay on input line 67. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 67. LaTeX Font Info: ... okay on input line 67. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 67. LaTeX Font Info: ... okay on input line 67. LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 67. LaTeX Font Info: ... okay on input line 67. LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 67. LaTeX Font Info: ... okay on input line 67. LaTeX Font Info: Trying to load font information for T1+ptm on input line 67 . (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1ptm.fd File: t1ptm.fd 2001/06/04 font definitions for T1/ptm. ) (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count286 \scratchdimen=\dimen188 \scratchbox=\box65 \nofMPsegments=\count287 \nofMParguments=\count288 \everyMPshowfont=\toks29 \MPscratchCnt=\count289 \MPscratchDim=\dimen189 \MPnumerator=\count290 \makeMPintoPDFobject=\count291 \everyMPtoPDFconversion=\toks30 ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 85. (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv e )) *geometry* driver: auto-detecting *geometry* detected driver: pdftex *geometry* verbose mode - [ preamble ] result: * driver: pdftex * paper: letterpaper * layout: * layoutoffset:(h,v)=(0.0pt,0.0pt) * modes: twoside * h-part:(L,W,R)=(72.26999pt, 469.75502pt, 72.26999pt) * v-part:(T,H,B)=(72.26999pt, 650.43001pt, 72.26999pt) * \paperwidth=614.295pt * \paperheight=794.96999pt * \textwidth=469.75502pt * \textheight=650.43001pt * \oddsidemargin=0.0pt * \evensidemargin=0.0pt * \topmargin=-37.0pt * \headheight=12.0pt * \headsep=25.0pt * \topskip=10.0pt * \footskip=30.0pt * \marginparwidth=36.135pt * \marginparsep=11.0pt * \columnsep=10.0pt * \skip\footins=9.0pt plus 4.0pt minus 2.0pt * \hoffset=0.0pt * \voffset=0.0pt * \mag=1000 * \@twocolumnfalse * \@twosidetrue * \@mparswitchtrue * \@reversemarginfalse * (1in=72.27pt=25.4mm, 1cm=28.453pt) \AtBeginShipoutBox=\box66 Package hyperref Info: Link coloring ON on input line 67. (/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty Package: nameref 2019/09/16 v2.46 Cross-referencing by name of section (/usr/share/texlive/texmf-dist/tex/latex/refcount/refcount.sty Package: refcount 2019/12/15 v3.6 Data extraction from label references (HO) ) (/usr/share/texlive/texmf-dist/tex/generic/gettitlestring/gettitlestring.sty Package: gettitlestring 2019/12/15 v1.6 Cleanup title references (HO) ) \c@section@level=\count292 ) LaTeX Info: Redefining \ref on input line 67. LaTeX Info: Redefining \pageref on input line 67. LaTeX Info: Redefining \nameref on input line 67. (./phil.out) (./phil.out) \@outlinefile=\write5 \openout5 = `phil.out'. Package hyperref Info: Option `pageanchor' set `false' on input line 70. LaTeX Font Info: Trying to load font information for T1+phv on input line 70 . (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1phv.fd File: t1phv.fd 2001/06/04 scalable font definitions for T1/phv. ) LaTeX Font Info: Font shape `T1/phv/b/it' in size <10> not available (Font) Font shape `T1/phv/b/sl' tried instead on input line 70. LaTeX Font Info: Font shape `T1/phv/b/it' in size <17.28> not available (Font) Font shape `T1/phv/b/sl' tried instead on input line 70. <><><><> LaTeX Font Info: Trying to load font information for U+msa on input line 70. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Trying to load font information for U+msb on input line 70. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2 ] (./phil.toc) \tf@toc=\write6 \openout6 = `phil.toc'. [1 ] [2 ] Chapter 1. Underfull \hbox (badness 10000) in paragraph at lines 80--82 \T1/ptm/m/n/10 phil is a suite of pro-grams for rea-son-ing with hi-er-ar-chi-c al prob-a-bilis-tic logic pro-grams (HPLP) [] [1 ] [2 ] Chapter 2. LaTeX Font Info: Trying to load font information for T1+pcr on input line 91 . (/usr/share/texlive/texmf-dist/tex/latex/psnfss/t1pcr.fd File: t1pcr.fd 2001/06/04 font definitions for T1/pcr. ) LaTeX Font Info: Trying to load font information for TS1+ptm on input line 1 01. (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1ptm.fd File: ts1ptm.fd 2001/06/04 font definitions for TS1/ptm. ) [3] [4] Chapter 3. [5 ] [6] Chapter 4. [7 ] [8 ] Chapter 5. [9] [10] Chapter 6. [11 ] [12] LaTeX Font Info: Font shape `T1/pcr/m/it' in size <9> not available (Font) Font shape `T1/pcr/m/sl' tried instead on input line 477. [13] [14] [15] [16] [17] [18] [19] [20 ] Chapter 7. [21] [22 ] Chapter 8. [23] [24 ] Chapter 9. [25] [26 ] Chapter 10. [27] [28 ] (./phil.ind) Package atveryend Info: Empty hook `BeforeClearDocument' on input line 872. [29 ] Package atveryend Info: Empty hook `AfterLastShipout' on input line 872. (./phil.aux) Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 872. Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 872. Package rerunfilecheck Info: File `phil.out' has not changed. (rerunfilecheck) Checksum: AF45D09D682C6230517004752CC8B727;1944. Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 872. ) Here is how much of TeX's memory you used: 13506 strings out of 481239 190374 string characters out of 5920376 485088 words of memory out of 5000000 28374 multiletter control sequences out of 15000+600000 580564 words of font info for 82 fonts, out of 8000000 for 9000 1142 hyphenation exceptions out of 8191 38i,11n,49p,943b,490s stack positions out of 5000i,500n,10000p,200000b,80000s {/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc} Output written on phil.pdf (33 pages, 177240 bytes). PDF statistics: 367 PDF objects out of 1000 (max. 8388607) 311 compressed objects within 4 object streams 71 named destinations out of 1000 (max. 500000) 165 words of extra memory for PDF output out of 10000 (max. 10000000)