ecethesis.log

This is pdfTeX, Version 3.1415926-2.5-1.40.14 (TeX Live 2013) (format=pdflatex 2018.12.5)  19 DEC 2018 12:58
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**ecethesis.tex
(./ecethesis.tex
LaTeX2e <2011/06/27>
Babel <v3.8m> and hyphenation patterns for english, dumylang, nohyphenation, lo
aded.
(./uiucecethesis09.cls
Document Class: uiucecethesis09 2010/06/23\ ECE3.10\ UIUC Thesis (PJC)
(/usr/share/texlive/texmf-dist/tex/latex/setspace/setspace.sty
Package: setspace 2011/12/19 v6.7a set line spacing
)
(/usr/share/texlive/texmf-dist/tex/latex/tools/calc.sty
Package: calc 2007/08/22 v4.3 Infix arithmetic (KKT,FJ)
\calc@Acount=\count79
\calc@Bcount=\count80
\calc@Adimen=\dimen102
\calc@Bdimen=\dimen103
\calc@Askip=\skip41
\calc@Bskip=\skip42
LaTeX Info: Redefining \setlength on input line 76.
LaTeX Info: Redefining \addtolength on input line 77.
\calc@Ccount=\count81
\calc@Cskip=\skip43
)
\thesis@parindent=\dimen104

(/usr/share/texlive/texmf-dist/tex/latex/base/book.cls
Document Class: book 2007/10/19 v1.4h Standard LaTeX document class
(/usr/share/texlive/texmf-dist/tex/latex/base/bk12.clo
File: bk12.clo 2007/10/19 v1.4h Standard LaTeX file (size option)
)
\c@part=\count82
\c@chapter=\count83
\c@section=\count84
\c@subsection=\count85
\c@subsubsection=\count86
\c@paragraph=\count87
\c@subparagraph=\count88
\c@figure=\count89
\c@table=\count90
\abovecaptionskip=\skip44
\belowcaptionskip=\skip45
\bibindent=\dimen105
)
\degree@dept@max=\skip46
\degree@dept@wid=\skip47
\degree@dept@test=\box26
\thesis@chapskip=\skip48
\chaptertitleheight=\skip49
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/epsfig.sty
Package: epsfig 1999/02/16 v1.7a (e)psfig emulation (SPQR)

(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 1999/02/16 v1.0f Enhanced LaTeX Graphics (DPC,SPQR)

(/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 1999/03/16 v1.13 key=value parser (DPC)
\KV@toks@=\toks14
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2009/02/05 v1.0o Standard LaTeX Graphics (DPC,SPQR)

(/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 1999/03/16 v1.09 sin cos tan (DPC)
)
(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/graphics.cfg
File: graphics.cfg 2010/04/23 v1.9 graphics configuration of TeX Live
)
Package graphics Info: Driver file: pdftex.def on input line 91.

(/usr/share/texlive/texmf-dist/tex/latex/pdftex-def/pdftex.def
File: pdftex.def 2011/05/27 v0.06d Graphics/color for pdfTeX

(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/infwarerr.sty
Package: infwarerr 2010/04/08 v1.3 Providing info/warning/error messages (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/ltxcmds.sty
Package: ltxcmds 2011/11/09 v1.22 LaTeX kernel commands for general use (HO)
)
\Gread@gobject=\count91
))
\Gin@req@height=\dimen106
\Gin@req@width=\dimen107
)
\epsfxsize=\dimen108
\epsfysize=\dimen109
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2013/01/14 v2.14 AMS math features
\@mathmargin=\skip50

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

(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0
\@emptytoks=\toks15
\ex@=\dimen110
))
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d
\pmbraise@=\dimen111
)
(/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 1999/12/14 v2.01 operator names
)
\inf@bad=\count92
LaTeX Info: Redefining \frac on input line 210.
\uproot@=\count93
\leftroot@=\count94
LaTeX Info: Redefining \overline on input line 306.
\classnum@=\count95
\DOTSCASE@=\count96
LaTeX Info: Redefining \ldots on input line 378.
LaTeX Info: Redefining \dots on input line 381.
LaTeX Info: Redefining \cdots on input line 466.
\Mathstrutbox@=\box27
\strutbox@=\box28
\big@size=\dimen112
LaTeX Font Info:    Redeclaring font encoding OML on input line 566.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 567.
\macc@depth=\count97
\c@MaxMatrixCols=\count98
\dotsspace@=\muskip10
\c@parentequation=\count99
\dspbrk@lvl=\count100
\tag@help=\toks16
\row@=\count101
\column@=\count102
\maxfields@=\count103
\andhelp@=\toks17
\eqnshift@=\dimen113
\alignsep@=\dimen114
\tagshift@=\dimen115
\tagwidth@=\dimen116
\totwidth@=\dimen117
\lineht@=\dimen118
\@envbody=\toks18
\multlinegap=\skip51
\multlinetaggap=\skip52
\mathdisplay@stack=\toks19
LaTeX Info: Redefining \[ on input line 2665.
LaTeX Info: Redefining \] on input line 2666.
)
(/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:    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/latex/url/url.sty
\Urlmuskip=\muskip11
Package: url 2006/04/12  ver 3.3  Verb mode for urls, etc.
)
(/usr/share/texlive/texmf-dist/tex/latex/graphics/lscape.sty
Package: lscape 2000/10/22 v3.01 Landscape Pages (DPC)
)
(/usr/share/texlive/texmf-dist/tex/latex/caption/caption.sty
Package: caption 2013/02/03 v3.3-65 Customizing captions (AR)

(/usr/share/texlive/texmf-dist/tex/latex/caption/caption3.sty
Package: caption3 2013/02/03 v1.5-62 caption3 kernel (AR)
\captionmargin=\dimen119
\captionmargin@=\dimen120
\captionwidth=\dimen121
\caption@tempdima=\dimen122
\caption@indent=\dimen123
\caption@parindent=\dimen124
\caption@hangindent=\dimen125
)
\c@ContinuedFloat=\count104
)
(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.sty
\lst@mode=\count105
\lst@gtempboxa=\box29
\lst@token=\toks20
\lst@length=\count106
\lst@currlwidth=\dimen126
\lst@column=\count107
\lst@pos=\count108
\lst@lostspace=\dimen127
\lst@width=\dimen128
\lst@newlines=\count109
\lst@lineno=\count110
\lst@maxwidth=\dimen129

(/usr/share/texlive/texmf-dist/tex/latex/listings/lstmisc.sty
File: lstmisc.sty 2007/02/22 1.4 (Carsten Heinz)
\c@lstnumber=\count111
\lst@skipnumbers=\count112
\lst@framebox=\box30
)
(/usr/share/texlive/texmf-dist/tex/latex/listings/listings.cfg
File: listings.cfg 2007/02/22 1.4 listings configuration
))
Package: listings 2007/02/22 1.4 (Carsten Heinz)

