gistfile1.txt

This is pdfTeX, Version 3.14159265-2.6-1.40.19 (TeX Live 2018/NixOS.org) (preloaded format=pdflatex 2019.5.3)  3 MAY 2019 12:44
entering extended mode
 restricted \write18 enabled.
 %&-line parsing enabled.
**test.tex
(./test.tex
LaTeX2e <2018-04-01> patch level 5

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/article.cls
Document Class: article 2014/09/29 v1.4h Standard LaTeX document class

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/size10.clo
File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
)
\c@part=\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
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/inputenc.sty
Package: inputenc 2018/04/06 v1.3b Input encoding file
\inpenc@prehook=\toks14
\inpenc@posthook=\toks15
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/fontenc.sty
Package: fontenc 2017/04/05 v2.0i Standard LaTeX package

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/t1enc.def
File: t1enc.def 2017/04/05 v2.0i Standard LaTeX file
LaTeX Font Info:    Redeclaring font encoding T1 on input line 48.
))
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/graphics/graphicx.sty
Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR)

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/graphics/keyval.sty
Package: keyval 2014/10/28 v1.15 key=value parser (DPC)
\KV@toks@=\toks16
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/graphics/graphics.sty
Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR)

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/graphics/trig.sty
Package: trig 2016/01/03 v1.10 sin cos tan (DPC)
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
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 99.

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/graphics-def/pdftex.def
File: pdftex.def 2018/01/08 v1.0l Graphics/color driver for pdftex
))
\Gin@req@height=\dimen103
\Gin@req@width=\dimen104
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/hyperref/hyperref.sty
Package: hyperref 2018/02/06 v6.86b Hypertext links for LaTeX

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/generic/oberdiek/hobsub-hyperref.sty
Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO)


