This is pdfTeX, Version 3.14159265-2.6-1.40.17 (TeX Live 2016) (preloaded format=latex 2016.5.22)  28 NOV 2016 17:46
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**build/proposal-math-plain.tex
(./build/proposal-math-plain.tex
LaTeX2e <2016/03/31>
Babel <3.9r> and hyphenation patterns for 83 language(s) loaded.
(/usr/local/texlive/2016/texmf-dist/tex/latex/base/book.cls
Document Class: book 2014/09/29 v1.4h Standard LaTeX document class
(/usr/local/texlive/2016/texmf-dist/tex/latex/base/bk10.clo
File: bk10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
)
\c@part=\count79
\c@chapter=\count80
\c@section=\count81
\c@subsection=\count82
\c@subsubsection=\count83
\c@paragraph=\count84
\c@subparagraph=\count85
\c@figure=\count86
\c@table=\count87
\abovecaptionskip=\skip41
\belowcaptionskip=\skip42
\bibindent=\dimen102
) (build/madoko2.sty (/usr/local/texlive/2016/texmf-dist/tex/latex/xcolor/xcolor.sty
Package: xcolor 2016/05/11 v2.12 LaTeX color extensions (UK)
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics-cfg/color.cfg
File: color.cfg 2016/01/02 v1.6 sample color configuration
)
Package xcolor Info: Driver file: dvips.def on input line 225.
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/dvips.def
File: dvips.def 2015/12/30 v3.0k Driver-dependent file (DPC,SPQR)
) (/usr/local/texlive/2016/texmf-dist/tex/latex/colortbl/colortbl.sty
Package: colortbl 2012/02/13 v1.0a Color table columns (DPC)
(/usr/local/texlive/2016/texmf-dist/tex/latex/tools/array.sty
Package: array 2014/10/28 v2.4c Tabular extension package (FMi)
\col@sep=\dimen103
\extrarowheight=\dimen104
\NC@list=\toks14
\extratabsurround=\skip43
\backup@length=\skip44
)
\everycr=\toks15
\minrowclearance=\skip45
)
\rownum=\count88
Package xcolor Info: Model `cmy' substituted by `cmy0' on input line 1348.
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.
) (build/options.sty
Package: options 2015/03/01, Daan Leijen, Provides convenient path-value (or key-value) options
(/usr/local/texlive/2016/texmf-dist/tex/latex/etoolbox/etoolbox.sty
Package: etoolbox 2015/08/02 v2.2a e-TeX tools for LaTeX (JAW)
\etb@tempcnta=\count89
)
\opt@nesting=\count90
\opt@idx=\count91
\opt@choiceord=\count92
) (/usr/local/texlive/2016/texmf-dist/tex/generic/iftex/iftex.sty
Package: iftex 2013/04/04 v0.2 Provides if(tex) conditional for PDFTeX, XeTeX, and LuaTeX
) (/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphicx.sty
Package: graphicx 2014/10/28 v1.0g Enhanced LaTeX Graphics (DPC,SPQR)
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks16
) (/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/graphics.sty
Package: graphics 2016/05/09 v1.0r Standard LaTeX Graphics (DPC,SPQR)
(/usr/local/texlive/2016/texmf-dist/tex/latex/graphics/trig.sty
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
) (/usr/local/texlive/2016/texmf-dist/tex/latex/graphics-cfg/graphics.cfg
File: graphics.cfg 2016/01/02 v1.10 sample graphics configuration
)
Package graphics Info: Driver file: dvips.def on input line 96.
)
\Gin@req@height=\dimen105
\Gin@req@width=\dimen106
) (build/longfbox.sty
Package: longfbox 2015/12/01, Daan Leijen, Provides long fbox that can break over pages
(build/longbox.sty
Package: longbox 2015/12/01, Daan Leijen, Provides basic longbox that can break over pages
(/usr/local/texlive/2016/texmf-dist/tex/latex/mdwtools/footnote.sty
Package: footnote 1997/01/28 1.13 Save footnotes around boxes
\fn@notes=\box26
\fn@width=\dimen107
)
\lb@prevdepth=\skip46
\lb@freevspace=\skip47
\lb@headbox=\box27
\lb@savebox=\box28
\lb@mainbox=\box29
\lb@usevbox=\count93
\lb@width=\skip48
\lb@height=\skip49
\lb@skiptop=\skip50
\lb@skipright=\skip51
\lb@skipbottom=\skip52
\lb@skipleft=\skip53
\lb@skipbreaktop=\skip54
\lb@skipbreakbottom=\skip55
\lb@outerwidth=\skip56
\lb@extrasplit=\skip57
\lb@textalign=\count94
\lb@baseline=\count95
\lb@neededvspace=\skip58
\lb@splitheight=\skip59
\lb@insurance=\skip60
\/longbox/@part-height=\skip61
\/longbox/@part-width=\skip62
\/longbox/@part-depth=\skip63
\/longbox/@content-box-height=\skip64
\/longbox/@content-box-width=\skip65
\/longbox/@content-box-depth=\skip66
\/longbox/@breakat-previous=\skip67
\/longbox/@lower=\skip68
\/longbox/split-minimum=\skip69
\/longbox/split-badness=\skip70
\/longbox/raise=\skip71
\/longbox/height=\skip72
\/longbox/width=\skip73
\/longbox/outer-height=\skip74
\/longbox/outer-width=\skip75
\/longbox/skip-top=\skip76
\/longbox/skip-right=\skip77
\/longbox/skip-bottom=\skip78
\/longbox/skip-left=\skip79
\/longbox/skip-break-bottom=\skip80
\/longbox/skip-break-top=\skip81
) (/usr/local/texlive/2016/texmf-dist/tex/latex/pict2e/pict2e.sty
Package: pict2e 2016/02/05 v0.3b Improved picture commands (HjG,RN,JT)
(/usr/local/texlive/2016/texmf-dist/tex/latex/pict2e/pict2e.cfg
File: pict2e.cfg 2016/02/05 v0.1u pict2e configuration for teTeX/TeXLive
)
Package pict2e Info: Driver file: dvips.def on input line 119.
Package pict2e Info: Driver file for pict2e: p2e-dvips.def on input line 121.
(/usr/local/texlive/2016/texmf-dist/tex/latex/pict2e/p2e-dvips.def
File: p2e-dvips.def 2016/02/05 v0.1u Driver-dependant file (RN,HjG,JT)
)
\pIIe@GRAPH=\toks17
\@arclen=\dimen108
\@arcrad=\dimen109
\@tempdimd=\dimen110
) (build/ellipse.sty
Package: ellipse 2004/11/05 v1.0 .dtx ellipse file
)
\fbox@oct=\count96
\fbox@quad=\count97
\fbox@diaq=\count98
\fbox@sign=\count99
\fbox@anglestart=\skip82
\fbox@angleend=\skip83
\fbox@dash=\skip84
\fbox@dashskip=\skip85
\fbox@anglecur=\skip86
\fbox@dashangle=\skip87
\fbox@dashskipangle=\skip88
\fbox@delta=\skip89
\fbox@from=\skip90
\fbox@to=\skip91
\/fbox/padding-top=\skip92
\/fbox/padding-right=\skip93
\/fbox/padding-bottom=\skip94
\/fbox/padding-left=\skip95
\/fbox/padding-break-top=\skip96
\/fbox/padding-break-bottom=\skip97
\/fbox/margin-top=\skip98
\/fbox/margin-right=\skip99
\/fbox/margin-bottom=\skip100
\/fbox/margin-left=\skip101
\/fbox/margin-break-top=\skip102
\/fbox/margin-break-bottom=\skip103
\/fbox/border-top-width=\skip104
\/fbox/border-right-width=\skip105
\/fbox/border-bottom-width=\skip106
\/fbox/border-left-width=\skip107
\/fbox/border-break-top-width=\skip108
\/fbox/border-break-bottom-width=\skip109
\/fbox/@lower=\skip110
\/fbox/@padding-box-height=\skip111
\/fbox/@padding-box-depth=\skip112
\/fbox/@padding-box-width=\skip113
\/fbox/@border-box-width=\skip114
\/fbox/@border-box-height=\skip115
\/fbox/@border-box-depth=\skip116
\/fbox/@border-top-left-radius-x=\skip117
\/fbox/@border-top-right-radius-x=\skip118
\/fbox/@border-bottom-left-radius-x=\skip119
\/fbox/@border-bottom-right-radius-x=\skip120
\/fbox/@border-top-left-radius-y=\skip121
\/fbox/@border-top-right-radius-y=\skip122
\/fbox/@border-bottom-left-radius-y=\skip123
\/fbox/@border-bottom-right-radius-y=\skip124
\/fbox/@border-top-left-ix=\skip125
\/fbox/@border-top-left-iy=\skip126
\/fbox/@border-top-right-ix=\skip127
\/fbox/@border-top-right-iy=\skip128
\/fbox/@border-bottom-left-ix=\skip129
\/fbox/@border-bottom-left-iy=\skip130
\/fbox/@border-bottom-right-ix=\skip131
\/fbox/@border-bottom-right-iy=\skip132
\/fbox/@border-top-left-phi=\skip133
\/fbox/@border-top-right-phi=\skip134
\/fbox/@border-bottom-left-phi=\skip135
\/fbox/@border-bottom-right-phi=\skip136
) (/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amsmath.sty
Package: amsmath 2016/03/10 v2.15b AMS math features
\@mathmargin=\skip137
For additional information on amsmath, use the `?' option.
(/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amstext.sty
Package: amstext 2000/06/29 v2.01 AMS text
(/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amsgen.sty
File: amsgen.sty 1999/11/30 v2.0 generic functions
\@emptytoks=\toks18
\ex@=\dimen111
)) (/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amsbsy.sty
Package: amsbsy 1999/11/29 v1.2d Bold Symbols
\pmbraise@=\dimen112
) (/usr/local/texlive/2016/texmf-dist/tex/latex/amsmath/amsopn.sty
Package: amsopn 2016/03/08 v2.02 operator names
)
\inf@bad=\count100
LaTeX Info: Redefining \frac on input line 199.
\uproot@=\count101
\leftroot@=\count102
LaTeX Info: Redefining \overline on input line 297.
\classnum@=\count103
\DOTSCASE@=\count104
LaTeX Info: Redefining \ldots on input line 394.
LaTeX Info: Redefining \dots on input line 397.
LaTeX Info: Redefining \cdots on input line 518.
\Mathstrutbox@=\box30
\strutbox@=\box31
\big@size=\dimen113
LaTeX Font Info:    Redeclaring font encoding OML on input line 634.
LaTeX Font Info:    Redeclaring font encoding OMS on input line 635.
\macc@depth=\count105
\c@MaxMatrixCols=\count106
\dotsspace@=\muskip10
\c@parentequation=\count107
\dspbrk@lvl=\count108
\tag@help=\toks19
\row@=\count109
\column@=\count110
\maxfields@=\count111
\andhelp@=\toks20
\eqnshift@=\dimen114
\alignsep@=\dimen115
\tagshift@=\dimen116
\tagwidth@=\dimen117
\totwidth@=\dimen118
\lineht@=\dimen119
\@envbody=\toks21
\multlinegap=\skip138
\multlinetaggap=\skip139
\mathdisplay@stack=\toks22
LaTeX Info: Redefining \[ on input line 2739.
LaTeX Info: Redefining \] on input line 2740.
) (/usr/local/texlive/2016/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/local/texlive/2016/texmf-dist/tex/latex/amsfonts/amssymb.sty
Package: amssymb 2013/01/14 v3.01 AMS font symbols
) (/usr/local/texlive/2016/texmf-dist/tex/latex/stmaryrd/stmaryrd.sty
Package: stmaryrd 1994/03/03 St Mary's Road symbol package
\symstmry=\mathgroup6
LaTeX Font Info:    Overwriting symbol font `stmry' in version `bold'
(Font)                  U/stmry/m/n --> U/stmry/b/n on input line 89.
) (/usr/local/texlive/2016/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 79.
(/usr/local/texlive/2016/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 334.
Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 349.
Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 350.
Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 351.
Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 352.
Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 353.
Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 354.
Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 355.
Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 356.
Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 357.
Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 358.
Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 359.
Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 360.
Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 361.
Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 362.
Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 363.
Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 364.
Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 365.
Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 366.
Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 367.
Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 368.
Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 369.
Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 370.
Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 371.
Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 372.
Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 373.
Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 374.
Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 375.
Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 376.
Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 377.
Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 378.
Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 379.
Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 380.
Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 381.
Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 382.
Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 383.
Package textcomp Info: Setting lmtt sub-encoding to TS1/0 on input line 384.
Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 385.
Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 386.
Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 387.
Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 388.
Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 389.
Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 390.
Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 391.
Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 392.
Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 393.
Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 394.
Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 395.
Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 396.
Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 397.
Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 398.
Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 399.
Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 400.
Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 401.
Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 402.
Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 403.
Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 404.
Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 405.
Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 406.
Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 407.
Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 408.
Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 409.
) (/usr/local/texlive/2016/texmf-dist/tex/latex/psnfss/pifont.sty
Package: pifont 2005/04/12 PSNFSS-v9.2a Pi font support (SPQR) 
LaTeX Font Info:    Try loading font information for U+pzd on input line 63.
(/usr/local/texlive/2016/texmf-dist/tex/latex/psnfss/upzd.fd
File: upzd.fd 2001/06/04 font definitions for U/pzd.
)
LaTeX Font Info:    Try loading font information for U+psy on input line 64.
(/usr/local/texlive/2016/texmf-dist/tex/latex/psnfss/upsy.fd
File: upsy.fd 2001/06/04 font definitions for U/psy.
)) (/usr/local/texlive/2016/texmf-dist/tex/latex/hyperref/hyperref.sty
Package: hyperref 2016/05/05 v6.83n Hypertext links for LaTeX
(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty
Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO)
(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty
Package: hobsub-generic 2016/05/16 v1.14 Bundle oberdiek, subset generic (HO)
Package: hobsub 2016/05/16 v1.14 Construct package bundles (HO)
Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO)
Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO)
Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO)
Package ifluatex Info: LuaTeX not detected.
Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO)
Package ifvtex Info: VTeX not detected.
Package: intcalc 2016/05/16 v1.2 Expandable calculations with integers (HO)
Package: ifpdf 2016/05/14 v3.1 Provides the ifpdf switch
Package: etexcmds 2016/05/16 v1.6 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 2016/05/16 v1.17 Key value parser (HO)
Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO)
Package: pdftexcmds 2016/05/10 v0.21 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 is ignored in DVI mode.
Package: pdfescape 2016/05/16 v1.14 Implements pdfTeX's escape features (HO)
Package: bigintcalc 2016/05/16 v1.4 Expandable calculations on big integers (HO)
Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO)
Package: uniquecounter 2016/05/16 v1.3 Provide unlimited unique counter (HO)
)
Package hobsub Info: Skipping package `hobsub' (already loaded).
Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO)
Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO)
Package: xcolor-patch 2016/05/16 xcolor patch
Package: atveryend 2016/05/16 v1.9 Hooks at the very end of document (HO)
Package: atbegshi 2016/05/16 v1.17 At begin shipout hook (HO)
Package: refcount 2016/05/16 v3.5 Data extraction from label references (HO)
Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO)
) (/usr/local/texlive/2016/texmf-dist/tex/generic/ifxetex/ifxetex.sty
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
) (/usr/local/texlive/2016/texmf-dist/tex/latex/oberdiek/auxhook.sty
Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO)
) (/usr/local/texlive/2016/texmf-dist/tex/latex/oberdiek/kvoptions.sty
Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO)
)
\@linkdim=\dimen120
\Hy@linkcounter=\count112
\Hy@pagecounter=\count113
(/usr/local/texlive/2016/texmf-dist/tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2016/05/05 v6.83n Hyperref: PDFDocEncoding definition (HO)
)
\Hy@SavedSpaceFactor=\count114
(/usr/local/texlive/2016/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 4446.
Package hyperref Info: Link nesting OFF on input line 4451.
Package hyperref Info: Hyper index ON on input line 4454.
Package hyperref Info: Plain pages OFF on input line 4461.
Package hyperref Info: Backreferencing OFF on input line 4466.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4691.
\c@Hy@tempcnt=\count115
(/usr/local/texlive/2016/texmf-dist/tex/latex/url/url.sty
\Urlmuskip=\muskip11
Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 5044.
\XeTeXLinkMargin=\dimen121
\Fld@menulength=\count116
\Field@Width=\dimen122
\Fld@charsize=\dimen123
Package hyperref Info: Hyper figures OFF on input line 6298.
Package hyperref Info: Link nesting OFF on input line 6303.
Package hyperref Info: Hyper index ON on input line 6306.
Package hyperref Info: backreferencing OFF on input line 6313.
Package hyperref Info: Link coloring OFF on input line 6318.
Package hyperref Info: Link coloring with OCG OFF on input line 6323.
Package hyperref Info: PDF/A mode OFF on input line 6328.
LaTeX Info: Redefining \ref on input line 6368.
LaTeX Info: Redefining \pageref on input line 6372.
\Hy@abspage=\count117
\c@Item=\count118
\c@Hfootnote=\count119
)

Package hyperref Message: Driver (default): hdvips.

(/usr/local/texlive/2016/texmf-dist/tex/latex/hyperref/hdvips.def
File: hdvips.def 2016/05/05 v6.83n Hyperref driver for dvips
(/usr/local/texlive/2016/texmf-dist/tex/latex/hyperref/pdfmark.def
File: pdfmark.def 2016/05/05 v6.83n Hyperref definitions for pdfmark specials
\pdf@docset=\toks23
\pdf@box=\box32
\pdf@toks=\toks24
\pdf@defaulttoks=\toks25
\HyField@AnnotCount=\count120
\Fld@listcount=\count121
\c@bookmark@seq@number=\count122
(/usr/local/texlive/2016/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty
Package: rerunfilecheck 2016/05/16 v1.8 Rerun checks for auxiliary files (HO)
Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 282.
)
\Hy@SectionHShift=\skip140
)) (/usr/local/texlive/2016/texmf-dist/tex/latex/oberdiek/bookmark.sty
Package: bookmark 2016/05/16 v1.25 PDF bookmarks (HO)
(/usr/local/texlive/2016/texmf-dist/tex/latex/oberdiek/bkm-dvips.def
File: bkm-dvips.def 2016/05/16 v1.25 bookmark driver for dvips (HO)
\BKM@id=\count123
))
Package hyperref Info: Option `colorlinks' set `true' on input line 93.
\px=\skip141
\c@md@targetcount=\count124
\mdcompactskip=\skip142
\mdcompacttopsep=\skip143
\dim@rem=\skip144
\dim@ch=\skip145
\md@height=\skip146
\dim@marginbottom=\skip147
\dim@paddingbottom=\skip148
\md@interaction=\count125
\mddefinitionsskip=\skip149
\md@captionlen=\skip150
\mdtoclevel=\count126
\c@mdtoclevelbold=\count127
\c@mdtocleveldots=\count128
\mdtocskip=\skip151
\mdpreskip=\skip152
\presp=\skip153
\md@postskip=\skip154
\ppresp=\skip155
\md@thmcaption=\box33
\md@defaultcolwidth=\skip156
\mdtabularskip=\skip157
\mdbibindentunit=\skip158
\c@md@authorcount=\count129
\c@mdx@authorcount=\count130
\c@@mdTargetCount=\count131
\@snippetBox=\box34
\@snippetWidth=\skip159
\@snippetHeight=\skip160
\@snippetDepth=\skip161
\c@snippets=\count132
) (/usr/local/texlive/2016/texmf-dist/tex/latex/geometry/geometry.sty
Package: geometry 2010/09/12 v5.6 Page Geometry
\Gm@cnth=\count133
\Gm@cntv=\count134
\c@Gm@tempcnt=\count135
\Gm@bindingoffset=\dimen124
\Gm@wd@mp=\dimen125
\Gm@odd@mp=\dimen126
\Gm@even@mp=\dimen127
\Gm@layoutwidth=\dimen128
\Gm@layoutheight=\dimen129
\Gm@layouthoffset=\dimen130
\Gm@layoutvoffset=\dimen131
\Gm@dimlist=\toks26
) (build/proposal-math-plain.aux)
\openout1 = `proposal-math-plain.aux'.

LaTeX Font Info:    Checking defaults for OML/cmm/m/it on input line 11.
LaTeX Font Info:    ... okay on input line 11.
LaTeX Font Info:    Checking defaults for T1/cmr/m/n on input line 11.
LaTeX Font Info:    ... okay on input line 11.
LaTeX Font Info:    Checking defaults for OT1/cmr/m/n on input line 11.
LaTeX Font Info:    ... okay on input line 11.
LaTeX Font Info:    Checking defaults for OMS/cmsy/m/n on input line 11.
LaTeX Font Info:    ... okay on input line 11.
LaTeX Font Info:    Checking defaults for OMX/cmex/m/n on input line 11.
LaTeX Font Info:    ... okay on input line 11.
LaTeX Font Info:    Checking defaults for U/cmr/m/n on input line 11.
LaTeX Font Info:    ... okay on input line 11.
LaTeX Font Info:    Checking defaults for TS1/cmr/m/n on input line 11.
LaTeX Font Info:    Try loading font information for TS1+cmr on input line 11.
(/usr/local/texlive/2016/texmf-dist/tex/latex/base/ts1cmr.fd
File: ts1cmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    ... okay on input line 11.
LaTeX Font Info:    Checking defaults for PD1/pdf/m/n on input line 11.
LaTeX Font Info:    ... okay on input line 11.
\AtBeginShipoutBox=\box35
Package hyperref Info: Link coloring ON on input line 11.
(/usr/local/texlive/2016/texmf-dist/tex/latex/hyperref/nameref.sty
Package: nameref 2012/10/27 v2.43 Cross-referencing by name of section
(/usr/local/texlive/2016/texmf-dist/tex/generic/oberdiek/gettitlestring.sty
Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO)
)
\c@section@level=\count136
)
LaTeX Info: Redefining \ref on input line 11.
LaTeX Info: Redefining \pageref on input line 11.
LaTeX Info: Redefining \nameref on input line 11.
*geometry* driver: auto-detecting
*geometry* detected driver: dvips
*geometry* verbose mode - [ preamble ] result:
* driver: dvips
* paper: <default>
* layout: <same size as paper>
* 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=-30.06749pt
* \headheight=12.0pt
* \headsep=18.06749pt
* \topskip=10.0pt
* \footskip=25.29494pt
* \marginparwidth=125.0pt
* \marginparsep=7.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)

\md@dimfile=\write3
\openout3 = `proposal-math-plain.dim'.

LaTeX Font Info:    Try loading font information for U+msa on input line 18.
(/usr/local/texlive/2016/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 18.
(/usr/local/texlive/2016/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+stmry on input line 18.
(/usr/local/texlive/2016/texmf-dist/tex/latex/stmaryrd/Ustmry.fd) [1

] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
Package atveryend Info: Empty hook `BeforeClearDocument' on input line 65.
Package atveryend Info: Executing hook `AfterLastShipout' on input line 65.
\BKM@file=\write4
\openout4 = `proposal-math-plain.out.ps'.

(build/proposal-math-plain.aux)
Package atveryend Info: Empty hook `AtVeryEndDocument' on input line 65.
Package atveryend Info: Empty hook `AtEndAfterFileList' on input line 65.
 ) 
Here is how much of TeX's memory you used:
 10905 strings out of 493015
 202212 string characters out of 6133377
 297141 words of memory out of 5000000
 14338 multiletter control sequences out of 15000+600000
 6809 words of font info for 28 fonts, out of 8000000 for 9000
 1141 hyphenation exceptions out of 8191
 48i,5n,52p,870b,369s stack positions out of 5000i,500n,10000p,200000b,80000s

Output written on build/proposal-math-plain.dvi (15 pages, 11992 bytes).