(./bussproofs.sty
Proof Tree (bussproofs) style macros. Version 1.1.
\theLevel=\count113
\myMaxLevel=\count114
\myBoxA=\box31
\myBoxB=\box32
\myBoxC=\box33
\myBoxD=\box34
\myBoxLL=\box35
\myBoxRL=\box36
\thisAboveSkip=\dimen130
\thisBelowSkip=\dimen131
\newScoreStart=\dimen132
\newScoreEnd=\dimen133
\newCenter=\dimen134
\displace=\dimen135
\leftLowerAmt=\dimen136
\rightLowerAmt=\dimen137
\scoreHeight=\dimen138
\scoreDepth=\dimen139
\htLbox=\dimen140
\htRbox=\dimen141
\htRRbox=\dimen142
\htRRRbox=\dimen143
\htAbox=\dimen144
\htCbox=\dimen145
) (/usr/share/texlive/texmf-dist/tex/latex/base/latexsym.sty
Package: latexsym 1998/08/17 v2.2e Standard LaTeX package (lasy symbols)
\symlasy=\mathgroup6
LaTeX Font Info:    Overwriting symbol font `lasy' in version `bold'
(Font)                  U/lasy/m/n --> U/lasy/b/n on input line 47.
)
(/usr/share/texlive/texmf-dist/tex/latex/base/textcomp.sty
Package: textcomp 2005/09/27 v1.99g Standard LaTeX package
Package textcomp Info: Sub-encoding information:
(textcomp)               5 = only ISO-Adobe without \textcurrency
(textcomp)               4 = 5 + \texteuro
(textcomp)               3 = 4 + \textohm
(textcomp)               2 = 3 + \textestimated + \textcurrency
(textcomp)               1 = TS1 - \textcircled - \t
(textcomp)               0 = TS1 (full)
(textcomp)             Font families with sub-encoding setting implement
(textcomp)             only a restricted character set as indicated.
(textcomp)             Family '?' is the default used for unknown fonts.
(textcomp)             See the documentation for details.
Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 71.

(/usr/share/texlive/texmf-dist/tex/latex/base/ts1enc.def
File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
)
LaTeX Info: Redefining \oldstylenums on input line 266.
Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 281.
Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 282.
Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 283.
Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 284.
Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 285.
Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 286.
Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 287.
Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 288.
Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 289.
Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 290.
Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 291.
Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 292.
Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 293.
Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 294.
Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 295.
Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 296.
Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 297.
Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 298.
Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 299.
Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 300.
Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 301.
Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 302.
Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 303.
Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 304.

Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 305.
Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 306.
Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 307.
Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 308.
Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 309.
Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 310.
Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 311.
Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 312.
Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 313.
Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 314.
Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 315.
Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 316.
Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 317.
Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 318.
Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 319.
Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 320.
Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 321.
Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 322.
Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 323.
Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 324.
Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 325.
Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 326.
Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 327.
Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 328.
Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 329.
Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 330.
Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 331.
Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 332.
Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 333.
Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 334.
Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 335.
Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 336.
Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 337.
Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 338.
Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 339.
Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 340.
)
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/courier.sty
Package: courier 2005/04/12 PSNFSS-v9.2a (WaS) 
)
(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2012/11/06 v6.83m Hypertext links for LaTeX

(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
Package: hobsub-hyperref 2012/05/28 v1.13 Bundle oberdiek, subset hyperref (HO)


(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
Package: hobsub-generic 2012/05/28 v1.13 Bundle oberdiek, subset generic (HO)
Package: hobsub 2012/05/28 v1.13 Construct package bundles (HO)
Package hobsub Info: Skipping package `infwarerr' (already loaded).
Package hobsub Info: Skipping package `ltxcmds' (already loaded).
Package: ifluatex 2010/03/01 v1.3 Provides the ifluatex switch (HO)
Package ifluatex Info: LuaTeX not detected.
Package: ifvtex 2010/03/01 v1.5 Detect VTeX and its facilities (HO)
Package ifvtex Info: VTeX not detected.
Package: intcalc 2007/09/27 v1.1 Expandable calculations with integers (HO)
Package: ifpdf 2011/01/30 v2.3 Provides the ifpdf switch (HO)
Package ifpdf Info: pdfTeX in PDF mode is detected.
Package: etexcmds 2011/02/16 v1.5 Avoid name clashes with e-TeX commands (HO)
Package etexcmds Info: Could not find \expanded.
(etexcmds)             That can mean that you are not using pdfTeX 1.50 or
(etexcmds)             that some package has redefined \expanded.
(etexcmds)             In the latter case, load this package earlier.
Package: kvsetkeys 2012/04/25 v1.16 Key value parser (HO)
Package: kvdefinekeys 2011/04/07 v1.3 Define keys (HO)
Package: pdftexcmds 2011/11/29 v0.20 Utility functions of pdfTeX for LuaTeX (HO
)
Package pdftexcmds Info: LuaTeX not detected.
Package pdftexcmds Info: \pdf@primitive is available.
Package pdftexcmds Info: \pdf@ifprimitive is available.
Package pdftexcmds Info: \pdfdraftmode found.
Package: pdfescape 2011/11/25 v1.13 Implements pdfTeX's escape features (HO)
Package: bigintcalc 2012/04/08 v1.3 Expandable calculations on big integers (HO
)
Package: bitset 2011/01/30 v1.1 Handle bit-vector datatype (HO)
Package: uniquecounter 2011/01/30 v1.2 Provide unlimited unique counter (HO)
)
Package hobsub Info: Skipping package `hobsub' (already loaded).
Package: letltxmacro 2010/09/02 v1.4 Let assignment for LaTeX macros (HO)
Package: hopatch 2012/05/28 v1.2 Wrapper for package hooks (HO)
Package: xcolor-patch 2011/01/30 xcolor patch
Package: atveryend 2011/06/30 v1.8 Hooks at the very end of document (HO)
Package atveryend Info: \enddocument detected (standard20110627).
Package: atbegshi 2011/10/05 v1.16 At begin shipout hook (HO)
Package: refcount 2011/10/16 v3.4 Data extraction from label references (HO)
Package: hycolor 2011/01/30 v1.7 Color options for hyperref/bookmark (HO)
)
(/usr/share/texlive/texmf-dist/tex/generic/ifxetex/ifxetex.sty
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/auxhook.sty
Package: auxhook 2011/03/04 v1.3 Hooks for auxiliary files (HO)
)
(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/kvoptions.sty
Package: kvoptions 2011/06/30 v3.11 Key value format for package options (HO)
)
\@linkdim=\dimen146
\Hy@linkcounter=\count115
\Hy@pagecounter=\count116

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2012/11/06 v6.83m Hyperref: PDFDocEncoding definition (HO)
)
\Hy@SavedSpaceFactor=\count117

(/usr/share/texlive/texmf-dist/tex/latex/latexconfig/hyperref.cfg
File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive
)
Package hyperref Info: Hyper figures OFF on input line 4443.
Package hyperref Info: Link nesting OFF on input line 4448.
Package hyperref Info: Hyper index ON on input line 4451.
Package hyperref Info: Plain pages OFF on input line 4458.
Package hyperref Info: Backreferencing OFF on input line 4463.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4688.
\c@Hy@tempcnt=\count118
LaTeX Info: Redefining \url on input line 5041.
\XeTeXLinkMargin=\dimen147
\Fld@menulength=\count119
\Field@Width=\dimen148
\Fld@charsize=\dimen149
Package hyperref Info: Hyper figures OFF on input line 6295.
Package hyperref Info: Link nesting OFF on input line 6300.
Package hyperref Info: Hyper index ON on input line 6303.
Package hyperref Info: backreferencing OFF on input line 6310.
Package hyperref Info: Link coloring OFF on input line 6315.
Package hyperref Info: Link coloring with OCG OFF on input line 6320.
Package hyperref Info: PDF/A mode OFF on input line 6325.
LaTeX Info: Redefining \ref on input line 6365.
LaTeX Info: Redefining \pageref on input line 6369.
\Hy@abspage=\count120
\c@Item=\count121
\c@Hfootnote=\count122
)

Package hyperref Message: Driver (autodetected): hpdftex.

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2012/11/06 v6.83m Hyperref driver for pdfTeX
\Fld@listcount=\count123
\c@bookmark@seq@number=\count124

(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
Package: rerunfilecheck 2011/04/15 v1.7 Rerun checks for auxiliary files (HO)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2
82.
)
\Hy@SectionHShift=\skip53
)
(./ecethesis.aux (./intro.aux) (./syntax.aux) (./config.aux) (./checks.aux)
(./inference.aux) (./multmod.aux) (./concl.aux) (./apx.aux))
\openout1 = `ecethesis.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 60.
LaTeX Font Info:    ... okay on input line 60.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 60.
LaTeX Font Info:    ... okay on input line 60.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 60.
LaTeX Font Info:    ... okay on input line 60.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 60.
LaTeX Font Info:    ... okay on input line 60.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 60.
LaTeX Font Info:    ... okay on input line 60.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 60.
LaTeX Font Info:    ... okay on input line 60.
LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 60.
LaTeX Font Info:    Try loading font information for TS1+cmr on input line 60.

(/usr/share/texlive/texmf-dist/tex/latex/base/ts1cmr.fd
File: ts1cmr.fd 1999/05/25 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    ... okay on input line 60.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 60.
LaTeX Font Info:    ... okay on input line 60.
\chapternumberheight=\dimen150

(/usr/share/texlive/texmf-dist/tex/context/base/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count125
\scratchdimen=\dimen151
\scratchbox=\box37
\nofMPsegments=\count126
\nofMParguments=\count127
\everyMPshowfont=\toks21
\MPscratchCnt=\count128
\MPscratchDim=\dimen152
\MPnumerator=\count129
\makeMPintoPDFobject=\count130
\everyMPtoPDFconversion=\toks22
) (/usr/share/texlive/texmf-dist/tex/latex/oberdiek/epstopdf-base.sty
Package: epstopdf-base 2010/02/09 v2.5 Base part for package epstopdf

(/usr/share/texlive/texmf-dist/tex/latex/oberdiek/grfext.sty
Package: grfext 2010/08/19 v1.1 Manage graphics extensions (HO)
)
Package grfext Info: Graphics extension search list:
(grfext)             [.png,.pdf,.jpg,.mps,.jpeg,.jbig2,.jb2,.PNG,.PDF,.JPG,.JPE
G,.JBIG2,.JB2,.eps]
(grfext)             \AppendGraphicsExtensions on input line 452.

(/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
))
Package caption Info: Begin \AtBeginDocument code.
Package caption Info: hyperref package is loaded.
Package caption Info: listings package is loaded.
Package caption Info: End \AtBeginDocument code.
\c@lstlisting=\count131
\AtBeginShipoutBox=\box38
Package hyperref Info: Link coloring OFF on input line 60.

(/usr/share/texlive/texmf-dist/tex/latex/hyperref/nameref.sty
Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section

(/usr/share/texlive/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
Package: gettitlestring 2010/12/03 v1.4 Cleanup title references (HO)
)
\c@section@level=\count132
)
LaTeX Info: Redefining \ref on input line 60.
LaTeX Info: Redefining \pageref on input line 60.
LaTeX Info: Redefining \nameref on input line 60.

(./ecethesis.out) (./ecethesis.out)
\@outlinefile=\write3
\openout3 = `ecethesis.out'.

 [1

{/usr/share/texlive/texmf/fonts/map/pdftex/updmap/pdftex.map}]
\thesis@dim=\dimen153
LaTeX Font Info:    Try loading font information for U+msa on input line 72.
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd
File: umsa.fd 2013/01/14 v3.01 AMS symbols A
)
LaTeX Font Info:    Try loading font information for U+msb on input line 72.
 (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd
File: umsb.fd 2013/01/14 v3.01 AMS symbols B
)
LaTeX Font Info:    Try loading font information for U+lasy on input line 72.

(/usr/share/texlive/texmf-dist/tex/latex/base/ulasy.fd
File: ulasy.fd 1998/08/17 v2.2e LaTeX symbol font definitions
)
Underfull \vbox (badness 10000) detected at line 72
 []


Overfull \vbox (72.26999pt too high) detected at line 72
 []


Underfull \vbox (badness 10000) detected at line 72
 []


Underfull \vbox (badness 10000) detected at line 72
 []

[2] (./abs.tex)pdfTeX warning (ext4): destination with the same identifier (nam
e{page.ii}) has been already used, duplicate ignored
<to be read again> 
                   \relax 
l.90 \begin{dedication}
                        [2


] [3] (./ecethesis.toc [4

])
\tf@toc=\write4
\openout4 = `ecethesis.toc'.

 [5]
\openout2 = `intro.aux'.

 (./intro.tex
Chapter 1.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 1.

LaTeX Font Info:    Try loading font information for OT1+pcr on input line 13.
(/usr/share/texlive/texmf-dist/tex/latex/psnfss/ot1pcr.fd
File: ot1pcr.fd 2001/06/04 font definitions for OT1/pcr.
) [1



]) [2]
\openout2 = `syntax.aux'.


(./syntax.tex
Chapter 2.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 1.

LaTeX Font Info:    Font shape `OT1/pcr/bx/n' in size <12> not available
(Font)              Font shape `OT1/pcr/b/n' tried instead on input line 14.
[3



] [4]
Overfull \hbox (17.74971pt too wide) in paragraph at lines 64--65
[]\OT1/pcr/m/n/12 data \OT1/pcr/b/n/12 [ \OT1/pcr/m/n/12 context => \OT1/pcr/b/
n/12 ] \OT1/pcr/m/n/12 simpletype \OT1/pcr/b/n/12 [ \OT1/pcr/m/n/12 = constrs \
OT1/pcr/b/n/12 ] [\OT1/pcr/m/n/12 deriving\OT1/pcr/b/n/12 ] 
 []

[5] [6]
Overfull \hbox (21.36597pt too wide) in paragraph at lines 176--177
\OT1/pcr/m/n/12 impDecls\OT1/cmr/m/n/12 . This pro-gram has only one \OT1/pcr/m
/n/12 impDecl\OT1/cmr/m/n/12 . Since there is no \OT1/pcr/m/n/12 qualified\OT1/
cmr/m/n/12 ,
 []

[7] [8] [9] [10]) [11]
\openout2 = `config.aux'.

 (./config.tex
Chapter 3.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 1.

[12



]
LaTeX Font Info:    Try loading font information for TS1+pcr on input line 30.
 (/usr/share/texlive/texmf-dist/tex/latex/psnfss/ts1pcr.fd
File: ts1pcr.fd 2001/06/04 font definitions for TS1/pcr.
) [13] [14]
[15]) [16]
\openout2 = `checks.aux'.

 (./checks.tex
Chapter 4.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 1.

[17



] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27]
Overfull \hbox (3.77031pt too wide) in paragraph at lines 341--342
\OT1/cmr/m/n/12 The ar-gu-ment sorts for types de-fined us-ing the \OT1/pcr/m/n
/12 data \OT1/cmr/m/n/12 key-word or the \OT1/pcr/m/n/12 newtype
 []

[28] [29] [30]) [31]
\openout2 = `inference.aux'.

 (./inference.tex
Chapter 5.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 1.

[32



] [33] [34] [35] [36] [37] [38] [39]
\myBox1=\box39
\myScoreStart1=\dimen154
\myCenter1=\dimen155
\myScoreEnd1=\dimen156
 [40] [41]
LaTeX Font Info:    Try loading font information for OMS+cmr on input line 293.


(/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 <12> not available
(Font)              Font shape `OMS/cmsy/m/n' tried instead on input line 293.
 [42]
\myBox2=\box40
\myScoreStart2=\dimen157
\myCenter2=\dimen158
\myScoreEnd2=\dimen159
 [43]
\myBox3=\box41
\myScoreStart3=\dimen160
\myCenter3=\dimen161
\myScoreEnd3=\dimen162
 [44]
[45] [46] [47] [48] [49] [50] [51] [52]
Overfull \hbox (8.70721pt too wide) in paragraph at lines 620--622
[]\OT1/cmr/m/n/12 Orient: if $\OML/cmm/m/it/12 t \OT1/cmr/m/n/12 = \OML/cmm/m/i
t/12 x$ \OT1/cmr/m/n/12 is a vari-able, and s is not a vari-able, $[](\OML/cmm/
m/it/12 S\OT1/cmr/m/n/12 ) = [](\OMS/cmsy/m/n/12 f\OT1/cmr/m/n/12 (\OML/cmm/m/i
t/12 x; s\OT1/cmr/m/n/12 )\OMS/cmsy/m/n/12 g [
 []

[53] [54] [55] [56] [57]) [58]
\openout2 = `multmod.aux'.

 (./multmod.tex
Chapter 6.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 1.

[59



]) [60]
\openout2 = `concl.aux'.

 (./concl.tex
Chapter 7.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 1.

) [61



]
\openout2 = `apx.aux'.

 (./apx.tex
Appendix A.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 1.

[62



] [63] [64] [65] [66] [67] [68] [69]
Missing character: There is no â in font pcrr7t!
Missing character: There is no ‰ in font pcrr7t!
Missing character: There is no ¥ in font pcrr7t!
 [70] [71] [72] [73]
Appendix B.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 368.

[74

] [75]
Appendix C.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 418.

[76

] [77] [78] [79] [80]
Overfull \hbox (30.91133pt too wide) in paragraph at lines 604--606
[][] 
 []

[81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92] [93] [94] [95]
[96]
Appendix D.

Package hyperref Warning: Token not allowed in a PDF string (PDFDocEncoding):
(hyperref)                \hskip 11.74988pt
(hyperref)                replaced by space on input line 1038.

[97

] [98] [99] [100] [101] [102] [103] [104] [105] [106] [107] [108] [109]
[110]) [111] (./ecethesis.bbl [112



])
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 178.
 [113]
Package atveryend Info: Empty hook `AfterLastShipout' on input line 178.
 (./ecethesis.aux (./intro.aux)
(./syntax.aux) (./config.aux) (./checks.aux) (./inference.aux) (./multmod.aux)
(./concl.aux) (./apx.aux))
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 178.
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 178.
Package rerunfilecheck Info: File `ecethesis.out' has not changed.
(rerunfilecheck)             Checksum: 40B4D35CDE04914889E2D119DF0B8AC4;4811.
Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 178.
 ) 
Here is how much of TeX's memory you used:
 11819 strings out of 495063
 177469 string characters out of 3182201
 399948 words of memory out of 3000000
 12289 multiletter control sequences out of 15000+200000
 12698 words of font info for 49 fonts, out of 3000000 for 9000
 14 hyphenation exceptions out of 8191
 36i,5n,38p,1987b,1687s stack positions out of 5000i,500n,10000p,200000b,50000s
{/usr/share/texlive/texmf-dist/fonts/enc/dvips/base/8r.enc}{/usr/share/texliv
e/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc}</usr/share/texlive/texm
f-dist/fonts/type1/public/amsfonts/cm/cmex10.pfb></usr/share/texlive/texmf-dist
/fonts/type1/public/amsfonts/cm/cmmi12.pfb></usr/share/texlive/texmf-dist/fonts
/type1/public/amsfonts/cm/cmmi8.pfb></usr/share/texlive/texmf-dist/fonts/type1/
public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/
amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfont
s/cm/cmr8.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cms
y10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmsy8.pfb
></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmti12.pfb></usr
/share/texlive/texmf-dist/fonts/type1/public/cm-super/sfrm1200.pfb></usr/share/
texlive/texmf-dist/fonts/type1/urw/courier/ucrb8a.pfb></usr/share/texlive/texmf
-dist/fonts/type1/urw/courier/ucrr8a.pfb>
Output written on ecethesis.pdf (119 pages, 335104 bytes).
PDF statistics:
 3804 PDF objects out of 4296 (max. 8388607)
 3634 compressed objects within 37 object streams
 2523 named destinations out of 2984 (max. 500000)
 601 words of extra memory for PDF output out of 10000 (max. 10000000)