(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
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 2017/03/15 v3.2 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 2018/01/30 v0.27 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 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 atveryend Info: \enddocument detected (standard20110627).
Package: atbegshi 2016/06/09 v1.18 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)
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/generic/ifxetex/ifxetex.sty
Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/oberdiek/auxhook.sty
Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO)
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/oberdiek/kvoptions.sty
Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO)
)
\@linkdim=\dimen105
\Hy@linkcounter=\count88
\Hy@pagecounter=\count89

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/hyperref/pd1enc.def
File: pd1enc.def 2018/02/06 v6.86b Hyperref: PDFDocEncoding definition (HO)
Now handling font encoding PD1 ...
... no UTF-8 mapping file for font encoding PD1
)
\Hy@SavedSpaceFactor=\count90

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
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 4509.
Package hyperref Info: Link nesting OFF on input line 4514.
Package hyperref Info: Hyper index ON on input line 4517.
Package hyperref Info: Plain pages OFF on input line 4524.
Package hyperref Info: Backreferencing OFF on input line 4529.
Package hyperref Info: Implicit mode ON; LaTeX internals redefined.
Package hyperref Info: Bookmarks ON on input line 4762.
\c@Hy@tempcnt=\count91

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/url/url.sty
\Urlmuskip=\muskip10
Package: url 2013/09/16  ver 3.4  Verb mode for urls, etc.
)
LaTeX Info: Redefining \url on input line 5115.
\XeTeXLinkMargin=\dimen106
\Fld@menulength=\count92
\Field@Width=\dimen107
\Fld@charsize=\dimen108
Package hyperref Info: Hyper figures OFF on input line 6369.
Package hyperref Info: Link nesting OFF on input line 6374.
Package hyperref Info: Hyper index ON on input line 6377.
Package hyperref Info: backreferencing OFF on input line 6384.
Package hyperref Info: Link coloring OFF on input line 6389.
Package hyperref Info: Link coloring with OCG OFF on input line 6394.
Package hyperref Info: PDF/A mode OFF on input line 6399.
LaTeX Info: Redefining \ref on input line 6439.
LaTeX Info: Redefining \pageref on input line 6443.
\Hy@abspage=\count93
\c@Item=\count94
\c@Hfootnote=\count95
)
Package hyperref Info: Driver (autodetected): hpdftex.

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/hyperref/hpdftex.def
File: hpdftex.def 2018/02/06 v6.86b Hyperref driver for pdfTeX
\Fld@listcount=\count96
\c@bookmark@seq@number=\count97

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
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 2
82.
)
\Hy@SectionHShift=\skip43
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/relsize/relsize.sty
Package: relsize 2013/03/29 ver 4.1
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/generic/mathabx/mathabx.sty
Package: mathabx 2003/07/29 v0.0 Non-standard LaTeX package mathabx
\symmatha=\mathgroup4
\symmathb=\mathgroup5
\symmathx=\mathgroup6

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/generic/mathabx/mathabx.dcl
LaTeX Font Info:    Redeclaring math symbol \cdotp on input line 25.
LaTeX Font Info:    Redeclaring math symbol \times on input line 33.
LaTeX Font Info:    Redeclaring math symbol \div on input line 34.
LaTeX Font Info:    Redeclaring math symbol \cdot on input line 35.
LaTeX Font Info:    Redeclaring math symbol \circ on input line 36.
LaTeX Font Info:    Redeclaring math symbol \ast on input line 38.
LaTeX Font Info:    Redeclaring math symbol \pm on input line 41.
LaTeX Font Info:    Redeclaring math symbol \mp on input line 42.
LaTeX Font Info:    Redeclaring math symbol \diamond on input line 45.
LaTeX Font Info:    Redeclaring math symbol \bullet on input line 46.
LaTeX Font Info:    Redeclaring math symbol \star on input line 47.
LaTeX Font Info:    Redeclaring math symbol \amalg on input line 51.
LaTeX Font Info:    Redeclaring math symbol \equiv on input line 83.
LaTeX Font Info:    Redeclaring math symbol \sim on input line 84.
LaTeX Font Info:    Redeclaring math symbol \approx on input line 85.
LaTeX Font Info:    Redeclaring math symbol \simeq on input line 86.
LaTeX Font Info:    Redeclaring math symbol \asymp on input line 89.
LaTeX Font Info:    Redeclaring math symbol \neg on input line 134.
LaTeX Font Info:    Redeclaring math symbol \ll on input line 136.
LaTeX Font Info:    Redeclaring math symbol \gg on input line 137.
LaTeX Font Info:    Redeclaring math symbol \vdash on input line 139.
LaTeX Font Info:    Redeclaring math symbol \dashv on input line 140.
LaTeX Font Info:    Redeclaring math symbol \flat on input line 158.
LaTeX Font Info:    Redeclaring math symbol \natural on input line 159.
LaTeX Font Info:    Redeclaring math symbol \sharp on input line 160.
LaTeX Font Info:    Redeclaring math symbol \infty on input line 161.
LaTeX Font Info:    Redeclaring math symbol \propto on input line 162.
LaTeX Font Info:    Redeclaring math symbol \dagger on input line 163.
LaTeX Font Info:    Redeclaring math symbol \ddagger on input line 164.
LaTeX Font Info:    Redeclaring math symbol \smile on input line 171.
LaTeX Font Info:    Redeclaring math symbol \frown on input line 172.
LaTeX Font Info:    Redeclaring math symbol \setminus on input line 218.
LaTeX Font Info:    Redeclaring math symbol \mid on input line 222.
LaTeX Font Info:    Redeclaring math symbol \forall on input line 279.
LaTeX Font Info:    Redeclaring math symbol \partial on input line 281.
LaTeX Font Info:    Redeclaring math symbol \exists on input line 284.
LaTeX Font Info:    Redeclaring math symbol \emptyset on input line 288.
LaTeX Font Info:    Redeclaring math symbol \top on input line 290.
LaTeX Font Info:    Redeclaring math symbol \bot on input line 291.
LaTeX Font Info:    Redeclaring math symbol \perp on input line 292.
LaTeX Font Info:    Redeclaring math symbol \in on input line 299.
LaTeX Font Info:    Redeclaring math symbol \owns on input line 300.
LaTeX Font Info:    Redeclaring math symbol \cap on input line 312.
LaTeX Font Info:    Redeclaring math symbol \cup on input line 313.
LaTeX Font Info:    Redeclaring math symbol \uplus on input line 314.
LaTeX Font Info:    Redeclaring math symbol \sqcap on input line 315.
LaTeX Font Info:    Redeclaring math symbol \sqcup on input line 316.
LaTeX Font Info:    Redeclaring math symbol \wedge on input line 318.
LaTeX Font Info:    Redeclaring math symbol \vee on input line 320.
LaTeX Font Info:    Redeclaring math symbol \subset on input line 344.
LaTeX Font Info:    Redeclaring math symbol \supset on input line 345.
LaTeX Font Info:    Redeclaring math symbol \subseteq on input line 348.
LaTeX Font Info:    Redeclaring math symbol \supseteq on input line 349.
LaTeX Font Info:    Redeclaring math symbol \sqsubseteq on input line 380.
LaTeX Font Info:    Redeclaring math symbol \sqsupseteq on input line 381.
LaTeX Font Info:    Redeclaring math symbol \triangleleft on input line 407.
LaTeX Font Info:    Redeclaring math symbol \triangleright on input line 409.
LaTeX Font Info:    Redeclaring math symbol \leq on input line 439.
LaTeX Font Info:    Redeclaring math symbol \geq on input line 441.
LaTeX Font Info:    Redeclaring math symbol \prec on input line 498.
LaTeX Font Info:    Redeclaring math symbol \succ on input line 499.
LaTeX Font Info:    Redeclaring math symbol \preceq on input line 506.
LaTeX Font Info:    Redeclaring math symbol \succeq on input line 507.
LaTeX Font Info:    Redeclaring math symbol \leftarrow on input line 540.
LaTeX Font Info:    Redeclaring math symbol \rightarrow on input line 542.
LaTeX Font Info:    Redeclaring math symbol \nwarrow on input line 546.
LaTeX Font Info:    Redeclaring math symbol \nearrow on input line 547.
LaTeX Font Info:    Redeclaring math symbol \swarrow on input line 548.
LaTeX Font Info:    Redeclaring math symbol \searrow on input line 549.
LaTeX Font Info:    Redeclaring math symbol \leftrightarrow on input line 550.
LaTeX Font Info:    Redeclaring math symbol \mapstochar on input line 557.
LaTeX Font Info:    Redeclaring math symbol \leftharpoonup on input line 560.
LaTeX Font Info:    Redeclaring math symbol \rightharpoonup on input line 561.
LaTeX Font Info:    Redeclaring math symbol \leftharpoondown on input line 562.

