This is pdfTeX, Version 3.141592653-2.6-1.40.22 (TeX Live 2021/Homebrew) (preloaded format=pdflatex 2022.3.3) 24 MAY 2022 17:17 entering extended mode restricted \write18 enabled. file:line:error style messages enabled. %&-line parsing enabled. **"/Users/davidkah/Desktop/SUMMER TEACHING/www/resources/summer/lec2/lec2.tex" (/Users/davidkah/Desktop/SUMMER TEACHING/www/resources/summer/lec2/lec2.tex LaTeX2e <2020-10-01> patch level 4 L3 programming layer <2021-02-18> (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/base/article.cls Document Class: article 2020/04/10 v1.4m Standard LaTeX document class (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/base/size10.clo File: size10.clo 2020/04/10 v1.4m Standard LaTeX file (size option) ) \c@part=\count179 \c@section=\count180 \c@subsection=\count181 \c@subsubsection=\count182 \c@paragraph=\count183 \c@subparagraph=\count184 \c@figure=\count185 \c@table=\count186 \abovecaptionskip=\skip47 \belowcaptionskip=\skip48 \bibindent=\dimen138 ) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/base/inputenc.sty Package: inputenc 2020/08/01 v1.3d Input encoding file \inpenc@prehook=\toks15 \inpenc@posthook=\toks16 ) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2020/09/23 v2.17i AMS math features \@mathmargin=\skip49 For additional information on amsmath, use the `?' option. (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/amsmath/amstext.sty Package: amstext 2000/06/29 v2.01 AMS text (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks17 \ex@=\dimen139 )) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen140 ) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2016/03/08 v2.02 operator names ) \inf@bad=\count187 LaTeX Info: Redefining \frac on input line 234. \uproot@=\count188 \leftroot@=\count189 LaTeX Info: Redefining \overline on input line 399. \classnum@=\count190 \DOTSCASE@=\count191 LaTeX Info: Redefining \ldots on input line 496. LaTeX Info: Redefining \dots on input line 499. LaTeX Info: Redefining \cdots on input line 620. \Mathstrutbox@=\box47 \strutbox@=\box48 \big@size=\dimen141 LaTeX Font Info: Redeclaring font encoding OML on input line 743. LaTeX Font Info: Redeclaring font encoding OMS on input line 744. \macc@depth=\count192 \c@MaxMatrixCols=\count193 \dotsspace@=\muskip16 \c@parentequation=\count194 \dspbrk@lvl=\count195 \tag@help=\toks18 \row@=\count196 \column@=\count197 \maxfields@=\count198 \andhelp@=\toks19 \eqnshift@=\dimen142 \alignsep@=\dimen143 \tagshift@=\dimen144 \tagwidth@=\dimen145 \totwidth@=\dimen146 \lineht@=\dimen147 \@envbody=\toks20 \multlinegap=\skip50 \multlinetaggap=\skip51 \mathdisplay@stack=\toks21 LaTeX Info: Redefining \[ on input line 2923. LaTeX Info: Redefining \] on input line 2924. ) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/lkproof/proof.sty \inferLineSkip=\dimen148 \inferLabelSkip=\dimen149 \@LeftOffset=\dimen150 \@RightOffset=\dimen151 \@SavedLeftOffset=\dimen152 \UpperWidth=\dimen153 \LowerWidth=\dimen154 \LowerHeight=\dimen155 \UpperLeftOffset=\dimen156 \UpperRightOffset=\dimen157 \UpperCenter=\dimen158 \LowerCenter=\dimen159 \UpperAdjust=\dimen160 \RuleAdjust=\dimen161 \LowerAdjust=\dimen162 \RuleWidth=\dimen163 \HLabelAdjust=\dimen164 \VLabelAdjust=\dimen165 \WidthAdjust=\dimen166 \@UpperPart=\box49 \@LowerPart=\box50 \@LabelPart=\box51 \ResultBox=\box52 ) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/mathpartir/mathpartir.sty Package: mathpartir 2016/02/24 version 1.3.2 Math Paragraph for Typesetting Inference Rules (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2014/10/28 v1.15 key=value parser (DPC) \KV@toks@=\toks22 ) \mpr@andskip=\skip52 \mpr@lista=\toks23 \mpr@listb=\toks24 \mpr@hlist=\box53 \mpr@vlist=\box54 \mpr@right=\box55 ) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/url/url.sty \Urlmuskip=\muskip17 Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. ) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/listings/listings.sty \lst@mode=\count199 \lst@gtempboxa=\box56 \lst@token=\toks25 \lst@length=\count266 \lst@currlwidth=\dimen167 \lst@column=\count267 \lst@pos=\count268 \lst@lostspace=\dimen168 \lst@width=\dimen169 \lst@newlines=\count269 \lst@lineno=\count270 \lst@maxwidth=\dimen170 (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/listings/lstmisc.sty File: lstmisc.sty 2020/03/24 1.8d (Carsten Heinz) \c@lstnumber=\count271 \lst@skipnumbers=\count272 \lst@framebox=\box57 ) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/listings/listings.cfg File: listings.cfg 2020/03/24 1.8d listings configuration )) Package: listings 2020/03/24 1.8d (Carsten Heinz) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/graphics/color.sty Package: color 2020/02/24 v1.2b Standard LaTeX Color (DPC) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/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. (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2020/10/05 v1.2a Graphics/color driver for pdftex )) (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2021-03-18 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count273 \l__pdf_internal_box=\box58 ) (/Users/davidkah/Desktop/SUMMER TEACHING/www/resources/summer/lec2/lec2.aux) \openout1 = `lec2.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 44. LaTeX Font Info: ... okay on input line 44. \c@lstlisting=\count274 (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count275 \scratchdimen=\dimen171 \scratchbox=\box59 \nofMPsegments=\count276 \nofMParguments=\count277 \everyMPshowfont=\toks26 \MPscratchCnt=\count278 \MPscratchDim=\dimen172 \MPnumerator=\count279 \makeMPintoPDFobject=\count280 \everyMPtoPDFconversion=\toks27 ) LaTeX Font Info: Trying to load font information for U+msa on input line 46. (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Trying to load font information for U+msb on input line 46. (/usr/local/Cellar/texlive/58837_1/share/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/usr/local/Cellar/texlive/58837_1/share/texmf-dist/fonts/map/pdftex/updmap/pdftex.map}] [2] [3] [4] [5] [6] Overfull \hbox (0.8046pt too wide) in paragraph at lines 517--517 []\OT1/cmr/bx/n/14.4 Extensional Equiv-a-lence and Re-duc-tion Tricks [] [7] [8] (/Users/davidkah/Desktop/SUMMER TEACHING/www/resources/summer/lec2/lec2.aux) ) Here is how much of TeX's memory you used: 4188 strings out of 478994 56631 string characters out of 5850134 424910 words of memory out of 5000000 21651 multiletter control sequences out of 15000+600000 415188 words of font info for 72 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 67i,11n,74p,552b,1617s stack positions out of 5000i,500n,10000p,200000b,80000s {/usr/local/Cellar/texlive/58837_1/share/texmf-dist/fonts/enc/dvips/cm-super/cm-super-ts1.enc} Output written on "/Users/davidkah/Desktop/SUMMER TEACHING/www/resources/summer/lec2/lec2.pdf" (8 pages, 234578 bytes). PDF statistics: 124 PDF objects out of 1000 (max. 8388607) 90 compressed objects within 1 object stream 0 named destinations out of 1000 (max. 500000) 1 words of extra memory for PDF output out of 10000 (max. 10000000)