This is pdfTeX, Version 3.141592653-2.6-1.40.25 (TeX Live 2023/Debian) (preloaded format=pdflatex 2026.4.13) 19 AUG 2026 03:48 entering extended mode restricted \write18 enabled. %&-line parsing enabled. **ex07 (./ex07.tex LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> (/usr/share/texlive/texmf-dist/tex/latex/base/article.cls Document Class: article 2023/05/17 v1.4n Standard LaTeX document class (/usr/share/texlive/texmf-dist/tex/latex/base/size11.clo File: size11.clo 2023/05/17 v1.4n Standard LaTeX file (size option) ) \c@part=\count187 \c@section=\count188 \c@subsection=\count189 \c@subsubsection=\count190 \c@paragraph=\count191 \c@subparagraph=\count192 \c@figure=\count193 \c@table=\count194 \abovecaptionskip=\skip48 \belowcaptionskip=\skip49 \bibindent=\dimen140 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsmath.sty Package: amsmath 2023/05/13 v2.17o 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 2021/08/26 v2.01 AMS text (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsgen.sty File: amsgen.sty 1999/11/30 v2.0 generic functions \@emptytoks=\toks17 \ex@=\dimen141 )) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsbsy.sty Package: amsbsy 1999/11/29 v1.2d Bold Symbols \pmbraise@=\dimen142 ) (/usr/share/texlive/texmf-dist/tex/latex/amsmath/amsopn.sty Package: amsopn 2022/04/08 v2.04 operator names ) \inf@bad=\count195 LaTeX Info: Redefining \frac on input line 234. \uproot@=\count196 \leftroot@=\count197 LaTeX Info: Redefining \overline on input line 399. LaTeX Info: Redefining \colon on input line 410. \classnum@=\count198 \DOTSCASE@=\count199 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@=\box51 \strutbox@=\box52 LaTeX Info: Redefining \big on input line 722. LaTeX Info: Redefining \Big on input line 723. LaTeX Info: Redefining \bigg on input line 724. LaTeX Info: Redefining \Bigg on input line 725. \big@size=\dimen143 LaTeX Font Info: Redeclaring font encoding OML on input line 743. LaTeX Font Info: Redeclaring font encoding OMS on input line 744. \macc@depth=\count266 LaTeX Info: Redefining \bmod on input line 905. LaTeX Info: Redefining \pmod on input line 910. LaTeX Info: Redefining \smash on input line 940. LaTeX Info: Redefining \relbar on input line 970. LaTeX Info: Redefining \Relbar on input line 971. \c@MaxMatrixCols=\count267 \dotsspace@=\muskip16 \c@parentequation=\count268 \dspbrk@lvl=\count269 \tag@help=\toks18 \row@=\count270 \column@=\count271 \maxfields@=\count272 \andhelp@=\toks19 \eqnshift@=\dimen144 \alignsep@=\dimen145 \tagshift@=\dimen146 \tagwidth@=\dimen147 \totwidth@=\dimen148 \lineht@=\dimen149 \@envbody=\toks20 \multlinegap=\skip51 \multlinetaggap=\skip52 \mathdisplay@stack=\toks21 LaTeX Info: Redefining \[ on input line 2953. LaTeX Info: Redefining \] on input line 2954. ) (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amssymb.sty Package: amssymb 2013/01/14 v3.01 AMS font symbols (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/amsfonts.sty Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support \symAMSa=\mathgroup4 \symAMSb=\mathgroup5 LaTeX Font Info: Redeclaring math symbol \hbar on input line 98. LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' (Font) U/euf/m/n --> U/euf/b/n on input line 106. )) (/usr/share/texlive/texmf-dist/tex/latex/amscls/amsthm.sty Package: amsthm 2020/05/29 v2.20.6 \thm@style=\toks22 \thm@bodyfont=\toks23 \thm@headfont=\toks24 \thm@notefont=\toks25 \thm@headpunct=\toks26 \thm@preskip=\skip53 \thm@postskip=\skip54 \thm@headsep=\skip55 \dth@everypar=\toks27 ) (/usr/share/texlive/texmf-dist/tex/latex/tools/bm.sty Package: bm 2023/07/08 v1.2f Bold Symbol Support (DPC/FMi) \symboldoperators=\mathgroup6 \symboldletters=\mathgroup7 \symboldsymbols=\mathgroup8 Package bm Info: No bold for \OMX/cmex/m/n, using \pmb. Package bm Info: No bold for \U/msa/m/n, using \pmb. Package bm Info: No bold for \U/msb/m/n, using \pmb. LaTeX Font Info: Redeclaring math alphabet \mathbf on input line 149. ) (./oxmathex.sty Package: oxmathex 1997/07/28 - W B Stewart - goes with Document Class `article' (/usr/share/texlive/texmf-dist/tex/latex/base/ifthen.sty Package: ifthen 2022/04/13 v1.1d Standard LaTeX ifthen package (DPC) ) \wpto=\skip56 \c@quests=\count273 \c@figs=\count274 \c@tfctr=\count275 \c@ritmctr=\count276 \c@aitmctr=\count277 ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphicx.sty Package: graphicx 2021/09/16 v1.2d Enhanced LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/keyval.sty Package: keyval 2022/05/29 v1.15 key=value parser (DPC) \KV@toks@=\toks28 ) (/usr/share/texlive/texmf-dist/tex/latex/graphics/graphics.sty Package: graphics 2022/03/10 v1.4e Standard LaTeX Graphics (DPC,SPQR) (/usr/share/texlive/texmf-dist/tex/latex/graphics/trig.sty Package: trig 2021/08/11 v1.11 sin cos tan (DPC) ) (/usr/share/texlive/texmf-dist/tex/latex/graphics-cfg/graphics.cfg File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration ) Package graphics Info: Driver file: pdftex.def on input line 107. (/usr/share/texlive/texmf-dist/tex/latex/graphics-def/pdftex.def File: pdftex.def 2022/09/22 v1.2b Graphics/color driver for pdftex )) \Gin@req@height=\dimen150 \Gin@req@width=\dimen151 ) (/usr/share/texlive/texmf-dist/tex/latex/l3backend/l3backend-pdftex.def File: l3backend-pdftex.def 2024-01-04 L3 backend support: PDF output (pdfTeX) \l__color_backend_stack_int=\count278 \l__pdf_internal_box=\box53 ) (./ex07.aux) \openout1 = `ex07.aux'. LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 33. LaTeX Font Info: ... okay on input line 33. (/usr/share/texlive/texmf-dist/tex/context/base/mkii/supp-pdf.mkii [Loading MPS to PDF converter (version 2006.09.02).] \scratchcounter=\count279 \scratchdimen=\dimen152 \scratchbox=\box54 \nofMPsegments=\count280 \nofMParguments=\count281 \everyMPshowfont=\toks29 \MPscratchCnt=\count282 \MPscratchDim=\dimen153 \MPnumerator=\count283 \makeMPintoPDFobject=\count284 \everyMPtoPDFconversion=\toks30 ) (/usr/share/texlive/texmf-dist/tex/latex/epstopdf-pkg/epstopdf-base.sty Package: epstopdf-base 2020-01-24 v2.11 Base part for package epstopdf Package epstopdf-base Info: Redefining graphics rule for `.eps' on input line 4 85. (/usr/share/texlive/texmf-dist/tex/latex/latexconfig/epstopdf-sys.cfg File: epstopdf-sys.cfg 2010/07/13 v1.3 Configuration of (r)epstopdf for TeX Liv e )) LaTeX Font Info: Trying to load font information for U+msa on input line 48. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsa.fd File: umsa.fd 2013/01/14 v3.01 AMS symbols A ) LaTeX Font Info: Trying to load font information for U+msb on input line 48. (/usr/share/texlive/texmf-dist/tex/latex/amsfonts/umsb.fd File: umsb.fd 2013/01/14 v3.01 AMS symbols B ) [1 {/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] [2 ] [3] (./ex07.aux) *********** LaTeX2e <2023-11-01> patch level 1 L3 programming layer <2024-01-22> *********** ) Here is how much of TeX's memory you used: 2901 strings out of 474222 40841 string characters out of 5748733 1936975 words of memory out of 5000000 25130 multiletter control sequences out of 15000+600000 570553 words of font info for 82 fonts, out of 8000000 for 9000 1141 hyphenation exceptions out of 8191 57i,9n,65p,217b,296s stack positions out of 10000i,1000n,20000p,200000b,200000s Output written on ex07.pdf (3 pages, 146431 bytes). PDF statistics: 79 PDF objects out of 1000 (max. 8388607) 47 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)