LaTeX Font Info:    Redeclaring math symbol \rightharpoondown on input line 563
.
LaTeX Font Info:    Redeclaring math symbol \Leftarrow on input line 575.
LaTeX Font Info:    Redeclaring math symbol \Rightarrow on input line 576.
LaTeX Font Info:    Redeclaring math symbol \Leftrightarrow on input line 579.
LaTeX Font Info:    Redeclaring math symbol \rhook on input line 612.
LaTeX Font Info:    Redeclaring math symbol \lhook on input line 613.
LaTeX Font Info:    Redeclaring math symbol \oplus on input line 658.
LaTeX Font Info:    Redeclaring math symbol \ominus on input line 659.
LaTeX Font Info:    Redeclaring math symbol \otimes on input line 661.
LaTeX Font Info:    Redeclaring math symbol \odot on input line 663.
LaTeX Font Info:    Redeclaring math symbol \oslash on input line 675.
\mayacnter=\count98
\mayacnta=\count99
\mayacntb=\count100
\mayacntc=\count101
\mayawidth=\dimen109
LaTeX Font Info:    Redeclaring math symbol \intop on input line 753.
LaTeX Font Info:    Redeclaring math symbol \ointop on input line 760.
LaTeX Font Info:    Redeclaring math delimiter \lbrace on input line 842.
LaTeX Info: Redefining \{ on input line 846.
LaTeX Font Info:    Redeclaring math delimiter \rbrace on input line 848.
LaTeX Info: Redefining \} on input line 852.
LaTeX Font Info:    Redeclaring math delimiter \langle on input line 858.
LaTeX Font Info:    Redeclaring math delimiter \rangle on input line 859.
LaTeX Font Info:    Redeclaring math delimiter \vert on input line 863.
LaTeX Font Info:    Redeclaring math delimiter \Vert on input line 865.
LaTeX Font Info:    Redeclaring math delimiter \uparrow on input line 868.
LaTeX Font Info:    Redeclaring math delimiter \downarrow on input line 869.
LaTeX Font Info:    Redeclaring math delimiter \updownarrow on input line 870.
LaTeX Font Info:    Redeclaring math delimiter \Uparrow on input line 871.
LaTeX Font Info:    Redeclaring math delimiter \Downarrow on input line 872.
LaTeX Font Info:    Redeclaring math delimiter \Updownarrow on input line 873.
LaTeX Font Info:    Redeclaring math delimiter \lgroup on input line 880.
LaTeX Font Info:    Redeclaring math delimiter \rgroup on input line 881.
LaTeX Font Info:    Redeclaring math delimiter \lceil on input line 882.
LaTeX Font Info:    Redeclaring math delimiter \rceil on input line 883.
LaTeX Font Info:    Redeclaring math delimiter \lfloor on input line 884.
LaTeX Font Info:    Redeclaring math delimiter \rfloor on input line 885.
LaTeX Font Info:    Redeclaring math symbol \braceld on input line 903.
LaTeX Font Info:    Redeclaring math symbol \bracerd on input line 905.
LaTeX Font Info:    Redeclaring math symbol \bracelu on input line 907.
LaTeX Font Info:    Redeclaring math symbol \braceru on input line 909.
LaTeX Font Info:    Redeclaring math accent \widehat on input line 944.
LaTeX Font Info:    Redeclaring math accent \widetilde on input line 946.
))
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/wasysym/wasysym.sty
Package: wasysym 2003/10/30 v2.0 Wasy-2 symbol support package
\symwasy=\mathgroup7
LaTeX Font Info:    Overwriting symbol font `wasy' in version `bold'
(Font)                  U/wasy/m/n --> U/wasy/b/n on input line 90.
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/textcomp.sty
Package: textcomp 2017/04/05 v2.0i 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.

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/ts1enc.def
File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file
Now handling font encoding TS1 ...
... processing UTF-8 mapping file for font encoding TS1

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/ts1enc.dfu
File: ts1enc.dfu 2018/04/05 v1.2c UTF-8 support for inputenc
   defining Unicode char U+00A2 (decimal 162)
   defining Unicode char U+00A3 (decimal 163)
   defining Unicode char U+00A4 (decimal 164)
   defining Unicode char U+00A5 (decimal 165)
   defining Unicode char U+00A6 (decimal 166)
   defining Unicode char U+00A7 (decimal 167)
   defining Unicode char U+00A8 (decimal 168)
   defining Unicode char U+00A9 (decimal 169)
   defining Unicode char U+00AA (decimal 170)
   defining Unicode char U+00AC (decimal 172)
   defining Unicode char U+00AE (decimal 174)
   defining Unicode char U+00AF (decimal 175)
   defining Unicode char U+00B0 (decimal 176)
   defining Unicode char U+00B1 (decimal 177)
   defining Unicode char U+00B2 (decimal 178)
   defining Unicode char U+00B3 (decimal 179)
   defining Unicode char U+00B4 (decimal 180)
   defining Unicode char U+00B5 (decimal 181)
   defining Unicode char U+00B6 (decimal 182)
   defining Unicode char U+00B7 (decimal 183)
   defining Unicode char U+00B9 (decimal 185)
   defining Unicode char U+00BA (decimal 186)
   defining Unicode char U+00BC (decimal 188)
   defining Unicode char U+00BD (decimal 189)
   defining Unicode char U+00BE (decimal 190)
   defining Unicode char U+00D7 (decimal 215)
   defining Unicode char U+00F7 (decimal 247)
   defining Unicode char U+0192 (decimal 402)
   defining Unicode char U+02C7 (decimal 711)
   defining Unicode char U+02D8 (decimal 728)
   defining Unicode char U+02DD (decimal 733)
   defining Unicode char U+0E3F (decimal 3647)
   defining Unicode char U+2016 (decimal 8214)
   defining Unicode char U+2020 (decimal 8224)
   defining Unicode char U+2021 (decimal 8225)
   defining Unicode char U+2022 (decimal 8226)
   defining Unicode char U+2030 (decimal 8240)
   defining Unicode char U+2031 (decimal 8241)
   defining Unicode char U+203B (decimal 8251)
   defining Unicode char U+203D (decimal 8253)
   defining Unicode char U+2044 (decimal 8260)
   defining Unicode char U+204E (decimal 8270)
   defining Unicode char U+2052 (decimal 8274)
   defining Unicode char U+20A1 (decimal 8353)
   defining Unicode char U+20A4 (decimal 8356)
   defining Unicode char U+20A6 (decimal 8358)
   defining Unicode char U+20A9 (decimal 8361)
   defining Unicode char U+20AB (decimal 8363)
   defining Unicode char U+20AC (decimal 8364)
   defining Unicode char U+20B1 (decimal 8369)
   defining Unicode char U+2103 (decimal 8451)
   defining Unicode char U+2116 (decimal 8470)
   defining Unicode char U+2117 (decimal 8471)
   defining Unicode char U+211E (decimal 8478)
   defining Unicode char U+2120 (decimal 8480)
   defining Unicode char U+2122 (decimal 8482)
   defining Unicode char U+2126 (decimal 8486)
   defining Unicode char U+2127 (decimal 8487)
   defining Unicode char U+212E (decimal 8494)
   defining Unicode char U+2190 (decimal 8592)
   defining Unicode char U+2191 (decimal 8593)
   defining Unicode char U+2192 (decimal 8594)
   defining Unicode char U+2193 (decimal 8595)
   defining Unicode char U+2329 (decimal 9001)
   defining Unicode char U+232A (decimal 9002)
   defining Unicode char U+2422 (decimal 9250)
   defining Unicode char U+25E6 (decimal 9702)
   defining Unicode char U+25EF (decimal 9711)
   defining Unicode char U+266A (decimal 9834)
   defining Unicode char U+FEFF (decimal 65279)
))
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.
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/framed/framed.sty
Package: framed 2011/10/22 v 0.96: framed or shaded text with page breaks
\OuterFrameSep=\skip44
\fb@frw=\dimen110
\fb@frh=\dimen111
\FrameRule=\dimen112
\FrameSep=\dimen113
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/hyphenat/hyphenat.sty
Package: hyphenat 2009/09/02 v2.3c hyphenation utilities


Package hyphenat Warning: *******************************
(hyphenat)                * You have used the htt option.
(hyphenat)                * You are likely to get many Font Warning messages.
(hyphenat)                * These can usually be ignored.
(hyphenat)                *******************************.

\langwohyphens=\language3
LaTeX Info: Redefining \_ on input line 43.
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/graphics/color.sty
Package: color 2016/07/10 v1.1e Standard LaTeX Color (DPC)

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/graphics-cfg/color.cfg
File: color.cfg 2016/01/02 v1.6 sample color configuration
)
Package color Info: Driver file: pdftex.def on input line 147.

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/graphics/dvipsnam.def
File: dvipsnam.def 2016/06/17 v3.0m Driver-dependent file (DPC,SPQR)
))

Package hyperref Warning: Option `bookmarks' has already been used,
(hyperref)                setting the option has no effect on input line 46.

Package hyperref Info: Option `bookmarksopen' set `true' on input line 46.
Package hyperref Info: Option `bookmarksnumbered' set `true' on input line 46.

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/koma-script/tocstyle.sty
Package: tocstyle 2017/02/23 v0.2i-alpha KOMA-Script package (versatile toc sty
les)


Package tocstyle Warning: THIS IS AN ALPHA VERSION!
(tocstyle)                USAGE OF THIS VERSION IS ON YOUR OWN RISK!
(tocstyle)                EVERYTHING MAY HAPPEN!
(tocstyle)                EVERYTHING MAY CHANGE IN FUTURE!
(tocstyle)                THERE IS NO SUPPORT, IF YOU USE THIS PACKAGE!
(tocstyle)                Maybe it would be better, not to load this package.

\tocstyle@indentstyle=\count102
Package tocstyle Info: no tocstyle.cfg found on input line 942.
)
exclude: 
exclude: 
exclude: 
exclude: 
exclude: 
exclude: 
exclude: 
exclude: 
exclude: 
exclude: 
pltstabular is a modification of stabular
\stabLeft=\skip45
\c@GrouperTemp=\count103

No file test.aux.
\openout1 = `test.aux'.

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


(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/ts1cmr.fd
File: ts1cmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions
)
LaTeX Font Info:    ... okay on input line 531.
LaTeX Font Info:    Try loading font information for T1+ptm on input line 531.

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/psnfss/t1ptm.fd
File: t1ptm.fd 2001/06/04 font definitions for T1/ptm.
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/context/base/mkii/supp-pdf.mkii
[Loading MPS to PDF converter (version 2006.09.02).]
\scratchcounter=\count104
\scratchdimen=\dimen114
\scratchbox=\box26
\nofMPsegments=\count105
\nofMParguments=\count106
\everyMPshowfont=\toks17
\MPscratchCnt=\count107
\MPscratchDim=\dimen115
\MPnumerator=\count108
\makeMPintoPDFobject=\count109
\everyMPtoPDFconversion=\toks18
)
(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/oberdiek/epstopdf-base.sty
Package: epstopdf-base 2016/05/15 v2.6 Base part for package epstopdf

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/oberdiek/grfext.sty
Package: grfext 2016/05/16 v1.2 Manage graphics extensions (HO)
)
Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4
38.
Package grfext Info: Graphics extension search list:
(grfext)             [.pdf,.png,.jpg,.mps,.jpeg,.jbig2,.jb2,.PDF,.PNG,.JPG,.JPE
G,.JBIG2,.JB2,.eps]
(grfext)             \AppendGraphicsExtensions on input line 456.

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/latexconfig/epstopdf-sys.cfg
File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv
e
))
\AtBeginShipoutBox=\box27
Package hyperref Info: Link coloring OFF on input line 531.

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/hyperref/nameref.sty
Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/generic/oberdiek/gettitlestring.sty
Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO)
)
\c@section@level=\count110
)
LaTeX Info: Redefining \ref on input line 531.
LaTeX Info: Redefining \pageref on input line 531.
LaTeX Info: Redefining \nameref on input line 531.
\@outlinefile=\write3
\openout3 = `test.out'.

LaTeX Font Info:    Try loading font information for T1+cmtt on input line 531.


(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/base/t1cmtt.fd
File: t1cmtt.fd 2014/09/29 v2.5h Standard LaTeX font definitions
)

LaTeX Font Warning: Font shape `T1/cmtt/b/n' undefined
(Font)              using `T1/cmtt/m/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/b/it' undefined
(Font)              using `T1/cmtt/b/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/b/sl' undefined
(Font)              using `T1/cmtt/b/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/b/sc' undefined
(Font)              using `T1/cmtt/b/n' instead on input line 531.

LaTeX Font Info:    Font shape `T1/cmtt/bx/n' in size <10> not available
(Font)              Font shape `T1/cmtt/m/n' tried instead on input line 531.
LaTeX Font Info:    Font shape `T1/cmtt/bx/it' in size <10> not available
(Font)              Font shape `T1/cmtt/m/it' tried instead on input line 531.

LaTeX Font Warning: Font shape `T1/cmtt/bx/sl' undefined
(Font)              using `T1/cmtt/bx/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/bx/sc' undefined
(Font)              using `T1/cmtt/bx/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/sb/n' undefined
(Font)              using `T1/cmtt/m/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/sb/it' undefined
(Font)              using `T1/cmtt/sb/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/sb/sl' undefined
(Font)              using `T1/cmtt/sb/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/sb/sc' undefined
(Font)              using `T1/cmtt/sb/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/c/n' undefined
(Font)              using `T1/cmtt/m/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/c/it' undefined
(Font)              using `T1/cmtt/c/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/c/sl' undefined
(Font)              using `T1/cmtt/c/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/c/sc' undefined
(Font)              using `T1/cmtt/c/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/l/n' undefined
(Font)              using `T1/cmtt/m/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/l/it' undefined
(Font)              using `T1/cmtt/l/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/l/sl' undefined
(Font)              using `T1/cmtt/l/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/l/sc' undefined
(Font)              using `T1/cmtt/l/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/m/ui' undefined
(Font)              using `T1/cmtt/m/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/bx/ui' undefined
(Font)              using `T1/cmtt/bx/n' instead on input line 531.


LaTeX Font Warning: Font shape `T1/cmtt/m/In' undefined
(Font)              using `T1/cmtt/m/n' instead on input line 531.

LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <12> not available
(Font)              Font shape `T1/ptm/b/n' tried instead on input line 531.
Package tocstyle Info: prepare \l@part for redefinition on input line 531.
LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <10> not available
(Font)              Font shape `T1/ptm/b/n' tried instead on input line 531.
Package tocstyle Info: prepare \l@section for redefinition on input line 531.
Package tocstyle Info: prepare \l@subsection for redefinition on input line 531
.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <7> on input line 531.
LaTeX Font Info:    External font `cmex10' loaded for size
(Font)              <5> on input line 531.
LaTeX Font Info:    Try loading font information for U+wasy on input line 531.

(/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
tex/latex/wasysym/uwasy.fd
File: uwasy.fd 2003/10/30 v2.0 Wasy-2 symbol font definitions
)
Package tocstyle Info: prepare \l@subsubsection for redefinition on input line 
531.
Package tocstyle Info: prepare \l@table for redefinition on input line 531.
Package tocstyle Info: prepare \l@figure for redefinition on input line 531.
LaTeX Font Info:    Font shape `T1/ptm/bx/n' in size <14.4> not available
(Font)              Font shape `T1/ptm/b/n' tried instead on input line 539.

Underfull \hbox (badness 10000) in paragraph at lines 545--545
[]\T1/ptm/m/n/10 David Gold-berg, Robert Bruce Find-ler, and Matthew Flatt,
 []


Underfull \hbox (badness 10000) in paragraph at lines 545--545
\T1/ptm/m/n/10 ``Su-per and Inner---Together at Last!,'' Object-Oriented Pro-
 []


Underfull \hbox (badness 10000) in paragraph at lines 545--545
\T1/ptm/m/n/10 gram-ming, Lan-guages, Sys-tems, and Ap-pli-ca-tions, 2004.
 []


Underfull \hbox (badness 10000) in paragraph at lines 545--545
[]\T1/cmtt/l/n/10 http[]//www[]cs[]utah[]edu/$\U/matha/m/n/10 ^^R$\T1/cmtt/l/n/
10 plt/publications/oopsla04-
 []

Package atveryend Info: Empty hook `BeforeClearDocument' on input line 548.
[1

{/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texmf/
fonts/map/pdftex/updmap/pdftex.map}]
Package atveryend Info: Empty hook `AfterLastShipout' on input line 548.
 (./test.aux)
Package atveryend Info: Executing hook `AtVeryEndDocument' on input line 548.
Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 548.


Package rerunfilecheck Warning: File `test.out' has changed.
(rerunfilecheck)                Rerun to get outlines right
(rerunfilecheck)                or use package `bookmark'.

Package rerunfilecheck Info: Checksums for `test.out':
(rerunfilecheck)             Before: <no file>
(rerunfilecheck)             After:  2FF5DAB2DA5170F515B13A079222741C;47.

LaTeX Font Warning: Some font shapes were not available, defaults substituted.


LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right.

Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 548.
 ) 
Here is how much of TeX's memory you used:
 7195 strings out of 494587
 107813 string characters out of 6174534
 182273 words of memory out of 5000000
 10753 multiletter control sequences out of 15000+600000
 21644 words of font info for 39 fonts, out of 8000000 for 9000
 14 hyphenation exceptions out of 8191
 28i,6n,30p,334b,310s stack positions out of 5000i,500n,10000p,200000b,80000s
{/nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-2018/share/texm
f/fonts/enc/dvips/cm-super/cm-super-t1.enc}{/nix/store/bj76s3fhfhxiwgvxj24b51hy
va1di0dy-texlive-combined-2018/share/texmf/fonts/enc/dvips/base/8r.enc}
!pdfTeX error: /nix/store/bj76s3fhfhxiwgvxj24b51hyva1di0dy-texlive-combined-201
8/bin/pdflatex (file matha10.pfb): cannot open Type 1 font file for reading
 ==> Fatal error occurred, no output PDF file produced!